Trace number 357002

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.17 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib/normalized-reduced-mps-v2-20-10-set1cl.opb
MD5SUM1e246214338ba705536e85585a980117
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14400
Total number of constraints492
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints492
Minimum length of a constraint31
Maximum length of a constraint630
Number of terms in the objective function 7200
Biggest coefficient in the objective function 3484
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 530256
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262141
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 530256
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.09/0.12	c ...done
0.09/0.12	c #vars=14400 #constraints=733 hasObjective=yes
0.09/0.17	c res. mode=mod
0.09/0.17	c VSIDS like heuristics
0.09/0.17	c complete search running
0.19/0.24	c restart after 401 decisions
0.19/0.26	c nbDecision=500 #constraints=733
0.29/0.30	c restart after 801 decisions
0.29/0.33	c nbDecision=1000 #constraints=733
0.39/0.40	c nbDecision=1500 #constraints=733
0.39/0.42	c restart after 1601 decisions
0.39/0.48	c nbDecision=2000 #constraints=733
0.49/0.55	c nbDecision=2500 #constraints=733
0.59/0.62	c nbDecision=3000 #constraints=733
0.59/0.65	c restart after 3201 decisions
0.59/0.69	c nbDecision=3500 #constraints=733
0.69/0.77	c nbDecision=4000 #constraints=733
0.79/0.84	c nbDecision=4500 #constraints=733
0.89/0.90	c nbDecision=5000 #constraints=733
0.89/0.97	c nbDecision=5500 #constraints=733
0.99/1.03	c nbDecision=6000 #constraints=733
0.99/1.08	c restart after 6401 decisions
0.99/1.09	c nbDecision=6500 #constraints=733
1.10/1.16	c nbDecision=7000 #constraints=733
1.20/1.23	c nbDecision=7500 #constraints=733
1.20/1.30	c nbDecision=8000 #constraints=733
1.29/1.36	c nbDecision=8500 #constraints=733
1.39/1.42	c nbDecision=9000 #constraints=733
1.39/1.48	c nbDecision=9500 #constraints=733
1.49/1.53	c nbDecision=10000 #constraints=733
1.49/1.59	c nbDecision=10500 #constraints=733
1.59/1.64	c nbDecision=11000 #constraints=733
1.89/1.92	c nbDecision=11500 #constraints=927
2.59/2.67	c nbDecision=12000 #constraints=1341
3.69/3.74	c nbDecision=12500 #constraints=1768
3.99/4.06	c restart after 12801 decisions
4.09/4.13	c nbDecision=13000 #constraints=2029
4.19/4.21	c nbDecision=13500 #constraints=2029
4.19/4.28	c nbDecision=14000 #constraints=2029
4.29/4.36	c nbDecision=14500 #constraints=2029
4.39/4.42	c nbDecision=15000 #constraints=2029
4.39/4.48	c nbDecision=15500 #constraints=2029
4.49/4.54	c nbDecision=16000 #constraints=2029
4.59/4.60	c nbDecision=16500 #constraints=2029
4.59/4.65	c nbDecision=17000 #constraints=2029
4.69/4.71	c nbDecision=17500 #constraints=2029
5.19/5.22	c nbDecision=18000 #constraints=2292
5.39/5.45	c nbDecision=18500 #constraints=2370
5.59/5.69	c nbDecision=19000 #constraints=2447
5.88/5.96	c nbDecision=19500 #constraints=2539
6.18/6.23	c nbDecision=20000 #constraints=2623
6.49/6.50	c nbDecision=20500 #constraints=2710
7.09/7.13	c nbDecision=21000 #constraints=2954
7.59/7.67	c nbDecision=21500 #constraints=3139
7.89/7.96	c nbDecision=22000 #constraints=3224
8.19/8.26	c nbDecision=22500 #constraints=3307
8.49/8.56	c nbDecision=23000 #constraints=3392
8.79/8.88	c nbDecision=23500 #constraints=3478
9.19/9.23	c nbDecision=24000 #constraints=3573
9.79/9.84	c nbDecision=24500 #constraints=3743
10.08/10.18	c nbDecision=25000 #constraints=3825
10.48/10.53	c nbDecision=25500 #constraints=3914
10.59/10.60	c restart after 25601 decisions
10.69/10.78	c nbDecision=26000 #constraints=3930
10.79/10.84	c nbDecision=26500 #constraints=3930
10.89/10.90	c nbDecision=27000 #constraints=3930
10.89/10.99	c nbDecision=27500 #constraints=3930
11.00/11.05	c nbDecision=28000 #constraints=3930
11.10/11.13	c nbDecision=28500 #constraints=3930
11.10/11.19	c nbDecision=29000 #constraints=3930
11.19/11.24	c nbDecision=29500 #constraints=3930
11.19/11.29	c nbDecision=30000 #constraints=3930
11.39/11.46	c nbDecision=30500 #constraints=3935
12.89/12.94	c nbDecision=31000 #constraints=4076
13.49/13.57	c nbDecision=31500 #constraints=4113
14.29/14.40	c nbDecision=32000 #constraints=4159
14.69/14.77	c nbDecision=32500 #constraints=4185
15.68/15.79	c nbDecision=33000 #constraints=4432
16.09/16.11	c nbDecision=33500 #constraints=4456
16.79/16.84	c nbDecision=34000 #constraints=4497
17.39/17.43	c nbDecision=34500 #constraints=4532
18.49/18.54	c nbDecision=35000 #constraints=4743
19.48/19.52	c nbDecision=35500 #constraints=4807
19.98/20.06	c nbDecision=36000 #constraints=4840
20.38/20.42	c nbDecision=36500 #constraints=4865
20.58/20.64	c nbDecision=37000 #constraints=4884
21.48/21.52	c nbDecision=37500 #constraints=4930
21.98/22.03	c nbDecision=38000 #constraints=4961
22.28/22.32	c nbDecision=38500 #constraints=4983
22.58/22.62	c nbDecision=39000 #constraints=5006
23.48/23.58	c nbDecision=39500 #constraints=5055
23.79/23.83	c nbDecision=40000 #constraints=5076
23.99/24.03	c nbDecision=40500 #constraints=5094
24.39/24.48	c nbDecision=41000 #constraints=5122
24.99/25.08	c nbDecision=41500 #constraints=5156
25.59/25.63	c nbDecision=42000 #constraints=5189
26.29/26.38	c nbDecision=42500 #constraints=5229
26.79/26.82	c nbDecision=43000 #constraints=5258
27.49/27.59	c nbDecision=43500 #constraints=5300
29.38/29.42	c nbDecision=44000 #constraints=5606
29.98/30.00	c nbDecision=44500 #constraints=5639
30.58/30.62	c nbDecision=45000 #constraints=5673
31.58/31.62	c nbDecision=45500 #constraints=5723
31.88/31.95	c nbDecision=46000 #constraints=5746
32.48/32.58	c nbDecision=46500 #constraints=5781
32.98/33.02	c nbDecision=47000 #constraints=5807
34.28/34.31	c nbDecision=47500 #constraints=5869
34.48/34.56	c nbDecision=48000 #constraints=5887
35.08/35.14	c nbDecision=48500 #constraints=5920
35.29/35.38	c nbDecision=49000 #constraints=5939
35.68/35.79	c nbDecision=49500 #constraints=5963
36.68/36.72	c nbDecision=50000 #constraints=6010
37.78/37.80	c nbDecision=50500 #constraints=6062
38.68/38.71	c nbDecision=51000 #constraints=6107
38.88/38.90	c restart after 51201 decisions
39.08/39.15	c nbDecision=51500 #constraints=6118
39.18/39.29	c nbDecision=52000 #constraints=6118
39.28/39.37	c nbDecision=52500 #constraints=6118
39.38/39.48	c nbDecision=53000 #constraints=6118
39.48/39.55	c nbDecision=53500 #constraints=6118
39.58/39.64	c nbDecision=54000 #constraints=6118
39.68/39.70	c nbDecision=54500 #constraints=6118
39.68/39.77	c nbDecision=55000 #constraints=6118
39.78/39.82	c nbDecision=55500 #constraints=6118
39.88/39.95	c nbDecision=56000 #constraints=6118
40.68/40.79	c nbDecision=56500 #constraints=6478
41.37/41.48	c nbDecision=57000 #constraints=6798
42.38/42.44	c nbDecision=57500 #constraints=7252
43.58/43.66	c nbDecision=58000 #constraints=7663
44.08/44.13	c nbDecision=58500 #constraints=7811
44.38/44.48	c nbDecision=59000 #constraints=7922
44.78/44.86	c nbDecision=59500 #constraints=8019
45.19/45.24	c nbDecision=60000 #constraints=8121
45.58/45.62	c nbDecision=60500 #constraints=8223
45.88/45.99	c nbDecision=61000 #constraints=8318
46.28/46.36	c nbDecision=61500 #constraints=8394
47.18/47.21	c nbDecision=62000 #constraints=8582
48.58/48.60	c nbDecision=62500 #constraints=8849
49.87/49.98	c nbDecision=63000 #constraints=9244
50.98/51.03	c nbDecision=63500 #constraints=9500
52.17/52.21	c nbDecision=64000 #constraints=9709
52.67/52.75	c nbDecision=64500 #constraints=9843
53.28/53.36	c nbDecision=65000 #constraints=10016
53.88/53.91	c nbDecision=65500 #constraints=10111
54.38/54.44	c nbDecision=66000 #constraints=10197
54.98/55.02	c nbDecision=66500 #constraints=10302
55.57/55.62	c nbDecision=67000 #constraints=10429
56.57/56.67	c nbDecision=67500 #constraints=10578
58.57/58.62	c nbDecision=68000 #constraints=10789
60.27/60.36	c nbDecision=68500 #constraints=10997
62.07/62.17	c nbDecision=69000 #constraints=11206
62.97/63.07	c nbDecision=69500 #constraints=11286
63.57/63.63	c nbDecision=70000 #constraints=11315
64.07/64.11	c nbDecision=70500 #constraints=11334
64.57/64.61	c nbDecision=71000 #constraints=11354
65.08/65.20	c nbDecision=71500 #constraints=11386
65.68/65.72	c nbDecision=72000 #constraints=11408
66.18/66.20	c nbDecision=72500 #constraints=11427
66.68/66.72	c nbDecision=73000 #constraints=11447
67.18/67.21	c nbDecision=73500 #constraints=11466
67.67/67.73	c nbDecision=74000 #constraints=11487
68.18/68.29	c nbDecision=74500 #constraints=11515
68.67/68.80	c nbDecision=75000 #constraints=11535
69.38/69.42	c nbDecision=75500 #constraints=11571
69.87/69.98	c nbDecision=76000 #constraints=11597
70.48/70.50	c nbDecision=76500 #constraints=11617
70.97/71.01	c nbDecision=77000 #constraints=11637
71.48/71.55	c nbDecision=77500 #constraints=11658
71.97/72.06	c nbDecision=78000 #constraints=11678
72.47/72.57	c nbDecision=78500 #constraints=11697
72.97/73.07	c nbDecision=79000 #constraints=11717
73.47/73.58	c nbDecision=79500 #constraints=11736
73.97/74.09	c nbDecision=80000 #constraints=11755
74.57/74.63	c nbDecision=80500 #constraints=11775
75.07/75.14	c nbDecision=81000 #constraints=11795
75.57/75.68	c nbDecision=81500 #constraints=11817
76.17/76.20	c nbDecision=82000 #constraints=11836
76.67/76.72	c nbDecision=82500 #constraints=11856
77.17/77.24	c nbDecision=83000 #constraints=11876
77.67/77.73	c nbDecision=83500 #constraints=11894
78.17/78.28	c nbDecision=84000 #constraints=11915
78.76/78.81	c nbDecision=84500 #constraints=11935
79.27/79.35	c nbDecision=85000 #constraints=11955
79.76/79.85	c nbDecision=85500 #constraints=11974
80.27/80.40	c nbDecision=86000 #constraints=11995
80.86/80.90	c nbDecision=86500 #constraints=12014
81.37/81.44	c nbDecision=87000 #constraints=12034
81.87/81.97	c nbDecision=87500 #constraints=12054
82.47/82.58	c nbDecision=88000 #constraints=12078
83.07/83.10	c nbDecision=88500 #constraints=12098
83.57/83.64	c nbDecision=89000 #constraints=12118
84.07/84.16	c nbDecision=89500 #constraints=12138
84.67/84.71	c nbDecision=90000 #constraints=12159
85.17/85.24	c nbDecision=90500 #constraints=12179
85.67/85.77	c nbDecision=91000 #constraints=12199
86.26/86.30	c nbDecision=91500 #constraints=12219
86.76/86.84	c nbDecision=92000 #constraints=12239
87.26/87.34	c nbDecision=92500 #constraints=12258
87.76/87.88	c nbDecision=93000 #constraints=12279
88.26/88.40	c nbDecision=93500 #constraints=12298
88.86/88.90	c nbDecision=94000 #constraints=12316
89.36/89.41	c nbDecision=94500 #constraints=12336
89.86/89.93	c nbDecision=95000 #constraints=12355
90.36/90.48	c nbDecision=95500 #constraints=12376
90.96/91.02	c nbDecision=96000 #constraints=12396
91.46/91.53	c nbDecision=96500 #constraints=12415
91.96/92.06	c nbDecision=97000 #constraints=12435
92.46/92.56	c nbDecision=97500 #constraints=12453
92.96/93.09	c nbDecision=98000 #constraints=12473
93.56/93.61	c nbDecision=98500 #constraints=12492
94.06/94.18	c nbDecision=99000 #constraints=12513
94.57/94.70	c nbDecision=99500 #constraints=12532
95.16/95.21	c nbDecision=100000 #constraints=12551
95.67/95.77	c nbDecision=100500 #constraints=12571
96.26/96.33	c nbDecision=101000 #constraints=12592
96.77/96.85	c nbDecision=101500 #constraints=12611
97.26/97.39	c nbDecision=102000 #constraints=12631
97.76/97.83	c restart after 102401 decisions
98.36/98.43	c nbDecision=102500 #constraints=12647
98.56/98.61	c nbDecision=103000 #constraints=12647
98.56/98.69	c nbDecision=103500 #constraints=12647
98.76/98.82	c nbDecision=104000 #constraints=12647
98.86/98.92	c nbDecision=104500 #constraints=12647
98.96/99.05	c nbDecision=105000 #constraints=12647
99.06/99.11	c nbDecision=105500 #constraints=12647
99.16/99.23	c nbDecision=106000 #constraints=12647
99.16/99.28	c nbDecision=106500 #constraints=12647
99.26/99.34	c nbDecision=107000 #constraints=12647
99.96/100.00	c nbDecision=107500 #constraints=12691
100.96/101.00	c nbDecision=108000 #constraints=12805
101.46/101.59	c nbDecision=108500 #constraints=12825
102.06/102.16	c nbDecision=109000 #constraints=12844
102.66/102.73	c nbDecision=109500 #constraints=12864
103.16/103.27	c nbDecision=110000 #constraints=12882
103.96/104.03	c nbDecision=110500 #constraints=12943
104.86/104.95	c nbDecision=111000 #constraints=13039
105.46/105.51	c nbDecision=111500 #constraints=13057
106.55/106.68	c nbDecision=112000 #constraints=13201
107.35/107.42	c nbDecision=112500 #constraints=13234
107.95/108.03	c nbDecision=113000 #constraints=13254
109.35/109.43	c nbDecision=113500 #constraints=13362
110.15/110.30	c nbDecision=114000 #constraints=13409
110.95/111.06	c nbDecision=114500 #constraints=13462
112.36/112.44	c nbDecision=115000 #constraints=13554
113.06/113.12	c nbDecision=115500 #constraints=13583
114.26/114.38	c nbDecision=116000 #constraints=13667
115.05/115.12	c nbDecision=116500 #constraints=13699
115.85/115.97	c nbDecision=117000 #constraints=13743
117.25/117.39	c nbDecision=117500 #constraints=13872
117.95/118.05	c nbDecision=118000 #constraints=13898
118.65/118.77	c nbDecision=118500 #constraints=13927
119.65/119.76	c nbDecision=119000 #constraints=13978
120.35/120.46	c nbDecision=119500 #constraints=13999
120.95/121.10	c nbDecision=120000 #constraints=14017
121.75/121.84	c nbDecision=120500 #constraints=14051
122.45/122.51	c nbDecision=121000 #constraints=14074
123.05/123.19	c nbDecision=121500 #constraints=14093
123.75/123.86	c nbDecision=122000 #constraints=14117
124.45/124.56	c nbDecision=122500 #constraints=14141
125.15/125.25	c nbDecision=123000 #constraints=14160
126.05/126.14	c nbDecision=123500 #constraints=14205
126.75/126.88	c nbDecision=124000 #constraints=14229
127.75/127.89	c nbDecision=124500 #constraints=14305
128.45/128.57	c nbDecision=125000 #constraints=14327
130.55/130.68	c nbDecision=125500 #constraints=14596
131.25/131.35	c nbDecision=126000 #constraints=14614
131.95/132.05	c nbDecision=126500 #constraints=14640
132.65/132.70	c nbDecision=127000 #constraints=14658
133.34/133.40	c nbDecision=127500 #constraints=14678
133.94/134.06	c nbDecision=128000 #constraints=14696
134.84/134.93	c nbDecision=128500 #constraints=14749
135.44/135.59	c nbDecision=129000 #constraints=14766
136.14/136.30	c nbDecision=129500 #constraints=14786
136.84/136.99	c nbDecision=130000 #constraints=14805
137.55/137.69	c nbDecision=130500 #constraints=14825
138.34/138.42	c nbDecision=131000 #constraints=14845
138.94/139.09	c nbDecision=131500 #constraints=14863
139.74/139.80	c nbDecision=132000 #constraints=14884
140.34/140.47	c nbDecision=132500 #constraints=14902
141.04/141.18	c nbDecision=133000 #constraints=14921
141.74/141.90	c nbDecision=133500 #constraints=14941
142.44/142.59	c nbDecision=134000 #constraints=14960
143.14/143.30	c nbDecision=134500 #constraints=14980
143.85/143.97	c nbDecision=135000 #constraints=14998
144.55/144.64	c nbDecision=135500 #constraints=15016
145.25/145.38	c nbDecision=136000 #constraints=15037
146.04/146.12	c nbDecision=136500 #constraints=15057
146.74/146.82	c nbDecision=137000 #constraints=15086
147.54/147.63	c nbDecision=137500 #constraints=15123
148.24/148.33	c nbDecision=138000 #constraints=15142
148.94/149.01	c nbDecision=138500 #constraints=15161
149.55/149.69	c nbDecision=139000 #constraints=15179
150.24/150.37	c nbDecision=139500 #constraints=15198
150.94/151.01	c nbDecision=140000 #constraints=15216
151.64/151.72	c nbDecision=140500 #constraints=15235
152.44/152.52	c nbDecision=141000 #constraints=15274
153.14/153.20	c nbDecision=141500 #constraints=15293
153.74/153.88	c nbDecision=142000 #constraints=15311
155.14/155.28	c nbDecision=142500 #constraints=15446
156.94/157.06	c nbDecision=143000 #constraints=15635
158.34/158.45	c nbDecision=143500 #constraints=15808
160.54/160.61	c nbDecision=144000 #constraints=16057
161.74/161.87	c nbDecision=144500 #constraints=16131
162.84/162.98	c nbDecision=145000 #constraints=16212
164.13/164.26	c nbDecision=145500 #constraints=16278
165.73/165.85	c nbDecision=146000 #constraints=16361
168.13/168.21	c nbDecision=146500 #constraints=16542
169.13/169.24	c nbDecision=147000 #constraints=16593
170.34/170.44	c nbDecision=147500 #constraints=16669
171.54/171.67	c nbDecision=148000 #constraints=16722
172.84/172.93	c nbDecision=148500 #constraints=16795
174.54/174.67	c nbDecision=149000 #constraints=16879
175.74/175.86	c nbDecision=149500 #constraints=16928
176.74/176.81	c nbDecision=150000 #constraints=16959
177.73/177.88	c nbDecision=150500 #constraints=17002
178.63/178.78	c nbDecision=151000 #constraints=17024
179.63/179.75	c nbDecision=151500 #constraints=17070
182.53/182.63	c nbDecision=152000 #constraints=17269
183.93/184.04	c nbDecision=152500 #constraints=17354
185.03/185.12	c nbDecision=153000 #constraints=17385
186.33/186.42	c nbDecision=153500 #constraints=17453
187.93/188.02	c nbDecision=154000 #constraints=17578
188.82/188.96	c nbDecision=154500 #constraints=17612
189.92/190.05	c nbDecision=155000 #constraints=17648
190.82/190.99	c nbDecision=155500 #constraints=17674
191.92/192.00	c nbDecision=156000 #constraints=17708
193.02/193.14	c nbDecision=156500 #constraints=17737
194.02/194.15	c nbDecision=157000 #constraints=17774
195.12/195.20	c nbDecision=157500 #constraints=17800
196.22/196.38	c nbDecision=158000 #constraints=17837
197.92/198.09	c nbDecision=158500 #constraints=17912
198.92/199.07	c nbDecision=159000 #constraints=17948
199.92/200.07	c nbDecision=159500 #constraints=17972
200.92/201.09	c nbDecision=160000 #constraints=18000
202.03/202.10	c nbDecision=160500 #constraints=18022
203.13/203.21	c nbDecision=161000 #constraints=18063
205.82/205.94	c nbDecision=161500 #constraints=18324
207.42/207.54	c nbDecision=162000 #constraints=18419
208.82/208.96	c nbDecision=162500 #constraints=18496
209.91/210.06	c nbDecision=163000 #constraints=18544
210.91/211.07	c nbDecision=163500 #constraints=18572
212.41/212.54	c nbDecision=164000 #constraints=18653
213.72/213.89	c nbDecision=164500 #constraints=18729
214.72/214.88	c nbDecision=165000 #constraints=18748
215.72/215.86	c nbDecision=165500 #constraints=18773
216.72/216.83	c nbDecision=166000 #constraints=18792
217.72/217.85	c nbDecision=166500 #constraints=18823
218.72/218.89	c nbDecision=167000 #constraints=18844
219.82/219.97	c nbDecision=167500 #constraints=18887
220.82/220.94	c nbDecision=168000 #constraints=18910
221.82/221.91	c nbDecision=168500 #constraints=18929
222.82/222.95	c nbDecision=169000 #constraints=18950
223.81/223.93	c nbDecision=169500 #constraints=18971
224.71/224.88	c nbDecision=170000 #constraints=18990
225.61/225.76	c nbDecision=170500 #constraints=19008
226.61/226.77	c nbDecision=171000 #constraints=19036
227.51/227.68	c nbDecision=171500 #constraints=19054
228.51/228.65	c nbDecision=172000 #constraints=19074
229.51/229.61	c nbDecision=172500 #constraints=19093
230.41/230.52	c nbDecision=173000 #constraints=19111
231.31/231.45	c nbDecision=173500 #constraints=19130
232.31/232.44	c nbDecision=174000 #constraints=19149
233.31/233.44	c nbDecision=174500 #constraints=19170
234.31/234.42	c nbDecision=175000 #constraints=19198
235.31/235.46	c nbDecision=175500 #constraints=19231
236.31/236.46	c nbDecision=176000 #constraints=19251
237.41/237.53	c nbDecision=176500 #constraints=19284
238.41/238.55	c nbDecision=177000 #constraints=19313
239.41/239.53	c nbDecision=177500 #constraints=19332
240.31/240.45	c nbDecision=178000 #constraints=19350
242.51/242.70	c nbDecision=178500 #constraints=19515
245.31/245.43	c nbDecision=179000 #constraints=19731
246.91/247.08	c nbDecision=179500 #constraints=19833
248.31/248.43	c nbDecision=180000 #constraints=19907
249.51/249.69	c nbDecision=180500 #constraints=19958
250.50/250.67	c nbDecision=181000 #constraints=19977
251.70/251.81	c nbDecision=181500 #constraints=20018
253.01/253.11	c nbDecision=182000 #constraints=20063
254.01/254.13	c nbDecision=182500 #constraints=20082
255.30/255.48	c nbDecision=183000 #constraints=20150
256.61/256.73	c nbDecision=183500 #constraints=20197
258.01/258.11	c nbDecision=184000 #constraints=20266
259.00/259.12	c nbDecision=184500 #constraints=20285
260.30/260.40	c nbDecision=185000 #constraints=20337
261.40/261.52	c nbDecision=185500 #constraints=20377
262.50/262.61	c nbDecision=186000 #constraints=20404
263.50/263.68	c nbDecision=186500 #constraints=20427
264.50/264.70	c nbDecision=187000 #constraints=20447
265.80/265.92	c nbDecision=187500 #constraints=20496
267.00/267.17	c nbDecision=188000 #constraints=20550
268.10/268.28	c nbDecision=188500 #constraints=20574
269.20/269.32	c nbDecision=189000 #constraints=20594
270.30/270.46	c nbDecision=189500 #constraints=20627
271.30/271.47	c nbDecision=190000 #constraints=20645
272.60/272.76	c nbDecision=190500 #constraints=20700
273.60/273.73	c nbDecision=191000 #constraints=20717
274.69/274.87	c nbDecision=191500 #constraints=20752
275.79/275.93	c nbDecision=192000 #constraints=20771
276.89/277.02	c nbDecision=192500 #constraints=20794
277.99/278.16	c nbDecision=193000 #constraints=20817
279.09/279.26	c nbDecision=193500 #constraints=20843
280.19/280.31	c nbDecision=194000 #constraints=20863
281.19/281.38	c nbDecision=194500 #constraints=20882
282.29/282.45	c nbDecision=195000 #constraints=20901
283.59/283.77	c nbDecision=195500 #constraints=20956
284.69/284.90	c nbDecision=196000 #constraints=20981
287.29/287.48	c nbDecision=196500 #constraints=21180
289.69/289.84	c nbDecision=197000 #constraints=21392
291.29/291.46	c nbDecision=197500 #constraints=21453
292.89/293.04	c nbDecision=198000 #constraints=21526
294.10/294.25	c nbDecision=198500 #constraints=21554
295.29/295.45	c nbDecision=199000 #constraints=21586
297.89/298.07	c nbDecision=199500 #constraints=21741
300.69/300.84	c nbDecision=200000 #constraints=22012
302.79/302.99	c nbDecision=200500 #constraints=22155
305.38/305.50	c nbDecision=201000 #constraints=22311
307.78/307.94	c nbDecision=201500 #constraints=22481
309.68/309.86	c nbDecision=202000 #constraints=22590
311.58/311.74	c nbDecision=202500 #constraints=22685
314.59/314.76	c nbDecision=203000 #constraints=22895
316.58/316.74	c nbDecision=203500 #constraints=22994
318.68/318.84	c nbDecision=204000 #constraints=23122
320.18/320.36	c nbDecision=204500 #constraints=23176
321.18/321.35	c restart after 204801 decisions
322.38/322.54	c nbDecision=205000 #constraints=23209
322.68/322.84	c nbDecision=205500 #constraints=23209
322.78/322.91	c nbDecision=206000 #constraints=23209
322.98/323.15	c nbDecision=206500 #constraints=23209
323.08/323.21	c nbDecision=207000 #constraints=23209
323.18/323.39	c nbDecision=207500 #constraints=23209
323.38/323.55	c nbDecision=208000 #constraints=23209
323.48/323.66	c nbDecision=208500 #constraints=23209
323.58/323.71	c nbDecision=209000 #constraints=23209
323.78/323.92	c nbDecision=209500 #constraints=23209
325.18/325.36	c nbDecision=210000 #constraints=23282
327.08/327.21	c nbDecision=210500 #constraints=23416
328.58/328.77	c nbDecision=211000 #constraints=23491
330.17/330.39	c nbDecision=211500 #constraints=23576
331.88/332.09	c nbDecision=212000 #constraints=23664
333.58/333.77	c nbDecision=212500 #constraints=23752
335.78/335.95	c nbDecision=213000 #constraints=23901
337.18/337.32	c nbDecision=213500 #constraints=24167
339.57/339.76	c nbDecision=214000 #constraints=24387
340.97/341.18	c nbDecision=214500 #constraints=24413
342.37/342.58	c nbDecision=215000 #constraints=24435
343.78/343.99	c nbDecision=215500 #constraints=24461
345.18/345.32	c nbDecision=216000 #constraints=24481
346.58/346.75	c nbDecision=216500 #constraints=24499
347.88/348.07	c nbDecision=217000 #constraints=24521
349.78/349.98	c nbDecision=217500 #constraints=24595
352.17/352.39	c nbDecision=218000 #constraints=24714
354.08/354.28	c nbDecision=218500 #constraints=25070
356.57/356.76	c nbDecision=219000 #constraints=25326
358.77/358.98	c nbDecision=219500 #constraints=25540
361.27/361.45	c nbDecision=220000 #constraints=25772
364.17/364.37	c nbDecision=220500 #constraints=25893
366.87/367.03	c nbDecision=221000 #constraints=26008
369.67/369.84	c nbDecision=221500 #constraints=26190
372.87/373.06	c nbDecision=222000 #constraints=26343
375.16/375.36	c nbDecision=222500 #constraints=26756
377.66/377.83	c nbDecision=223000 #constraints=27146
379.86/380.02	c nbDecision=223500 #constraints=27347
383.26/383.46	c nbDecision=224000 #constraints=27765
386.76/386.98	c nbDecision=224500 #constraints=28138
389.36/389.56	c nbDecision=225000 #constraints=28339
392.85/393.05	c nbDecision=225500 #constraints=28571
395.36/395.56	c nbDecision=226000 #constraints=28667
397.56/397.71	c nbDecision=226500 #constraints=28769
400.05/400.24	c nbDecision=227000 #constraints=28927
402.35/402.60	c nbDecision=227500 #constraints=29049
404.45/404.63	c nbDecision=228000 #constraints=29130
406.96/407.11	c nbDecision=228500 #constraints=29278
408.86/409.07	c nbDecision=229000 #constraints=29362
411.15/411.40	c nbDecision=229500 #constraints=29473
413.35/413.58	c nbDecision=230000 #constraints=29564
415.55/415.76	c nbDecision=230500 #constraints=29650
417.45/417.65	c nbDecision=231000 #constraints=29711
419.65/419.81	c nbDecision=231500 #constraints=29796
421.75/421.96	c nbDecision=232000 #constraints=29884
424.25/424.43	c nbDecision=232500 #constraints=30004
426.34/426.53	c nbDecision=233000 #constraints=30088
428.34/428.56	c nbDecision=233500 #constraints=30159
430.44/430.68	c nbDecision=234000 #constraints=30237
432.74/432.96	c nbDecision=234500 #constraints=30325
435.04/435.21	c nbDecision=235000 #constraints=30413
437.25/437.48	c nbDecision=235500 #constraints=30501
439.74/439.94	c nbDecision=236000 #constraints=30601
441.94/442.17	c nbDecision=236500 #constraints=30705
444.24/444.44	c nbDecision=237000 #constraints=30790
446.54/446.78	c nbDecision=237500 #constraints=30884
448.84/449.08	c nbDecision=238000 #constraints=30973
451.74/451.97	c nbDecision=238500 #constraints=31138
454.24/454.42	c nbDecision=239000 #constraints=31246
456.64/456.88	c nbDecision=239500 #constraints=31343
459.43/459.60	c nbDecision=240000 #constraints=31477
461.73/461.95	c nbDecision=240500 #constraints=31565
464.14/464.39	c nbDecision=241000 #constraints=31656
466.54/466.78	c nbDecision=241500 #constraints=31747
469.03/469.22	c nbDecision=242000 #constraints=31846
471.33/471.57	c nbDecision=242500 #constraints=31930
473.83/474.09	c nbDecision=243000 #constraints=32020
476.63/476.86	c nbDecision=243500 #constraints=32132
482.03/482.24	c nbDecision=244000 #constraints=32435
489.62/489.89	c nbDecision=244500 #constraints=32858
492.73/492.98	c nbDecision=245000 #constraints=32969
495.13/495.37	c nbDecision=245500 #constraints=33052
497.72/497.91	c nbDecision=246000 #constraints=33139
500.33/500.56	c nbDecision=246500 #constraints=33233
502.72/502.93	c nbDecision=247000 #constraints=33316
505.33/505.53	c nbDecision=247500 #constraints=33409
508.62/508.84	c nbDecision=248000 #constraints=33649
511.42/511.70	c nbDecision=248500 #constraints=33988
514.32/514.57	c nbDecision=249000 #constraints=34070
518.12/518.38	c nbDecision=249500 #constraints=34212
520.22/520.44	c nbDecision=250000 #constraints=34239
522.82/523.03	c nbDecision=250500 #constraints=34299
524.92/525.15	c nbDecision=251000 #constraints=34329
527.82/528.02	c nbDecision=251500 #constraints=34411
529.71/529.91	c nbDecision=252000 #constraints=34428
531.71/531.93	c nbDecision=252500 #constraints=34451
533.81/534.04	c nbDecision=253000 #constraints=34483
536.71/536.95	c nbDecision=253500 #constraints=34562
539.21/539.41	c nbDecision=254000 #constraints=34608
541.41/541.61	c nbDecision=254500 #constraints=34648
544.21/544.40	c nbDecision=255000 #constraints=34727
546.21/546.43	c nbDecision=255500 #constraints=34752
548.21/548.45	c nbDecision=256000 #constraints=34771
550.71/550.96	c nbDecision=256500 #constraints=34818
552.80/553.01	c nbDecision=257000 #constraints=34836
554.70/554.96	c nbDecision=257500 #constraints=34854
556.81/557.04	c nbDecision=258000 #constraints=34873
558.91/559.11	c nbDecision=258500 #constraints=34891
561.01/561.25	c nbDecision=259000 #constraints=34914
563.01/563.28	c nbDecision=259500 #constraints=34935
565.11/565.38	c nbDecision=260000 #constraints=34954
567.21/567.43	c nbDecision=260500 #constraints=34974
569.11/569.37	c nbDecision=261000 #constraints=34992
571.11/571.32	c nbDecision=261500 #constraints=35009
573.01/573.29	c nbDecision=262000 #constraints=35027
575.11/575.35	c nbDecision=262500 #constraints=35046
577.20/577.44	c nbDecision=263000 #constraints=35069
579.30/579.50	c nbDecision=263500 #constraints=35088
581.60/581.84	c nbDecision=264000 #constraints=35128
583.70/583.97	c nbDecision=264500 #constraints=35147
586.10/586.40	c nbDecision=265000 #constraints=35197
588.30/588.52	c nbDecision=265500 #constraints=35217
590.60/590.86	c nbDecision=266000 #constraints=35256
592.60/592.86	c nbDecision=266500 #constraints=35274
595.20/595.42	c nbDecision=267000 #constraints=35322
597.20/597.49	c nbDecision=267500 #constraints=35341
599.40/599.62	c nbDecision=268000 #constraints=35361
601.50/601.70	c nbDecision=268500 #constraints=35379
603.59/603.88	c nbDecision=269000 #constraints=35398
605.79/606.08	c nbDecision=269500 #constraints=35429
607.99/608.28	c nbDecision=270000 #constraints=35448
610.19/610.43	c nbDecision=270500 #constraints=35468
612.19/612.46	c nbDecision=271000 #constraints=35486
614.49/614.71	c nbDecision=271500 #constraints=35515
616.69/616.90	c nbDecision=272000 #constraints=35534
619.09/619.32	c nbDecision=272500 #constraints=35564
621.19/621.44	c nbDecision=273000 #constraints=35583
623.18/623.49	c nbDecision=273500 #constraints=35600
625.28/625.52	c nbDecision=274000 #constraints=35619
627.28/627.56	c nbDecision=274500 #constraints=35637
629.38/629.65	c nbDecision=275000 #constraints=35655
631.58/631.80	c nbDecision=275500 #constraints=35675
633.48/633.80	c nbDecision=276000 #constraints=35693
635.68/635.98	c nbDecision=276500 #constraints=35712
637.88/638.16	c nbDecision=277000 #constraints=35731
639.98/640.27	c nbDecision=277500 #constraints=35750
642.08/642.35	c nbDecision=278000 #constraints=35769
644.18/644.41	c nbDecision=278500 #constraints=35787
646.48/646.78	c nbDecision=279000 #constraints=35908
648.88/649.17	c nbDecision=279500 #constraints=36213
650.88/651.17	c nbDecision=280000 #constraints=36370
653.97/654.25	c nbDecision=280500 #constraints=36584
656.38/656.63	c nbDecision=281000 #constraints=36745
659.48/659.75	c nbDecision=281500 #constraints=36848
661.58/661.82	c nbDecision=282000 #constraints=36935
663.68/663.94	c nbDecision=282500 #constraints=36973
665.78/666.01	c nbDecision=283000 #constraints=37006
667.78/668.08	c nbDecision=283500 #constraints=37117
669.87/670.15	c nbDecision=284000 #constraints=37137
671.88/672.17	c nbDecision=284500 #constraints=37261
674.18/674.43	c nbDecision=285000 #constraints=37284
676.47/676.74	c nbDecision=285500 #constraints=37312
678.57/678.89	c nbDecision=286000 #constraints=37335
680.47/680.73	c nbDecision=286500 #constraints=37416
682.57/682.87	c nbDecision=287000 #constraints=37461
684.77/685.01	c nbDecision=287500 #constraints=37491
686.87/687.12	c nbDecision=288000 #constraints=37559
688.97/689.22	c nbDecision=288500 #constraints=37590
691.16/691.42	c nbDecision=289000 #constraints=37611
693.26/693.52	c nbDecision=289500 #constraints=37658
695.46/695.76	c nbDecision=290000 #constraints=37680
697.46/697.73	c nbDecision=290500 #constraints=37729
699.66/699.96	c nbDecision=291000 #constraints=37750
701.96/702.27	c nbDecision=291500 #constraints=37792
704.16/704.46	c nbDecision=292000 #constraints=37840
706.36/706.61	c nbDecision=292500 #constraints=37883
708.56/708.86	c nbDecision=293000 #constraints=37925
710.86/711.10	c nbDecision=293500 #constraints=37970
713.06/713.31	c nbDecision=294000 #constraints=37993
715.16/715.43	c nbDecision=294500 #constraints=38024
717.46/717.75	c nbDecision=295000 #constraints=38084
719.66/719.91	c nbDecision=295500 #constraints=38113
721.96/722.26	c nbDecision=296000 #constraints=38135
724.06/724.40	c nbDecision=296500 #constraints=38155
727.56/727.83	c nbDecision=297000 #constraints=38233
729.66/729.98	c nbDecision=297500 #constraints=38262
731.86/732.18	c nbDecision=298000 #constraints=38283
734.06/734.30	c nbDecision=298500 #constraints=38303
736.26/736.54	c nbDecision=299000 #constraints=38326
738.36/738.69	c nbDecision=299500 #constraints=38346
740.65/740.91	c nbDecision=300000 #constraints=38367
742.85/743.19	c nbDecision=300500 #constraints=38388
745.05/745.39	c nbDecision=301000 #constraints=38408
747.35/747.63	c nbDecision=301500 #constraints=38430
749.55/749.88	c nbDecision=302000 #constraints=38451
751.74/752.09	c nbDecision=302500 #constraints=38504
753.94/754.28	c nbDecision=303000 #constraints=38532
756.14/756.49	c nbDecision=303500 #constraints=38555
758.44/758.76	c nbDecision=304000 #constraints=38576
760.74/761.07	c nbDecision=304500 #constraints=38598
762.95/763.29	c nbDecision=305000 #constraints=38619
764.85/765.16	c nbDecision=305500 #constraints=38640
767.05/767.37	c nbDecision=306000 #constraints=38661
769.24/769.51	c nbDecision=306500 #constraints=38681
771.44/771.74	c nbDecision=307000 #constraints=38702
773.64/773.93	c nbDecision=307500 #constraints=38735
775.84/776.11	c nbDecision=308000 #constraints=38756
778.04/778.35	c nbDecision=308500 #constraints=38777
780.34/780.66	c nbDecision=309000 #constraints=38798
782.64/782.93	c nbDecision=309500 #constraints=38819
784.94/785.26	c nbDecision=310000 #constraints=38841
787.14/787.47	c nbDecision=310500 #constraints=38861
789.44/789.74	c nbDecision=311000 #constraints=38882
791.93/792.27	c nbDecision=311500 #constraints=38919
794.23/794.50	c nbDecision=312000 #constraints=38939
797.93/798.22	c nbDecision=312500 #constraints=39120
801.53/801.88	c nbDecision=313000 #constraints=39213
805.53/805.80	c nbDecision=313500 #constraints=39317
809.13/809.40	c nbDecision=314000 #constraints=39506
812.74/813.03	c nbDecision=314500 #constraints=39634
816.53/816.88	c nbDecision=315000 #constraints=39728
819.63/820.00	c nbDecision=315500 #constraints=39841
821.73/822.00	c nbDecision=316000 #constraints=39887
823.43/823.78	c nbDecision=316500 #constraints=39939
826.53/826.84	c nbDecision=317000 #constraints=40029
830.92/831.29	c nbDecision=317500 #constraints=40195
834.12/834.43	c nbDecision=318000 #constraints=40283
837.32/837.60	c nbDecision=318500 #constraints=40375
840.22/840.59	c nbDecision=319000 #constraints=40457
843.31/843.69	c nbDecision=319500 #constraints=40545
846.41/846.74	c nbDecision=320000 #constraints=40629
849.52/849.81	c nbDecision=320500 #constraints=40707
852.62/852.99	c nbDecision=321000 #constraints=40799
855.82/856.13	c nbDecision=321500 #constraints=40887
859.12/859.40	c nbDecision=322000 #constraints=40977
862.12/862.49	c nbDecision=322500 #constraints=41057
864.91/865.23	c nbDecision=323000 #constraints=41114
868.11/868.45	c nbDecision=323500 #constraints=41202
871.10/871.47	c nbDecision=324000 #constraints=41283
874.41/874.79	c nbDecision=324500 #constraints=41374
877.71/878.06	c nbDecision=325000 #constraints=41462
880.81/881.12	c nbDecision=325500 #constraints=41547
884.31/884.63	c nbDecision=326000 #constraints=41642
887.51/887.85	c nbDecision=326500 #constraints=41727
890.60/890.98	c nbDecision=327000 #constraints=41809
893.80/894.12	c nbDecision=327500 #constraints=41891
896.70/897.00	c nbDecision=328000 #constraints=41947
900.90/901.29	c nbDecision=328500 #constraints=42084
904.30/904.65	c nbDecision=329000 #constraints=42172
907.59/907.90	c nbDecision=329500 #constraints=42259
910.79/911.14	c nbDecision=330000 #constraints=42343
914.30/914.60	c nbDecision=330500 #constraints=42436
917.40/917.77	c nbDecision=331000 #constraints=42516
921.00/921.33	c nbDecision=331500 #constraints=42605
923.80/924.15	c nbDecision=332000 #constraints=42660
927.10/927.46	c nbDecision=332500 #constraints=42745
930.69/931.04	c nbDecision=333000 #constraints=42837
934.19/934.58	c nbDecision=333500 #constraints=42928
937.69/938.05	c nbDecision=334000 #constraints=43016
943.79/944.15	c nbDecision=334500 #constraints=43246
954.68/955.08	c nbDecision=335000 #constraints=43705
962.98/963.30	c nbDecision=335500 #constraints=43989
967.08/967.47	c nbDecision=336000 #constraints=44106
971.48/971.80	c nbDecision=336500 #constraints=44243
977.27/977.64	c nbDecision=337000 #constraints=44456
982.28/982.67	c nbDecision=337500 #constraints=44619
986.28/986.62	c nbDecision=338000 #constraints=44731
990.88/991.21	c nbDecision=338500 #constraints=44885
995.47/995.82	c nbDecision=339000 #constraints=45028
999.87/1000.28	c nbDecision=339500 #constraints=45181
1002.97/1003.30	c nbDecision=340000 #constraints=45289
1005.66/1006.03	c nbDecision=340500 #constraints=45317
1008.47/1008.88	c nbDecision=341000 #constraints=45356
1011.06/1011.49	c nbDecision=341500 #constraints=45381
1013.77/1014.19	c nbDecision=342000 #constraints=45423
1016.37/1016.72	c nbDecision=342500 #constraints=45442
1019.17/1019.54	c nbDecision=343000 #constraints=45462
1021.87/1022.23	c nbDecision=343500 #constraints=45495
1024.67/1025.03	c nbDecision=344000 #constraints=45541
1027.46/1027.89	c nbDecision=344500 #constraints=45626
1030.16/1030.57	c nbDecision=345000 #constraints=45650
1033.16/1033.57	c nbDecision=345500 #constraints=45678
1036.06/1036.40	c nbDecision=346000 #constraints=45722
1038.86/1039.23	c nbDecision=346500 #constraints=45742
1041.76/1042.11	c nbDecision=347000 #constraints=45764
1044.66/1045.07	c nbDecision=347500 #constraints=45813
1047.45/1047.80	c nbDecision=348000 #constraints=45836
1050.16/1050.59	c nbDecision=348500 #constraints=45855
1053.45/1053.90	c nbDecision=349000 #constraints=46181
1056.65/1057.06	c nbDecision=349500 #constraints=46405
1058.96/1059.37	c nbDecision=350000 #constraints=46492
1061.75/1062.20	c nbDecision=350500 #constraints=46518
1064.45/1064.81	c nbDecision=351000 #constraints=46538
1067.05/1067.40	c nbDecision=351500 #constraints=46602
1069.65/1070.03	c nbDecision=352000 #constraints=46622
1072.35/1072.75	c nbDecision=352500 #constraints=46725
1074.94/1075.38	c nbDecision=353000 #constraints=46770
1077.75/1078.19	c nbDecision=353500 #constraints=46792
1080.64/1081.05	c nbDecision=354000 #constraints=46814
1083.44/1083.82	c nbDecision=354500 #constraints=46836
1086.15/1086.51	c nbDecision=355000 #constraints=46857
1088.75/1089.13	c nbDecision=355500 #constraints=46877
1091.35/1091.71	c nbDecision=356000 #constraints=46897
1094.15/1094.56	c nbDecision=356500 #constraints=46945
1096.84/1097.28	c nbDecision=357000 #constraints=46966
1099.74/1100.14	c nbDecision=357500 #constraints=46990
1102.54/1102.96	c nbDecision=358000 #constraints=47023
1105.44/1105.80	c nbDecision=358500 #constraints=47045
1107.94/1108.35	c nbDecision=359000 #constraints=47100
1110.74/1111.15	c nbDecision=359500 #constraints=47149
1113.44/1113.84	c nbDecision=360000 #constraints=47169
1116.33/1116.71	c nbDecision=360500 #constraints=47191
1119.03/1119.42	c nbDecision=361000 #constraints=47212
1121.63/1122.08	c nbDecision=361500 #constraints=47232
1124.53/1124.96	c nbDecision=362000 #constraints=47315
1127.33/1127.75	c nbDecision=362500 #constraints=47346
1130.03/1130.49	c nbDecision=363000 #constraints=47380
1132.82/1133.26	c nbDecision=363500 #constraints=47403
1135.63/1136.06	c nbDecision=364000 #constraints=47425
1138.43/1138.83	c nbDecision=364500 #constraints=47544
1141.03/1141.43	c nbDecision=365000 #constraints=47563
1143.83/1144.24	c nbDecision=365500 #constraints=47585
1146.53/1146.94	c nbDecision=366000 #constraints=47632
1149.53/1149.98	c nbDecision=366500 #constraints=47692
1152.33/1152.79	c nbDecision=367000 #constraints=47724
1155.23/1155.67	c nbDecision=367500 #constraints=47772
1157.93/1158.39	c nbDecision=368000 #constraints=47812
1160.82/1161.25	c nbDecision=368500 #constraints=47837
1163.53/1163.94	c nbDecision=369000 #constraints=47858
1166.42/1166.81	c nbDecision=369500 #constraints=47880
1169.22/1169.64	c nbDecision=370000 #constraints=47901
1172.02/1172.46	c nbDecision=370500 #constraints=47923
1174.82/1175.21	c nbDecision=371000 #constraints=47945
1177.62/1178.09	c nbDecision=371500 #constraints=47966
1180.62/1181.00	c nbDecision=372000 #constraints=47987
1183.72/1184.11	c nbDecision=372500 #constraints=48062
1186.52/1186.92	c nbDecision=373000 #constraints=48083
1189.21/1189.64	c nbDecision=373500 #constraints=48103
1192.02/1192.49	c nbDecision=374000 #constraints=48124
1194.91/1195.39	c nbDecision=374500 #constraints=48146
1197.61/1198.00	c nbDecision=375000 #constraints=48165
1200.51/1200.96	c nbDecision=375500 #constraints=48187
1203.51/1203.90	c nbDecision=376000 #constraints=48209
1206.21/1206.64	c nbDecision=376500 #constraints=48229
1209.01/1209.45	c nbDecision=377000 #constraints=48250
1211.81/1212.28	c nbDecision=377500 #constraints=48291
1214.60/1215.07	c nbDecision=378000 #constraints=48311
1217.50/1217.97	c nbDecision=378500 #constraints=48333
1220.40/1220.86	c nbDecision=379000 #constraints=48354
1223.30/1223.78	c nbDecision=379500 #constraints=48375
1226.41/1226.83	c nbDecision=380000 #constraints=48417
1229.41/1229.82	c nbDecision=380500 #constraints=48466
1232.10/1232.50	c nbDecision=381000 #constraints=48495
1234.91/1235.38	c nbDecision=381500 #constraints=48516
1237.90/1238.33	c nbDecision=382000 #constraints=48545
1240.80/1241.26	c nbDecision=382500 #constraints=48566
1243.60/1244.07	c nbDecision=383000 #constraints=48601
1246.40/1246.87	c nbDecision=383500 #constraints=48621
1249.30/1249.79	c nbDecision=384000 #constraints=48643
1252.30/1252.75	c nbDecision=384500 #constraints=48664
1255.10/1255.52	c nbDecision=385000 #constraints=48685
1257.90/1258.35	c nbDecision=385500 #constraints=48706
1260.69/1261.16	c nbDecision=386000 #constraints=48726
1263.50/1263.97	c nbDecision=386500 #constraints=48769
1266.39/1266.81	c nbDecision=387000 #constraints=48790
1269.19/1269.62	c nbDecision=387500 #constraints=48810
1272.09/1272.55	c nbDecision=388000 #constraints=48832
1275.19/1275.66	c nbDecision=388500 #constraints=48884
1278.08/1278.54	c nbDecision=389000 #constraints=48905
1280.78/1281.21	c nbDecision=389500 #constraints=48924
1283.48/1283.97	c nbDecision=390000 #constraints=48944
1286.48/1286.97	c nbDecision=390500 #constraints=48965
1289.28/1289.79	c nbDecision=391000 #constraints=48986
1292.38/1292.84	c nbDecision=391500 #constraints=49054
1295.48/1295.95	c nbDecision=392000 #constraints=49096
1298.38/1298.84	c nbDecision=392500 #constraints=49117
1301.28/1301.73	c nbDecision=393000 #constraints=49137
1304.28/1304.75	c nbDecision=393500 #constraints=49159
1306.97/1307.48	c nbDecision=394000 #constraints=49178
1309.87/1310.32	c nbDecision=394500 #constraints=49199
1312.67/1313.12	c nbDecision=395000 #constraints=49219
1315.67/1316.11	c nbDecision=395500 #constraints=49240
1318.57/1319.06	c nbDecision=396000 #constraints=49261
1321.48/1321.90	c nbDecision=396500 #constraints=49283
1324.38/1324.80	c nbDecision=397000 #constraints=49304
1327.28/1327.75	c nbDecision=397500 #constraints=49328
1330.47/1330.90	c nbDecision=398000 #constraints=49351
1333.37/1333.85	c nbDecision=398500 #constraints=49372
1336.27/1336.77	c nbDecision=399000 #constraints=49393
1339.17/1339.67	c nbDecision=399500 #constraints=49413
1342.07/1342.58	c nbDecision=400000 #constraints=49434
1345.97/1346.44	c nbDecision=400500 #constraints=49533
1349.37/1349.83	c nbDecision=401000 #constraints=49624
1353.06/1353.59	c nbDecision=401500 #constraints=49739
1356.86/1357.39	c nbDecision=402000 #constraints=49846
1360.77/1361.26	c nbDecision=402500 #constraints=49964
1363.86/1364.34	c nbDecision=403000 #constraints=50014
1366.76/1367.22	c nbDecision=403500 #constraints=50034
1369.76/1370.24	c nbDecision=404000 #constraints=50066
1372.86/1373.38	c nbDecision=404500 #constraints=50092
1375.86/1376.31	c nbDecision=405000 #constraints=50113
1378.76/1379.29	c nbDecision=405500 #constraints=50133
1381.76/1382.29	c nbDecision=406000 #constraints=50154
1384.75/1385.28	c nbDecision=406500 #constraints=50174
1387.86/1388.39	c nbDecision=407000 #constraints=50196
1390.85/1391.36	c nbDecision=407500 #constraints=50217
1393.95/1394.40	c nbDecision=408000 #constraints=50238
1396.85/1397.30	c nbDecision=408500 #constraints=50261
1399.85/1400.33	c nbDecision=409000 #constraints=50282
1402.85/1403.38	c nbDecision=409500 #constraints=50304
1403.55/1404.04	c restart after 409601 decisions
1406.75/1407.29	c nbDecision=410000 #constraints=50308
1406.85/1407.37	c nbDecision=410500 #constraints=50308
1407.05/1407.55	c nbDecision=411000 #constraints=50308
1407.35/1407.88	c nbDecision=411500 #constraints=50308
1407.45/1407.95	c nbDecision=412000 #constraints=50308
1407.75/1408.22	c nbDecision=412500 #constraints=50308
1408.15/1408.63	c nbDecision=413000 #constraints=50308
1408.25/1408.71	c nbDecision=413500 #constraints=50308
1408.25/1408.76	c nbDecision=414000 #constraints=50308
1411.74/1412.24	c nbDecision=414500 #constraints=50426
1422.65/1423.16	c nbDecision=415000 #constraints=50897
1430.24/1430.78	c nbDecision=415500 #constraints=51262
1437.63/1438.10	c nbDecision=416000 #constraints=51502
1450.23/1450.71	c nbDecision=416500 #constraints=51887
1464.53/1465.01	c nbDecision=417000 #constraints=52268
1471.83/1472.31	c nbDecision=417500 #constraints=52535
1477.62/1478.17	c nbDecision=418000 #constraints=52708
1488.83/1489.32	c nbDecision=418500 #constraints=52954
1495.92/1496.49	c nbDecision=419000 #constraints=53123
1503.72/1504.21	c nbDecision=419500 #constraints=53330
1512.62/1513.15	c nbDecision=420000 #constraints=53508
1521.52/1522.02	c nbDecision=420500 #constraints=53682
1526.51/1527.04	c nbDecision=421000 #constraints=53753
1531.41/1531.97	c nbDecision=421500 #constraints=53871
1542.21/1542.79	c nbDecision=422000 #constraints=54136
1551.51/1552.01	c nbDecision=422500 #constraints=54353
1557.80/1558.36	c nbDecision=423000 #constraints=54514
1564.21/1564.80	c nbDecision=423500 #constraints=54674
1571.30/1571.84	c nbDecision=424000 #constraints=54821
1575.50/1576.08	c nbDecision=424500 #constraints=54870
1580.60/1581.17	c nbDecision=425000 #constraints=54981
1588.19/1588.71	c nbDecision=425500 #constraints=55176
1596.80/1597.37	c nbDecision=426000 #constraints=55389
1600.99/1601.54	c nbDecision=426500 #constraints=55438
1608.49/1609.09	c nbDecision=427000 #constraints=55627
1615.29/1615.87	c nbDecision=427500 #constraints=55777
1622.29/1622.82	c nbDecision=428000 #constraints=55944
1630.58/1631.16	c nbDecision=428500 #constraints=56159
1637.38/1638.00	c nbDecision=429000 #constraints=56318
1643.58/1644.14	c nbDecision=429500 #constraints=56455
1650.28/1650.80	c nbDecision=430000 #constraints=56611
1656.77/1657.30	c nbDecision=430500 #constraints=56800
1663.28/1663.88	c nbDecision=431000 #constraints=56950
1670.48/1671.01	c nbDecision=431500 #constraints=57141
1677.77/1678.30	c nbDecision=432000 #constraints=57343
1683.58/1684.14	c nbDecision=432500 #constraints=57471
1689.77/1690.40	c nbDecision=433000 #constraints=57632
1698.06/1698.66	c nbDecision=433500 #constraints=57845
1704.26/1704.85	c nbDecision=434000 #constraints=57979
1710.86/1711.43	c nbDecision=434500 #constraints=58143
1717.96/1718.53	c nbDecision=435000 #constraints=58318
1724.45/1725.01	c nbDecision=435500 #constraints=58461
1735.15/1735.73	c nbDecision=436000 #constraints=58782
1749.15/1749.75	c nbDecision=436500 #constraints=59250
1762.55/1763.13	c nbDecision=437000 #constraints=59625
1773.44/1774.04	c nbDecision=437500 #constraints=59920
1780.54/1781.14	c nbDecision=438000 #constraints=60124
1789.73/1790.31	c nbDecision=438500 #constraints=60323
1797.54/1798.16	c nbDecision=439000 #constraints=60558
1800.04/1800.60	Received signal 15
1800.04/1800.64	
1800.04/1800.64	s UNKNOWN
1800.04/1800.64	
1800.04/1800.64	c user time= 1799.34 s
1800.04/1800.64	c system time= 0.743886 s
1800.04/1800.64	c wall clock time=1800.64

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 14241
/proc/meminfo: memFree=1668032/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=1620 CPUtime=0
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 124649067 1658880 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 405 168 126 317 0 84 0

[startup+0.101142 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 14241
/proc/meminfo: memFree=1668032/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=3600 CPUtime=0.09
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 712 0 0 0 9 0 0 0 18 0 1 0 124649067 3686400 694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 900 694 131 317 0 579 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3600

[startup+0.201152 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 14241
/proc/meminfo: memFree=1668032/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=5992 CPUtime=0.19
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 1297 0 0 0 19 0 0 0 18 0 1 0 124649067 6135808 1279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 1498 1279 138 317 0 1177 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5992

[startup+0.301161 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 14241
/proc/meminfo: memFree=1668032/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=5992 CPUtime=0.29
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 1297 0 0 0 29 0 0 0 19 0 1 0 124649067 6135808 1279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 1498 1279 138 317 0 1177 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5992

[startup+0.701201 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 14241
/proc/meminfo: memFree=1668032/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=5992 CPUtime=0.69
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 1298 0 0 0 69 0 0 0 22 0 1 0 124649067 6135808 1280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 1498 1280 138 317 0 1177 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5992

[startup+1.50128 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 14242
/proc/meminfo: memFree=1663352/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=5992 CPUtime=1.49
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 1300 0 0 0 149 0 0 0 25 0 1 0 124649067 6135808 1282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 1498 1282 138 317 0 1177 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5992

[startup+3.10244 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 14242
/proc/meminfo: memFree=1661112/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=12596 CPUtime=3.09
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 2944 0 0 0 309 0 0 0 25 0 1 0 124649067 12898304 2926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 3149 2926 139 317 0 2828 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12596

[startup+6.30176 s]
/proc/loadavg: 0.92 0.95 0.98 2/65 14242
/proc/meminfo: memFree=1650048/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=21512 CPUtime=6.28
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 5188 0 0 0 627 1 0 0 25 0 1 0 124649067 22028288 5170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 5378 5170 139 317 0 5057 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 21512

[startup+12.7014 s]
/proc/loadavg: 0.93 0.95 0.98 2/65 14242
/proc/meminfo: memFree=1636104/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=33944 CPUtime=12.69
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 8259 0 0 0 1265 4 0 0 25 0 1 0 124649067 34758656 8241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 8486 8241 139 317 0 8165 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33944

[startup+25.5017 s]
/proc/loadavg: 0.94 0.96 0.98 2/65 14242
/proc/meminfo: memFree=1626120/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=43232 CPUtime=25.49
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 10557 0 0 0 2543 6 0 0 25 0 1 0 124649067 44269568 10539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 10808 10539 139 317 0 10487 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 43232

[startup+51.1012 s]
/proc/loadavg: 0.96 0.96 0.98 2/65 14242
/proc/meminfo: memFree=1594440/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=76688 CPUtime=51.08
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 18711 0 0 0 5098 10 0 0 25 0 1 0 124649067 78528512 18635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 19172 18635 139 317 0 18851 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 76688

[startup+102.301 s]
/proc/loadavg: 0.98 0.96 0.98 2/65 14242
/proc/meminfo: memFree=1569672/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=100604 CPUtime=102.26
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 24693 0 0 0 10212 14 0 0 25 0 1 0 124649067 103018496 24617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 25151 24617 139 317 0 24830 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 100604

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1543176/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=129708 CPUtime=162.23
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 31289 0 0 0 16205 18 0 0 25 0 1 0 124649067 132820992 31213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 32427 31213 139 317 0 32106 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 129708

[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1523464/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=149688 CPUtime=222.22
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 36311 0 0 0 22201 21 0 0 25 0 1 0 124649067 153280512 36121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 37422 36121 139 317 0 37101 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 149688

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1508104/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=165016 CPUtime=282.19
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 40161 0 0 0 28196 23 0 0 25 0 1 0 124649067 168976384 39971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 41254 39971 139 317 0 40933 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 165016

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1483848/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=189168 CPUtime=342.17
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 46202 0 0 0 34191 26 0 0 25 0 1 0 124649067 193708032 46012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 47292 46012 139 317 0 46971 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 189168

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1454984/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=219444 CPUtime=402.15
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 53398 0 0 0 40184 31 0 0 25 0 1 0 124649067 224710656 53208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 54861 53208 139 317 0 54540 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 219444

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1435080/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=238512 CPUtime=462.13
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 58371 0 0 0 46178 35 0 0 25 0 1 0 124649067 244236288 58181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 59628 58181 139 317 0 59307 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 238512

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1410632/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=272244 CPUtime=522.12
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 66058 0 0 0 52172 40 0 0 25 0 1 0 124649067 278777856 64288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 68061 64288 139 317 0 67740 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 272244

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1404424/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=278732 CPUtime=582.1
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 67582 0 0 0 58169 41 0 0 25 0 1 0 124649067 285421568 65812 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 69683 65812 139 317 0 69362 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 278732

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1399240/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=284624 CPUtime=642.08
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 68876 0 0 0 64167 41 0 0 25 0 1 0 124649067 291454976 67106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 71156 67106 139 317 0 70835 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 284624


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

[startup+882.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1362440/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=320884 CPUtime=882.01
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 78055 0 0 0 88152 49 0 0 25 0 1 0 124649067 328585216 76285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 80221 76285 139 317 0 79900 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 320884

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1349640/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=333492 CPUtime=941.99
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 81431 0 0 0 94148 51 0 0 25 0 1 0 124649067 341495808 79529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 83373 79530 139 317 0 83052 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 333492

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1333256/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=348156 CPUtime=1001.97
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 85471 0 0 0 100144 53 0 0 25 0 1 0 124649067 356511744 83569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 87039 83569 139 317 0 86718 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 348156

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1325448/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=355244 CPUtime=1061.95
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 87412 0 0 0 106140 55 0 0 25 0 1 0 124649067 363769856 85510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 88811 85510 139 317 0 88490 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 355244

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1321352/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=359128 CPUtime=1121.93
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 88436 0 0 0 112137 56 0 0 25 0 1 0 124649067 367747072 86534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 89782 86534 139 317 0 89461 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 359128

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1316936/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=363584 CPUtime=1181.92
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 89570 0 0 0 118135 57 0 0 25 0 1 0 124649067 372310016 87668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562700 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 90896 87668 139 317 0 90575 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 363584

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1313864/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=366380 CPUtime=1241.9
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 90292 0 0 0 124132 58 0 0 25 0 1 0 124649067 375173120 88390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 91595 88390 139 317 0 91274 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 366380

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1310664/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=369276 CPUtime=1301.88
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 91092 0 0 0 130130 58 0 0 25 0 1 0 124649067 378138624 89190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 92319 89190 139 317 0 91998 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 369276

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1305416/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=376328 CPUtime=1361.87
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 92417 0 0 0 136127 60 0 0 25 0 1 0 124649067 385359872 90515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 94082 90515 139 317 0 93761 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 376328

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1297608/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=385516 CPUtime=1421.85
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 94435 0 0 0 142124 61 0 0 25 0 1 0 124649067 394768384 92434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 96379 92434 139 317 0 96058 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 385516

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1283080/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=400252 CPUtime=1481.83
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 98078 0 0 0 148120 63 0 0 25 0 1 0 124649067 409858048 96077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 100063 96077 139 317 0 99742 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 400252

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1275080/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=407732 CPUtime=1541.82
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 100075 0 0 0 154117 65 0 0 25 0 1 0 124649067 417517568 98074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 101933 98074 139 317 0 101612 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 407732

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1265288/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=416968 CPUtime=1601.79
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 102616 0 0 0 160112 67 0 0 25 0 1 0 124649067 426975232 100615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 104242 100615 139 317 0 103921 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 416968

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1251912/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=434032 CPUtime=1661.78
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 106652 0 0 0 166109 69 0 0 25 0 1 0 124649067 444448768 103859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 108508 103859 139 317 0 108187 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 434032

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1240392/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=444864 CPUtime=1721.76
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 109583 0 0 0 172105 71 0 0 25 0 1 0 124649067 455540736 106757 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 111216 106757 139 317 0 110895 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 444864

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1224968/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=458468 CPUtime=1781.74
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 113416 0 0 0 178101 73 0 0 25 0 1 0 124649067 469471232 110590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 114617 110590 139 317 0 114296 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 458468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 14242
/proc/meminfo: memFree=1221256/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=461864 CPUtime=1800.04
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194304 114362 0 0 0 179930 74 0 0 25 0 1 0 124649067 472948736 111503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 115466 111503 139 317 0 115145 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 461864

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/66 14243
/proc/meminfo: memFree=1529600/2055920 swapFree=4183760/4192956
[pid=14241] ppid=14239 vsize=0 CPUtime=1800.14
/proc/14241/stat : 14241 (oree) R 14239 14241 13898 0 -1 4194308 114378 0 0 0 179935 79 0 0 25 0 1 0 124649067 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14241/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.17
CPU user time (s): 1799.36
CPU system time (s): 0.814876
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 461864

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

runsolver used 1.26081 second user time and 3.72643 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Tue Apr 17 23:05:17 UTC 2007

IDJOB= 357002
IDBENCH= 1763
IDSOLVER= 172
FILE ID= node70/357002-1176851117

PBS_JOBID= 4590213

Free space on /tmp= 66545 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-set1cl.opb
COMMAND LINE= oree /tmp/evaluation/357002-1176851117/instance-357002-1176851117.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-357002-1176851117 -o ROOT/results/node70/solver-357002-1176851117 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357002-1176851117/instance-357002-1176851117.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  1e246214338ba705536e85585a980117

RANDOM SEED= 50154819

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1668376 kB
Buffers:         41632 kB
Cached:         273972 kB
SwapCached:       3656 kB
Active:         161544 kB
Inactive:       164588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1668376 kB
SwapTotal:     4192956 kB
SwapFree:      4183760 kB
Dirty:            1724 kB
Writeback:           0 kB
Mapped:          15984 kB
Slab:            47440 kB
Committed_AS:  2437724 kB
PageTables:       1396 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= 66545 MiB

End job on node70 on Tue Apr 17 23:35:20 UTC 2007