Trace number 357443

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.05 1800.54

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb
MD5SUM824c01e4395cf59ee9d4081be7b21301
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark44
Best CPU time to get the best result obtained on this benchmark176.991
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 44
Optimality of the best value was proved YES
Number of variables603
Total number of constraints1088
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 constraints1088
Minimum length of a constraint14
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 669
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.06	c ...done
0.00/0.06	c #vars=603 #constraints=1089 hasObjective=yes
0.00/0.07	c res. mode=mod
0.00/0.07	c VSIDS like heuristics
0.00/0.07	c complete search running
0.08/0.08	c restart after 401 decisions
0.08/0.09	c nbDecision=500 #constraints=1090
0.08/0.10	c restart after 801 decisions
0.09/0.10	c nbDecision=1000 #constraints=1090
0.09/0.11	c nbDecision=1500 #constraints=1096
0.09/0.12	c restart after 1601 decisions
0.09/0.13	c nbDecision=2000 #constraints=1097
0.09/0.14	c nbDecision=2500 #constraints=1107
0.09/0.16	c nbDecision=3000 #constraints=1121
0.09/0.17	c restart after 3201 decisions
0.09/0.18	c nbDecision=3500 #constraints=1125
0.09/0.19	c nbDecision=4000 #constraints=1134
0.19/0.21	c nbDecision=4500 #constraints=1148
0.19/0.23	c nbDecision=5000 #constraints=1160
0.19/0.25	c nbDecision=5500 #constraints=1177
0.19/0.28	c nbDecision=6000 #constraints=1197
0.29/0.31	c restart after 6401 decisions
0.29/0.31	c nbDecision=6500 #constraints=1216
0.29/0.33	c nbDecision=7000 #constraints=1222
0.29/0.35	c nbDecision=7500 #constraints=1239
0.29/0.38	c nbDecision=8000 #constraints=1256
0.39/0.41	c nbDecision=8500 #constraints=1285
0.39/0.43	c nbDecision=9000 #constraints=1305
0.39/0.47	c nbDecision=9500 #constraints=1331
0.39/0.49	c nbDecision=10000 #constraints=1354
0.49/0.52	c nbDecision=10500 #constraints=1374
0.49/0.55	c nbDecision=11000 #constraints=1390
0.49/0.58	c nbDecision=11500 #constraints=1407
0.49/0.60	c nbDecision=12000 #constraints=1418
0.59/0.62	c nbDecision=12500 #constraints=1434
0.59/0.63	c restart after 12801 decisions
0.59/0.64	c nbDecision=13000 #constraints=1442
0.59/0.66	c nbDecision=13500 #constraints=1454
0.59/0.69	c nbDecision=14000 #constraints=1472
0.69/0.72	c nbDecision=14500 #constraints=1492
0.69/0.75	c nbDecision=15000 #constraints=1511
0.69/0.79	c nbDecision=15500 #constraints=1529
0.79/0.81	c nbDecision=16000 #constraints=1546
0.79/0.85	c nbDecision=16500 #constraints=1568
0.79/0.88	c nbDecision=17000 #constraints=1584
0.89/0.93	c nbDecision=17500 #constraints=1614
0.89/0.97	c nbDecision=18000 #constraints=1636
1.00/1.01	c nbDecision=18500 #constraints=1662
1.00/1.05	c nbDecision=19000 #constraints=1683
1.10/1.10	c nbDecision=19500 #constraints=1713
1.10/1.14	c nbDecision=20000 #constraints=1738
1.10/1.17	c nbDecision=20500 #constraints=1758
1.19/1.21	c nbDecision=21000 #constraints=1776
1.19/1.24	c nbDecision=21500 #constraints=1792
1.19/1.27	c nbDecision=22000 #constraints=1811
1.29/1.31	c nbDecision=22500 #constraints=1832
1.29/1.35	c nbDecision=23000 #constraints=1856
1.29/1.39	c nbDecision=23500 #constraints=1876
1.39/1.42	c nbDecision=24000 #constraints=1890
1.39/1.45	c nbDecision=24500 #constraints=1905
1.39/1.48	c nbDecision=25000 #constraints=1919
1.49/1.53	c nbDecision=25500 #constraints=1945
1.49/1.54	c restart after 25601 decisions
1.49/1.57	c nbDecision=26000 #constraints=1953
1.59/1.61	c nbDecision=26500 #constraints=1970
1.59/1.66	c nbDecision=27000 #constraints=1995
1.59/1.69	c nbDecision=27500 #constraints=2013
1.69/1.74	c nbDecision=28000 #constraints=2038
1.69/1.78	c nbDecision=28500 #constraints=2054
1.79/1.82	c nbDecision=29000 #constraints=2078
1.79/1.87	c nbDecision=29500 #constraints=2097
1.89/1.92	c nbDecision=30000 #constraints=2118
1.89/1.97	c nbDecision=30500 #constraints=2137
1.99/2.01	c nbDecision=31000 #constraints=2155
1.99/2.06	c nbDecision=31500 #constraints=2176
2.09/2.13	c nbDecision=32000 #constraints=2204
2.09/2.20	c nbDecision=32500 #constraints=2235
2.19/2.25	c nbDecision=33000 #constraints=2257
2.29/2.31	c nbDecision=33500 #constraints=2280
2.29/2.38	c nbDecision=34000 #constraints=2306
2.39/2.43	c nbDecision=34500 #constraints=2329
2.39/2.50	c nbDecision=35000 #constraints=2357
2.49/2.55	c nbDecision=35500 #constraints=2378
2.59/2.61	c nbDecision=36000 #constraints=2399
2.59/2.67	c nbDecision=36500 #constraints=2421
2.69/2.76	c nbDecision=37000 #constraints=2449
2.79/2.81	c nbDecision=37500 #constraints=2469
2.79/2.87	c nbDecision=38000 #constraints=2491
2.89/2.95	c nbDecision=38500 #constraints=2518
2.99/3.01	c nbDecision=39000 #constraints=2539
2.99/3.08	c nbDecision=39500 #constraints=2561
3.09/3.15	c nbDecision=40000 #constraints=2584
3.19/3.23	c nbDecision=40500 #constraints=2611
3.19/3.29	c nbDecision=41000 #constraints=2628
3.39/3.40	c nbDecision=41500 #constraints=2667
3.49/3.54	c nbDecision=42000 #constraints=2716
3.59/3.68	c nbDecision=42500 #constraints=2759
3.79/3.84	c nbDecision=43000 #constraints=2811
3.98/4.03	c nbDecision=43500 #constraints=2860
4.19/4.20	c nbDecision=44000 #constraints=2908
4.30/4.35	c nbDecision=44500 #constraints=2947
4.59/4.60	c nbDecision=45000 #constraints=3009
4.79/4.88	c nbDecision=45500 #constraints=3083
4.89/4.96	c nbDecision=46000 #constraints=3105
4.99/5.02	c nbDecision=46500 #constraints=3122
4.99/5.09	c nbDecision=47000 #constraints=3137
5.09/5.16	c nbDecision=47500 #constraints=3155
5.19/5.25	c nbDecision=48000 #constraints=3181
5.29/5.34	c nbDecision=48500 #constraints=3208
5.40/5.45	c nbDecision=49000 #constraints=3242
5.50/5.53	c nbDecision=49500 #constraints=3261
5.59/5.61	c nbDecision=50000 #constraints=3279
5.59/5.69	c nbDecision=50500 #constraints=3301
5.69/5.79	c nbDecision=51000 #constraints=3330
5.79/5.83	c restart after 51201 decisions
5.79/5.88	c nbDecision=51500 #constraints=3342
5.89/5.97	c nbDecision=52000 #constraints=3358
6.09/6.15	c nbDecision=52500 #constraints=3413
6.19/6.28	c nbDecision=53000 #constraints=3449
6.29/6.39	c nbDecision=53500 #constraints=3477
6.39/6.50	c nbDecision=54000 #constraints=3510
6.49/6.60	c nbDecision=54500 #constraints=3531
6.69/6.71	c nbDecision=55000 #constraints=3563
6.79/6.82	c nbDecision=55500 #constraints=3592
6.89/6.97	c nbDecision=56000 #constraints=3629
6.99/7.05	c nbDecision=56500 #constraints=3652
7.09/7.14	c nbDecision=57000 #constraints=3673
7.19/7.23	c nbDecision=57500 #constraints=3697
7.29/7.33	c nbDecision=58000 #constraints=3717
7.39/7.43	c nbDecision=58500 #constraints=3748
7.49/7.56	c nbDecision=59000 #constraints=3781
7.59/7.67	c nbDecision=59500 #constraints=3805
7.69/7.77	c nbDecision=60000 #constraints=3830
7.79/7.89	c nbDecision=60500 #constraints=3855
7.99/8.00	c nbDecision=61000 #constraints=3882
8.08/8.12	c nbDecision=61500 #constraints=3910
8.18/8.28	c nbDecision=62000 #constraints=3951
8.38/8.42	c nbDecision=62500 #constraints=3985
8.48/8.56	c nbDecision=63000 #constraints=4024
8.58/8.68	c nbDecision=63500 #constraints=4052
8.79/8.84	c nbDecision=64000 #constraints=4097
8.88/8.94	c nbDecision=64500 #constraints=4119
8.98/9.05	c nbDecision=65000 #constraints=4141
9.08/9.16	c nbDecision=65500 #constraints=4169
9.28/9.31	c nbDecision=66000 #constraints=4201
9.38/9.41	c nbDecision=66500 #constraints=4225
9.48/9.57	c nbDecision=67000 #constraints=4265
9.58/9.69	c nbDecision=67500 #constraints=4292
9.79/9.83	c nbDecision=68000 #constraints=4318
9.89/9.95	c nbDecision=68500 #constraints=4347
9.98/10.06	c nbDecision=69000 #constraints=4367
10.18/10.24	c nbDecision=69500 #constraints=4400
10.28/10.39	c nbDecision=70000 #constraints=4433
10.48/10.54	c nbDecision=70500 #constraints=4465
10.58/10.68	c nbDecision=71000 #constraints=4494
10.68/10.78	c nbDecision=71500 #constraints=4521
10.88/10.92	c nbDecision=72000 #constraints=4556
10.98/11.03	c nbDecision=72500 #constraints=4584
11.08/11.16	c nbDecision=73000 #constraints=4615
11.18/11.29	c nbDecision=73500 #constraints=4647
11.28/11.38	c nbDecision=74000 #constraints=4669
11.48/11.57	c nbDecision=74500 #constraints=4711
11.58/11.68	c nbDecision=75000 #constraints=4733
11.79/11.83	c nbDecision=75500 #constraints=4765
11.89/11.97	c nbDecision=76000 #constraints=4794
11.99/12.09	c nbDecision=76500 #constraints=4818
12.19/12.25	c nbDecision=77000 #constraints=4848
12.39/12.41	c nbDecision=77500 #constraints=4881
12.59/12.62	c nbDecision=78000 #constraints=4929
12.69/12.76	c nbDecision=78500 #constraints=4963
12.79/12.89	c nbDecision=79000 #constraints=4990
12.89/12.99	c nbDecision=79500 #constraints=5010
13.09/13.15	c nbDecision=80000 #constraints=5043
13.29/13.37	c nbDecision=80500 #constraints=5090
13.49/13.50	c nbDecision=81000 #constraints=5117
13.59/13.67	c nbDecision=81500 #constraints=5158
13.69/13.75	c nbDecision=82000 #constraints=5176
13.89/13.91	c nbDecision=82500 #constraints=5189
13.99/14.07	c nbDecision=83000 #constraints=5202
14.19/14.28	c nbDecision=83500 #constraints=5222
14.39/14.47	c nbDecision=84000 #constraints=5246
14.59/14.68	c nbDecision=84500 #constraints=5272
14.89/14.97	c nbDecision=85000 #constraints=5295
15.19/15.28	c nbDecision=85500 #constraints=5321
15.49/15.56	c nbDecision=86000 #constraints=5341
15.79/15.80	c nbDecision=86500 #constraints=5360
15.99/16.09	c nbDecision=87000 #constraints=5385
16.29/16.36	c nbDecision=87500 #constraints=5406
16.59/16.60	c nbDecision=88000 #constraints=5428
16.78/16.85	c nbDecision=88500 #constraints=5448
16.98/17.02	c nbDecision=89000 #constraints=5462
17.28/17.35	c nbDecision=89500 #constraints=5490
17.68/17.78	c nbDecision=90000 #constraints=5517
18.08/18.14	c nbDecision=90500 #constraints=5545
18.78/18.84	c nbDecision=91000 #constraints=5591
19.38/19.40	c nbDecision=91500 #constraints=5633
20.08/20.13	c nbDecision=92000 #constraints=5688
20.58/20.68	c nbDecision=92500 #constraints=5729
20.98/21.01	c nbDecision=93000 #constraints=5753
21.28/21.37	c nbDecision=93500 #constraints=5779
21.58/21.68	c nbDecision=94000 #constraints=5808
21.89/22.00	c nbDecision=94500 #constraints=5845
22.38/22.44	c nbDecision=95000 #constraints=5881
22.78/22.80	c nbDecision=95500 #constraints=5906
22.88/22.99	c nbDecision=96000 #constraints=5921
23.18/23.25	c nbDecision=96500 #constraints=5939
23.58/23.65	c nbDecision=97000 #constraints=5960
24.08/24.18	c nbDecision=97500 #constraints=5983
24.58/24.66	c nbDecision=98000 #constraints=6006
25.28/25.34	c nbDecision=98500 #constraints=6039
25.68/25.77	c nbDecision=99000 #constraints=6061
26.48/26.56	c nbDecision=99500 #constraints=6101
26.98/27.01	c nbDecision=100000 #constraints=6118
27.48/27.55	c nbDecision=100500 #constraints=6138
28.08/28.19	c nbDecision=101000 #constraints=6162
28.78/28.84	c nbDecision=101500 #constraints=6185
29.58/29.68	c nbDecision=102000 #constraints=6218
30.28/30.39	c restart after 102401 decisions
30.38/30.50	c nbDecision=102500 #constraints=6239
30.88/30.97	c nbDecision=103000 #constraints=6252
31.58/31.60	c nbDecision=103500 #constraints=6272
32.08/32.11	c nbDecision=104000 #constraints=6286
32.88/32.92	c nbDecision=104500 #constraints=6313
33.67/33.72	c nbDecision=105000 #constraints=6340
34.47/34.52	c nbDecision=105500 #constraints=6370
34.98/35.07	c nbDecision=106000 #constraints=6396
35.68/35.77	c nbDecision=106500 #constraints=6424
36.29/36.35	c nbDecision=107000 #constraints=6448
36.78/36.81	c nbDecision=107500 #constraints=6465
37.48/37.55	c nbDecision=108000 #constraints=6491
38.18/38.22	c nbDecision=108500 #constraints=6516
38.88/38.91	c nbDecision=109000 #constraints=6544
39.58/39.64	c nbDecision=109500 #constraints=6570
40.38/40.45	c nbDecision=110000 #constraints=6600
40.98/41.09	c nbDecision=110500 #constraints=6622
41.48/41.58	c nbDecision=111000 #constraints=6639
42.18/42.24	c nbDecision=111500 #constraints=6663
42.78/42.81	c nbDecision=112000 #constraints=6696
43.38/43.40	c nbDecision=112500 #constraints=6718
44.18/44.20	c nbDecision=113000 #constraints=6745
44.87/44.98	c nbDecision=113500 #constraints=6768
45.68/45.71	c nbDecision=114000 #constraints=6796
46.57/46.61	c nbDecision=114500 #constraints=6832
47.67/47.71	c nbDecision=115000 #constraints=6868
48.57/48.62	c nbDecision=115500 #constraints=6900
49.27/49.38	c nbDecision=116000 #constraints=6927
50.27/50.30	c nbDecision=116500 #constraints=6957
50.77/50.80	c nbDecision=117000 #constraints=6971
51.37/51.46	c nbDecision=117500 #constraints=6995
52.17/52.29	c nbDecision=118000 #constraints=7023
52.77/52.85	c nbDecision=118500 #constraints=7043
53.47/53.54	c nbDecision=119000 #constraints=7067
54.37/54.48	c nbDecision=119500 #constraints=7102
55.17/55.22	c nbDecision=120000 #constraints=7128
55.87/55.97	c nbDecision=120500 #constraints=7150
56.57/56.65	c nbDecision=121000 #constraints=7177
57.27/57.36	c nbDecision=121500 #constraints=7208
57.97/58.09	c nbDecision=122000 #constraints=7241
58.68/58.70	c nbDecision=122500 #constraints=7262
59.38/59.47	c nbDecision=123000 #constraints=7288
60.18/60.26	c nbDecision=123500 #constraints=7316
60.78/60.82	c nbDecision=124000 #constraints=7335
61.38/61.49	c nbDecision=124500 #constraints=7356
61.98/62.00	c nbDecision=125000 #constraints=7372
62.48/62.52	c nbDecision=125500 #constraints=7389
62.98/63.09	c nbDecision=126000 #constraints=7408
64.07/64.16	c nbDecision=126500 #constraints=7436
64.67/64.72	c nbDecision=127000 #constraints=7453
65.37/65.41	c nbDecision=127500 #constraints=7473
65.88/65.93	c nbDecision=128000 #constraints=7487
66.77/66.81	c nbDecision=128500 #constraints=7513
67.47/67.53	c nbDecision=129000 #constraints=7537
68.08/68.12	c nbDecision=129500 #constraints=7555
69.07/69.13	c nbDecision=130000 #constraints=7581
69.57/69.62	c nbDecision=130500 #constraints=7597
70.28/70.37	c nbDecision=131000 #constraints=7618
70.97/71.07	c nbDecision=131500 #constraints=7641
71.87/71.90	c nbDecision=132000 #constraints=7666
72.77/72.84	c nbDecision=132500 #constraints=7698
73.67/73.71	c nbDecision=133000 #constraints=7726
74.17/74.27	c nbDecision=133500 #constraints=7746
74.77/74.88	c nbDecision=134000 #constraints=7766
75.47/75.50	c nbDecision=134500 #constraints=7787
76.07/76.13	c nbDecision=135000 #constraints=7808
76.67/76.72	c nbDecision=135500 #constraints=7822
77.37/77.46	c nbDecision=136000 #constraints=7846
77.97/78.07	c nbDecision=136500 #constraints=7862
78.77/78.81	c nbDecision=137000 #constraints=7885
79.36/79.44	c nbDecision=137500 #constraints=7902
80.27/80.37	c nbDecision=138000 #constraints=7935
80.86/80.98	c nbDecision=138500 #constraints=7955
81.66/81.73	c nbDecision=139000 #constraints=7981
82.37/82.48	c nbDecision=139500 #constraints=8001
83.17/83.24	c nbDecision=140000 #constraints=8023
83.87/83.97	c nbDecision=140500 #constraints=8044
85.17/85.27	c nbDecision=141000 #constraints=8080
85.87/85.99	c nbDecision=141500 #constraints=8099
86.97/87.04	c nbDecision=142000 #constraints=8127
87.97/88.02	c nbDecision=142500 #constraints=8154
89.27/89.39	c nbDecision=143000 #constraints=8192
90.07/90.14	c nbDecision=143500 #constraints=8212
91.27/91.39	c nbDecision=144000 #constraints=8246
92.37/92.44	c nbDecision=144500 #constraints=8274
93.37/93.48	c nbDecision=145000 #constraints=8302
94.17/94.24	c nbDecision=145500 #constraints=8327
95.36/95.44	c nbDecision=146000 #constraints=8365
96.56/96.68	c nbDecision=146500 #constraints=8398
97.96/98.03	c nbDecision=147000 #constraints=8436
98.97/99.08	c nbDecision=147500 #constraints=8467
100.07/100.11	c nbDecision=148000 #constraints=8499
101.36/101.43	c nbDecision=148500 #constraints=8540
102.36/102.42	c nbDecision=149000 #constraints=8568
103.46/103.50	c nbDecision=149500 #constraints=8600
104.56/104.69	c nbDecision=150000 #constraints=8632
105.76/105.84	c nbDecision=150500 #constraints=8663
106.46/106.59	c nbDecision=151000 #constraints=8691
107.36/107.40	c nbDecision=151500 #constraints=8716
108.16/108.21	c nbDecision=152000 #constraints=8742
109.26/109.38	c nbDecision=152500 #constraints=8778
110.36/110.42	c nbDecision=153000 #constraints=8807
111.16/111.20	c nbDecision=153500 #constraints=8828
111.96/112.02	c nbDecision=154000 #constraints=8850
112.66/112.75	c nbDecision=154500 #constraints=8871
113.36/113.42	c nbDecision=155000 #constraints=8891
114.16/114.27	c nbDecision=155500 #constraints=8916
115.06/115.16	c nbDecision=156000 #constraints=8939
115.66/115.77	c nbDecision=156500 #constraints=8962
116.36/116.46	c nbDecision=157000 #constraints=8987
117.26/117.39	c nbDecision=157500 #constraints=9015
118.06/118.19	c nbDecision=158000 #constraints=9037
119.06/119.16	c nbDecision=158500 #constraints=9070
119.86/119.98	c nbDecision=159000 #constraints=9103
120.86/120.96	c nbDecision=159500 #constraints=9141
121.76/121.89	c nbDecision=160000 #constraints=9175
122.86/122.97	c nbDecision=160500 #constraints=9216
123.86/123.98	c nbDecision=161000 #constraints=9248
125.06/125.12	c nbDecision=161500 #constraints=9278
125.96/126.05	c nbDecision=162000 #constraints=9303
126.76/126.87	c nbDecision=162500 #constraints=9323
127.76/127.81	c nbDecision=163000 #constraints=9347
129.06/129.18	c nbDecision=163500 #constraints=9383
130.56/130.61	c nbDecision=164000 #constraints=9422
131.56/131.65	c nbDecision=164500 #constraints=9450
132.65/132.73	c nbDecision=165000 #constraints=9479
133.45/133.55	c nbDecision=165500 #constraints=9502
134.16/134.25	c nbDecision=166000 #constraints=9528
134.95/135.08	c nbDecision=166500 #constraints=9559
135.85/135.90	c nbDecision=167000 #constraints=9583
136.45/136.57	c nbDecision=167500 #constraints=9610
137.46/137.53	c nbDecision=168000 #constraints=9645
138.45/138.50	c nbDecision=168500 #constraints=9673
139.25/139.37	c nbDecision=169000 #constraints=9704
140.25/140.32	c nbDecision=169500 #constraints=9733
141.05/141.18	c nbDecision=170000 #constraints=9761
141.95/142.06	c nbDecision=170500 #constraints=9787
142.65/142.78	c nbDecision=171000 #constraints=9807
143.85/143.90	c nbDecision=171500 #constraints=9836
144.85/144.97	c nbDecision=172000 #constraints=9864
146.35/146.43	c nbDecision=172500 #constraints=9897
147.35/147.45	c nbDecision=173000 #constraints=9926
148.25/148.39	c nbDecision=173500 #constraints=9950
149.35/149.45	c nbDecision=174000 #constraints=9974
150.35/150.41	c nbDecision=174500 #constraints=9997
151.66/151.73	c nbDecision=175000 #constraints=10027
152.65/152.73	c nbDecision=175500 #constraints=10050
153.55/153.67	c nbDecision=176000 #constraints=10072
154.65/154.70	c nbDecision=176500 #constraints=10100
155.55/155.66	c nbDecision=177000 #constraints=10120
156.55/156.64	c nbDecision=177500 #constraints=10144
157.55/157.70	c nbDecision=178000 #constraints=10173
158.25/158.39	c nbDecision=178500 #constraints=10192
159.45/159.57	c nbDecision=179000 #constraints=10222
160.45/160.55	c nbDecision=179500 #constraints=10247
161.55/161.67	c nbDecision=180000 #constraints=10276
163.15/163.23	c nbDecision=180500 #constraints=10313
164.35/164.41	c nbDecision=181000 #constraints=10341
165.65/165.75	c nbDecision=181500 #constraints=10372
167.15/167.21	c nbDecision=182000 #constraints=10406
168.84/168.93	c nbDecision=182500 #constraints=10449
169.64/169.78	c nbDecision=183000 #constraints=10469
170.54/170.65	c nbDecision=183500 #constraints=10490
171.55/171.63	c nbDecision=184000 #constraints=10516
172.34/172.44	c nbDecision=184500 #constraints=10537
173.24/173.37	c nbDecision=185000 #constraints=10561
174.75/174.89	c nbDecision=185500 #constraints=10595
176.34/176.50	c nbDecision=186000 #constraints=10631
178.74/178.83	c nbDecision=186500 #constraints=10683
180.64/180.72	c nbDecision=187000 #constraints=10731
182.84/182.97	c nbDecision=187500 #constraints=10785
184.64/184.74	c nbDecision=188000 #constraints=10826
186.45/186.51	c nbDecision=188500 #constraints=10871
187.95/188.03	c nbDecision=189000 #constraints=10907
191.04/191.10	c nbDecision=189500 #constraints=10989
192.14/192.25	c nbDecision=190000 #constraints=11015
193.64/193.74	c nbDecision=190500 #constraints=11047
194.84/194.92	c nbDecision=191000 #constraints=11079
195.94/196.04	c nbDecision=191500 #constraints=11103
197.04/197.11	c nbDecision=192000 #constraints=11127
198.84/198.96	c nbDecision=192500 #constraints=11170
200.74/200.87	c nbDecision=193000 #constraints=11210
201.84/201.97	c nbDecision=193500 #constraints=11237
202.94/203.01	c nbDecision=194000 #constraints=11263
204.14/204.21	c nbDecision=194500 #constraints=11295
205.04/205.14	c nbDecision=195000 #constraints=11319
206.44/206.55	c nbDecision=195500 #constraints=11356
207.64/207.80	c nbDecision=196000 #constraints=11387
208.84/208.99	c nbDecision=196500 #constraints=11415
210.04/210.18	c nbDecision=197000 #constraints=11443
211.63/211.70	c nbDecision=197500 #constraints=11480
213.24/213.37	c nbDecision=198000 #constraints=11520
214.53/214.70	c nbDecision=198500 #constraints=11555
216.03/216.13	c nbDecision=199000 #constraints=11590
217.43/217.54	c nbDecision=199500 #constraints=11626
219.13/219.22	c nbDecision=200000 #constraints=11665
220.33/220.43	c nbDecision=200500 #constraints=11693
221.43/221.56	c nbDecision=201000 #constraints=11720
222.83/222.97	c nbDecision=201500 #constraints=11752
224.13/224.23	c nbDecision=202000 #constraints=11780
225.53/225.67	c nbDecision=202500 #constraints=11817
226.84/226.99	c nbDecision=203000 #constraints=11848
228.64/228.73	c nbDecision=203500 #constraints=11889
230.33/230.48	c nbDecision=204000 #constraints=11930
231.83/231.92	c nbDecision=204500 #constraints=11961
232.83/232.99	c restart after 204801 decisions
233.23/233.33	c nbDecision=205000 #constraints=11986
234.33/234.47	c nbDecision=205500 #constraints=12008
236.03/236.13	c nbDecision=206000 #constraints=12047
237.83/237.94	c nbDecision=206500 #constraints=12088
240.43/240.56	c nbDecision=207000 #constraints=12148
242.13/242.23	c nbDecision=207500 #constraints=12189
242.93/243.03	c nbDecision=208000 #constraints=12217
243.53/243.64	c nbDecision=208500 #constraints=12246
244.03/244.16	c nbDecision=209000 #constraints=12262
245.33/245.42	c nbDecision=209500 #constraints=12292
246.63/246.75	c nbDecision=210000 #constraints=12319
247.73/247.88	c nbDecision=210500 #constraints=12341
249.33/249.48	c nbDecision=211000 #constraints=12369
250.83/250.94	c nbDecision=211500 #constraints=12395
251.93/252.09	c nbDecision=212000 #constraints=12416
253.12/253.22	c nbDecision=212500 #constraints=12435
254.52/254.68	c nbDecision=213000 #constraints=12464
255.72/255.81	c nbDecision=213500 #constraints=12493
256.82/256.97	c nbDecision=214000 #constraints=12518
258.62/258.78	c nbDecision=214500 #constraints=12556
260.02/260.15	c nbDecision=215000 #constraints=12585
261.42/261.56	c nbDecision=215500 #constraints=12616
263.42/263.55	c nbDecision=216000 #constraints=12657
266.02/266.15	c nbDecision=216500 #constraints=12710
269.12/269.26	c nbDecision=217000 #constraints=12774
271.72/271.86	c nbDecision=217500 #constraints=12827
274.42/274.52	c nbDecision=218000 #constraints=12877
275.02/275.19	c nbDecision=218500 #constraints=12897
275.72/275.84	c nbDecision=219000 #constraints=12914
277.62/277.77	c nbDecision=219500 #constraints=12953
279.72/279.88	c nbDecision=220000 #constraints=12997
282.62/282.76	c nbDecision=220500 #constraints=13051
286.02/286.12	c nbDecision=221000 #constraints=13125
288.62/288.75	c nbDecision=221500 #constraints=13178
291.01/291.19	c nbDecision=222000 #constraints=13233
294.21/294.37	c nbDecision=222500 #constraints=13301
296.41/296.55	c nbDecision=223000 #constraints=13347
298.61/298.76	c nbDecision=223500 #constraints=13392
301.52/301.67	c nbDecision=224000 #constraints=13455
304.52/304.68	c nbDecision=224500 #constraints=13519
307.21/307.33	c nbDecision=225000 #constraints=13579
309.51/309.60	c nbDecision=225500 #constraints=13632
311.51/311.69	c nbDecision=226000 #constraints=13680
312.81/312.95	c nbDecision=226500 #constraints=13706
313.71/313.89	c nbDecision=227000 #constraints=13728
314.81/314.94	c nbDecision=227500 #constraints=13749
315.81/315.94	c nbDecision=228000 #constraints=13769
316.71/316.85	c nbDecision=228500 #constraints=13788
317.51/317.67	c nbDecision=229000 #constraints=13805
319.21/319.32	c nbDecision=229500 #constraints=13845
320.41/320.54	c nbDecision=230000 #constraints=13870
321.61/321.71	c nbDecision=230500 #constraints=13897
322.71/322.86	c nbDecision=231000 #constraints=13921
323.61/323.76	c nbDecision=231500 #constraints=13939
324.81/324.94	c nbDecision=232000 #constraints=13964
326.20/326.36	c nbDecision=232500 #constraints=13993
327.50/327.64	c nbDecision=233000 #constraints=14022
328.60/328.74	c nbDecision=233500 #constraints=14048
329.60/329.79	c nbDecision=234000 #constraints=14071
330.60/330.73	c nbDecision=234500 #constraints=14090
331.80/331.95	c nbDecision=235000 #constraints=14121
333.11/333.29	c nbDecision=235500 #constraints=14152
334.60/334.77	c nbDecision=236000 #constraints=14187
335.70/335.89	c nbDecision=236500 #constraints=14217
337.10/337.27	c nbDecision=237000 #constraints=14252
338.40/338.55	c nbDecision=237500 #constraints=14283
339.70/339.81	c nbDecision=238000 #constraints=14313
341.01/341.14	c nbDecision=238500 #constraints=14341
342.21/342.34	c nbDecision=239000 #constraints=14366
343.51/343.61	c nbDecision=239500 #constraints=14394
344.91/345.00	c nbDecision=240000 #constraints=14425
346.11/346.24	c nbDecision=240500 #constraints=14451
347.41/347.56	c nbDecision=241000 #constraints=14481
348.70/348.82	c nbDecision=241500 #constraints=14508
350.10/350.29	c nbDecision=242000 #constraints=14538
351.50/351.61	c nbDecision=242500 #constraints=14567
353.01/353.17	c nbDecision=243000 #constraints=14603
354.70/354.82	c nbDecision=243500 #constraints=14638
356.21/356.35	c nbDecision=244000 #constraints=14669
357.50/357.67	c nbDecision=244500 #constraints=14696
358.80/358.96	c nbDecision=245000 #constraints=14725
360.40/360.51	c nbDecision=245500 #constraints=14758
361.80/361.99	c nbDecision=246000 #constraints=14790
363.40/363.52	c nbDecision=246500 #constraints=14823
364.90/365.04	c nbDecision=247000 #constraints=14861
366.10/366.20	c nbDecision=247500 #constraints=14889
367.00/367.11	c nbDecision=248000 #constraints=14915
367.90/368.06	c nbDecision=248500 #constraints=14941
369.50/369.60	c nbDecision=249000 #constraints=14977
370.79/370.98	c nbDecision=249500 #constraints=15008
372.29/372.42	c nbDecision=250000 #constraints=15042
373.69/373.87	c nbDecision=250500 #constraints=15073
375.19/375.31	c nbDecision=251000 #constraints=15105
376.89/377.08	c nbDecision=251500 #constraints=15144
378.59/378.70	c nbDecision=252000 #constraints=15179
380.19/380.33	c nbDecision=252500 #constraints=15212
381.49/381.65	c nbDecision=253000 #constraints=15239
383.20/383.33	c nbDecision=253500 #constraints=15275
384.70/384.86	c nbDecision=254000 #constraints=15305
386.10/386.26	c nbDecision=254500 #constraints=15334
387.60/387.79	c nbDecision=255000 #constraints=15366
389.30/389.49	c nbDecision=255500 #constraints=15402
390.79/390.94	c nbDecision=256000 #constraints=15431
392.50/392.62	c nbDecision=256500 #constraints=15463
393.79/393.97	c nbDecision=257000 #constraints=15496
394.89/395.05	c nbDecision=257500 #constraints=15519
395.99/396.18	c nbDecision=258000 #constraints=15543
397.19/397.35	c nbDecision=258500 #constraints=15568
398.49/398.61	c nbDecision=259000 #constraints=15593
399.99/400.17	c nbDecision=259500 #constraints=15625
401.49/401.66	c nbDecision=260000 #constraints=15654
403.69/403.89	c nbDecision=260500 #constraints=15689
405.09/405.22	c nbDecision=261000 #constraints=15719
406.59/406.70	c nbDecision=261500 #constraints=15749
407.89/408.02	c nbDecision=262000 #constraints=15777
409.88/410.04	c nbDecision=262500 #constraints=15811
411.08/411.29	c nbDecision=263000 #constraints=15830
412.29/412.47	c nbDecision=263500 #constraints=15855
413.58/413.77	c nbDecision=264000 #constraints=15882
414.98/415.20	c nbDecision=264500 #constraints=15909
416.48/416.68	c nbDecision=265000 #constraints=15938
417.89/418.05	c nbDecision=265500 #constraints=15966
419.18/419.32	c nbDecision=266000 #constraints=15992
420.78/420.91	c nbDecision=266500 #constraints=16027
422.18/422.40	c nbDecision=267000 #constraints=16056
423.49/423.70	c nbDecision=267500 #constraints=16083
424.99/425.18	c nbDecision=268000 #constraints=16112
426.49/426.64	c nbDecision=268500 #constraints=16144
427.99/428.15	c nbDecision=269000 #constraints=16177
429.39/429.54	c nbDecision=269500 #constraints=16208
430.79/430.91	c nbDecision=270000 #constraints=16237
432.09/432.29	c nbDecision=270500 #constraints=16267
433.48/433.63	c nbDecision=271000 #constraints=16296
434.98/435.15	c nbDecision=271500 #constraints=16327
436.78/436.96	c nbDecision=272000 #constraints=16364
438.48/438.63	c nbDecision=272500 #constraints=16400
440.08/440.20	c nbDecision=273000 #constraints=16430
441.68/441.85	c nbDecision=273500 #constraints=16465
443.28/443.42	c nbDecision=274000 #constraints=16499
444.88/445.04	c nbDecision=274500 #constraints=16533
446.58/446.72	c nbDecision=275000 #constraints=16567
448.48/448.64	c nbDecision=275500 #constraints=16609
450.18/450.36	c nbDecision=276000 #constraints=16643
451.98/452.13	c nbDecision=276500 #constraints=16678
453.88/454.04	c nbDecision=277000 #constraints=16718
455.47/455.60	c nbDecision=277500 #constraints=16748
456.97/457.16	c nbDecision=278000 #constraints=16777
458.48/458.61	c nbDecision=278500 #constraints=16807
459.97/460.14	c nbDecision=279000 #constraints=16838
461.37/461.59	c nbDecision=279500 #constraints=16866
463.07/463.26	c nbDecision=280000 #constraints=16897
464.67/464.84	c nbDecision=280500 #constraints=16929
466.17/466.33	c nbDecision=281000 #constraints=16958
467.67/467.83	c nbDecision=281500 #constraints=16986
469.17/469.32	c nbDecision=282000 #constraints=17012
470.67/470.81	c nbDecision=282500 #constraints=17038
471.97/472.14	c nbDecision=283000 #constraints=17062
473.57/473.78	c nbDecision=283500 #constraints=17092
475.27/475.44	c nbDecision=284000 #constraints=17122
476.97/477.15	c nbDecision=284500 #constraints=17155
478.66/478.80	c nbDecision=285000 #constraints=17188
480.26/480.42	c nbDecision=285500 #constraints=17212
481.46/481.70	c nbDecision=286000 #constraints=17231
482.78/483.00	c nbDecision=286500 #constraints=17255
484.37/484.54	c nbDecision=287000 #constraints=17289
485.87/486.00	c nbDecision=287500 #constraints=17319
487.47/487.67	c nbDecision=288000 #constraints=17355
488.27/488.42	c nbDecision=288500 #constraints=17371
488.87/489.09	c nbDecision=289000 #constraints=17390
490.37/490.53	c nbDecision=289500 #constraints=17423
491.97/492.19	c nbDecision=290000 #constraints=17444
493.47/493.67	c nbDecision=290500 #constraints=17483
494.66/494.87	c nbDecision=291000 #constraints=17502
496.16/496.37	c nbDecision=291500 #constraints=17532
498.76/498.99	c nbDecision=292000 #constraints=17585
500.16/500.33	c nbDecision=292500 #constraints=17611
501.76/501.98	c nbDecision=293000 #constraints=17650
502.97/503.17	c nbDecision=293500 #constraints=17671
504.16/504.39	c nbDecision=294000 #constraints=17693
505.56/505.71	c nbDecision=294500 #constraints=17714
506.97/507.17	c nbDecision=295000 #constraints=17744
508.56/508.76	c nbDecision=295500 #constraints=17771
510.66/510.82	c nbDecision=296000 #constraints=17808
512.16/512.31	c nbDecision=296500 #constraints=17839
513.96/514.16	c nbDecision=297000 #constraints=17873
515.76/515.93	c nbDecision=297500 #constraints=17907
517.36/517.58	c nbDecision=298000 #constraints=17939
519.36/519.50	c nbDecision=298500 #constraints=17975
520.46/520.66	c nbDecision=299000 #constraints=17998
521.56/521.80	c nbDecision=299500 #constraints=18018
523.16/523.36	c nbDecision=300000 #constraints=18049
525.15/525.39	c nbDecision=300500 #constraints=18083
526.85/527.07	c nbDecision=301000 #constraints=18117
528.15/528.39	c nbDecision=301500 #constraints=18145
529.75/529.91	c nbDecision=302000 #constraints=18181
531.25/531.43	c nbDecision=302500 #constraints=18207
533.05/533.21	c nbDecision=303000 #constraints=18237
534.65/534.82	c nbDecision=303500 #constraints=18266
535.96/536.14	c nbDecision=304000 #constraints=18294
537.76/537.93	c nbDecision=304500 #constraints=18321
538.76/538.99	c nbDecision=305000 #constraints=18343
540.25/540.40	c nbDecision=305500 #constraints=18375
541.95/542.19	c nbDecision=306000 #constraints=18412
543.65/543.84	c nbDecision=306500 #constraints=18444
545.95/546.15	c nbDecision=307000 #constraints=18492
547.85/548.04	c nbDecision=307500 #constraints=18528
549.35/549.54	c nbDecision=308000 #constraints=18566
550.45/550.61	c nbDecision=308500 #constraints=18587
551.85/552.03	c nbDecision=309000 #constraints=18618
553.34/553.55	c nbDecision=309500 #constraints=18648
555.14/555.37	c nbDecision=310000 #constraints=18683
556.65/556.82	c nbDecision=310500 #constraints=18713
558.45/558.67	c nbDecision=311000 #constraints=18740
560.15/560.30	c nbDecision=311500 #constraints=18770
562.05/562.20	c nbDecision=312000 #constraints=18806
563.95/564.18	c nbDecision=312500 #constraints=18847
565.85/566.05	c nbDecision=313000 #constraints=18878
567.85/568.03	c nbDecision=313500 #constraints=18917
570.14/570.32	c nbDecision=314000 #constraints=18958
573.04/573.26	c nbDecision=314500 #constraints=19008
574.64/574.87	c nbDecision=315000 #constraints=19032
576.34/576.52	c nbDecision=315500 #constraints=19057
577.94/578.18	c nbDecision=316000 #constraints=19080
579.74/580.00	c nbDecision=316500 #constraints=19108
581.74/581.98	c nbDecision=317000 #constraints=19145
583.54/583.77	c nbDecision=317500 #constraints=19176
584.84/585.05	c nbDecision=318000 #constraints=19202
586.93/587.10	c nbDecision=318500 #constraints=19242
589.44/589.64	c nbDecision=319000 #constraints=19289
590.54/590.78	c nbDecision=319500 #constraints=19309
592.03/592.24	c nbDecision=320000 #constraints=19338
593.53/593.73	c nbDecision=320500 #constraints=19377
595.03/595.21	c nbDecision=321000 #constraints=19417
596.13/596.35	c nbDecision=321500 #constraints=19444
598.03/598.23	c nbDecision=322000 #constraints=19494
599.43/599.69	c nbDecision=322500 #constraints=19535
600.93/601.15	c nbDecision=323000 #constraints=19576
602.53/602.74	c nbDecision=323500 #constraints=19612
603.84/604.02	c nbDecision=324000 #constraints=19644
605.24/605.47	c nbDecision=324500 #constraints=19683
606.54/606.79	c nbDecision=325000 #constraints=19718
607.73/607.95	c nbDecision=325500 #constraints=19739
609.73/609.92	c nbDecision=326000 #constraints=19777
612.54/612.70	c nbDecision=326500 #constraints=19830
614.23/614.48	c nbDecision=327000 #constraints=19860
616.13/616.38	c nbDecision=327500 #constraints=19896
617.63/617.86	c nbDecision=328000 #constraints=19919
619.63/619.82	c nbDecision=328500 #constraints=19952
621.13/621.32	c nbDecision=329000 #constraints=19977
622.83/623.07	c nbDecision=329500 #constraints=20006
624.83/625.01	c nbDecision=330000 #constraints=20038
626.43/626.64	c nbDecision=330500 #constraints=20064
628.33/628.59	c nbDecision=331000 #constraints=20099
630.13/630.35	c nbDecision=331500 #constraints=20128
632.23/632.43	c nbDecision=332000 #constraints=20166
634.43/634.61	c nbDecision=332500 #constraints=20205
636.63/636.81	c nbDecision=333000 #constraints=20244
638.62/638.85	c nbDecision=333500 #constraints=20276
640.12/640.33	c nbDecision=334000 #constraints=20301
641.92/642.12	c nbDecision=334500 #constraints=20330
643.42/643.64	c nbDecision=335000 #constraints=20354
645.22/645.40	c nbDecision=335500 #constraints=20384
646.62/646.86	c nbDecision=336000 #constraints=20411
648.01/648.25	c nbDecision=336500 #constraints=20431
649.71/649.90	c nbDecision=337000 #constraints=20459
651.11/651.34	c nbDecision=337500 #constraints=20483
652.41/652.62	c nbDecision=338000 #constraints=20502
653.71/653.95	c nbDecision=338500 #constraints=20523
655.21/655.46	c nbDecision=339000 #constraints=20559
657.21/657.45	c nbDecision=339500 #constraints=20595
659.92/660.16	c nbDecision=340000 #constraints=20645
662.22/662.48	c nbDecision=340500 #constraints=20693
664.12/664.39	c nbDecision=341000 #constraints=20723
666.52/666.74	c nbDecision=341500 #constraints=20756
668.82/669.02	c nbDecision=342000 #constraints=20792
670.42/670.67	c nbDecision=342500 #constraints=20813
672.31/672.58	c nbDecision=343000 #constraints=20849
674.41/674.63	c nbDecision=343500 #constraints=20882
677.81/678.07	c nbDecision=344000 #constraints=20935
680.71/680.96	c nbDecision=344500 #constraints=20967
682.61/682.89	c nbDecision=345000 #constraints=20997
684.21/684.49	c nbDecision=345500 #constraints=21027
686.00/686.27	c nbDecision=346000 #constraints=21062
686.80/687.01	c nbDecision=346500 #constraints=21080
688.50/688.79	c nbDecision=347000 #constraints=21106
690.00/690.20	c nbDecision=347500 #constraints=21131
691.30/691.57	c nbDecision=348000 #constraints=21159
693.20/693.40	c nbDecision=348500 #constraints=21195
694.90/695.10	c nbDecision=349000 #constraints=21224
697.20/697.47	c nbDecision=349500 #constraints=21269
699.20/699.41	c nbDecision=350000 #constraints=21299
701.41/701.68	c nbDecision=350500 #constraints=21339
703.60/703.85	c nbDecision=351000 #constraints=21379
705.20/705.48	c nbDecision=351500 #constraints=21410
707.20/707.46	c nbDecision=352000 #constraints=21442
709.40/709.62	c nbDecision=352500 #constraints=21482
711.51/711.75	c nbDecision=353000 #constraints=21520
713.50/713.74	c nbDecision=353500 #constraints=21550
715.20/715.46	c nbDecision=354000 #constraints=21574
717.50/717.71	c nbDecision=354500 #constraints=21611
719.30/719.51	c nbDecision=355000 #constraints=21648
721.30/721.58	c nbDecision=355500 #constraints=21684
723.89/724.16	c nbDecision=356000 #constraints=21726
726.69/727.00	c nbDecision=356500 #constraints=21774
729.00/729.21	c nbDecision=357000 #constraints=21809
730.99/731.20	c nbDecision=357500 #constraints=21836
733.09/733.33	c nbDecision=358000 #constraints=21872
735.79/736.01	c nbDecision=358500 #constraints=21922
738.00/738.24	c nbDecision=359000 #constraints=21959
740.20/740.41	c nbDecision=359500 #constraints=21999
742.39/742.62	c nbDecision=360000 #constraints=22037
744.19/744.47	c nbDecision=360500 #constraints=22067
746.49/746.70	c nbDecision=361000 #constraints=22104
748.89/749.19	c nbDecision=361500 #constraints=22145
750.89/751.19	c nbDecision=362000 #constraints=22181
752.29/752.59	c nbDecision=362500 #constraints=22208
754.89/755.10	c nbDecision=363000 #constraints=22243
756.49/756.75	c nbDecision=363500 #constraints=22269
757.88/758.11	c nbDecision=364000 #constraints=22287
759.38/759.69	c nbDecision=364500 #constraints=22309
760.99/761.21	c nbDecision=365000 #constraints=22339
762.48/762.79	c nbDecision=365500 #constraints=22364
764.29/764.55	c nbDecision=366000 #constraints=22392
765.58/765.82	c nbDecision=366500 #constraints=22415
767.38/767.67	c nbDecision=367000 #constraints=22444
768.78/769.00	c nbDecision=367500 #constraints=22465
770.38/770.67	c nbDecision=368000 #constraints=22491
772.08/772.32	c nbDecision=368500 #constraints=22512
773.69/773.95	c nbDecision=369000 #constraints=22543
775.39/775.64	c nbDecision=369500 #constraints=22572
776.88/777.13	c nbDecision=370000 #constraints=22597
779.38/779.69	c nbDecision=370500 #constraints=22663
781.28/781.53	c nbDecision=371000 #constraints=22692
782.99/783.28	c nbDecision=371500 #constraints=22723
784.98/785.24	c nbDecision=372000 #constraints=22749
786.48/786.76	c nbDecision=372500 #constraints=22771
787.98/788.26	c nbDecision=373000 #constraints=22794
789.58/789.88	c nbDecision=373500 #constraints=22814
791.28/791.52	c nbDecision=374000 #constraints=22843
792.78/793.06	c nbDecision=374500 #constraints=22872
794.28/794.57	c nbDecision=375000 #constraints=22898
795.57/795.89	c nbDecision=375500 #constraints=22923
797.28/797.59	c nbDecision=376000 #constraints=22958
798.87/799.11	c nbDecision=376500 #constraints=22985
800.67/800.96	c nbDecision=377000 #constraints=23015
802.58/802.86	c nbDecision=377500 #constraints=23046
804.48/804.74	c nbDecision=378000 #constraints=23082
806.38/806.65	c nbDecision=378500 #constraints=23114
808.58/808.85	c nbDecision=379000 #constraints=23157
810.48/810.79	c nbDecision=379500 #constraints=23192
812.47/812.73	c nbDecision=380000 #constraints=23220
815.07/815.35	c nbDecision=380500 #constraints=23259
817.67/817.93	c nbDecision=381000 #constraints=23306
819.87/820.15	c nbDecision=381500 #constraints=23346
822.27/822.58	c nbDecision=382000 #constraints=23388
824.78/825.04	c nbDecision=382500 #constraints=23431
827.27/827.55	c nbDecision=383000 #constraints=23474
829.27/829.54	c nbDecision=383500 #constraints=23511
831.97/832.25	c nbDecision=384000 #constraints=23557
835.57/835.87	c nbDecision=384500 #constraints=23609
839.47/839.73	c nbDecision=385000 #constraints=23665
843.27/843.54	c nbDecision=385500 #constraints=23721
846.37/846.68	c nbDecision=386000 #constraints=23773
849.46/849.78	c nbDecision=386500 #constraints=23826
852.46/852.79	c nbDecision=387000 #constraints=23880
856.57/856.90	c nbDecision=387500 #constraints=23944
860.96/861.30	c nbDecision=388000 #constraints=24007
863.86/864.19	c nbDecision=388500 #constraints=24049
866.06/866.39	c nbDecision=389000 #constraints=24078
867.56/867.89	c nbDecision=389500 #constraints=24105
868.96/869.24	c nbDecision=390000 #constraints=24127
870.96/871.20	c nbDecision=390500 #constraints=24160
873.55/873.80	c nbDecision=391000 #constraints=24216
875.95/876.30	c nbDecision=391500 #constraints=24257
879.15/879.44	c nbDecision=392000 #constraints=24300
882.55/882.81	c nbDecision=392500 #constraints=24348
884.95/885.28	c nbDecision=393000 #constraints=24378
886.65/886.94	c nbDecision=393500 #constraints=24406
888.35/888.63	c nbDecision=394000 #constraints=24438
890.85/891.12	c nbDecision=394500 #constraints=24477
892.65/892.95	c nbDecision=395000 #constraints=24505
895.15/895.41	c nbDecision=395500 #constraints=24541
897.46/897.74	c nbDecision=396000 #constraints=24575
899.15/899.42	c nbDecision=396500 #constraints=24595
900.75/901.06	c nbDecision=397000 #constraints=24619
902.86/903.17	c nbDecision=397500 #constraints=24658
905.35/905.64	c nbDecision=398000 #constraints=24701
907.05/907.33	c nbDecision=398500 #constraints=24728
909.05/909.31	c nbDecision=399000 #constraints=24760
910.95/911.27	c nbDecision=399500 #constraints=24799
912.95/913.27	c nbDecision=400000 #constraints=24830
914.95/915.21	c nbDecision=400500 #constraints=24856
916.84/917.15	c nbDecision=401000 #constraints=24886
918.74/919.08	c nbDecision=401500 #constraints=24926
920.35/920.61	c nbDecision=402000 #constraints=24950
923.04/923.36	c nbDecision=402500 #constraints=24995
926.34/926.62	c nbDecision=403000 #constraints=25048
929.44/929.78	c nbDecision=403500 #constraints=25099
932.54/932.83	c nbDecision=404000 #constraints=25153
934.65/934.94	c nbDecision=404500 #constraints=25184
937.34/937.63	c nbDecision=405000 #constraints=25222
939.24/939.58	c nbDecision=405500 #constraints=25246
940.54/940.86	c nbDecision=406000 #constraints=25260
942.54/942.88	c nbDecision=406500 #constraints=25295
945.14/945.49	c nbDecision=407000 #constraints=25350
947.44/947.77	c nbDecision=407500 #constraints=25387
950.04/950.33	c nbDecision=408000 #constraints=25423
952.64/952.91	c nbDecision=408500 #constraints=25459
954.83/955.18	c nbDecision=409000 #constraints=25497
957.13/957.44	c nbDecision=409500 #constraints=25537
957.63/957.90	c restart after 409601 decisions
959.03/959.34	c nbDecision=410000 #constraints=25546
960.83/961.13	c nbDecision=410500 #constraints=25572
963.03/963.38	c nbDecision=411000 #constraints=25606
964.73/965.01	c nbDecision=411500 #constraints=25625
967.63/967.98	c nbDecision=412000 #constraints=25667
969.33/969.64	c nbDecision=412500 #constraints=25690
971.83/972.11	c nbDecision=413000 #constraints=25726
974.93/975.22	c nbDecision=413500 #constraints=25773
977.23/977.55	c nbDecision=414000 #constraints=25805
979.13/979.40	c nbDecision=414500 #constraints=25825
981.02/981.35	c nbDecision=415000 #constraints=25851
983.03/983.31	c nbDecision=415500 #constraints=25887
985.52/985.82	c nbDecision=416000 #constraints=25924
988.32/988.66	c nbDecision=416500 #constraints=25963
990.52/990.81	c nbDecision=417000 #constraints=25992
992.32/992.69	c nbDecision=417500 #constraints=26018
995.12/995.47	c nbDecision=418000 #constraints=26058
996.92/997.28	c nbDecision=418500 #constraints=26080
998.62/998.90	c nbDecision=419000 #constraints=26099
1000.73/1001.05	c nbDecision=419500 #constraints=26133
1003.02/1003.34	c nbDecision=420000 #constraints=26173
1005.03/1005.32	c nbDecision=420500 #constraints=26203
1009.53/1009.81	c nbDecision=421000 #constraints=26265
1012.62/1012.96	c nbDecision=421500 #constraints=26307
1015.32/1015.69	c nbDecision=422000 #constraints=26341
1019.82/1020.19	c nbDecision=422500 #constraints=26390
1021.82/1022.12	c nbDecision=423000 #constraints=26410
1023.82/1024.10	c nbDecision=423500 #constraints=26431
1025.42/1025.76	c nbDecision=424000 #constraints=26452
1028.12/1028.40	c nbDecision=424500 #constraints=26486
1030.81/1031.10	c nbDecision=425000 #constraints=26531
1033.21/1033.52	c nbDecision=425500 #constraints=26574
1035.51/1035.88	c nbDecision=426000 #constraints=26612
1037.71/1038.02	c nbDecision=426500 #constraints=26645
1039.81/1040.12	c nbDecision=427000 #constraints=26672
1042.41/1042.71	c nbDecision=427500 #constraints=26709
1044.81/1045.13	c nbDecision=428000 #constraints=26743
1046.51/1046.85	c nbDecision=428500 #constraints=26769
1050.21/1050.50	c nbDecision=429000 #constraints=26817
1052.80/1053.16	c nbDecision=429500 #constraints=26857
1055.00/1055.33	c nbDecision=430000 #constraints=26889
1058.01/1058.32	c nbDecision=430500 #constraints=26938
1060.61/1060.94	c nbDecision=431000 #constraints=26978
1063.31/1063.65	c nbDecision=431500 #constraints=27015
1066.50/1066.83	c nbDecision=432000 #constraints=27057
1068.91/1069.21	c nbDecision=432500 #constraints=27089
1070.70/1071.02	c nbDecision=433000 #constraints=27110
1072.90/1073.22	c nbDecision=433500 #constraints=27137
1075.00/1075.34	c nbDecision=434000 #constraints=27166
1076.90/1077.30	c nbDecision=434500 #constraints=27187
1079.91/1080.22	c nbDecision=435000 #constraints=27231
1082.60/1082.93	c nbDecision=435500 #constraints=27265
1084.50/1084.85	c nbDecision=436000 #constraints=27289
1086.80/1087.19	c nbDecision=436500 #constraints=27316
1089.50/1089.81	c nbDecision=437000 #constraints=27351
1092.00/1092.36	c nbDecision=437500 #constraints=27383
1094.29/1094.64	c nbDecision=438000 #constraints=27416
1097.29/1097.70	c nbDecision=438500 #constraints=27465
1099.60/1099.90	c nbDecision=439000 #constraints=27499
1101.69/1102.09	c nbDecision=439500 #constraints=27526
1103.69/1104.01	c nbDecision=440000 #constraints=27551
1105.89/1106.23	c nbDecision=440500 #constraints=27584
1108.69/1109.08	c nbDecision=441000 #constraints=27619
1110.99/1111.38	c nbDecision=441500 #constraints=27655
1113.99/1114.31	c nbDecision=442000 #constraints=27692
1117.69/1118.06	c nbDecision=442500 #constraints=27740
1120.09/1120.41	c nbDecision=443000 #constraints=27773
1123.19/1123.55	c nbDecision=443500 #constraints=27815
1125.69/1126.04	c nbDecision=444000 #constraints=27856
1128.39/1128.72	c nbDecision=444500 #constraints=27894
1130.69/1131.02	c nbDecision=445000 #constraints=27927
1133.89/1134.27	c nbDecision=445500 #constraints=27970
1137.29/1137.61	c nbDecision=446000 #constraints=28023
1139.99/1140.39	c nbDecision=446500 #constraints=28064
1144.28/1144.66	c nbDecision=447000 #constraints=28122
1146.28/1146.64	c nbDecision=447500 #constraints=28147
1148.68/1149.08	c nbDecision=448000 #constraints=28184
1150.98/1151.39	c nbDecision=448500 #constraints=28212
1154.48/1154.85	c nbDecision=449000 #constraints=28249
1156.48/1156.86	c nbDecision=449500 #constraints=28276
1158.58/1158.98	c nbDecision=450000 #constraints=28305
1161.08/1161.42	c nbDecision=450500 #constraints=28334
1163.48/1163.82	c nbDecision=451000 #constraints=28364
1166.07/1166.47	c nbDecision=451500 #constraints=28392
1169.17/1169.55	c nbDecision=452000 #constraints=28427
1171.77/1172.13	c nbDecision=452500 #constraints=28460
1174.88/1175.20	c nbDecision=453000 #constraints=28496
1177.78/1178.15	c nbDecision=453500 #constraints=28527
1181.47/1181.86	c nbDecision=454000 #constraints=28586
1184.57/1184.96	c nbDecision=454500 #constraints=28626
1187.58/1187.99	c nbDecision=455000 #constraints=28662
1189.97/1190.30	c nbDecision=455500 #constraints=28700
1193.87/1194.25	c nbDecision=456000 #constraints=28758
1197.37/1197.74	c nbDecision=456500 #constraints=28798
1200.57/1200.97	c nbDecision=457000 #constraints=28841
1202.67/1203.00	c nbDecision=457500 #constraints=28870
1205.06/1205.46	c nbDecision=458000 #constraints=28903
1208.16/1208.52	c nbDecision=458500 #constraints=28945
1211.87/1212.22	c nbDecision=459000 #constraints=28997
1214.36/1214.79	c nbDecision=459500 #constraints=29037
1218.06/1218.41	c nbDecision=460000 #constraints=29088
1221.56/1221.90	c nbDecision=460500 #constraints=29136
1224.37/1224.75	c nbDecision=461000 #constraints=29177
1226.96/1227.35	c nbDecision=461500 #constraints=29213
1229.47/1229.86	c nbDecision=462000 #constraints=29243
1232.26/1232.62	c nbDecision=462500 #constraints=29280
1234.97/1235.31	c nbDecision=463000 #constraints=29315
1237.66/1238.05	c nbDecision=463500 #constraints=29352
1242.46/1242.86	c nbDecision=464000 #constraints=29408
1244.66/1245.08	c nbDecision=464500 #constraints=29442
1246.65/1247.04	c nbDecision=465000 #constraints=29476
1250.55/1250.91	c nbDecision=465500 #constraints=29527
1254.55/1254.95	c nbDecision=466000 #constraints=29580
1257.35/1257.70	c nbDecision=466500 #constraints=29615
1260.45/1260.85	c nbDecision=467000 #constraints=29655
1263.35/1263.79	c nbDecision=467500 #constraints=29693
1266.35/1266.75	c nbDecision=468000 #constraints=29735
1268.85/1269.29	c nbDecision=468500 #constraints=29779
1272.44/1272.83	c nbDecision=469000 #constraints=29830
1275.44/1275.89	c nbDecision=469500 #constraints=29867
1277.54/1277.95	c nbDecision=470000 #constraints=29896
1279.34/1279.79	c nbDecision=470500 #constraints=29925
1282.74/1283.13	c nbDecision=471000 #constraints=29967
1285.95/1286.36	c nbDecision=471500 #constraints=30008
1288.65/1289.02	c nbDecision=472000 #constraints=30046
1291.54/1291.95	c nbDecision=472500 #constraints=30088
1294.04/1294.42	c nbDecision=473000 #constraints=30120
1297.04/1297.48	c nbDecision=473500 #constraints=30158
1301.24/1301.68	c nbDecision=474000 #constraints=30215
1304.74/1305.18	c nbDecision=474500 #constraints=30253
1308.04/1308.49	c nbDecision=475000 #constraints=30295
1312.63/1313.06	c nbDecision=475500 #constraints=30347
1316.34/1316.77	c nbDecision=476000 #constraints=30383
1318.54/1318.96	c nbDecision=476500 #constraints=30413
1322.03/1322.43	c nbDecision=477000 #constraints=30450
1324.53/1324.97	c nbDecision=477500 #constraints=30483
1326.33/1326.77	c nbDecision=478000 #constraints=30511
1328.24/1328.66	c nbDecision=478500 #constraints=30539
1330.84/1331.29	c nbDecision=479000 #constraints=30575
1333.44/1333.89	c nbDecision=479500 #constraints=30602
1336.23/1336.62	c nbDecision=480000 #constraints=30637
1338.53/1338.92	c nbDecision=480500 #constraints=30672
1341.03/1341.40	c nbDecision=481000 #constraints=30702
1344.33/1344.78	c nbDecision=481500 #constraints=30735
1346.83/1347.23	c nbDecision=482000 #constraints=30758
1350.33/1350.79	c nbDecision=482500 #constraints=30793
1353.53/1353.97	c nbDecision=483000 #constraints=30825
1357.32/1357.75	c nbDecision=483500 #constraints=30865
1360.62/1361.08	c nbDecision=484000 #constraints=30902
1363.72/1364.13	c nbDecision=484500 #constraints=30935
1366.72/1367.18	c nbDecision=485000 #constraints=30962
1369.52/1369.95	c nbDecision=485500 #constraints=30989
1372.62/1373.08	c nbDecision=486000 #constraints=31019
1375.62/1376.10	c nbDecision=486500 #constraints=31046
1379.61/1380.01	c nbDecision=487000 #constraints=31090
1382.23/1382.64	c nbDecision=487500 #constraints=31118
1384.32/1384.70	c nbDecision=488000 #constraints=31139
1386.62/1387.06	c nbDecision=488500 #constraints=31166
1389.02/1389.44	c nbDecision=489000 #constraints=31193
1391.22/1391.68	c nbDecision=489500 #constraints=31218
1394.22/1394.60	c nbDecision=490000 #constraints=31249
1397.32/1397.79	c nbDecision=490500 #constraints=31282
1400.22/1400.60	c nbDecision=491000 #constraints=31313
1403.51/1403.93	c nbDecision=491500 #constraints=31350
1406.61/1407.08	c nbDecision=492000 #constraints=31383
1409.61/1410.09	c nbDecision=492500 #constraints=31409
1413.81/1414.26	c nbDecision=493000 #constraints=31450
1419.11/1419.58	c nbDecision=493500 #constraints=31502
1422.61/1423.04	c nbDecision=494000 #constraints=31534
1425.40/1425.85	c nbDecision=494500 #constraints=31563
1429.20/1429.62	c nbDecision=495000 #constraints=31598
1433.00/1433.40	c nbDecision=495500 #constraints=31632
1435.40/1435.82	c nbDecision=496000 #constraints=31658
1438.40/1438.89	c nbDecision=496500 #constraints=31689
1441.30/1441.75	c nbDecision=497000 #constraints=31718
1445.10/1445.54	c nbDecision=497500 #constraints=31758
1448.70/1449.11	c nbDecision=498000 #constraints=31793
1451.60/1452.03	c nbDecision=498500 #constraints=31824
1454.30/1454.78	c nbDecision=499000 #constraints=31853
1457.19/1457.62	c nbDecision=499500 #constraints=31882
1460.80/1461.20	c nbDecision=500000 #constraints=31918
1463.61/1464.04	c nbDecision=500500 #constraints=31950
1466.20/1466.69	c nbDecision=501000 #constraints=31984
1469.00/1469.50	c nbDecision=501500 #constraints=32016
1472.00/1472.47	c nbDecision=502000 #constraints=32047
1476.09/1476.56	c nbDecision=502500 #constraints=32095
1480.10/1480.51	c nbDecision=503000 #constraints=32131
1483.19/1483.69	c nbDecision=503500 #constraints=32161
1486.29/1486.75	c nbDecision=504000 #constraints=32190
1488.89/1489.36	c nbDecision=504500 #constraints=32215
1492.59/1493.07	c nbDecision=505000 #constraints=32260
1495.29/1495.71	c nbDecision=505500 #constraints=32289
1498.18/1498.64	c nbDecision=506000 #constraints=32324
1501.68/1502.12	c nbDecision=506500 #constraints=32359
1505.18/1505.65	c nbDecision=507000 #constraints=32393
1507.88/1508.32	c nbDecision=507500 #constraints=32417
1511.18/1511.61	c nbDecision=508000 #constraints=32446
1513.89/1514.37	c nbDecision=508500 #constraints=32475
1516.09/1516.59	c nbDecision=509000 #constraints=32499
1518.69/1519.19	c nbDecision=509500 #constraints=32530
1521.48/1521.96	c nbDecision=510000 #constraints=32561
1524.48/1524.97	c nbDecision=510500 #constraints=32598
1527.78/1528.29	c nbDecision=511000 #constraints=32636
1530.98/1531.46	c nbDecision=511500 #constraints=32673
1535.18/1535.64	c nbDecision=512000 #constraints=32709
1538.98/1539.43	c nbDecision=512500 #constraints=32745
1542.78/1543.25	c nbDecision=513000 #constraints=32781
1546.18/1546.60	c nbDecision=513500 #constraints=32818
1549.97/1550.45	c nbDecision=514000 #constraints=32856
1553.27/1553.73	c nbDecision=514500 #constraints=32894
1556.07/1556.51	c nbDecision=515000 #constraints=32924
1561.78/1562.28	c nbDecision=515500 #constraints=32973
1564.27/1564.73	c nbDecision=516000 #constraints=33007
1566.87/1567.32	c nbDecision=516500 #constraints=33036
1570.47/1570.91	c nbDecision=517000 #constraints=33080
1573.47/1573.91	c nbDecision=517500 #constraints=33123
1576.87/1577.38	c nbDecision=518000 #constraints=33158
1579.47/1579.93	c nbDecision=518500 #constraints=33186
1582.76/1583.25	c nbDecision=519000 #constraints=33219
1586.16/1586.69	c nbDecision=519500 #constraints=33249
1589.07/1589.51	c nbDecision=520000 #constraints=33282
1592.06/1592.56	c nbDecision=520500 #constraints=33315
1595.36/1595.88	c nbDecision=521000 #constraints=33349
1598.46/1598.98	c nbDecision=521500 #constraints=33380
1600.97/1601.40	c nbDecision=522000 #constraints=33407
1603.17/1603.62	c nbDecision=522500 #constraints=33434
1605.37/1605.87	c nbDecision=523000 #constraints=33461
1608.47/1608.96	c nbDecision=523500 #constraints=33490
1611.66/1612.12	c nbDecision=524000 #constraints=33520
1614.56/1615.05	c nbDecision=524500 #constraints=33550
1618.06/1618.50	c nbDecision=525000 #constraints=33581
1620.96/1621.43	c nbDecision=525500 #constraints=33608
1624.46/1624.97	c nbDecision=526000 #constraints=33642
1627.16/1627.69	c nbDecision=526500 #constraints=33672
1630.66/1631.19	c nbDecision=527000 #constraints=33715
1633.35/1633.88	c nbDecision=527500 #constraints=33742
1636.26/1636.70	c nbDecision=528000 #constraints=33770
1639.25/1639.70	c nbDecision=528500 #constraints=33805
1643.26/1643.75	c nbDecision=529000 #constraints=33845
1645.85/1646.30	c nbDecision=529500 #constraints=33875
1649.95/1650.40	c nbDecision=530000 #constraints=33915
1653.05/1653.52	c nbDecision=530500 #constraints=33947
1655.85/1656.31	c nbDecision=531000 #constraints=33977
1659.15/1659.69	c nbDecision=531500 #constraints=34026
1661.55/1662.06	c nbDecision=532000 #constraints=34064
1664.44/1664.96	c nbDecision=532500 #constraints=34101
1667.74/1668.24	c nbDecision=533000 #constraints=34144
1671.04/1671.54	c nbDecision=533500 #constraints=34183
1673.54/1674.08	c nbDecision=534000 #constraints=34211
1676.74/1677.23	c nbDecision=534500 #constraints=34242
1679.94/1680.48	c nbDecision=535000 #constraints=34272
1682.74/1683.25	c nbDecision=535500 #constraints=34301
1684.94/1685.42	c nbDecision=536000 #constraints=34323
1687.34/1687.84	c nbDecision=536500 #constraints=34357
1690.04/1690.54	c nbDecision=537000 #constraints=34396
1692.53/1693.05	c nbDecision=537500 #constraints=34433
1695.44/1695.92	c nbDecision=538000 #constraints=34481
1698.24/1698.77	c nbDecision=538500 #constraints=34529
1701.54/1702.09	c nbDecision=539000 #constraints=34560
1704.44/1704.92	c nbDecision=539500 #constraints=34591
1707.84/1708.35	c nbDecision=540000 #constraints=34636
1710.83/1711.36	c nbDecision=540500 #constraints=34671
1713.73/1714.26	c nbDecision=541000 #constraints=34701
1716.93/1717.45	c nbDecision=541500 #constraints=34742
1720.03/1720.58	c nbDecision=542000 #constraints=34793
1723.23/1723.71	c nbDecision=542500 #constraints=34835
1726.73/1727.25	c nbDecision=543000 #constraints=34886
1729.83/1730.31	c nbDecision=543500 #constraints=34927
1733.13/1733.66	c nbDecision=544000 #constraints=34969
1736.82/1737.37	c nbDecision=544500 #constraints=35023
1740.52/1741.09	c nbDecision=545000 #constraints=35076
1743.92/1744.43	c nbDecision=545500 #constraints=35114
1747.82/1748.32	c nbDecision=546000 #constraints=35161
1750.52/1751.08	c nbDecision=546500 #constraints=35198
1753.02/1753.59	c nbDecision=547000 #constraints=35232
1756.33/1756.89	c nbDecision=547500 #constraints=35273
1759.82/1760.31	c nbDecision=548000 #constraints=35314
1763.72/1764.30	c nbDecision=548500 #constraints=35364
1766.92/1767.49	c nbDecision=549000 #constraints=35400
1769.62/1770.10	c nbDecision=549500 #constraints=35423
1772.72/1773.23	c nbDecision=550000 #constraints=35453
1774.92/1775.44	c nbDecision=550500 #constraints=35478
1777.61/1778.17	c nbDecision=551000 #constraints=35503
1781.11/1781.64	c nbDecision=551500 #constraints=35540
1784.71/1785.26	c nbDecision=552000 #constraints=35577
1787.61/1788.13	c nbDecision=552500 #constraints=35603
1791.21/1791.75	c nbDecision=553000 #constraints=35642
1795.51/1796.03	c nbDecision=553500 #constraints=35679
1798.60/1799.16	c nbDecision=554000 #constraints=35712
1800.01/1800.50	Received signal 15
1800.01/1800.51	
1800.01/1800.51	s UNKNOWN
1800.01/1800.51	
1800.01/1800.51	c user time= 1799.59 s
1800.01/1800.51	c system time= 0.438933 s
1800.01/1800.51	c wall clock time=1800.51

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/node4/watcher-357443-1176999046 -o ROOT/results/node4/solver-357443-1176999046 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357443-1176999046/instance-357443-1176999046.opb mod 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10496
/proc/meminfo: memFree=1707032/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=1468 CPUtime=0
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 175942316 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 367 163 131 317 0 46 0

[startup+0.086927 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10496
/proc/meminfo: memFree=1707032/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=2924 CPUtime=0.08
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 557 0 0 0 8 0 0 0 18 0 1 0 175942316 2994176 539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711504 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 731 539 138 317 0 410 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2924

[startup+0.101928 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10496
/proc/meminfo: memFree=1707032/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=3080 CPUtime=0.09
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 575 0 0 0 9 0 0 0 18 0 1 0 175942316 3153920 557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 770 557 139 317 0 449 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3080

[startup+0.301947 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10496
/proc/meminfo: memFree=1707032/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=3220 CPUtime=0.29
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 645 0 0 0 29 0 0 0 19 0 1 0 175942316 3297280 627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 805 627 170 317 0 484 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3220

[startup+0.701985 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10496
/proc/meminfo: memFree=1707032/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=3752 CPUtime=0.69
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 784 0 0 0 69 0 0 0 23 0 1 0 175942316 3842048 766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718327 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 938 766 170 317 0 617 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3752

[startup+1.50106 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1704208/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=4664 CPUtime=1.49
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 1023 0 0 0 149 0 0 0 25 0 1 0 175942316 4775936 1005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593504 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 1166 1005 170 317 0 845 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4664

[startup+3.10221 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1702864/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=6156 CPUtime=3.09
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 1377 0 0 0 309 0 0 0 25 0 1 0 175942316 6303744 1359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 1539 1359 170 317 0 1218 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6156

[startup+6.30152 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1700368/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=8312 CPUtime=6.29
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 1890 0 0 0 628 1 0 0 25 0 1 0 175942316 8511488 1872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 2078 1872 170 317 0 1757 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8312

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1696848/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=11604 CPUtime=12.69
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 2715 0 0 0 1267 2 0 0 25 0 1 0 175942316 11882496 2697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 2901 2697 170 317 0 2580 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11604

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1693968/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=14500 CPUtime=25.48
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 3358 0 0 0 2546 2 0 0 25 0 1 0 175942316 14848000 3340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715618 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 3625 3340 170 317 0 3304 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14500

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1691152/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=17364 CPUtime=51.07
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 4071 0 0 0 5104 3 0 0 25 0 1 0 175942316 17780736 4053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 4341 4053 170 317 0 4020 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17364

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1686160/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=22632 CPUtime=102.26
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 5369 0 0 0 10221 5 0 0 25 0 1 0 175942316 23175168 5294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 5658 5294 170 317 0 5337 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 22632

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1681040/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=28412 CPUtime=162.25
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 6655 0 0 0 16218 7 0 0 25 0 1 0 175942316 29093888 6580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 7103 6580 170 317 0 6782 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 28412

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1677264/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=32304 CPUtime=222.23
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 7586 0 0 0 22215 8 0 0 25 0 1 0 175942316 33079296 7511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 8076 7511 170 317 0 7755 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 32304

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1673872/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=35776 CPUtime=282.22
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 8430 0 0 0 28212 10 0 0 25 0 1 0 175942316 36634624 8355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 8944 8355 170 317 0 8623 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 35776

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1670416/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=39412 CPUtime=342.21
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 9283 0 0 0 34209 12 0 0 25 0 1 0 175942316 40357888 9208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 9853 9208 170 317 0 9532 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 39412

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1667152/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=42392 CPUtime=402.19
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 10093 0 0 0 40206 13 0 0 25 0 1 0 175942316 43409408 10018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 10598 10018 170 317 0 10277 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 42392

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1664144/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=45852 CPUtime=462.17
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 10978 0 0 0 46203 14 0 0 25 0 1 0 175942316 46952448 10790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 11463 10790 170 317 0 11142 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 45852

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1661136/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=50104 CPUtime=522.16
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 12096 0 0 0 52200 16 0 0 25 0 1 0 175942316 51306496 11545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 12526 11545 170 317 0 12205 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 50104

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1657168/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=54164 CPUtime=582.14
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 13142 0 0 0 58196 18 0 0 25 0 1 0 175942316 55463936 12492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 13541 12492 170 317 0 13220 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 54164

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1653776/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=57832 CPUtime=642.12
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 14106 0 0 0 64193 19 0 0 25 0 1 0 175942316 59219968 13357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 14458 13357 170 317 0 14137 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 57832


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1639696/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=72860 CPUtime=882.05
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 17981 0 0 0 88180 25 0 0 25 0 1 0 175942316 74608640 16836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 18215 16836 170 317 0 17894 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 72860

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1636560/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=76392 CPUtime=942.04
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 18916 0 0 0 94177 27 0 0 25 0 1 0 175942316 78225408 17639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 19098 17639 170 317 0 18777 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 76392

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1633424/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=79064 CPUtime=1002.02
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 19683 0 0 0 100174 28 0 0 25 0 1 0 175942316 80961536 18406 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 19766 18406 170 317 0 19445 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 79064

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1630224/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=82256 CPUtime=1062.01
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 20525 0 0 0 106172 29 0 0 25 0 1 0 175942316 84230144 19215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 20564 19215 170 317 0 20243 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 82256

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1627216/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=85024 CPUtime=1121.99
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 21301 0 0 0 112168 31 0 0 25 0 1 0 175942316 87064576 19958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 21256 19958 170 317 0 20935 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 85024

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10497
/proc/meminfo: memFree=1624336/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=87648 CPUtime=1181.97
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 22039 0 0 0 118165 32 0 0 25 0 1 0 175942316 89751552 20696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 21912 20696 170 317 0 21591 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 87648

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 10499
/proc/meminfo: memFree=1621264/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=90536 CPUtime=1241.96
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 22840 0 0 0 124163 33 0 0 25 0 1 0 175942316 92708864 21431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 22634 21431 170 317 0 22313 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 90536

[startup+1302.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 10499
/proc/meminfo: memFree=1618256/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=93168 CPUtime=1301.94
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 23597 0 0 0 130160 34 0 0 25 0 1 0 175942316 95404032 22188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 23292 22188 170 317 0 22971 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 93168

[startup+1362.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 10499
/proc/meminfo: memFree=1615888/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=95636 CPUtime=1361.92
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 24255 0 0 0 136157 35 0 0 25 0 1 0 175942316 97931264 22780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 23909 22780 170 317 0 23588 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 95636

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10499
/proc/meminfo: memFree=1613648/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=97904 CPUtime=1421.91
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 24839 0 0 0 142155 36 0 0 25 0 1 0 175942316 100253696 23331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 24476 23331 170 317 0 24155 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 97904

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10499
/proc/meminfo: memFree=1611600/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=99816 CPUtime=1481.89
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 25383 0 0 0 148152 37 0 0 25 0 1 0 175942316 102211584 23875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 24954 23875 170 317 0 24633 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 99816

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10499
/proc/meminfo: memFree=1609552/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=101784 CPUtime=1541.88
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 25901 0 0 0 154150 38 0 0 25 0 1 0 175942316 104226816 24360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 25446 24360 170 317 0 25125 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 101784

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10499
/proc/meminfo: memFree=1607120/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=105556 CPUtime=1601.87
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 26953 0 0 0 160147 40 0 0 25 0 1 0 175942316 108089344 24988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 26389 24988 170 317 0 26068 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 105556

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10499
/proc/meminfo: memFree=1604752/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=110092 CPUtime=1661.85
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 28116 0 0 0 166144 41 0 0 25 0 1 0 175942316 112734208 25533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 27523 25533 170 317 0 27202 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 110092

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10499
/proc/meminfo: memFree=1602448/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=113352 CPUtime=1721.83
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 29005 0 0 0 172141 42 0 0 25 0 1 0 175942316 116072448 26161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 28338 26161 170 317 0 28017 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 113352

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10499
/proc/meminfo: memFree=1599824/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=116740 CPUtime=1781.81
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 29911 0 0 0 178138 43 0 0 25 0 1 0 175942316 119541760 26806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 29185 26806 170 317 0 28864 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 116740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10499
/proc/meminfo: memFree=1599248/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=117128 CPUtime=1800.01
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 30054 0 0 0 179958 43 0 0 25 0 1 0 175942316 119939072 26949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 29282 26949 170 317 0 28961 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 117128

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10499
/proc/meminfo: memFree=1599248/2055920 swapFree=4153812/4192956
[pid=10496] ppid=10494 vsize=117128 CPUtime=1800.01
/proc/10496/stat : 10496 (oree) R 10494 10496 9539 0 -1 4194304 30054 0 0 0 179958 43 0 0 25 0 1 0 175942316 119939072 26949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10496/statm: 29282 26949 170 317 0 28961 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 117128

Child status: 0
Real time (s): 1800.54
CPU time (s): 1800.05
CPU user time (s): 1799.6
CPU system time (s): 0.45793
CPU usage (%): 99.973
Max. virtual memory (cumulated for all children) (KiB): 117128

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

runsolver used 2.23666 second user time and 4.34534 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Thu Apr 19 16:10:46 UTC 2007

IDJOB= 357443
IDBENCH= 2641
IDSOLVER= 172
FILE ID= node4/357443-1176999046

PBS_JOBID= 4630445

Free space on /tmp= 66473 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_9.opb
COMMAND LINE= oree /tmp/evaluation/357443-1176999046/instance-357443-1176999046.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-357443-1176999046 -o ROOT/results/node4/solver-357443-1176999046 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357443-1176999046/instance-357443-1176999046.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  824c01e4395cf59ee9d4081be7b21301

RANDOM SEED= 504407095

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.218
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:       1707440 kB
Buffers:         37248 kB
Cached:         227824 kB
SwapCached:       2236 kB
Active:          78804 kB
Inactive:       210620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1707440 kB
SwapTotal:     4192956 kB
SwapFree:      4153812 kB
Dirty:            1520 kB
Writeback:           0 kB
Mapped:          31892 kB
Slab:            44504 kB
Committed_AS:  5291732 kB
PageTables:       1824 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= 66473 MiB

End job on node4 on Thu Apr 19 16:40:48 UTC 2007