Trace number 357327

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) 1802.12 1802.85

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-grow15.opb
MD5SUMb4d90975042873aa16a95872bfad2ca2
Bench CategoryOPT-BIGINT (optimisation, big 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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables17130
Total number of constraints900
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 constraints900
Minimum length of a constraint22
Maximum length of a constraint491
Number of terms in the objective function 1335
Biggest coefficient in the objective function 3758096384
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 154618822482
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 878188741787648
Number of bits of the biggest number in a constraint 50
Biggest sum of numbers in a constraint 4550739094651140
Number of bits of the biggest sum of numbers53
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.49/0.50	c ...done
0.49/0.50	c #vars=17130 #constraints=1201 hasObjective=yes
0.49/0.57	c res. mode=mod
0.49/0.57	c VSIDS like heuristics
0.49/0.57	c complete search running
0.79/0.85	c restart after 401 decisions
0.89/0.93	c nbDecision=500 #constraints=1209
1.10/1.13	c restart after 801 decisions
1.19/1.27	c nbDecision=1000 #constraints=1209
1.59/1.65	c nbDecision=1500 #constraints=1275
1.69/1.72	c restart after 1601 decisions
1.99/2.00	c nbDecision=2000 #constraints=1278
2.29/2.36	c nbDecision=2500 #constraints=1306
2.69/2.71	c nbDecision=3000 #constraints=1339
2.79/2.85	c restart after 3201 decisions
2.99/3.06	c nbDecision=3500 #constraints=1346
3.39/3.41	c nbDecision=4000 #constraints=1370
3.69/3.76	c nbDecision=4500 #constraints=1417
4.09/4.14	c nbDecision=5000 #constraints=1492
4.49/4.51	c nbDecision=5500 #constraints=1521
4.79/4.86	c nbDecision=6000 #constraints=1560
5.09/5.15	c restart after 6401 decisions
5.19/5.23	c nbDecision=6500 #constraints=1579
5.49/5.59	c nbDecision=7000 #constraints=1596
5.89/5.94	c nbDecision=7500 #constraints=1621
6.28/6.31	c nbDecision=8000 #constraints=1677
6.59/6.65	c nbDecision=8500 #constraints=1690
6.99/7.01	c nbDecision=9000 #constraints=1739
7.29/7.37	c nbDecision=9500 #constraints=1787
7.70/7.74	c nbDecision=10000 #constraints=1833
7.99/8.09	c nbDecision=10500 #constraints=1867
8.39/8.49	c nbDecision=11000 #constraints=1934
8.89/8.92	c nbDecision=11500 #constraints=2020
9.19/9.29	c nbDecision=12000 #constraints=2065
9.69/9.70	c nbDecision=12500 #constraints=2136
9.90/9.92	c restart after 12801 decisions
9.99/10.07	c nbDecision=13000 #constraints=2155
10.39/10.43	c nbDecision=13500 #constraints=2172
10.69/10.77	c nbDecision=14000 #constraints=2183
11.09/11.17	c nbDecision=14500 #constraints=2250
11.59/11.65	c nbDecision=15000 #constraints=2343
11.89/12.00	c nbDecision=15500 #constraints=2354
12.29/12.37	c nbDecision=16000 #constraints=2395
12.69/12.74	c nbDecision=16500 #constraints=2427
13.09/13.14	c nbDecision=17000 #constraints=2472
13.49/13.55	c nbDecision=17500 #constraints=2522
13.89/13.93	c nbDecision=18000 #constraints=2558
14.29/14.34	c nbDecision=18500 #constraints=2593
14.68/14.76	c nbDecision=19000 #constraints=2661
15.18/15.21	c nbDecision=19500 #constraints=2714
15.58/15.61	c nbDecision=20000 #constraints=2761
15.98/16.01	c nbDecision=20500 #constraints=2807
16.39/16.48	c nbDecision=21000 #constraints=2879
16.78/16.87	c nbDecision=21500 #constraints=2904
17.18/17.27	c nbDecision=22000 #constraints=2932
17.68/17.70	c nbDecision=22500 #constraints=2974
18.18/18.20	c nbDecision=23000 #constraints=3040
19.19/19.25	c nbDecision=23500 #constraints=3287
20.68/20.71	c nbDecision=24000 #constraints=3569
22.08/22.18	c nbDecision=24500 #constraints=3801
22.68/22.78	c nbDecision=25000 #constraints=3853
24.08/24.16	c nbDecision=25500 #constraints=4036
24.49/24.53	c restart after 25601 decisions
24.79/24.85	c nbDecision=26000 #constraints=4086
25.19/25.27	c nbDecision=26500 #constraints=4116
25.59/25.68	c nbDecision=27000 #constraints=4144
26.19/26.28	c nbDecision=27500 #constraints=4232
26.68/26.70	c nbDecision=28000 #constraints=4267
27.08/27.12	c nbDecision=28500 #constraints=4297
27.88/27.98	c nbDecision=29000 #constraints=4395
28.28/28.37	c nbDecision=29500 #constraints=4408
28.88/29.00	c nbDecision=30000 #constraints=4507
29.38/29.41	c nbDecision=30500 #constraints=4538
29.78/29.83	c nbDecision=31000 #constraints=4560
30.28/30.32	c nbDecision=31500 #constraints=4611
30.79/30.83	c nbDecision=32000 #constraints=4646
31.18/31.25	c nbDecision=32500 #constraints=4668
31.68/31.77	c nbDecision=33000 #constraints=4707
32.28/32.33	c nbDecision=33500 #constraints=4748
32.78/32.86	c nbDecision=34000 #constraints=4798
33.28/33.37	c nbDecision=34500 #constraints=4841
33.88/33.99	c nbDecision=35000 #constraints=4884
34.48/34.55	c nbDecision=35500 #constraints=4923
34.98/35.09	c nbDecision=36000 #constraints=4956
35.48/35.55	c nbDecision=36500 #constraints=4967
36.08/36.13	c nbDecision=37000 #constraints=4999
36.68/36.74	c nbDecision=37500 #constraints=5048
37.38/37.44	c nbDecision=38000 #constraints=5120
37.98/38.00	c nbDecision=38500 #constraints=5165
38.58/38.64	c nbDecision=39000 #constraints=5204
39.18/39.24	c nbDecision=39500 #constraints=5251
39.78/39.87	c nbDecision=40000 #constraints=5288
40.38/40.46	c nbDecision=40500 #constraints=5333
40.98/41.01	c nbDecision=41000 #constraints=5373
41.48/41.58	c nbDecision=41500 #constraints=5409
42.08/42.10	c nbDecision=42000 #constraints=5424
42.48/42.58	c nbDecision=42500 #constraints=5439
43.18/43.24	c nbDecision=43000 #constraints=5484
43.68/43.74	c nbDecision=43500 #constraints=5513
44.37/44.41	c nbDecision=44000 #constraints=5570
44.98/45.08	c nbDecision=44500 #constraints=5617
45.67/45.80	c nbDecision=45000 #constraints=5712
46.78/46.88	c nbDecision=45500 #constraints=5904
47.67/47.72	c nbDecision=46000 #constraints=6014
48.77/48.81	c nbDecision=46500 #constraints=6190
49.27/49.33	c nbDecision=47000 #constraints=6216
49.87/49.92	c nbDecision=47500 #constraints=6260
50.67/50.75	c nbDecision=48000 #constraints=6336
51.38/51.48	c nbDecision=48500 #constraints=6394
51.98/52.08	c nbDecision=49000 #constraints=6423
52.78/52.81	c nbDecision=49500 #constraints=6465
53.68/53.77	c nbDecision=50000 #constraints=6514
54.47/54.53	c nbDecision=50500 #constraints=6563
55.27/55.39	c nbDecision=51000 #constraints=6625
55.67/55.74	c restart after 51201 decisions
56.08/56.11	c nbDecision=51500 #constraints=6643
56.47/56.54	c nbDecision=52000 #constraints=6661
57.08/57.14	c nbDecision=52500 #constraints=6697
57.97/58.00	c nbDecision=53000 #constraints=6786
58.67/58.72	c nbDecision=53500 #constraints=6849
59.37/59.44	c nbDecision=54000 #constraints=6886
60.07/60.16	c nbDecision=54500 #constraints=6941
60.67/60.75	c nbDecision=55000 #constraints=6973
61.27/61.33	c nbDecision=55500 #constraints=6991
61.77/61.88	c nbDecision=56000 #constraints=7018
62.37/62.47	c nbDecision=56500 #constraints=7032
62.97/63.01	c nbDecision=57000 #constraints=7044
63.57/63.66	c nbDecision=57500 #constraints=7101
64.17/64.21	c nbDecision=58000 #constraints=7111
64.67/64.78	c nbDecision=58500 #constraints=7129
65.37/65.40	c nbDecision=59000 #constraints=7141
66.17/66.23	c nbDecision=59500 #constraints=7205
66.87/66.99	c nbDecision=60000 #constraints=7248
67.67/67.74	c nbDecision=60500 #constraints=7288
68.47/68.52	c nbDecision=61000 #constraints=7329
69.07/69.14	c nbDecision=61500 #constraints=7359
69.67/69.78	c nbDecision=62000 #constraints=7399
70.37/70.42	c nbDecision=62500 #constraints=7417
71.07/71.19	c nbDecision=63000 #constraints=7462
71.87/71.99	c nbDecision=63500 #constraints=7513
72.86/72.96	c nbDecision=64000 #constraints=7594
73.67/73.73	c nbDecision=64500 #constraints=7643
74.46/74.52	c nbDecision=65000 #constraints=7674
75.26/75.36	c nbDecision=65500 #constraints=7721
76.06/76.12	c nbDecision=66000 #constraints=7771
76.87/76.96	c nbDecision=66500 #constraints=7801
77.56/77.68	c nbDecision=67000 #constraints=7833
78.36/78.49	c nbDecision=67500 #constraints=7868
79.16/79.23	c nbDecision=68000 #constraints=7903
79.96/80.09	c nbDecision=68500 #constraints=7950
81.07/81.14	c nbDecision=69000 #constraints=8043
81.87/81.90	c nbDecision=69500 #constraints=8070
82.57/82.62	c nbDecision=70000 #constraints=8097
83.37/83.43	c nbDecision=70500 #constraints=8127
84.37/84.42	c nbDecision=71000 #constraints=8180
85.07/85.13	c nbDecision=71500 #constraints=8196
85.96/86.01	c nbDecision=72000 #constraints=8228
87.06/87.14	c nbDecision=72500 #constraints=8360
87.96/88.03	c nbDecision=73000 #constraints=8404
88.76/88.85	c nbDecision=73500 #constraints=8448
89.66/89.71	c nbDecision=74000 #constraints=8470
90.36/90.42	c nbDecision=74500 #constraints=8484
91.16/91.26	c nbDecision=75000 #constraints=8521
92.26/92.35	c nbDecision=75500 #constraints=8579
93.16/93.23	c nbDecision=76000 #constraints=8610
94.06/94.15	c nbDecision=76500 #constraints=8642
95.06/95.10	c nbDecision=77000 #constraints=8672
95.86/95.96	c nbDecision=77500 #constraints=8710
96.76/96.88	c nbDecision=78000 #constraints=8746
97.45/97.56	c nbDecision=78500 #constraints=8766
98.25/98.39	c nbDecision=79000 #constraints=8788
99.05/99.15	c nbDecision=79500 #constraints=8818
99.96/100.04	c nbDecision=80000 #constraints=8850
100.86/100.92	c nbDecision=80500 #constraints=8882
101.66/101.76	c nbDecision=81000 #constraints=8911
102.56/102.64	c nbDecision=81500 #constraints=8957
103.26/103.36	c nbDecision=82000 #constraints=8991
104.16/104.23	c nbDecision=82500 #constraints=9020
105.05/105.16	c nbDecision=83000 #constraints=9055
105.85/105.94	c nbDecision=83500 #constraints=9072
106.66/106.70	c nbDecision=84000 #constraints=9088
107.25/107.38	c nbDecision=84500 #constraints=9100
108.15/108.23	c nbDecision=85000 #constraints=9118
109.06/109.15	c nbDecision=85500 #constraints=9151
109.96/110.01	c nbDecision=86000 #constraints=9176
110.76/110.82	c nbDecision=86500 #constraints=9194
111.56/111.61	c nbDecision=87000 #constraints=9225
112.45/112.58	c nbDecision=87500 #constraints=9262
113.35/113.49	c nbDecision=88000 #constraints=9292
114.36/114.41	c nbDecision=88500 #constraints=9323
115.25/115.34	c nbDecision=89000 #constraints=9366
116.15/116.22	c nbDecision=89500 #constraints=9390
116.95/117.09	c nbDecision=90000 #constraints=9415
117.85/117.91	c nbDecision=90500 #constraints=9432
118.65/118.78	c nbDecision=91000 #constraints=9463
119.65/119.72	c nbDecision=91500 #constraints=9511
120.45/120.53	c nbDecision=92000 #constraints=9521
121.35/121.40	c nbDecision=92500 #constraints=9533
122.25/122.40	c nbDecision=93000 #constraints=9582
123.15/123.20	c nbDecision=93500 #constraints=9603
123.85/123.99	c nbDecision=94000 #constraints=9619
124.55/124.68	c nbDecision=94500 #constraints=9636
125.25/125.39	c nbDecision=95000 #constraints=9652
126.14/126.20	c nbDecision=95500 #constraints=9675
126.84/126.92	c nbDecision=96000 #constraints=9695
127.55/127.66	c nbDecision=96500 #constraints=9717
128.34/128.50	c nbDecision=97000 #constraints=9743
129.14/129.22	c nbDecision=97500 #constraints=9762
129.85/129.92	c nbDecision=98000 #constraints=9781
130.75/130.90	c nbDecision=98500 #constraints=9802
131.85/131.99	c nbDecision=99000 #constraints=9831
133.15/133.27	c nbDecision=99500 #constraints=9907
134.65/134.70	c nbDecision=100000 #constraints=10006
135.74/135.88	c nbDecision=100500 #constraints=10077
137.35/137.49	c nbDecision=101000 #constraints=10160
138.84/138.97	c nbDecision=101500 #constraints=10243
139.84/139.95	c nbDecision=102000 #constraints=10260
140.44/140.59	c restart after 102401 decisions
140.94/141.01	c nbDecision=102500 #constraints=10275
141.44/141.51	c nbDecision=103000 #constraints=10297
142.04/142.11	c nbDecision=103500 #constraints=10314
143.04/143.13	c nbDecision=104000 #constraints=10335
143.84/143.98	c nbDecision=104500 #constraints=10399
144.74/144.81	c nbDecision=105000 #constraints=10426
145.94/146.08	c nbDecision=105500 #constraints=10471
147.14/147.23	c nbDecision=106000 #constraints=10520
148.04/148.18	c nbDecision=106500 #constraints=10547
149.55/149.61	c nbDecision=107000 #constraints=10621
150.54/150.64	c nbDecision=107500 #constraints=10673
152.33/152.41	c nbDecision=108000 #constraints=10796
154.03/154.17	c nbDecision=108500 #constraints=10900
155.05/155.17	c nbDecision=109000 #constraints=10940
156.54/156.61	c nbDecision=109500 #constraints=10987
157.44/157.54	c nbDecision=110000 #constraints=10997
158.54/158.68	c nbDecision=110500 #constraints=11034
159.54/159.69	c nbDecision=111000 #constraints=11070
160.74/160.85	c nbDecision=111500 #constraints=11089
162.24/162.38	c nbDecision=112000 #constraints=11138
163.44/163.52	c nbDecision=112500 #constraints=11165
164.64/164.71	c nbDecision=113000 #constraints=11219
165.54/165.64	c nbDecision=113500 #constraints=11237
166.63/166.76	c nbDecision=114000 #constraints=11257
167.93/168.03	c nbDecision=114500 #constraints=11297
169.03/169.19	c nbDecision=115000 #constraints=11335
170.03/170.12	c nbDecision=115500 #constraints=11357
171.03/171.15	c nbDecision=116000 #constraints=11364
172.73/172.86	c nbDecision=116500 #constraints=11414
173.63/173.74	c nbDecision=117000 #constraints=11417
174.63/174.74	c nbDecision=117500 #constraints=11439
176.33/176.48	c nbDecision=118000 #constraints=11510
177.33/177.46	c nbDecision=118500 #constraints=11524
178.23/178.37	c nbDecision=119000 #constraints=11535
179.13/179.27	c nbDecision=119500 #constraints=11544
179.93/180.09	c nbDecision=120000 #constraints=11564
181.43/181.52	c nbDecision=120500 #constraints=11602
182.43/182.54	c nbDecision=121000 #constraints=11624
183.63/183.77	c nbDecision=121500 #constraints=11668
184.63/184.72	c nbDecision=122000 #constraints=11692
185.62/185.71	c nbDecision=122500 #constraints=11701
186.62/186.76	c nbDecision=123000 #constraints=11726
187.82/187.93	c nbDecision=123500 #constraints=11765
188.83/188.97	c nbDecision=124000 #constraints=11801
190.03/190.17	c nbDecision=124500 #constraints=11817
191.63/191.71	c nbDecision=125000 #constraints=11901
193.33/193.49	c nbDecision=125500 #constraints=11985
195.83/195.91	c nbDecision=126000 #constraints=12111
196.93/197.06	c nbDecision=126500 #constraints=12147
197.83/197.98	c nbDecision=127000 #constraints=12159
198.73/198.88	c nbDecision=127500 #constraints=12183
199.63/199.74	c nbDecision=128000 #constraints=12199
200.83/200.94	c nbDecision=128500 #constraints=12232
201.82/201.97	c nbDecision=129000 #constraints=12250
202.72/202.81	c nbDecision=129500 #constraints=12258
203.92/204.03	c nbDecision=130000 #constraints=12285
205.12/205.25	c nbDecision=130500 #constraints=12329
207.90/208.09	c nbDecision=131000 #constraints=12499
210.39/210.55	c nbDecision=131500 #constraints=12596
211.59/211.78	c nbDecision=132000 #constraints=12631
213.88/214.08	c nbDecision=132500 #constraints=12722
214.88/215.08	c nbDecision=133000 #constraints=12738
215.77/215.97	c nbDecision=133500 #constraints=12753
217.17/217.35	c nbDecision=134000 #constraints=12785
218.47/218.65	c nbDecision=134500 #constraints=12806
219.47/219.61	c nbDecision=135000 #constraints=12822
220.77/220.95	c nbDecision=135500 #constraints=12860
221.85/222.07	c nbDecision=136000 #constraints=12881
223.35/223.56	c nbDecision=136500 #constraints=12917
224.65/224.88	c nbDecision=137000 #constraints=12957
225.85/226.02	c nbDecision=137500 #constraints=12982
228.84/229.01	c nbDecision=138000 #constraints=13119
229.75/229.99	c nbDecision=138500 #constraints=13131
231.13/231.34	c nbDecision=139000 #constraints=13154
232.73/232.92	c nbDecision=139500 #constraints=13185
234.63/234.81	c nbDecision=140000 #constraints=13243
236.03/236.27	c nbDecision=140500 #constraints=13259
239.32/239.51	c nbDecision=141000 #constraints=13416
240.12/240.39	c nbDecision=141500 #constraints=13562
241.61/241.88	c nbDecision=142000 #constraints=13637
243.21/243.41	c nbDecision=142500 #constraints=13655
245.12/245.37	c nbDecision=143000 #constraints=13693
246.41/246.62	c nbDecision=143500 #constraints=13707
247.91/248.15	c nbDecision=144000 #constraints=13726
249.31/249.52	c nbDecision=144500 #constraints=13750
250.70/250.93	c nbDecision=145000 #constraints=13771
251.90/252.15	c nbDecision=145500 #constraints=13794
253.00/253.23	c nbDecision=146000 #constraints=13816
254.90/255.14	c nbDecision=146500 #constraints=13852
256.20/256.46	c nbDecision=147000 #constraints=13882
258.90/259.13	c nbDecision=147500 #constraints=14000
260.71/260.93	c nbDecision=148000 #constraints=14024
262.00/262.23	c nbDecision=148500 #constraints=14051
263.10/263.36	c nbDecision=149000 #constraints=14057
264.20/264.40	c nbDecision=149500 #constraints=14066
265.20/265.49	c nbDecision=150000 #constraints=14079
266.20/266.48	c nbDecision=150500 #constraints=14081
267.30/267.53	c nbDecision=151000 #constraints=14097
268.60/268.81	c nbDecision=151500 #constraints=14110
270.30/270.52	c nbDecision=152000 #constraints=14144
272.20/272.40	c nbDecision=152500 #constraints=14177
273.50/273.73	c nbDecision=153000 #constraints=14195
274.80/275.06	c nbDecision=153500 #constraints=14212
276.00/276.29	c nbDecision=154000 #constraints=14230
277.20/277.48	c nbDecision=154500 #constraints=14245
279.20/279.48	c nbDecision=155000 #constraints=14281
281.40/281.68	c nbDecision=155500 #constraints=14325
283.19/283.40	c nbDecision=156000 #constraints=14363
284.39/284.69	c nbDecision=156500 #constraints=14396
286.09/286.34	c nbDecision=157000 #constraints=14435
287.69/287.95	c nbDecision=157500 #constraints=14471
289.29/289.59	c nbDecision=158000 #constraints=14515
290.79/291.07	c nbDecision=158500 #constraints=14552
292.39/292.62	c nbDecision=159000 #constraints=14595
293.78/294.08	c nbDecision=159500 #constraints=14636
294.98/295.26	c nbDecision=160000 #constraints=14667
296.38/296.66	c nbDecision=160500 #constraints=14696
299.28/299.57	c nbDecision=161000 #constraints=14792
302.29/302.53	c nbDecision=161500 #constraints=14877
303.49/303.73	c nbDecision=162000 #constraints=14906
304.99/305.23	c nbDecision=162500 #constraints=14930
306.59/306.81	c nbDecision=163000 #constraints=14970
311.58/311.83	c nbDecision=163500 #constraints=15067
313.18/313.41	c nbDecision=164000 #constraints=15082
315.18/315.40	c nbDecision=164500 #constraints=15187
317.78/318.06	c nbDecision=165000 #constraints=15296
321.18/321.41	c nbDecision=165500 #constraints=15452
322.47/322.72	c nbDecision=166000 #constraints=15473
325.39/325.63	c nbDecision=166500 #constraints=15526
326.98/327.22	c nbDecision=167000 #constraints=15551
328.48/328.72	c nbDecision=167500 #constraints=15608
329.88/330.10	c nbDecision=168000 #constraints=15634
332.87/333.15	c nbDecision=168500 #constraints=15740
334.08/334.36	c nbDecision=169000 #constraints=15756
336.47/336.79	c nbDecision=169500 #constraints=15792
338.07/338.39	c nbDecision=170000 #constraints=15807
339.27/339.51	c nbDecision=170500 #constraints=15823
342.07/342.36	c nbDecision=171000 #constraints=15874
343.27/343.54	c nbDecision=171500 #constraints=15900
345.87/346.16	c nbDecision=172000 #constraints=15935
348.27/348.56	c nbDecision=172500 #constraints=15966
349.27/349.58	c nbDecision=173000 #constraints=15969
350.76/351.01	c nbDecision=173500 #constraints=15990
353.77/354.04	c nbDecision=174000 #constraints=16037
355.17/355.44	c nbDecision=174500 #constraints=16070
357.67/357.97	c nbDecision=175000 #constraints=16109
358.77/359.05	c nbDecision=175500 #constraints=16114
361.47/361.73	c nbDecision=176000 #constraints=16156
362.57/362.81	c nbDecision=176500 #constraints=16163
363.67/363.92	c nbDecision=177000 #constraints=16169
366.07/366.37	c nbDecision=177500 #constraints=16209
367.76/368.08	c nbDecision=178000 #constraints=16234
369.76/370.10	c nbDecision=178500 #constraints=16276
371.86/372.19	c nbDecision=179000 #constraints=16327
374.06/374.37	c nbDecision=179500 #constraints=16371
375.36/375.69	c nbDecision=180000 #constraints=16381
377.16/377.41	c nbDecision=180500 #constraints=16416
378.56/378.86	c nbDecision=181000 #constraints=16433
379.56/379.89	c nbDecision=181500 #constraints=16436
382.16/382.48	c nbDecision=182000 #constraints=16478
383.76/384.09	c nbDecision=182500 #constraints=16503
386.75/387.05	c nbDecision=183000 #constraints=16558
388.65/388.95	c nbDecision=183500 #constraints=16604
390.75/391.07	c nbDecision=184000 #constraints=16655
392.76/393.03	c nbDecision=184500 #constraints=16677
394.46/394.74	c nbDecision=185000 #constraints=16690
395.56/395.89	c nbDecision=185500 #constraints=16705
397.66/397.93	c nbDecision=186000 #constraints=16735
399.76/400.08	c nbDecision=186500 #constraints=16762
403.55/403.85	c nbDecision=187000 #constraints=16834
406.95/407.26	c nbDecision=187500 #constraints=16887
409.25/409.53	c nbDecision=188000 #constraints=16922
411.95/412.21	c nbDecision=188500 #constraints=16959
414.14/414.42	c nbDecision=189000 #constraints=16992
417.65/417.90	c nbDecision=189500 #constraints=17045
420.24/420.59	c nbDecision=190000 #constraints=17083
422.24/422.58	c nbDecision=190500 #constraints=17117
424.14/424.42	c nbDecision=191000 #constraints=17141
427.04/427.36	c nbDecision=191500 #constraints=17184
429.35/429.65	c nbDecision=192000 #constraints=17223
431.54/431.86	c nbDecision=192500 #constraints=17252
433.54/433.89	c nbDecision=193000 #constraints=17279
435.64/435.93	c nbDecision=193500 #constraints=17305
437.84/438.17	c nbDecision=194000 #constraints=17341
440.54/440.82	c nbDecision=194500 #constraints=17379
442.34/442.66	c nbDecision=195000 #constraints=17401
444.44/444.74	c nbDecision=195500 #constraints=17431
446.04/446.39	c nbDecision=196000 #constraints=17452
448.93/449.25	c nbDecision=196500 #constraints=17489
450.63/450.98	c nbDecision=197000 #constraints=17508
452.64/452.99	c nbDecision=197500 #constraints=17549
454.14/454.46	c nbDecision=198000 #constraints=17559
456.64/456.99	c nbDecision=198500 #constraints=17601
458.44/458.71	c nbDecision=199000 #constraints=17617
460.24/460.53	c nbDecision=199500 #constraints=17647
462.33/462.69	c nbDecision=200000 #constraints=17692
464.23/464.53	c nbDecision=200500 #constraints=17731
466.03/466.31	c nbDecision=201000 #constraints=17772
467.43/467.80	c nbDecision=201500 #constraints=17792
469.23/469.55	c nbDecision=202000 #constraints=17833
472.23/472.57	c nbDecision=202500 #constraints=17873
475.62/475.92	c nbDecision=203000 #constraints=17925
477.73/478.05	c nbDecision=203500 #constraints=17963
480.53/480.84	c nbDecision=204000 #constraints=18005
482.53/482.86	c nbDecision=204500 #constraints=18030
484.03/484.33	c restart after 204801 decisions
485.23/485.50	c nbDecision=205000 #constraints=18058
485.83/486.17	c nbDecision=205500 #constraints=18078
487.12/487.44	c nbDecision=206000 #constraints=18090
489.22/489.51	c nbDecision=206500 #constraints=18157
491.92/492.23	c nbDecision=207000 #constraints=18213
495.52/495.85	c nbDecision=207500 #constraints=18284
496.12/496.46	c nbDecision=208000 #constraints=18316
503.81/504.13	c nbDecision=208500 #constraints=18393
519.11/519.42	c nbDecision=209000 #constraints=18588
533.51/533.87	c nbDecision=209500 #constraints=18785
534.00/534.34	c nbDecision=210000 #constraints=18794
535.90/536.26	c nbDecision=210500 #constraints=18814
538.71/539.07	c nbDecision=211000 #constraints=18846
546.80/547.10	c nbDecision=211500 #constraints=18938
549.40/549.72	c nbDecision=212000 #constraints=18967
550.60/550.97	c nbDecision=212500 #constraints=18984
553.60/553.91	c nbDecision=213000 #constraints=19023
555.40/555.70	c nbDecision=213500 #constraints=19042
556.40/556.71	c nbDecision=214000 #constraints=19060
564.70/565.09	c nbDecision=214500 #constraints=19185
571.19/571.50	c nbDecision=215000 #constraints=19302
572.89/573.21	c nbDecision=215500 #constraints=19336
575.09/575.45	c nbDecision=216000 #constraints=19371
580.19/580.59	c nbDecision=216500 #constraints=19452
592.49/592.86	c nbDecision=217000 #constraints=19594
594.59/595.00	c nbDecision=217500 #constraints=19634
601.08/601.45	c nbDecision=218000 #constraints=19711
603.59/603.92	c nbDecision=218500 #constraints=19762
605.58/605.91	c nbDecision=219000 #constraints=19797
607.88/608.24	c nbDecision=219500 #constraints=19846
610.08/610.50	c nbDecision=220000 #constraints=19886
612.38/612.75	c nbDecision=220500 #constraints=19923
614.28/614.69	c nbDecision=221000 #constraints=19952
617.58/617.97	c nbDecision=221500 #constraints=19999
620.98/621.37	c nbDecision=222000 #constraints=20059
622.38/622.76	c nbDecision=222500 #constraints=20089
623.78/624.15	c nbDecision=223000 #constraints=20114
625.58/625.95	c nbDecision=223500 #constraints=20146
628.08/628.40	c nbDecision=224000 #constraints=20171
630.98/631.35	c nbDecision=224500 #constraints=20233
633.28/633.64	c nbDecision=225000 #constraints=20266
636.47/636.84	c nbDecision=225500 #constraints=20306
639.37/639.72	c nbDecision=226000 #constraints=20343
641.77/642.18	c nbDecision=226500 #constraints=20388
645.46/645.84	c nbDecision=227000 #constraints=20431
648.57/648.99	c nbDecision=227500 #constraints=20465
650.46/650.89	c nbDecision=228000 #constraints=20489
652.86/653.20	c nbDecision=228500 #constraints=20528
655.36/655.74	c nbDecision=229000 #constraints=20572
657.56/657.93	c nbDecision=229500 #constraints=20589
660.46/660.88	c nbDecision=230000 #constraints=20624
663.17/663.56	c nbDecision=230500 #constraints=20661
665.66/666.09	c nbDecision=231000 #constraints=20683
668.06/668.44	c nbDecision=231500 #constraints=20710
670.26/670.69	c nbDecision=232000 #constraints=20746
672.26/672.69	c nbDecision=232500 #constraints=20773
674.56/674.97	c nbDecision=233000 #constraints=20801
677.46/677.88	c nbDecision=233500 #constraints=20836
678.76/679.19	c nbDecision=234000 #constraints=20848
682.26/682.63	c nbDecision=234500 #constraints=20898
684.75/685.14	c nbDecision=235000 #constraints=20935
687.55/687.96	c nbDecision=235500 #constraints=20961
690.75/691.13	c nbDecision=236000 #constraints=21001
693.55/693.96	c nbDecision=236500 #constraints=21042
697.25/697.65	c nbDecision=237000 #constraints=21093
699.65/700.04	c nbDecision=237500 #constraints=21125
703.95/704.38	c nbDecision=238000 #constraints=21170
707.05/707.49	c nbDecision=238500 #constraints=21209
709.64/710.07	c nbDecision=239000 #constraints=21248
712.94/713.33	c nbDecision=239500 #constraints=21273
715.85/716.26	c nbDecision=240000 #constraints=21299
717.85/718.30	c nbDecision=240500 #constraints=21315
719.35/719.78	c nbDecision=241000 #constraints=21331
721.54/721.90	c nbDecision=241500 #constraints=21363
724.34/724.76	c nbDecision=242000 #constraints=21388
727.04/727.49	c nbDecision=242500 #constraints=21418
730.14/730.53	c nbDecision=243000 #constraints=21455
732.84/733.26	c nbDecision=243500 #constraints=21472
735.54/735.92	c nbDecision=244000 #constraints=21496
738.53/738.90	c nbDecision=244500 #constraints=21519
740.53/740.95	c nbDecision=245000 #constraints=21535
743.43/743.83	c nbDecision=245500 #constraints=21558
746.33/746.72	c nbDecision=246000 #constraints=21614
749.03/749.44	c nbDecision=246500 #constraints=21655
752.43/752.89	c nbDecision=247000 #constraints=21702
755.53/755.91	c nbDecision=247500 #constraints=21742
758.42/758.80	c nbDecision=248000 #constraints=21769
761.03/761.45	c nbDecision=248500 #constraints=21798
764.03/764.40	c nbDecision=249000 #constraints=21832
766.93/767.32	c nbDecision=249500 #constraints=21863
769.43/769.84	c nbDecision=250000 #constraints=21883
772.12/772.56	c nbDecision=250500 #constraints=21920
774.72/775.19	c nbDecision=251000 #constraints=21953
777.42/777.83	c nbDecision=251500 #constraints=21977
779.82/780.23	c nbDecision=252000 #constraints=22004
781.82/782.29	c nbDecision=252500 #constraints=22024
784.02/784.46	c nbDecision=253000 #constraints=22045
786.32/786.73	c nbDecision=253500 #constraints=22071
788.81/789.22	c nbDecision=254000 #constraints=22105
794.11/794.58	c nbDecision=254500 #constraints=22158
796.71/797.17	c nbDecision=255000 #constraints=22191
800.21/800.66	c nbDecision=255500 #constraints=22236
802.51/803.00	c nbDecision=256000 #constraints=22263
804.71/805.11	c nbDecision=256500 #constraints=22293
807.81/808.27	c nbDecision=257000 #constraints=22326
810.41/810.86	c nbDecision=257500 #constraints=22350
812.81/813.20	c nbDecision=258000 #constraints=22376
814.71/815.10	c nbDecision=258500 #constraints=22382
820.11/820.54	c nbDecision=259000 #constraints=22439
823.41/823.83	c nbDecision=259500 #constraints=22476
825.91/826.34	c nbDecision=260000 #constraints=22490
828.91/829.40	c nbDecision=260500 #constraints=22520
833.31/833.75	c nbDecision=261000 #constraints=22565
835.41/835.85	c nbDecision=261500 #constraints=22583
838.10/838.56	c nbDecision=262000 #constraints=22612
840.30/840.74	c nbDecision=262500 #constraints=22625
843.20/843.62	c nbDecision=263000 #constraints=22668
845.30/845.77	c nbDecision=263500 #constraints=22689
848.10/848.59	c nbDecision=264000 #constraints=22713
850.60/851.03	c nbDecision=264500 #constraints=22735
852.89/853.39	c nbDecision=265000 #constraints=22752
856.99/857.46	c nbDecision=265500 #constraints=22787
860.19/860.66	c nbDecision=266000 #constraints=22816
863.09/863.54	c nbDecision=266500 #constraints=22833
865.79/866.25	c nbDecision=267000 #constraints=22852
868.99/869.47	c nbDecision=267500 #constraints=22882
871.19/871.67	c nbDecision=268000 #constraints=22905
873.49/873.95	c nbDecision=268500 #constraints=22932
875.69/876.17	c nbDecision=269000 #constraints=22944
878.69/879.13	c nbDecision=269500 #constraints=22974
880.79/881.27	c nbDecision=270000 #constraints=23002
883.49/883.98	c nbDecision=270500 #constraints=23022
885.99/886.43	c nbDecision=271000 #constraints=23045
888.39/888.84	c nbDecision=271500 #constraints=23070
890.98/891.46	c nbDecision=272000 #constraints=23092
894.38/894.81	c nbDecision=272500 #constraints=23117
897.18/897.68	c nbDecision=273000 #constraints=23138
899.68/900.18	c nbDecision=273500 #constraints=23155
902.18/902.63	c nbDecision=274000 #constraints=23175
904.98/905.43	c nbDecision=274500 #constraints=23203
907.57/908.07	c nbDecision=275000 #constraints=23226
909.57/910.08	c nbDecision=275500 #constraints=23235
911.68/912.16	c nbDecision=276000 #constraints=23251
914.38/914.80	c nbDecision=276500 #constraints=23275
915.88/916.38	c nbDecision=277000 #constraints=23294
918.68/919.16	c nbDecision=277500 #constraints=23321
920.88/921.35	c nbDecision=278000 #constraints=23338
923.17/923.61	c nbDecision=278500 #constraints=23356
925.47/925.92	c nbDecision=279000 #constraints=23379
927.77/928.25	c nbDecision=279500 #constraints=23404
930.57/931.07	c nbDecision=280000 #constraints=23444
933.17/933.66	c nbDecision=280500 #constraints=23468
934.97/935.44	c nbDecision=281000 #constraints=23483
937.37/937.89	c nbDecision=281500 #constraints=23512
939.97/940.43	c nbDecision=282000 #constraints=23531
942.27/942.77	c nbDecision=282500 #constraints=23581
944.36/944.80	c nbDecision=283000 #constraints=23595
946.86/947.35	c nbDecision=283500 #constraints=23623
948.77/949.29	c nbDecision=284000 #constraints=23652
951.07/951.56	c nbDecision=284500 #constraints=23670
954.86/955.33	c nbDecision=285000 #constraints=23717
957.06/957.51	c nbDecision=285500 #constraints=23743
959.36/959.83	c nbDecision=286000 #constraints=23758
962.06/962.52	c nbDecision=286500 #constraints=23786
964.26/964.77	c nbDecision=287000 #constraints=23800
967.15/967.67	c nbDecision=287500 #constraints=23818
969.76/970.24	c nbDecision=288000 #constraints=23838
971.55/972.03	c nbDecision=288500 #constraints=23861
973.85/974.37	c nbDecision=289000 #constraints=23894
976.35/976.85	c nbDecision=289500 #constraints=23908
978.75/979.24	c nbDecision=290000 #constraints=23922
980.85/981.30	c nbDecision=290500 #constraints=23928
983.66/984.12	c nbDecision=291000 #constraints=23956
985.75/986.22	c nbDecision=291500 #constraints=23969
987.75/988.27	c nbDecision=292000 #constraints=23988
990.35/990.84	c nbDecision=292500 #constraints=24012
992.75/993.24	c nbDecision=293000 #constraints=24031
994.95/995.44	c nbDecision=293500 #constraints=24056
997.54/998.08	c nbDecision=294000 #constraints=24085
1000.24/1000.79	c nbDecision=294500 #constraints=24102
1002.65/1003.14	c nbDecision=295000 #constraints=24111
1005.44/1005.98	c nbDecision=295500 #constraints=24141
1009.84/1010.38	c nbDecision=296000 #constraints=24173
1012.74/1013.27	c nbDecision=296500 #constraints=24200
1014.84/1015.39	c nbDecision=297000 #constraints=24212
1019.94/1020.44	c nbDecision=297500 #constraints=24254
1022.73/1023.23	c nbDecision=298000 #constraints=24269
1027.03/1027.53	c nbDecision=298500 #constraints=24304
1029.84/1030.35	c nbDecision=299000 #constraints=24324
1031.94/1032.45	c nbDecision=299500 #constraints=24336
1034.44/1034.92	c nbDecision=300000 #constraints=24351
1036.94/1037.41	c nbDecision=300500 #constraints=24368
1041.03/1041.55	c nbDecision=301000 #constraints=24410
1044.23/1044.73	c nbDecision=301500 #constraints=24430
1047.43/1047.93	c nbDecision=302000 #constraints=24460
1050.43/1050.96	c nbDecision=302500 #constraints=24492
1053.02/1053.59	c nbDecision=303000 #constraints=24510
1056.12/1056.65	c nbDecision=303500 #constraints=24541
1059.02/1059.51	c nbDecision=304000 #constraints=24556
1062.02/1062.52	c nbDecision=304500 #constraints=24584
1064.43/1064.97	c nbDecision=305000 #constraints=24599
1067.33/1067.80	c nbDecision=305500 #constraints=24622
1070.33/1070.83	c nbDecision=306000 #constraints=24649
1073.22/1073.79	c nbDecision=306500 #constraints=24667
1075.72/1076.27	c nbDecision=307000 #constraints=24677
1078.42/1078.99	c nbDecision=307500 #constraints=24688
1081.22/1081.72	c nbDecision=308000 #constraints=24700
1084.22/1084.75	c nbDecision=308500 #constraints=24718
1089.71/1090.24	c nbDecision=309000 #constraints=24765
1093.01/1093.54	c nbDecision=309500 #constraints=24789
1096.41/1096.92	c nbDecision=310000 #constraints=24822
1099.61/1100.15	c nbDecision=310500 #constraints=24843
1102.61/1103.11	c nbDecision=311000 #constraints=24861
1105.31/1105.83	c nbDecision=311500 #constraints=24874
1109.21/1109.79	c nbDecision=312000 #constraints=24915
1112.61/1113.12	c nbDecision=312500 #constraints=24938
1115.80/1116.38	c nbDecision=313000 #constraints=24961
1118.30/1118.84	c nbDecision=313500 #constraints=24983
1120.60/1121.16	c nbDecision=314000 #constraints=24997
1123.50/1124.06	c nbDecision=314500 #constraints=25016
1126.70/1127.24	c nbDecision=315000 #constraints=25038
1128.90/1129.45	c nbDecision=315500 #constraints=25058
1131.71/1132.22	c nbDecision=316000 #constraints=25073
1134.00/1134.51	c nbDecision=316500 #constraints=25091
1136.60/1137.17	c nbDecision=317000 #constraints=25109
1139.50/1140.04	c nbDecision=317500 #constraints=25128
1141.90/1142.43	c nbDecision=318000 #constraints=25147
1144.80/1145.32	c nbDecision=318500 #constraints=25168
1147.40/1147.99	c nbDecision=319000 #constraints=25184
1150.20/1150.77	c nbDecision=319500 #constraints=25203
1152.99/1153.51	c nbDecision=320000 #constraints=25219
1155.99/1156.56	c nbDecision=320500 #constraints=25244
1158.90/1159.47	c nbDecision=321000 #constraints=25267
1161.79/1162.31	c nbDecision=321500 #constraints=25294
1164.49/1165.07	c nbDecision=322000 #constraints=25323
1166.89/1167.44	c nbDecision=322500 #constraints=25332
1169.59/1170.16	c nbDecision=323000 #constraints=25354
1171.79/1172.34	c nbDecision=323500 #constraints=25364
1173.48/1174.05	c nbDecision=324000 #constraints=25370
1176.68/1177.29	c nbDecision=324500 #constraints=25397
1179.08/1179.64	c nbDecision=325000 #constraints=25407
1181.68/1182.20	c nbDecision=325500 #constraints=25423
1184.48/1185.06	c nbDecision=326000 #constraints=25443
1186.98/1187.55	c nbDecision=326500 #constraints=25453
1189.78/1190.39	c nbDecision=327000 #constraints=25468
1192.78/1193.38	c nbDecision=327500 #constraints=25497
1195.37/1195.99	c nbDecision=328000 #constraints=25522
1198.67/1199.26	c nbDecision=328500 #constraints=25541
1201.68/1202.25	c nbDecision=329000 #constraints=25563
1204.27/1204.86	c nbDecision=329500 #constraints=25576
1205.87/1206.40	c nbDecision=330000 #constraints=25581
1208.68/1209.25	c nbDecision=330500 #constraints=25616
1211.28/1211.88	c nbDecision=331000 #constraints=25625
1214.98/1215.56	c nbDecision=331500 #constraints=25651
1217.97/1218.57	c nbDecision=332000 #constraints=25670
1221.87/1222.41	c nbDecision=332500 #constraints=25706
1224.37/1224.95	c nbDecision=333000 #constraints=25726
1227.47/1228.03	c nbDecision=333500 #constraints=25749
1230.27/1230.85	c nbDecision=334000 #constraints=25769
1233.26/1233.83	c nbDecision=334500 #constraints=25785
1235.96/1236.59	c nbDecision=335000 #constraints=25807
1238.66/1239.21	c nbDecision=335500 #constraints=25825
1242.06/1242.61	c nbDecision=336000 #constraints=25850
1244.56/1245.14	c nbDecision=336500 #constraints=25865
1247.16/1247.73	c nbDecision=337000 #constraints=25878
1250.46/1251.05	c nbDecision=337500 #constraints=25908
1253.16/1253.71	c nbDecision=338000 #constraints=25922
1257.26/1257.80	c nbDecision=338500 #constraints=25949
1260.66/1261.26	c nbDecision=339000 #constraints=25982
1263.26/1263.84	c nbDecision=339500 #constraints=25992
1266.26/1266.81	c nbDecision=340000 #constraints=26009
1269.16/1269.76	c nbDecision=340500 #constraints=26037
1272.36/1272.99	c nbDecision=341000 #constraints=26062
1275.46/1276.03	c nbDecision=341500 #constraints=26084
1278.25/1278.83	c nbDecision=342000 #constraints=26099
1280.65/1281.27	c nbDecision=342500 #constraints=26108
1283.25/1283.82	c nbDecision=343000 #constraints=26120
1285.95/1286.58	c nbDecision=343500 #constraints=26134
1289.65/1290.21	c nbDecision=344000 #constraints=26164
1292.34/1292.90	c nbDecision=344500 #constraints=26175
1295.34/1295.92	c nbDecision=345000 #constraints=26195
1298.24/1298.84	c nbDecision=345500 #constraints=26216
1301.54/1302.19	c nbDecision=346000 #constraints=26246
1303.84/1304.40	c nbDecision=346500 #constraints=26256
1306.14/1306.73	c nbDecision=347000 #constraints=26274
1308.54/1309.17	c nbDecision=347500 #constraints=26289
1311.44/1312.02	c nbDecision=348000 #constraints=26301
1314.54/1315.13	c nbDecision=348500 #constraints=26323
1317.44/1318.04	c nbDecision=349000 #constraints=26336
1320.24/1320.87	c nbDecision=349500 #constraints=26346
1323.64/1324.24	c nbDecision=350000 #constraints=26370
1327.04/1327.70	c nbDecision=350500 #constraints=26391
1330.73/1331.36	c nbDecision=351000 #constraints=26416
1335.93/1336.52	c nbDecision=351500 #constraints=26463
1340.03/1340.70	c nbDecision=352000 #constraints=26489
1343.32/1343.92	c nbDecision=352500 #constraints=26508
1347.13/1347.75	c nbDecision=353000 #constraints=26536
1350.63/1351.26	c nbDecision=353500 #constraints=26569
1353.93/1354.54	c nbDecision=354000 #constraints=26590
1356.83/1357.42	c nbDecision=354500 #constraints=26606
1359.52/1360.14	c nbDecision=355000 #constraints=26622
1362.12/1362.77	c nbDecision=355500 #constraints=26630
1365.72/1366.37	c nbDecision=356000 #constraints=26654
1368.42/1369.08	c nbDecision=356500 #constraints=26665
1371.21/1371.82	c nbDecision=357000 #constraints=26694
1374.11/1374.70	c nbDecision=357500 #constraints=26714
1377.22/1377.86	c nbDecision=358000 #constraints=26745
1381.32/1381.96	c nbDecision=358500 #constraints=26786
1384.52/1385.10	c nbDecision=359000 #constraints=26813
1387.11/1387.74	c nbDecision=359500 #constraints=26832
1389.71/1390.32	c nbDecision=360000 #constraints=26843
1392.71/1393.31	c nbDecision=360500 #constraints=26859
1396.01/1396.63	c nbDecision=361000 #constraints=26877
1399.31/1399.99	c nbDecision=361500 #constraints=26893
1402.61/1403.21	c nbDecision=362000 #constraints=26918
1411.60/1412.26	c nbDecision=362500 #constraints=26993
1416.10/1416.79	c nbDecision=363000 #constraints=27021
1418.00/1418.62	c nbDecision=363500 #constraints=27031
1419.80/1420.40	c nbDecision=364000 #constraints=27037
1423.39/1424.09	c nbDecision=364500 #constraints=27061
1433.30/1433.90	c nbDecision=365000 #constraints=27144
1436.60/1437.20	c nbDecision=365500 #constraints=27163
1440.00/1440.69	c nbDecision=366000 #constraints=27187
1443.79/1444.44	c nbDecision=366500 #constraints=27216
1448.39/1449.03	c nbDecision=367000 #constraints=27253
1452.19/1452.85	c nbDecision=367500 #constraints=27271
1456.59/1457.27	c nbDecision=368000 #constraints=27294
1460.19/1460.85	c nbDecision=368500 #constraints=27314
1463.78/1464.42	c nbDecision=369000 #constraints=27331
1466.58/1467.25	c nbDecision=369500 #constraints=27354
1469.18/1469.89	c nbDecision=370000 #constraints=27370
1471.98/1472.67	c nbDecision=370500 #constraints=27382
1476.18/1476.82	c nbDecision=371000 #constraints=27412
1479.38/1480.08	c nbDecision=371500 #constraints=27433
1481.78/1482.49	c nbDecision=372000 #constraints=27466
1484.97/1485.66	c nbDecision=372500 #constraints=27486
1487.68/1488.35	c nbDecision=373000 #constraints=27497
1491.18/1491.80	c nbDecision=373500 #constraints=27530
1494.48/1495.17	c nbDecision=374000 #constraints=27555
1497.48/1498.19	c nbDecision=374500 #constraints=27575
1500.38/1501.04	c nbDecision=375000 #constraints=27590
1503.08/1503.72	c nbDecision=375500 #constraints=27603
1505.87/1506.54	c nbDecision=376000 #constraints=27617
1508.97/1509.61	c nbDecision=376500 #constraints=27633
1511.07/1511.71	c nbDecision=377000 #constraints=27650
1513.37/1514.10	c nbDecision=377500 #constraints=27678
1516.87/1517.54	c nbDecision=378000 #constraints=27697
1519.47/1520.19	c nbDecision=378500 #constraints=27709
1522.37/1523.04	c nbDecision=379000 #constraints=27722
1524.97/1525.69	c nbDecision=379500 #constraints=27735
1527.36/1528.10	c nbDecision=380000 #constraints=27742
1530.16/1530.80	c nbDecision=380500 #constraints=27750
1532.96/1533.66	c nbDecision=381000 #constraints=27763
1535.46/1536.12	c nbDecision=381500 #constraints=27771
1540.25/1540.97	c nbDecision=382000 #constraints=27806
1543.95/1544.69	c nbDecision=382500 #constraints=27832
1547.66/1548.31	c nbDecision=383000 #constraints=27863
1551.96/1552.64	c nbDecision=383500 #constraints=27892
1554.55/1555.25	c nbDecision=384000 #constraints=27909
1558.45/1559.11	c nbDecision=384500 #constraints=27942
1562.46/1563.12	c nbDecision=385000 #constraints=27965
1566.45/1567.10	c nbDecision=385500 #constraints=27986
1569.55/1570.25	c nbDecision=386000 #constraints=28007
1572.15/1572.85	c nbDecision=386500 #constraints=28015
1578.74/1579.49	c nbDecision=387000 #constraints=28100
1581.74/1582.40	c nbDecision=387500 #constraints=28124
1584.84/1585.53	c nbDecision=388000 #constraints=28149
1588.64/1589.30	c nbDecision=388500 #constraints=28188
1591.84/1592.51	c nbDecision=389000 #constraints=28202
1594.93/1595.67	c nbDecision=389500 #constraints=28225
1598.24/1598.93	c nbDecision=390000 #constraints=28243
1601.24/1601.98	c nbDecision=390500 #constraints=28262
1604.44/1605.17	c nbDecision=391000 #constraints=28284
1607.44/1608.10	c nbDecision=391500 #constraints=28302
1609.93/1610.69	c nbDecision=392000 #constraints=28318
1614.04/1614.76	c nbDecision=392500 #constraints=28350
1615.83/1616.53	c nbDecision=393000 #constraints=28355
1619.03/1619.72	c nbDecision=393500 #constraints=28376
1621.53/1622.29	c nbDecision=394000 #constraints=28388
1624.03/1624.79	c nbDecision=394500 #constraints=28403
1627.23/1627.94	c nbDecision=395000 #constraints=28441
1629.82/1630.59	c nbDecision=395500 #constraints=28451
1633.52/1634.25	c nbDecision=396000 #constraints=28472
1636.72/1637.40	c nbDecision=396500 #constraints=28493
1639.32/1640.04	c nbDecision=397000 #constraints=28506
1641.72/1642.41	c nbDecision=397500 #constraints=28510
1644.62/1645.37	c nbDecision=398000 #constraints=28536
1647.61/1648.39	c nbDecision=398500 #constraints=28556
1650.51/1651.25	c nbDecision=399000 #constraints=28579
1653.11/1653.84	c nbDecision=399500 #constraints=28594
1655.82/1656.58	c nbDecision=400000 #constraints=28606
1659.22/1659.95	c nbDecision=400500 #constraints=28628
1661.72/1662.44	c nbDecision=401000 #constraints=28635
1664.21/1664.91	c nbDecision=401500 #constraints=28642
1666.71/1667.40	c nbDecision=402000 #constraints=28648
1670.11/1670.81	c nbDecision=402500 #constraints=28669
1673.21/1673.90	c nbDecision=403000 #constraints=28687
1676.51/1677.20	c nbDecision=403500 #constraints=28709
1679.30/1680.07	c nbDecision=404000 #constraints=28728
1682.21/1682.94	c nbDecision=404500 #constraints=28753
1685.00/1685.71	c nbDecision=405000 #constraints=28782
1687.71/1688.43	c nbDecision=405500 #constraints=28793
1691.11/1691.89	c nbDecision=406000 #constraints=28819
1694.31/1695.08	c nbDecision=406500 #constraints=28841
1697.51/1698.30	c nbDecision=407000 #constraints=28862
1700.50/1701.27	c nbDecision=407500 #constraints=28880
1703.00/1703.79	c nbDecision=408000 #constraints=28897
1706.10/1706.86	c nbDecision=408500 #constraints=28923
1708.30/1709.03	c nbDecision=409000 #constraints=28930
1710.70/1711.50	c nbDecision=409500 #constraints=28939
1711.90/1712.69	c restart after 409601 decisions
1714.69/1715.43	c nbDecision=410000 #constraints=28949
1716.19/1716.94	c nbDecision=410500 #constraints=28968
1731.29/1732.04	c nbDecision=411000 #constraints=29065
1759.18/1759.98	c nbDecision=411500 #constraints=29229
1800.07/1800.80	Received signal 15

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/node3/watcher-357327-1176994654 -o ROOT/results/node3/solver-357327-1176994654 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357327-1176994654/instance-357327-1176994654.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: 1.00 1.00 0.98 3/77 15043
/proc/meminfo: memFree=1662560/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=1468 CPUtime=0
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 175503127 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 367 162 128 317 0 46 0

[startup+0.0123291 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 15043
/proc/meminfo: memFree=1662560/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=1600 CPUtime=0.01
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 202 0 0 0 1 0 0 0 18 0 1 0 175503127 1638400 184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 400 184 131 317 0 79 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1600

[startup+0.101343 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 15043
/proc/meminfo: memFree=1662560/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=2928 CPUtime=0.09
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 550 0 0 0 9 0 0 0 18 0 1 0 175503127 2998272 532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 732 532 131 317 0 411 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2928

[startup+0.301375 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 15043
/proc/meminfo: memFree=1662560/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=6516 CPUtime=0.29
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 1435 0 0 0 29 0 0 0 19 0 1 0 175503127 6672384 1417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 1629 1417 131 317 0 1308 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6516

[startup+0.701441 s]
/proc/loadavg: 1.00 1.00 0.98 3/77 15043
/proc/meminfo: memFree=1662560/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=13456 CPUtime=0.69
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 3195 0 0 0 68 1 0 0 23 0 1 0 175503127 13778944 3177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 3364 3177 138 317 0 3043 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13456

[startup+1.50257 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15044
/proc/meminfo: memFree=1650328/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=13640 CPUtime=1.49
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 3207 0 0 0 148 1 0 0 25 0 1 0 175503127 13967360 3189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 3410 3189 139 317 0 3089 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13640

[startup+3.10183 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15044
/proc/meminfo: memFree=1650072/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=14036 CPUtime=3.09
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 3315 0 0 0 308 1 0 0 25 0 1 0 175503127 14372864 3297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 3509 3297 139 317 0 3188 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14036

[startup+6.30135 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15044
/proc/meminfo: memFree=1648728/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=15224 CPUtime=6.28
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 3640 0 0 0 627 1 0 0 25 0 1 0 175503127 15589376 3622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 3806 3622 170 317 0 3485 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15224

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15044
/proc/meminfo: memFree=1645720/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=18060 CPUtime=12.69
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 4359 0 0 0 1267 2 0 0 25 0 1 0 175503127 18493440 4341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 4515 4341 170 317 0 4194 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18060

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15044
/proc/meminfo: memFree=1637272/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=26680 CPUtime=25.49
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 6437 0 0 0 2545 4 0 0 25 0 1 0 175503127 27320320 6419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 6670 6419 170 317 0 6349 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26680

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15044
/proc/meminfo: memFree=1624600/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=39876 CPUtime=51.08
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 9661 0 0 0 5101 7 0 0 25 0 1 0 175503127 40833024 9643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715809 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 9969 9643 170 317 0 9648 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39876

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15044
/proc/meminfo: memFree=1609752/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=54792 CPUtime=102.26
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 13364 0 0 0 10216 10 0 0 25 0 1 0 175503127 56107008 13288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 13698 13288 170 317 0 13377 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 54792

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15044
/proc/meminfo: memFree=1597976/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=66948 CPUtime=162.24
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 16317 0 0 0 16210 14 0 0 25 0 1 0 175503127 68554752 16241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 16737 16241 170 317 0 16416 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 66948

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/84 15152
/proc/meminfo: memFree=1585256/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=79408 CPUtime=222.15
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 19133 0 0 0 22199 16 0 0 25 0 1 0 175503127 81313792 19057 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 19852 19057 170 317 0 19531 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 79408

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15242
/proc/meminfo: memFree=1578264/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=87056 CPUtime=282.09
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 21164 0 0 0 28191 18 0 0 25 0 1 0 175503127 89145344 21088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 21764 21088 170 317 0 21443 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 87056

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15242
/proc/meminfo: memFree=1567448/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=98188 CPUtime=342.07
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 23844 0 0 0 34187 20 0 0 25 0 1 0 175503127 100544512 23768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 24547 23768 170 317 0 24226 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 98188

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15242
/proc/meminfo: memFree=1559832/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=107540 CPUtime=402.05
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 25891 0 0 0 40183 22 0 0 25 0 1 0 175503127 110120960 25701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 26885 25701 170 317 0 26564 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 107540

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15242
/proc/meminfo: memFree=1553304/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=114396 CPUtime=462.03
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 27500 0 0 0 46179 24 0 0 25 0 1 0 175503127 117141504 27310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 28599 27310 170 317 0 28278 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 114396

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15242
/proc/meminfo: memFree=1547288/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=120752 CPUtime=522.01
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 29041 0 0 0 52175 26 0 0 25 0 1 0 175503127 123650048 28851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 30188 28851 170 317 0 29867 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 120752

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15242
/proc/meminfo: memFree=1540824/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=127040 CPUtime=581.99
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 30624 0 0 0 58172 27 0 0 25 0 1 0 175503127 130088960 30434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 31760 30434 170 317 0 31439 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 127040

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 15242
/proc/meminfo: memFree=1532888/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=135236 CPUtime=641.97
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 32601 0 0 0 64168 29 0 0 25 0 1 0 175503127 138481664 32411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 33809 32411 170 317 0 33488 0
Current children cumulated CPU time (s) 641.97
Current children cumulated vsize (KiB) 135236


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

/proc/meminfo: memFree=1482584/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=188316 CPUtime=1061.82
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 45262 0 0 0 106142 40 0 0 25 0 1 0 175503127 192835584 45072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 47079 45072 170 317 0 46758 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 188316

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 15242
/proc/meminfo: memFree=1476824/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=193872 CPUtime=1121.8
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 46681 0 0 0 112139 41 0 0 25 0 1 0 175503127 198524928 46491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 48468 46491 170 317 0 48147 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 193872

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15242
/proc/meminfo: memFree=1470872/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=199940 CPUtime=1181.78
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 48139 0 0 0 118136 42 0 0 25 0 1 0 175503127 204738560 47949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 49985 47949 170 317 0 49664 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 199940

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15242
/proc/meminfo: memFree=1465240/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=205820 CPUtime=1241.76
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 49562 0 0 0 124133 43 0 0 25 0 1 0 175503127 210759680 49372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 51455 49372 170 317 0 51134 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 205820

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15242
/proc/meminfo: memFree=1459544/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=211516 CPUtime=1301.74
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 50944 0 0 0 130130 44 0 0 25 0 1 0 175503127 216592384 50754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 52879 50754 170 317 0 52558 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 211516

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15242
/proc/meminfo: memFree=1454488/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=216964 CPUtime=1361.72
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 52216 0 0 0 136126 46 0 0 25 0 1 0 175503127 222171136 52026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 54241 52026 170 317 0 53920 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 216964

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15242
/proc/meminfo: memFree=1447128/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=228340 CPUtime=1421.7
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 54028 0 0 0 142123 47 0 0 25 0 1 0 175503127 233820160 53838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 57085 53838 170 317 0 56764 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 228340

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15242
/proc/meminfo: memFree=1441560/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=233392 CPUtime=1481.68
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 55458 0 0 0 148120 48 0 0 25 0 1 0 175503127 238993408 55268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606716 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 58348 55268 170 317 0 58027 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 233392

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15242
/proc/meminfo: memFree=1436760/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=238668 CPUtime=1541.65
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 56718 0 0 0 154116 49 0 0 25 0 1 0 175503127 244396032 56462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 59667 56462 170 317 0 59346 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 238668

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15242
/proc/meminfo: memFree=1430808/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=244664 CPUtime=1601.64
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 58228 0 0 0 160113 51 0 0 25 0 1 0 175503127 250535936 57939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 61166 57939 170 317 0 60845 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 244664

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15242
/proc/meminfo: memFree=1426328/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=248940 CPUtime=1661.62
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 59349 0 0 0 166110 52 0 0 25 0 1 0 175503127 254914560 59060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 62235 59060 170 317 0 61914 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 248940

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15242
/proc/meminfo: memFree=1421656/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=253592 CPUtime=1721.59
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 60521 0 0 0 172106 53 0 0 25 0 1 0 175503127 259678208 60232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 63398 60232 170 317 0 63077 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 253592

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15242
/proc/meminfo: memFree=1418968/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=256224 CPUtime=1781.57
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 61173 0 0 0 178103 54 0 0 25 0 1 0 175503127 262373376 60884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 64056 60884 170 317 0 63735 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 256224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15242
/proc/meminfo: memFree=1418136/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=256752 CPUtime=1800.07
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 61366 0 0 0 179952 55 0 0 25 0 1 0 175503127 262914048 61077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 64188 61077 170 317 0 63867 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 256752

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 15242
/proc/meminfo: memFree=1418136/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=256752 CPUtime=1800.67
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 61370 0 0 0 180012 55 0 0 25 0 1 0 175503127 262914048 61081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 64188 61081 170 317 0 63867 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (KiB) 256752

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 15243
/proc/meminfo: memFree=1418128/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=256884 CPUtime=1801.47
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 61376 0 0 0 180092 55 0 0 25 0 1 0 175503127 263049216 61087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 64221 61087 170 317 0 63900 0
Current children cumulated CPU time (s) 1801.47
Current children cumulated vsize (KiB) 256884

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 15243
/proc/meminfo: memFree=1418128/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=256884 CPUtime=1801.87
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 61380 0 0 0 180132 55 0 0 25 0 1 0 175503127 263049216 61091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 64221 61091 170 317 0 63900 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 256884

[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 15243
/proc/meminfo: memFree=1418064/2055920 swapFree=4140688/4192956
[pid=15043] ppid=15041 vsize=256884 CPUtime=1802.07
/proc/15043/stat : 15043 (oree) R 15041 15043 14612 0 -1 4194304 61381 0 0 0 180152 55 0 0 25 0 1 0 175503127 263049216 61092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/15043/statm: 64221 61092 170 317 0 63900 0
Current children cumulated CPU time (s) 1802.07
Current children cumulated vsize (KiB) 256884

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.85
CPU time (s): 1802.12
CPU user time (s): 1801.53
CPU system time (s): 0.59191
CPU usage (%): 99.9597
Max. virtual memory (cumulated for all children) (KiB): 256884

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

runsolver used 2.16467 second user time and 4.39333 second system time

The end

Launcher Data (download as text)

Begin job on node3 on Thu Apr 19 14:57:34 UTC 2007

IDJOB= 357327
IDBENCH= 2414
IDSOLVER= 172
FILE ID= node3/357327-1176994654

PBS_JOBID= 4630443

Free space on /tmp= 66356 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow15.opb
COMMAND LINE= oree /tmp/evaluation/357327-1176994654/instance-357327-1176994654.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-357327-1176994654 -o ROOT/results/node3/solver-357327-1176994654 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357327-1176994654/instance-357327-1176994654.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  b4d90975042873aa16a95872bfad2ca2

RANDOM SEED= 381459376

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node3.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.270
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.270
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:       1662968 kB
Buffers:         36892 kB
Cached:         288816 kB
SwapCached:      15176 kB
Active:          47936 kB
Inactive:       301964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1662968 kB
SwapTotal:     4192956 kB
SwapFree:      4140688 kB
Dirty:            3040 kB
Writeback:           0 kB
Mapped:          31252 kB
Slab:            28552 kB
Committed_AS:  5299924 kB
PageTables:       1784 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= 66356 MiB

End job on node3 on Thu Apr 19 15:27:37 UTC 2007