Trace number 366880

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.16 1800.7

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_7.opb
MD5SUM4bc9c47dc743f36fab4669cf3c8ccd21
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark0.795878
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables238
Total number of constraints399
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints398
Minimum length of a constraint1
Maximum length of a constraint25
Number of terms in the objective function 6
Biggest coefficient in the objective function 21
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 52
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 69
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 362
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.02	c ...done
0.00/0.02	c #vars=238 #constraints=400 hasObjective=yes
0.00/0.02	c res. mode=mod
0.00/0.02	c VSIDS like heuristics
0.00/0.02	c complete search running
0.00/0.03	c restart after 401 decisions
0.00/0.03	c nbDecision=500 #constraints=404
0.00/0.03	c restart after 801 decisions
0.00/0.05	c nbDecision=1000 #constraints=435
0.00/0.06	c nbDecision=1500 #constraints=446
0.00/0.06	c restart after 1601 decisions
0.06/0.08	c nbDecision=2000 #constraints=471
0.06/0.09	c nbDecision=2500 #constraints=487
0.09/0.12	c nbDecision=3000 #constraints=528
0.09/0.13	c restart after 3201 decisions
0.09/0.15	c nbDecision=3500 #constraints=578
0.09/0.17	c nbDecision=4000 #constraints=598
0.19/0.22	c nbDecision=4500 #constraints=669
0.29/0.31	c nbDecision=5000 #constraints=811
0.39/0.46	c nbDecision=5500 #constraints=977
0.49/0.52	c nbDecision=6000 #constraints=1058
0.49/0.55	c restart after 6401 decisions
0.49/0.55	c nbDecision=6500 #constraints=1092
0.59/0.61	c nbDecision=7000 #constraints=1157
0.59/0.67	c nbDecision=7500 #constraints=1200
0.59/0.69	c nbDecision=8000 #constraints=1224
0.69/0.71	c nbDecision=8500 #constraints=1243
0.69/0.75	c nbDecision=9000 #constraints=1278
0.69/0.79	c nbDecision=9500 #constraints=1307
0.79/0.81	c nbDecision=10000 #constraints=1322
0.79/0.82	c nbDecision=10500 #constraints=1340
0.79/0.84	c nbDecision=11000 #constraints=1355
0.79/0.86	c nbDecision=11500 #constraints=1371
0.79/0.89	c nbDecision=12000 #constraints=1389
0.89/0.92	c nbDecision=12500 #constraints=1407
0.89/0.93	c restart after 12801 decisions
0.89/0.94	c nbDecision=13000 #constraints=1417
0.89/0.97	c nbDecision=13500 #constraints=1442
0.89/1.00	c nbDecision=14000 #constraints=1485
0.99/1.02	c nbDecision=14500 #constraints=1507
0.99/1.05	c nbDecision=15000 #constraints=1538
0.99/1.08	c nbDecision=15500 #constraints=1562
0.99/1.09	c nbDecision=16000 #constraints=1571
1.09/1.13	c nbDecision=16500 #constraints=1609
1.09/1.15	c nbDecision=17000 #constraints=1618
1.09/1.16	c nbDecision=17500 #constraints=1630
1.09/1.17	c nbDecision=18000 #constraints=1644
1.19/1.20	c nbDecision=18500 #constraints=1665
1.19/1.25	c nbDecision=19000 #constraints=1697
1.19/1.27	c nbDecision=19500 #constraints=1711
1.29/1.31	c nbDecision=20000 #constraints=1742
1.29/1.33	c nbDecision=20500 #constraints=1753
1.29/1.36	c nbDecision=21000 #constraints=1769
1.29/1.37	c nbDecision=21500 #constraints=1780
1.29/1.39	c nbDecision=22000 #constraints=1793
1.39/1.41	c nbDecision=22500 #constraints=1808
1.39/1.45	c nbDecision=23000 #constraints=1831
1.39/1.47	c nbDecision=23500 #constraints=1844
1.39/1.50	c nbDecision=24000 #constraints=1865
1.49/1.51	c nbDecision=24500 #constraints=1884
1.49/1.55	c nbDecision=25000 #constraints=1916
1.49/1.58	c nbDecision=25500 #constraints=1939
1.49/1.59	c restart after 25601 decisions
1.59/1.68	c nbDecision=26000 #constraints=1990
1.79/1.83	c nbDecision=26500 #constraints=2076
1.79/1.88	c nbDecision=27000 #constraints=2100
1.90/1.97	c nbDecision=27500 #constraints=2145
2.00/2.04	c nbDecision=28000 #constraints=2177
2.00/2.07	c nbDecision=28500 #constraints=2197
2.00/2.09	c nbDecision=29000 #constraints=2223
2.10/2.12	c nbDecision=29500 #constraints=2242
2.10/2.15	c nbDecision=30000 #constraints=2260
2.10/2.17	c nbDecision=30500 #constraints=2272
2.20/2.20	c nbDecision=31000 #constraints=2299
2.20/2.24	c nbDecision=31500 #constraints=2323
2.20/2.26	c nbDecision=32000 #constraints=2337
2.20/2.29	c nbDecision=32500 #constraints=2349
2.30/2.32	c nbDecision=33000 #constraints=2368
2.30/2.33	c nbDecision=33500 #constraints=2380
2.30/2.37	c nbDecision=34000 #constraints=2403
2.39/2.41	c nbDecision=34500 #constraints=2424
2.39/2.46	c nbDecision=35000 #constraints=2443
2.49/2.50	c nbDecision=35500 #constraints=2463
2.49/2.53	c nbDecision=36000 #constraints=2483
2.49/2.56	c nbDecision=36500 #constraints=2501
2.59/2.61	c nbDecision=37000 #constraints=2524
2.59/2.66	c nbDecision=37500 #constraints=2548
2.69/2.71	c nbDecision=38000 #constraints=2573
2.69/2.76	c nbDecision=38500 #constraints=2593
2.79/2.80	c nbDecision=39000 #constraints=2619
2.79/2.85	c nbDecision=39500 #constraints=2637
2.89/2.90	c nbDecision=40000 #constraints=2656
2.89/2.94	c nbDecision=40500 #constraints=2670
2.99/3.01	c nbDecision=41000 #constraints=2696
2.99/3.06	c nbDecision=41500 #constraints=2718
3.09/3.12	c nbDecision=42000 #constraints=2743
3.20/3.21	c nbDecision=42500 #constraints=2781
3.20/3.28	c nbDecision=43000 #constraints=2811
3.30/3.36	c nbDecision=43500 #constraints=2841
3.39/3.44	c nbDecision=44000 #constraints=2874
3.49/3.53	c nbDecision=44500 #constraints=2911
3.59/3.63	c nbDecision=45000 #constraints=2948
3.69/3.70	c nbDecision=45500 #constraints=2972
3.69/3.77	c nbDecision=46000 #constraints=3001
3.79/3.85	c nbDecision=46500 #constraints=3033
3.89/3.95	c nbDecision=47000 #constraints=3070
3.99/4.02	c nbDecision=47500 #constraints=3092
4.09/4.11	c nbDecision=48000 #constraints=3118
4.19/4.21	c nbDecision=48500 #constraints=3150
4.30/4.31	c nbDecision=49000 #constraints=3183
4.40/4.48	c nbDecision=49500 #constraints=3234
4.59/4.61	c nbDecision=50000 #constraints=3273
4.69/4.73	c nbDecision=50500 #constraints=3311
4.79/4.86	c nbDecision=51000 #constraints=3353
4.89/4.90	c restart after 51201 decisions
4.89/4.98	c nbDecision=51500 #constraints=3371
4.99/5.05	c nbDecision=52000 #constraints=3388
5.09/5.11	c nbDecision=52500 #constraints=3400
5.09/5.17	c nbDecision=53000 #constraints=3414
5.19/5.23	c nbDecision=53500 #constraints=3427
5.19/5.29	c nbDecision=54000 #constraints=3441
5.29/5.36	c nbDecision=54500 #constraints=3456
5.39/5.43	c nbDecision=55000 #constraints=3470
5.39/5.49	c nbDecision=55500 #constraints=3483
5.49/5.57	c nbDecision=56000 #constraints=3505
5.59/5.64	c nbDecision=56500 #constraints=3522
5.69/5.73	c nbDecision=57000 #constraints=3544
5.69/5.80	c nbDecision=57500 #constraints=3562
5.89/5.91	c nbDecision=58000 #constraints=3593
5.89/5.98	c nbDecision=58500 #constraints=3608
5.99/6.07	c nbDecision=59000 #constraints=3631
6.09/6.18	c nbDecision=59500 #constraints=3657
6.19/6.28	c nbDecision=60000 #constraints=3683
6.29/6.35	c nbDecision=60500 #constraints=3699
6.39/6.45	c nbDecision=61000 #constraints=3719
6.49/6.52	c nbDecision=61500 #constraints=3734
6.49/6.59	c nbDecision=62000 #constraints=3748
6.59/6.67	c nbDecision=62500 #constraints=3764
6.69/6.75	c nbDecision=63000 #constraints=3782
6.79/6.83	c nbDecision=63500 #constraints=3800
6.89/6.90	c nbDecision=64000 #constraints=3817
6.99/7.00	c nbDecision=64500 #constraints=3837
6.99/7.08	c nbDecision=65000 #constraints=3852
7.19/7.21	c nbDecision=65500 #constraints=3876
7.29/7.30	c nbDecision=66000 #constraints=3900
7.39/7.40	c nbDecision=66500 #constraints=3930
7.39/7.49	c nbDecision=67000 #constraints=3955
7.59/7.62	c nbDecision=67500 #constraints=3980
7.69/7.73	c nbDecision=68000 #constraints=4007
7.79/7.83	c nbDecision=68500 #constraints=4028
7.89/7.96	c nbDecision=69000 #constraints=4056
8.08/8.14	c nbDecision=69500 #constraints=4091
8.18/8.28	c nbDecision=70000 #constraints=4118
8.38/8.43	c nbDecision=70500 #constraints=4146
8.48/8.53	c nbDecision=71000 #constraints=4163
8.69/8.71	c nbDecision=71500 #constraints=4191
8.79/8.85	c nbDecision=72000 #constraints=4210
8.98/9.03	c nbDecision=72500 #constraints=4230
9.09/9.14	c nbDecision=73000 #constraints=4252
9.19/9.28	c nbDecision=73500 #constraints=4274
9.29/9.39	c nbDecision=74000 #constraints=4291
9.49/9.51	c nbDecision=74500 #constraints=4313
9.59/9.65	c nbDecision=75000 #constraints=4339
9.80/9.84	c nbDecision=75500 #constraints=4365
9.90/9.99	c nbDecision=76000 #constraints=4392
10.19/10.20	c nbDecision=76500 #constraints=4427
10.29/10.39	c nbDecision=77000 #constraints=4449
10.49/10.57	c nbDecision=77500 #constraints=4473
10.69/10.78	c nbDecision=78000 #constraints=4507
10.89/10.94	c nbDecision=78500 #constraints=4532
11.09/11.17	c nbDecision=79000 #constraints=4566
11.49/11.51	c nbDecision=79500 #constraints=4616
11.69/11.70	c nbDecision=80000 #constraints=4648
11.79/11.90	c nbDecision=80500 #constraints=4676
12.09/12.18	c nbDecision=81000 #constraints=4710
12.39/12.42	c nbDecision=81500 #constraints=4745
12.69/12.72	c nbDecision=82000 #constraints=4782
12.89/12.90	c nbDecision=82500 #constraints=4806
13.09/13.16	c nbDecision=83000 #constraints=4836
13.29/13.33	c nbDecision=83500 #constraints=4859
13.59/13.62	c nbDecision=84000 #constraints=4895
13.79/13.82	c nbDecision=84500 #constraints=4921
13.99/14.02	c nbDecision=85000 #constraints=4945
14.29/14.30	c nbDecision=85500 #constraints=4981
14.49/14.59	c nbDecision=86000 #constraints=5016
14.89/14.93	c nbDecision=86500 #constraints=5066
15.09/15.16	c nbDecision=87000 #constraints=5095
15.29/15.37	c nbDecision=87500 #constraints=5122
15.49/15.59	c nbDecision=88000 #constraints=5148
16.09/16.14	c nbDecision=88500 #constraints=5209
16.69/16.78	c nbDecision=89000 #constraints=5282
17.29/17.35	c nbDecision=89500 #constraints=5350
17.49/17.60	c nbDecision=90000 #constraints=5387
17.79/17.88	c nbDecision=90500 #constraints=5434
17.99/18.09	c nbDecision=91000 #constraints=5470
18.39/18.41	c nbDecision=91500 #constraints=5508
18.79/18.83	c nbDecision=92000 #constraints=5557
19.08/19.14	c nbDecision=92500 #constraints=5596
19.38/19.42	c nbDecision=93000 #constraints=5644
19.58/19.64	c nbDecision=93500 #constraints=5677
19.78/19.86	c nbDecision=94000 #constraints=5706
20.08/20.15	c nbDecision=94500 #constraints=5741
20.28/20.36	c nbDecision=95000 #constraints=5771
20.58/20.63	c nbDecision=95500 #constraints=5808
20.89/20.92	c nbDecision=96000 #constraints=5847
21.08/21.17	c nbDecision=96500 #constraints=5880
21.28/21.34	c nbDecision=97000 #constraints=5907
21.48/21.56	c nbDecision=97500 #constraints=5940
21.78/21.81	c nbDecision=98000 #constraints=5974
21.99/22.06	c nbDecision=98500 #constraints=6008
22.19/22.29	c nbDecision=99000 #constraints=6042
22.49/22.59	c nbDecision=99500 #constraints=6084
22.69/22.75	c nbDecision=100000 #constraints=6110
22.89/22.98	c nbDecision=100500 #constraints=6147
23.29/23.32	c nbDecision=101000 #constraints=6201
23.89/23.90	c nbDecision=101500 #constraints=6269
24.29/24.35	c nbDecision=102000 #constraints=6318
24.59/24.69	c restart after 102401 decisions
24.79/24.89	c nbDecision=102500 #constraints=6361
25.09/25.13	c nbDecision=103000 #constraints=6386
25.29/25.38	c nbDecision=103500 #constraints=6418
25.59/25.64	c nbDecision=104000 #constraints=6451
25.79/25.88	c nbDecision=104500 #constraints=6483
26.09/26.13	c nbDecision=105000 #constraints=6516
26.49/26.52	c nbDecision=105500 #constraints=6569
26.79/26.86	c nbDecision=106000 #constraints=6610
27.29/27.33	c nbDecision=106500 #constraints=6665
27.59/27.61	c nbDecision=107000 #constraints=6705
27.79/27.83	c nbDecision=107500 #constraints=6738
28.29/28.33	c nbDecision=108000 #constraints=6807
28.59/28.60	c nbDecision=108500 #constraints=6842
28.79/28.86	c nbDecision=109000 #constraints=6876
29.09/29.12	c nbDecision=109500 #constraints=6910
29.29/29.39	c nbDecision=110000 #constraints=6943
29.69/29.75	c nbDecision=110500 #constraints=6991
30.09/30.14	c nbDecision=111000 #constraints=7041
30.38/30.49	c nbDecision=111500 #constraints=7089
30.88/30.98	c nbDecision=112000 #constraints=7164
31.28/31.30	c nbDecision=112500 #constraints=7182
31.48/31.52	c nbDecision=113000 #constraints=7201
31.68/31.79	c nbDecision=113500 #constraints=7211
31.98/32.09	c nbDecision=114000 #constraints=7225
32.28/32.30	c nbDecision=114500 #constraints=7244
32.38/32.45	c nbDecision=115000 #constraints=7265
32.58/32.64	c nbDecision=115500 #constraints=7284
32.68/32.76	c nbDecision=116000 #constraints=7325
32.99/33.03	c nbDecision=116500 #constraints=7347
33.28/33.39	c nbDecision=117000 #constraints=7378
33.58/33.65	c nbDecision=117500 #constraints=7391
33.88/33.97	c nbDecision=118000 #constraints=7412
34.18/34.25	c nbDecision=118500 #constraints=7433
34.48/34.55	c nbDecision=119000 #constraints=7463
34.98/35.01	c nbDecision=119500 #constraints=7488
35.28/35.39	c nbDecision=120000 #constraints=7517
35.78/35.88	c nbDecision=120500 #constraints=7546
36.28/36.32	c nbDecision=121000 #constraints=7573
36.78/36.80	c nbDecision=121500 #constraints=7603
37.08/37.15	c nbDecision=122000 #constraints=7648
37.58/37.68	c nbDecision=122500 #constraints=7681
38.18/38.30	c nbDecision=123000 #constraints=7713
38.68/38.75	c nbDecision=123500 #constraints=7739
39.18/39.26	c nbDecision=124000 #constraints=7765
39.88/39.98	c nbDecision=124500 #constraints=7808
40.28/40.30	c nbDecision=125000 #constraints=7821
40.68/40.71	c nbDecision=125500 #constraints=7843
41.18/41.29	c nbDecision=126000 #constraints=7874
41.68/41.77	c nbDecision=126500 #constraints=7902
42.08/42.11	c nbDecision=127000 #constraints=7917
42.48/42.57	c nbDecision=127500 #constraints=7941
43.08/43.12	c nbDecision=128000 #constraints=7972
43.88/43.98	c nbDecision=128500 #constraints=8023
44.68/44.75	c nbDecision=129000 #constraints=8065
45.18/45.22	c nbDecision=129500 #constraints=8089
45.58/45.64	c nbDecision=130000 #constraints=8109
46.08/46.16	c nbDecision=130500 #constraints=8136
46.67/46.77	c nbDecision=131000 #constraints=8169
47.28/47.31	c nbDecision=131500 #constraints=8199
47.87/47.93	c nbDecision=132000 #constraints=8233
48.47/48.60	c nbDecision=132500 #constraints=8267
49.07/49.16	c nbDecision=133000 #constraints=8302
49.57/49.69	c nbDecision=133500 #constraints=8327
50.17/50.29	c nbDecision=134000 #constraints=8358
50.77/50.80	c nbDecision=134500 #constraints=8384
51.27/51.31	c nbDecision=135000 #constraints=8408
51.77/51.88	c nbDecision=135500 #constraints=8434
52.37/52.43	c nbDecision=136000 #constraints=8462
52.97/53.00	c nbDecision=136500 #constraints=8489
53.47/53.57	c nbDecision=137000 #constraints=8525
54.07/54.14	c nbDecision=137500 #constraints=8566
54.67/54.78	c nbDecision=138000 #constraints=8605
55.27/55.33	c nbDecision=138500 #constraints=8637
55.87/55.94	c nbDecision=139000 #constraints=8675
56.37/56.41	c nbDecision=139500 #constraints=8715
56.87/56.91	c nbDecision=140000 #constraints=8751
57.47/57.57	c nbDecision=140500 #constraints=8808
58.07/58.13	c nbDecision=141000 #constraints=8848
58.97/59.08	c nbDecision=141500 #constraints=8906
59.87/59.91	c nbDecision=142000 #constraints=8952
60.27/60.36	c nbDecision=142500 #constraints=8988
60.78/60.81	c nbDecision=143000 #constraints=9030
61.28/61.33	c nbDecision=143500 #constraints=9063
62.08/62.15	c nbDecision=144000 #constraints=9114
62.98/63.00	c nbDecision=144500 #constraints=9163
63.78/63.87	c nbDecision=145000 #constraints=9214
64.58/64.69	c nbDecision=145500 #constraints=9261
65.48/65.59	c nbDecision=146000 #constraints=9304
66.18/66.20	c nbDecision=146500 #constraints=9333
66.48/66.52	c nbDecision=147000 #constraints=9356
66.88/66.98	c nbDecision=147500 #constraints=9369
67.38/67.44	c nbDecision=148000 #constraints=9405
67.68/67.74	c nbDecision=148500 #constraints=9434
68.18/68.21	c nbDecision=149000 #constraints=9460
68.48/68.59	c nbDecision=149500 #constraints=9476
68.98/69.02	c nbDecision=150000 #constraints=9500
69.38/69.46	c nbDecision=150500 #constraints=9526
69.78/69.89	c nbDecision=151000 #constraints=9543
70.48/70.55	c nbDecision=151500 #constraints=9576
71.28/71.33	c nbDecision=152000 #constraints=9613
71.98/72.01	c nbDecision=152500 #constraints=9645
72.38/72.42	c nbDecision=153000 #constraints=9664
72.87/72.96	c nbDecision=153500 #constraints=9688
73.68/73.74	c nbDecision=154000 #constraints=9729
74.27/74.35	c nbDecision=154500 #constraints=9758
74.68/74.73	c nbDecision=155000 #constraints=9771
75.07/75.19	c nbDecision=155500 #constraints=9798
75.57/75.67	c nbDecision=156000 #constraints=9819
76.07/76.19	c nbDecision=156500 #constraints=9846
76.57/76.67	c nbDecision=157000 #constraints=9866
77.07/77.17	c nbDecision=157500 #constraints=9892
77.47/77.55	c nbDecision=158000 #constraints=9909
78.27/78.36	c nbDecision=158500 #constraints=9943
78.77/78.88	c nbDecision=159000 #constraints=9967
79.47/79.50	c nbDecision=159500 #constraints=9995
79.87/79.93	c nbDecision=160000 #constraints=10016
80.67/80.74	c nbDecision=160500 #constraints=10055
81.07/81.19	c nbDecision=161000 #constraints=10081
81.57/81.64	c nbDecision=161500 #constraints=10109
82.27/82.33	c nbDecision=162000 #constraints=10141
83.07/83.10	c nbDecision=162500 #constraints=10175
83.67/83.77	c nbDecision=163000 #constraints=10207
84.17/84.28	c nbDecision=163500 #constraints=10236
84.67/84.78	c nbDecision=164000 #constraints=10259
85.27/85.37	c nbDecision=164500 #constraints=10292
85.87/85.92	c nbDecision=165000 #constraints=10319
86.27/86.37	c nbDecision=165500 #constraints=10338
86.77/86.89	c nbDecision=166000 #constraints=10366
87.47/87.57	c nbDecision=166500 #constraints=10408
88.17/88.20	c nbDecision=167000 #constraints=10439
88.77/88.83	c nbDecision=167500 #constraints=10467
89.17/89.26	c nbDecision=168000 #constraints=10484
89.67/89.74	c nbDecision=168500 #constraints=10499
90.07/90.18	c nbDecision=169000 #constraints=10521
90.46/90.55	c nbDecision=169500 #constraints=10542
91.17/91.25	c nbDecision=170000 #constraints=10574
91.56/91.62	c nbDecision=170500 #constraints=10589
91.86/91.97	c nbDecision=171000 #constraints=10609
92.46/92.50	c nbDecision=171500 #constraints=10628
92.86/92.94	c nbDecision=172000 #constraints=10646
93.47/93.52	c nbDecision=172500 #constraints=10665
93.96/94.00	c nbDecision=173000 #constraints=10680
94.47/94.50	c nbDecision=173500 #constraints=10698
94.96/95.03	c nbDecision=174000 #constraints=10716
95.46/95.53	c nbDecision=174500 #constraints=10735
96.06/96.12	c nbDecision=175000 #constraints=10754
96.67/96.71	c nbDecision=175500 #constraints=10773
97.06/97.17	c nbDecision=176000 #constraints=10796
98.06/98.15	c nbDecision=176500 #constraints=10834
98.56/98.67	c nbDecision=177000 #constraints=10853
99.37/99.44	c nbDecision=177500 #constraints=10882
99.97/100.07	c nbDecision=178000 #constraints=10911
100.67/100.77	c nbDecision=178500 #constraints=10942
101.27/101.37	c nbDecision=179000 #constraints=10966
102.07/102.13	c nbDecision=179500 #constraints=10999
102.77/102.86	c nbDecision=180000 #constraints=11028
103.27/103.39	c nbDecision=180500 #constraints=11047
104.07/104.11	c nbDecision=181000 #constraints=11079
104.47/104.59	c nbDecision=181500 #constraints=11099
105.17/105.22	c nbDecision=182000 #constraints=11128
105.77/105.84	c nbDecision=182500 #constraints=11153
106.27/106.30	c nbDecision=183000 #constraints=11176
106.57/106.69	c nbDecision=183500 #constraints=11198
106.97/107.09	c nbDecision=184000 #constraints=11226
107.37/107.46	c nbDecision=184500 #constraints=11253
107.77/107.87	c nbDecision=185000 #constraints=11276
108.27/108.33	c nbDecision=185500 #constraints=11298
108.77/108.81	c nbDecision=186000 #constraints=11316
109.17/109.26	c nbDecision=186500 #constraints=11344
109.77/109.81	c nbDecision=187000 #constraints=11365
110.17/110.23	c nbDecision=187500 #constraints=11409
110.57/110.67	c nbDecision=188000 #constraints=11439
111.37/111.45	c nbDecision=188500 #constraints=11476
112.17/112.22	c nbDecision=189000 #constraints=11523
113.07/113.17	c nbDecision=189500 #constraints=11577
113.86/113.94	c nbDecision=190000 #constraints=11614
114.86/114.91	c nbDecision=190500 #constraints=11666
115.86/115.98	c nbDecision=191000 #constraints=11707
117.16/117.22	c nbDecision=191500 #constraints=11743
117.67/117.70	c nbDecision=192000 #constraints=11763
118.06/118.17	c nbDecision=192500 #constraints=11776
118.77/118.81	c nbDecision=193000 #constraints=11799
119.16/119.25	c nbDecision=193500 #constraints=11817
119.56/119.68	c nbDecision=194000 #constraints=11836
120.26/120.31	c nbDecision=194500 #constraints=11854
120.76/120.87	c nbDecision=195000 #constraints=11873
121.76/121.81	c nbDecision=195500 #constraints=11916
122.66/122.70	c nbDecision=196000 #constraints=11954
123.46/123.58	c nbDecision=196500 #constraints=11995
124.46/124.58	c nbDecision=197000 #constraints=12039
125.75/125.85	c nbDecision=197500 #constraints=12091
126.36/126.47	c nbDecision=198000 #constraints=12113
126.95/127.00	c nbDecision=198500 #constraints=12133
127.57/127.68	c nbDecision=199000 #constraints=12160
128.86/129.00	c nbDecision=199500 #constraints=12202
129.86/129.90	c nbDecision=200000 #constraints=12234
130.56/130.66	c nbDecision=200500 #constraints=12263
131.26/131.37	c nbDecision=201000 #constraints=12290
132.36/132.43	c nbDecision=201500 #constraints=12335
133.26/133.39	c nbDecision=202000 #constraints=12373
133.76/133.86	c nbDecision=202500 #constraints=12395
134.46/134.52	c nbDecision=203000 #constraints=12421
135.16/135.23	c nbDecision=203500 #constraints=12444
136.26/136.33	c nbDecision=204000 #constraints=12480
137.36/137.42	c nbDecision=204500 #constraints=12516
137.66/137.74	c restart after 204801 decisions
138.06/138.18	c nbDecision=205000 #constraints=12529
139.26/139.34	c nbDecision=205500 #constraints=12558
140.26/140.30	c nbDecision=206000 #constraints=12580
140.86/140.99	c nbDecision=206500 #constraints=12600
141.56/141.61	c nbDecision=207000 #constraints=12631
142.06/142.16	c nbDecision=207500 #constraints=12663
142.36/142.46	c nbDecision=208000 #constraints=12690
142.66/142.77	c nbDecision=208500 #constraints=12709
142.96/143.07	c nbDecision=209000 #constraints=12726
143.26/143.31	c nbDecision=209500 #constraints=12742
143.56/143.63	c nbDecision=210000 #constraints=12769
144.06/144.13	c nbDecision=210500 #constraints=12804
144.45/144.50	c nbDecision=211000 #constraints=12828
144.75/144.83	c nbDecision=211500 #constraints=12854
145.06/145.18	c nbDecision=212000 #constraints=12893
145.45/145.55	c nbDecision=212500 #constraints=12927
145.75/145.86	c nbDecision=213000 #constraints=12958
146.16/146.22	c nbDecision=213500 #constraints=12981
146.45/146.59	c nbDecision=214000 #constraints=13017
146.75/146.89	c nbDecision=214500 #constraints=13056
147.05/147.16	c nbDecision=215000 #constraints=13092
147.36/147.49	c nbDecision=215500 #constraints=13117
147.75/147.82	c nbDecision=216000 #constraints=13165
148.05/148.13	c nbDecision=216500 #constraints=13200
148.45/148.51	c nbDecision=217000 #constraints=13255
148.85/148.94	c nbDecision=217500 #constraints=13319
149.46/149.57	c nbDecision=218000 #constraints=13415
149.85/149.95	c nbDecision=218500 #constraints=13469
150.05/150.17	c nbDecision=219000 #constraints=13494
150.25/150.37	c nbDecision=219500 #constraints=13522
150.45/150.58	c nbDecision=220000 #constraints=13549
150.66/150.78	c nbDecision=220500 #constraints=13580
150.85/150.99	c nbDecision=221000 #constraints=13617
151.35/151.40	c nbDecision=221500 #constraints=13658
151.65/151.77	c nbDecision=222000 #constraints=13701
151.95/152.05	c nbDecision=222500 #constraints=13738
152.25/152.30	c nbDecision=223000 #constraints=13774
152.55/152.62	c nbDecision=223500 #constraints=13826
153.05/153.11	c nbDecision=224000 #constraints=13887
153.75/153.85	c nbDecision=224500 #constraints=13968
154.35/154.49	c nbDecision=225000 #constraints=14036
154.65/154.77	c nbDecision=225500 #constraints=14084
154.95/155.07	c nbDecision=226000 #constraints=14131
155.45/155.53	c nbDecision=226500 #constraints=14185
155.95/156.05	c nbDecision=227000 #constraints=14240
156.35/156.47	c nbDecision=227500 #constraints=14274
156.65/156.76	c nbDecision=228000 #constraints=14329
157.05/157.20	c nbDecision=228500 #constraints=14377
157.95/158.01	c nbDecision=229000 #constraints=14421
158.75/158.80	c nbDecision=229500 #constraints=14446
159.65/159.71	c nbDecision=230000 #constraints=14476
160.65/160.72	c nbDecision=230500 #constraints=14505
161.55/161.70	c nbDecision=231000 #constraints=14532
162.95/163.08	c nbDecision=231500 #constraints=14575
164.65/164.71	c nbDecision=232000 #constraints=14630
165.96/166.02	c nbDecision=232500 #constraints=14670
167.95/168.01	c nbDecision=233000 #constraints=14735
170.05/170.19	c nbDecision=233500 #constraints=14807
171.85/171.92	c nbDecision=234000 #constraints=14861
173.45/173.58	c nbDecision=234500 #constraints=14906
175.05/175.14	c nbDecision=235000 #constraints=14957
176.55/176.60	c nbDecision=235500 #constraints=15005
177.35/177.43	c nbDecision=236000 #constraints=15038
178.05/178.11	c nbDecision=236500 #constraints=15085
178.75/178.89	c nbDecision=237000 #constraints=15148
179.25/179.35	c nbDecision=237500 #constraints=15173
179.85/179.98	c nbDecision=238000 #constraints=15184
180.85/180.95	c nbDecision=238500 #constraints=15214
182.15/182.28	c nbDecision=239000 #constraints=15253
183.85/183.98	c nbDecision=239500 #constraints=15306
185.35/185.42	c nbDecision=240000 #constraints=15349
186.25/186.31	c nbDecision=240500 #constraints=15371
187.35/187.49	c nbDecision=241000 #constraints=15401
188.94/189.05	c nbDecision=241500 #constraints=15450
190.84/190.92	c nbDecision=242000 #constraints=15506
191.84/191.92	c nbDecision=242500 #constraints=15533
193.04/193.17	c nbDecision=243000 #constraints=15575
193.94/194.09	c nbDecision=243500 #constraints=15608
195.04/195.11	c nbDecision=244000 #constraints=15650
196.14/196.27	c nbDecision=244500 #constraints=15685
197.94/198.05	c nbDecision=245000 #constraints=15735
199.44/199.56	c nbDecision=245500 #constraints=15781
200.34/200.47	c nbDecision=246000 #constraints=15815
201.54/201.61	c nbDecision=246500 #constraints=15854
202.74/202.83	c nbDecision=247000 #constraints=15898
203.54/203.65	c nbDecision=247500 #constraints=15927
204.84/204.96	c nbDecision=248000 #constraints=15970
206.74/206.83	c nbDecision=248500 #constraints=16023
207.94/208.04	c nbDecision=249000 #constraints=16055
209.24/209.32	c nbDecision=249500 #constraints=16086
210.24/210.35	c nbDecision=250000 #constraints=16116
211.44/211.59	c nbDecision=250500 #constraints=16149
213.04/213.20	c nbDecision=251000 #constraints=16196
214.24/214.36	c nbDecision=251500 #constraints=16225
215.44/215.52	c nbDecision=252000 #constraints=16258
217.24/217.32	c nbDecision=252500 #constraints=16312
219.13/219.29	c nbDecision=253000 #constraints=16367
220.33/220.46	c nbDecision=253500 #constraints=16401
221.53/221.65	c nbDecision=254000 #constraints=16431
223.03/223.14	c nbDecision=254500 #constraints=16469
224.13/224.25	c nbDecision=255000 #constraints=16496
225.34/225.44	c nbDecision=255500 #constraints=16533
226.33/226.40	c nbDecision=256000 #constraints=16564
227.13/227.20	c nbDecision=256500 #constraints=16593
228.63/228.74	c nbDecision=257000 #constraints=16641
229.53/229.60	c nbDecision=257500 #constraints=16676
231.03/231.17	c nbDecision=258000 #constraints=16726
232.23/232.37	c nbDecision=258500 #constraints=16764
233.53/233.68	c nbDecision=259000 #constraints=16806
234.73/234.80	c nbDecision=259500 #constraints=16845
235.73/235.87	c nbDecision=260000 #constraints=16881
236.83/236.94	c nbDecision=260500 #constraints=16919
238.03/238.16	c nbDecision=261000 #constraints=16961
239.04/239.17	c nbDecision=261500 #constraints=16992
240.04/240.11	c nbDecision=262000 #constraints=17026
241.24/241.34	c nbDecision=262500 #constraints=17068
244.04/244.19	c nbDecision=263000 #constraints=17144
245.93/246.04	c nbDecision=263500 #constraints=17194
249.23/249.37	c nbDecision=264000 #constraints=17281
251.33/251.49	c nbDecision=264500 #constraints=17331
253.63/253.79	c nbDecision=265000 #constraints=17388
255.53/255.60	c nbDecision=265500 #constraints=17430
256.63/256.72	c nbDecision=266000 #constraints=17486
257.53/257.64	c nbDecision=266500 #constraints=17513
258.93/259.07	c nbDecision=267000 #constraints=17546
260.03/260.11	c nbDecision=267500 #constraints=17579
260.93/261.00	c nbDecision=268000 #constraints=17604
262.23/262.37	c nbDecision=268500 #constraints=17637
264.53/264.64	c nbDecision=269000 #constraints=17693
267.43/267.53	c nbDecision=269500 #constraints=17763
269.43/269.54	c nbDecision=270000 #constraints=17821
273.93/274.10	c nbDecision=270500 #constraints=17920
275.83/275.92	c nbDecision=271000 #constraints=17967
277.13/277.24	c nbDecision=271500 #constraints=18005
278.32/278.43	c nbDecision=272000 #constraints=18043
279.82/279.92	c nbDecision=272500 #constraints=18087
281.12/281.27	c nbDecision=273000 #constraints=18127
282.63/282.76	c nbDecision=273500 #constraints=18173
284.02/284.11	c nbDecision=274000 #constraints=18215
285.02/285.19	c nbDecision=274500 #constraints=18252
286.42/286.50	c nbDecision=275000 #constraints=18292
287.52/287.62	c nbDecision=275500 #constraints=18328
288.52/288.69	c nbDecision=276000 #constraints=18371
289.82/289.90	c nbDecision=276500 #constraints=18415
290.92/291.01	c nbDecision=277000 #constraints=18457
292.11/292.29	c nbDecision=277500 #constraints=18509
293.21/293.31	c nbDecision=278000 #constraints=18543
294.42/294.51	c nbDecision=278500 #constraints=18588
295.42/295.57	c nbDecision=279000 #constraints=18624
296.72/296.88	c nbDecision=279500 #constraints=18673
297.82/297.95	c nbDecision=280000 #constraints=18709
298.92/299.04	c nbDecision=280500 #constraints=18744
300.12/300.25	c nbDecision=281000 #constraints=18782
301.12/301.23	c nbDecision=281500 #constraints=18813
302.42/302.54	c nbDecision=282000 #constraints=18858
303.62/303.71	c nbDecision=282500 #constraints=18893
304.62/304.71	c nbDecision=283000 #constraints=18924
305.62/305.70	c nbDecision=283500 #constraints=18953
306.62/306.72	c nbDecision=284000 #constraints=18984
307.92/308.04	c nbDecision=284500 #constraints=19026
309.41/309.54	c nbDecision=285000 #constraints=19076
311.01/311.17	c nbDecision=285500 #constraints=19114
314.11/314.22	c nbDecision=286000 #constraints=19190
317.41/317.57	c nbDecision=286500 #constraints=19275
320.11/320.20	c nbDecision=287000 #constraints=19336
321.61/321.79	c nbDecision=287500 #constraints=19381
323.91/324.03	c nbDecision=288000 #constraints=19445
325.91/326.08	c nbDecision=288500 #constraints=19505
327.62/327.77	c nbDecision=289000 #constraints=19561
328.82/328.97	c nbDecision=289500 #constraints=19587
331.21/331.36	c nbDecision=290000 #constraints=19642
333.01/333.11	c nbDecision=290500 #constraints=19679
334.61/334.77	c nbDecision=291000 #constraints=19718
336.31/336.45	c nbDecision=291500 #constraints=19756
338.01/338.16	c nbDecision=292000 #constraints=19798
339.61/339.71	c nbDecision=292500 #constraints=19832
341.11/341.28	c nbDecision=293000 #constraints=19878
343.01/343.12	c nbDecision=293500 #constraints=19933
344.91/345.07	c nbDecision=294000 #constraints=19992
346.81/346.97	c nbDecision=294500 #constraints=20048
348.51/348.63	c nbDecision=295000 #constraints=20086
350.41/350.50	c nbDecision=295500 #constraints=20127
352.51/352.69	c nbDecision=296000 #constraints=20180
354.91/355.04	c nbDecision=296500 #constraints=20235
357.61/357.72	c nbDecision=297000 #constraints=20297
358.81/358.92	c nbDecision=297500 #constraints=20323
361.20/361.33	c nbDecision=298000 #constraints=20374
363.80/363.99	c nbDecision=298500 #constraints=20433
366.11/366.22	c nbDecision=299000 #constraints=20480
368.60/368.80	c nbDecision=299500 #constraints=20540
370.90/371.02	c nbDecision=300000 #constraints=20598
374.00/374.19	c nbDecision=300500 #constraints=20675
375.70/375.83	c nbDecision=301000 #constraints=20716
378.40/378.54	c nbDecision=301500 #constraints=20788
380.10/380.21	c nbDecision=302000 #constraints=20835
382.00/382.18	c nbDecision=302500 #constraints=20887
384.60/384.78	c nbDecision=303000 #constraints=20956
386.30/386.41	c nbDecision=303500 #constraints=20990
388.49/388.66	c nbDecision=304000 #constraints=21047
390.09/390.28	c nbDecision=304500 #constraints=21094
391.59/391.73	c nbDecision=305000 #constraints=21135
392.89/393.09	c nbDecision=305500 #constraints=21180
395.30/395.41	c nbDecision=306000 #constraints=21260
397.10/397.29	c nbDecision=306500 #constraints=21322
399.10/399.23	c nbDecision=307000 #constraints=21386
400.60/400.74	c nbDecision=307500 #constraints=21436
402.20/402.30	c nbDecision=308000 #constraints=21492
403.70/403.87	c nbDecision=308500 #constraints=21532
405.50/405.61	c nbDecision=309000 #constraints=21574
407.30/407.42	c nbDecision=309500 #constraints=21618
409.40/409.52	c nbDecision=310000 #constraints=21669
411.39/411.50	c nbDecision=310500 #constraints=21731
413.69/413.88	c nbDecision=311000 #constraints=21806
416.19/416.36	c nbDecision=311500 #constraints=21861
417.79/417.95	c nbDecision=312000 #constraints=21905
419.19/419.34	c nbDecision=312500 #constraints=21950
421.19/421.34	c nbDecision=313000 #constraints=22007
422.69/422.82	c nbDecision=313500 #constraints=22043
425.28/425.45	c nbDecision=314000 #constraints=22101
426.59/426.78	c nbDecision=314500 #constraints=22154
427.98/428.17	c nbDecision=315000 #constraints=22197
429.78/429.97	c nbDecision=315500 #constraints=22251
431.28/431.40	c nbDecision=316000 #constraints=22287
432.48/432.65	c nbDecision=316500 #constraints=22318
433.98/434.13	c nbDecision=317000 #constraints=22370
435.49/435.66	c nbDecision=317500 #constraints=22417
437.08/437.23	c nbDecision=318000 #constraints=22481
438.78/438.97	c nbDecision=318500 #constraints=22532
440.38/440.50	c nbDecision=319000 #constraints=22575
441.98/442.14	c nbDecision=319500 #constraints=22627
443.28/443.40	c nbDecision=320000 #constraints=22661
444.88/445.04	c nbDecision=320500 #constraints=22701
446.08/446.29	c nbDecision=321000 #constraints=22744
447.78/447.93	c nbDecision=321500 #constraints=22791
449.48/449.69	c nbDecision=322000 #constraints=22827
451.08/451.21	c nbDecision=322500 #constraints=22865
453.68/453.87	c nbDecision=323000 #constraints=22911
455.68/455.87	c nbDecision=323500 #constraints=22952
457.68/457.83	c nbDecision=324000 #constraints=22981
459.08/459.25	c nbDecision=324500 #constraints=23004
460.69/460.87	c nbDecision=325000 #constraints=23033
462.78/462.95	c nbDecision=325500 #constraints=23072
463.88/464.03	c nbDecision=326000 #constraints=23102
465.68/465.80	c nbDecision=326500 #constraints=23137
467.08/467.22	c nbDecision=327000 #constraints=23163
468.68/468.88	c nbDecision=327500 #constraints=23187
469.88/470.00	c nbDecision=328000 #constraints=23205
471.38/471.57	c nbDecision=328500 #constraints=23233
472.78/472.94	c nbDecision=329000 #constraints=23261
474.48/474.62	c nbDecision=329500 #constraints=23291
476.38/476.54	c nbDecision=330000 #constraints=23326
478.58/478.76	c nbDecision=330500 #constraints=23361
481.48/481.66	c nbDecision=331000 #constraints=23410
483.47/483.61	c nbDecision=331500 #constraints=23446
485.77/485.97	c nbDecision=332000 #constraints=23487
487.57/487.71	c nbDecision=332500 #constraints=23517
489.57/489.72	c nbDecision=333000 #constraints=23554
491.27/491.41	c nbDecision=333500 #constraints=23590
492.87/493.10	c nbDecision=334000 #constraints=23625
494.97/495.12	c nbDecision=334500 #constraints=23667
496.87/497.07	c nbDecision=335000 #constraints=23708
498.27/498.48	c nbDecision=335500 #constraints=23731
499.87/500.00	c nbDecision=336000 #constraints=23761
501.77/502.00	c nbDecision=336500 #constraints=23790
503.57/503.77	c nbDecision=337000 #constraints=23825
505.67/505.86	c nbDecision=337500 #constraints=23863
507.67/507.80	c nbDecision=338000 #constraints=23901
509.56/509.79	c nbDecision=338500 #constraints=23936
512.26/512.43	c nbDecision=339000 #constraints=23980
514.26/514.41	c nbDecision=339500 #constraints=24015
516.26/516.45	c nbDecision=340000 #constraints=24051
517.97/518.18	c nbDecision=340500 #constraints=24083
520.16/520.37	c nbDecision=341000 #constraints=24125
521.26/521.48	c nbDecision=341500 #constraints=24145
522.86/523.05	c nbDecision=342000 #constraints=24169
524.46/524.65	c nbDecision=342500 #constraints=24198
526.17/526.36	c nbDecision=343000 #constraints=24237
527.77/527.95	c nbDecision=343500 #constraints=24280
530.57/530.79	c nbDecision=344000 #constraints=24329
532.37/532.59	c nbDecision=344500 #constraints=24371
535.07/535.28	c nbDecision=345000 #constraints=24411
537.17/537.32	c nbDecision=345500 #constraints=24466
539.26/539.41	c nbDecision=346000 #constraints=24517
541.86/542.00	c nbDecision=346500 #constraints=24556
544.06/544.21	c nbDecision=347000 #constraints=24588
546.76/546.94	c nbDecision=347500 #constraints=24634
549.05/549.21	c nbDecision=348000 #constraints=24675
551.32/551.54	c nbDecision=348500 #constraints=24719
553.62/553.83	c nbDecision=349000 #constraints=24762
556.92/557.17	c nbDecision=349500 #constraints=24813
558.82/559.09	c nbDecision=350000 #constraints=24848
560.51/560.72	c nbDecision=350500 #constraints=24876
562.70/562.95	c nbDecision=351000 #constraints=24913
564.70/564.93	c nbDecision=351500 #constraints=24953
567.59/567.84	c nbDecision=352000 #constraints=25010
570.09/570.37	c nbDecision=352500 #constraints=25057
572.58/572.83	c nbDecision=353000 #constraints=25103
574.67/574.96	c nbDecision=353500 #constraints=25136
576.47/576.72	c nbDecision=354000 #constraints=25174
578.16/578.48	c nbDecision=354500 #constraints=25212
580.46/580.72	c nbDecision=355000 #constraints=25252
582.76/583.10	c nbDecision=355500 #constraints=25293
584.66/585.00	c nbDecision=356000 #constraints=25323
586.65/586.92	c nbDecision=356500 #constraints=25357
588.45/588.74	c nbDecision=357000 #constraints=25390
590.25/590.57	c nbDecision=357500 #constraints=25427
591.85/592.12	c nbDecision=358000 #constraints=25461
593.35/593.67	c nbDecision=358500 #constraints=25499
595.45/595.78	c nbDecision=359000 #constraints=25539
598.25/598.51	c nbDecision=359500 #constraints=25573
601.04/601.37	c nbDecision=360000 #constraints=25614
603.64/603.95	c nbDecision=360500 #constraints=25646
605.43/605.76	c nbDecision=361000 #constraints=25675
607.63/607.95	c nbDecision=361500 #constraints=25707
608.93/609.26	c nbDecision=362000 #constraints=25726
610.63/610.93	c nbDecision=362500 #constraints=25750
612.63/612.94	c nbDecision=363000 #constraints=25783
616.63/616.96	c nbDecision=363500 #constraints=25840
618.53/618.82	c nbDecision=364000 #constraints=25868
620.13/620.48	c nbDecision=364500 #constraints=25893
622.73/623.01	c nbDecision=365000 #constraints=25935
624.23/624.59	c nbDecision=365500 #constraints=25961
625.53/625.85	c nbDecision=366000 #constraints=25979
627.54/627.86	c nbDecision=366500 #constraints=26014
629.54/629.89	c nbDecision=367000 #constraints=26050
631.93/632.29	c nbDecision=367500 #constraints=26095
633.63/633.96	c nbDecision=368000 #constraints=26120
635.53/635.82	c nbDecision=368500 #constraints=26154
637.23/637.52	c nbDecision=369000 #constraints=26189
638.93/639.27	c nbDecision=369500 #constraints=26219
640.83/641.10	c nbDecision=370000 #constraints=26255
642.73/643.02	c nbDecision=370500 #constraints=26295
644.43/644.75	c nbDecision=371000 #constraints=26325
646.73/647.06	c nbDecision=371500 #constraints=26367
648.63/648.93	c nbDecision=372000 #constraints=26392
650.93/651.26	c nbDecision=372500 #constraints=26428
653.72/654.01	c nbDecision=373000 #constraints=26473
655.92/656.24	c nbDecision=373500 #constraints=26516
658.12/658.41	c nbDecision=374000 #constraints=26567
660.32/660.63	c nbDecision=374500 #constraints=26615
662.52/662.86	c nbDecision=375000 #constraints=26662
666.43/666.74	c nbDecision=375500 #constraints=26709
670.53/670.84	c nbDecision=376000 #constraints=26761
672.73/673.02	c nbDecision=376500 #constraints=26787
675.73/676.03	c nbDecision=377000 #constraints=26828
678.92/679.20	c nbDecision=377500 #constraints=26865
681.42/681.72	c nbDecision=378000 #constraints=26896
683.32/683.60	c nbDecision=378500 #constraints=26926
685.82/686.12	c nbDecision=379000 #constraints=26968
687.52/687.84	c nbDecision=379500 #constraints=27004
689.52/689.90	c nbDecision=380000 #constraints=27045
692.82/693.15	c nbDecision=380500 #constraints=27084
695.52/695.89	c nbDecision=381000 #constraints=27119
698.22/698.52	c nbDecision=381500 #constraints=27154
701.21/701.56	c nbDecision=382000 #constraints=27198
703.81/704.12	c nbDecision=382500 #constraints=27238
706.11/706.42	c nbDecision=383000 #constraints=27274
708.21/708.57	c nbDecision=383500 #constraints=27311
710.51/710.90	c nbDecision=384000 #constraints=27342
713.81/714.14	c nbDecision=384500 #constraints=27387
715.91/716.24	c nbDecision=385000 #constraints=27426
718.41/718.79	c nbDecision=385500 #constraints=27466
721.21/721.50	c nbDecision=386000 #constraints=27505
723.61/723.96	c nbDecision=386500 #constraints=27549
726.71/727.03	c nbDecision=387000 #constraints=27593
729.51/729.85	c nbDecision=387500 #constraints=27629
732.10/732.49	c nbDecision=388000 #constraints=27669
734.51/734.86	c nbDecision=388500 #constraints=27706
736.50/736.83	c nbDecision=389000 #constraints=27740
738.60/738.97	c nbDecision=389500 #constraints=27776
741.01/741.33	c nbDecision=390000 #constraints=27812
743.60/743.98	c nbDecision=390500 #constraints=27857
745.80/746.10	c nbDecision=391000 #constraints=27896
748.20/748.58	c nbDecision=391500 #constraints=27946
749.70/750.07	c nbDecision=392000 #constraints=27984
752.40/752.73	c nbDecision=392500 #constraints=28026
755.30/755.64	c nbDecision=393000 #constraints=28068
758.20/758.51	c nbDecision=393500 #constraints=28114
761.60/761.97	c nbDecision=394000 #constraints=28167
763.60/763.95	c nbDecision=394500 #constraints=28202
765.70/766.03	c nbDecision=395000 #constraints=28240
767.69/768.06	c nbDecision=395500 #constraints=28281
770.30/770.67	c nbDecision=396000 #constraints=28321
773.50/773.89	c nbDecision=396500 #constraints=28367
775.30/775.61	c nbDecision=397000 #constraints=28404
777.30/777.61	c nbDecision=397500 #constraints=28446
779.70/780.09	c nbDecision=398000 #constraints=28480
782.40/782.79	c nbDecision=398500 #constraints=28524
785.30/785.61	c nbDecision=399000 #constraints=28565
787.80/788.17	c nbDecision=399500 #constraints=28609
790.70/791.05	c nbDecision=400000 #constraints=28649
793.49/793.88	c nbDecision=400500 #constraints=28684
796.79/797.11	c nbDecision=401000 #constraints=28730
799.79/800.13	c nbDecision=401500 #constraints=28771
802.60/802.92	c nbDecision=402000 #constraints=28808
804.89/805.29	c nbDecision=402500 #constraints=28843
807.89/808.21	c nbDecision=403000 #constraints=28884
811.29/811.68	c nbDecision=403500 #constraints=28932
814.29/814.61	c nbDecision=404000 #constraints=28973
817.19/817.51	c nbDecision=404500 #constraints=29016
819.99/820.36	c nbDecision=405000 #constraints=29060
822.69/823.03	c nbDecision=405500 #constraints=29100
825.79/826.15	c nbDecision=406000 #constraints=29153
829.38/829.72	c nbDecision=406500 #constraints=29207
832.78/833.16	c nbDecision=407000 #constraints=29260
836.08/836.43	c nbDecision=407500 #constraints=29309
840.68/841.02	c nbDecision=408000 #constraints=29375
844.08/844.44	c nbDecision=408500 #constraints=29418
846.28/846.67	c nbDecision=409000 #constraints=29459
849.48/849.82	c nbDecision=409500 #constraints=29510
849.88/850.28	c restart after 409601 decisions
853.08/853.47	c nbDecision=410000 #constraints=29547
854.58/854.98	c nbDecision=410500 #constraints=29576
856.07/856.45	c nbDecision=411000 #constraints=29602
858.37/858.72	c nbDecision=411500 #constraints=29637
860.77/861.12	c nbDecision=412000 #constraints=29667
863.18/863.52	c nbDecision=412500 #constraints=29700
866.87/867.26	c nbDecision=413000 #constraints=29755
870.27/870.68	c nbDecision=413500 #constraints=29807
873.87/874.25	c nbDecision=414000 #constraints=29853
875.97/876.30	c nbDecision=414500 #constraints=29887
877.77/878.15	c nbDecision=415000 #constraints=29912
879.37/879.71	c nbDecision=415500 #constraints=29938
881.37/881.79	c nbDecision=416000 #constraints=29972
883.17/883.55	c nbDecision=416500 #constraints=30006
885.08/885.43	c nbDecision=417000 #constraints=30046
887.47/887.85	c nbDecision=417500 #constraints=30080
889.58/889.92	c nbDecision=418000 #constraints=30112
891.17/891.59	c nbDecision=418500 #constraints=30137
892.87/893.29	c nbDecision=419000 #constraints=30166
894.67/895.01	c nbDecision=419500 #constraints=30197
896.47/896.85	c nbDecision=420000 #constraints=30231
897.97/898.38	c nbDecision=420500 #constraints=30255
899.87/900.25	c nbDecision=421000 #constraints=30285
901.46/901.85	c nbDecision=421500 #constraints=30312
903.46/903.83	c nbDecision=422000 #constraints=30350
905.97/906.35	c nbDecision=422500 #constraints=30388
909.07/909.48	c nbDecision=423000 #constraints=30425
911.27/911.60	c nbDecision=423500 #constraints=30459
914.77/915.15	c nbDecision=424000 #constraints=30505
917.07/917.43	c nbDecision=424500 #constraints=30545
919.97/920.38	c nbDecision=425000 #constraints=30590
922.86/923.23	c nbDecision=425500 #constraints=30629
925.57/925.96	c nbDecision=426000 #constraints=30668
928.66/929.06	c nbDecision=426500 #constraints=30710
930.86/931.28	c nbDecision=427000 #constraints=30746
935.56/935.95	c nbDecision=427500 #constraints=30799
937.46/937.84	c nbDecision=428000 #constraints=30826
939.66/940.07	c nbDecision=428500 #constraints=30859
942.26/942.62	c nbDecision=429000 #constraints=30896
944.46/944.85	c nbDecision=429500 #constraints=30934
946.55/946.98	c nbDecision=430000 #constraints=30979
949.05/949.40	c nbDecision=430500 #constraints=31021
951.35/951.74	c nbDecision=431000 #constraints=31061
953.75/954.18	c nbDecision=431500 #constraints=31097
956.45/956.84	c nbDecision=432000 #constraints=31136
959.35/959.74	c nbDecision=432500 #constraints=31174
961.85/962.23	c nbDecision=433000 #constraints=31225
964.55/964.93	c nbDecision=433500 #constraints=31274
967.35/967.73	c nbDecision=434000 #constraints=31316
969.55/969.94	c nbDecision=434500 #constraints=31344
971.95/972.31	c nbDecision=435000 #constraints=31399
974.64/975.01	c nbDecision=435500 #constraints=31453
976.64/977.08	c nbDecision=436000 #constraints=31488
978.04/978.42	c nbDecision=436500 #constraints=31515
980.55/980.98	c nbDecision=437000 #constraints=31555
982.45/982.87	c nbDecision=437500 #constraints=31586
984.25/984.67	c nbDecision=438000 #constraints=31619
986.05/986.46	c nbDecision=438500 #constraints=31658
988.15/988.51	c nbDecision=439000 #constraints=31695
990.75/991.16	c nbDecision=439500 #constraints=31737
993.35/993.70	c nbDecision=440000 #constraints=31782
996.05/996.43	c nbDecision=440500 #constraints=31824
999.24/999.61	c nbDecision=441000 #constraints=31873
1002.54/1002.99	c nbDecision=441500 #constraints=31921
1005.34/1005.77	c nbDecision=442000 #constraints=31961
1007.84/1008.26	c nbDecision=442500 #constraints=32004
1009.34/1009.78	c nbDecision=443000 #constraints=32036
1011.24/1011.65	c nbDecision=443500 #constraints=32077
1013.84/1014.22	c nbDecision=444000 #constraints=32116
1017.14/1017.57	c nbDecision=444500 #constraints=32164
1019.34/1019.76	c nbDecision=445000 #constraints=32201
1021.93/1022.31	c nbDecision=445500 #constraints=32242
1025.04/1025.41	c nbDecision=446000 #constraints=32291
1027.84/1028.29	c nbDecision=446500 #constraints=32331
1030.84/1031.21	c nbDecision=447000 #constraints=32377
1034.04/1034.47	c nbDecision=447500 #constraints=32427
1037.04/1037.46	c nbDecision=448000 #constraints=32466
1041.83/1042.29	c nbDecision=448500 #constraints=32515
1044.93/1045.32	c nbDecision=449000 #constraints=32560
1049.03/1049.47	c nbDecision=449500 #constraints=32611
1052.43/1052.89	c nbDecision=450000 #constraints=32653
1056.83/1057.20	c nbDecision=450500 #constraints=32701
1060.33/1060.77	c nbDecision=451000 #constraints=32742
1063.43/1063.89	c nbDecision=451500 #constraints=32785
1066.33/1066.74	c nbDecision=452000 #constraints=32823
1069.83/1070.23	c nbDecision=452500 #constraints=32871
1072.72/1073.10	c nbDecision=453000 #constraints=32918
1075.82/1076.25	c nbDecision=453500 #constraints=32959
1079.32/1079.76	c nbDecision=454000 #constraints=33000
1082.62/1083.01	c nbDecision=454500 #constraints=33037
1085.42/1085.86	c nbDecision=455000 #constraints=33072
1088.72/1089.10	c nbDecision=455500 #constraints=33109
1092.32/1092.79	c nbDecision=456000 #constraints=33153
1096.82/1097.21	c nbDecision=456500 #constraints=33213
1102.11/1102.57	c nbDecision=457000 #constraints=33269
1108.11/1108.55	c nbDecision=457500 #constraints=33328
1113.11/1113.59	c nbDecision=458000 #constraints=33383
1116.51/1116.99	c nbDecision=458500 #constraints=33422
1119.72/1120.10	c nbDecision=459000 #constraints=33461
1122.42/1122.85	c nbDecision=459500 #constraints=33503
1124.32/1124.75	c nbDecision=460000 #constraints=33538
1126.52/1126.92	c nbDecision=460500 #constraints=33578
1129.02/1129.43	c nbDecision=461000 #constraints=33619
1132.21/1132.65	c nbDecision=461500 #constraints=33667
1135.51/1135.99	c nbDecision=462000 #constraints=33711
1138.51/1138.99	c nbDecision=462500 #constraints=33748
1141.51/1141.99	c nbDecision=463000 #constraints=33789
1144.51/1144.94	c nbDecision=463500 #constraints=33826
1147.51/1147.96	c nbDecision=464000 #constraints=33867
1151.31/1151.78	c nbDecision=464500 #constraints=33916
1154.51/1154.93	c nbDecision=465000 #constraints=33955
1158.10/1158.56	c nbDecision=465500 #constraints=33998
1161.50/1161.94	c nbDecision=466000 #constraints=34045
1165.10/1165.60	c nbDecision=466500 #constraints=34089
1167.70/1168.17	c nbDecision=467000 #constraints=34123
1170.60/1171.04	c nbDecision=467500 #constraints=34168
1173.70/1174.17	c nbDecision=468000 #constraints=34213
1176.60/1177.03	c nbDecision=468500 #constraints=34251
1179.50/1179.99	c nbDecision=469000 #constraints=34294
1182.40/1182.80	c nbDecision=469500 #constraints=34336
1185.10/1185.58	c nbDecision=470000 #constraints=34376
1188.10/1188.54	c nbDecision=470500 #constraints=34416
1191.19/1191.64	c nbDecision=471000 #constraints=34457
1193.69/1194.11	c nbDecision=471500 #constraints=34491
1195.99/1196.46	c nbDecision=472000 #constraints=34527
1198.09/1198.51	c nbDecision=472500 #constraints=34565
1200.89/1201.38	c nbDecision=473000 #constraints=34610
1203.79/1204.22	c nbDecision=473500 #constraints=34655
1206.09/1206.59	c nbDecision=474000 #constraints=34689
1208.39/1208.87	c nbDecision=474500 #constraints=34720
1211.19/1211.62	c nbDecision=475000 #constraints=34758
1213.99/1214.48	c nbDecision=475500 #constraints=34799
1216.29/1216.74	c nbDecision=476000 #constraints=34842
1219.59/1220.02	c nbDecision=476500 #constraints=34899
1222.09/1222.52	c nbDecision=477000 #constraints=34943
1225.00/1225.40	c nbDecision=477500 #constraints=34989
1228.09/1228.50	c nbDecision=478000 #constraints=35032
1231.79/1232.28	c nbDecision=478500 #constraints=35081
1234.59/1235.07	c nbDecision=479000 #constraints=35130
1237.39/1237.87	c nbDecision=479500 #constraints=35169
1241.29/1241.77	c nbDecision=480000 #constraints=35221
1244.49/1244.93	c nbDecision=480500 #constraints=35261
1247.69/1248.12	c nbDecision=481000 #constraints=35303
1250.29/1250.76	c nbDecision=481500 #constraints=35344
1253.29/1253.74	c nbDecision=482000 #constraints=35395
1256.18/1256.68	c nbDecision=482500 #constraints=35441
1259.68/1260.14	c nbDecision=483000 #constraints=35482
1262.68/1263.11	c nbDecision=483500 #constraints=35517
1265.88/1266.39	c nbDecision=484000 #constraints=35561
1269.18/1269.69	c nbDecision=484500 #constraints=35604
1271.48/1271.97	c nbDecision=485000 #constraints=35639
1274.88/1275.34	c nbDecision=485500 #constraints=35693
1277.07/1277.59	c nbDecision=486000 #constraints=35729
1280.27/1280.75	c nbDecision=486500 #constraints=35771
1283.97/1284.40	c nbDecision=487000 #constraints=35818
1287.17/1287.67	c nbDecision=487500 #constraints=35862
1290.77/1291.23	c nbDecision=488000 #constraints=35906
1293.87/1294.33	c nbDecision=488500 #constraints=35949
1297.37/1297.80	c nbDecision=489000 #constraints=35992
1300.77/1301.24	c nbDecision=489500 #constraints=36034
1303.97/1304.49	c nbDecision=490000 #constraints=36076
1307.47/1307.97	c nbDecision=490500 #constraints=36123
1311.57/1312.01	c nbDecision=491000 #constraints=36172
1314.86/1315.32	c nbDecision=491500 #constraints=36214
1319.36/1319.81	c nbDecision=492000 #constraints=36269
1322.46/1322.92	c nbDecision=492500 #constraints=36309
1324.46/1324.91	c nbDecision=493000 #constraints=36341
1327.26/1327.74	c nbDecision=493500 #constraints=36388
1329.96/1330.45	c nbDecision=494000 #constraints=36427
1332.37/1332.89	c nbDecision=494500 #constraints=36467
1334.87/1335.39	c nbDecision=495000 #constraints=36506
1339.47/1339.96	c nbDecision=495500 #constraints=36557
1342.96/1343.46	c nbDecision=496000 #constraints=36599
1346.46/1346.99	c nbDecision=496500 #constraints=36644
1350.76/1351.27	c nbDecision=497000 #constraints=36694
1353.96/1354.43	c nbDecision=497500 #constraints=36740
1356.56/1357.02	c nbDecision=498000 #constraints=36779
1360.26/1360.70	c nbDecision=498500 #constraints=36828
1363.56/1364.02	c nbDecision=499000 #constraints=36870
1366.46/1366.95	c nbDecision=499500 #constraints=36909
1370.46/1370.93	c nbDecision=500000 #constraints=36954
1373.46/1373.99	c nbDecision=500500 #constraints=36991
1376.15/1376.70	c nbDecision=501000 #constraints=37028
1378.75/1379.23	c nbDecision=501500 #constraints=37071
1380.15/1380.60	c nbDecision=502000 #constraints=37094
1382.05/1382.56	c nbDecision=502500 #constraints=37131
1383.25/1383.77	c nbDecision=503000 #constraints=37162
1384.95/1385.48	c nbDecision=503500 #constraints=37194
1386.75/1387.27	c nbDecision=504000 #constraints=37220
1388.55/1389.08	c nbDecision=504500 #constraints=37257
1390.35/1390.89	c nbDecision=505000 #constraints=37287
1392.35/1392.88	c nbDecision=505500 #constraints=37314
1393.85/1394.32	c nbDecision=506000 #constraints=37346
1395.24/1395.72	c nbDecision=506500 #constraints=37391
1397.14/1397.66	c nbDecision=507000 #constraints=37436
1398.94/1399.40	c nbDecision=507500 #constraints=37469
1400.54/1401.04	c nbDecision=508000 #constraints=37496
1402.14/1402.62	c nbDecision=508500 #constraints=37541
1403.94/1404.44	c nbDecision=509000 #constraints=37579
1405.74/1406.28	c nbDecision=509500 #constraints=37613
1407.54/1408.06	c nbDecision=510000 #constraints=37645
1409.04/1409.60	c nbDecision=510500 #constraints=37696
1410.84/1411.31	c nbDecision=511000 #constraints=37739
1412.04/1412.57	c nbDecision=511500 #constraints=37778
1413.65/1414.12	c nbDecision=512000 #constraints=37802
1415.35/1415.81	c nbDecision=512500 #constraints=37835
1417.45/1417.96	c nbDecision=513000 #constraints=37872
1419.05/1419.57	c nbDecision=513500 #constraints=37908
1421.85/1422.38	c nbDecision=514000 #constraints=37955
1424.24/1424.75	c nbDecision=514500 #constraints=38007
1425.74/1426.25	c nbDecision=515000 #constraints=38059
1427.04/1427.58	c nbDecision=515500 #constraints=38101
1427.94/1428.45	c nbDecision=516000 #constraints=38145
1430.14/1430.69	c nbDecision=516500 #constraints=38180
1432.44/1432.94	c nbDecision=517000 #constraints=38218
1433.95/1434.48	c nbDecision=517500 #constraints=38261
1435.64/1436.15	c nbDecision=518000 #constraints=38301
1437.64/1438.16	c nbDecision=518500 #constraints=38337
1440.24/1440.70	c nbDecision=519000 #constraints=38383
1442.44/1442.99	c nbDecision=519500 #constraints=38430
1444.84/1445.33	c nbDecision=520000 #constraints=38480
1447.54/1448.09	c nbDecision=520500 #constraints=38532
1450.34/1450.82	c nbDecision=521000 #constraints=38588
1453.13/1453.66	c nbDecision=521500 #constraints=38644
1455.13/1455.62	c nbDecision=522000 #constraints=38700
1458.04/1458.56	c nbDecision=522500 #constraints=38752
1461.43/1461.96	c nbDecision=523000 #constraints=38813
1463.93/1464.45	c nbDecision=523500 #constraints=38858
1467.43/1467.91	c nbDecision=524000 #constraints=38919
1470.63/1471.10	c nbDecision=524500 #constraints=38969
1473.53/1474.08	c nbDecision=525000 #constraints=39017
1476.52/1477.03	c nbDecision=525500 #constraints=39075
1480.03/1480.53	c nbDecision=526000 #constraints=39149
1484.22/1484.72	c nbDecision=526500 #constraints=39235
1487.73/1488.29	c nbDecision=527000 #constraints=39279
1490.62/1491.19	c nbDecision=527500 #constraints=39308
1494.92/1495.48	c nbDecision=528000 #constraints=39356
1499.32/1499.80	c nbDecision=528500 #constraints=39423
1502.62/1503.13	c nbDecision=529000 #constraints=39473
1506.62/1507.19	c nbDecision=529500 #constraints=39521
1510.52/1511.01	c nbDecision=530000 #constraints=39570
1513.13/1513.68	c nbDecision=530500 #constraints=39603
1515.72/1516.28	c nbDecision=531000 #constraints=39639
1517.82/1518.37	c nbDecision=531500 #constraints=39671
1520.32/1520.81	c nbDecision=532000 #constraints=39701
1523.12/1523.63	c nbDecision=532500 #constraints=39735
1526.62/1527.15	c nbDecision=533000 #constraints=39778
1529.62/1530.19	c nbDecision=533500 #constraints=39817
1533.62/1534.17	c nbDecision=534000 #constraints=39854
1537.52/1538.01	c nbDecision=534500 #constraints=39900
1543.61/1544.12	c nbDecision=535000 #constraints=39972
1548.51/1549.01	c nbDecision=535500 #constraints=40014
1552.51/1553.07	c nbDecision=536000 #constraints=40054
1556.21/1556.79	c nbDecision=536500 #constraints=40096
1561.91/1562.47	c nbDecision=537000 #constraints=40153
1569.91/1570.48	c nbDecision=537500 #constraints=40240
1573.11/1573.64	c nbDecision=538000 #constraints=40279
1576.31/1576.80	c nbDecision=538500 #constraints=40319
1584.51/1585.05	c nbDecision=539000 #constraints=40409
1591.00/1591.57	c nbDecision=539500 #constraints=40478
1595.90/1596.48	c nbDecision=540000 #constraints=40535
1601.60/1602.13	c nbDecision=540500 #constraints=40599
1605.50/1606.02	c nbDecision=541000 #constraints=40640
1618.39/1619.00	c nbDecision=541500 #constraints=40744
1623.59/1624.15	c nbDecision=542000 #constraints=40801
1629.69/1630.22	c nbDecision=542500 #constraints=40854
1633.29/1633.87	c nbDecision=543000 #constraints=40894
1638.88/1639.47	c nbDecision=543500 #constraints=40959
1643.68/1644.28	c nbDecision=544000 #constraints=41006
1647.58/1648.14	c nbDecision=544500 #constraints=41040
1650.39/1650.91	c nbDecision=545000 #constraints=41072
1653.59/1654.18	c nbDecision=545500 #constraints=41105
1656.79/1657.36	c nbDecision=546000 #constraints=41135
1660.39/1660.92	c nbDecision=546500 #constraints=41166
1663.39/1663.94	c nbDecision=547000 #constraints=41194
1666.89/1667.47	c nbDecision=547500 #constraints=41224
1670.59/1671.11	c nbDecision=548000 #constraints=41259
1675.18/1675.78	c nbDecision=548500 #constraints=41311
1680.68/1681.26	c nbDecision=549000 #constraints=41366
1684.48/1685.00	c nbDecision=549500 #constraints=41406
1688.18/1688.79	c nbDecision=550000 #constraints=41447
1692.78/1693.33	c nbDecision=550500 #constraints=41493
1697.78/1698.38	c nbDecision=551000 #constraints=41545
1701.87/1702.43	c nbDecision=551500 #constraints=41594
1705.07/1705.63	c nbDecision=552000 #constraints=41626
1709.67/1710.20	c nbDecision=552500 #constraints=41667
1712.97/1713.50	c nbDecision=553000 #constraints=41696
1715.37/1715.90	c nbDecision=553500 #constraints=41741
1721.17/1721.79	c nbDecision=554000 #constraints=41791
1724.47/1725.05	c nbDecision=554500 #constraints=41830
1728.87/1729.45	c nbDecision=555000 #constraints=41882
1732.56/1733.13	c nbDecision=555500 #constraints=41921
1736.66/1737.28	c nbDecision=556000 #constraints=41966
1740.96/1741.53	c nbDecision=556500 #constraints=42012
1744.86/1745.43	c nbDecision=557000 #constraints=42046
1748.86/1749.41	c nbDecision=557500 #constraints=42087
1752.96/1753.57	c nbDecision=558000 #constraints=42130
1758.06/1758.68	c nbDecision=558500 #constraints=42182
1764.26/1764.82	c nbDecision=559000 #constraints=42245
1767.16/1767.79	c nbDecision=559500 #constraints=42287
1770.36/1770.92	c nbDecision=560000 #constraints=42337
1773.45/1774.09	c nbDecision=560500 #constraints=42387
1777.15/1777.73	c nbDecision=561000 #constraints=42445
1780.36/1780.96	c nbDecision=561500 #constraints=42516
1786.26/1786.81	c nbDecision=562000 #constraints=42580
1790.26/1790.81	c nbDecision=562500 #constraints=42630
1794.66/1795.22	c nbDecision=563000 #constraints=42673
1800.06/1800.60	Received signal 15
1800.06/1800.67	
1800.06/1800.67	s UNKNOWN
1800.06/1800.67	
1800.06/1800.67	c user time= 1799.87 s
1800.06/1800.67	c system time= 0.270958 s
1800.06/1800.67	c wall clock time=1800.68

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node50/watcher-366880-1177001514 -o ROOT/results/node50/solver-366880-1177001514 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366880-1177001514/instance-366880-1177001514.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.78 0.95 0.98 3/64 19224
/proc/meminfo: memFree=1762624/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=1468 CPUtime=0
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 54996616 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 367 163 131 317 0 46 0

[startup+0.070383 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 19224
/proc/meminfo: memFree=1762624/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=2012 CPUtime=0.06
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 315 0 0 0 6 0 0 0 18 0 1 0 54996616 2060288 297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384521 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 503 297 139 317 0 182 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2012

[startup+0.101386 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 19224
/proc/meminfo: memFree=1762624/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=2012 CPUtime=0.09
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 328 0 0 0 9 0 0 0 18 0 1 0 54996616 2060288 310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 503 310 139 317 0 182 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2012

[startup+0.301403 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 19224
/proc/meminfo: memFree=1762624/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=2396 CPUtime=0.29
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 446 0 0 0 29 0 0 0 19 0 1 0 54996616 2453504 428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273477 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 599 428 170 317 0 278 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2396

[startup+0.701439 s]
/proc/loadavg: 0.78 0.95 0.98 3/64 19224
/proc/meminfo: memFree=1762624/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=3052 CPUtime=0.69
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 596 0 0 0 69 0 0 0 22 0 1 0 54996616 3125248 578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 763 578 170 317 0 442 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3052

[startup+1.50251 s]
/proc/loadavg: 0.78 0.95 0.98 2/65 19225
/proc/meminfo: memFree=1760568/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=3984 CPUtime=1.49
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 826 0 0 0 149 0 0 0 25 0 1 0 54996616 4079616 808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 996 808 170 317 0 675 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3984

[startup+3.10165 s]
/proc/loadavg: 0.78 0.95 0.98 2/65 19225
/proc/meminfo: memFree=1759288/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=5328 CPUtime=3.09
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 1147 0 0 0 308 1 0 0 25 0 1 0 54996616 5455872 1129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604251 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 1332 1129 170 317 0 1011 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5328

[startup+6.30193 s]
/proc/loadavg: 0.80 0.95 0.98 2/65 19225
/proc/meminfo: memFree=1757304/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=6952 CPUtime=6.29
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 1561 0 0 0 628 1 0 0 25 0 1 0 54996616 7118848 1543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 1738 1543 170 317 0 1417 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6952

[startup+12.7015 s]
/proc/loadavg: 0.81 0.95 0.98 2/65 19225
/proc/meminfo: memFree=1755064/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=9064 CPUtime=12.69
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 2042 0 0 0 1267 2 0 0 25 0 1 0 54996616 9281536 2024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718662 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 2266 2024 170 317 0 1945 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9064

[startup+25.5016 s]
/proc/loadavg: 0.85 0.95 0.98 2/65 19225
/proc/meminfo: memFree=1752248/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=11904 CPUtime=25.49
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 2709 0 0 0 2546 3 0 0 25 0 1 0 54996616 12189696 2691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 2976 2691 170 317 0 2655 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 11904

[startup+51.1019 s]
/proc/loadavg: 0.90 0.96 0.98 2/65 19225
/proc/meminfo: memFree=1748472/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=15404 CPUtime=51.07
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 3628 0 0 0 5104 3 0 0 25 0 1 0 54996616 15773696 3552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 3851 3552 170 317 0 3530 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15404

[startup+102.305 s]
/proc/loadavg: 0.96 0.96 0.98 2/65 19225
/proc/meminfo: memFree=1743736/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=21072 CPUtime=102.27
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 4871 0 0 0 10222 5 0 0 25 0 1 0 54996616 21577728 4795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 5268 4795 170 317 0 4947 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21072

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/65 19225
/proc/meminfo: memFree=1737912/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=26640 CPUtime=162.25
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 6335 0 0 0 16219 6 0 0 25 0 1 0 54996616 27279360 6259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710982 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 6660 6259 170 317 0 6339 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 26640

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19225
/proc/meminfo: memFree=1734328/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=29784 CPUtime=222.23
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 7197 0 0 0 22216 7 0 0 25 0 1 0 54996616 30498816 7121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 7446 7121 170 317 0 7125 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 29784

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19225
/proc/meminfo: memFree=1731384/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=34292 CPUtime=282.22
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 8316 0 0 0 28214 8 0 0 25 0 1 0 54996616 35115008 7862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 8573 7862 170 317 0 8252 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 34292

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19225
/proc/meminfo: memFree=1728120/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=38020 CPUtime=342.21
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 9328 0 0 0 34211 10 0 0 25 0 1 0 54996616 38932480 8643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 9505 8643 170 317 0 9184 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 38020

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19225
/proc/meminfo: memFree=1725240/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=41292 CPUtime=402.2
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 10187 0 0 0 40209 11 0 0 25 0 1 0 54996616 42283008 9403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 10323 9403 170 317 0 10002 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 41292

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19225
/proc/meminfo: memFree=1722360/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=43952 CPUtime=462.18
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 10929 0 0 0 46206 12 0 0 25 0 1 0 54996616 45006848 10112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 10988 10112 170 317 0 10667 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 43952

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19225
/proc/meminfo: memFree=1720056/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=46080 CPUtime=522.16
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 11497 0 0 0 52204 12 0 0 25 0 1 0 54996616 47185920 10680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 11520 10680 170 317 0 11199 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 46080

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/71 19391
/proc/meminfo: memFree=1716272/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=48260 CPUtime=582.06
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 12084 0 0 0 58193 13 0 0 25 0 1 0 54996616 49418240 11267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 12065 11267 170 317 0 11744 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 48260

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 19423
/proc/meminfo: memFree=1715320/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=50092 CPUtime=642.03
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 12612 0 0 0 64189 14 0 0 25 0 1 0 54996616 51294208 11795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712584 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 12523 11795 170 317 0 12202 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 50092


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

[startup+822.302 s]
/proc/loadavg: 1.08 1.00 0.99 2/65 19423
/proc/meminfo: memFree=1709304/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=55756 CPUtime=821.99
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 14122 0 0 0 82183 16 0 0 25 0 1 0 54996616 57094144 13305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 13939 13305 170 317 0 13618 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 55756

[startup+882.302 s]
/proc/loadavg: 1.06 1.01 1.00 2/65 19423
/proc/meminfo: memFree=1707256/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=57624 CPUtime=881.97
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 14617 0 0 0 88181 16 0 0 25 0 1 0 54996616 59006976 13800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 14406 13800 170 317 0 14085 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 57624

[startup+942.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 19423
/proc/meminfo: memFree=1705336/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=59392 CPUtime=941.96
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 15082 0 0 0 94178 18 0 0 25 0 1 0 54996616 60817408 14265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 14848 14265 170 317 0 14527 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 59392

[startup+1002.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 19425
/proc/meminfo: memFree=1703224/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=61520 CPUtime=1001.94
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 15665 0 0 0 100175 19 0 0 25 0 1 0 54996616 62996480 14815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 15380 14815 170 317 0 15059 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 61520

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19425
/proc/meminfo: memFree=1701496/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=63228 CPUtime=1061.93
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 16155 0 0 0 106173 20 0 0 25 0 1 0 54996616 64745472 15272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 15807 15272 170 317 0 15486 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 63228

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19425
/proc/meminfo: memFree=1699512/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=67372 CPUtime=1121.92
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 17238 0 0 0 112171 21 0 0 25 0 1 0 54996616 68988928 15738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564035 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 16843 15738 170 317 0 16522 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 67372

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19425
/proc/meminfo: memFree=1697912/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=69664 CPUtime=1181.9
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 17842 0 0 0 118169 21 0 0 25 0 1 0 54996616 71335936 16147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 17416 16147 170 317 0 17095 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 69664

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19425
/proc/meminfo: memFree=1695800/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=72768 CPUtime=1241.89
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 18685 0 0 0 124167 22 0 0 25 0 1 0 54996616 74514432 16632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 18192 16632 170 317 0 17871 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 72768

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19425
/proc/meminfo: memFree=1694072/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=74860 CPUtime=1301.87
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 19265 0 0 0 130165 22 0 0 25 0 1 0 54996616 76656640 17082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 18715 17082 170 317 0 18394 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 74860

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19425
/proc/meminfo: memFree=1692344/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=76716 CPUtime=1361.86
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 19748 0 0 0 136163 23 0 0 25 0 1 0 54996616 78557184 17500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 19179 17500 170 317 0 18858 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 76716

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19425
/proc/meminfo: memFree=1690488/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=79056 CPUtime=1421.85
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 20381 0 0 0 142161 24 0 0 25 0 1 0 54996616 80953344 17970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 19764 17970 170 317 0 19443 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 79056

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19425
/proc/meminfo: memFree=1688056/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=81708 CPUtime=1481.82
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 21113 0 0 0 148158 24 0 0 25 0 1 0 54996616 83668992 18572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 20427 18572 170 317 0 20106 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 81708

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19425
/proc/meminfo: memFree=1686328/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=83400 CPUtime=1541.82
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 21583 0 0 0 154157 25 0 0 25 0 1 0 54996616 85401600 18977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 20850 18977 170 317 0 20529 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 83400

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19425
/proc/meminfo: memFree=1684984/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=84872 CPUtime=1601.8
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 21944 0 0 0 160155 25 0 0 25 0 1 0 54996616 86908928 19338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 21218 19338 170 317 0 20897 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 84872

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19425
/proc/meminfo: memFree=1683640/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=85920 CPUtime=1661.79
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 22252 0 0 0 166153 26 0 0 25 0 1 0 54996616 87982080 19646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 21480 19646 170 317 0 21159 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 85920

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19425
/proc/meminfo: memFree=1682360/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=87240 CPUtime=1721.77
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 22584 0 0 0 172151 26 0 0 25 0 1 0 54996616 89333760 19978 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 21810 19978 170 317 0 21489 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 87240

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19425
/proc/meminfo: memFree=1680760/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=88672 CPUtime=1781.76
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 23002 0 0 0 178149 27 0 0 25 0 1 0 54996616 90800128 20363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604327 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 22168 20363 170 317 0 21847 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 88672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 19425
/proc/meminfo: memFree=1680312/2055920 swapFree=4183800/4192956
[pid=19224] ppid=19222 vsize=89064 CPUtime=1800.06
/proc/19224/stat : 19224 (oree) R 19222 19224 19167 0 -1 4194304 23109 0 0 0 179979 27 0 0 25 0 1 0 54996616 91201536 20470 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19224/statm: 22266 20470 170 317 0 21945 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 89064

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

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

Child status: 0
Real time (s): 1800.7
CPU time (s): 1800.16
CPU user time (s): 1799.87
CPU system time (s): 0.285956
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 89064

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

runsolver used 1.2818 second user time and 3.72843 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Thu Apr 19 16:51:54 UTC 2007

IDJOB= 366880
IDBENCH= 2936
IDSOLVER= 172
FILE ID= node50/366880-1177001514

PBS_JOBID= 4630512

Free space on /tmp= 66507 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  4bc9c47dc743f36fab4669cf3c8ccd21

RANDOM SEED= 704241897

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1763032 kB
Buffers:         15868 kB
Cached:         212944 kB
SwapCached:       2932 kB
Active:          94344 kB
Inactive:       143720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1763032 kB
SwapTotal:     4192956 kB
SwapFree:      4183800 kB
Dirty:            1560 kB
Writeback:           0 kB
Mapped:          15148 kB
Slab:            40832 kB
Committed_AS:  1067368 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66507 MiB

End job on node50 on Thu Apr 19 17:21:57 UTC 2007