Trace number 356877

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.19 1800.96

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-bienst2.opb
MD5SUMab5e35dff8e81ea7a1176a4145ab1bff
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables13736
Total number of constraints597
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints592
Minimum length of a constraint7
Maximum length of a constraint390
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
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 524564
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.09/0.17	c ...done
0.09/0.17	c #vars=13736 #constraints=726 hasObjective=yes
0.19/0.21	c res. mode=mod
0.19/0.21	c VSIDS like heuristics
0.19/0.21	c complete search running
0.48/0.51	c restart after 401 decisions
0.58/0.60	c nbDecision=500 #constraints=848
1.09/1.14	c restart after 801 decisions
1.29/1.32	c nbDecision=1000 #constraints=1201
1.49/1.55	c nbDecision=1500 #constraints=1437
1.49/1.59	c restart after 1601 decisions
1.99/2.06	c nbDecision=2000 #constraints=1709
2.69/2.76	c nbDecision=2500 #constraints=2132
3.09/3.14	c nbDecision=3000 #constraints=2372
3.20/3.24	c restart after 3201 decisions
3.89/3.93	c nbDecision=3500 #constraints=2705
5.78/5.82	c nbDecision=4000 #constraints=3188
8.49/8.59	c nbDecision=4500 #constraints=3668
12.19/12.28	c nbDecision=5000 #constraints=4156
17.18/17.21	c nbDecision=5500 #constraints=4647
23.09/23.17	c nbDecision=6000 #constraints=5130
28.98/29.01	c restart after 6401 decisions
29.69/29.75	c nbDecision=6500 #constraints=5523
30.08/30.16	c nbDecision=7000 #constraints=5703
30.38/30.41	c nbDecision=7500 #constraints=5950
30.48/30.60	c nbDecision=8000 #constraints=6099
30.78/30.82	c nbDecision=8500 #constraints=6265
30.98/31.05	c nbDecision=9000 #constraints=6442
31.18/31.25	c nbDecision=9500 #constraints=6589
31.38/31.47	c nbDecision=10000 #constraints=6741
31.67/31.72	c nbDecision=10500 #constraints=6930
31.89/31.96	c nbDecision=11000 #constraints=7081
32.18/32.21	c nbDecision=11500 #constraints=7218
32.38/32.44	c nbDecision=12000 #constraints=7348
32.58/32.67	c nbDecision=12500 #constraints=7464
32.68/32.79	c restart after 12801 decisions
34.08/34.11	c nbDecision=13000 #constraints=7584
34.28/34.38	c nbDecision=13500 #constraints=7764
34.48/34.58	c nbDecision=14000 #constraints=7876
34.77/34.88	c nbDecision=14500 #constraints=8067
35.09/35.18	c nbDecision=15000 #constraints=8251
35.38/35.48	c nbDecision=15500 #constraints=8452
35.68/35.77	c nbDecision=16000 #constraints=8621
35.98/36.08	c nbDecision=16500 #constraints=8791
36.18/36.30	c nbDecision=17000 #constraints=8891
36.57/36.63	c nbDecision=17500 #constraints=9057
36.88/36.90	c nbDecision=18000 #constraints=9190
37.08/37.17	c nbDecision=18500 #constraints=9328
37.38/37.44	c nbDecision=19000 #constraints=9445
37.58/37.69	c nbDecision=19500 #constraints=9557
37.88/37.94	c nbDecision=20000 #constraints=9660
38.18/38.26	c nbDecision=20500 #constraints=9797
38.48/38.58	c nbDecision=21000 #constraints=9941
38.78/38.82	c nbDecision=21500 #constraints=10015
38.98/39.07	c nbDecision=22000 #constraints=10098
39.18/39.29	c nbDecision=22500 #constraints=10174
39.58/39.61	c nbDecision=23000 #constraints=10306
39.77/39.88	c nbDecision=23500 #constraints=10422
40.07/40.11	c nbDecision=24000 #constraints=10491
40.27/40.33	c nbDecision=24500 #constraints=10554
40.48/40.56	c nbDecision=25000 #constraints=10612
40.78/40.84	c nbDecision=25500 #constraints=10703
40.78/40.89	c restart after 25601 decisions
44.08/44.18	c nbDecision=26000 #constraints=10950
44.57/44.63	c nbDecision=26500 #constraints=11132
44.98/45.06	c nbDecision=27000 #constraints=11276
45.48/45.51	c nbDecision=27500 #constraints=11442
45.88/45.91	c nbDecision=28000 #constraints=11594
46.18/46.28	c nbDecision=28500 #constraints=11721
46.57/46.65	c nbDecision=29000 #constraints=11834
46.97/47.00	c nbDecision=29500 #constraints=11949
47.27/47.40	c nbDecision=30000 #constraints=12069
47.67/47.74	c nbDecision=30500 #constraints=12170
47.97/48.07	c nbDecision=31000 #constraints=12280
48.28/48.39	c nbDecision=31500 #constraints=12353
48.67/48.73	c nbDecision=32000 #constraints=12449
48.87/48.98	c nbDecision=32500 #constraints=12520
49.27/49.31	c nbDecision=33000 #constraints=12599
49.57/49.69	c nbDecision=33500 #constraints=12721
49.87/49.99	c nbDecision=34000 #constraints=12793
50.37/50.42	c nbDecision=34500 #constraints=12942
50.67/50.79	c nbDecision=35000 #constraints=13044
51.07/51.13	c nbDecision=35500 #constraints=13124
51.37/51.45	c nbDecision=36000 #constraints=13200
51.57/51.70	c nbDecision=36500 #constraints=13247
51.97/52.04	c nbDecision=37000 #constraints=13342
52.27/52.36	c nbDecision=37500 #constraints=13422
52.57/52.69	c nbDecision=38000 #constraints=13513
52.97/53.05	c nbDecision=38500 #constraints=13598
53.38/53.47	c nbDecision=39000 #constraints=13696
53.67/53.75	c nbDecision=39500 #constraints=13747
53.97/54.09	c nbDecision=40000 #constraints=13821
54.37/54.48	c nbDecision=40500 #constraints=13920
54.67/54.78	c nbDecision=41000 #constraints=13976
54.97/55.06	c nbDecision=41500 #constraints=14036
55.27/55.37	c nbDecision=42000 #constraints=14107
55.57/55.63	c nbDecision=42500 #constraints=14164
55.87/55.99	c nbDecision=43000 #constraints=14249
56.27/56.35	c nbDecision=43500 #constraints=14315
56.57/56.67	c nbDecision=44000 #constraints=14384
56.97/57.02	c nbDecision=44500 #constraints=14463
57.27/57.39	c nbDecision=45000 #constraints=14546
57.67/57.70	c nbDecision=45500 #constraints=14600
57.87/57.92	c nbDecision=46000 #constraints=14625
58.17/58.25	c nbDecision=46500 #constraints=14703
58.47/58.59	c nbDecision=47000 #constraints=14767
58.87/58.96	c nbDecision=47500 #constraints=14859
59.17/59.30	c nbDecision=48000 #constraints=14919
59.57/59.64	c nbDecision=48500 #constraints=14980
59.87/59.99	c nbDecision=49000 #constraints=15061
60.27/60.36	c nbDecision=49500 #constraints=15135
60.67/60.79	c nbDecision=50000 #constraints=15225
61.07/61.16	c nbDecision=50500 #constraints=15283
61.36/61.49	c nbDecision=51000 #constraints=15337
61.57/61.64	c restart after 51201 decisions
67.27/67.35	c nbDecision=51500 #constraints=15589
78.66/78.75	c nbDecision=52000 #constraints=16064
92.76/92.82	c nbDecision=52500 #constraints=16545
107.15/107.25	c nbDecision=53000 #constraints=16940
107.55/107.67	c nbDecision=53500 #constraints=17027
108.06/108.12	c nbDecision=54000 #constraints=17112
108.56/108.60	c nbDecision=54500 #constraints=17227
108.96/109.04	c nbDecision=55000 #constraints=17322
109.45/109.57	c nbDecision=55500 #constraints=17429
110.05/110.10	c nbDecision=56000 #constraints=17554
110.45/110.51	c nbDecision=56500 #constraints=17629
110.85/110.92	c nbDecision=57000 #constraints=17702
111.35/111.40	c nbDecision=57500 #constraints=17796
111.75/111.87	c nbDecision=58000 #constraints=17890
112.25/112.39	c nbDecision=58500 #constraints=17997
112.75/112.82	c nbDecision=59000 #constraints=18077
113.05/113.20	c nbDecision=59500 #constraints=18151
113.45/113.59	c nbDecision=60000 #constraints=18212
113.85/113.91	c nbDecision=60500 #constraints=18266
114.15/114.25	c nbDecision=61000 #constraints=18312
114.55/114.69	c nbDecision=61500 #constraints=18391
114.95/115.04	c nbDecision=62000 #constraints=18440
115.25/115.35	c nbDecision=62500 #constraints=18486
115.55/115.68	c nbDecision=63000 #constraints=18528
115.95/116.08	c nbDecision=63500 #constraints=18585
116.45/116.52	c nbDecision=64000 #constraints=18666
116.85/116.98	c nbDecision=64500 #constraints=18750
117.25/117.36	c nbDecision=65000 #constraints=18803
117.75/117.82	c nbDecision=65500 #constraints=18899
118.05/118.19	c nbDecision=66000 #constraints=18967
118.55/118.66	c nbDecision=66500 #constraints=19041
118.95/119.02	c nbDecision=67000 #constraints=19096
119.15/119.28	c nbDecision=67500 #constraints=19117
119.65/119.70	c nbDecision=68000 #constraints=19190
119.95/120.09	c nbDecision=68500 #constraints=19244
120.44/120.51	c nbDecision=69000 #constraints=19303
120.75/120.82	c nbDecision=69500 #constraints=19337
121.15/121.24	c nbDecision=70000 #constraints=19402
121.55/121.68	c nbDecision=70500 #constraints=19486
121.95/122.09	c nbDecision=71000 #constraints=19544
122.35/122.47	c nbDecision=71500 #constraints=19604
122.65/122.75	c nbDecision=72000 #constraints=19635
123.15/123.22	c nbDecision=72500 #constraints=19703
123.44/123.56	c nbDecision=73000 #constraints=19743
123.84/123.90	c nbDecision=73500 #constraints=19786
124.15/124.22	c nbDecision=74000 #constraints=19824
124.44/124.58	c nbDecision=74500 #constraints=19881
124.74/124.86	c nbDecision=75000 #constraints=19900
125.24/125.30	c nbDecision=75500 #constraints=19967
125.54/125.62	c nbDecision=76000 #constraints=20001
125.95/126.09	c nbDecision=76500 #constraints=20080
126.35/126.44	c nbDecision=77000 #constraints=20113
126.74/126.82	c nbDecision=77500 #constraints=20158
127.04/127.11	c nbDecision=78000 #constraints=20181
127.45/127.50	c nbDecision=78500 #constraints=20228
127.74/127.83	c nbDecision=79000 #constraints=20270
128.04/128.18	c nbDecision=79500 #constraints=20321
128.44/128.52	c nbDecision=80000 #constraints=20356
128.84/128.93	c nbDecision=80500 #constraints=20413
129.14/129.29	c nbDecision=81000 #constraints=20445
129.54/129.67	c nbDecision=81500 #constraints=20493
129.94/130.01	c nbDecision=82000 #constraints=20533
130.14/130.26	c nbDecision=82500 #constraints=20546
130.64/130.70	c nbDecision=83000 #constraints=20590
130.94/131.06	c nbDecision=83500 #constraints=20625
131.35/131.43	c nbDecision=84000 #constraints=20664
131.65/131.78	c nbDecision=84500 #constraints=20694
132.04/132.19	c nbDecision=85000 #constraints=20745
132.44/132.57	c nbDecision=85500 #constraints=20791
132.95/133.03	c nbDecision=86000 #constraints=20860
133.34/133.46	c nbDecision=86500 #constraints=20907
133.84/133.94	c nbDecision=87000 #constraints=20969
134.24/134.38	c nbDecision=87500 #constraints=21021
134.54/134.68	c nbDecision=88000 #constraints=21051
134.94/135.07	c nbDecision=88500 #constraints=21093
135.25/135.34	c nbDecision=89000 #constraints=21108
135.64/135.70	c nbDecision=89500 #constraints=21136
135.94/136.06	c nbDecision=90000 #constraints=21189
136.24/136.39	c nbDecision=90500 #constraints=21215
136.54/136.68	c nbDecision=91000 #constraints=21233
137.04/137.12	c nbDecision=91500 #constraints=21296
137.44/137.55	c nbDecision=92000 #constraints=21353
137.84/137.94	c nbDecision=92500 #constraints=21391
138.34/138.42	c nbDecision=93000 #constraints=21453
138.64/138.76	c nbDecision=93500 #constraints=21488
139.14/139.21	c nbDecision=94000 #constraints=21545
139.44/139.59	c nbDecision=94500 #constraints=21589
139.84/139.95	c nbDecision=95000 #constraints=21621
140.24/140.38	c nbDecision=95500 #constraints=21673
140.64/140.77	c nbDecision=96000 #constraints=21711
141.04/141.14	c nbDecision=96500 #constraints=21743
141.44/141.54	c nbDecision=97000 #constraints=21798
141.74/141.88	c nbDecision=97500 #constraints=21838
142.04/142.18	c nbDecision=98000 #constraints=21858
142.44/142.50	c nbDecision=98500 #constraints=21877
142.84/142.91	c nbDecision=99000 #constraints=21911
143.34/143.40	c nbDecision=99500 #constraints=21966
143.54/143.67	c nbDecision=100000 #constraints=21976
143.94/144.01	c nbDecision=100500 #constraints=22011
144.43/144.53	c nbDecision=101000 #constraints=22080
144.94/145.07	c nbDecision=101500 #constraints=22136
145.34/145.47	c nbDecision=102000 #constraints=22167
145.64/145.77	c restart after 102401 decisions
148.14/148.23	c nbDecision=102500 #constraints=22201
149.74/149.89	c nbDecision=103000 #constraints=22307
150.24/150.38	c nbDecision=103500 #constraints=22397
150.74/150.86	c nbDecision=104000 #constraints=22479
151.14/151.25	c nbDecision=104500 #constraints=22543
151.64/151.80	c nbDecision=105000 #constraints=22658
152.13/152.27	c nbDecision=105500 #constraints=22761
152.84/152.92	c nbDecision=106000 #constraints=22880
153.24/153.39	c nbDecision=106500 #constraints=22959
153.74/153.88	c nbDecision=107000 #constraints=23051
154.24/154.30	c nbDecision=107500 #constraints=23103
154.63/154.77	c nbDecision=108000 #constraints=23174
155.13/155.20	c nbDecision=108500 #constraints=23225
155.53/155.62	c nbDecision=109000 #constraints=23281
155.93/156.08	c nbDecision=109500 #constraints=23353
156.43/156.51	c nbDecision=110000 #constraints=23422
156.93/157.03	c nbDecision=110500 #constraints=23510
157.33/157.42	c nbDecision=111000 #constraints=23555
157.73/157.83	c nbDecision=111500 #constraints=23627
158.13/158.22	c nbDecision=112000 #constraints=23684
158.53/158.67	c nbDecision=112500 #constraints=23750
159.03/159.13	c nbDecision=113000 #constraints=23818
159.33/159.49	c nbDecision=113500 #constraints=23861
159.92/160.06	c nbDecision=114000 #constraints=23954
160.44/160.55	c nbDecision=114500 #constraints=24025
160.83/160.92	c nbDecision=115000 #constraints=24072
161.33/161.41	c nbDecision=115500 #constraints=24146
161.63/161.79	c nbDecision=116000 #constraints=24178
162.03/162.19	c nbDecision=116500 #constraints=24228
162.43/162.50	c nbDecision=117000 #constraints=24259
162.83/162.97	c nbDecision=117500 #constraints=24323
163.13/163.29	c nbDecision=118000 #constraints=24351
163.53/163.69	c nbDecision=118500 #constraints=24397
164.02/164.17	c nbDecision=119000 #constraints=24471
164.42/164.50	c nbDecision=119500 #constraints=24503
164.92/165.08	c nbDecision=120000 #constraints=24617
165.42/165.57	c nbDecision=120500 #constraints=24662
165.93/166.07	c nbDecision=121000 #constraints=24726
166.33/166.43	c nbDecision=121500 #constraints=24762
166.73/166.83	c nbDecision=122000 #constraints=24811
167.13/167.28	c nbDecision=122500 #constraints=24863
167.82/167.91	c nbDecision=123000 #constraints=24957
168.23/168.32	c nbDecision=123500 #constraints=24996
168.52/168.69	c nbDecision=124000 #constraints=25033
169.02/169.14	c nbDecision=124500 #constraints=25084
169.62/169.70	c nbDecision=125000 #constraints=25150
170.02/170.15	c nbDecision=125500 #constraints=25200
170.42/170.59	c nbDecision=126000 #constraints=25253
171.02/171.17	c nbDecision=126500 #constraints=25336
171.52/171.66	c nbDecision=127000 #constraints=25382
172.02/172.11	c nbDecision=127500 #constraints=25441
172.52/172.62	c nbDecision=128000 #constraints=25512
172.91/173.03	c nbDecision=128500 #constraints=25555
173.31/173.47	c nbDecision=129000 #constraints=25600
173.73/173.81	c nbDecision=129500 #constraints=25637
174.22/174.36	c nbDecision=130000 #constraints=25715
174.73/174.82	c nbDecision=130500 #constraints=25763
175.12/175.24	c nbDecision=131000 #constraints=25811
175.52/175.69	c nbDecision=131500 #constraints=25852
175.92/176.07	c nbDecision=132000 #constraints=25890
176.32/176.48	c nbDecision=132500 #constraints=25940
176.72/176.82	c nbDecision=133000 #constraints=25970
177.12/177.20	c nbDecision=133500 #constraints=26002
177.42/177.55	c nbDecision=134000 #constraints=26031
177.82/177.98	c nbDecision=134500 #constraints=26082
178.42/178.54	c nbDecision=135000 #constraints=26165
179.02/179.17	c nbDecision=135500 #constraints=26246
179.61/179.71	c nbDecision=136000 #constraints=26295
180.01/180.11	c nbDecision=136500 #constraints=26332
180.41/180.50	c nbDecision=137000 #constraints=26364
180.91/181.06	c nbDecision=137500 #constraints=26427
181.42/181.56	c nbDecision=138000 #constraints=26481
182.01/182.10	c nbDecision=138500 #constraints=26551
182.42/182.57	c nbDecision=139000 #constraints=26590
183.11/183.21	c nbDecision=139500 #constraints=26657
183.51/183.66	c nbDecision=140000 #constraints=26706
184.01/184.19	c nbDecision=140500 #constraints=26766
184.51/184.68	c nbDecision=141000 #constraints=26824
185.01/185.11	c nbDecision=141500 #constraints=26859
185.41/185.58	c nbDecision=142000 #constraints=26902
185.91/186.06	c nbDecision=142500 #constraints=26949
186.41/186.52	c nbDecision=143000 #constraints=26985
186.81/186.96	c nbDecision=143500 #constraints=27028
187.31/187.48	c nbDecision=144000 #constraints=27091
187.71/187.86	c nbDecision=144500 #constraints=27126
188.32/188.43	c nbDecision=145000 #constraints=27183
188.82/188.94	c nbDecision=145500 #constraints=27243
189.41/189.59	c nbDecision=146000 #constraints=27321
189.91/190.07	c nbDecision=146500 #constraints=27377
190.61/190.71	c nbDecision=147000 #constraints=27472
191.11/191.24	c nbDecision=147500 #constraints=27543
191.71/191.80	c nbDecision=148000 #constraints=27590
192.21/192.35	c nbDecision=148500 #constraints=27660
192.61/192.78	c nbDecision=149000 #constraints=27697
193.21/193.31	c nbDecision=149500 #constraints=27742
193.71/193.82	c nbDecision=150000 #constraints=27789
194.11/194.28	c nbDecision=150500 #constraints=27822
194.51/194.67	c nbDecision=151000 #constraints=27851
195.01/195.17	c nbDecision=151500 #constraints=27897
195.61/195.72	c nbDecision=152000 #constraints=27939
196.01/196.12	c nbDecision=152500 #constraints=27975
196.51/196.69	c nbDecision=153000 #constraints=28030
197.02/197.17	c nbDecision=153500 #constraints=28066
197.61/197.77	c nbDecision=154000 #constraints=28128
198.01/198.18	c nbDecision=154500 #constraints=28164
198.71/198.80	c nbDecision=155000 #constraints=28228
199.02/199.17	c nbDecision=155500 #constraints=28253
199.61/199.75	c nbDecision=156000 #constraints=28308
200.02/200.17	c nbDecision=156500 #constraints=28338
200.51/200.63	c nbDecision=157000 #constraints=28383
201.11/201.27	c nbDecision=157500 #constraints=28458
201.81/201.94	c nbDecision=158000 #constraints=28527
202.31/202.49	c nbDecision=158500 #constraints=28581
202.91/203.06	c nbDecision=159000 #constraints=28629
203.51/203.66	c nbDecision=159500 #constraints=28683
204.01/204.16	c nbDecision=160000 #constraints=28726
204.41/204.58	c nbDecision=160500 #constraints=28757
205.10/205.21	c nbDecision=161000 #constraints=28812
205.70/205.85	c nbDecision=161500 #constraints=28886
206.10/206.26	c nbDecision=162000 #constraints=28918
206.80/206.90	c nbDecision=162500 #constraints=28973
207.20/207.35	c nbDecision=163000 #constraints=29009
207.81/207.93	c nbDecision=163500 #constraints=29047
208.30/208.49	c nbDecision=164000 #constraints=29103
208.81/208.95	c nbDecision=164500 #constraints=29140
209.31/209.43	c nbDecision=165000 #constraints=29183
210.11/210.26	c nbDecision=165500 #constraints=29294
210.71/210.90	c nbDecision=166000 #constraints=29359
211.30/211.44	c nbDecision=166500 #constraints=29395
212.00/212.16	c nbDecision=167000 #constraints=29468
212.70/212.82	c nbDecision=167500 #constraints=29531
213.21/213.35	c nbDecision=168000 #constraints=29567
213.60/213.78	c nbDecision=168500 #constraints=29593
214.20/214.36	c nbDecision=169000 #constraints=29638
214.70/214.84	c nbDecision=169500 #constraints=29681
215.30/215.41	c nbDecision=170000 #constraints=29723
215.80/215.96	c nbDecision=170500 #constraints=29758
216.20/216.38	c nbDecision=171000 #constraints=29787
216.90/217.04	c nbDecision=171500 #constraints=29857
217.40/217.59	c nbDecision=172000 #constraints=29898
217.90/218.02	c nbDecision=172500 #constraints=29924
218.40/218.54	c nbDecision=173000 #constraints=29966
219.00/219.11	c nbDecision=173500 #constraints=30012
219.50/219.63	c nbDecision=174000 #constraints=30047
220.00/220.18	c nbDecision=174500 #constraints=30083
220.60/220.71	c nbDecision=175000 #constraints=30124
221.10/221.29	c nbDecision=175500 #constraints=30176
221.70/221.83	c nbDecision=176000 #constraints=30214
222.20/222.37	c nbDecision=176500 #constraints=30270
222.70/222.86	c nbDecision=177000 #constraints=30308
223.30/223.44	c nbDecision=177500 #constraints=30344
223.90/224.01	c nbDecision=178000 #constraints=30381
224.30/224.48	c nbDecision=178500 #constraints=30407
224.80/224.93	c nbDecision=179000 #constraints=30432
225.50/225.60	c nbDecision=179500 #constraints=30487
226.20/226.31	c nbDecision=180000 #constraints=30555
226.89/227.08	c nbDecision=180500 #constraints=30630
227.39/227.53	c nbDecision=181000 #constraints=30655
227.89/228.01	c nbDecision=181500 #constraints=30689
228.49/228.62	c nbDecision=182000 #constraints=30734
229.39/229.52	c nbDecision=182500 #constraints=30835
229.89/230.03	c nbDecision=183000 #constraints=30869
230.59/230.77	c nbDecision=183500 #constraints=30927
231.49/231.68	c nbDecision=184000 #constraints=31024
231.99/232.17	c nbDecision=184500 #constraints=31060
232.69/232.86	c nbDecision=185000 #constraints=31128
233.69/233.80	c nbDecision=185500 #constraints=31233
234.39/234.54	c nbDecision=186000 #constraints=31303
234.99/235.16	c nbDecision=186500 #constraints=31362
235.89/236.01	c nbDecision=187000 #constraints=31452
236.80/236.95	c nbDecision=187500 #constraints=31585
237.29/237.45	c nbDecision=188000 #constraints=31614
237.79/237.96	c nbDecision=188500 #constraints=31639
238.39/238.54	c nbDecision=189000 #constraints=31694
238.89/239.09	c nbDecision=189500 #constraints=31736
239.70/239.86	c nbDecision=190000 #constraints=31802
240.19/240.32	c nbDecision=190500 #constraints=31822
240.70/240.80	c nbDecision=191000 #constraints=31843
241.29/241.40	c nbDecision=191500 #constraints=31887
241.80/241.93	c nbDecision=192000 #constraints=31909
242.29/242.42	c nbDecision=192500 #constraints=31933
242.90/243.09	c nbDecision=193000 #constraints=31978
243.49/243.67	c nbDecision=193500 #constraints=32007
244.09/244.20	c nbDecision=194000 #constraints=32040
244.59/244.75	c nbDecision=194500 #constraints=32073
245.09/245.26	c nbDecision=195000 #constraints=32102
245.69/245.84	c nbDecision=195500 #constraints=32139
246.19/246.37	c nbDecision=196000 #constraints=32170
246.89/247.03	c nbDecision=196500 #constraints=32213
247.39/247.51	c nbDecision=197000 #constraints=32239
247.99/248.11	c nbDecision=197500 #constraints=32273
248.59/248.80	c nbDecision=198000 #constraints=32314
249.09/249.22	c nbDecision=198500 #constraints=32327
249.69/249.81	c nbDecision=199000 #constraints=32364
249.99/250.19	c nbDecision=199500 #constraints=32373
250.48/250.69	c nbDecision=200000 #constraints=32398
251.08/251.27	c nbDecision=200500 #constraints=32430
251.58/251.78	c nbDecision=201000 #constraints=32450
252.18/252.32	c nbDecision=201500 #constraints=32474
252.58/252.70	c nbDecision=202000 #constraints=32480
252.98/253.14	c nbDecision=202500 #constraints=32490
253.38/253.57	c nbDecision=203000 #constraints=32513
254.08/254.22	c nbDecision=203500 #constraints=32555
254.48/254.67	c nbDecision=204000 #constraints=32572
254.98/255.12	c nbDecision=204500 #constraints=32594
255.18/255.39	c restart after 204801 decisions
256.69/256.80	c nbDecision=205000 #constraints=32657
257.58/257.74	c nbDecision=205500 #constraints=32765
258.58/258.75	c nbDecision=206000 #constraints=32881
259.48/259.68	c nbDecision=206500 #constraints=32984
260.08/260.24	c nbDecision=207000 #constraints=33053
261.09/261.28	c nbDecision=207500 #constraints=33158
262.09/262.21	c nbDecision=208000 #constraints=33249
262.89/263.06	c nbDecision=208500 #constraints=33328
263.58/263.77	c nbDecision=209000 #constraints=33400
264.38/264.51	c nbDecision=209500 #constraints=33466
265.18/265.33	c nbDecision=210000 #constraints=33566
265.88/266.06	c nbDecision=210500 #constraints=33624
266.68/266.81	c nbDecision=211000 #constraints=33696
267.58/267.77	c nbDecision=211500 #constraints=33799
268.48/268.66	c nbDecision=212000 #constraints=33878
269.38/269.55	c nbDecision=212500 #constraints=33972
270.28/270.41	c nbDecision=213000 #constraints=34047
270.88/271.04	c nbDecision=213500 #constraints=34111
271.68/271.80	c nbDecision=214000 #constraints=34174
272.48/272.67	c nbDecision=214500 #constraints=34255
273.27/273.41	c nbDecision=215000 #constraints=34331
274.07/274.24	c nbDecision=215500 #constraints=34400
274.78/274.98	c nbDecision=216000 #constraints=34467
275.68/275.83	c nbDecision=216500 #constraints=34545
276.18/276.38	c nbDecision=217000 #constraints=34577
276.98/277.12	c nbDecision=217500 #constraints=34637
277.67/277.80	c nbDecision=218000 #constraints=34692
278.37/278.58	c nbDecision=218500 #constraints=34745
279.28/279.47	c nbDecision=219000 #constraints=34827
280.47/280.69	c nbDecision=219500 #constraints=34950
281.38/281.59	c nbDecision=220000 #constraints=35026
282.08/282.29	c nbDecision=220500 #constraints=35079
282.98/283.13	c nbDecision=221000 #constraints=35155
283.87/284.06	c nbDecision=221500 #constraints=35232
284.68/284.86	c nbDecision=222000 #constraints=35299
285.27/285.42	c nbDecision=222500 #constraints=35325
286.37/286.53	c nbDecision=223000 #constraints=35436
287.07/287.20	c nbDecision=223500 #constraints=35475
287.67/287.82	c nbDecision=224000 #constraints=35528
288.57/288.76	c nbDecision=224500 #constraints=35603
289.37/289.53	c nbDecision=225000 #constraints=35658
289.87/290.09	c nbDecision=225500 #constraints=35689
290.67/290.87	c nbDecision=226000 #constraints=35753
291.37/291.59	c nbDecision=226500 #constraints=35787
292.06/292.26	c nbDecision=227000 #constraints=35837
292.87/293.02	c nbDecision=227500 #constraints=35885
293.58/293.73	c nbDecision=228000 #constraints=35938
294.27/294.44	c nbDecision=228500 #constraints=35972
295.07/295.23	c nbDecision=229000 #constraints=36045
295.77/295.92	c nbDecision=229500 #constraints=36099
296.57/296.71	c nbDecision=230000 #constraints=36164
297.36/297.54	c nbDecision=230500 #constraints=36217
298.47/298.69	c nbDecision=231000 #constraints=36316
299.37/299.57	c nbDecision=231500 #constraints=36393
300.07/300.29	c nbDecision=232000 #constraints=36435
300.77/300.94	c nbDecision=232500 #constraints=36476
301.57/301.79	c nbDecision=233000 #constraints=36552
302.37/302.56	c nbDecision=233500 #constraints=36596
303.16/303.38	c nbDecision=234000 #constraints=36654
304.26/304.46	c nbDecision=234500 #constraints=36726
305.06/305.25	c nbDecision=235000 #constraints=36776
305.87/306.06	c nbDecision=235500 #constraints=36842
306.77/306.90	c nbDecision=236000 #constraints=36911
307.47/307.67	c nbDecision=236500 #constraints=36963
308.57/308.76	c nbDecision=237000 #constraints=37038
309.17/309.33	c nbDecision=237500 #constraints=37070
309.86/310.02	c nbDecision=238000 #constraints=37111
310.66/310.86	c nbDecision=238500 #constraints=37174
311.46/311.67	c nbDecision=239000 #constraints=37232
312.16/312.36	c nbDecision=239500 #constraints=37279
312.86/313.03	c nbDecision=240000 #constraints=37315
313.36/313.55	c nbDecision=240500 #constraints=37344
314.26/314.43	c nbDecision=241000 #constraints=37407
315.46/315.68	c nbDecision=241500 #constraints=37505
316.16/316.39	c nbDecision=242000 #constraints=37537
317.16/317.38	c nbDecision=242500 #constraints=37591
318.16/318.33	c nbDecision=243000 #constraints=37661
318.77/318.99	c nbDecision=243500 #constraints=37693
319.76/319.91	c nbDecision=244000 #constraints=37759
320.56/320.77	c nbDecision=244500 #constraints=37822
321.46/321.60	c nbDecision=245000 #constraints=37870
322.26/322.42	c nbDecision=245500 #constraints=37923
323.06/323.25	c nbDecision=246000 #constraints=37971
323.85/324.02	c nbDecision=246500 #constraints=38015
324.65/324.85	c nbDecision=247000 #constraints=38072
325.45/325.61	c nbDecision=247500 #constraints=38113
326.34/326.57	c nbDecision=248000 #constraints=38187
327.13/327.33	c nbDecision=248500 #constraints=38230
328.64/328.85	c nbDecision=249000 #constraints=38363
329.43/329.63	c nbDecision=249500 #constraints=38407
330.03/330.25	c nbDecision=250000 #constraints=38432
331.13/331.30	c nbDecision=250500 #constraints=38492
331.83/332.08	c nbDecision=251000 #constraints=38536
332.73/332.96	c nbDecision=251500 #constraints=38587
333.52/333.73	c nbDecision=252000 #constraints=38627
334.42/334.62	c nbDecision=252500 #constraints=38685
335.02/335.23	c nbDecision=253000 #constraints=38716
335.92/336.10	c nbDecision=253500 #constraints=38779
336.72/336.92	c nbDecision=254000 #constraints=38832
337.61/337.81	c nbDecision=254500 #constraints=38892
338.52/338.79	c nbDecision=255000 #constraints=38948
339.51/339.73	c nbDecision=255500 #constraints=39023
340.81/341.09	c nbDecision=256000 #constraints=39120
341.61/341.82	c nbDecision=256500 #constraints=39151
342.60/342.81	c nbDecision=257000 #constraints=39208
343.20/343.46	c nbDecision=257500 #constraints=39232
344.11/344.38	c nbDecision=258000 #constraints=39287
344.90/345.17	c nbDecision=258500 #constraints=39333
345.70/345.94	c nbDecision=259000 #constraints=39370
346.70/346.94	c nbDecision=259500 #constraints=39439
347.60/347.87	c nbDecision=260000 #constraints=39494
348.69/348.97	c nbDecision=260500 #constraints=39550
349.98/350.22	c nbDecision=261000 #constraints=39647
350.78/351.04	c nbDecision=261500 #constraints=39697
351.68/351.93	c nbDecision=262000 #constraints=39752
352.58/352.81	c nbDecision=262500 #constraints=39786
353.48/353.73	c nbDecision=263000 #constraints=39837
354.37/354.60	c nbDecision=263500 #constraints=39887
355.17/355.45	c nbDecision=264000 #constraints=39933
356.17/356.44	c nbDecision=264500 #constraints=39980
357.27/357.54	c nbDecision=265000 #constraints=40055
358.07/358.35	c nbDecision=265500 #constraints=40095
358.97/359.29	c nbDecision=266000 #constraints=40147
359.66/359.99	c nbDecision=266500 #constraints=40173
360.76/361.07	c nbDecision=267000 #constraints=40246
361.68/361.98	c nbDecision=267500 #constraints=40292
362.97/363.27	c nbDecision=268000 #constraints=40375
363.57/363.88	c nbDecision=268500 #constraints=40410
364.57/364.81	c nbDecision=269000 #constraints=40456
365.66/365.91	c nbDecision=269500 #constraints=40518
366.76/367.02	c nbDecision=270000 #constraints=40590
367.86/368.18	c nbDecision=270500 #constraints=40652
368.76/369.04	c nbDecision=271000 #constraints=40691
370.15/370.43	c nbDecision=271500 #constraints=40792
371.35/371.67	c nbDecision=272000 #constraints=40869
372.57/372.82	c nbDecision=272500 #constraints=40948
375.16/375.41	c nbDecision=273000 #constraints=41189
376.26/376.52	c nbDecision=273500 #constraints=41288
376.96/377.28	c nbDecision=274000 #constraints=41340
377.66/377.95	c nbDecision=274500 #constraints=41396
378.34/378.67	c nbDecision=275000 #constraints=41436
379.04/379.39	c nbDecision=275500 #constraints=41479
379.74/380.00	c nbDecision=276000 #constraints=41505
380.34/380.68	c nbDecision=276500 #constraints=41543
381.04/381.35	c nbDecision=277000 #constraints=41581
381.74/382.05	c nbDecision=277500 #constraints=41633
382.64/382.92	c nbDecision=278000 #constraints=41691
383.34/383.61	c nbDecision=278500 #constraints=41721
383.94/384.29	c nbDecision=279000 #constraints=41758
384.65/384.93	c nbDecision=279500 #constraints=41780
385.24/385.54	c nbDecision=280000 #constraints=41809
386.04/386.36	c nbDecision=280500 #constraints=41871
386.84/387.12	c nbDecision=281000 #constraints=41911
387.44/387.77	c nbDecision=281500 #constraints=41940
388.34/388.61	c nbDecision=282000 #constraints=41992
388.94/389.25	c nbDecision=282500 #constraints=42023
389.54/389.89	c nbDecision=283000 #constraints=42056
390.44/390.75	c nbDecision=283500 #constraints=42117
391.13/391.47	c nbDecision=284000 #constraints=42160
392.03/392.37	c nbDecision=284500 #constraints=42231
392.73/393.08	c nbDecision=285000 #constraints=42276
393.54/393.81	c nbDecision=285500 #constraints=42315
394.24/394.57	c nbDecision=286000 #constraints=42364
395.14/395.44	c nbDecision=286500 #constraints=42431
395.83/396.15	c nbDecision=287000 #constraints=42501
396.63/396.97	c nbDecision=287500 #constraints=42559
397.33/397.68	c nbDecision=288000 #constraints=42607
398.13/398.46	c nbDecision=288500 #constraints=42652
398.73/399.10	c nbDecision=289000 #constraints=42676
399.64/399.92	c nbDecision=289500 #constraints=42724
400.54/400.81	c nbDecision=290000 #constraints=42781
401.14/401.49	c nbDecision=290500 #constraints=42810
401.83/402.15	c nbDecision=291000 #constraints=42845
402.53/402.84	c nbDecision=291500 #constraints=42872
403.23/403.56	c nbDecision=292000 #constraints=42912
403.93/404.25	c nbDecision=292500 #constraints=42943
404.83/405.13	c nbDecision=293000 #constraints=42988
405.63/405.91	c nbDecision=293500 #constraints=43031
406.43/406.72	c nbDecision=294000 #constraints=43078
407.03/407.31	c nbDecision=294500 #constraints=43104
407.73/408.02	c nbDecision=295000 #constraints=43144
408.72/409.09	c nbDecision=295500 #constraints=43220
409.53/409.83	c nbDecision=296000 #constraints=43261
410.33/410.66	c nbDecision=296500 #constraints=43313
411.03/411.40	c nbDecision=297000 #constraints=43347
411.93/412.21	c nbDecision=297500 #constraints=43401
412.53/412.86	c nbDecision=298000 #constraints=43441
413.42/413.70	c nbDecision=298500 #constraints=43497
414.22/414.56	c nbDecision=299000 #constraints=43563
415.33/415.61	c nbDecision=299500 #constraints=43658
416.13/416.44	c nbDecision=300000 #constraints=43714
416.93/417.28	c nbDecision=300500 #constraints=43758
417.83/418.12	c nbDecision=301000 #constraints=43814
418.73/419.10	c nbDecision=301500 #constraints=43881
419.52/419.89	c nbDecision=302000 #constraints=43929
420.22/420.53	c nbDecision=302500 #constraints=43958
421.03/421.36	c nbDecision=303000 #constraints=44007
421.92/422.23	c nbDecision=303500 #constraints=44054
422.62/422.99	c nbDecision=304000 #constraints=44085
423.42/423.75	c nbDecision=304500 #constraints=44128
424.22/424.52	c nbDecision=305000 #constraints=44160
425.02/425.37	c nbDecision=305500 #constraints=44200
425.92/426.25	c nbDecision=306000 #constraints=44252
427.02/427.32	c nbDecision=306500 #constraints=44313
427.62/427.91	c nbDecision=307000 #constraints=44340
428.32/428.63	c nbDecision=307500 #constraints=44373
429.02/429.39	c nbDecision=308000 #constraints=44409
430.02/430.35	c nbDecision=308500 #constraints=44474
430.82/431.12	c nbDecision=309000 #constraints=44516
431.71/432.02	c nbDecision=309500 #constraints=44595
432.51/432.86	c nbDecision=310000 #constraints=44641
433.61/433.90	c nbDecision=310500 #constraints=44694
434.41/434.76	c nbDecision=311000 #constraints=44742
435.31/435.64	c nbDecision=311500 #constraints=44791
436.21/436.52	c nbDecision=312000 #constraints=44838
437.02/437.38	c nbDecision=312500 #constraints=44886
438.02/438.31	c nbDecision=313000 #constraints=44938
438.72/439.09	c nbDecision=313500 #constraints=44977
439.72/440.02	c nbDecision=314000 #constraints=45031
440.52/440.80	c nbDecision=314500 #constraints=45064
441.22/441.59	c nbDecision=315000 #constraints=45100
441.92/442.28	c nbDecision=315500 #constraints=45123
442.81/443.14	c nbDecision=316000 #constraints=45173
443.61/443.99	c nbDecision=316500 #constraints=45219
444.61/444.94	c nbDecision=317000 #constraints=45282
445.21/445.55	c nbDecision=317500 #constraints=45313
446.31/446.66	c nbDecision=318000 #constraints=45403
447.01/447.31	c nbDecision=318500 #constraints=45428
447.61/447.99	c nbDecision=319000 #constraints=45452
448.51/448.85	c nbDecision=319500 #constraints=45501
449.21/449.53	c nbDecision=320000 #constraints=45537
450.11/450.45	c nbDecision=320500 #constraints=45587
451.11/451.43	c nbDecision=321000 #constraints=45639
452.00/452.30	c nbDecision=321500 #constraints=45682
452.91/453.22	c nbDecision=322000 #constraints=45730
453.70/454.00	c nbDecision=322500 #constraints=45767
454.50/454.84	c nbDecision=323000 #constraints=45806
455.20/455.57	c nbDecision=323500 #constraints=45835
455.90/456.22	c nbDecision=324000 #constraints=45871
456.70/457.00	c nbDecision=324500 #constraints=45909
457.81/458.15	c nbDecision=325000 #constraints=45993
458.51/458.80	c nbDecision=325500 #constraints=46018
459.30/459.70	c nbDecision=326000 #constraints=46069
460.10/460.47	c nbDecision=326500 #constraints=46095
460.90/461.29	c nbDecision=327000 #constraints=46132
461.70/462.07	c nbDecision=327500 #constraints=46162
462.70/463.01	c nbDecision=328000 #constraints=46213
463.40/463.78	c nbDecision=328500 #constraints=46247
464.29/464.61	c nbDecision=329000 #constraints=46286
465.39/465.70	c nbDecision=329500 #constraints=46354
466.60/466.94	c nbDecision=330000 #constraints=46451
467.50/467.88	c nbDecision=330500 #constraints=46497
468.30/468.61	c nbDecision=331000 #constraints=46537
469.20/469.58	c nbDecision=331500 #constraints=46590
470.20/470.58	c nbDecision=332000 #constraints=46635
471.00/471.39	c nbDecision=332500 #constraints=46679
471.80/472.13	c nbDecision=333000 #constraints=46703
472.60/472.98	c nbDecision=333500 #constraints=46752
473.90/474.20	c nbDecision=334000 #constraints=46846
474.70/475.07	c nbDecision=334500 #constraints=46885
475.60/475.91	c nbDecision=335000 #constraints=46918
476.50/476.89	c nbDecision=335500 #constraints=46975
477.19/477.54	c nbDecision=336000 #constraints=46998
478.20/478.56	c nbDecision=336500 #constraints=47065
478.99/479.34	c nbDecision=337000 #constraints=47105
480.09/480.47	c nbDecision=337500 #constraints=47167
480.89/481.28	c nbDecision=338000 #constraints=47202
481.79/482.16	c nbDecision=338500 #constraints=47254
482.69/483.05	c nbDecision=339000 #constraints=47298
483.49/483.80	c nbDecision=339500 #constraints=47338
484.49/484.83	c nbDecision=340000 #constraints=47402
485.39/485.76	c nbDecision=340500 #constraints=47447
486.79/487.16	c nbDecision=341000 #constraints=47546
487.68/488.04	c nbDecision=341500 #constraints=47586
488.99/489.30	c nbDecision=342000 #constraints=47675
489.99/490.36	c nbDecision=342500 #constraints=47736
491.59/491.98	c nbDecision=343000 #constraints=47880
493.29/493.68	c nbDecision=343500 #constraints=48053
494.88/495.29	c nbDecision=344000 #constraints=48189
496.48/496.81	c nbDecision=344500 #constraints=48297
497.89/498.24	c nbDecision=345000 #constraints=48408
499.68/500.03	c nbDecision=345500 #constraints=48540
501.48/501.85	c nbDecision=346000 #constraints=48673
503.28/503.63	c nbDecision=346500 #constraints=48799
505.08/505.48	c nbDecision=347000 #constraints=48927
507.28/507.68	c nbDecision=347500 #constraints=49065
509.38/509.73	c nbDecision=348000 #constraints=49189
511.09/511.43	c nbDecision=348500 #constraints=49286
513.08/513.45	c nbDecision=349000 #constraints=49395
515.49/515.83	c nbDecision=349500 #constraints=49538
517.87/518.25	c nbDecision=350000 #constraints=49672
519.88/520.27	c nbDecision=350500 #constraints=49780
521.98/522.32	c nbDecision=351000 #constraints=49897
524.07/524.43	c nbDecision=351500 #constraints=49996
525.67/526.06	c nbDecision=352000 #constraints=50076
527.38/527.80	c nbDecision=352500 #constraints=50150
529.78/530.16	c nbDecision=353000 #constraints=50277
531.27/531.61	c nbDecision=353500 #constraints=50346
532.57/532.93	c nbDecision=354000 #constraints=50395
534.47/534.80	c nbDecision=354500 #constraints=50483
536.37/536.77	c nbDecision=355000 #constraints=50574
538.47/538.84	c nbDecision=355500 #constraints=50669
540.57/540.97	c nbDecision=356000 #constraints=50776
542.87/543.20	c nbDecision=356500 #constraints=50876
545.07/545.49	c nbDecision=357000 #constraints=50978
547.17/547.59	c nbDecision=357500 #constraints=51064
549.06/549.48	c nbDecision=358000 #constraints=51144
551.36/551.72	c nbDecision=358500 #constraints=51237
553.36/553.74	c nbDecision=359000 #constraints=51323
555.97/556.31	c nbDecision=359500 #constraints=51437
557.86/558.22	c nbDecision=360000 #constraints=51514
560.26/560.61	c nbDecision=360500 #constraints=51615
562.37/562.76	c nbDecision=361000 #constraints=51703
564.46/564.84	c nbDecision=361500 #constraints=51784
567.26/567.63	c nbDecision=362000 #constraints=51897
569.47/569.86	c nbDecision=362500 #constraints=51979
571.16/571.55	c nbDecision=363000 #constraints=52031
573.76/574.18	c nbDecision=363500 #constraints=52131
576.06/576.46	c nbDecision=364000 #constraints=52226
579.36/579.77	c nbDecision=364500 #constraints=52361
583.25/583.66	c nbDecision=365000 #constraints=52516
586.05/586.40	c nbDecision=365500 #constraints=52620
588.75/589.13	c nbDecision=366000 #constraints=52716
591.05/591.43	c nbDecision=366500 #constraints=52794
594.25/594.64	c nbDecision=367000 #constraints=52909
596.65/597.02	c nbDecision=367500 #constraints=52995
599.06/599.42	c nbDecision=368000 #constraints=53077
602.24/602.60	c nbDecision=368500 #constraints=53189
604.85/605.22	c nbDecision=369000 #constraints=53284
608.14/608.52	c nbDecision=369500 #constraints=53394
611.44/611.83	c nbDecision=370000 #constraints=53502
614.14/614.52	c nbDecision=370500 #constraints=53588
616.14/616.54	c nbDecision=371000 #constraints=53652
618.74/619.12	c nbDecision=371500 #constraints=53731
622.44/622.88	c nbDecision=372000 #constraints=53842
625.44/625.83	c nbDecision=372500 #constraints=53957
627.74/628.18	c nbDecision=373000 #constraints=54034
630.24/630.63	c nbDecision=373500 #constraints=54105
632.93/633.33	c nbDecision=374000 #constraints=54192
636.14/636.53	c nbDecision=374500 #constraints=54308
638.83/639.24	c nbDecision=375000 #constraints=54391
641.74/642.18	c nbDecision=375500 #constraints=54500
645.24/645.65	c nbDecision=376000 #constraints=54608
647.84/648.28	c nbDecision=376500 #constraints=54683
651.03/651.48	c nbDecision=377000 #constraints=54780
654.43/654.86	c nbDecision=377500 #constraints=54884
658.03/658.42	c nbDecision=378000 #constraints=55005
662.52/662.98	c nbDecision=378500 #constraints=55160
666.33/666.74	c nbDecision=379000 #constraints=55282
669.13/669.52	c nbDecision=379500 #constraints=55369
672.52/672.90	c nbDecision=380000 #constraints=55463
675.72/676.12	c nbDecision=380500 #constraints=55549
678.33/678.73	c nbDecision=381000 #constraints=55622
681.42/681.86	c nbDecision=381500 #constraints=55713
684.42/684.84	c nbDecision=382000 #constraints=55796
687.21/687.64	c nbDecision=382500 #constraints=55881
689.42/689.81	c nbDecision=383000 #constraints=55936
692.52/692.93	c nbDecision=383500 #constraints=56023
695.11/695.58	c nbDecision=384000 #constraints=56099
699.01/699.43	c nbDecision=384500 #constraints=56211
701.42/701.84	c nbDecision=385000 #constraints=56275
705.41/705.88	c nbDecision=385500 #constraints=56386
708.52/708.96	c nbDecision=386000 #constraints=56473
710.51/710.93	c nbDecision=386500 #constraints=56513
713.61/714.09	c nbDecision=387000 #constraints=56600
716.11/716.52	c nbDecision=387500 #constraints=56662
718.41/718.87	c nbDecision=388000 #constraints=56718
721.41/721.85	c nbDecision=388500 #constraints=56801
724.81/725.28	c nbDecision=389000 #constraints=56884
728.41/728.85	c nbDecision=389500 #constraints=56982
730.20/730.65	c nbDecision=390000 #constraints=57021
733.40/733.89	c nbDecision=390500 #constraints=57105
736.70/737.12	c nbDecision=391000 #constraints=57185
740.20/740.61	c nbDecision=391500 #constraints=57289
743.70/744.13	c nbDecision=392000 #constraints=57366
746.60/747.00	c nbDecision=392500 #constraints=57436
749.81/750.30	c nbDecision=393000 #constraints=57509
752.19/752.67	c nbDecision=393500 #constraints=57554
755.10/755.57	c nbDecision=394000 #constraints=57617
758.39/758.90	c nbDecision=394500 #constraints=57688
761.40/761.85	c nbDecision=395000 #constraints=57744
763.80/764.20	c nbDecision=395500 #constraints=57798
767.29/767.76	c nbDecision=396000 #constraints=57876
770.89/771.36	c nbDecision=396500 #constraints=57968
774.59/775.02	c nbDecision=397000 #constraints=58064
778.78/779.28	c nbDecision=397500 #constraints=58174
782.69/783.19	c nbDecision=398000 #constraints=58289
785.89/786.40	c nbDecision=398500 #constraints=58362
789.79/790.27	c nbDecision=399000 #constraints=58449
793.08/793.59	c nbDecision=399500 #constraints=58521
797.28/797.70	c nbDecision=400000 #constraints=58613
799.98/800.44	c nbDecision=400500 #constraints=58666
802.88/803.39	c nbDecision=401000 #constraints=58724
806.48/807.00	c nbDecision=401500 #constraints=58807
810.07/810.50	c nbDecision=402000 #constraints=58871
813.58/814.07	c nbDecision=402500 #constraints=58945
816.57/817.05	c nbDecision=403000 #constraints=58995
819.27/819.72	c nbDecision=403500 #constraints=59035
822.77/823.28	c nbDecision=404000 #constraints=59110
828.07/828.59	c nbDecision=404500 #constraints=59221
832.07/832.52	c nbDecision=405000 #constraints=59312
835.07/835.57	c nbDecision=405500 #constraints=59392
839.17/839.63	c nbDecision=406000 #constraints=59485
842.76/843.22	c nbDecision=406500 #constraints=59555
845.66/846.14	c nbDecision=407000 #constraints=59616
849.56/850.05	c nbDecision=407500 #constraints=59700
853.46/853.90	c nbDecision=408000 #constraints=59770
857.46/857.98	c nbDecision=408500 #constraints=59846
860.16/860.66	c nbDecision=409000 #constraints=59894
864.46/864.90	c nbDecision=409500 #constraints=59986
865.66/866.17	c restart after 409601 decisions
873.66/874.15	c nbDecision=410000 #constraints=60081
875.76/876.25	c nbDecision=410500 #constraints=60141
878.15/878.69	c nbDecision=411000 #constraints=60230
880.05/880.59	c nbDecision=411500 #constraints=60295
882.25/882.70	c nbDecision=412000 #constraints=60368
884.95/885.41	c nbDecision=412500 #constraints=60476
887.25/887.74	c nbDecision=413000 #constraints=60557
888.94/889.40	c nbDecision=413500 #constraints=60606
891.05/891.50	c nbDecision=414000 #constraints=60665
892.95/893.46	c nbDecision=414500 #constraints=60720
895.55/896.01	c nbDecision=415000 #constraints=60804
897.55/898.06	c nbDecision=415500 #constraints=60855
900.24/900.71	c nbDecision=416000 #constraints=60927
902.14/902.63	c nbDecision=416500 #constraints=60976
904.64/905.20	c nbDecision=417000 #constraints=61050
906.64/907.13	c nbDecision=417500 #constraints=61090
908.64/909.11	c nbDecision=418000 #constraints=61139
911.04/911.50	c nbDecision=418500 #constraints=61216
913.14/913.66	c nbDecision=419000 #constraints=61274
915.04/915.52	c nbDecision=419500 #constraints=61328
917.34/917.88	c nbDecision=420000 #constraints=61398
919.34/919.84	c nbDecision=420500 #constraints=61442
921.44/921.95	c nbDecision=421000 #constraints=61497
923.44/923.97	c nbDecision=421500 #constraints=61543
925.74/926.22	c nbDecision=422000 #constraints=61582
928.03/928.60	c nbDecision=422500 #constraints=61662
929.73/930.22	c nbDecision=423000 #constraints=61711
932.03/932.57	c nbDecision=423500 #constraints=61767
933.83/934.33	c nbDecision=424000 #constraints=61798
935.83/936.39	c nbDecision=424500 #constraints=61850
938.23/938.75	c nbDecision=425000 #constraints=61893
939.83/940.33	c nbDecision=425500 #constraints=61937
942.02/942.51	c nbDecision=426000 #constraints=61996
944.23/944.72	c nbDecision=426500 #constraints=62045
947.33/947.83	c nbDecision=427000 #constraints=62156
949.63/950.19	c nbDecision=427500 #constraints=62225
951.63/952.15	c nbDecision=428000 #constraints=62266
953.53/954.08	c nbDecision=428500 #constraints=62299
956.13/956.65	c nbDecision=429000 #constraints=62356
957.53/958.09	c nbDecision=429500 #constraints=62382
960.12/960.62	c nbDecision=430000 #constraints=62441
962.62/963.17	c nbDecision=430500 #constraints=62517
964.82/965.32	c nbDecision=431000 #constraints=62571
967.02/967.58	c nbDecision=431500 #constraints=62606
969.02/969.50	c nbDecision=432000 #constraints=62650
970.82/971.34	c nbDecision=432500 #constraints=62687
972.92/973.47	c nbDecision=433000 #constraints=62720
975.31/975.82	c nbDecision=433500 #constraints=62768
977.01/977.55	c nbDecision=434000 #constraints=62788
979.02/979.55	c nbDecision=434500 #constraints=62836
980.52/981.04	c nbDecision=435000 #constraints=62867
982.72/983.30	c nbDecision=435500 #constraints=62916
984.82/985.31	c nbDecision=436000 #constraints=62962
987.11/987.60	c nbDecision=436500 #constraints=63026
989.01/989.50	c nbDecision=437000 #constraints=63056
991.01/991.54	c nbDecision=437500 #constraints=63103
993.41/993.97	c nbDecision=438000 #constraints=63163
996.21/996.70	c nbDecision=438500 #constraints=63258
998.61/999.11	c nbDecision=439000 #constraints=63304
1000.41/1000.98	c nbDecision=439500 #constraints=63328
1002.40/1002.94	c nbDecision=440000 #constraints=63372
1004.70/1005.30	c nbDecision=440500 #constraints=63433
1006.80/1007.37	c nbDecision=441000 #constraints=63479
1008.50/1009.09	c nbDecision=441500 #constraints=63498
1010.80/1011.30	c nbDecision=442000 #constraints=63544
1012.70/1013.26	c nbDecision=442500 #constraints=63584
1014.50/1015.06	c nbDecision=443000 #constraints=63608
1016.80/1017.32	c nbDecision=443500 #constraints=63651
1018.70/1019.25	c nbDecision=444000 #constraints=63695
1020.89/1021.41	c nbDecision=444500 #constraints=63739
1022.79/1023.37	c nbDecision=445000 #constraints=63780
1025.19/1025.72	c nbDecision=445500 #constraints=63832
1026.99/1027.57	c nbDecision=446000 #constraints=63867
1028.99/1029.52	c nbDecision=446500 #constraints=63897
1031.10/1031.60	c nbDecision=447000 #constraints=63939
1033.29/1033.86	c nbDecision=447500 #constraints=63999
1035.69/1036.26	c nbDecision=448000 #constraints=64060
1038.59/1039.14	c nbDecision=448500 #constraints=64148
1040.69/1041.28	c nbDecision=449000 #constraints=64191
1042.49/1043.05	c nbDecision=449500 #constraints=64222
1044.68/1045.22	c nbDecision=450000 #constraints=64262
1046.98/1047.55	c nbDecision=450500 #constraints=64315
1048.88/1049.48	c nbDecision=451000 #constraints=64350
1051.78/1052.32	c nbDecision=451500 #constraints=64403
1053.69/1054.25	c nbDecision=452000 #constraints=64434
1055.59/1056.18	c nbDecision=452500 #constraints=64468
1057.59/1058.18	c nbDecision=453000 #constraints=64511
1059.89/1060.41	c nbDecision=453500 #constraints=64549
1061.68/1062.20	c nbDecision=454000 #constraints=64570
1063.58/1064.12	c nbDecision=454500 #constraints=64599
1065.38/1065.97	c nbDecision=455000 #constraints=64628
1067.48/1068.05	c nbDecision=455500 #constraints=64668
1069.78/1070.31	c nbDecision=456000 #constraints=64727
1072.77/1073.37	c nbDecision=456500 #constraints=64809
1075.28/1075.86	c nbDecision=457000 #constraints=64868
1077.28/1077.83	c nbDecision=457500 #constraints=64903
1079.18/1079.73	c nbDecision=458000 #constraints=64931
1081.58/1082.10	c nbDecision=458500 #constraints=64978
1083.38/1083.97	c nbDecision=459000 #constraints=65005
1086.08/1086.60	c nbDecision=459500 #constraints=65052
1087.97/1088.52	c nbDecision=460000 #constraints=65085
1089.97/1090.58	c nbDecision=460500 #constraints=65120
1091.78/1092.37	c nbDecision=461000 #constraints=65146
1093.98/1094.54	c nbDecision=461500 #constraints=65191
1096.18/1096.71	c nbDecision=462000 #constraints=65232
1098.37/1098.99	c nbDecision=462500 #constraints=65274
1100.87/1101.48	c nbDecision=463000 #constraints=65325
1103.77/1104.33	c nbDecision=463500 #constraints=65399
1105.76/1106.37	c nbDecision=464000 #constraints=65436
1107.76/1108.31	c nbDecision=464500 #constraints=65469
1110.06/1110.65	c nbDecision=465000 #constraints=65519
1112.16/1112.75	c nbDecision=465500 #constraints=65560
1114.77/1115.35	c nbDecision=466000 #constraints=65605
1116.86/1117.43	c nbDecision=466500 #constraints=65646
1118.76/1119.35	c nbDecision=467000 #constraints=65673
1120.96/1121.53	c nbDecision=467500 #constraints=65714
1123.76/1124.33	c nbDecision=468000 #constraints=65765
1126.97/1127.58	c nbDecision=468500 #constraints=65860
1128.96/1129.50	c nbDecision=469000 #constraints=65886
1131.06/1131.63	c nbDecision=469500 #constraints=65930
1133.06/1133.66	c nbDecision=470000 #constraints=65968
1135.25/1135.83	c nbDecision=470500 #constraints=66005
1137.25/1137.89	c nbDecision=471000 #constraints=66048
1139.55/1140.14	c nbDecision=471500 #constraints=66091
1141.55/1142.19	c nbDecision=472000 #constraints=66124
1145.25/1145.86	c nbDecision=472500 #constraints=66223
1147.25/1147.80	c nbDecision=473000 #constraints=66256
1149.45/1150.02	c nbDecision=473500 #constraints=66300
1151.45/1152.01	c nbDecision=474000 #constraints=66327
1153.25/1153.84	c nbDecision=474500 #constraints=66347
1155.85/1156.42	c nbDecision=475000 #constraints=66393
1159.24/1159.82	c nbDecision=475500 #constraints=66495
1161.44/1162.02	c nbDecision=476000 #constraints=66532
1163.74/1164.30	c nbDecision=476500 #constraints=66573
1166.25/1166.87	c nbDecision=477000 #constraints=66630
1169.15/1169.73	c nbDecision=477500 #constraints=66705
1171.35/1171.97	c nbDecision=478000 #constraints=66738
1175.35/1175.93	c nbDecision=478500 #constraints=66832
1177.74/1178.32	c nbDecision=479000 #constraints=66876
1180.24/1180.90	c nbDecision=479500 #constraints=66939
1183.44/1184.06	c nbDecision=480000 #constraints=67030
1187.23/1187.83	c nbDecision=480500 #constraints=67159
1191.34/1191.94	c nbDecision=481000 #constraints=67279
1194.54/1195.13	c nbDecision=481500 #constraints=67353
1198.73/1199.36	c nbDecision=482000 #constraints=67455
1201.74/1202.33	c nbDecision=482500 #constraints=67527
1205.13/1205.71	c nbDecision=483000 #constraints=67605
1208.82/1209.49	c nbDecision=483500 #constraints=67686
1211.53/1212.16	c nbDecision=484000 #constraints=67753
1214.53/1215.18	c nbDecision=484500 #constraints=67826
1217.13/1217.75	c nbDecision=485000 #constraints=67907
1220.93/1221.51	c nbDecision=485500 #constraints=67983
1222.83/1223.41	c nbDecision=486000 #constraints=67995
1226.02/1226.64	c nbDecision=486500 #constraints=68057
1229.42/1230.07	c nbDecision=487000 #constraints=68124
1232.53/1233.16	c nbDecision=487500 #constraints=68191
1235.62/1236.26	c nbDecision=488000 #constraints=68277
1238.42/1239.07	c nbDecision=488500 #constraints=68335
1241.72/1242.31	c nbDecision=489000 #constraints=68410
1245.32/1245.90	c nbDecision=489500 #constraints=68494
1248.22/1248.80	c nbDecision=490000 #constraints=68576
1251.22/1251.82	c nbDecision=490500 #constraints=68643
1254.41/1255.01	c nbDecision=491000 #constraints=68712
1257.41/1258.03	c nbDecision=491500 #constraints=68763
1260.01/1260.69	c nbDecision=492000 #constraints=68819
1263.71/1264.38	c nbDecision=492500 #constraints=68918
1267.21/1267.83	c nbDecision=493000 #constraints=68993
1269.61/1270.26	c nbDecision=493500 #constraints=69052
1273.11/1273.77	c nbDecision=494000 #constraints=69153
1276.61/1277.23	c nbDecision=494500 #constraints=69238
1279.40/1280.00	c nbDecision=495000 #constraints=69299
1282.91/1283.50	c nbDecision=495500 #constraints=69360
1286.21/1286.82	c nbDecision=496000 #constraints=69419
1289.80/1290.42	c nbDecision=496500 #constraints=69498
1293.20/1293.88	c nbDecision=497000 #constraints=69570
1296.89/1297.55	c nbDecision=497500 #constraints=69651
1300.10/1300.74	c nbDecision=498000 #constraints=69731
1303.10/1303.78	c nbDecision=498500 #constraints=69815
1305.89/1306.59	c nbDecision=499000 #constraints=69858
1308.49/1309.17	c nbDecision=499500 #constraints=69905
1312.10/1312.80	c nbDecision=500000 #constraints=69988
1315.10/1315.71	c nbDecision=500500 #constraints=70046
1318.69/1319.31	c nbDecision=501000 #constraints=70137
1322.09/1322.77	c nbDecision=501500 #constraints=70203
1324.99/1325.60	c nbDecision=502000 #constraints=70266
1327.98/1328.65	c nbDecision=502500 #constraints=70331
1330.78/1331.41	c nbDecision=503000 #constraints=70389
1333.59/1334.25	c nbDecision=503500 #constraints=70445
1336.78/1337.47	c nbDecision=504000 #constraints=70497
1340.38/1341.03	c nbDecision=504500 #constraints=70583
1343.49/1344.16	c nbDecision=505000 #constraints=70649
1346.79/1347.40	c nbDecision=505500 #constraints=70714
1350.38/1351.00	c nbDecision=506000 #constraints=70800
1352.58/1353.21	c nbDecision=506500 #constraints=70846
1355.78/1356.48	c nbDecision=507000 #constraints=70910
1359.47/1360.20	c nbDecision=507500 #constraints=70977
1363.57/1364.25	c nbDecision=508000 #constraints=71056
1366.58/1367.29	c nbDecision=508500 #constraints=71127
1369.57/1370.24	c nbDecision=509000 #constraints=71185
1372.47/1373.11	c nbDecision=509500 #constraints=71239
1377.27/1377.96	c nbDecision=510000 #constraints=71332
1380.76/1381.47	c nbDecision=510500 #constraints=71395
1384.37/1385.09	c nbDecision=511000 #constraints=71478
1388.47/1389.16	c nbDecision=511500 #constraints=71549
1392.66/1393.37	c nbDecision=512000 #constraints=71632
1395.86/1396.59	c nbDecision=512500 #constraints=71676
1398.57/1399.29	c nbDecision=513000 #constraints=71711
1401.66/1402.34	c nbDecision=513500 #constraints=71753
1405.16/1405.83	c nbDecision=514000 #constraints=71807
1408.47/1409.11	c nbDecision=514500 #constraints=71867
1411.56/1412.21	c nbDecision=515000 #constraints=71924
1415.75/1416.42	c nbDecision=515500 #constraints=72016
1417.95/1418.64	c nbDecision=516000 #constraints=72060
1421.85/1422.56	c nbDecision=516500 #constraints=72132
1426.06/1426.74	c nbDecision=517000 #constraints=72211
1429.95/1430.60	c nbDecision=517500 #constraints=72284
1434.55/1435.24	c nbDecision=518000 #constraints=72361
1437.35/1438.06	c nbDecision=518500 #constraints=72400
1440.74/1441.49	c nbDecision=519000 #constraints=72454
1444.54/1445.26	c nbDecision=519500 #constraints=72508
1447.65/1448.33	c nbDecision=520000 #constraints=72573
1451.14/1451.88	c nbDecision=520500 #constraints=72625
1454.34/1455.06	c nbDecision=521000 #constraints=72676
1457.24/1457.93	c nbDecision=521500 #constraints=72720
1460.74/1461.43	c nbDecision=522000 #constraints=72775
1464.33/1465.07	c nbDecision=522500 #constraints=72837
1468.34/1469.08	c nbDecision=523000 #constraints=72916
1472.94/1473.67	c nbDecision=523500 #constraints=72998
1476.24/1476.96	c nbDecision=524000 #constraints=73059
1479.84/1480.53	c nbDecision=524500 #constraints=73123
1482.93/1483.63	c nbDecision=525000 #constraints=73175
1486.33/1487.05	c nbDecision=525500 #constraints=73228
1489.83/1490.58	c nbDecision=526000 #constraints=73282
1493.22/1494.00	c nbDecision=526500 #constraints=73341
1496.93/1497.68	c nbDecision=527000 #constraints=73407
1500.23/1500.93	c nbDecision=527500 #constraints=73456
1503.23/1503.92	c nbDecision=528000 #constraints=73499
1506.62/1507.30	c nbDecision=528500 #constraints=73555
1510.82/1511.54	c nbDecision=529000 #constraints=73632
1514.72/1515.48	c nbDecision=529500 #constraints=73702
1517.72/1518.42	c nbDecision=530000 #constraints=73755
1521.12/1521.85	c nbDecision=530500 #constraints=73800
1525.61/1526.36	c nbDecision=531000 #constraints=73869
1529.02/1529.74	c nbDecision=531500 #constraints=73929
1532.42/1533.19	c nbDecision=532000 #constraints=73993
1536.71/1537.47	c nbDecision=532500 #constraints=74053
1540.01/1540.70	c nbDecision=533000 #constraints=74097
1545.11/1545.89	c nbDecision=533500 #constraints=74177
1550.31/1551.07	c nbDecision=534000 #constraints=74253
1555.71/1556.40	c nbDecision=534500 #constraints=74335
1560.30/1561.08	c nbDecision=535000 #constraints=74406
1565.50/1566.22	c nbDecision=535500 #constraints=74496
1569.20/1569.92	c nbDecision=536000 #constraints=74560
1573.50/1574.24	c nbDecision=536500 #constraints=74626
1577.71/1578.43	c nbDecision=537000 #constraints=74690
1580.80/1581.59	c nbDecision=537500 #constraints=74745
1584.70/1585.44	c nbDecision=538000 #constraints=74790
1589.19/1589.96	c nbDecision=538500 #constraints=74854
1594.19/1594.95	c nbDecision=539000 #constraints=74926
1597.99/1598.73	c nbDecision=539500 #constraints=74974
1601.59/1602.38	c nbDecision=540000 #constraints=75036
1605.69/1606.40	c nbDecision=540500 #constraints=75106
1610.68/1611.42	c nbDecision=541000 #constraints=75182
1615.29/1616.03	c nbDecision=541500 #constraints=75246
1618.78/1619.57	c nbDecision=542000 #constraints=75284
1623.99/1624.76	c nbDecision=542500 #constraints=75357
1627.48/1628.26	c nbDecision=543000 #constraints=75409
1631.07/1631.80	c nbDecision=543500 #constraints=75466
1635.28/1636.05	c nbDecision=544000 #constraints=75542
1638.68/1639.49	c nbDecision=544500 #constraints=75596
1643.47/1644.26	c nbDecision=545000 #constraints=75672
1646.47/1647.23	c nbDecision=545500 #constraints=75699
1650.97/1651.73	c nbDecision=546000 #constraints=75760
1655.36/1656.19	c nbDecision=546500 #constraints=75829
1659.46/1660.21	c nbDecision=547000 #constraints=75886
1664.17/1664.91	c nbDecision=547500 #constraints=75960
1667.87/1668.66	c nbDecision=548000 #constraints=76020
1671.76/1672.58	c nbDecision=548500 #constraints=76082
1675.46/1676.28	c nbDecision=549000 #constraints=76126
1680.36/1681.13	c nbDecision=549500 #constraints=76203
1684.95/1685.75	c nbDecision=550000 #constraints=76266
1689.05/1689.81	c nbDecision=550500 #constraints=76319
1693.56/1694.39	c nbDecision=551000 #constraints=76387
1697.26/1698.06	c nbDecision=551500 #constraints=76440
1700.86/1701.62	c nbDecision=552000 #constraints=76487
1704.95/1705.74	c nbDecision=552500 #constraints=76549
1709.25/1710.09	c nbDecision=553000 #constraints=76608
1714.15/1714.93	c nbDecision=553500 #constraints=76679
1718.84/1719.62	c nbDecision=554000 #constraints=76746
1723.55/1724.37	c nbDecision=554500 #constraints=76814
1728.64/1729.47	c nbDecision=555000 #constraints=76884
1732.34/1733.15	c nbDecision=555500 #constraints=76938
1737.04/1737.84	c nbDecision=556000 #constraints=76999
1741.14/1741.93	c nbDecision=556500 #constraints=77058
1744.54/1745.37	c nbDecision=557000 #constraints=77101
1749.44/1750.25	c nbDecision=557500 #constraints=77183
1753.83/1754.64	c nbDecision=558000 #constraints=77232
1758.53/1759.32	c nbDecision=558500 #constraints=77298
1761.83/1762.67	c nbDecision=559000 #constraints=77349
1768.33/1769.14	c nbDecision=559500 #constraints=77439
1772.93/1773.72	c nbDecision=560000 #constraints=77506
1776.53/1777.37	c nbDecision=560500 #constraints=77558
1780.72/1781.57	c nbDecision=561000 #constraints=77612
1784.92/1785.75	c nbDecision=561500 #constraints=77672
1789.93/1790.77	c nbDecision=562000 #constraints=77750
1794.02/1794.85	c nbDecision=562500 #constraints=77806
1797.92/1798.75	c nbDecision=563000 #constraints=77855
1800.02/1800.80	Received signal 15
1800.02/1800.80	
1800.02/1800.80	s UNKNOWN
1800.02/1800.80	
1800.02/1800.80	c user time= 1798.6 s
1800.02/1800.80	c system time= 1.43678 s
1800.02/1800.80	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/node69/watcher-356877-1176846937 -o ROOT/results/node69/solver-356877-1176846937 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356877-1176846937/instance-356877-1176846937.opb mod 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18689
/proc/meminfo: memFree=1596844/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=1468 CPUtime=0
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 160683133 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 367 168 131 317 0 46 0

[startup+0.0730599 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18689
/proc/meminfo: memFree=1596844/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=3208 CPUtime=0.06
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 609 0 0 0 6 0 0 0 18 0 1 0 160683133 3284992 591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827801 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 802 591 131 317 0 481 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3208

[startup+0.101063 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18689
/proc/meminfo: memFree=1596844/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=3736 CPUtime=0.09
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 738 0 0 0 9 0 0 0 18 0 1 0 160683133 3825664 720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 934 720 131 317 0 613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3736

[startup+0.301095 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18689
/proc/meminfo: memFree=1596844/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=7020 CPUtime=0.29
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 1556 0 0 0 29 0 0 0 19 0 1 0 160683133 7188480 1538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 1755 1538 139 317 0 1434 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7020

[startup+0.70116 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18689
/proc/meminfo: memFree=1596844/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=7540 CPUtime=0.69
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 1732 0 0 0 68 1 0 0 22 0 1 0 160683133 7720960 1714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 1885 1714 170 317 0 1564 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7540

[startup+1.50129 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 18690
/proc/meminfo: memFree=1589668/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=10464 CPUtime=1.49
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 2464 0 0 0 148 1 0 0 25 0 1 0 160683133 10715136 2446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 2616 2446 170 317 0 2295 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10464

[startup+3.10155 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 18690
/proc/meminfo: memFree=1586660/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=13220 CPUtime=3.09
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 3130 0 0 0 308 1 0 0 25 0 1 0 160683133 13537280 3112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 3305 3112 170 317 0 2984 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13220

[startup+6.30107 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 18690
/proc/meminfo: memFree=1581028/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=17952 CPUtime=6.28
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 4312 0 0 0 626 2 0 0 25 0 1 0 160683133 18382848 4294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 4488 4294 170 317 0 4167 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17952

[startup+12.7011 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 18690
/proc/meminfo: memFree=1576356/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=22048 CPUtime=12.68
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 5307 0 0 0 1264 4 0 0 25 0 1 0 160683133 22577152 5289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 5512 5289 170 317 0 5191 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22048

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 18690
/proc/meminfo: memFree=1571236/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=27124 CPUtime=25.48
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 6549 0 0 0 2543 5 0 0 25 0 1 0 160683133 27774976 6531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 6781 6531 170 317 0 6460 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27124

[startup+51.1013 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 18690
/proc/meminfo: memFree=1525668/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=73664 CPUtime=51.07
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 18180 0 0 0 5094 13 0 0 25 0 1 0 160683133 75431936 18104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 18416 18104 170 317 0 18095 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 73664

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 18690
/proc/meminfo: memFree=1504292/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=94820 CPUtime=102.26
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 23347 0 0 0 10208 18 0 0 25 0 1 0 160683133 97095680 23157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 23705 23157 170 317 0 23384 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 94820

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18690
/proc/meminfo: memFree=1460580/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=139068 CPUtime=162.23
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 34349 0 0 0 16195 28 0 0 25 0 1 0 160683133 142405632 34159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 34767 34159 170 317 0 34446 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 139068

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18690
/proc/meminfo: memFree=1424420/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=175696 CPUtime=222.2
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 43311 0 0 0 22185 35 0 0 25 0 1 0 160683133 179912704 43121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 43924 43121 170 317 0 43603 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 175696

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18690
/proc/meminfo: memFree=1400932/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=205956 CPUtime=282.18
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 50339 0 0 0 28176 42 0 0 25 0 1 0 160683133 210898944 49889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 51489 49889 170 317 0 51168 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 205956

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 18798
/proc/meminfo: memFree=1374068/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=228108 CPUtime=342.1
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 55825 0 0 0 34159 51 0 0 25 0 1 0 160683133 233582592 55375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 57027 55375 170 317 0 56706 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 228108

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18888
/proc/meminfo: memFree=1356324/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=245676 CPUtime=402.03
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 60522 0 0 0 40146 57 0 0 25 0 1 0 160683133 251572224 60072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604330 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 61419 60072 170 317 0 61098 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 245676

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18888
/proc/meminfo: memFree=1336740/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=266380 CPUtime=462
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 65366 0 0 0 46139 61 0 0 25 0 1 0 160683133 272773120 64916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 66595 64916 170 317 0 66274 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 266380

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18888
/proc/meminfo: memFree=1273444/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=336364 CPUtime=521.98
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 81552 0 0 0 52129 69 0 0 25 0 1 0 160683133 344436736 81102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 84091 81102 170 317 0 83770 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 336364

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18888
/proc/meminfo: memFree=1198052/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=415164 CPUtime=581.95
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 100025 0 0 0 58118 77 0 0 25 0 1 0 160683133 425127936 99575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271382 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 103791 99575 170 317 0 103470 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 415164

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18888
/proc/meminfo: memFree=1138596/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=476336 CPUtime=641.94
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 114809 0 0 0 64109 85 0 0 25 0 1 0 160683133 487768064 114359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 119084 114359 170 317 0 118763 0
Current children cumulated CPU time (s) 641.94
Current children cumulated vsize (KiB) 476336


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18888
/proc/meminfo: memFree=966820/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=679552 CPUtime=881.85
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 161381 0 0 0 88080 105 0 0 25 0 1 0 160683133 695861248 157202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 169888 157202 170 317 0 169567 0
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (KiB) 679552

[startup+942.302 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 18888
/proc/meminfo: memFree=957860/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=689304 CPUtime=941.82
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 164074 0 0 0 94076 106 0 0 25 0 1 0 160683133 705847296 159433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 172326 159433 170 317 0 172005 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 689304

[startup+1002.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 18888
/proc/meminfo: memFree=951076/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=695444 CPUtime=1001.8
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 165803 0 0 0 100072 108 0 0 25 0 1 0 160683133 712134656 161129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 173861 161129 170 317 0 173540 0
Current children cumulated CPU time (s) 1001.8
Current children cumulated vsize (KiB) 695444

[startup+1062.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 18888
/proc/meminfo: memFree=945316/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=700828 CPUtime=1061.78
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 167244 0 0 0 106068 110 0 0 25 0 1 0 160683133 717647872 162570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 175207 162570 170 317 0 174886 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 700828

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18888
/proc/meminfo: memFree=939044/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=706596 CPUtime=1121.76
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 168874 0 0 0 112065 111 0 0 25 0 1 0 160683133 723554304 164135 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 176649 164135 170 317 0 176328 0
Current children cumulated CPU time (s) 1121.76
Current children cumulated vsize (KiB) 706596

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18888
/proc/meminfo: memFree=932452/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=714452 CPUtime=1181.74
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 170998 0 0 0 118061 113 0 0 25 0 1 0 160683133 731598848 165807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 178613 165807 170 317 0 178292 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 714452

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18888
/proc/meminfo: memFree=911652/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=733968 CPUtime=1241.72
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 176234 0 0 0 124056 116 0 0 25 0 1 0 160683133 751583232 171043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 183492 171043 170 317 0 183171 0
Current children cumulated CPU time (s) 1241.72
Current children cumulated vsize (KiB) 733968

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18888
/proc/meminfo: memFree=885988/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=760996 CPUtime=1301.7
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 182564 0 0 0 130051 119 0 0 25 0 1 0 160683133 779259904 177373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 190249 177373 170 317 0 189928 0
Current children cumulated CPU time (s) 1301.7
Current children cumulated vsize (KiB) 760996

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18888
/proc/meminfo: memFree=861924/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=785732 CPUtime=1361.67
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 188616 0 0 0 136045 122 0 0 25 0 1 0 160683133 804589568 183425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 196433 183425 170 317 0 196112 0
Current children cumulated CPU time (s) 1361.67
Current children cumulated vsize (KiB) 785732

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18888
/proc/meminfo: memFree=842660/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=803996 CPUtime=1421.65
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 193443 0 0 0 142040 125 0 0 25 0 1 0 160683133 823291904 188186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 200999 188186 170 317 0 200678 0
Current children cumulated CPU time (s) 1421.65
Current children cumulated vsize (KiB) 803996

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18888
/proc/meminfo: memFree=822884/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=826468 CPUtime=1481.63
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 198996 0 0 0 148035 128 0 0 25 0 1 0 160683133 846303232 193145 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 206617 193145 170 317 0 206296 0
Current children cumulated CPU time (s) 1481.63
Current children cumulated vsize (KiB) 826468

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18888
/proc/meminfo: memFree=804260/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=847740 CPUtime=1541.61
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 204298 0 0 0 154030 131 0 0 25 0 1 0 160683133 868085760 197754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 211935 197754 170 317 0 211614 0
Current children cumulated CPU time (s) 1541.61
Current children cumulated vsize (KiB) 847740

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18888
/proc/meminfo: memFree=786340/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=875924 CPUtime=1601.59
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 210870 0 0 0 160024 135 0 0 25 0 1 0 160683133 896946176 202280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 218981 202280 170 317 0 218660 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 875924

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18888
/proc/meminfo: memFree=769700/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=891172 CPUtime=1661.56
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 214954 0 0 0 166019 137 0 0 25 0 1 0 160683133 912560128 206364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 222793 206364 170 317 0 222472 0
Current children cumulated CPU time (s) 1661.56
Current children cumulated vsize (KiB) 891172

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18888
/proc/meminfo: memFree=750500/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=913280 CPUtime=1721.55
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 219832 0 0 0 172015 140 0 0 25 0 1 0 160683133 935198720 211209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 228320 211209 170 317 0 227999 0
Current children cumulated CPU time (s) 1721.55
Current children cumulated vsize (KiB) 913280

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18888
/proc/meminfo: memFree=734820/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=928176 CPUtime=1781.53
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 223716 0 0 0 178011 142 0 0 25 0 1 0 160683133 950452224 215093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 232044 215093 170 317 0 231723 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (KiB) 928176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18888
/proc/meminfo: memFree=730212/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=932756 CPUtime=1800.02
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194304 224834 0 0 0 179859 143 0 0 25 0 1 0 160683133 955142144 216211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715615 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 233189 216211 170 317 0 232868 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 932756

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

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

[startup+1800.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18888
/proc/meminfo: memFree=730212/2055920 swapFree=4182840/4192956
[pid=18689] ppid=18687 vsize=0 CPUtime=1800.12
/proc/18689/stat : 18689 (oree) R 18687 18689 17604 0 -1 4194308 224850 0 0 0 179860 152 0 0 25 0 1 0 160683133 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18689/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.96
CPU time (s): 1800.19
CPU user time (s): 1798.61
CPU system time (s): 1.57576
CPU usage (%): 99.9569
Max. virtual memory (cumulated for all children) (KiB): 932756

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

runsolver used 1.41778 second user time and 3.63945 second system time

The end

Launcher Data (download as text)

Begin job on node69 on Tue Apr 17 21:55:37 UTC 2007

IDJOB= 356877
IDBENCH= 1583
IDSOLVER= 172
FILE ID= node69/356877-1176846937

PBS_JOBID= 4590151

Free space on /tmp= 66522 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-bienst2.opb
COMMAND LINE= oree /tmp/evaluation/356877-1176846937/instance-356877-1176846937.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node69/watcher-356877-1176846937 -o ROOT/results/node69/solver-356877-1176846937 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356877-1176846937/instance-356877-1176846937.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  ab5e35dff8e81ea7a1176a4145ab1bff

RANDOM SEED= 463261677

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
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:       1597252 kB
Buffers:         28732 kB
Cached:         380724 kB
SwapCached:       5208 kB
Active:         238268 kB
Inactive:       182056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1597252 kB
SwapTotal:     4192956 kB
SwapFree:      4182840 kB
Dirty:            1840 kB
Writeback:           0 kB
Mapped:          15488 kB
Slab:            24252 kB
Committed_AS:  1425848 kB
PageTables:       1472 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= 66522 MiB

End job on node69 on Tue Apr 17 22:25:40 UTC 2007