Trace number 357499

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.13 1800.75

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_10.opb
MD5SUMdd415565c40b70127defa3137ccd18d3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark55
Best CPU time to get the best result obtained on this benchmark1621.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 55
Optimality of the best value was proved YES
Number of variables895
Total number of constraints1660
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 constraints1659
Minimum length of a constraint1
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 45
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 108
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 144
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 741
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.05/0.10	c ...done
0.05/0.10	c #vars=895 #constraints=1661 hasObjective=yes
0.09/0.12	c res. mode=mod
0.09/0.12	c VSIDS like heuristics
0.09/0.12	c complete search running
0.09/0.13	c restart after 401 decisions
0.09/0.13	c nbDecision=500 #constraints=1661
0.09/0.14	c restart after 801 decisions
0.09/0.15	c nbDecision=1000 #constraints=1661
0.09/0.17	c nbDecision=1500 #constraints=1662
0.09/0.17	c restart after 1601 decisions
0.09/0.19	c nbDecision=2000 #constraints=1662
0.19/0.20	c nbDecision=2500 #constraints=1663
0.19/0.22	c nbDecision=3000 #constraints=1664
0.19/0.22	c restart after 3201 decisions
0.19/0.23	c nbDecision=3500 #constraints=1665
0.19/0.25	c nbDecision=4000 #constraints=1666
0.19/0.26	c nbDecision=4500 #constraints=1668
0.19/0.28	c nbDecision=5000 #constraints=1668
0.19/0.29	c nbDecision=5500 #constraints=1669
0.29/0.31	c nbDecision=6000 #constraints=1670
0.29/0.32	c restart after 6401 decisions
0.29/0.33	c nbDecision=6500 #constraints=1671
0.29/0.34	c nbDecision=7000 #constraints=1672
0.29/0.36	c nbDecision=7500 #constraints=1673
0.29/0.37	c nbDecision=8000 #constraints=1674
0.29/0.39	c nbDecision=8500 #constraints=1675
0.39/0.40	c nbDecision=9000 #constraints=1676
0.39/0.42	c nbDecision=9500 #constraints=1679
0.39/0.43	c nbDecision=10000 #constraints=1680
0.39/0.45	c nbDecision=10500 #constraints=1681
0.39/0.46	c nbDecision=11000 #constraints=1681
0.39/0.48	c nbDecision=11500 #constraints=1682
0.39/0.49	c nbDecision=12000 #constraints=1683
0.49/0.51	c nbDecision=12500 #constraints=1684
0.49/0.52	c restart after 12801 decisions
0.49/0.53	c nbDecision=13000 #constraints=1685
0.49/0.54	c nbDecision=13500 #constraints=1686
0.49/0.56	c nbDecision=14000 #constraints=1687
0.49/0.57	c nbDecision=14500 #constraints=1688
0.49/0.59	c nbDecision=15000 #constraints=1689
0.59/0.60	c nbDecision=15500 #constraints=1690
0.59/0.62	c nbDecision=16000 #constraints=1691
0.59/0.63	c nbDecision=16500 #constraints=1692
0.59/0.66	c nbDecision=17000 #constraints=1697
0.59/0.67	c nbDecision=17500 #constraints=1698
0.59/0.69	c nbDecision=18000 #constraints=1700
0.69/0.74	c nbDecision=18500 #constraints=1715
0.69/0.75	c nbDecision=19000 #constraints=1716
0.69/0.77	c nbDecision=19500 #constraints=1717
0.69/0.78	c nbDecision=20000 #constraints=1718
0.69/0.79	c nbDecision=20500 #constraints=1718
0.79/0.81	c nbDecision=21000 #constraints=1719
0.79/0.83	c nbDecision=21500 #constraints=1720
0.79/0.85	c nbDecision=22000 #constraints=1725
0.79/0.87	c nbDecision=22500 #constraints=1726
0.79/0.88	c nbDecision=23000 #constraints=1727
0.89/0.91	c nbDecision=23500 #constraints=1740
0.89/0.95	c nbDecision=24000 #constraints=1757
0.89/0.97	c nbDecision=24500 #constraints=1766
0.89/0.99	c nbDecision=25000 #constraints=1773
1.00/1.01	c nbDecision=25500 #constraints=1779
1.00/1.01	c restart after 25601 decisions
1.00/1.03	c nbDecision=26000 #constraints=1780
1.00/1.04	c nbDecision=26500 #constraints=1783
1.00/1.06	c nbDecision=27000 #constraints=1788
1.00/1.07	c nbDecision=27500 #constraints=1790
1.10/1.12	c nbDecision=28000 #constraints=1809
1.10/1.14	c nbDecision=28500 #constraints=1811
1.10/1.15	c nbDecision=29000 #constraints=1812
1.10/1.17	c nbDecision=29500 #constraints=1813
1.10/1.18	c nbDecision=30000 #constraints=1814
1.19/1.20	c nbDecision=30500 #constraints=1815
1.19/1.21	c nbDecision=31000 #constraints=1816
1.19/1.23	c nbDecision=31500 #constraints=1817
1.19/1.25	c nbDecision=32000 #constraints=1818
1.19/1.28	c nbDecision=32500 #constraints=1824
1.19/1.29	c nbDecision=33000 #constraints=1825
1.29/1.31	c nbDecision=33500 #constraints=1831
1.29/1.33	c nbDecision=34000 #constraints=1840
1.29/1.33	c nbDecision=34500 #constraints=1845
1.29/1.35	c nbDecision=35000 #constraints=1852
1.29/1.38	c nbDecision=35500 #constraints=1864
1.39/1.41	c nbDecision=36000 #constraints=1874
1.39/1.43	c nbDecision=36500 #constraints=1884
1.39/1.47	c nbDecision=37000 #constraints=1896
1.49/1.51	c nbDecision=37500 #constraints=1910
1.49/1.56	c nbDecision=38000 #constraints=1929
1.59/1.60	c nbDecision=38500 #constraints=1944
1.59/1.63	c nbDecision=39000 #constraints=1954
1.59/1.67	c nbDecision=39500 #constraints=1969
1.59/1.69	c nbDecision=40000 #constraints=1977
1.69/1.72	c nbDecision=40500 #constraints=1987
1.69/1.78	c nbDecision=41000 #constraints=2007
1.79/1.82	c nbDecision=41500 #constraints=2019
1.79/1.87	c nbDecision=42000 #constraints=2035
1.89/1.91	c nbDecision=42500 #constraints=2048
1.89/1.94	c nbDecision=43000 #constraints=2059
1.89/1.99	c nbDecision=43500 #constraints=2078
1.99/2.04	c nbDecision=44000 #constraints=2092
1.99/2.10	c nbDecision=44500 #constraints=2109
2.10/2.13	c nbDecision=45000 #constraints=2119
2.10/2.18	c nbDecision=45500 #constraints=2134
2.20/2.22	c nbDecision=46000 #constraints=2145
2.20/2.26	c nbDecision=46500 #constraints=2159
2.29/2.30	c nbDecision=47000 #constraints=2171
2.29/2.38	c nbDecision=47500 #constraints=2199
2.39/2.45	c nbDecision=48000 #constraints=2219
2.49/2.51	c nbDecision=48500 #constraints=2240
2.49/2.54	c nbDecision=49000 #constraints=2257
2.49/2.57	c nbDecision=49500 #constraints=2269
2.59/2.64	c nbDecision=50000 #constraints=2291
2.59/2.69	c nbDecision=50500 #constraints=2305
2.69/2.73	c nbDecision=51000 #constraints=2319
2.69/2.74	c restart after 51201 decisions
2.69/2.75	c nbDecision=51500 #constraints=2323
2.69/2.77	c nbDecision=52000 #constraints=2326
2.69/2.79	c nbDecision=52500 #constraints=2334
2.79/2.82	c nbDecision=53000 #constraints=2338
2.79/2.89	c nbDecision=53500 #constraints=2360
2.89/2.95	c nbDecision=54000 #constraints=2376
2.99/3.00	c nbDecision=54500 #constraints=2390
2.99/3.06	c nbDecision=55000 #constraints=2403
3.09/3.11	c nbDecision=55500 #constraints=2420
3.09/3.15	c nbDecision=56000 #constraints=2436
3.09/3.18	c nbDecision=56500 #constraints=2445
3.19/3.20	c nbDecision=57000 #constraints=2449
3.19/3.23	c nbDecision=57500 #constraints=2451
3.19/3.25	c nbDecision=58000 #constraints=2452
3.19/3.26	c nbDecision=58500 #constraints=2453
3.29/3.36	c nbDecision=59000 #constraints=2480
3.39/3.44	c nbDecision=59500 #constraints=2506
3.39/3.48	c nbDecision=60000 #constraints=2518
3.49/3.57	c nbDecision=60500 #constraints=2544
3.49/3.58	c nbDecision=61000 #constraints=2545
3.59/3.61	c nbDecision=61500 #constraints=2549
3.69/3.73	c nbDecision=62000 #constraints=2580
3.79/3.80	c nbDecision=62500 #constraints=2600
3.79/3.86	c nbDecision=63000 #constraints=2621
3.89/3.91	c nbDecision=63500 #constraints=2639
3.99/4.00	c nbDecision=64000 #constraints=2668
3.99/4.09	c nbDecision=64500 #constraints=2692
4.19/4.20	c nbDecision=65000 #constraints=2719
4.19/4.30	c nbDecision=65500 #constraints=2741
4.39/4.41	c nbDecision=66000 #constraints=2770
4.49/4.50	c nbDecision=66500 #constraints=2800
4.49/4.59	c nbDecision=67000 #constraints=2822
4.59/4.60	c nbDecision=67500 #constraints=2822
4.59/4.62	c nbDecision=68000 #constraints=2823
4.59/4.64	c nbDecision=68500 #constraints=2824
4.59/4.67	c nbDecision=69000 #constraints=2827
4.59/4.68	c nbDecision=69500 #constraints=2828
4.69/4.72	c nbDecision=70000 #constraints=2834
4.69/4.74	c nbDecision=70500 #constraints=2835
4.69/4.76	c nbDecision=71000 #constraints=2837
4.69/4.78	c nbDecision=71500 #constraints=2838
4.69/4.79	c nbDecision=72000 #constraints=2839
4.79/4.81	c nbDecision=72500 #constraints=2841
4.79/4.84	c nbDecision=73000 #constraints=2844
4.79/4.89	c nbDecision=73500 #constraints=2860
4.89/4.92	c nbDecision=74000 #constraints=2870
4.89/4.97	c nbDecision=74500 #constraints=2884
4.99/5.01	c nbDecision=75000 #constraints=2895
4.99/5.04	c nbDecision=75500 #constraints=2901
4.99/5.08	c nbDecision=76000 #constraints=2913
5.09/5.12	c nbDecision=76500 #constraints=2926
5.09/5.18	c nbDecision=77000 #constraints=2949
5.19/5.22	c nbDecision=77500 #constraints=2964
5.19/5.27	c nbDecision=78000 #constraints=2979
5.29/5.31	c nbDecision=78500 #constraints=2992
5.29/5.38	c nbDecision=79000 #constraints=3015
5.39/5.43	c nbDecision=79500 #constraints=3031
5.39/5.49	c nbDecision=80000 #constraints=3050
5.49/5.59	c nbDecision=80500 #constraints=3082
5.59/5.68	c nbDecision=81000 #constraints=3109
5.69/5.78	c nbDecision=81500 #constraints=3140
5.79/5.88	c nbDecision=82000 #constraints=3165
5.89/5.98	c nbDecision=82500 #constraints=3192
5.99/6.09	c nbDecision=83000 #constraints=3222
6.09/6.15	c nbDecision=83500 #constraints=3236
6.19/6.23	c nbDecision=84000 #constraints=3259
6.29/6.37	c nbDecision=84500 #constraints=3304
6.39/6.44	c nbDecision=85000 #constraints=3321
6.49/6.52	c nbDecision=85500 #constraints=3345
6.59/6.62	c nbDecision=86000 #constraints=3371
6.68/6.72	c nbDecision=86500 #constraints=3400
6.78/6.81	c nbDecision=87000 #constraints=3421
6.88/6.96	c nbDecision=87500 #constraints=3461
6.98/7.07	c nbDecision=88000 #constraints=3493
7.08/7.17	c nbDecision=88500 #constraints=3520
7.18/7.25	c nbDecision=89000 #constraints=3541
7.28/7.33	c nbDecision=89500 #constraints=3558
7.28/7.39	c nbDecision=90000 #constraints=3573
7.38/7.48	c nbDecision=90500 #constraints=3595
7.48/7.59	c nbDecision=91000 #constraints=3622
7.69/7.71	c nbDecision=91500 #constraints=3653
7.78/7.86	c nbDecision=92000 #constraints=3690
7.88/7.99	c nbDecision=92500 #constraints=3722
8.08/8.18	c nbDecision=93000 #constraints=3772
8.28/8.33	c nbDecision=93500 #constraints=3806
8.38/8.48	c nbDecision=94000 #constraints=3843
8.58/8.65	c nbDecision=94500 #constraints=3881
8.69/8.77	c nbDecision=95000 #constraints=3905
8.88/8.90	c nbDecision=95500 #constraints=3935
8.98/9.08	c nbDecision=96000 #constraints=3974
9.18/9.28	c nbDecision=96500 #constraints=4022
9.48/9.50	c nbDecision=97000 #constraints=4073
9.68/9.77	c nbDecision=97500 #constraints=4134
9.89/9.92	c nbDecision=98000 #constraints=4167
10.08/10.15	c nbDecision=98500 #constraints=4218
10.28/10.37	c nbDecision=99000 #constraints=4260
10.58/10.65	c nbDecision=99500 #constraints=4316
10.78/10.84	c nbDecision=100000 #constraints=4352
10.89/10.99	c nbDecision=100500 #constraints=4383
11.18/11.21	c nbDecision=101000 #constraints=4432
11.28/11.36	c nbDecision=101500 #constraints=4465
11.48/11.50	c nbDecision=102000 #constraints=4493
11.58/11.60	c restart after 102401 decisions
11.58/11.66	c nbDecision=102500 #constraints=4514
11.58/11.69	c nbDecision=103000 #constraints=4515
11.78/11.85	c nbDecision=103500 #constraints=4541
11.99/12.03	c nbDecision=104000 #constraints=4577
12.18/12.23	c nbDecision=104500 #constraints=4615
12.39/12.42	c nbDecision=105000 #constraints=4645
12.49/12.55	c nbDecision=105500 #constraints=4669
12.69/12.71	c nbDecision=106000 #constraints=4702
12.89/12.90	c nbDecision=106500 #constraints=4733
12.99/13.09	c nbDecision=107000 #constraints=4769
13.19/13.21	c nbDecision=107500 #constraints=4794
13.29/13.31	c nbDecision=108000 #constraints=4816
13.39/13.40	c nbDecision=108500 #constraints=4834
13.49/13.51	c nbDecision=109000 #constraints=4860
13.59/13.61	c nbDecision=109500 #constraints=4883
13.69/13.74	c nbDecision=110000 #constraints=4907
13.79/13.87	c nbDecision=110500 #constraints=4939
13.99/14.01	c nbDecision=111000 #constraints=4970
14.09/14.20	c nbDecision=111500 #constraints=5010
14.29/14.34	c nbDecision=112000 #constraints=5031
14.39/14.49	c nbDecision=112500 #constraints=5055
14.59/14.63	c nbDecision=113000 #constraints=5080
14.69/14.78	c nbDecision=113500 #constraints=5101
14.79/14.81	c nbDecision=114000 #constraints=5102
14.89/14.99	c nbDecision=114500 #constraints=5127
15.09/15.14	c nbDecision=115000 #constraints=5152
15.29/15.33	c nbDecision=115500 #constraints=5182
15.48/15.52	c nbDecision=116000 #constraints=5213
15.58/15.66	c nbDecision=116500 #constraints=5240
15.88/15.91	c nbDecision=117000 #constraints=5292
15.98/16.01	c nbDecision=117500 #constraints=5311
16.18/16.29	c nbDecision=118000 #constraints=5354
16.39/16.47	c nbDecision=118500 #constraints=5380
16.68/16.75	c nbDecision=119000 #constraints=5420
16.88/16.98	c nbDecision=119500 #constraints=5450
17.18/17.28	c nbDecision=120000 #constraints=5488
17.49/17.51	c nbDecision=120500 #constraints=5519
17.78/17.83	c nbDecision=121000 #constraints=5565
17.98/18.03	c nbDecision=121500 #constraints=5605
18.18/18.23	c nbDecision=122000 #constraints=5637
18.38/18.48	c nbDecision=122500 #constraints=5678
18.69/18.78	c nbDecision=123000 #constraints=5721
18.98/19.00	c nbDecision=123500 #constraints=5757
19.28/19.36	c nbDecision=124000 #constraints=5811
19.58/19.69	c nbDecision=124500 #constraints=5860
19.98/20.02	c nbDecision=125000 #constraints=5905
20.38/20.47	c nbDecision=125500 #constraints=5961
20.78/20.89	c nbDecision=126000 #constraints=6018
21.18/21.28	c nbDecision=126500 #constraints=6066
21.48/21.59	c nbDecision=127000 #constraints=6104
21.68/21.70	c nbDecision=127500 #constraints=6112
21.98/22.04	c nbDecision=128000 #constraints=6148
22.18/22.28	c nbDecision=128500 #constraints=6176
22.48/22.51	c nbDecision=129000 #constraints=6208
22.78/22.85	c nbDecision=129500 #constraints=6249
23.08/23.16	c nbDecision=130000 #constraints=6284
23.38/23.47	c nbDecision=130500 #constraints=6318
23.68/23.72	c nbDecision=131000 #constraints=6344
23.88/23.98	c nbDecision=131500 #constraints=6374
23.98/24.00	c nbDecision=132000 #constraints=6375
24.28/24.39	c nbDecision=132500 #constraints=6420
24.78/24.86	c nbDecision=133000 #constraints=6471
25.18/25.24	c nbDecision=133500 #constraints=6511
25.48/25.58	c nbDecision=134000 #constraints=6548
26.09/26.10	c nbDecision=134500 #constraints=6600
26.39/26.50	c nbDecision=135000 #constraints=6636
26.88/27.00	c nbDecision=135500 #constraints=6687
27.39/27.45	c nbDecision=136000 #constraints=6732
27.78/27.82	c nbDecision=136500 #constraints=6767
27.78/27.85	c nbDecision=137000 #constraints=6768
28.18/28.23	c nbDecision=137500 #constraints=6801
28.98/29.01	c nbDecision=138000 #constraints=6869
29.48/29.56	c nbDecision=138500 #constraints=6915
30.28/30.31	c nbDecision=139000 #constraints=6986
30.88/30.95	c nbDecision=139500 #constraints=7046
31.58/31.60	c nbDecision=140000 #constraints=7107
32.48/32.59	c nbDecision=140500 #constraints=7202
33.08/33.19	c nbDecision=141000 #constraints=7257
33.68/33.76	c nbDecision=141500 #constraints=7312
33.88/33.99	c nbDecision=142000 #constraints=7331
34.08/34.14	c nbDecision=142500 #constraints=7350
34.28/34.37	c nbDecision=143000 #constraints=7380
34.48/34.57	c nbDecision=143500 #constraints=7405
34.78/34.88	c nbDecision=144000 #constraints=7443
35.08/35.12	c nbDecision=144500 #constraints=7475
35.28/35.35	c nbDecision=145000 #constraints=7503
35.58/35.63	c nbDecision=145500 #constraints=7529
35.88/35.99	c nbDecision=146000 #constraints=7563
36.38/36.45	c nbDecision=146500 #constraints=7607
36.58/36.69	c nbDecision=147000 #constraints=7637
36.88/36.95	c nbDecision=147500 #constraints=7674
37.08/37.19	c nbDecision=148000 #constraints=7707
37.38/37.47	c nbDecision=148500 #constraints=7747
37.78/37.89	c nbDecision=149000 #constraints=7785
38.27/38.39	c nbDecision=149500 #constraints=7840
38.57/38.68	c nbDecision=150000 #constraints=7882
38.97/39.04	c nbDecision=150500 #constraints=7921
39.37/39.46	c nbDecision=151000 #constraints=7968
39.87/39.91	c nbDecision=151500 #constraints=8019
40.17/40.25	c nbDecision=152000 #constraints=8063
40.77/40.80	c nbDecision=152500 #constraints=8119
41.27/41.38	c nbDecision=153000 #constraints=8176
42.37/42.46	c nbDecision=153500 #constraints=8255
43.27/43.32	c nbDecision=154000 #constraints=8322
44.08/44.11	c nbDecision=154500 #constraints=8387
44.58/44.68	c nbDecision=155000 #constraints=8432
45.38/45.43	c nbDecision=155500 #constraints=8498
45.88/45.94	c nbDecision=156000 #constraints=8544
46.58/46.69	c nbDecision=156500 #constraints=8617
47.78/47.80	c nbDecision=157000 #constraints=8700
48.88/48.96	c nbDecision=157500 #constraints=8780
49.67/49.75	c nbDecision=158000 #constraints=8842
50.58/50.61	c nbDecision=158500 #constraints=8906
51.68/51.76	c nbDecision=159000 #constraints=8988
52.97/53.04	c nbDecision=159500 #constraints=9069
54.28/54.30	c nbDecision=160000 #constraints=9157
55.58/55.60	c nbDecision=160500 #constraints=9247
56.48/56.55	c nbDecision=161000 #constraints=9310
56.98/57.06	c nbDecision=161500 #constraints=9349
57.98/58.09	c nbDecision=162000 #constraints=9426
58.88/58.98	c nbDecision=162500 #constraints=9487
59.48/59.57	c nbDecision=163000 #constraints=9540
60.27/60.35	c nbDecision=163500 #constraints=9618
61.07/61.18	c nbDecision=164000 #constraints=9694
61.97/62.03	c nbDecision=164500 #constraints=9767
63.27/63.37	c nbDecision=165000 #constraints=9854
64.37/64.41	c nbDecision=165500 #constraints=9920
65.17/65.24	c nbDecision=166000 #constraints=9979
66.27/66.34	c nbDecision=166500 #constraints=10056
67.17/67.20	c nbDecision=167000 #constraints=10116
68.47/68.58	c nbDecision=167500 #constraints=10211
70.07/70.15	c nbDecision=168000 #constraints=10311
71.07/71.17	c nbDecision=168500 #constraints=10374
71.87/71.93	c nbDecision=169000 #constraints=10415
72.47/72.52	c nbDecision=169500 #constraints=10450
73.16/73.27	c nbDecision=170000 #constraints=10498
73.76/73.83	c nbDecision=170500 #constraints=10529
74.36/74.41	c nbDecision=171000 #constraints=10570
74.68/74.76	c nbDecision=171500 #constraints=10599
74.97/75.03	c nbDecision=172000 #constraints=10615
75.27/75.34	c nbDecision=172500 #constraints=10641
75.57/75.69	c nbDecision=173000 #constraints=10671
75.97/76.04	c nbDecision=173500 #constraints=10697
76.47/76.56	c nbDecision=174000 #constraints=10750
76.98/77.03	c nbDecision=174500 #constraints=10784
77.47/77.54	c nbDecision=175000 #constraints=10821
77.87/77.96	c nbDecision=175500 #constraints=10851
78.37/78.49	c nbDecision=176000 #constraints=10891
79.37/79.48	c nbDecision=176500 #constraints=10953
80.57/80.63	c nbDecision=177000 #constraints=11012
81.27/81.39	c nbDecision=177500 #constraints=11057
82.47/82.55	c nbDecision=178000 #constraints=11118
83.27/83.39	c nbDecision=178500 #constraints=11172
84.37/84.41	c nbDecision=179000 #constraints=11235
85.17/85.22	c nbDecision=179500 #constraints=11283
86.06/86.10	c nbDecision=180000 #constraints=11341
87.26/87.34	c nbDecision=180500 #constraints=11426
87.56/87.69	c nbDecision=181000 #constraints=11438
89.36/89.40	c nbDecision=181500 #constraints=11530
90.36/90.47	c nbDecision=182000 #constraints=11588
91.66/91.75	c nbDecision=182500 #constraints=11666
92.66/92.72	c nbDecision=183000 #constraints=11708
93.16/93.20	c nbDecision=183500 #constraints=11721
93.96/94.06	c nbDecision=184000 #constraints=11767
94.76/94.86	c nbDecision=184500 #constraints=11810
95.36/95.40	c nbDecision=185000 #constraints=11827
95.96/96.09	c nbDecision=185500 #constraints=11851
97.06/97.12	c nbDecision=186000 #constraints=11886
98.16/98.22	c nbDecision=186500 #constraints=11930
99.26/99.31	c nbDecision=187000 #constraints=11969
101.26/101.37	c nbDecision=187500 #constraints=12036
102.46/102.52	c nbDecision=188000 #constraints=12092
104.26/104.33	c nbDecision=188500 #constraints=12182
105.56/105.63	c nbDecision=189000 #constraints=12255
107.46/107.58	c nbDecision=189500 #constraints=12346
107.76/107.81	c nbDecision=190000 #constraints=12357
108.36/108.44	c nbDecision=190500 #constraints=12395
109.66/109.78	c nbDecision=191000 #constraints=12448
110.16/110.21	c nbDecision=191500 #constraints=12460
110.36/110.45	c nbDecision=192000 #constraints=12463
110.66/110.77	c nbDecision=192500 #constraints=12474
112.56/112.62	c nbDecision=193000 #constraints=12573
113.85/113.98	c nbDecision=193500 #constraints=12639
113.95/114.08	c nbDecision=194000 #constraints=12640
114.95/115.02	c nbDecision=194500 #constraints=12684
116.05/116.13	c nbDecision=195000 #constraints=12727
116.35/116.49	c nbDecision=195500 #constraints=12741
116.75/116.81	c nbDecision=196000 #constraints=12764
117.05/117.16	c nbDecision=196500 #constraints=12785
117.56/117.64	c nbDecision=197000 #constraints=12826
117.95/118.03	c nbDecision=197500 #constraints=12858
118.25/118.33	c nbDecision=198000 #constraints=12878
118.55/118.60	c nbDecision=198500 #constraints=12903
118.85/118.92	c nbDecision=199000 #constraints=12924
119.25/119.32	c nbDecision=199500 #constraints=12954
119.55/119.64	c nbDecision=200000 #constraints=12977
119.95/120.05	c nbDecision=200500 #constraints=13009
120.35/120.47	c nbDecision=201000 #constraints=13035
120.75/120.88	c nbDecision=201500 #constraints=13060
121.25/121.33	c nbDecision=202000 #constraints=13092
121.76/121.82	c nbDecision=202500 #constraints=13121
122.26/122.30	c nbDecision=203000 #constraints=13160
122.56/122.68	c nbDecision=203500 #constraints=13184
122.96/123.03	c nbDecision=204000 #constraints=13213
123.26/123.35	c nbDecision=204500 #constraints=13237
123.46/123.57	c restart after 204801 decisions
123.76/123.87	c nbDecision=205000 #constraints=13256
124.16/124.25	c nbDecision=205500 #constraints=13262
124.76/124.81	c nbDecision=206000 #constraints=13277
125.66/125.73	c nbDecision=206500 #constraints=13302
125.76/125.84	c nbDecision=207000 #constraints=13303
125.86/125.96	c nbDecision=207500 #constraints=13304
126.56/126.65	c nbDecision=208000 #constraints=13320
127.16/127.21	c nbDecision=208500 #constraints=13333
127.56/127.61	c nbDecision=209000 #constraints=13349
127.96/128.09	c nbDecision=209500 #constraints=13379
128.36/128.49	c nbDecision=210000 #constraints=13404
128.86/128.95	c nbDecision=210500 #constraints=13433
129.26/129.35	c nbDecision=211000 #constraints=13463
129.76/129.88	c nbDecision=211500 #constraints=13498
130.36/130.43	c nbDecision=212000 #constraints=13541
131.06/131.12	c nbDecision=212500 #constraints=13590
131.66/131.74	c nbDecision=213000 #constraints=13639
132.25/132.38	c nbDecision=213500 #constraints=13683
132.96/133.00	c nbDecision=214000 #constraints=13724
133.55/133.68	c nbDecision=214500 #constraints=13764
134.16/134.29	c nbDecision=215000 #constraints=13810
134.75/134.80	c nbDecision=215500 #constraints=13850
135.26/135.35	c nbDecision=216000 #constraints=13891
136.05/136.11	c nbDecision=216500 #constraints=13943
136.85/136.90	c nbDecision=217000 #constraints=13997
137.55/137.66	c nbDecision=217500 #constraints=14060
138.15/138.24	c nbDecision=218000 #constraints=14101
138.85/138.96	c nbDecision=218500 #constraints=14146
139.75/139.86	c nbDecision=219000 #constraints=14207
140.75/140.80	c nbDecision=219500 #constraints=14277
141.35/141.41	c nbDecision=220000 #constraints=14309
141.95/142.08	c nbDecision=220500 #constraints=14358
142.55/142.65	c nbDecision=221000 #constraints=14394
143.15/143.28	c nbDecision=221500 #constraints=14442
143.95/144.07	c nbDecision=222000 #constraints=14502
144.65/144.79	c nbDecision=222500 #constraints=14551
145.35/145.47	c nbDecision=223000 #constraints=14601
146.15/146.24	c nbDecision=223500 #constraints=14662
146.94/147.05	c nbDecision=224000 #constraints=14717
147.74/147.80	c nbDecision=224500 #constraints=14767
148.35/148.45	c nbDecision=225000 #constraints=14812
149.05/149.13	c nbDecision=225500 #constraints=14860
149.65/149.72	c nbDecision=226000 #constraints=14897
150.25/150.37	c nbDecision=226500 #constraints=14936
150.75/150.82	c nbDecision=227000 #constraints=14967
151.25/151.37	c nbDecision=227500 #constraints=15004
151.85/151.95	c nbDecision=228000 #constraints=15046
152.55/152.61	c nbDecision=228500 #constraints=15085
152.95/153.05	c nbDecision=229000 #constraints=15108
153.55/153.66	c nbDecision=229500 #constraints=15148
154.45/154.51	c nbDecision=230000 #constraints=15206
155.15/155.27	c nbDecision=230500 #constraints=15255
156.06/156.19	c nbDecision=231000 #constraints=15319
157.05/157.11	c nbDecision=231500 #constraints=15379
157.85/157.92	c nbDecision=232000 #constraints=15442
158.55/158.60	c nbDecision=232500 #constraints=15491
159.35/159.46	c nbDecision=233000 #constraints=15544
160.24/160.34	c nbDecision=233500 #constraints=15600
161.14/161.25	c nbDecision=234000 #constraints=15656
162.14/162.20	c nbDecision=234500 #constraints=15708
163.04/163.18	c nbDecision=235000 #constraints=15769
164.15/164.22	c nbDecision=235500 #constraints=15829
165.15/165.20	c nbDecision=236000 #constraints=15886
165.75/165.85	c nbDecision=236500 #constraints=15925
166.45/166.53	c nbDecision=237000 #constraints=15969
167.35/167.46	c nbDecision=237500 #constraints=16019
168.15/168.24	c nbDecision=238000 #constraints=16067
169.35/169.46	c nbDecision=238500 #constraints=16132
170.25/170.40	c nbDecision=239000 #constraints=16181
171.34/171.43	c nbDecision=239500 #constraints=16250
172.14/172.29	c nbDecision=240000 #constraints=16300
173.24/173.37	c nbDecision=240500 #constraints=16366
174.14/174.21	c nbDecision=241000 #constraints=16413
175.34/175.48	c nbDecision=241500 #constraints=16482
176.44/176.57	c nbDecision=242000 #constraints=16542
177.64/177.75	c nbDecision=242500 #constraints=16613
178.64/178.79	c nbDecision=243000 #constraints=16669
179.74/179.82	c nbDecision=243500 #constraints=16729
180.94/181.09	c nbDecision=244000 #constraints=16807
182.34/182.42	c nbDecision=244500 #constraints=16876
183.64/183.71	c nbDecision=245000 #constraints=16942
184.74/184.88	c nbDecision=245500 #constraints=17000
186.04/186.14	c nbDecision=246000 #constraints=17071
187.34/187.49	c nbDecision=246500 #constraints=17146
188.84/188.92	c nbDecision=247000 #constraints=17221
190.24/190.38	c nbDecision=247500 #constraints=17302
191.54/191.69	c nbDecision=248000 #constraints=17370
193.14/193.28	c nbDecision=248500 #constraints=17450
194.23/194.38	c nbDecision=249000 #constraints=17501
195.23/195.39	c nbDecision=249500 #constraints=17545
196.63/196.74	c nbDecision=250000 #constraints=17612
197.94/198.06	c nbDecision=250500 #constraints=17679
199.83/199.95	c nbDecision=251000 #constraints=17775
201.13/201.27	c nbDecision=251500 #constraints=17832
202.13/202.29	c nbDecision=252000 #constraints=17888
203.23/203.37	c nbDecision=252500 #constraints=17938
204.93/205.01	c nbDecision=253000 #constraints=18024
205.93/206.05	c nbDecision=253500 #constraints=18074
207.03/207.13	c nbDecision=254000 #constraints=18127
207.93/208.05	c nbDecision=254500 #constraints=18177
209.03/209.19	c nbDecision=255000 #constraints=18228
210.13/210.21	c nbDecision=255500 #constraints=18280
211.23/211.32	c nbDecision=256000 #constraints=18328
212.23/212.31	c nbDecision=256500 #constraints=18367
213.13/213.21	c nbDecision=257000 #constraints=18402
213.92/214.06	c nbDecision=257500 #constraints=18440
214.92/215.03	c nbDecision=258000 #constraints=18479
215.92/216.02	c nbDecision=258500 #constraints=18531
216.73/216.83	c nbDecision=259000 #constraints=18566
217.74/217.81	c nbDecision=259500 #constraints=18610
218.53/218.63	c nbDecision=260000 #constraints=18661
219.53/219.62	c nbDecision=260500 #constraints=18717
220.43/220.58	c nbDecision=261000 #constraints=18771
221.53/221.68	c nbDecision=261500 #constraints=18815
223.13/223.25	c nbDecision=262000 #constraints=18884
224.83/224.97	c nbDecision=262500 #constraints=18969
226.23/226.30	c nbDecision=263000 #constraints=19036
227.73/227.81	c nbDecision=263500 #constraints=19103
229.23/229.31	c nbDecision=264000 #constraints=19172
230.73/230.82	c nbDecision=264500 #constraints=19234
232.23/232.36	c nbDecision=265000 #constraints=19294
234.02/234.17	c nbDecision=265500 #constraints=19374
236.12/236.20	c nbDecision=266000 #constraints=19474
238.12/238.20	c nbDecision=266500 #constraints=19573
239.92/240.04	c nbDecision=267000 #constraints=19658
242.12/242.22	c nbDecision=267500 #constraints=19739
245.01/245.15	c nbDecision=268000 #constraints=19845
247.81/247.95	c nbDecision=268500 #constraints=19948
250.41/250.57	c nbDecision=269000 #constraints=20043
252.83/252.96	c nbDecision=269500 #constraints=20123
254.62/254.73	c nbDecision=270000 #constraints=20174
256.52/256.63	c nbDecision=270500 #constraints=20236
257.92/258.08	c nbDecision=271000 #constraints=20288
259.82/259.96	c nbDecision=271500 #constraints=20343
261.62/261.75	c nbDecision=272000 #constraints=20399
263.31/263.48	c nbDecision=272500 #constraints=20471
264.61/264.75	c nbDecision=273000 #constraints=20536
267.32/267.48	c nbDecision=273500 #constraints=20619
269.81/269.96	c nbDecision=274000 #constraints=20686
272.41/272.58	c nbDecision=274500 #constraints=20758
275.41/275.50	c nbDecision=275000 #constraints=20847
278.11/278.28	c nbDecision=275500 #constraints=20930
280.61/280.76	c nbDecision=276000 #constraints=21001
283.71/283.86	c nbDecision=276500 #constraints=21096
286.01/286.18	c nbDecision=277000 #constraints=21170
288.60/288.75	c nbDecision=277500 #constraints=21249
291.20/291.35	c nbDecision=278000 #constraints=21323
293.90/294.06	c nbDecision=278500 #constraints=21400
296.60/296.74	c nbDecision=279000 #constraints=21479
298.70/298.85	c nbDecision=279500 #constraints=21547
301.40/301.54	c nbDecision=280000 #constraints=21633
303.80/303.96	c nbDecision=280500 #constraints=21702
305.71/305.81	c nbDecision=281000 #constraints=21753
307.71/307.82	c nbDecision=281500 #constraints=21814
309.80/309.92	c nbDecision=282000 #constraints=21872
311.40/311.55	c nbDecision=282500 #constraints=21906
314.80/314.99	c nbDecision=283000 #constraints=21961
320.20/320.34	c nbDecision=283500 #constraints=22018
321.90/322.07	c nbDecision=284000 #constraints=22038
323.50/323.68	c nbDecision=284500 #constraints=22060
328.20/328.39	c nbDecision=285000 #constraints=22146
333.36/333.52	c nbDecision=285500 #constraints=22225
338.46/338.69	c nbDecision=286000 #constraints=22303
344.46/344.69	c nbDecision=286500 #constraints=22391
350.64/350.80	c nbDecision=287000 #constraints=22479
356.02/356.20	c nbDecision=287500 #constraints=22556
360.30/360.57	c nbDecision=288000 #constraints=22621
365.60/365.82	c nbDecision=288500 #constraints=22685
370.59/370.90	c nbDecision=289000 #constraints=22763
378.68/378.99	c nbDecision=289500 #constraints=22872
383.87/384.11	c nbDecision=290000 #constraints=22943
388.37/388.66	c nbDecision=290500 #constraints=23027
395.97/396.25	c nbDecision=291000 #constraints=23121
399.66/399.96	c nbDecision=291500 #constraints=23157
404.87/405.19	c nbDecision=292000 #constraints=23210
413.17/413.43	c nbDecision=292500 #constraints=23297
419.97/420.27	c nbDecision=293000 #constraints=23377
428.16/428.46	c nbDecision=293500 #constraints=23467
438.05/438.39	c nbDecision=294000 #constraints=23565
443.25/443.58	c nbDecision=294500 #constraints=23637
449.15/449.47	c nbDecision=295000 #constraints=23724
456.95/457.22	c nbDecision=295500 #constraints=23811
467.85/468.16	c nbDecision=296000 #constraints=23920
476.95/477.29	c nbDecision=296500 #constraints=24017
486.44/486.76	c nbDecision=297000 #constraints=24110
497.84/498.16	c nbDecision=297500 #constraints=24215
506.23/506.50	c nbDecision=298000 #constraints=24285
511.44/511.77	c nbDecision=298500 #constraints=24348
513.94/514.23	c nbDecision=299000 #constraints=24372
516.34/516.62	c nbDecision=299500 #constraints=24411
517.94/518.22	c nbDecision=300000 #constraints=24440
520.13/520.43	c nbDecision=300500 #constraints=24472
521.63/521.90	c nbDecision=301000 #constraints=24490
525.54/525.84	c nbDecision=301500 #constraints=24541
529.13/529.43	c nbDecision=302000 #constraints=24592
535.33/535.60	c nbDecision=302500 #constraints=24662
539.23/539.55	c nbDecision=303000 #constraints=24719
545.03/545.32	c nbDecision=303500 #constraints=24796
550.33/550.60	c nbDecision=304000 #constraints=24854
550.53/550.87	c nbDecision=304500 #constraints=24856
551.73/552.08	c nbDecision=305000 #constraints=24893
553.63/553.99	c nbDecision=305500 #constraints=24955
555.43/555.70	c nbDecision=306000 #constraints=25010
557.33/557.65	c nbDecision=306500 #constraints=25078
559.13/559.45	c nbDecision=307000 #constraints=25143
561.32/561.65	c nbDecision=307500 #constraints=25218
563.72/564.00	c nbDecision=308000 #constraints=25292
566.02/566.36	c nbDecision=308500 #constraints=25366
568.62/568.93	c nbDecision=309000 #constraints=25439
570.62/570.97	c nbDecision=309500 #constraints=25509
572.82/573.15	c nbDecision=310000 #constraints=25588
575.21/575.50	c nbDecision=310500 #constraints=25669
578.11/578.48	c nbDecision=311000 #constraints=25773
580.41/580.79	c nbDecision=311500 #constraints=25853
583.22/583.54	c nbDecision=312000 #constraints=25950
586.11/586.44	c nbDecision=312500 #constraints=26033
588.12/588.42	c nbDecision=313000 #constraints=26091
589.81/590.19	c nbDecision=313500 #constraints=26148
591.61/591.91	c nbDecision=314000 #constraints=26205
593.51/593.84	c nbDecision=314500 #constraints=26275
595.51/595.88	c nbDecision=315000 #constraints=26327
597.71/598.09	c nbDecision=315500 #constraints=26398
599.71/600.06	c nbDecision=316000 #constraints=26457
601.91/602.25	c nbDecision=316500 #constraints=26518
603.61/603.90	c nbDecision=317000 #constraints=26556
605.61/605.91	c nbDecision=317500 #constraints=26610
608.40/608.71	c nbDecision=318000 #constraints=26660
609.11/609.43	c nbDecision=318500 #constraints=26664
609.30/609.64	c nbDecision=319000 #constraints=26665
609.50/609.86	c nbDecision=319500 #constraints=26666
609.70/610.06	c nbDecision=320000 #constraints=26667
609.90/610.28	c nbDecision=320500 #constraints=26668
610.11/610.49	c nbDecision=321000 #constraints=26669
610.30/610.70	c nbDecision=321500 #constraints=26670
610.60/610.90	c nbDecision=322000 #constraints=26671
610.80/611.11	c nbDecision=322500 #constraints=26672
611.00/611.32	c nbDecision=323000 #constraints=26673
611.10/611.49	c nbDecision=323500 #constraints=26674
611.40/611.70	c nbDecision=324000 #constraints=26675
611.60/611.91	c nbDecision=324500 #constraints=26676
611.80/612.11	c nbDecision=325000 #constraints=26677
612.00/612.31	c nbDecision=325500 #constraints=26678
612.20/612.52	c nbDecision=326000 #constraints=26679
612.41/612.70	c nbDecision=326500 #constraints=26680
612.60/612.91	c nbDecision=327000 #constraints=26681
612.80/613.10	c nbDecision=327500 #constraints=26682
613.10/613.41	c nbDecision=328000 #constraints=26685
613.41/613.77	c nbDecision=328500 #constraints=26689
614.00/614.37	c nbDecision=329000 #constraints=26699
616.40/616.72	c nbDecision=329500 #constraints=26725
623.40/623.80	c nbDecision=330000 #constraints=26800
629.50/629.87	c nbDecision=330500 #constraints=26887
635.40/635.71	c nbDecision=331000 #constraints=26960
637.19/637.55	c nbDecision=331500 #constraints=26986
638.89/639.30	c nbDecision=332000 #constraints=27003
644.39/644.70	c nbDecision=332500 #constraints=27066
651.80/652.11	c nbDecision=333000 #constraints=27158
657.70/658.09	c nbDecision=333500 #constraints=27234
666.69/667.01	c nbDecision=334000 #constraints=27324
672.19/672.50	c nbDecision=334500 #constraints=27386
672.49/672.83	c nbDecision=335000 #constraints=27388
674.89/675.28	c nbDecision=335500 #constraints=27431
677.89/678.26	c nbDecision=336000 #constraints=27476
681.98/682.31	c nbDecision=336500 #constraints=27535
690.48/690.81	c nbDecision=337000 #constraints=27642
696.18/696.58	c nbDecision=337500 #constraints=27697
704.48/704.86	c nbDecision=338000 #constraints=27764
715.88/716.25	c nbDecision=338500 #constraints=27856
724.37/724.79	c nbDecision=339000 #constraints=27927
734.57/734.98	c nbDecision=339500 #constraints=28004
747.16/747.50	c nbDecision=340000 #constraints=28101
756.96/757.36	c nbDecision=340500 #constraints=28200
766.76/767.17	c nbDecision=341000 #constraints=28289
777.66/778.04	c nbDecision=341500 #constraints=28376
788.06/788.40	c nbDecision=342000 #constraints=28459
800.36/800.73	c nbDecision=342500 #constraints=28556
804.15/804.51	c nbDecision=343000 #constraints=28615
810.15/810.58	c nbDecision=343500 #constraints=28674
819.34/819.75	c nbDecision=344000 #constraints=28742
828.44/828.89	c nbDecision=344500 #constraints=28821
836.94/837.35	c nbDecision=345000 #constraints=28900
843.44/843.86	c nbDecision=345500 #constraints=28966
850.94/851.39	c nbDecision=346000 #constraints=29039
858.44/858.88	c nbDecision=346500 #constraints=29116
869.23/869.66	c nbDecision=347000 #constraints=29203
878.03/878.47	c nbDecision=347500 #constraints=29287
887.92/888.33	c nbDecision=348000 #constraints=29375
895.82/896.23	c nbDecision=348500 #constraints=29432
904.42/904.83	c nbDecision=349000 #constraints=29486
908.02/908.48	c nbDecision=349500 #constraints=29510
914.52/914.90	c nbDecision=350000 #constraints=29570
924.32/924.72	c nbDecision=350500 #constraints=29659
937.42/937.88	c nbDecision=351000 #constraints=29757
948.61/949.00	c nbDecision=351500 #constraints=29845
959.71/960.15	c nbDecision=352000 #constraints=29931
962.41/962.85	c nbDecision=352500 #constraints=29961
967.41/967.85	c nbDecision=353000 #constraints=30033
971.91/972.38	c nbDecision=353500 #constraints=30089
975.21/975.70	c nbDecision=354000 #constraints=30149
978.90/979.34	c nbDecision=354500 #constraints=30232
982.20/982.68	c nbDecision=355000 #constraints=30297
984.80/985.26	c nbDecision=355500 #constraints=30357
989.50/989.97	c nbDecision=356000 #constraints=30425
994.20/994.64	c nbDecision=356500 #constraints=30491
999.40/999.84	c nbDecision=357000 #constraints=30561
1002.80/1003.28	c nbDecision=357500 #constraints=30616
1006.29/1006.78	c nbDecision=358000 #constraints=30665
1010.69/1011.12	c nbDecision=358500 #constraints=30727
1016.39/1016.83	c nbDecision=359000 #constraints=30815
1022.00/1022.41	c nbDecision=359500 #constraints=30912
1029.59/1030.08	c nbDecision=360000 #constraints=31031
1037.39/1037.82	c nbDecision=360500 #constraints=31104
1042.59/1043.00	c nbDecision=361000 #constraints=31146
1049.78/1050.24	c nbDecision=361500 #constraints=31208
1054.98/1055.42	c nbDecision=362000 #constraints=31267
1057.38/1057.89	c nbDecision=362500 #constraints=31328
1059.69/1060.14	c nbDecision=363000 #constraints=31390
1062.28/1062.70	c nbDecision=363500 #constraints=31456
1065.39/1065.81	c nbDecision=364000 #constraints=31546
1068.58/1069.01	c nbDecision=364500 #constraints=31653
1073.28/1073.74	c nbDecision=365000 #constraints=31749
1077.48/1077.97	c nbDecision=365500 #constraints=31823
1085.28/1085.78	c nbDecision=366000 #constraints=31918
1087.57/1088.03	c nbDecision=366500 #constraints=31975
1092.88/1093.32	c nbDecision=367000 #constraints=32079
1097.28/1097.78	c nbDecision=367500 #constraints=32147
1101.67/1102.11	c nbDecision=368000 #constraints=32233
1104.57/1105.01	c nbDecision=368500 #constraints=32316
1107.87/1108.34	c nbDecision=369000 #constraints=32413
1111.77/1112.22	c nbDecision=369500 #constraints=32510
1115.17/1115.64	c nbDecision=370000 #constraints=32615
1119.96/1120.43	c nbDecision=370500 #constraints=32739
1124.56/1125.02	c nbDecision=371000 #constraints=32847
1129.96/1130.46	c nbDecision=371500 #constraints=32948
1137.55/1138.09	c nbDecision=372000 #constraints=33057
1143.66/1144.17	c nbDecision=372500 #constraints=33146
1151.56/1152.05	c nbDecision=373000 #constraints=33254
1156.86/1157.35	c nbDecision=373500 #constraints=33370
1162.05/1162.52	c nbDecision=374000 #constraints=33474
1169.15/1169.61	c nbDecision=374500 #constraints=33600
1175.55/1176.08	c nbDecision=375000 #constraints=33739
1184.34/1184.86	c nbDecision=375500 #constraints=33868
1196.54/1197.06	c nbDecision=376000 #constraints=33992
1202.64/1203.18	c nbDecision=376500 #constraints=34105
1211.74/1212.21	c nbDecision=377000 #constraints=34275
1228.93/1229.46	c nbDecision=377500 #constraints=34470
1233.43/1233.96	c nbDecision=378000 #constraints=34516
1235.63/1236.19	c nbDecision=378500 #constraints=34550
1242.53/1243.04	c nbDecision=379000 #constraints=34664
1249.93/1250.45	c nbDecision=379500 #constraints=34765
1257.23/1257.72	c nbDecision=380000 #constraints=34874
1261.23/1261.78	c nbDecision=380500 #constraints=34954
1264.13/1264.64	c nbDecision=381000 #constraints=35010
1266.53/1267.00	c nbDecision=381500 #constraints=35086
1271.22/1271.72	c nbDecision=382000 #constraints=35173
1274.62/1275.19	c nbDecision=382500 #constraints=35252
1277.72/1278.27	c nbDecision=383000 #constraints=35317
1284.72/1285.24	c nbDecision=383500 #constraints=35432
1290.51/1291.06	c nbDecision=384000 #constraints=35531
1301.91/1302.44	c nbDecision=384500 #constraints=35668
1312.11/1312.69	c nbDecision=385000 #constraints=35804
1315.61/1316.16	c nbDecision=385500 #constraints=35919
1316.81/1317.37	c nbDecision=386000 #constraints=35955
1318.61/1319.18	c nbDecision=386500 #constraints=35971
1322.71/1323.30	c nbDecision=387000 #constraints=36002
1335.51/1336.04	c nbDecision=387500 #constraints=36092
1343.61/1344.12	c nbDecision=388000 #constraints=36166
1350.40/1350.99	c nbDecision=388500 #constraints=36247
1358.70/1359.27	c nbDecision=389000 #constraints=36337
1366.29/1366.89	c nbDecision=389500 #constraints=36425
1376.59/1377.19	c nbDecision=390000 #constraints=36531
1388.19/1388.73	c nbDecision=390500 #constraints=36639
1402.49/1403.03	c nbDecision=391000 #constraints=36779
1408.68/1409.28	c nbDecision=391500 #constraints=36857
1419.08/1419.69	c nbDecision=392000 #constraints=36979
1430.49/1431.06	c nbDecision=392500 #constraints=37059
1443.38/1443.95	c nbDecision=393000 #constraints=37148
1458.08/1458.61	c nbDecision=393500 #constraints=37241
1473.57/1474.13	c nbDecision=394000 #constraints=37347
1487.86/1488.40	c nbDecision=394500 #constraints=37458
1504.35/1504.94	c nbDecision=395000 #constraints=37563
1521.36/1521.93	c nbDecision=395500 #constraints=37687
1541.45/1542.09	c nbDecision=396000 #constraints=37804
1564.14/1564.70	c nbDecision=396500 #constraints=37939
1582.24/1582.86	c nbDecision=397000 #constraints=38045
1603.93/1604.51	c nbDecision=397500 #constraints=38167
1621.52/1622.12	c nbDecision=398000 #constraints=38275
1643.92/1644.54	c nbDecision=398500 #constraints=38407
1666.61/1667.23	c nbDecision=399000 #constraints=38550
1682.71/1683.35	c nbDecision=399500 #constraints=38651
1699.70/1700.34	c nbDecision=400000 #constraints=38755
1713.00/1713.67	c nbDecision=400500 #constraints=38847
1722.10/1722.74	c nbDecision=401000 #constraints=38910
1734.99/1735.68	c nbDecision=401500 #constraints=39013
1746.79/1747.41	c nbDecision=402000 #constraints=39091
1765.59/1766.21	c nbDecision=402500 #constraints=39219
1784.08/1784.74	c nbDecision=403000 #constraints=39332
1791.67/1792.30	c nbDecision=403500 #constraints=39386
1800.08/1800.71	Received signal 15
1800.08/1800.72	
1800.08/1800.72	s UNKNOWN
1800.08/1800.72	
1800.08/1800.72	c user time= 1799.75 s
1800.08/1800.72	c system time= 0.366944 s
1800.08/1800.72	c wall clock time=1800.73

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/node15/watcher-357499-1177001731 -o ROOT/results/node15/solver-357499-1177001731 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357499-1177001731/instance-357499-1177001731.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.85 0.95 0.98 2/77 18128
/proc/meminfo: memFree=1647920/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=1468 CPUtime=0
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 148090763 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831098 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 367 163 131 317 0 46 0

[startup+0.0546059 s]
/proc/loadavg: 0.85 0.95 0.98 2/77 18128
/proc/meminfo: memFree=1647920/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=2392 CPUtime=0.05
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 397 0 0 0 5 0 0 0 18 0 1 0 148090763 2449408 379 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 598 379 131 317 0 277 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2392

[startup+0.101611 s]
/proc/loadavg: 0.85 0.95 0.98 2/77 18128
/proc/meminfo: memFree=1647920/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=3316 CPUtime=0.09
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 650 0 0 0 9 0 0 0 18 0 1 0 148090763 3395584 633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 829 635 136 317 0 508 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3316

[startup+0.301629 s]
/proc/loadavg: 0.85 0.95 0.98 2/77 18128
/proc/meminfo: memFree=1647920/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=4108 CPUtime=0.29
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 827 0 0 0 29 0 0 0 19 0 1 0 148090763 4206592 809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 1027 809 139 317 0 706 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4108

[startup+0.701666 s]
/proc/loadavg: 0.85 0.95 0.98 2/77 18128
/proc/meminfo: memFree=1647920/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=4108 CPUtime=0.69
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 827 0 0 0 69 0 0 0 23 0 1 0 148090763 4206592 809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 1027 809 139 317 0 706 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4108

[startup+1.50174 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 18129
/proc/meminfo: memFree=1645352/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=4240 CPUtime=1.49
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 860 0 0 0 149 0 0 0 25 0 1 0 148090763 4341760 842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 1060 842 139 317 0 739 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4240

[startup+3.10189 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 18129
/proc/meminfo: memFree=1644840/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=4904 CPUtime=3.09
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 1055 0 0 0 309 0 0 0 25 0 1 0 148090763 5021696 1037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711489 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 1226 1037 170 317 0 905 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4904

[startup+6.30118 s]
/proc/loadavg: 0.87 0.95 0.98 2/78 18129
/proc/meminfo: memFree=1643624/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=6128 CPUtime=6.29
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 1373 0 0 0 629 0 0 0 25 0 1 0 148090763 6275072 1355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 1532 1355 170 317 0 1211 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6128

[startup+12.7018 s]
/proc/loadavg: 0.88 0.95 0.98 2/78 18129
/proc/meminfo: memFree=1641072/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=8292 CPUtime=12.69
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 1894 0 0 0 1268 1 0 0 25 0 1 0 148090763 8491008 1876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 2073 1876 170 317 0 1752 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8292

[startup+25.5019 s]
/proc/loadavg: 0.90 0.95 0.98 2/78 18129
/proc/meminfo: memFree=1637808/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=11820 CPUtime=25.48
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 2726 0 0 0 2547 1 0 0 25 0 1 0 148090763 12103680 2665 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 2955 2665 170 317 0 2634 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11820

[startup+51.1023 s]
/proc/loadavg: 0.93 0.96 0.98 2/78 18129
/proc/meminfo: memFree=1633328/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=16240 CPUtime=51.07
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 3841 0 0 0 5104 3 0 0 25 0 1 0 148090763 16629760 3780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 4060 3780 170 317 0 3739 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16240

[startup+102.307 s]
/proc/loadavg: 0.97 0.96 0.98 2/78 18129
/proc/meminfo: memFree=1627184/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=22748 CPUtime=102.27
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 5360 0 0 0 10222 5 0 0 25 0 1 0 148090763 23293952 5299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 5687 5299 170 317 0 5366 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22748

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18129
/proc/meminfo: memFree=1619696/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=30832 CPUtime=162.24
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 7352 0 0 0 16217 7 0 0 25 0 1 0 148090763 31571968 7205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 7708 7205 170 317 0 7387 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 30832

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 3/78 18129
/proc/meminfo: memFree=1612592/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=38284 CPUtime=222.23
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 9223 0 0 0 22214 9 0 0 25 0 1 0 148090763 39202816 8944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 9571 8944 170 317 0 9250 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 38284

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18129
/proc/meminfo: memFree=1607600/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=44188 CPUtime=282.21
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 10755 0 0 0 28210 11 0 0 25 0 1 0 148090763 45248512 10179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 11047 10179 170 317 0 10726 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 44188

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 18211
/proc/meminfo: memFree=1603328/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=47064 CPUtime=342.16
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 11538 0 0 0 34203 13 0 0 25 0 1 0 148090763 48193536 10896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 11766 10896 170 317 0 11445 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 47064

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1602992/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=48772 CPUtime=402.06
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 12001 0 0 0 40193 13 0 0 25 0 1 0 148090763 49942528 11293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 12193 11293 170 317 0 11872 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 48772

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1601776/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=50084 CPUtime=462.05
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 12382 0 0 0 46190 15 0 0 25 0 1 0 148090763 51286016 11641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 12521 11641 170 317 0 12200 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 50084

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1600560/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=51260 CPUtime=522.03
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 12693 0 0 0 52187 16 0 0 25 0 1 0 148090763 52490240 11952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 12815 11952 170 317 0 12494 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 51260

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1597488/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=54868 CPUtime=582.02
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 13686 0 0 0 58184 18 0 0 25 0 1 0 148090763 56184832 12709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 13717 12709 170 317 0 13396 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 54868

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1595184/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=57212 CPUtime=642
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 14290 0 0 0 64182 18 0 0 25 0 1 0 148090763 58585088 13280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563820 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 14303 13280 170 317 0 13982 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 57212


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1590704/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=61584 CPUtime=881.93
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 15453 0 0 0 88171 22 0 0 25 0 1 0 148090763 63062016 14410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 15396 14410 170 317 0 15075 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 61584

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1589808/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=62384 CPUtime=941.92
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 15674 0 0 0 94169 23 0 0 25 0 1 0 148090763 63881216 14631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 15596 14631 170 317 0 15275 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 62384

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1588272/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=63828 CPUtime=1001.89
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 16055 0 0 0 100166 23 0 0 25 0 1 0 148090763 65359872 15012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 15957 15012 170 317 0 15636 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 63828

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1586608/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=65408 CPUtime=1061.88
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 16498 0 0 0 106163 25 0 0 25 0 1 0 148090763 66977792 15455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 16352 15455 170 317 0 16031 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 65408

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1583408/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=68528 CPUtime=1121.86
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 17270 0 0 0 112160 26 0 0 25 0 1 0 148090763 70172672 16194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 17132 16194 170 317 0 16811 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 68528

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1581104/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=70516 CPUtime=1181.84
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 17871 0 0 0 118157 27 0 0 25 0 1 0 148090763 72208384 16795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 17629 16795 170 317 0 17308 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 70516

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1579248/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=73756 CPUtime=1241.83
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 18717 0 0 0 124155 28 0 0 25 0 1 0 148090763 75526144 17251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 18439 17251 170 317 0 18118 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 73756

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1577072/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=75828 CPUtime=1301.81
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 19294 0 0 0 130152 29 0 0 25 0 1 0 148090763 77647872 17795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 18957 17795 170 317 0 18636 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 75828

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1575536/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=78044 CPUtime=1361.8
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 19887 0 0 0 136150 30 0 0 25 0 1 0 148090763 79917056 18160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 19511 18160 170 317 0 19190 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 78044

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1574256/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=79368 CPUtime=1421.78
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 20233 0 0 0 142147 31 0 0 25 0 1 0 148090763 81272832 18473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 19842 18473 170 317 0 19521 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 79368

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1573360/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=80796 CPUtime=1481.76
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 20621 0 0 0 148144 32 0 0 25 0 1 0 148090763 82735104 18698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 20199 18698 170 317 0 19878 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 80796

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1572336/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=81852 CPUtime=1541.75
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 20931 0 0 0 154142 33 0 0 25 0 1 0 148090763 83816448 18943 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 20463 18943 170 317 0 20142 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 81852

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1571568/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=83184 CPUtime=1601.73
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 21268 0 0 0 160139 34 0 0 25 0 1 0 148090763 85180416 19150 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 20796 19150 170 317 0 20475 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 83184

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1570608/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=84196 CPUtime=1661.71
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 21520 0 0 0 166136 35 0 0 25 0 1 0 148090763 86216704 19369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 21049 19369 170 317 0 20728 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 84196

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1569648/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=85244 CPUtime=1721.7
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 21806 0 0 0 172135 35 0 0 25 0 1 0 148090763 87289856 19590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 21311 19590 170 317 0 20990 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 85244

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1568752/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=86180 CPUtime=1781.68
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 22078 0 0 0 178132 36 0 0 25 0 1 0 148090763 88248320 19829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 21545 19829 170 317 0 21224 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 86180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1568560/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=86444 CPUtime=1800.08
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 22161 0 0 0 179972 36 0 0 25 0 1 0 148090763 88518656 19912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 21611 19912 170 317 0 21290 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 86444

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 18327
/proc/meminfo: memFree=1568560/2055920 swapFree=4169120/4192956
[pid=18128] ppid=18126 vsize=86444 CPUtime=1800.08
/proc/18128/stat : 18128 (oree) R 18126 18128 18071 0 -1 4194304 22161 0 0 0 179972 36 0 0 25 0 1 0 148090763 88518656 19912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18128/statm: 21611 19912 170 317 0 21290 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 86444

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.13
CPU user time (s): 1799.75
CPU system time (s): 0.379942
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 86444

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

runsolver used 2.15267 second user time and 4.43933 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Thu Apr 19 16:55:32 UTC 2007

IDJOB= 357499
IDBENCH= 2944
IDSOLVER= 172
FILE ID= node15/357499-1177001731

PBS_JOBID= 4630516

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  dd415565c40b70127defa3137ccd18d3

RANDOM SEED= 801414579

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
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.227
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:       1648520 kB
Buffers:         37024 kB
Cached:         298528 kB
SwapCached:       2544 kB
Active:         219392 kB
Inactive:       138820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1648520 kB
SwapTotal:     4192956 kB
SwapFree:      4169120 kB
Dirty:            1824 kB
Writeback:           0 kB
Mapped:          29924 kB
Slab:            34648 kB
Committed_AS:  6275512 kB
PageTables:       1868 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= 66483 MiB

End job on node15 on Thu Apr 19 17:25:34 UTC 2007