Trace number 356927

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.2 1800.9

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-shell.opb
MD5SUM78fcc08f79c3a8f3db518f692b6ae82d
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 variables45231
Total number of constraints653
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 constraints653
Minimum length of a constraint19
Maximum length of a constraint1560
Number of terms in the objective function 39844
Biggest coefficient in the objective function 4408
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 557557
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262143
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 557557
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.29/0.39	c ...done
0.29/0.39	c #vars=45231 #constraints=1188 hasObjective=yes
0.79/0.88	c res. mode=mod
0.79/0.88	c VSIDS like heuristics
0.79/0.88	c complete search running
1.19/1.21	c restart after 401 decisions
1.19/1.29	c nbDecision=500 #constraints=1243
1.49/1.55	c restart after 801 decisions
1.69/1.72	c nbDecision=1000 #constraints=1326
2.09/2.11	c nbDecision=1500 #constraints=1385
2.09/2.19	c restart after 1601 decisions
2.49/2.53	c nbDecision=2000 #constraints=1448
2.88/2.93	c nbDecision=2500 #constraints=1486
3.29/3.31	c nbDecision=3000 #constraints=1522
3.39/3.49	c restart after 3201 decisions
3.68/3.74	c nbDecision=3500 #constraints=1586
4.08/4.14	c nbDecision=4000 #constraints=1641
4.49/4.51	c nbDecision=4500 #constraints=1660
4.89/4.92	c nbDecision=5000 #constraints=1700
5.29/5.35	c nbDecision=5500 #constraints=1766
5.69/5.73	c nbDecision=6000 #constraints=1779
5.99/6.06	c restart after 6401 decisions
6.09/6.15	c nbDecision=6500 #constraints=1829
6.49/6.55	c nbDecision=7000 #constraints=1867
6.89/6.93	c nbDecision=7500 #constraints=1879
7.29/7.33	c nbDecision=8000 #constraints=1901
7.69/7.71	c nbDecision=8500 #constraints=1909
8.09/8.11	c nbDecision=9000 #constraints=1947
8.49/8.57	c nbDecision=9500 #constraints=2032
8.89/8.97	c nbDecision=10000 #constraints=2052
9.29/9.36	c nbDecision=10500 #constraints=2069
9.79/9.83	c nbDecision=11000 #constraints=2155
10.18/10.28	c nbDecision=11500 #constraints=2235
10.58/10.68	c nbDecision=12000 #constraints=2266
10.99/11.08	c nbDecision=12500 #constraints=2290
11.28/11.32	c restart after 12801 decisions
11.48/11.51	c nbDecision=13000 #constraints=2323
11.88/11.91	c nbDecision=13500 #constraints=2353
12.28/12.30	c nbDecision=14000 #constraints=2378
12.68/12.71	c nbDecision=14500 #constraints=2402
12.98/13.09	c nbDecision=15000 #constraints=2404
13.48/13.52	c nbDecision=15500 #constraints=2469
13.88/13.95	c nbDecision=16000 #constraints=2518
14.29/14.36	c nbDecision=16500 #constraints=2536
14.69/14.77	c nbDecision=17000 #constraints=2562
15.09/15.19	c nbDecision=17500 #constraints=2603
15.59/15.62	c nbDecision=18000 #constraints=2636
15.99/16.04	c nbDecision=18500 #constraints=2666
16.39/16.45	c nbDecision=19000 #constraints=2692
16.79/16.87	c nbDecision=19500 #constraints=2746
17.19/17.29	c nbDecision=20000 #constraints=2797
17.69/17.72	c nbDecision=20500 #constraints=2829
18.09/18.14	c nbDecision=21000 #constraints=2861
18.49/18.58	c nbDecision=21500 #constraints=2895
18.89/18.96	c nbDecision=22000 #constraints=2899
19.29/19.37	c nbDecision=22500 #constraints=2915
19.69/19.76	c nbDecision=23000 #constraints=2918
20.09/20.19	c nbDecision=23500 #constraints=2951
20.59/20.61	c nbDecision=24000 #constraints=2974
20.89/20.99	c nbDecision=24500 #constraints=2977
21.29/21.37	c nbDecision=25000 #constraints=2985
21.68/21.79	c nbDecision=25500 #constraints=3012
21.78/21.87	c restart after 25601 decisions
22.18/22.21	c nbDecision=26000 #constraints=3038
22.58/22.63	c nbDecision=26500 #constraints=3064
22.98/23.05	c nbDecision=27000 #constraints=3093
23.38/23.43	c nbDecision=27500 #constraints=3104
23.78/23.89	c nbDecision=28000 #constraints=3152
24.29/24.31	c nbDecision=28500 #constraints=3165
24.68/24.73	c nbDecision=29000 #constraints=3190
25.08/25.15	c nbDecision=29500 #constraints=3216
25.48/25.55	c nbDecision=30000 #constraints=3221
25.88/25.99	c nbDecision=30500 #constraints=3258
26.38/26.40	c nbDecision=31000 #constraints=3273
26.78/26.88	c nbDecision=31500 #constraints=3335
27.28/27.31	c nbDecision=32000 #constraints=3359
27.68/27.76	c nbDecision=32500 #constraints=3397
28.08/28.18	c nbDecision=33000 #constraints=3422
28.58/28.61	c nbDecision=33500 #constraints=3441
28.98/29.02	c nbDecision=34000 #constraints=3449
29.38/29.44	c nbDecision=34500 #constraints=3461
29.79/29.87	c nbDecision=35000 #constraints=3489
30.28/30.30	c nbDecision=35500 #constraints=3516
30.68/30.74	c nbDecision=36000 #constraints=3543
31.08/31.15	c nbDecision=36500 #constraints=3549
31.58/31.60	c nbDecision=37000 #constraints=3572
31.99/32.04	c nbDecision=37500 #constraints=3601
32.48/32.50	c nbDecision=38000 #constraints=3630
32.88/32.93	c nbDecision=38500 #constraints=3643
33.28/33.37	c nbDecision=39000 #constraints=3666
33.78/33.81	c nbDecision=39500 #constraints=3698
34.18/34.22	c nbDecision=40000 #constraints=3702
34.58/34.67	c nbDecision=40500 #constraints=3726
35.08/35.11	c nbDecision=41000 #constraints=3762
35.48/35.55	c nbDecision=41500 #constraints=3784
35.88/35.97	c nbDecision=42000 #constraints=3797
36.38/36.42	c nbDecision=42500 #constraints=3833
36.78/36.84	c nbDecision=43000 #constraints=3844
37.18/37.28	c nbDecision=43500 #constraints=3869
37.68/37.70	c nbDecision=44000 #constraints=3888
38.08/38.16	c nbDecision=44500 #constraints=3933
38.58/38.62	c nbDecision=45000 #constraints=3981
38.98/39.03	c nbDecision=45500 #constraints=3988
39.38/39.46	c nbDecision=46000 #constraints=3996
39.88/39.91	c nbDecision=46500 #constraints=4023
40.28/40.32	c nbDecision=47000 #constraints=4033
40.68/40.73	c nbDecision=47500 #constraints=4040
41.08/41.15	c nbDecision=48000 #constraints=4045
41.58/41.61	c nbDecision=48500 #constraints=4062
41.98/42.04	c nbDecision=49000 #constraints=4079
42.38/42.46	c nbDecision=49500 #constraints=4091
42.88/42.92	c nbDecision=50000 #constraints=4129
43.28/43.37	c nbDecision=50500 #constraints=4172
43.78/43.80	c nbDecision=51000 #constraints=4189
43.88/43.98	c restart after 51201 decisions
44.18/44.26	c nbDecision=51500 #constraints=4201
44.68/44.71	c nbDecision=52000 #constraints=4231
45.08/45.14	c nbDecision=52500 #constraints=4238
45.58/45.60	c nbDecision=53000 #constraints=4270
45.98/46.07	c nbDecision=53500 #constraints=4287
46.37/46.49	c nbDecision=54000 #constraints=4292
46.87/46.92	c nbDecision=54500 #constraints=4298
47.38/47.42	c nbDecision=55000 #constraints=4356
47.87/47.92	c nbDecision=55500 #constraints=4399
48.38/48.44	c nbDecision=56000 #constraints=4466
48.77/48.87	c nbDecision=56500 #constraints=4481
49.27/49.35	c nbDecision=57000 #constraints=4556
49.77/49.82	c nbDecision=57500 #constraints=4590
50.17/50.29	c nbDecision=58000 #constraints=4630
50.77/50.82	c nbDecision=58500 #constraints=4701
51.27/51.32	c nbDecision=59000 #constraints=4732
51.67/51.79	c nbDecision=59500 #constraints=4768
52.17/52.24	c nbDecision=60000 #constraints=4789
52.67/52.70	c nbDecision=60500 #constraints=4804
53.17/53.22	c nbDecision=61000 #constraints=4848
53.57/53.68	c nbDecision=61500 #constraints=4873
54.07/54.11	c nbDecision=62000 #constraints=4902
54.57/54.63	c nbDecision=62500 #constraints=4970
55.07/55.14	c nbDecision=63000 #constraints=5033
55.56/55.63	c nbDecision=63500 #constraints=5056
56.07/56.18	c nbDecision=64000 #constraints=5129
56.56/56.62	c nbDecision=64500 #constraints=5157
56.96/57.08	c nbDecision=65000 #constraints=5180
57.46/57.53	c nbDecision=65500 #constraints=5207
58.17/58.20	c nbDecision=66000 #constraints=5390
58.67/58.71	c nbDecision=66500 #constraints=5434
59.17/59.24	c nbDecision=67000 #constraints=5475
59.67/59.70	c nbDecision=67500 #constraints=5512
60.17/60.24	c nbDecision=68000 #constraints=5560
60.67/60.78	c nbDecision=68500 #constraints=5613
61.17/61.27	c nbDecision=69000 #constraints=5658
61.68/61.77	c nbDecision=69500 #constraints=5693
62.07/62.19	c nbDecision=70000 #constraints=5700
62.68/62.78	c nbDecision=70500 #constraints=5759
63.47/63.55	c nbDecision=71000 #constraints=5935
63.87/63.99	c nbDecision=71500 #constraints=5944
64.47/64.56	c nbDecision=72000 #constraints=5997
64.98/65.09	c nbDecision=72500 #constraints=6052
65.47/65.58	c nbDecision=73000 #constraints=6078
66.07/66.19	c nbDecision=73500 #constraints=6164
66.67/66.71	c nbDecision=74000 #constraints=6216
67.27/67.31	c nbDecision=74500 #constraints=6279
67.77/67.82	c nbDecision=75000 #constraints=6308
68.27/68.33	c nbDecision=75500 #constraints=6332
69.17/69.21	c nbDecision=76000 #constraints=6478
69.86/69.98	c nbDecision=76500 #constraints=6617
70.47/70.58	c nbDecision=77000 #constraints=6671
71.06/71.18	c nbDecision=77500 #constraints=6727
71.86/72.00	c nbDecision=78000 #constraints=6859
72.46/72.54	c nbDecision=78500 #constraints=6894
72.96/73.03	c nbDecision=79000 #constraints=6916
73.36/73.48	c nbDecision=79500 #constraints=6921
73.96/74.02	c nbDecision=80000 #constraints=6954
74.56/74.62	c nbDecision=80500 #constraints=6997
75.16/75.28	c nbDecision=81000 #constraints=7056
75.76/75.83	c nbDecision=81500 #constraints=7086
76.36/76.44	c nbDecision=82000 #constraints=7131
77.36/77.48	c nbDecision=82500 #constraints=7271
77.86/77.97	c nbDecision=83000 #constraints=7298
78.56/78.61	c nbDecision=83500 #constraints=7341
79.06/79.16	c nbDecision=84000 #constraints=7372
79.56/79.67	c nbDecision=84500 #constraints=7397
80.06/80.18	c nbDecision=85000 #constraints=7423
80.66/80.75	c nbDecision=85500 #constraints=7469
81.16/81.26	c nbDecision=86000 #constraints=7494
81.96/82.03	c nbDecision=86500 #constraints=7563
82.66/82.76	c nbDecision=87000 #constraints=7623
83.16/83.27	c nbDecision=87500 #constraints=7644
83.66/83.77	c nbDecision=88000 #constraints=7659
84.26/84.39	c nbDecision=88500 #constraints=7698
84.96/85.02	c nbDecision=89000 #constraints=7738
85.66/85.78	c nbDecision=89500 #constraints=7798
86.36/86.42	c nbDecision=90000 #constraints=7850
86.86/86.94	c nbDecision=90500 #constraints=7868
88.66/88.79	c nbDecision=91000 #constraints=8156
89.26/89.34	c nbDecision=91500 #constraints=8177
89.76/89.86	c nbDecision=92000 #constraints=8209
90.55/90.63	c nbDecision=92500 #constraints=8293
91.36/91.43	c nbDecision=93000 #constraints=8382
91.85/91.95	c nbDecision=93500 #constraints=8396
92.36/92.49	c nbDecision=94000 #constraints=8421
93.25/93.34	c nbDecision=94500 #constraints=8483
94.26/94.34	c nbDecision=95000 #constraints=8589
94.86/94.90	c nbDecision=95500 #constraints=8614
95.66/95.71	c nbDecision=96000 #constraints=8674
96.66/96.79	c nbDecision=96500 #constraints=8765
98.86/98.91	c nbDecision=97000 #constraints=9038
99.35/99.45	c nbDecision=97500 #constraints=9080
99.95/100.02	c nbDecision=98000 #constraints=9099
101.45/101.55	c nbDecision=98500 #constraints=9229
104.15/104.25	c nbDecision=99000 #constraints=9517
104.55/104.70	c nbDecision=99500 #constraints=9518
105.25/105.30	c nbDecision=100000 #constraints=9544
106.65/106.80	c nbDecision=100500 #constraints=9663
108.15/108.27	c nbDecision=101000 #constraints=9809
108.85/108.93	c nbDecision=101500 #constraints=9832
109.35/109.41	c nbDecision=102000 #constraints=9845
109.85/109.97	c restart after 102401 decisions
110.35/110.49	c nbDecision=102500 #constraints=9892
111.06/111.20	c nbDecision=103000 #constraints=9921
111.65/111.71	c nbDecision=103500 #constraints=9937
112.26/112.33	c nbDecision=104000 #constraints=9952
112.95/113.05	c nbDecision=104500 #constraints=9992
113.65/113.75	c nbDecision=105000 #constraints=10026
114.15/114.28	c nbDecision=105500 #constraints=10031
114.75/114.88	c nbDecision=106000 #constraints=10058
115.35/115.47	c nbDecision=106500 #constraints=10086
115.95/116.02	c nbDecision=107000 #constraints=10103
116.45/116.51	c nbDecision=107500 #constraints=10105
117.15/117.24	c nbDecision=108000 #constraints=10174
117.76/117.86	c nbDecision=108500 #constraints=10184
118.55/118.61	c nbDecision=109000 #constraints=10232
119.15/119.25	c nbDecision=109500 #constraints=10249
119.65/119.79	c nbDecision=110000 #constraints=10254
120.25/120.36	c nbDecision=110500 #constraints=10270
120.85/120.93	c nbDecision=111000 #constraints=10289
121.35/121.47	c nbDecision=111500 #constraints=10303
121.95/122.06	c nbDecision=112000 #constraints=10319
122.55/122.60	c nbDecision=112500 #constraints=10333
123.15/123.26	c nbDecision=113000 #constraints=10355
123.75/123.86	c nbDecision=113500 #constraints=10370
124.35/124.45	c nbDecision=114000 #constraints=10381
124.95/125.05	c nbDecision=114500 #constraints=10401
125.45/125.57	c nbDecision=115000 #constraints=10404
126.05/126.16	c nbDecision=115500 #constraints=10422
126.55/126.69	c nbDecision=116000 #constraints=10432
127.05/127.17	c nbDecision=116500 #constraints=10443
127.55/127.68	c nbDecision=117000 #constraints=10449
128.14/128.28	c nbDecision=117500 #constraints=10469
128.84/128.92	c nbDecision=118000 #constraints=10493
129.34/129.45	c nbDecision=118500 #constraints=10511
129.94/130.07	c nbDecision=119000 #constraints=10530
130.64/130.70	c nbDecision=119500 #constraints=10557
131.24/131.36	c nbDecision=120000 #constraints=10592
131.84/131.90	c nbDecision=120500 #constraints=10602
132.34/132.48	c nbDecision=121000 #constraints=10627
132.94/133.06	c nbDecision=121500 #constraints=10632
133.54/133.65	c nbDecision=122000 #constraints=10645
134.14/134.29	c nbDecision=122500 #constraints=10664
134.84/134.92	c nbDecision=123000 #constraints=10682
135.35/135.46	c nbDecision=123500 #constraints=10692
136.05/136.10	c nbDecision=124000 #constraints=10720
136.55/136.68	c nbDecision=124500 #constraints=10736
137.15/137.22	c nbDecision=125000 #constraints=10747
137.75/137.83	c nbDecision=125500 #constraints=10764
138.24/138.39	c nbDecision=126000 #constraints=10782
138.84/138.94	c nbDecision=126500 #constraints=10815
139.34/139.49	c nbDecision=127000 #constraints=10824
140.04/140.11	c nbDecision=127500 #constraints=10861
140.54/140.69	c nbDecision=128000 #constraints=10874
141.14/141.21	c nbDecision=128500 #constraints=10876
141.64/141.79	c nbDecision=129000 #constraints=10893
142.34/142.42	c nbDecision=129500 #constraints=10909
142.95/143.02	c nbDecision=130000 #constraints=10920
143.34/143.49	c nbDecision=130500 #constraints=10922
143.94/144.04	c nbDecision=131000 #constraints=10945
144.54/144.62	c nbDecision=131500 #constraints=10960
145.15/145.24	c nbDecision=132000 #constraints=10984
145.84/145.92	c nbDecision=132500 #constraints=10994
146.54/146.62	c nbDecision=133000 #constraints=11016
147.14/147.29	c nbDecision=133500 #constraints=11041
147.84/147.96	c nbDecision=134000 #constraints=11061
148.44/148.53	c nbDecision=134500 #constraints=11065
149.04/149.12	c nbDecision=135000 #constraints=11075
149.64/149.71	c nbDecision=135500 #constraints=11107
150.34/150.40	c nbDecision=136000 #constraints=11140
150.94/151.01	c nbDecision=136500 #constraints=11164
151.44/151.57	c nbDecision=137000 #constraints=11189
152.14/152.29	c nbDecision=137500 #constraints=11220
152.94/153.03	c nbDecision=138000 #constraints=11251
153.54/153.65	c nbDecision=138500 #constraints=11265
154.14/154.27	c nbDecision=139000 #constraints=11302
154.84/154.96	c nbDecision=139500 #constraints=11321
155.44/155.57	c nbDecision=140000 #constraints=11339
156.14/156.21	c nbDecision=140500 #constraints=11366
156.74/156.84	c nbDecision=141000 #constraints=11381
157.44/157.51	c nbDecision=141500 #constraints=11402
157.94/158.10	c nbDecision=142000 #constraints=11412
158.54/158.68	c nbDecision=142500 #constraints=11437
159.14/159.27	c nbDecision=143000 #constraints=11444
159.74/159.84	c nbDecision=143500 #constraints=11447
160.24/160.36	c nbDecision=144000 #constraints=11455
160.84/160.97	c nbDecision=144500 #constraints=11470
161.44/161.51	c nbDecision=145000 #constraints=11472
162.13/162.28	c nbDecision=145500 #constraints=11496
162.84/162.94	c nbDecision=146000 #constraints=11515
163.43/163.52	c nbDecision=146500 #constraints=11519
164.13/164.25	c nbDecision=147000 #constraints=11572
164.73/164.87	c nbDecision=147500 #constraints=11589
165.33/165.49	c nbDecision=148000 #constraints=11599
166.04/166.12	c nbDecision=148500 #constraints=11627
166.63/166.76	c nbDecision=149000 #constraints=11634
167.24/167.37	c nbDecision=149500 #constraints=11646
167.83/167.93	c nbDecision=150000 #constraints=11648
168.43/168.50	c nbDecision=150500 #constraints=11657
169.03/169.17	c nbDecision=151000 #constraints=11676
169.73/169.85	c nbDecision=151500 #constraints=11693
170.33/170.40	c nbDecision=152000 #constraints=11703
170.93/171.02	c nbDecision=152500 #constraints=11722
171.53/171.61	c nbDecision=153000 #constraints=11726
172.23/172.31	c nbDecision=153500 #constraints=11779
172.73/172.88	c nbDecision=154000 #constraints=11781
173.43/173.50	c nbDecision=154500 #constraints=11796
173.93/174.03	c nbDecision=155000 #constraints=11798
174.53/174.66	c nbDecision=155500 #constraints=11817
175.23/175.30	c nbDecision=156000 #constraints=11828
175.73/175.89	c nbDecision=156500 #constraints=11844
176.43/176.56	c nbDecision=157000 #constraints=11860
177.03/177.19	c nbDecision=157500 #constraints=11869
177.83/177.96	c nbDecision=158000 #constraints=11891
178.53/178.61	c nbDecision=158500 #constraints=11901
179.03/179.19	c nbDecision=159000 #constraints=11931
179.73/179.87	c nbDecision=159500 #constraints=11945
180.43/180.51	c nbDecision=160000 #constraints=11965
181.13/181.21	c nbDecision=160500 #constraints=11995
181.73/181.84	c nbDecision=161000 #constraints=12015
182.23/182.36	c nbDecision=161500 #constraints=12022
182.73/182.88	c nbDecision=162000 #constraints=12026
183.43/183.52	c nbDecision=162500 #constraints=12045
183.93/184.07	c nbDecision=163000 #constraints=12046
184.62/184.79	c nbDecision=163500 #constraints=12060
185.33/185.42	c nbDecision=164000 #constraints=12065
185.93/186.05	c nbDecision=164500 #constraints=12070
186.72/186.80	c nbDecision=165000 #constraints=12090
187.42/187.52	c nbDecision=165500 #constraints=12123
188.03/188.16	c nbDecision=166000 #constraints=12139
188.72/188.89	c nbDecision=166500 #constraints=12191
189.42/189.58	c nbDecision=167000 #constraints=12205
190.12/190.27	c nbDecision=167500 #constraints=12216
190.92/191.00	c nbDecision=168000 #constraints=12233
191.52/191.64	c nbDecision=168500 #constraints=12255
192.12/192.28	c nbDecision=169000 #constraints=12259
192.72/192.88	c nbDecision=169500 #constraints=12270
193.42/193.56	c nbDecision=170000 #constraints=12294
194.02/194.19	c nbDecision=170500 #constraints=12307
194.82/194.98	c nbDecision=171000 #constraints=12329
195.42/195.54	c nbDecision=171500 #constraints=12345
196.02/196.17	c nbDecision=172000 #constraints=12354
196.72/196.83	c nbDecision=172500 #constraints=12377
197.32/197.41	c nbDecision=173000 #constraints=12379
197.82/197.90	c nbDecision=173500 #constraints=12387
198.42/198.50	c nbDecision=174000 #constraints=12390
199.02/199.15	c nbDecision=174500 #constraints=12399
199.72/199.86	c nbDecision=175000 #constraints=12411
200.32/200.47	c nbDecision=175500 #constraints=12413
201.02/201.17	c nbDecision=176000 #constraints=12430
201.62/201.76	c nbDecision=176500 #constraints=12434
202.32/202.47	c nbDecision=177000 #constraints=12456
203.02/203.11	c nbDecision=177500 #constraints=12472
203.72/203.80	c nbDecision=178000 #constraints=12492
204.41/204.50	c nbDecision=178500 #constraints=12504
205.11/205.26	c nbDecision=179000 #constraints=12521
205.72/205.85	c nbDecision=179500 #constraints=12523
206.41/206.53	c nbDecision=180000 #constraints=12540
207.11/207.22	c nbDecision=180500 #constraints=12547
207.71/207.85	c nbDecision=181000 #constraints=12551
208.31/208.49	c nbDecision=181500 #constraints=12561
209.02/209.14	c nbDecision=182000 #constraints=12582
209.71/209.87	c nbDecision=182500 #constraints=12604
210.31/210.46	c nbDecision=183000 #constraints=12605
211.01/211.18	c nbDecision=183500 #constraints=12617
211.61/211.75	c nbDecision=184000 #constraints=12621
212.21/212.38	c nbDecision=184500 #constraints=12630
212.81/212.93	c nbDecision=185000 #constraints=12648
213.51/213.61	c nbDecision=185500 #constraints=12667
214.22/214.34	c nbDecision=186000 #constraints=12690
214.92/215.07	c nbDecision=186500 #constraints=12708
215.72/215.80	c nbDecision=187000 #constraints=12725
216.32/216.49	c nbDecision=187500 #constraints=12748
217.02/217.15	c nbDecision=188000 #constraints=12771
217.72/217.81	c nbDecision=188500 #constraints=12791
218.32/218.40	c nbDecision=189000 #constraints=12796
218.92/219.05	c nbDecision=189500 #constraints=12809
219.62/219.71	c nbDecision=190000 #constraints=12829
220.22/220.31	c nbDecision=190500 #constraints=12839
220.92/221.04	c nbDecision=191000 #constraints=12857
221.81/221.96	c nbDecision=191500 #constraints=12903
222.51/222.60	c nbDecision=192000 #constraints=12907
223.11/223.28	c nbDecision=192500 #constraints=12923
223.71/223.89	c nbDecision=193000 #constraints=12932
224.42/224.55	c nbDecision=193500 #constraints=12943
225.21/225.31	c nbDecision=194000 #constraints=12968
225.91/226.07	c nbDecision=194500 #constraints=13003
226.52/226.70	c nbDecision=195000 #constraints=13006
227.21/227.32	c nbDecision=195500 #constraints=13008
227.81/227.93	c nbDecision=196000 #constraints=13011
228.41/228.58	c nbDecision=196500 #constraints=13028
229.21/229.30	c nbDecision=197000 #constraints=13051
229.82/229.93	c nbDecision=197500 #constraints=13053
230.41/230.59	c nbDecision=198000 #constraints=13067
231.11/231.29	c nbDecision=198500 #constraints=13091
231.81/231.95	c nbDecision=199000 #constraints=13100
232.51/232.61	c nbDecision=199500 #constraints=13115
233.21/233.33	c nbDecision=200000 #constraints=13130
233.91/234.04	c nbDecision=200500 #constraints=13152
234.61/234.73	c nbDecision=201000 #constraints=13162
235.21/235.39	c nbDecision=201500 #constraints=13170
235.91/236.04	c nbDecision=202000 #constraints=13182
236.61/236.75	c nbDecision=202500 #constraints=13188
237.31/237.47	c nbDecision=203000 #constraints=13211
237.91/238.01	c nbDecision=203500 #constraints=13213
238.51/238.67	c nbDecision=204000 #constraints=13234
239.31/239.42	c nbDecision=204500 #constraints=13258
239.61/239.77	c restart after 204801 decisions
240.31/240.40	c nbDecision=205000 #constraints=13305
241.01/241.11	c nbDecision=205500 #constraints=13322
241.70/241.85	c nbDecision=206000 #constraints=13358
242.50/242.63	c nbDecision=206500 #constraints=13376
243.20/243.38	c nbDecision=207000 #constraints=13394
243.90/244.08	c nbDecision=207500 #constraints=13412
244.60/244.71	c nbDecision=208000 #constraints=13415
245.21/245.33	c nbDecision=208500 #constraints=13433
246.00/246.14	c nbDecision=209000 #constraints=13461
246.70/246.81	c nbDecision=209500 #constraints=13496
247.30/247.43	c nbDecision=210000 #constraints=13497
248.00/248.18	c nbDecision=210500 #constraints=13513
248.70/248.85	c nbDecision=211000 #constraints=13521
249.40/249.54	c nbDecision=211500 #constraints=13534
250.10/250.26	c nbDecision=212000 #constraints=13551
250.80/250.96	c nbDecision=212500 #constraints=13569
251.50/251.67	c nbDecision=213000 #constraints=13584
252.10/252.23	c nbDecision=213500 #constraints=13590
252.90/253.07	c nbDecision=214000 #constraints=13620
253.70/253.85	c nbDecision=214500 #constraints=13635
254.40/254.59	c nbDecision=215000 #constraints=13646
255.10/255.25	c nbDecision=215500 #constraints=13657
255.80/255.97	c nbDecision=216000 #constraints=13667
256.50/256.67	c nbDecision=216500 #constraints=13683
257.20/257.33	c nbDecision=217000 #constraints=13695
257.80/257.97	c nbDecision=217500 #constraints=13697
258.60/258.78	c nbDecision=218000 #constraints=13713
259.40/259.50	c nbDecision=218500 #constraints=13730
260.00/260.19	c nbDecision=219000 #constraints=13745
260.79/260.96	c nbDecision=219500 #constraints=13768
261.50/261.66	c nbDecision=220000 #constraints=13787
262.20/262.33	c nbDecision=220500 #constraints=13795
262.81/262.99	c nbDecision=221000 #constraints=13797
263.60/263.75	c nbDecision=221500 #constraints=13823
264.40/264.54	c nbDecision=222000 #constraints=13865
265.10/265.25	c nbDecision=222500 #constraints=13882
265.70/265.88	c nbDecision=223000 #constraints=13909
266.40/266.57	c nbDecision=223500 #constraints=13925
267.20/267.38	c nbDecision=224000 #constraints=13947
267.90/268.10	c nbDecision=224500 #constraints=13964
268.60/268.79	c nbDecision=225000 #constraints=13979
269.30/269.47	c nbDecision=225500 #constraints=13982
270.00/270.15	c nbDecision=226000 #constraints=13985
270.80/270.92	c nbDecision=226500 #constraints=14001
271.50/271.66	c nbDecision=227000 #constraints=14013
272.20/272.37	c nbDecision=227500 #constraints=14036
272.90/273.03	c nbDecision=228000 #constraints=14037
273.60/273.74	c nbDecision=228500 #constraints=14047
274.30/274.46	c nbDecision=229000 #constraints=14064
275.00/275.18	c nbDecision=229500 #constraints=14081
275.80/275.97	c nbDecision=230000 #constraints=14112
276.49/276.63	c nbDecision=230500 #constraints=14114
277.10/277.27	c nbDecision=231000 #constraints=14115
277.79/277.92	c nbDecision=231500 #constraints=14117
278.49/278.63	c nbDecision=232000 #constraints=14126
279.19/279.35	c nbDecision=232500 #constraints=14133
280.09/280.29	c nbDecision=233000 #constraints=14180
280.89/281.04	c nbDecision=233500 #constraints=14195
281.50/281.68	c nbDecision=234000 #constraints=14204
282.19/282.37	c nbDecision=234500 #constraints=14208
282.99/283.14	c nbDecision=235000 #constraints=14225
283.69/283.83	c nbDecision=235500 #constraints=14235
284.29/284.46	c nbDecision=236000 #constraints=14249
284.99/285.16	c nbDecision=236500 #constraints=14257
285.79/285.93	c nbDecision=237000 #constraints=14268
286.59/286.70	c nbDecision=237500 #constraints=14285
287.39/287.56	c nbDecision=238000 #constraints=14324
288.19/288.34	c nbDecision=238500 #constraints=14343
289.09/289.20	c nbDecision=239000 #constraints=14372
289.79/289.95	c nbDecision=239500 #constraints=14394
290.59/290.76	c nbDecision=240000 #constraints=14418
291.29/291.49	c nbDecision=240500 #constraints=14428
292.19/292.33	c nbDecision=241000 #constraints=14456
292.89/293.09	c nbDecision=241500 #constraints=14460
293.49/293.69	c nbDecision=242000 #constraints=14462
294.49/294.64	c nbDecision=242500 #constraints=14497
295.29/295.41	c nbDecision=243000 #constraints=14514
295.89/296.05	c nbDecision=243500 #constraints=14523
296.58/296.74	c nbDecision=244000 #constraints=14538
297.48/297.65	c nbDecision=244500 #constraints=14566
298.18/298.34	c nbDecision=245000 #constraints=14568
298.98/299.11	c nbDecision=245500 #constraints=14588
299.68/299.88	c nbDecision=246000 #constraints=14606
300.58/300.79	c nbDecision=246500 #constraints=14656
301.29/301.49	c nbDecision=247000 #constraints=14663
301.88/302.02	c nbDecision=247500 #constraints=14663
302.78/302.91	c nbDecision=248000 #constraints=14670
303.38/303.54	c nbDecision=248500 #constraints=14678
304.28/304.48	c nbDecision=249000 #constraints=14699
304.88/305.05	c nbDecision=249500 #constraints=14710
305.69/305.81	c nbDecision=250000 #constraints=14727
306.48/306.64	c nbDecision=250500 #constraints=14745
307.28/307.46	c nbDecision=251000 #constraints=14784
307.98/308.17	c nbDecision=251500 #constraints=14788
308.98/309.13	c nbDecision=252000 #constraints=14817
309.68/309.88	c nbDecision=252500 #constraints=14822
310.58/310.74	c nbDecision=253000 #constraints=14838
311.28/311.43	c nbDecision=253500 #constraints=14840
311.98/312.14	c nbDecision=254000 #constraints=14849
312.68/312.81	c nbDecision=254500 #constraints=14851
313.28/313.48	c nbDecision=255000 #constraints=14853
313.98/314.17	c nbDecision=255500 #constraints=14854
314.78/314.91	c nbDecision=256000 #constraints=14869
315.58/315.80	c nbDecision=256500 #constraints=14902
316.38/316.59	c nbDecision=257000 #constraints=14920
317.18/317.38	c nbDecision=257500 #constraints=14937
317.88/318.09	c nbDecision=258000 #constraints=14962
318.67/318.88	c nbDecision=258500 #constraints=14974
319.57/319.73	c nbDecision=259000 #constraints=14989
320.08/320.25	c nbDecision=259500 #constraints=14997
320.87/321.01	c nbDecision=260000 #constraints=15012
321.67/321.80	c nbDecision=260500 #constraints=15035
322.38/322.54	c nbDecision=261000 #constraints=15044
323.07/323.27	c nbDecision=261500 #constraints=15053
323.77/323.99	c nbDecision=262000 #constraints=15062
324.67/324.82	c nbDecision=262500 #constraints=15073
325.48/325.67	c nbDecision=263000 #constraints=15094
326.27/326.46	c nbDecision=263500 #constraints=15103
326.97/327.18	c nbDecision=264000 #constraints=15106
327.78/327.91	c nbDecision=264500 #constraints=15115
328.47/328.63	c nbDecision=265000 #constraints=15119
329.27/329.47	c nbDecision=265500 #constraints=15138
329.97/330.19	c nbDecision=266000 #constraints=15148
330.77/330.96	c nbDecision=266500 #constraints=15159
331.57/331.70	c nbDecision=267000 #constraints=15168
332.27/332.41	c nbDecision=267500 #constraints=15170
333.17/333.37	c nbDecision=268000 #constraints=15200
333.87/334.08	c nbDecision=268500 #constraints=15202
334.67/334.80	c nbDecision=269000 #constraints=15210
335.47/335.61	c nbDecision=269500 #constraints=15228
336.17/336.35	c nbDecision=270000 #constraints=15237
337.07/337.22	c nbDecision=270500 #constraints=15252
337.67/337.86	c nbDecision=271000 #constraints=15254
338.47/338.60	c nbDecision=271500 #constraints=15280
339.17/339.32	c nbDecision=272000 #constraints=15288
340.17/340.31	c nbDecision=272500 #constraints=15328
340.88/341.07	c nbDecision=273000 #constraints=15343
341.78/341.93	c nbDecision=273500 #constraints=15360
342.47/342.64	c nbDecision=274000 #constraints=15362
343.27/343.42	c nbDecision=274500 #constraints=15372
343.97/344.15	c nbDecision=275000 #constraints=15384
344.77/344.94	c nbDecision=275500 #constraints=15392
345.38/345.60	c nbDecision=276000 #constraints=15398
346.38/346.51	c nbDecision=276500 #constraints=15413
347.17/347.37	c nbDecision=277000 #constraints=15431
348.07/348.22	c nbDecision=277500 #constraints=15458
348.77/348.97	c nbDecision=278000 #constraints=15463
349.47/349.67	c nbDecision=278500 #constraints=15486
350.27/350.43	c nbDecision=279000 #constraints=15498
350.97/351.16	c nbDecision=279500 #constraints=15501
351.77/351.97	c nbDecision=280000 #constraints=15510
352.67/352.88	c nbDecision=280500 #constraints=15544
353.57/353.73	c nbDecision=281000 #constraints=15551
354.37/354.53	c nbDecision=281500 #constraints=15567
355.17/355.35	c nbDecision=282000 #constraints=15580
355.87/356.09	c nbDecision=282500 #constraints=15583
356.77/356.94	c nbDecision=283000 #constraints=15596
357.57/357.79	c nbDecision=283500 #constraints=15642
358.47/358.62	c nbDecision=284000 #constraints=15653
359.17/359.39	c nbDecision=284500 #constraints=15668
359.87/360.09	c nbDecision=285000 #constraints=15669
360.67/360.84	c nbDecision=285500 #constraints=15673
361.57/361.76	c nbDecision=286000 #constraints=15689
362.47/362.67	c nbDecision=286500 #constraints=15718
363.37/363.56	c nbDecision=287000 #constraints=15733
364.17/364.33	c nbDecision=287500 #constraints=15740
364.87/365.07	c nbDecision=288000 #constraints=15743
365.67/365.82	c nbDecision=288500 #constraints=15745
366.47/366.65	c nbDecision=289000 #constraints=15756
367.27/367.41	c nbDecision=289500 #constraints=15764
368.07/368.23	c nbDecision=290000 #constraints=15776
368.96/369.15	c nbDecision=290500 #constraints=15792
369.66/369.89	c nbDecision=291000 #constraints=15795
370.46/370.66	c nbDecision=291500 #constraints=15804
371.26/371.47	c nbDecision=292000 #constraints=15823
371.86/372.08	c nbDecision=292500 #constraints=15825
372.66/372.83	c nbDecision=293000 #constraints=15828
373.36/373.56	c nbDecision=293500 #constraints=15830
374.16/374.36	c nbDecision=294000 #constraints=15873
374.97/375.13	c nbDecision=294500 #constraints=15887
375.76/375.98	c nbDecision=295000 #constraints=15909
376.56/376.79	c nbDecision=295500 #constraints=15917
377.46/377.62	c nbDecision=296000 #constraints=15933
378.16/378.35	c nbDecision=296500 #constraints=15934
378.86/379.09	c nbDecision=297000 #constraints=15937
379.66/379.83	c nbDecision=297500 #constraints=15944
380.46/380.69	c nbDecision=298000 #constraints=15973
381.36/381.52	c nbDecision=298500 #constraints=15996
382.36/382.52	c nbDecision=299000 #constraints=16015
383.26/383.48	c nbDecision=299500 #constraints=16039
384.26/384.49	c nbDecision=300000 #constraints=16057
385.36/385.51	c nbDecision=300500 #constraints=16080
386.16/386.30	c nbDecision=301000 #constraints=16093
386.76/386.96	c nbDecision=301500 #constraints=16097
387.45/387.65	c nbDecision=302000 #constraints=16118
388.35/388.58	c nbDecision=302500 #constraints=16121
389.15/389.31	c nbDecision=303000 #constraints=16123
389.85/390.08	c nbDecision=303500 #constraints=16130
390.65/390.89	c nbDecision=304000 #constraints=16135
391.46/391.70	c nbDecision=304500 #constraints=16147
392.15/392.36	c nbDecision=305000 #constraints=16161
393.05/393.25	c nbDecision=305500 #constraints=16178
393.85/394.08	c nbDecision=306000 #constraints=16189
394.76/394.92	c nbDecision=306500 #constraints=16204
395.75/395.98	c nbDecision=307000 #constraints=16242
396.65/396.86	c nbDecision=307500 #constraints=16253
397.85/398.03	c nbDecision=308000 #constraints=16296
398.65/398.85	c nbDecision=308500 #constraints=16312
399.45/399.63	c nbDecision=309000 #constraints=16315
400.15/400.39	c nbDecision=309500 #constraints=16326
401.15/401.35	c nbDecision=310000 #constraints=16343
402.05/402.23	c nbDecision=310500 #constraints=16368
402.85/403.05	c nbDecision=311000 #constraints=16383
403.75/403.94	c nbDecision=311500 #constraints=16407
404.65/404.85	c nbDecision=312000 #constraints=16426
405.54/405.75	c nbDecision=312500 #constraints=16440
406.34/406.51	c nbDecision=313000 #constraints=16441
407.44/407.66	c nbDecision=313500 #constraints=16487
408.55/408.79	c nbDecision=314000 #constraints=16522
409.45/409.66	c nbDecision=314500 #constraints=16566
410.45/410.65	c nbDecision=315000 #constraints=16598
411.45/411.60	c nbDecision=315500 #constraints=16617
412.45/412.64	c nbDecision=316000 #constraints=16643
413.05/413.21	c nbDecision=316500 #constraints=16643
414.05/414.27	c nbDecision=317000 #constraints=16657
414.75/414.95	c nbDecision=317500 #constraints=16687
415.65/415.83	c nbDecision=318000 #constraints=16696
416.45/416.65	c nbDecision=318500 #constraints=16709
417.65/417.80	c nbDecision=319000 #constraints=16749
418.55/418.70	c nbDecision=319500 #constraints=16758
419.35/419.53	c nbDecision=320000 #constraints=16772
420.15/420.32	c nbDecision=320500 #constraints=16775
420.95/421.10	c nbDecision=321000 #constraints=16779
422.05/422.26	c nbDecision=321500 #constraints=16819
423.15/423.36	c nbDecision=322000 #constraints=16842
423.95/424.17	c nbDecision=322500 #constraints=16847
425.04/425.20	c nbDecision=323000 #constraints=16871
426.04/426.20	c nbDecision=323500 #constraints=16890
426.94/427.18	c nbDecision=324000 #constraints=16917
428.14/428.32	c nbDecision=324500 #constraints=16943
429.04/429.23	c nbDecision=325000 #constraints=16957
429.64/429.90	c nbDecision=325500 #constraints=16970
430.64/430.84	c nbDecision=326000 #constraints=17001
431.64/431.86	c nbDecision=326500 #constraints=17018
432.64/432.87	c nbDecision=327000 #constraints=17042
433.44/433.67	c nbDecision=327500 #constraints=17047
434.44/434.63	c nbDecision=328000 #constraints=17062
435.14/435.37	c nbDecision=328500 #constraints=17064
435.94/436.16	c nbDecision=329000 #constraints=17074
436.94/437.17	c nbDecision=329500 #constraints=17105
437.54/437.76	c nbDecision=330000 #constraints=17108
438.54/438.77	c nbDecision=330500 #constraints=17126
439.44/439.65	c nbDecision=331000 #constraints=17141
440.44/440.61	c nbDecision=331500 #constraints=17157
441.33/441.56	c nbDecision=332000 #constraints=17184
442.14/442.34	c nbDecision=332500 #constraints=17186
442.93/443.16	c nbDecision=333000 #constraints=17196
443.93/444.15	c nbDecision=333500 #constraints=17214
444.93/445.14	c nbDecision=334000 #constraints=17235
445.93/446.10	c nbDecision=334500 #constraints=17274
446.93/447.15	c nbDecision=335000 #constraints=17293
447.83/448.03	c nbDecision=335500 #constraints=17304
448.64/448.81	c nbDecision=336000 #constraints=17305
449.63/449.83	c nbDecision=336500 #constraints=17335
450.23/450.46	c nbDecision=337000 #constraints=17359
451.13/451.39	c nbDecision=337500 #constraints=17387
451.93/452.16	c nbDecision=338000 #constraints=17391
452.73/452.96	c nbDecision=338500 #constraints=17393
453.83/454.03	c nbDecision=339000 #constraints=17418
454.63/454.85	c nbDecision=339500 #constraints=17434
455.53/455.73	c nbDecision=340000 #constraints=17455
456.33/456.51	c nbDecision=340500 #constraints=17457
457.03/457.28	c nbDecision=341000 #constraints=17460
457.93/458.10	c nbDecision=341500 #constraints=17469
458.83/459.02	c nbDecision=342000 #constraints=17493
459.63/459.84	c nbDecision=342500 #constraints=17505
460.53/460.74	c nbDecision=343000 #constraints=17523
461.33/461.54	c nbDecision=343500 #constraints=17528
462.23/462.41	c nbDecision=344000 #constraints=17544
463.03/463.22	c nbDecision=344500 #constraints=17553
463.63/463.82	c nbDecision=345000 #constraints=17553
464.53/464.70	c nbDecision=345500 #constraints=17566
465.33/465.56	c nbDecision=346000 #constraints=17574
466.23/466.42	c nbDecision=346500 #constraints=17579
467.12/467.30	c nbDecision=347000 #constraints=17600
467.92/468.19	c nbDecision=347500 #constraints=17615
468.82/469.03	c nbDecision=348000 #constraints=17623
469.72/470.00	c nbDecision=348500 #constraints=17652
470.73/470.97	c nbDecision=349000 #constraints=17672
471.73/471.93	c nbDecision=349500 #constraints=17688
472.52/472.71	c nbDecision=350000 #constraints=17689
473.32/473.57	c nbDecision=350500 #constraints=17699
474.43/474.63	c nbDecision=351000 #constraints=17716
475.33/475.53	c nbDecision=351500 #constraints=17729
476.43/476.61	c nbDecision=352000 #constraints=17759
477.53/477.70	c nbDecision=352500 #constraints=17778
478.53/478.75	c nbDecision=353000 #constraints=17798
479.43/479.64	c nbDecision=353500 #constraints=17815
480.33/480.54	c nbDecision=354000 #constraints=17833
481.43/481.62	c nbDecision=354500 #constraints=17885
482.22/482.40	c nbDecision=355000 #constraints=17895
482.92/483.19	c nbDecision=355500 #constraints=17900
484.02/484.24	c nbDecision=356000 #constraints=17916
484.82/485.05	c nbDecision=356500 #constraints=17944
485.82/486.04	c nbDecision=357000 #constraints=17962
486.62/486.85	c nbDecision=357500 #constraints=17964
487.52/487.70	c nbDecision=358000 #constraints=17972
488.33/488.55	c nbDecision=358500 #constraints=17980
489.22/489.43	c nbDecision=359000 #constraints=17994
490.32/490.59	c nbDecision=359500 #constraints=18037
491.32/491.52	c nbDecision=360000 #constraints=18055
492.42/492.60	c nbDecision=360500 #constraints=18077
493.22/493.45	c nbDecision=361000 #constraints=18079
494.12/494.31	c nbDecision=361500 #constraints=18090
494.92/495.13	c nbDecision=362000 #constraints=18092
495.92/496.18	c nbDecision=362500 #constraints=18133
496.92/497.12	c nbDecision=363000 #constraints=18143
497.72/497.91	c nbDecision=363500 #constraints=18144
498.52/498.72	c nbDecision=364000 #constraints=18146
499.42/499.62	c nbDecision=364500 #constraints=18160
500.22/500.42	c nbDecision=365000 #constraints=18170
500.92/501.17	c nbDecision=365500 #constraints=18177
502.02/502.20	c nbDecision=366000 #constraints=18215
502.92/503.15	c nbDecision=366500 #constraints=18231
503.72/503.96	c nbDecision=367000 #constraints=18232
504.62/504.86	c nbDecision=367500 #constraints=18244
505.42/505.69	c nbDecision=368000 #constraints=18245
506.42/506.64	c nbDecision=368500 #constraints=18255
507.31/507.59	c nbDecision=369000 #constraints=18275
508.51/508.75	c nbDecision=369500 #constraints=18299
509.31/509.54	c nbDecision=370000 #constraints=18301
510.22/510.43	c nbDecision=370500 #constraints=18305
511.01/511.24	c nbDecision=371000 #constraints=18321
512.11/512.30	c nbDecision=371500 #constraints=18349
513.01/513.22	c nbDecision=372000 #constraints=18362
513.91/514.13	c nbDecision=372500 #constraints=18373
514.71/514.99	c nbDecision=373000 #constraints=18376
515.61/515.89	c nbDecision=373500 #constraints=18386
516.51/516.79	c nbDecision=374000 #constraints=18401
517.61/517.84	c nbDecision=374500 #constraints=18417
518.71/518.93	c nbDecision=375000 #constraints=18435
519.41/519.65	c nbDecision=375500 #constraints=18450
520.21/520.48	c nbDecision=376000 #constraints=18452
521.21/521.43	c nbDecision=376500 #constraints=18461
522.20/522.43	c nbDecision=377000 #constraints=18472
523.10/523.34	c nbDecision=377500 #constraints=18485
523.80/524.02	c nbDecision=378000 #constraints=18504
524.90/525.14	c nbDecision=378500 #constraints=18522
526.10/526.30	c nbDecision=379000 #constraints=18539
527.00/527.20	c nbDecision=379500 #constraints=18549
527.91/528.13	c nbDecision=380000 #constraints=18567
528.81/529.10	c nbDecision=380500 #constraints=18576
529.81/530.06	c nbDecision=381000 #constraints=18593
530.81/531.02	c nbDecision=381500 #constraints=18603
531.71/531.95	c nbDecision=382000 #constraints=18618
532.71/532.97	c nbDecision=382500 #constraints=18628
533.91/534.14	c nbDecision=383000 #constraints=18666
534.71/534.98	c nbDecision=383500 #constraints=18668
535.81/536.06	c nbDecision=384000 #constraints=18692
536.91/537.12	c nbDecision=384500 #constraints=18722
538.01/538.22	c nbDecision=385000 #constraints=18742
538.81/539.06	c nbDecision=385500 #constraints=18744
539.91/540.11	c nbDecision=386000 #constraints=18782
541.41/541.60	c nbDecision=386500 #constraints=18848
542.31/542.52	c nbDecision=387000 #constraints=18859
543.31/543.51	c nbDecision=387500 #constraints=18875
544.11/544.33	c nbDecision=388000 #constraints=18877
545.20/545.40	c nbDecision=388500 #constraints=18898
546.00/546.28	c nbDecision=389000 #constraints=18907
547.00/547.28	c nbDecision=389500 #constraints=18925
548.00/548.24	c nbDecision=390000 #constraints=18938
548.90/549.13	c nbDecision=390500 #constraints=18947
549.70/549.99	c nbDecision=391000 #constraints=18951
550.60/550.90	c nbDecision=391500 #constraints=18956
551.60/551.83	c nbDecision=392000 #constraints=18976
552.60/552.81	c nbDecision=392500 #constraints=18991
553.60/553.81	c nbDecision=393000 #constraints=19005
554.50/554.70	c nbDecision=393500 #constraints=19009
555.40/555.64	c nbDecision=394000 #constraints=19020
556.40/556.62	c nbDecision=394500 #constraints=19037
557.19/557.48	c nbDecision=395000 #constraints=19041
558.29/558.57	c nbDecision=395500 #constraints=19062
559.19/559.48	c nbDecision=396000 #constraints=19076
560.09/560.32	c nbDecision=396500 #constraints=19079
560.99/561.29	c nbDecision=397000 #constraints=19089
562.19/562.41	c nbDecision=397500 #constraints=19108
563.10/563.37	c nbDecision=398000 #constraints=19125
564.19/564.41	c nbDecision=398500 #constraints=19131
564.99/565.23	c nbDecision=399000 #constraints=19153
566.49/566.77	c nbDecision=399500 #constraints=19211
567.29/567.51	c nbDecision=400000 #constraints=19223
568.29/568.56	c nbDecision=400500 #constraints=19243
569.19/569.42	c nbDecision=401000 #constraints=19245
570.30/570.55	c nbDecision=401500 #constraints=19260
571.20/571.41	c nbDecision=402000 #constraints=19262
572.19/572.40	c nbDecision=402500 #constraints=19271
573.19/573.42	c nbDecision=403000 #constraints=19289
574.09/574.39	c nbDecision=403500 #constraints=19306
575.09/575.32	c nbDecision=404000 #constraints=19332
575.99/576.26	c nbDecision=404500 #constraints=19346
577.19/577.45	c nbDecision=405000 #constraints=19385
578.09/578.30	c nbDecision=405500 #constraints=19386
578.89/579.14	c nbDecision=406000 #constraints=19388
579.99/580.27	c nbDecision=406500 #constraints=19405
580.89/581.13	c nbDecision=407000 #constraints=19406
581.79/582.07	c nbDecision=407500 #constraints=19413
582.69/582.93	c nbDecision=408000 #constraints=19415
583.69/583.99	c nbDecision=408500 #constraints=19435
584.69/584.91	c nbDecision=409000 #constraints=19446
585.59/585.86	c nbDecision=409500 #constraints=19449
585.69/585.94	c restart after 409601 decisions
586.68/586.96	c nbDecision=410000 #constraints=19457
587.58/587.87	c nbDecision=410500 #constraints=19464
588.58/588.81	c nbDecision=411000 #constraints=19474
589.58/589.80	c nbDecision=411500 #constraints=19491
590.59/590.80	c nbDecision=412000 #constraints=19500
591.59/591.89	c nbDecision=412500 #constraints=19513
592.79/593.06	c nbDecision=413000 #constraints=19526
593.79/594.01	c nbDecision=413500 #constraints=19539
594.58/594.87	c nbDecision=414000 #constraints=19542
595.58/595.88	c nbDecision=414500 #constraints=19557
596.58/596.88	c nbDecision=415000 #constraints=19574
597.28/597.52	c nbDecision=415500 #constraints=19575
598.58/598.81	c nbDecision=416000 #constraints=19588
599.18/599.48	c nbDecision=416500 #constraints=19595
600.18/600.43	c nbDecision=417000 #constraints=19600
601.08/601.35	c nbDecision=417500 #constraints=19609
602.08/602.36	c nbDecision=418000 #constraints=19626
603.18/603.45	c nbDecision=418500 #constraints=19648
604.18/604.48	c nbDecision=419000 #constraints=19667
605.38/605.66	c nbDecision=419500 #constraints=19685
606.28/606.53	c nbDecision=420000 #constraints=19687
607.18/607.50	c nbDecision=420500 #constraints=19701
608.28/608.55	c nbDecision=421000 #constraints=19736
609.28/609.53	c nbDecision=421500 #constraints=19761
610.17/610.49	c nbDecision=422000 #constraints=19785
611.27/611.54	c nbDecision=422500 #constraints=19795
612.17/612.44	c nbDecision=423000 #constraints=19798
612.87/613.20	c nbDecision=423500 #constraints=19801
614.07/614.34	c nbDecision=424000 #constraints=19811
614.97/615.22	c nbDecision=424500 #constraints=19819
615.67/615.94	c nbDecision=425000 #constraints=19820
616.57/616.87	c nbDecision=425500 #constraints=19831
617.47/617.79	c nbDecision=426000 #constraints=19853
618.57/618.80	c nbDecision=426500 #constraints=19862
619.47/619.78	c nbDecision=427000 #constraints=19876
620.37/620.68	c nbDecision=427500 #constraints=19879
621.47/621.70	c nbDecision=428000 #constraints=19893
622.37/622.67	c nbDecision=428500 #constraints=19906
623.57/623.85	c nbDecision=429000 #constraints=19924
624.47/624.73	c nbDecision=429500 #constraints=19925
625.47/625.76	c nbDecision=430000 #constraints=19938
626.67/626.99	c nbDecision=430500 #constraints=19973
627.66/627.94	c nbDecision=431000 #constraints=19982
628.86/629.16	c nbDecision=431500 #constraints=20001
629.86/630.19	c nbDecision=432000 #constraints=20025
630.86/631.10	c nbDecision=432500 #constraints=20027
631.86/632.12	c nbDecision=433000 #constraints=20044
632.76/633.03	c nbDecision=433500 #constraints=20046
633.66/633.92	c nbDecision=434000 #constraints=20048
634.57/634.82	c nbDecision=434500 #constraints=20049
635.46/635.76	c nbDecision=435000 #constraints=20059
636.66/636.92	c nbDecision=435500 #constraints=20074
637.86/638.15	c nbDecision=436000 #constraints=20093
638.76/639.06	c nbDecision=436500 #constraints=20096
639.66/639.94	c nbDecision=437000 #constraints=20097
640.56/640.83	c nbDecision=437500 #constraints=20101
641.56/641.85	c nbDecision=438000 #constraints=20118
642.46/642.76	c nbDecision=438500 #constraints=20122
643.85/644.16	c nbDecision=439000 #constraints=20151
644.85/645.12	c nbDecision=439500 #constraints=20161
645.75/646.02	c nbDecision=440000 #constraints=20165
646.56/646.82	c nbDecision=440500 #constraints=20181
647.45/647.72	c nbDecision=441000 #constraints=20182
648.35/648.68	c nbDecision=441500 #constraints=20187
649.46/649.75	c nbDecision=442000 #constraints=20197
650.56/650.86	c nbDecision=442500 #constraints=20225
651.76/652.01	c nbDecision=443000 #constraints=20253
652.66/652.92	c nbDecision=443500 #constraints=20262
653.85/654.11	c nbDecision=444000 #constraints=20279
654.95/655.20	c nbDecision=444500 #constraints=20296
655.95/656.22	c nbDecision=445000 #constraints=20306
656.95/657.23	c nbDecision=445500 #constraints=20317
658.15/658.43	c nbDecision=446000 #constraints=20339
658.85/659.16	c nbDecision=446500 #constraints=20343
660.25/660.56	c nbDecision=447000 #constraints=20372
661.25/661.51	c nbDecision=447500 #constraints=20376
662.05/662.39	c nbDecision=448000 #constraints=20378
662.85/663.10	c nbDecision=448500 #constraints=20388
663.85/664.15	c nbDecision=449000 #constraints=20397
664.95/665.22	c nbDecision=449500 #constraints=20419
666.25/666.52	c nbDecision=450000 #constraints=20439
667.24/667.59	c nbDecision=450500 #constraints=20453
668.14/668.49	c nbDecision=451000 #constraints=20454
669.24/669.50	c nbDecision=451500 #constraints=20469
670.14/670.48	c nbDecision=452000 #constraints=20478
671.34/671.65	c nbDecision=452500 #constraints=20492
672.74/673.01	c nbDecision=453000 #constraints=20526
673.44/673.73	c nbDecision=453500 #constraints=20528
674.64/674.93	c nbDecision=454000 #constraints=20536
675.64/675.90	c nbDecision=454500 #constraints=20555
676.54/676.86	c nbDecision=455000 #constraints=20563
677.24/677.57	c nbDecision=455500 #constraints=20571
678.64/678.91	c nbDecision=456000 #constraints=20597
679.54/679.81	c nbDecision=456500 #constraints=20598
680.64/680.94	c nbDecision=457000 #constraints=20613
681.44/681.76	c nbDecision=457500 #constraints=20630
682.34/682.69	c nbDecision=458000 #constraints=20632
683.23/683.59	c nbDecision=458500 #constraints=20634
684.23/684.52	c nbDecision=459000 #constraints=20643
685.23/685.53	c nbDecision=459500 #constraints=20649
686.14/686.48	c nbDecision=460000 #constraints=20654
687.34/687.63	c nbDecision=460500 #constraints=20671
688.23/688.55	c nbDecision=461000 #constraints=20694
689.54/689.81	c nbDecision=461500 #constraints=20721
690.54/690.81	c nbDecision=462000 #constraints=20727
691.63/691.96	c nbDecision=462500 #constraints=20751
692.73/693.09	c nbDecision=463000 #constraints=20766
693.73/694.03	c nbDecision=463500 #constraints=20770
695.03/695.32	c nbDecision=464000 #constraints=20804
696.33/696.63	c nbDecision=464500 #constraints=20827
697.33/697.63	c nbDecision=465000 #constraints=20832
698.23/698.52	c nbDecision=465500 #constraints=20833
699.13/699.40	c nbDecision=466000 #constraints=20856
700.03/700.31	c nbDecision=466500 #constraints=20872
701.03/701.34	c nbDecision=467000 #constraints=20889
701.93/702.28	c nbDecision=467500 #constraints=20891
703.23/703.53	c nbDecision=468000 #constraints=20908
704.53/704.86	c nbDecision=468500 #constraints=20928
705.62/705.99	c nbDecision=469000 #constraints=20940
706.73/707.01	c nbDecision=469500 #constraints=20947
707.93/708.29	c nbDecision=470000 #constraints=20965
709.03/709.33	c nbDecision=470500 #constraints=20974
709.93/710.28	c nbDecision=471000 #constraints=20978
711.03/711.38	c nbDecision=471500 #constraints=20988
712.23/712.50	c nbDecision=472000 #constraints=21000
713.33/713.61	c nbDecision=472500 #constraints=21025
714.13/714.47	c nbDecision=473000 #constraints=21029
715.03/715.38	c nbDecision=473500 #constraints=21030
716.13/716.45	c nbDecision=474000 #constraints=21039
717.13/717.43	c nbDecision=474500 #constraints=21053
717.83/718.18	c nbDecision=475000 #constraints=21066
719.23/719.50	c nbDecision=475500 #constraints=21083
720.33/720.61	c nbDecision=476000 #constraints=21110
721.53/721.85	c nbDecision=476500 #constraints=21135
722.63/722.91	c nbDecision=477000 #constraints=21144
723.23/723.56	c nbDecision=477500 #constraints=21144
724.32/724.69	c nbDecision=478000 #constraints=21162
725.83/726.12	c nbDecision=478500 #constraints=21215
726.83/727.11	c nbDecision=479000 #constraints=21223
728.03/728.38	c nbDecision=479500 #constraints=21247
728.92/729.24	c nbDecision=480000 #constraints=21266
730.23/730.53	c nbDecision=480500 #constraints=21294
731.12/731.47	c nbDecision=481000 #constraints=21298
732.42/732.75	c nbDecision=481500 #constraints=21326
733.42/733.75	c nbDecision=482000 #constraints=21339
734.92/735.22	c nbDecision=482500 #constraints=21380
735.92/736.22	c nbDecision=483000 #constraints=21387
737.21/737.50	c nbDecision=483500 #constraints=21417
738.11/738.40	c nbDecision=484000 #constraints=21418
739.02/739.32	c nbDecision=484500 #constraints=21420
739.91/740.27	c nbDecision=485000 #constraints=21429
741.01/741.33	c nbDecision=485500 #constraints=21450
741.71/742.01	c nbDecision=486000 #constraints=21453
743.21/743.51	c nbDecision=486500 #constraints=21505
744.42/744.72	c nbDecision=487000 #constraints=21522
745.51/745.89	c nbDecision=487500 #constraints=21532
746.71/747.00	c nbDecision=488000 #constraints=21550
747.71/748.04	c nbDecision=488500 #constraints=21566
749.01/749.34	c nbDecision=489000 #constraints=21584
749.91/750.28	c nbDecision=489500 #constraints=21585
751.01/751.39	c nbDecision=490000 #constraints=21604
752.11/752.41	c nbDecision=490500 #constraints=21609
753.11/753.44	c nbDecision=491000 #constraints=21624
754.21/754.55	c nbDecision=491500 #constraints=21633
755.61/755.99	c nbDecision=492000 #constraints=21661
756.70/757.01	c nbDecision=492500 #constraints=21671
757.61/757.98	c nbDecision=493000 #constraints=21677
758.71/759.06	c nbDecision=493500 #constraints=21693
759.81/760.14	c nbDecision=494000 #constraints=21709
760.91/761.27	c nbDecision=494500 #constraints=21734
762.20/762.55	c nbDecision=495000 #constraints=21775
763.40/763.75	c nbDecision=495500 #constraints=21793
764.60/764.93	c nbDecision=496000 #constraints=21826
765.50/765.82	c nbDecision=496500 #constraints=21828
766.61/766.90	c nbDecision=497000 #constraints=21848
767.41/767.73	c nbDecision=497500 #constraints=21851
768.40/768.72	c nbDecision=498000 #constraints=21855
769.71/770.04	c nbDecision=498500 #constraints=21875
770.81/771.16	c nbDecision=499000 #constraints=21894
771.80/772.15	c nbDecision=499500 #constraints=21909
773.01/773.38	c nbDecision=500000 #constraints=21931
774.21/774.53	c nbDecision=500500 #constraints=21944
775.21/775.53	c nbDecision=501000 #constraints=21954
776.20/776.54	c nbDecision=501500 #constraints=21962
777.10/777.47	c nbDecision=502000 #constraints=21986
778.50/778.82	c nbDecision=502500 #constraints=22003
779.70/780.06	c nbDecision=503000 #constraints=22021
781.00/781.30	c nbDecision=503500 #constraints=22048
781.90/782.27	c nbDecision=504000 #constraints=22062
783.10/783.45	c nbDecision=504500 #constraints=22083
784.20/784.59	c nbDecision=505000 #constraints=22104
785.30/785.67	c nbDecision=505500 #constraints=22109
786.50/786.82	c nbDecision=506000 #constraints=22124
787.59/787.92	c nbDecision=506500 #constraints=22138
788.50/788.86	c nbDecision=507000 #constraints=22140
789.50/789.89	c nbDecision=507500 #constraints=22142
790.70/791.05	c nbDecision=508000 #constraints=22169
791.70/792.02	c nbDecision=508500 #constraints=22170
792.80/793.15	c nbDecision=509000 #constraints=22187
793.90/794.24	c nbDecision=509500 #constraints=22195
794.69/795.08	c nbDecision=510000 #constraints=22201
795.59/795.94	c nbDecision=510500 #constraints=22238
796.49/796.87	c nbDecision=511000 #constraints=22239
797.89/798.20	c nbDecision=511500 #constraints=22263
798.79/799.14	c nbDecision=512000 #constraints=22265
799.79/800.13	c nbDecision=512500 #constraints=22267
800.79/801.12	c nbDecision=513000 #constraints=22269
802.09/802.43	c nbDecision=513500 #constraints=22296
803.09/803.41	c nbDecision=514000 #constraints=22302
804.39/804.75	c nbDecision=514500 #constraints=22320
805.39/805.70	c nbDecision=515000 #constraints=22322
806.39/806.78	c nbDecision=515500 #constraints=22326
807.49/807.80	c nbDecision=516000 #constraints=22329
808.49/808.81	c nbDecision=516500 #constraints=22333
809.79/810.16	c nbDecision=517000 #constraints=22352
810.89/811.24	c nbDecision=517500 #constraints=22372
812.19/812.56	c nbDecision=518000 #constraints=22397
813.38/813.70	c nbDecision=518500 #constraints=22406
814.28/814.66	c nbDecision=519000 #constraints=22409
815.68/816.08	c nbDecision=519500 #constraints=22437
816.99/817.38	c nbDecision=520000 #constraints=22459
818.28/818.69	c nbDecision=520500 #constraints=22490
819.38/819.70	c nbDecision=521000 #constraints=22492
820.39/820.71	c nbDecision=521500 #constraints=22498
821.28/821.68	c nbDecision=522000 #constraints=22506
822.28/822.64	c nbDecision=522500 #constraints=22507
823.28/823.63	c nbDecision=523000 #constraints=22517
824.18/824.53	c nbDecision=523500 #constraints=22531
825.28/825.62	c nbDecision=524000 #constraints=22537
826.28/826.67	c nbDecision=524500 #constraints=22547
827.28/827.69	c nbDecision=525000 #constraints=22554
828.28/828.70	c nbDecision=525500 #constraints=22558
829.68/830.00	c nbDecision=526000 #constraints=22576
831.08/831.46	c nbDecision=526500 #constraints=22606
832.08/832.46	c nbDecision=527000 #constraints=22610
833.08/833.49	c nbDecision=527500 #constraints=22615
834.28/834.62	c nbDecision=528000 #constraints=22630
834.98/835.34	c nbDecision=528500 #constraints=22637
836.27/836.62	c nbDecision=529000 #constraints=22653
837.37/837.80	c nbDecision=529500 #constraints=22664
838.57/838.94	c nbDecision=530000 #constraints=22674
839.67/840.10	c nbDecision=530500 #constraints=22687
840.77/841.12	c nbDecision=531000 #constraints=22693
841.67/842.08	c nbDecision=531500 #constraints=22694
842.87/843.23	c nbDecision=532000 #constraints=22712
844.27/844.61	c nbDecision=532500 #constraints=22729
845.07/845.42	c nbDecision=533000 #constraints=22735
846.67/847.02	c nbDecision=533500 #constraints=22762
847.87/848.23	c nbDecision=534000 #constraints=22773
849.36/849.72	c nbDecision=534500 #constraints=22800
850.37/850.78	c nbDecision=535000 #constraints=22804
851.56/851.92	c nbDecision=535500 #constraints=22821
852.56/852.94	c nbDecision=536000 #constraints=22825
853.66/854.04	c nbDecision=536500 #constraints=22839
855.06/855.41	c nbDecision=537000 #constraints=22876
856.06/856.40	c nbDecision=537500 #constraints=22880
857.56/857.94	c nbDecision=538000 #constraints=22922
858.46/858.83	c nbDecision=538500 #constraints=22927
860.07/860.41	c nbDecision=539000 #constraints=22983
860.97/861.33	c nbDecision=539500 #constraints=23009
862.27/862.61	c nbDecision=540000 #constraints=23027
863.27/863.62	c nbDecision=540500 #constraints=23030
864.67/865.07	c nbDecision=541000 #constraints=23064
865.77/866.13	c nbDecision=541500 #constraints=23077
866.87/867.22	c nbDecision=542000 #constraints=23090
867.86/868.20	c nbDecision=542500 #constraints=23091
868.86/869.23	c nbDecision=543000 #constraints=23098
869.96/870.35	c nbDecision=543500 #constraints=23126
871.16/871.57	c nbDecision=544000 #constraints=23145
872.16/872.57	c nbDecision=544500 #constraints=23148
873.07/873.48	c nbDecision=545000 #constraints=23157
874.06/874.49	c nbDecision=545500 #constraints=23162
875.16/875.51	c nbDecision=546000 #constraints=23166
876.26/876.65	c nbDecision=546500 #constraints=23171
877.56/877.92	c nbDecision=547000 #constraints=23187
878.66/879.01	c nbDecision=547500 #constraints=23206
879.76/880.19	c nbDecision=548000 #constraints=23216
881.06/881.40	c nbDecision=548500 #constraints=23259
882.26/882.67	c nbDecision=549000 #constraints=23276
883.46/883.89	c nbDecision=549500 #constraints=23299
884.56/884.99	c nbDecision=550000 #constraints=23308
885.66/886.09	c nbDecision=550500 #constraints=23325
886.86/887.21	c nbDecision=551000 #constraints=23329
887.86/888.29	c nbDecision=551500 #constraints=23341
888.96/889.30	c nbDecision=552000 #constraints=23343
890.06/890.44	c nbDecision=552500 #constraints=23361
891.15/891.59	c nbDecision=553000 #constraints=23382
892.25/892.65	c nbDecision=553500 #constraints=23384
893.65/894.00	c nbDecision=554000 #constraints=23403
894.65/895.09	c nbDecision=554500 #constraints=23414
896.05/896.49	c nbDecision=555000 #constraints=23455
897.25/897.64	c nbDecision=555500 #constraints=23465
898.65/899.02	c nbDecision=556000 #constraints=23483
900.15/900.55	c nbDecision=556500 #constraints=23510
901.15/901.57	c nbDecision=557000 #constraints=23515
902.35/902.76	c nbDecision=557500 #constraints=23540
903.45/903.85	c nbDecision=558000 #constraints=23547
904.75/905.19	c nbDecision=558500 #constraints=23566
905.85/906.28	c nbDecision=559000 #constraints=23572
907.54/907.90	c nbDecision=559500 #constraints=23624
908.84/909.22	c nbDecision=560000 #constraints=23648
910.04/910.43	c nbDecision=560500 #constraints=23669
910.94/911.34	c nbDecision=561000 #constraints=23677
912.04/912.50	c nbDecision=561500 #constraints=23689
913.34/913.73	c nbDecision=562000 #constraints=23704
914.44/914.86	c nbDecision=562500 #constraints=23716
915.64/916.06	c nbDecision=563000 #constraints=23726
916.74/917.10	c nbDecision=563500 #constraints=23740
917.94/918.39	c nbDecision=564000 #constraints=23765
919.04/919.42	c nbDecision=564500 #constraints=23769
920.04/920.47	c nbDecision=565000 #constraints=23773
921.94/922.36	c nbDecision=565500 #constraints=23808
923.04/923.41	c nbDecision=566000 #constraints=23823
924.24/924.60	c nbDecision=566500 #constraints=23833
925.24/925.68	c nbDecision=567000 #constraints=23838
926.44/926.87	c nbDecision=567500 #constraints=23851
927.54/927.94	c nbDecision=568000 #constraints=23860
928.53/928.95	c nbDecision=568500 #constraints=23863
929.83/930.21	c nbDecision=569000 #constraints=23889
931.03/931.41	c nbDecision=569500 #constraints=23905
932.33/932.78	c nbDecision=570000 #constraints=23924
933.73/934.10	c nbDecision=570500 #constraints=23946
934.83/935.28	c nbDecision=571000 #constraints=23965
936.33/936.74	c nbDecision=571500 #constraints=23992
937.83/938.24	c nbDecision=572000 #constraints=24017
939.03/939.40	c nbDecision=572500 #constraints=24047
940.14/940.51	c nbDecision=573000 #constraints=24056
941.14/941.57	c nbDecision=573500 #constraints=24060
942.24/942.63	c nbDecision=574000 #constraints=24064
943.44/943.82	c nbDecision=574500 #constraints=24074
944.73/945.18	c nbDecision=575000 #constraints=24098
946.23/946.68	c nbDecision=575500 #constraints=24131
946.93/947.38	c nbDecision=576000 #constraints=24131
948.53/948.99	c nbDecision=576500 #constraints=24157
950.14/950.57	c nbDecision=577000 #constraints=24184
951.33/951.78	c nbDecision=577500 #constraints=24195
952.73/953.12	c nbDecision=578000 #constraints=24228
953.73/954.12	c nbDecision=578500 #constraints=24229
954.93/955.37	c nbDecision=579000 #constraints=24243
956.33/956.78	c nbDecision=579500 #constraints=24261
957.93/958.30	c nbDecision=580000 #constraints=24299
959.23/959.60	c nbDecision=580500 #constraints=24326
960.53/960.97	c nbDecision=581000 #constraints=24343
962.13/962.55	c nbDecision=581500 #constraints=24377
963.23/963.68	c nbDecision=582000 #constraints=24388
964.33/964.74	c nbDecision=582500 #constraints=24392
966.22/966.60	c nbDecision=583000 #constraints=24445
967.32/967.79	c nbDecision=583500 #constraints=24475
968.22/968.63	c nbDecision=584000 #constraints=24491
969.52/969.95	c nbDecision=584500 #constraints=24515
970.72/971.18	c nbDecision=585000 #constraints=24539
971.82/972.29	c nbDecision=585500 #constraints=24542
973.02/973.46	c nbDecision=586000 #constraints=24556
974.52/974.99	c nbDecision=586500 #constraints=24575
975.82/976.24	c nbDecision=587000 #constraints=24620
976.92/977.34	c nbDecision=587500 #constraints=24630
977.92/978.36	c nbDecision=588000 #constraints=24631
979.02/979.41	c nbDecision=588500 #constraints=24633
980.02/980.45	c nbDecision=589000 #constraints=24636
981.21/981.65	c nbDecision=589500 #constraints=24665
982.32/982.77	c nbDecision=590000 #constraints=24680
983.71/984.19	c nbDecision=590500 #constraints=24698
985.11/985.58	c nbDecision=591000 #constraints=24714
986.21/986.63	c nbDecision=591500 #constraints=24715
986.91/987.34	c nbDecision=592000 #constraints=24715
988.01/988.46	c nbDecision=592500 #constraints=24719
989.01/989.50	c nbDecision=593000 #constraints=24720
990.21/990.68	c nbDecision=593500 #constraints=24735
991.41/991.89	c nbDecision=594000 #constraints=24754
992.91/993.32	c nbDecision=594500 #constraints=24770
994.11/994.51	c nbDecision=595000 #constraints=24779
995.21/995.63	c nbDecision=595500 #constraints=24789
996.21/996.66	c nbDecision=596000 #constraints=24792
997.61/998.10	c nbDecision=596500 #constraints=24826
998.91/999.30	c nbDecision=597000 #constraints=24842
999.91/1000.32	c nbDecision=597500 #constraints=24843
1000.91/1001.37	c nbDecision=598000 #constraints=24846
1002.50/1002.92	c nbDecision=598500 #constraints=24883
1003.50/1003.97	c nbDecision=599000 #constraints=24885
1004.90/1005.30	c nbDecision=599500 #constraints=24911
1005.90/1006.36	c nbDecision=600000 #constraints=24913
1007.00/1007.47	c nbDecision=600500 #constraints=24916
1008.31/1008.76	c nbDecision=601000 #constraints=24939
1009.41/1009.82	c nbDecision=601500 #constraints=24944
1010.40/1010.90	c nbDecision=602000 #constraints=24948
1011.40/1011.82	c nbDecision=602500 #constraints=24949
1012.70/1013.14	c nbDecision=603000 #constraints=24960
1013.80/1014.20	c nbDecision=603500 #constraints=24965
1015.20/1015.65	c nbDecision=604000 #constraints=24992
1016.20/1016.66	c nbDecision=604500 #constraints=24995
1017.00/1017.45	c nbDecision=605000 #constraints=25002
1018.41/1018.90	c nbDecision=605500 #constraints=25020
1019.71/1020.14	c nbDecision=606000 #constraints=25035
1021.00/1021.45	c nbDecision=606500 #constraints=25070
1022.20/1022.64	c nbDecision=607000 #constraints=25086
1023.20/1023.69	c nbDecision=607500 #constraints=25088
1024.50/1024.92	c nbDecision=608000 #constraints=25104
1025.70/1026.15	c nbDecision=608500 #constraints=25121
1027.20/1027.61	c nbDecision=609000 #constraints=25141
1028.30/1028.73	c nbDecision=609500 #constraints=25144
1029.40/1029.87	c nbDecision=610000 #constraints=25148
1030.60/1031.04	c nbDecision=610500 #constraints=25160
1031.70/1032.12	c nbDecision=611000 #constraints=25165
1032.80/1033.26	c nbDecision=611500 #constraints=25175
1034.09/1034.50	c nbDecision=612000 #constraints=25181
1035.49/1035.91	c nbDecision=612500 #constraints=25205
1036.59/1037.06	c nbDecision=613000 #constraints=25240
1037.79/1038.20	c nbDecision=613500 #constraints=25246
1038.99/1039.40	c nbDecision=614000 #constraints=25252
1040.19/1040.69	c nbDecision=614500 #constraints=25285
1041.69/1042.11	c nbDecision=615000 #constraints=25302
1042.79/1043.23	c nbDecision=615500 #constraints=25314
1043.79/1044.29	c nbDecision=616000 #constraints=25316
1045.19/1045.65	c nbDecision=616500 #constraints=25339
1046.49/1046.90	c nbDecision=617000 #constraints=25356
1047.49/1047.94	c nbDecision=617500 #constraints=25367
1048.59/1049.03	c nbDecision=618000 #constraints=25369
1049.69/1050.13	c nbDecision=618500 #constraints=25384
1050.79/1051.28	c nbDecision=619000 #constraints=25390
1052.08/1052.52	c nbDecision=619500 #constraints=25413
1053.49/1053.96	c nbDecision=620000 #constraints=25434
1054.59/1055.05	c nbDecision=620500 #constraints=25436
1055.69/1056.18	c nbDecision=621000 #constraints=25447
1056.88/1057.35	c nbDecision=621500 #constraints=25450
1058.28/1058.78	c nbDecision=622000 #constraints=25455
1059.68/1060.10	c nbDecision=622500 #constraints=25465
1060.59/1061.06	c nbDecision=623000 #constraints=25486
1061.79/1062.29	c nbDecision=623500 #constraints=25504
1063.39/1063.86	c nbDecision=624000 #constraints=25523
1064.49/1064.94	c nbDecision=624500 #constraints=25525
1065.39/1065.83	c nbDecision=625000 #constraints=25539
1066.79/1067.25	c nbDecision=625500 #constraints=25542
1067.79/1068.20	c nbDecision=626000 #constraints=25549
1069.29/1069.80	c nbDecision=626500 #constraints=25558
1070.18/1070.61	c nbDecision=627000 #constraints=25566
1071.38/1071.89	c nbDecision=627500 #constraints=25590
1072.78/1073.23	c nbDecision=628000 #constraints=25607
1073.88/1074.33	c nbDecision=628500 #constraints=25610
1075.18/1075.65	c nbDecision=629000 #constraints=25621
1076.68/1077.10	c nbDecision=629500 #constraints=25638
1077.78/1078.27	c nbDecision=630000 #constraints=25643
1078.88/1079.33	c nbDecision=630500 #constraints=25644
1080.38/1080.81	c nbDecision=631000 #constraints=25665
1081.58/1082.03	c nbDecision=631500 #constraints=25684
1082.78/1083.24	c nbDecision=632000 #constraints=25693
1084.28/1084.78	c nbDecision=632500 #constraints=25714
1085.48/1085.96	c nbDecision=633000 #constraints=25718
1086.58/1087.07	c nbDecision=633500 #constraints=25721
1087.68/1088.16	c nbDecision=634000 #constraints=25724
1088.77/1089.25	c nbDecision=634500 #constraints=25726
1089.97/1090.47	c nbDecision=635000 #constraints=25735
1091.47/1091.94	c nbDecision=635500 #constraints=25750
1092.77/1093.23	c nbDecision=636000 #constraints=25760
1094.08/1094.50	c nbDecision=636500 #constraints=25768
1095.17/1095.61	c nbDecision=637000 #constraints=25772
1096.27/1096.71	c nbDecision=637500 #constraints=25781
1097.37/1097.82	c nbDecision=638000 #constraints=25783
1098.47/1098.95	c nbDecision=638500 #constraints=25792
1099.97/1100.47	c nbDecision=639000 #constraints=25811
1101.17/1101.62	c nbDecision=639500 #constraints=25816
1102.27/1102.79	c nbDecision=640000 #constraints=25825
1102.87/1103.35	c nbDecision=640500 #constraints=25826
1104.17/1104.61	c nbDecision=641000 #constraints=25846
1105.77/1106.24	c nbDecision=641500 #constraints=25869
1107.27/1107.78	c nbDecision=642000 #constraints=25898
1108.57/1109.00	c nbDecision=642500 #constraints=25910
1109.57/1110.08	c nbDecision=643000 #constraints=25911
1110.97/1111.42	c nbDecision=643500 #constraints=25929
1112.66/1113.13	c nbDecision=644000 #constraints=25955
1113.76/1114.29	c nbDecision=644500 #constraints=25965
1114.86/1115.40	c nbDecision=645000 #constraints=25969
1116.46/1116.91	c nbDecision=645500 #constraints=25989
1117.66/1118.13	c nbDecision=646000 #constraints=25998
1118.76/1119.30	c nbDecision=646500 #constraints=26008
1119.96/1120.43	c nbDecision=647000 #constraints=26014
1121.06/1121.56	c nbDecision=647500 #constraints=26018
1122.46/1122.96	c nbDecision=648000 #constraints=26045
1123.56/1124.03	c nbDecision=648500 #constraints=26046
1125.05/1125.56	c nbDecision=649000 #constraints=26064
1126.35/1126.84	c nbDecision=649500 #constraints=26073
1128.16/1128.64	c nbDecision=650000 #constraints=26105
1129.45/1129.94	c nbDecision=650500 #constraints=26115
1131.16/1131.65	c nbDecision=651000 #constraints=26155
1132.26/1132.76	c nbDecision=651500 #constraints=26159
1133.66/1134.15	c nbDecision=652000 #constraints=26176
1134.26/1134.73	c nbDecision=652500 #constraints=26177
1135.46/1135.90	c nbDecision=653000 #constraints=26184
1136.76/1137.24	c nbDecision=653500 #constraints=26197
1138.06/1138.56	c nbDecision=654000 #constraints=26217
1139.66/1140.17	c nbDecision=654500 #constraints=26235
1140.86/1141.33	c nbDecision=655000 #constraints=26245
1142.05/1142.55	c nbDecision=655500 #constraints=26259
1143.35/1143.81	c nbDecision=656000 #constraints=26267
1144.66/1145.11	c nbDecision=656500 #constraints=26270
1146.05/1146.59	c nbDecision=657000 #constraints=26285
1147.15/1147.64	c nbDecision=657500 #constraints=26296
1148.45/1148.95	c nbDecision=658000 #constraints=26315
1149.95/1150.42	c nbDecision=658500 #constraints=26335
1150.85/1151.35	c nbDecision=659000 #constraints=26336
1152.15/1152.60	c nbDecision=659500 #constraints=26349
1153.74/1154.22	c nbDecision=660000 #constraints=26372
1154.84/1155.33	c nbDecision=660500 #constraints=26376
1155.94/1156.44	c nbDecision=661000 #constraints=26400
1157.34/1157.90	c nbDecision=661500 #constraints=26419
1158.54/1159.04	c nbDecision=662000 #constraints=26434
1159.74/1160.26	c nbDecision=662500 #constraints=26447
1160.94/1161.42	c nbDecision=663000 #constraints=26461
1162.04/1162.51	c nbDecision=663500 #constraints=26462
1163.34/1163.83	c nbDecision=664000 #constraints=26502
1164.55/1165.02	c nbDecision=664500 #constraints=26518
1165.75/1166.21	c nbDecision=665000 #constraints=26521
1167.05/1167.50	c nbDecision=665500 #constraints=26540
1168.34/1168.88	c nbDecision=666000 #constraints=26580
1169.84/1170.35	c nbDecision=666500 #constraints=26602
1170.94/1171.42	c nbDecision=667000 #constraints=26605
1172.64/1173.11	c nbDecision=667500 #constraints=26630
1173.74/1174.25	c nbDecision=668000 #constraints=26632
1174.94/1175.43	c nbDecision=668500 #constraints=26636
1176.14/1176.66	c nbDecision=669000 #constraints=26641
1177.34/1177.82	c nbDecision=669500 #constraints=26646
1178.64/1179.14	c nbDecision=670000 #constraints=26665
1179.84/1180.32	c nbDecision=670500 #constraints=26668
1181.33/1181.85	c nbDecision=671000 #constraints=26688
1182.73/1183.24	c nbDecision=671500 #constraints=26700
1183.83/1184.39	c nbDecision=672000 #constraints=26702
1185.03/1185.58	c nbDecision=672500 #constraints=26711
1186.23/1186.74	c nbDecision=673000 #constraints=26714
1187.43/1187.90	c nbDecision=673500 #constraints=26719
1188.53/1189.05	c nbDecision=674000 #constraints=26721
1189.73/1190.20	c nbDecision=674500 #constraints=26730
1191.03/1191.59	c nbDecision=675000 #constraints=26745
1192.13/1192.68	c nbDecision=675500 #constraints=26759
1193.33/1193.89	c nbDecision=676000 #constraints=26776
1194.73/1195.24	c nbDecision=676500 #constraints=26794
1195.53/1196.00	c nbDecision=677000 #constraints=26796
1196.73/1197.29	c nbDecision=677500 #constraints=26804
1197.92/1198.46	c nbDecision=678000 #constraints=26808
1199.12/1199.67	c nbDecision=678500 #constraints=26816
1200.52/1201.08	c nbDecision=679000 #constraints=26829
1201.83/1202.32	c nbDecision=679500 #constraints=26834
1203.42/1203.94	c nbDecision=680000 #constraints=26866
1204.72/1205.23	c nbDecision=680500 #constraints=26881
1205.92/1206.46	c nbDecision=681000 #constraints=26905
1207.23/1207.71	c nbDecision=681500 #constraints=26920
1209.03/1209.53	c nbDecision=682000 #constraints=26958
1210.23/1210.77	c nbDecision=682500 #constraints=26963
1211.52/1212.06	c nbDecision=683000 #constraints=26983
1212.72/1213.25	c nbDecision=683500 #constraints=26985
1214.32/1214.82	c nbDecision=684000 #constraints=27000
1215.42/1215.97	c nbDecision=684500 #constraints=27010
1216.62/1217.18	c nbDecision=685000 #constraints=27022
1217.52/1218.00	c nbDecision=685500 #constraints=27032
1218.82/1219.38	c nbDecision=686000 #constraints=27056
1220.12/1220.62	c nbDecision=686500 #constraints=27067
1221.42/1221.98	c nbDecision=687000 #constraints=27077
1222.62/1223.19	c nbDecision=687500 #constraints=27087
1223.92/1224.41	c nbDecision=688000 #constraints=27092
1225.12/1225.64	c nbDecision=688500 #constraints=27103
1226.52/1227.03	c nbDecision=689000 #constraints=27113
1228.32/1228.84	c nbDecision=689500 #constraints=27144
1229.92/1230.43	c nbDecision=690000 #constraints=27163
1231.62/1232.14	c nbDecision=690500 #constraints=27209
1232.81/1233.33	c nbDecision=691000 #constraints=27215
1233.91/1234.45	c nbDecision=691500 #constraints=27216
1235.41/1235.96	c nbDecision=692000 #constraints=27232
1236.71/1237.25	c nbDecision=692500 #constraints=27248
1238.61/1239.18	c nbDecision=693000 #constraints=27288
1239.91/1240.43	c nbDecision=693500 #constraints=27301
1240.81/1241.31	c nbDecision=694000 #constraints=27313
1242.31/1242.83	c nbDecision=694500 #constraints=27330
1244.01/1244.54	c nbDecision=695000 #constraints=27347
1245.41/1245.91	c nbDecision=695500 #constraints=27356
1246.21/1246.73	c nbDecision=696000 #constraints=27361
1247.91/1248.42	c nbDecision=696500 #constraints=27394
1249.51/1250.01	c nbDecision=697000 #constraints=27426
1250.81/1251.37	c nbDecision=697500 #constraints=27435
1252.01/1252.58	c nbDecision=698000 #constraints=27439
1253.41/1253.99	c nbDecision=698500 #constraints=27450
1255.21/1255.75	c nbDecision=699000 #constraints=27479
1256.41/1256.91	c nbDecision=699500 #constraints=27484
1257.71/1258.22	c nbDecision=700000 #constraints=27499
1258.91/1259.41	c nbDecision=700500 #constraints=27502
1260.70/1261.21	c nbDecision=701000 #constraints=27531
1262.00/1262.54	c nbDecision=701500 #constraints=27547
1263.10/1263.66	c nbDecision=702000 #constraints=27548
1264.51/1265.03	c nbDecision=702500 #constraints=27563
1265.80/1266.34	c nbDecision=703000 #constraints=27569
1267.10/1267.67	c nbDecision=703500 #constraints=27595
1268.40/1268.96	c nbDecision=704000 #constraints=27611
1269.70/1270.26	c nbDecision=704500 #constraints=27637
1270.70/1271.22	c nbDecision=705000 #constraints=27652
1271.90/1272.47	c nbDecision=705500 #constraints=27662
1273.10/1273.64	c nbDecision=706000 #constraints=27666
1274.80/1275.37	c nbDecision=706500 #constraints=27703
1276.30/1276.80	c nbDecision=707000 #constraints=27719
1277.60/1278.20	c nbDecision=707500 #constraints=27735
1278.90/1279.50	c nbDecision=708000 #constraints=27745
1280.09/1280.67	c nbDecision=708500 #constraints=27747
1281.59/1282.14	c nbDecision=709000 #constraints=27764
1282.99/1283.50	c nbDecision=709500 #constraints=27782
1284.40/1284.99	c nbDecision=710000 #constraints=27799
1286.09/1286.63	c nbDecision=710500 #constraints=27818
1287.79/1288.31	c nbDecision=711000 #constraints=27847
1288.99/1289.57	c nbDecision=711500 #constraints=27863
1290.39/1290.92	c nbDecision=712000 #constraints=27876
1291.99/1292.58	c nbDecision=712500 #constraints=27890
1293.29/1293.82	c nbDecision=713000 #constraints=27893
1294.49/1295.00	c nbDecision=713500 #constraints=27895
1295.99/1296.55	c nbDecision=714000 #constraints=27914
1297.19/1297.76	c nbDecision=714500 #constraints=27918
1298.59/1299.13	c nbDecision=715000 #constraints=27928
1300.49/1301.02	c nbDecision=715500 #constraints=27958
1301.79/1302.32	c nbDecision=716000 #constraints=27973
1302.99/1303.54	c nbDecision=716500 #constraints=27996
1304.48/1305.01	c nbDecision=717000 #constraints=28013
1305.68/1306.23	c nbDecision=717500 #constraints=28029
1307.28/1307.88	c nbDecision=718000 #constraints=28048
1308.58/1309.13	c nbDecision=718500 #constraints=28053
1309.78/1310.34	c nbDecision=719000 #constraints=28058
1310.98/1311.57	c nbDecision=719500 #constraints=28064
1312.18/1312.75	c nbDecision=720000 #constraints=28068
1313.98/1314.54	c nbDecision=720500 #constraints=28096
1315.28/1315.82	c nbDecision=721000 #constraints=28106
1316.48/1317.09	c nbDecision=721500 #constraints=28116
1317.98/1318.53	c nbDecision=722000 #constraints=28130
1319.28/1319.86	c nbDecision=722500 #constraints=28142
1320.97/1321.50	c nbDecision=723000 #constraints=28160
1322.07/1322.69	c nbDecision=723500 #constraints=28164
1323.67/1324.21	c nbDecision=724000 #constraints=28184
1324.98/1325.54	c nbDecision=724500 #constraints=28196
1326.18/1326.78	c nbDecision=725000 #constraints=28223
1327.57/1328.10	c nbDecision=725500 #constraints=28235
1328.97/1329.53	c nbDecision=726000 #constraints=28255
1330.47/1331.02	c nbDecision=726500 #constraints=28271
1331.67/1332.21	c nbDecision=727000 #constraints=28275
1332.77/1333.37	c nbDecision=727500 #constraints=28292
1334.47/1335.08	c nbDecision=728000 #constraints=28316
1335.87/1336.44	c nbDecision=728500 #constraints=28324
1337.27/1337.86	c nbDecision=729000 #constraints=28335
1338.57/1339.13	c nbDecision=729500 #constraints=28340
1339.87/1340.47	c nbDecision=730000 #constraints=28360
1341.27/1341.86	c nbDecision=730500 #constraints=28379
1342.87/1343.44	c nbDecision=731000 #constraints=28397
1344.47/1345.06	c nbDecision=731500 #constraints=28422
1345.77/1346.39	c nbDecision=732000 #constraints=28433
1347.17/1347.73	c nbDecision=732500 #constraints=28441
1348.37/1348.92	c nbDecision=733000 #constraints=28445
1349.97/1350.56	c nbDecision=733500 #constraints=28468
1351.27/1351.80	c nbDecision=734000 #constraints=28478
1352.87/1353.43	c nbDecision=734500 #constraints=28505
1354.07/1354.69	c nbDecision=735000 #constraints=28512
1355.47/1356.07	c nbDecision=735500 #constraints=28542
1357.36/1357.92	c nbDecision=736000 #constraints=28585
1359.07/1359.67	c nbDecision=736500 #constraints=28621
1360.66/1361.26	c nbDecision=737000 #constraints=28646
1362.26/1362.88	c nbDecision=737500 #constraints=28664
1363.56/1364.17	c nbDecision=738000 #constraints=28675
1364.96/1365.59	c nbDecision=738500 #constraints=28685
1366.16/1366.77	c nbDecision=739000 #constraints=28688
1367.46/1368.00	c nbDecision=739500 #constraints=28690
1369.26/1369.80	c nbDecision=740000 #constraints=28731
1370.26/1370.84	c nbDecision=740500 #constraints=28736
1371.46/1372.01	c nbDecision=741000 #constraints=28748
1372.76/1373.35	c nbDecision=741500 #constraints=28758
1373.96/1374.56	c nbDecision=742000 #constraints=28760
1375.26/1375.80	c nbDecision=742500 #constraints=28769
1376.56/1377.14	c nbDecision=743000 #constraints=28773
1378.06/1378.69	c nbDecision=743500 #constraints=28790
1379.46/1380.08	c nbDecision=744000 #constraints=28800
1380.75/1381.35	c nbDecision=744500 #constraints=28808
1382.16/1382.74	c nbDecision=745000 #constraints=28825
1383.36/1383.95	c nbDecision=745500 #constraints=28831
1384.75/1385.35	c nbDecision=746000 #constraints=28868
1386.15/1386.78	c nbDecision=746500 #constraints=28884
1387.65/1388.23	c nbDecision=747000 #constraints=28899
1389.25/1389.87	c nbDecision=747500 #constraints=28921
1390.55/1391.10	c nbDecision=748000 #constraints=28923
1391.95/1392.51	c nbDecision=748500 #constraints=28929
1393.15/1393.72	c nbDecision=749000 #constraints=28946
1394.15/1394.77	c nbDecision=749500 #constraints=28969
1395.94/1396.50	c nbDecision=750000 #constraints=28991
1397.24/1397.87	c nbDecision=750500 #constraints=29004
1398.54/1399.13	c nbDecision=751000 #constraints=29007
1400.04/1400.68	c nbDecision=751500 #constraints=29023
1401.44/1402.08	c nbDecision=752000 #constraints=29038
1402.64/1403.20	c nbDecision=752500 #constraints=29042
1404.15/1404.79	c nbDecision=753000 #constraints=29060
1405.44/1406.05	c nbDecision=753500 #constraints=29066
1406.74/1407.32	c nbDecision=754000 #constraints=29082
1408.34/1408.99	c nbDecision=754500 #constraints=29093
1409.34/1409.97	c nbDecision=755000 #constraints=29100
1410.84/1411.47	c nbDecision=755500 #constraints=29102
1412.14/1412.73	c nbDecision=756000 #constraints=29109
1413.44/1414.05	c nbDecision=756500 #constraints=29127
1414.64/1415.26	c nbDecision=757000 #constraints=29129
1415.74/1416.39	c nbDecision=757500 #constraints=29130
1417.04/1417.67	c nbDecision=758000 #constraints=29145
1418.64/1419.20	c nbDecision=758500 #constraints=29162
1419.74/1420.38	c nbDecision=759000 #constraints=29164
1420.54/1421.14	c nbDecision=759500 #constraints=29164
1422.24/1422.89	c nbDecision=760000 #constraints=29176
1423.73/1424.33	c nbDecision=760500 #constraints=29192
1424.63/1425.29	c nbDecision=761000 #constraints=29203
1426.73/1427.35	c nbDecision=761500 #constraints=29223
1428.23/1428.81	c nbDecision=762000 #constraints=29245
1429.44/1430.05	c nbDecision=762500 #constraints=29249
1430.73/1431.32	c nbDecision=763000 #constraints=29252
1432.13/1432.71	c nbDecision=763500 #constraints=29268
1433.43/1434.09	c nbDecision=764000 #constraints=29287
1434.73/1435.30	c nbDecision=764500 #constraints=29289
1436.23/1436.90	c nbDecision=765000 #constraints=29305
1437.53/1438.19	c nbDecision=765500 #constraints=29310
1438.93/1439.54	c nbDecision=766000 #constraints=29327
1440.43/1441.01	c nbDecision=766500 #constraints=29353
1441.73/1442.32	c nbDecision=767000 #constraints=29355
1442.93/1443.54	c nbDecision=767500 #constraints=29359
1444.23/1444.88	c nbDecision=768000 #constraints=29378
1445.83/1446.48	c nbDecision=768500 #constraints=29396
1447.03/1447.69	c nbDecision=769000 #constraints=29400
1448.52/1449.16	c nbDecision=769500 #constraints=29410
1450.02/1450.67	c nbDecision=770000 #constraints=29426
1451.82/1452.43	c nbDecision=770500 #constraints=29449
1453.22/1453.82	c nbDecision=771000 #constraints=29459
1454.73/1455.32	c nbDecision=771500 #constraints=29480
1455.93/1456.55	c nbDecision=772000 #constraints=29484
1457.43/1458.04	c nbDecision=772500 #constraints=29486
1458.43/1459.04	c nbDecision=773000 #constraints=29488
1460.33/1460.97	c nbDecision=773500 #constraints=29520
1461.63/1462.20	c nbDecision=774000 #constraints=29522
1462.63/1463.22	c nbDecision=774500 #constraints=29550
1464.33/1464.90	c nbDecision=775000 #constraints=29573
1465.63/1466.28	c nbDecision=775500 #constraints=29600
1467.02/1467.67	c nbDecision=776000 #constraints=29606
1468.32/1468.98	c nbDecision=776500 #constraints=29617
1469.52/1470.18	c nbDecision=777000 #constraints=29618
1471.23/1471.80	c nbDecision=777500 #constraints=29636
1472.62/1473.24	c nbDecision=778000 #constraints=29652
1474.12/1474.75	c nbDecision=778500 #constraints=29663
1475.82/1476.43	c nbDecision=779000 #constraints=29686
1477.12/1477.70	c nbDecision=779500 #constraints=29695
1478.62/1479.28	c nbDecision=780000 #constraints=29709
1480.42/1481.01	c nbDecision=780500 #constraints=29751
1481.82/1482.42	c nbDecision=781000 #constraints=29770
1483.52/1484.11	c nbDecision=781500 #constraints=29798
1484.82/1485.41	c nbDecision=782000 #constraints=29808
1486.32/1486.94	c nbDecision=782500 #constraints=29826
1488.02/1488.60	c nbDecision=783000 #constraints=29843
1489.21/1489.86	c nbDecision=783500 #constraints=29853
1490.61/1491.20	c nbDecision=784000 #constraints=29863
1492.01/1492.65	c nbDecision=784500 #constraints=29879
1493.61/1494.28	c nbDecision=785000 #constraints=29895
1494.91/1495.50	c nbDecision=785500 #constraints=29897
1496.61/1497.21	c nbDecision=786000 #constraints=29915
1497.81/1498.49	c nbDecision=786500 #constraints=29922
1498.91/1499.50	c nbDecision=787000 #constraints=29936
1500.41/1501.01	c nbDecision=787500 #constraints=29946
1501.71/1502.32	c nbDecision=788000 #constraints=29951
1503.01/1503.67	c nbDecision=788500 #constraints=29957
1504.71/1505.36	c nbDecision=789000 #constraints=29976
1506.51/1507.15	c nbDecision=789500 #constraints=29996
1508.21/1508.81	c nbDecision=790000 #constraints=30012
1509.81/1510.48	c nbDecision=790500 #constraints=30028
1511.11/1511.79	c nbDecision=791000 #constraints=30033
1512.50/1513.18	c nbDecision=791500 #constraints=30042
1514.30/1514.94	c nbDecision=792000 #constraints=30063
1515.60/1516.26	c nbDecision=792500 #constraints=30072
1516.90/1517.53	c nbDecision=793000 #constraints=30076
1518.70/1519.36	c nbDecision=793500 #constraints=30108
1520.30/1520.95	c nbDecision=794000 #constraints=30132
1521.50/1522.16	c nbDecision=794500 #constraints=30134
1522.40/1523.07	c nbDecision=795000 #constraints=30135
1523.70/1524.39	c nbDecision=795500 #constraints=30144
1525.30/1525.92	c nbDecision=796000 #constraints=30161
1526.80/1527.40	c nbDecision=796500 #constraints=30175
1528.10/1528.78	c nbDecision=797000 #constraints=30187
1529.40/1530.08	c nbDecision=797500 #constraints=30191
1530.60/1531.21	c nbDecision=798000 #constraints=30215
1532.10/1532.78	c nbDecision=798500 #constraints=30235
1533.70/1534.32	c nbDecision=799000 #constraints=30249
1535.50/1536.10	c nbDecision=799500 #constraints=30269
1537.20/1537.81	c nbDecision=800000 #constraints=30291
1538.90/1539.55	c nbDecision=800500 #constraints=30340
1540.69/1541.39	c nbDecision=801000 #constraints=30377
1542.09/1542.79	c nbDecision=801500 #constraints=30393
1543.80/1544.42	c nbDecision=802000 #constraints=30412
1545.09/1545.79	c nbDecision=802500 #constraints=30417
1546.69/1547.36	c nbDecision=803000 #constraints=30436
1548.09/1548.71	c nbDecision=803500 #constraints=30442
1549.49/1550.12	c nbDecision=804000 #constraints=30452
1550.79/1551.40	c nbDecision=804500 #constraints=30458
1552.29/1552.93	c nbDecision=805000 #constraints=30479
1553.59/1554.26	c nbDecision=805500 #constraints=30495
1554.49/1555.16	c nbDecision=806000 #constraints=30502
1555.69/1556.38	c nbDecision=806500 #constraints=30505
1556.99/1557.61	c nbDecision=807000 #constraints=30507
1558.59/1559.28	c nbDecision=807500 #constraints=30543
1559.98/1560.60	c nbDecision=808000 #constraints=30549
1561.19/1561.82	c nbDecision=808500 #constraints=30550
1562.78/1563.41	c nbDecision=809000 #constraints=30565
1564.48/1565.17	c nbDecision=809500 #constraints=30584
1565.98/1566.68	c nbDecision=810000 #constraints=30595
1567.58/1568.28	c nbDecision=810500 #constraints=30615
1569.19/1569.89	c nbDecision=811000 #constraints=30660
1570.78/1571.47	c nbDecision=811500 #constraints=30681
1571.98/1572.69	c nbDecision=812000 #constraints=30689
1573.48/1574.19	c nbDecision=812500 #constraints=30695
1575.18/1575.86	c nbDecision=813000 #constraints=30715
1576.58/1577.25	c nbDecision=813500 #constraints=30730
1578.08/1578.75	c nbDecision=814000 #constraints=30742
1579.08/1579.79	c nbDecision=814500 #constraints=30748
1580.98/1581.60	c nbDecision=815000 #constraints=30772
1582.48/1583.16	c nbDecision=815500 #constraints=30793
1583.98/1584.67	c nbDecision=816000 #constraints=30804
1584.98/1585.61	c nbDecision=816500 #constraints=30814
1586.78/1587.48	c nbDecision=817000 #constraints=30848
1588.27/1588.96	c nbDecision=817500 #constraints=30867
1590.37/1591.03	c nbDecision=818000 #constraints=30910
1591.97/1592.66	c nbDecision=818500 #constraints=30933
1593.47/1594.19	c nbDecision=819000 #constraints=30951
1593.77/1594.47	c restart after 819201 decisions
1595.37/1596.01	c nbDecision=819500 #constraints=30952
1596.57/1597.27	c nbDecision=820000 #constraints=30954
1598.07/1598.74	c nbDecision=820500 #constraints=30971
1599.77/1600.43	c nbDecision=821000 #constraints=30987
1600.97/1601.65	c nbDecision=821500 #constraints=30998
1602.17/1602.88	c nbDecision=822000 #constraints=31000
1603.47/1604.14	c nbDecision=822500 #constraints=31002
1604.77/1605.49	c nbDecision=823000 #constraints=31018
1606.36/1607.00	c nbDecision=823500 #constraints=31043
1607.26/1607.99	c nbDecision=824000 #constraints=31049
1608.56/1609.26	c nbDecision=824500 #constraints=31050
1609.77/1610.48	c nbDecision=825000 #constraints=31052
1611.26/1611.90	c nbDecision=825500 #constraints=31065
1612.56/1613.20	c nbDecision=826000 #constraints=31072
1613.86/1614.50	c nbDecision=826500 #constraints=31074
1615.16/1615.84	c nbDecision=827000 #constraints=31084
1616.46/1617.11	c nbDecision=827500 #constraints=31086
1617.97/1618.68	c nbDecision=828000 #constraints=31104
1619.37/1620.04	c nbDecision=828500 #constraints=31117
1620.67/1621.30	c nbDecision=829000 #constraints=31119
1622.07/1622.73	c nbDecision=829500 #constraints=31124
1623.46/1624.12	c nbDecision=830000 #constraints=31133
1624.66/1625.35	c nbDecision=830500 #constraints=31136
1625.96/1626.60	c nbDecision=831000 #constraints=31137
1627.47/1628.14	c nbDecision=831500 #constraints=31154
1628.76/1629.46	c nbDecision=832000 #constraints=31164
1630.06/1630.73	c nbDecision=832500 #constraints=31166
1631.36/1632.02	c nbDecision=833000 #constraints=31170
1632.86/1633.53	c nbDecision=833500 #constraints=31187
1634.26/1634.96	c nbDecision=834000 #constraints=31202
1636.06/1636.72	c nbDecision=834500 #constraints=31220
1637.46/1638.13	c nbDecision=835000 #constraints=31230
1638.95/1639.66	c nbDecision=835500 #constraints=31241
1640.25/1640.93	c nbDecision=836000 #constraints=31245
1641.85/1642.54	c nbDecision=836500 #constraints=31261
1643.05/1643.70	c nbDecision=837000 #constraints=31273
1644.96/1645.67	c nbDecision=837500 #constraints=31297
1646.25/1646.93	c nbDecision=838000 #constraints=31298
1647.65/1648.39	c nbDecision=838500 #constraints=31306
1649.36/1650.06	c nbDecision=839000 #constraints=31326
1650.65/1651.33	c nbDecision=839500 #constraints=31328
1652.05/1652.78	c nbDecision=840000 #constraints=31338
1653.25/1653.93	c nbDecision=840500 #constraints=31340
1654.05/1654.80	c nbDecision=841000 #constraints=31340
1655.75/1656.41	c nbDecision=841500 #constraints=31358
1657.05/1657.76	c nbDecision=842000 #constraints=31361
1658.55/1659.27	c nbDecision=842500 #constraints=31371
1659.85/1660.53	c nbDecision=843000 #constraints=31373
1661.25/1661.97	c nbDecision=843500 #constraints=31383
1663.05/1663.75	c nbDecision=844000 #constraints=31399
1664.54/1665.28	c nbDecision=844500 #constraints=31408
1666.14/1666.82	c nbDecision=845000 #constraints=31417
1667.34/1668.06	c nbDecision=845500 #constraints=31420
1668.74/1669.45	c nbDecision=846000 #constraints=31435
1670.54/1671.20	c nbDecision=846500 #constraints=31468
1671.35/1672.03	c nbDecision=847000 #constraints=31468
1673.34/1674.06	c nbDecision=847500 #constraints=31501
1674.74/1675.40	c nbDecision=848000 #constraints=31505
1676.04/1676.72	c nbDecision=848500 #constraints=31508
1677.54/1678.25	c nbDecision=849000 #constraints=31520
1679.14/1679.88	c nbDecision=849500 #constraints=31531
1680.64/1681.38	c nbDecision=850000 #constraints=31540
1682.14/1682.86	c nbDecision=850500 #constraints=31557
1683.54/1684.29	c nbDecision=851000 #constraints=31572
1684.94/1685.68	c nbDecision=851500 #constraints=31590
1686.53/1687.24	c nbDecision=852000 #constraints=31610
1687.84/1688.58	c nbDecision=852500 #constraints=31614
1689.13/1689.89	c nbDecision=853000 #constraints=31618
1691.24/1691.98	c nbDecision=853500 #constraints=31644
1692.53/1693.29	c nbDecision=854000 #constraints=31646
1694.13/1694.83	c nbDecision=854500 #constraints=31657
1695.83/1696.56	c nbDecision=855000 #constraints=31673
1697.83/1698.55	c nbDecision=855500 #constraints=31705
1699.13/1699.88	c nbDecision=856000 #constraints=31710
1701.33/1702.10	c nbDecision=856500 #constraints=31750
1703.03/1703.71	c nbDecision=857000 #constraints=31762
1704.22/1704.99	c nbDecision=857500 #constraints=31765
1705.32/1706.02	c nbDecision=858000 #constraints=31773
1706.53/1707.27	c nbDecision=858500 #constraints=31774
1707.32/1708.09	c nbDecision=859000 #constraints=31774
1708.92/1709.62	c nbDecision=859500 #constraints=31786
1710.42/1711.14	c nbDecision=860000 #constraints=31802
1711.92/1712.60	c nbDecision=860500 #constraints=31818
1713.42/1714.16	c nbDecision=861000 #constraints=31858
1715.12/1715.83	c nbDecision=861500 #constraints=31878
1716.72/1717.47	c nbDecision=862000 #constraints=31894
1718.02/1718.78	c nbDecision=862500 #constraints=31898
1719.52/1720.28	c nbDecision=863000 #constraints=31912
1721.12/1721.85	c nbDecision=863500 #constraints=31943
1722.42/1723.12	c nbDecision=864000 #constraints=31945
1723.72/1724.45	c nbDecision=864500 #constraints=31947
1725.02/1725.77	c nbDecision=865000 #constraints=31951
1726.52/1727.29	c nbDecision=865500 #constraints=31962
1727.91/1728.63	c nbDecision=866000 #constraints=31964
1729.21/1729.90	c nbDecision=866500 #constraints=31968
1730.61/1731.39	c nbDecision=867000 #constraints=31980
1732.01/1732.78	c nbDecision=867500 #constraints=31985
1733.91/1734.70	c nbDecision=868000 #constraints=32007
1735.81/1736.50	c nbDecision=868500 #constraints=32044
1737.32/1738.03	c nbDecision=869000 #constraints=32061
1739.01/1739.78	c nbDecision=869500 #constraints=32077
1740.41/1741.13	c nbDecision=870000 #constraints=32085
1741.91/1742.64	c nbDecision=870500 #constraints=32099
1743.31/1744.08	c nbDecision=871000 #constraints=32110
1744.31/1745.04	c nbDecision=871500 #constraints=32111
1746.01/1746.72	c nbDecision=872000 #constraints=32125
1747.01/1747.79	c nbDecision=872500 #constraints=32132
1748.71/1749.48	c nbDecision=873000 #constraints=32145
1750.11/1750.83	c nbDecision=873500 #constraints=32153
1751.41/1752.15	c nbDecision=874000 #constraints=32157
1753.81/1754.55	c nbDecision=874500 #constraints=32190
1755.21/1755.94	c nbDecision=875000 #constraints=32195
1756.70/1757.44	c nbDecision=875500 #constraints=32207
1758.00/1758.79	c nbDecision=876000 #constraints=32214
1759.60/1760.35	c nbDecision=876500 #constraints=32224
1760.90/1761.61	c nbDecision=877000 #constraints=32225
1762.50/1763.23	c nbDecision=877500 #constraints=32246
1764.00/1764.73	c nbDecision=878000 #constraints=32264
1765.50/1766.26	c nbDecision=878500 #constraints=32282
1767.20/1767.90	c nbDecision=879000 #constraints=32301
1768.81/1769.53	c nbDecision=879500 #constraints=32320
1770.11/1770.88	c nbDecision=880000 #constraints=32326
1771.81/1772.58	c nbDecision=880500 #constraints=32366
1773.41/1774.11	c nbDecision=881000 #constraints=32377
1775.20/1775.91	c nbDecision=881500 #constraints=32400
1776.70/1777.43	c nbDecision=882000 #constraints=32417
1778.00/1778.74	c nbDecision=882500 #constraints=32418
1779.30/1780.04	c nbDecision=883000 #constraints=32420
1781.00/1781.76	c nbDecision=883500 #constraints=32438
1783.20/1783.90	c nbDecision=884000 #constraints=32481
1784.90/1785.68	c nbDecision=884500 #constraints=32510
1786.50/1787.29	c nbDecision=885000 #constraints=32521
1788.30/1789.05	c nbDecision=885500 #constraints=32547
1789.80/1790.57	c nbDecision=886000 #constraints=32559
1791.70/1792.41	c nbDecision=886500 #constraints=32578
1793.19/1793.94	c nbDecision=887000 #constraints=32594
1794.19/1794.94	c nbDecision=887500 #constraints=32598
1795.60/1796.38	c nbDecision=888000 #constraints=32603
1797.09/1797.89	c nbDecision=888500 #constraints=32615
1798.59/1799.35	c nbDecision=889000 #constraints=32630
1799.59/1800.33	c nbDecision=889500 #constraints=32641
1800.00/1800.71	Received signal 15
1800.10/1800.86	
1800.10/1800.86	s UNKNOWN
1800.10/1800.86	
1800.10/1800.86	c user time= 1799.86 s
1800.10/1800.86	c system time= 0.306953 s
1800.10/1800.86	c wall clock time=1800.87

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/node58/watcher-356927-1176848672 -o ROOT/results/node58/solver-356927-1176848672 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356927-1176848672/instance-356927-1176848672.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.91 0.95 0.97 2/64 10937
/proc/meminfo: memFree=1474168/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=1620 CPUtime=0
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132776874 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 405 175 126 317 0 84 0

[startup+0.103934 s]
/proc/loadavg: 0.91 0.95 0.97 2/64 10937
/proc/meminfo: memFree=1474168/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=3572 CPUtime=0.09
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 826 0 0 0 9 0 0 0 18 0 1 0 132776874 3657728 581 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 893 581 131 317 0 572 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3572

[startup+0.20195 s]
/proc/loadavg: 0.91 0.95 0.97 2/64 10937
/proc/meminfo: memFree=1474168/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=5976 CPUtime=0.19
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 1427 0 0 0 19 0 0 0 19 0 1 0 132776874 6119424 1182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 1494 1182 131 317 0 1173 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5976

[startup+0.301966 s]
/proc/loadavg: 0.91 0.95 0.97 2/64 10937
/proc/meminfo: memFree=1474168/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=8644 CPUtime=0.29
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 2056 0 0 0 29 0 0 0 19 0 1 0 132776874 8851456 1811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134531247 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 2161 1811 131 317 0 1840 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8644

[startup+0.701033 s]
/proc/loadavg: 0.91 0.95 0.97 2/64 10937
/proc/meminfo: memFree=1474168/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=15496 CPUtime=0.69
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 3761 0 0 0 68 1 0 0 22 0 1 0 132776874 15867904 3516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602749 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 3874 3516 137 317 0 3553 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15496

[startup+1.50117 s]
/proc/loadavg: 0.91 0.95 0.97 2/65 10938
/proc/meminfo: memFree=1459248/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=17012 CPUtime=1.49
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 4147 0 0 0 148 1 0 0 25 0 1 0 132776874 17420288 3902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 4253 3902 139 317 0 3932 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17012

[startup+3.10143 s]
/proc/loadavg: 0.91 0.95 0.97 2/65 10938
/proc/meminfo: memFree=1458800/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=17540 CPUtime=3.08
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 4271 0 0 0 307 1 0 0 25 0 1 0 132776874 17960960 4026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 4385 4026 139 317 0 4064 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17540

[startup+6.30197 s]
/proc/loadavg: 0.92 0.95 0.97 2/65 10938
/proc/meminfo: memFree=1457776/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=18200 CPUtime=6.29
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 4446 0 0 0 627 2 0 0 25 0 1 0 132776874 18636800 4201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 4550 4201 139 317 0 4229 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18200

[startup+12.702 s]
/proc/loadavg: 0.93 0.95 0.97 2/65 10938
/proc/meminfo: memFree=1455984/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=20064 CPUtime=12.68
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 4924 0 0 0 1266 2 0 0 25 0 1 0 132776874 20545536 4679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 5016 4679 170 317 0 4695 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20064

[startup+25.5012 s]
/proc/loadavg: 0.94 0.96 0.97 2/65 10938
/proc/meminfo: memFree=1453872/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=22028 CPUtime=25.48
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 5448 0 0 0 2545 3 0 0 25 0 1 0 132776874 22556672 5203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 5507 5203 170 317 0 5186 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22028

[startup+51.1015 s]
/proc/loadavg: 0.96 0.96 0.97 2/65 10938
/proc/meminfo: memFree=1449392/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=26728 CPUtime=51.07
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 6592 0 0 0 5103 4 0 0 25 0 1 0 132776874 27369472 6347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 6682 6347 170 317 0 6361 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 26728

[startup+102.301 s]
/proc/loadavg: 0.98 0.96 0.97 2/65 10938
/proc/meminfo: memFree=1436720/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=39640 CPUtime=102.26
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 9790 0 0 0 10219 7 0 0 25 0 1 0 132776874 40591360 9487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604340 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 9910 9487 170 317 0 9589 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 39640

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 10938
/proc/meminfo: memFree=1429744/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=47332 CPUtime=162.23
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 11548 0 0 0 16214 9 0 0 25 0 1 0 132776874 48467968 11245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 11833 11245 170 317 0 11512 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 47332

[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 10938
/proc/meminfo: memFree=1425136/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=51900 CPUtime=222.22
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 12656 0 0 0 22212 10 0 0 25 0 1 0 132776874 53145600 12353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 12975 12353 170 317 0 12654 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 51900

[startup+282.301 s]
/proc/loadavg: 1.03 0.99 0.98 2/65 10938
/proc/meminfo: memFree=1420976/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=56024 CPUtime=282.19
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 13703 0 0 0 28208 11 0 0 25 0 1 0 132776874 57368576 13400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 14006 13400 170 317 0 13685 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 56024

[startup+342.301 s]
/proc/loadavg: 1.04 1.00 0.98 2/65 10938
/proc/meminfo: memFree=1417456/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=59552 CPUtime=342.17
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 14595 0 0 0 34205 12 0 0 25 0 1 0 132776874 60981248 14292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 14888 14292 170 317 0 14567 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 59552

[startup+402.301 s]
/proc/loadavg: 1.01 1.00 0.98 2/65 10938
/proc/meminfo: memFree=1413296/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=64896 CPUtime=402.15
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 15639 0 0 0 40203 12 0 0 25 0 1 0 132776874 66453504 15336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 16224 15336 170 317 0 15903 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 64896

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10938
/proc/meminfo: memFree=1409520/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=68884 CPUtime=462.13
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 16667 0 0 0 46200 13 0 0 25 0 1 0 132776874 70537216 16250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 17221 16250 170 317 0 16900 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 68884

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10938
/proc/meminfo: memFree=1406768/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=71564 CPUtime=522.1
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 17363 0 0 0 52196 14 0 0 25 0 1 0 132776874 73281536 16946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 17891 16946 170 317 0 17570 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 71564

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10938
/proc/meminfo: memFree=1403888/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=74196 CPUtime=582.09
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 18066 0 0 0 58193 16 0 0 25 0 1 0 132776874 75976704 17649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 18549 17649 170 317 0 18228 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 74196

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10938
/proc/meminfo: memFree=1401520/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=76456 CPUtime=642.06
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 18655 0 0 0 64190 16 0 0 25 0 1 0 132776874 78290944 18238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384506 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 19114 18238 170 317 0 18793 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 76456


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

[startup+882.306 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10940
/proc/meminfo: memFree=1391472/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=85824 CPUtime=881.96
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 21157 0 0 0 88176 20 0 0 25 0 1 0 132776874 87883776 20740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 21456 20740 170 317 0 21135 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 85824

[startup+942.303 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10940
/proc/meminfo: memFree=1389232/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=87908 CPUtime=941.94
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 21720 0 0 0 94173 21 0 0 25 0 1 0 132776874 90017792 21303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 21977 21303 170 317 0 21656 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 87908

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10940
/proc/meminfo: memFree=1386800/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=89996 CPUtime=1001.9
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 22301 0 0 0 100169 21 0 0 25 0 1 0 132776874 92155904 21884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 22499 21884 170 317 0 22178 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 89996

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10940
/proc/meminfo: memFree=1382704/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=96536 CPUtime=1061.89
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 23328 0 0 0 106166 23 0 0 25 0 1 0 132776874 98852864 22911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384524 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 24134 22911 170 317 0 23813 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 96536

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10940
/proc/meminfo: memFree=1380976/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=98556 CPUtime=1121.86
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 23765 0 0 0 112163 23 0 0 25 0 1 0 132776874 100921344 23348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 24639 23348 170 317 0 24318 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 98556

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10940
/proc/meminfo: memFree=1378608/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=101112 CPUtime=1181.83
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 24345 0 0 0 118158 25 0 0 25 0 1 0 132776874 103538688 23928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 25278 23928 170 317 0 24957 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 101112

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10940
/proc/meminfo: memFree=1376624/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=103068 CPUtime=1241.81
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 24851 0 0 0 124155 26 0 0 25 0 1 0 132776874 105541632 24434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 25767 24434 170 317 0 25446 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 103068

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10940
/proc/meminfo: memFree=1374320/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=105900 CPUtime=1301.79
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 25411 0 0 0 130153 26 0 0 25 0 1 0 132776874 108441600 24994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 26475 24994 170 317 0 26154 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 105900

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10940
/proc/meminfo: memFree=1372464/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=108024 CPUtime=1361.76
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 25898 0 0 0 136149 27 0 0 25 0 1 0 132776874 110616576 25481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 27006 25481 170 317 0 26685 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 108024

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10940
/proc/meminfo: memFree=1370736/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=109868 CPUtime=1421.74
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 26306 0 0 0 142147 27 0 0 25 0 1 0 132776874 112504832 25889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 27467 25889 170 317 0 27146 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 109868

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10940
/proc/meminfo: memFree=1368816/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=112108 CPUtime=1481.72
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 26784 0 0 0 148144 28 0 0 25 0 1 0 132776874 114798592 26367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 28027 26367 170 317 0 27706 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 112108

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10940
/proc/meminfo: memFree=1367024/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=114040 CPUtime=1541.7
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 27235 0 0 0 154142 28 0 0 25 0 1 0 132776874 116776960 26818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 28510 26818 170 317 0 28189 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 114040

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10940
/proc/meminfo: memFree=1365232/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=115740 CPUtime=1601.67
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 27676 0 0 0 160139 28 0 0 25 0 1 0 132776874 118517760 27259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 28935 27259 170 317 0 28614 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 115740

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10940
/proc/meminfo: memFree=1363888/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=116920 CPUtime=1661.65
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 28007 0 0 0 166136 29 0 0 25 0 1 0 132776874 119726080 27590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 29230 27590 170 317 0 28909 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 116920

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10940
/proc/meminfo: memFree=1362160/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=118492 CPUtime=1721.62
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 28447 0 0 0 172133 29 0 0 25 0 1 0 132776874 121335808 28030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 29623 28030 170 317 0 29302 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 118492

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10940
/proc/meminfo: memFree=1360368/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=120060 CPUtime=1781.6
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 28872 0 0 0 178130 30 0 0 25 0 1 0 132776874 122941440 28455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 30015 28455 170 317 0 29694 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 120060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10940
/proc/meminfo: memFree=1359728/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=120752 CPUtime=1800
/proc/10937/stat : 10937 (oree) R 10935 10937 10639 0 -1 4194304 29021 0 0 0 179970 30 0 0 25 0 1 0 132776874 123650048 28604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10937/statm: 30188 28604 170 317 0 29867 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 120752

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

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

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 10940
/proc/meminfo: memFree=1359728/2055920 swapFree=4184528/4192956
[pid=10937] ppid=10935 vsize=0 CPUtime=1800.19
/proc/10937/stat : 10937 (oree) D 10935 10937 10639 0 -1 4194308 29037 0 0 0 179987 32 0 0 25 0 1 0 132776874 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 17474 18446744072099781622 0 0 17 1 0 0
/proc/10937/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.9
CPU time (s): 1800.2
CPU user time (s): 1799.88
CPU system time (s): 0.32595
CPU usage (%): 99.9611
Max. virtual memory (cumulated for all children) (KiB): 120752

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

runsolver used 1.43278 second user time and 3.61945 second system time

The end

Launcher Data (download as text)

Begin job on node58 on Tue Apr 17 22:24:32 UTC 2007

IDJOB= 356927
IDBENCH= 1649
IDSOLVER= 172
FILE ID= node58/356927-1176848672

PBS_JOBID= 4590197

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  78fcc08f79c3a8f3db518f692b6ae82d

RANDOM SEED= 737103702

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1474640 kB
Buffers:         45596 kB
Cached:         450000 kB
SwapCached:       2504 kB
Active:         224856 kB
Inactive:       282932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1474640 kB
SwapTotal:     4192956 kB
SwapFree:      4184528 kB
Dirty:            2672 kB
Writeback:           0 kB
Mapped:          18528 kB
Slab:            59560 kB
Committed_AS:   916248 kB
PageTables:       1384 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= 66486 MiB

End job on node58 on Tue Apr 17 22:54:35 UTC 2007