Trace number 356979

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.35 1800.96

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-modszk1.opb
MD5SUM867ebc446ef1d12fd0b7d8d0b9e71a77
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark161
Best CPU time to get the best result obtained on this benchmark1801.99
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 161
Optimality of the best value was proved NO
Number of variables48602
Total number of constraints686
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 constraints686
Minimum length of a constraint30
Maximum length of a constraint600
Number of terms in the objective function 29700
Biggest coefficient in the objective function 7111
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 549494
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 549494
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.29/0.36	c ...done
0.29/0.36	c #vars=48602 #constraints=1373 hasObjective=yes
0.49/0.58	c res. mode=mod
0.49/0.58	c VSIDS like heuristics
0.49/0.58	c complete search running
0.79/0.83	c restart after 401 decisions
0.79/0.89	c nbDecision=500 #constraints=1373
0.99/1.07	c restart after 801 decisions
1.09/1.20	c nbDecision=1000 #constraints=1373
1.49/1.50	c nbDecision=1500 #constraints=1373
1.49/1.56	c restart after 1601 decisions
1.79/1.81	c nbDecision=2000 #constraints=1373
2.09/2.16	c nbDecision=2500 #constraints=1373
2.89/2.94	c nbDecision=3000 #constraints=1575
3.09/3.17	c restart after 3201 decisions
3.29/3.38	c nbDecision=3500 #constraints=1604
3.58/3.70	c nbDecision=4000 #constraints=1604
4.28/4.33	c nbDecision=4500 #constraints=1696
4.88/4.91	c nbDecision=5000 #constraints=1783
5.49/5.59	c nbDecision=5500 #constraints=1908
5.99/6.08	c nbDecision=6000 #constraints=1945
6.49/6.56	c restart after 6401 decisions
6.59/6.65	c nbDecision=6500 #constraints=2016
6.89/6.97	c nbDecision=7000 #constraints=2016
7.39/7.47	c nbDecision=7500 #constraints=2050
8.18/8.26	c nbDecision=8000 #constraints=2198
8.80/8.86	c nbDecision=8500 #constraints=2262
9.29/9.38	c nbDecision=9000 #constraints=2300
9.99/10.01	c nbDecision=9500 #constraints=2378
10.59/10.69	c nbDecision=10000 #constraints=2473
11.38/11.42	c nbDecision=10500 #constraints=2594
11.99/12.08	c nbDecision=11000 #constraints=2678
12.78/12.80	c nbDecision=11500 #constraints=2788
13.38/13.46	c nbDecision=12000 #constraints=2869
14.09/14.14	c nbDecision=12500 #constraints=2962
14.39/14.49	c restart after 12801 decisions
14.69/14.71	c nbDecision=13000 #constraints=2991
14.99/15.04	c nbDecision=13500 #constraints=2991
15.69/15.71	c nbDecision=14000 #constraints=3074
16.49/16.59	c nbDecision=14500 #constraints=3204
17.29/17.31	c nbDecision=15000 #constraints=3291
17.98/18.08	c nbDecision=15500 #constraints=3389
18.79/18.81	c nbDecision=16000 #constraints=3473
19.49/19.52	c nbDecision=16500 #constraints=3539
20.19/20.24	c nbDecision=17000 #constraints=3600
21.09/21.16	c nbDecision=17500 #constraints=3714
21.99/22.00	c nbDecision=18000 #constraints=3810
22.68/22.70	c nbDecision=18500 #constraints=3868
23.38/23.45	c nbDecision=19000 #constraints=3936
23.98/24.01	c nbDecision=19500 #constraints=3951
24.88/24.96	c nbDecision=20000 #constraints=4068
25.89/25.92	c nbDecision=20500 #constraints=4176
26.69/26.70	c nbDecision=21000 #constraints=4231
27.39/27.47	c nbDecision=21500 #constraints=4310
28.18/28.20	c nbDecision=22000 #constraints=4357
28.98/29.02	c nbDecision=22500 #constraints=4449
29.79/29.81	c nbDecision=23000 #constraints=4527
30.38/30.46	c nbDecision=23500 #constraints=4569
31.18/31.26	c nbDecision=24000 #constraints=4655
31.88/31.98	c nbDecision=24500 #constraints=4712
32.58/32.69	c nbDecision=25000 #constraints=4768
33.48/33.54	c nbDecision=25500 #constraints=4845
33.58/33.66	c restart after 25601 decisions
34.18/34.23	c nbDecision=26000 #constraints=4853
34.68/34.74	c nbDecision=26500 #constraints=4853
35.88/35.90	c nbDecision=27000 #constraints=4935
36.87/36.97	c nbDecision=27500 #constraints=5026
37.68/37.71	c nbDecision=28000 #constraints=5064
38.78/38.89	c nbDecision=28500 #constraints=5204
39.88/39.94	c nbDecision=29000 #constraints=5277
41.08/41.16	c nbDecision=29500 #constraints=5365
42.27/42.35	c nbDecision=30000 #constraints=5461
43.47/43.57	c nbDecision=30500 #constraints=5557
44.67/44.72	c nbDecision=31000 #constraints=5643
45.48/45.58	c nbDecision=31500 #constraints=5700
46.68/46.70	c nbDecision=32000 #constraints=5767
47.58/47.63	c nbDecision=32500 #constraints=5811
48.38/48.49	c nbDecision=33000 #constraints=5846
49.18/49.26	c nbDecision=33500 #constraints=5874
49.78/49.87	c nbDecision=34000 #constraints=5888
50.68/50.76	c nbDecision=34500 #constraints=5941
51.88/51.93	c nbDecision=35000 #constraints=6035
52.88/52.95	c nbDecision=35500 #constraints=6112
53.57/53.63	c nbDecision=36000 #constraints=6129
54.57/54.67	c nbDecision=36500 #constraints=6213
55.37/55.41	c nbDecision=37000 #constraints=6243
56.37/56.45	c nbDecision=37500 #constraints=6322
57.27/57.37	c nbDecision=38000 #constraints=6368
58.17/58.21	c nbDecision=38500 #constraints=6412
58.97/59.08	c nbDecision=39000 #constraints=6459
59.88/59.99	c nbDecision=39500 #constraints=6508
60.88/60.91	c nbDecision=40000 #constraints=6560
61.78/61.86	c nbDecision=40500 #constraints=6611
62.47/62.53	c nbDecision=41000 #constraints=6632
63.27/63.30	c nbDecision=41500 #constraints=6665
63.97/64.03	c nbDecision=42000 #constraints=6683
64.67/64.71	c nbDecision=42500 #constraints=6696
65.47/65.51	c nbDecision=43000 #constraints=6734
66.07/66.15	c nbDecision=43500 #constraints=6746
66.77/66.85	c nbDecision=44000 #constraints=6774
67.47/67.55	c nbDecision=44500 #constraints=6794
68.17/68.26	c nbDecision=45000 #constraints=6817
68.97/69.02	c nbDecision=45500 #constraints=6861
69.77/69.86	c nbDecision=46000 #constraints=6901
70.57/70.65	c nbDecision=46500 #constraints=6938
71.27/71.31	c nbDecision=47000 #constraints=6949
71.87/71.96	c nbDecision=47500 #constraints=6964
72.47/72.52	c nbDecision=48000 #constraints=6967
73.27/73.36	c nbDecision=48500 #constraints=7009
74.07/74.13	c nbDecision=49000 #constraints=7048
74.87/74.93	c nbDecision=49500 #constraints=7089
75.47/75.55	c nbDecision=50000 #constraints=7101
76.27/76.34	c nbDecision=50500 #constraints=7133
76.87/76.96	c nbDecision=51000 #constraints=7146
77.17/77.23	c restart after 51201 decisions
78.07/78.11	c nbDecision=51500 #constraints=7150
78.57/78.65	c nbDecision=52000 #constraints=7150
79.87/79.93	c nbDecision=52500 #constraints=7225
81.77/81.85	c nbDecision=53000 #constraints=7331
83.57/83.70	c nbDecision=53500 #constraints=7450
85.57/85.65	c nbDecision=54000 #constraints=7545
87.16/87.23	c nbDecision=54500 #constraints=7591
88.66/88.78	c nbDecision=55000 #constraints=7658
89.86/89.91	c nbDecision=55500 #constraints=7698
91.27/91.34	c nbDecision=56000 #constraints=7764
92.66/92.74	c nbDecision=56500 #constraints=7847
94.16/94.26	c nbDecision=57000 #constraints=7914
95.57/95.66	c nbDecision=57500 #constraints=7976
96.67/96.76	c nbDecision=58000 #constraints=8042
97.87/97.94	c nbDecision=58500 #constraints=8098
99.07/99.15	c nbDecision=59000 #constraints=8156
100.76/100.80	c nbDecision=59500 #constraints=8218
102.26/102.34	c nbDecision=60000 #constraints=8288
103.06/103.12	c nbDecision=60500 #constraints=8326
104.56/104.65	c nbDecision=61000 #constraints=8392
105.66/105.71	c nbDecision=61500 #constraints=8433
107.06/107.13	c nbDecision=62000 #constraints=8498
108.76/108.81	c nbDecision=62500 #constraints=8565
109.96/110.05	c nbDecision=63000 #constraints=8626
111.06/111.14	c nbDecision=63500 #constraints=8669
112.26/112.38	c nbDecision=64000 #constraints=8716
113.06/113.18	c nbDecision=64500 #constraints=8747
114.26/114.34	c nbDecision=65000 #constraints=8798
115.06/115.10	c nbDecision=65500 #constraints=8846
116.75/116.82	c nbDecision=66000 #constraints=8908
117.46/117.56	c nbDecision=66500 #constraints=8927
118.46/118.50	c nbDecision=67000 #constraints=8943
119.76/119.84	c nbDecision=67500 #constraints=9001
120.66/120.73	c nbDecision=68000 #constraints=9018
121.46/121.51	c nbDecision=68500 #constraints=9034
122.56/122.65	c nbDecision=69000 #constraints=9075
123.26/123.31	c nbDecision=69500 #constraints=9083
123.86/123.94	c nbDecision=70000 #constraints=9097
124.56/124.61	c nbDecision=70500 #constraints=9114
125.76/125.89	c nbDecision=71000 #constraints=9164
126.46/126.55	c nbDecision=71500 #constraints=9191
127.15/127.21	c nbDecision=72000 #constraints=9216
128.25/128.36	c nbDecision=72500 #constraints=9267
129.25/129.34	c nbDecision=73000 #constraints=9298
131.25/131.34	c nbDecision=73500 #constraints=9399
133.06/133.10	c nbDecision=74000 #constraints=9497
134.26/134.34	c nbDecision=74500 #constraints=9550
135.65/135.72	c nbDecision=75000 #constraints=9613
136.85/136.93	c nbDecision=75500 #constraints=9658
137.75/137.88	c nbDecision=76000 #constraints=9689
138.55/138.68	c nbDecision=76500 #constraints=9712
139.05/139.19	c nbDecision=77000 #constraints=9725
140.16/140.25	c nbDecision=77500 #constraints=9762
141.56/141.65	c nbDecision=78000 #constraints=9793
142.76/142.86	c nbDecision=78500 #constraints=9836
144.25/144.32	c nbDecision=79000 #constraints=9875
145.45/145.50	c nbDecision=79500 #constraints=9915
146.45/146.55	c nbDecision=80000 #constraints=9938
147.65/147.73	c nbDecision=80500 #constraints=9973
148.65/148.74	c nbDecision=81000 #constraints=10001
149.85/149.97	c nbDecision=81500 #constraints=10045
151.05/151.11	c nbDecision=82000 #constraints=10079
152.04/152.15	c nbDecision=82500 #constraints=10103
153.04/153.18	c nbDecision=83000 #constraints=10135
153.85/153.98	c nbDecision=83500 #constraints=10138
154.75/154.86	c nbDecision=84000 #constraints=10155
155.75/155.85	c nbDecision=84500 #constraints=10169
156.75/156.86	c nbDecision=85000 #constraints=10203
158.15/158.22	c nbDecision=85500 #constraints=10258
159.05/159.17	c nbDecision=86000 #constraints=10271
159.75/159.83	c nbDecision=86500 #constraints=10274
160.35/160.48	c nbDecision=87000 #constraints=10277
162.24/162.36	c nbDecision=87500 #constraints=10420
164.25/164.37	c nbDecision=88000 #constraints=10531
165.55/165.62	c nbDecision=88500 #constraints=10573
167.74/167.82	c nbDecision=89000 #constraints=10639
169.35/169.48	c nbDecision=89500 #constraints=10705
170.74/170.89	c nbDecision=90000 #constraints=10754
173.75/173.81	c nbDecision=90500 #constraints=10876
175.44/175.58	c nbDecision=91000 #constraints=10969
176.54/176.69	c nbDecision=91500 #constraints=11008
178.44/178.58	c nbDecision=92000 #constraints=11105
180.64/180.76	c nbDecision=92500 #constraints=11198
182.04/182.17	c nbDecision=93000 #constraints=11227
183.64/183.78	c nbDecision=93500 #constraints=11287
184.84/184.97	c nbDecision=94000 #constraints=11321
186.95/187.01	c nbDecision=94500 #constraints=11401
189.34/189.41	c nbDecision=95000 #constraints=11493
190.34/190.49	c nbDecision=95500 #constraints=11520
192.54/192.69	c nbDecision=96000 #constraints=11612
195.14/195.29	c nbDecision=96500 #constraints=11723
198.53/198.63	c nbDecision=97000 #constraints=11866
199.94/200.07	c nbDecision=97500 #constraints=11907
202.54/202.65	c nbDecision=98000 #constraints=12014
205.04/205.17	c nbDecision=98500 #constraints=12120
207.04/207.15	c nbDecision=99000 #constraints=12170
208.63/208.73	c nbDecision=99500 #constraints=12221
211.13/211.21	c nbDecision=100000 #constraints=12319
213.04/213.14	c nbDecision=100500 #constraints=12391
215.83/215.92	c nbDecision=101000 #constraints=12492
218.23/218.35	c nbDecision=101500 #constraints=12595
220.13/220.20	c nbDecision=102000 #constraints=12656
220.93/221.09	c restart after 102401 decisions
222.23/222.38	c nbDecision=102500 #constraints=12680
222.93/223.06	c nbDecision=103000 #constraints=12680
224.23/224.34	c nbDecision=103500 #constraints=12681
225.83/225.97	c nbDecision=104000 #constraints=12744
228.13/228.21	c nbDecision=104500 #constraints=12827
230.02/230.16	c nbDecision=105000 #constraints=12881
231.82/231.90	c nbDecision=105500 #constraints=12938
233.32/233.41	c nbDecision=106000 #constraints=12990
234.34/234.41	c nbDecision=106500 #constraints=13004
235.83/235.92	c nbDecision=107000 #constraints=13051
237.03/237.15	c nbDecision=107500 #constraints=13086
239.33/239.46	c nbDecision=108000 #constraints=13163
240.53/240.68	c nbDecision=108500 #constraints=13200
242.92/243.09	c nbDecision=109000 #constraints=13282
245.92/246.05	c nbDecision=109500 #constraints=13377
247.62/247.75	c nbDecision=110000 #constraints=13407
249.52/249.63	c nbDecision=110500 #constraints=13449
251.52/251.64	c nbDecision=111000 #constraints=13512
252.62/252.76	c nbDecision=111500 #constraints=13538
253.62/253.72	c nbDecision=112000 #constraints=13553
254.52/254.65	c nbDecision=112500 #constraints=13564
255.92/256.07	c nbDecision=113000 #constraints=13593
257.02/257.16	c nbDecision=113500 #constraints=13616
258.92/259.02	c nbDecision=114000 #constraints=13674
259.82/259.94	c nbDecision=114500 #constraints=13690
260.72/260.82	c nbDecision=115000 #constraints=13703
261.42/261.52	c nbDecision=115500 #constraints=13706
262.52/262.63	c nbDecision=116000 #constraints=13730
264.62/264.78	c nbDecision=116500 #constraints=13816
267.11/267.28	c nbDecision=117000 #constraints=13908
268.82/268.96	c nbDecision=117500 #constraints=13964
270.72/270.89	c nbDecision=118000 #constraints=14034
273.32/273.41	c nbDecision=118500 #constraints=14122
275.12/275.20	c nbDecision=119000 #constraints=14189
276.81/276.93	c nbDecision=119500 #constraints=14256
278.32/278.46	c nbDecision=120000 #constraints=14308
279.72/279.87	c nbDecision=120500 #constraints=14349
280.82/280.97	c nbDecision=121000 #constraints=14382
283.51/283.65	c nbDecision=121500 #constraints=14478
285.41/285.55	c nbDecision=122000 #constraints=14529
286.41/286.56	c nbDecision=122500 #constraints=14553
287.81/287.90	c nbDecision=123000 #constraints=14590
289.11/289.20	c nbDecision=123500 #constraints=14634
290.81/290.90	c nbDecision=124000 #constraints=14683
291.81/291.99	c nbDecision=124500 #constraints=14709
293.02/293.10	c nbDecision=125000 #constraints=14729
293.92/294.04	c nbDecision=125500 #constraints=14743
295.51/295.61	c nbDecision=126000 #constraints=14786
296.92/297.04	c nbDecision=126500 #constraints=14828
298.51/298.66	c nbDecision=127000 #constraints=14885
299.41/299.57	c nbDecision=127500 #constraints=14899
300.91/301.04	c nbDecision=128000 #constraints=14946
302.11/302.23	c nbDecision=128500 #constraints=14976
303.01/303.16	c nbDecision=129000 #constraints=14993
305.10/305.22	c nbDecision=129500 #constraints=15061
305.81/305.91	c nbDecision=130000 #constraints=15070
306.40/306.58	c nbDecision=130500 #constraints=15082
308.51/308.63	c nbDecision=131000 #constraints=15172
309.71/309.80	c nbDecision=131500 #constraints=15213
311.41/311.56	c nbDecision=132000 #constraints=15264
313.30/313.46	c nbDecision=132500 #constraints=15326
314.70/314.81	c nbDecision=133000 #constraints=15385
315.71/315.81	c nbDecision=133500 #constraints=15414
316.40/316.57	c nbDecision=134000 #constraints=15429
317.91/318.04	c nbDecision=134500 #constraints=15485
319.01/319.19	c nbDecision=135000 #constraints=15522
320.80/320.90	c nbDecision=135500 #constraints=15580
322.10/322.21	c nbDecision=136000 #constraints=15614
322.70/322.86	c nbDecision=136500 #constraints=15623
324.70/324.80	c nbDecision=137000 #constraints=15696
325.90/326.00	c nbDecision=137500 #constraints=15728
327.01/327.12	c nbDecision=138000 #constraints=15764
328.40/328.56	c nbDecision=138500 #constraints=15813
329.60/329.74	c nbDecision=139000 #constraints=15856
330.70/330.83	c nbDecision=139500 #constraints=15893
331.30/331.48	c nbDecision=140000 #constraints=15898
332.70/332.88	c nbDecision=140500 #constraints=15941
334.20/334.33	c nbDecision=141000 #constraints=15984
335.50/335.65	c nbDecision=141500 #constraints=16024
336.50/336.64	c nbDecision=142000 #constraints=16046
337.70/337.85	c nbDecision=142500 #constraints=16077
339.30/339.43	c nbDecision=143000 #constraints=16119
340.00/340.18	c nbDecision=143500 #constraints=16127
343.30/343.40	c nbDecision=144000 #constraints=16242
344.50/344.63	c nbDecision=144500 #constraints=16278
347.00/347.14	c nbDecision=145000 #constraints=16383
348.50/348.70	c nbDecision=145500 #constraints=16427
349.70/349.81	c nbDecision=146000 #constraints=16467
350.80/350.90	c nbDecision=146500 #constraints=16494
352.20/352.33	c nbDecision=147000 #constraints=16536
354.60/354.72	c nbDecision=147500 #constraints=16605
355.40/355.55	c nbDecision=148000 #constraints=16626
357.00/357.15	c nbDecision=148500 #constraints=16655
358.40/358.57	c nbDecision=149000 #constraints=16691
359.40/359.56	c nbDecision=149500 #constraints=16705
360.60/360.75	c nbDecision=150000 #constraints=16733
361.40/361.59	c nbDecision=150500 #constraints=16741
362.79/362.96	c nbDecision=151000 #constraints=16774
363.89/364.01	c nbDecision=151500 #constraints=16794
364.89/365.05	c nbDecision=152000 #constraints=16812
365.89/366.06	c nbDecision=152500 #constraints=16831
367.19/367.32	c nbDecision=153000 #constraints=16873
367.89/368.01	c nbDecision=153500 #constraints=16876
369.09/369.20	c nbDecision=154000 #constraints=16903
369.99/370.13	c nbDecision=154500 #constraints=16916
371.49/371.64	c nbDecision=155000 #constraints=16957
372.79/372.99	c nbDecision=155500 #constraints=17006
374.29/374.47	c nbDecision=156000 #constraints=17058
375.58/375.74	c nbDecision=156500 #constraints=17101
376.69/376.81	c nbDecision=157000 #constraints=17120
377.89/378.06	c nbDecision=157500 #constraints=17162
379.09/379.21	c nbDecision=158000 #constraints=17199
379.99/380.14	c nbDecision=158500 #constraints=17220
381.79/381.95	c nbDecision=159000 #constraints=17275
382.69/382.82	c nbDecision=159500 #constraints=17288
383.99/384.19	c nbDecision=160000 #constraints=17326
385.79/385.94	c nbDecision=160500 #constraints=17380
387.09/387.29	c nbDecision=161000 #constraints=17417
388.29/388.43	c nbDecision=161500 #constraints=17443
389.48/389.66	c nbDecision=162000 #constraints=17472
390.98/391.14	c nbDecision=162500 #constraints=17513
392.88/393.08	c nbDecision=163000 #constraints=17577
393.98/394.12	c nbDecision=163500 #constraints=17603
396.18/396.31	c nbDecision=164000 #constraints=17680
397.78/397.92	c nbDecision=164500 #constraints=17731
398.98/399.17	c nbDecision=165000 #constraints=17765
400.28/400.46	c nbDecision=165500 #constraints=17793
401.28/401.42	c nbDecision=166000 #constraints=17806
402.58/402.78	c nbDecision=166500 #constraints=17844
403.68/403.89	c nbDecision=167000 #constraints=17867
404.98/405.15	c nbDecision=167500 #constraints=17892
405.98/406.11	c nbDecision=168000 #constraints=17909
407.07/407.29	c nbDecision=168500 #constraints=17937
408.38/408.57	c nbDecision=169000 #constraints=17957
409.88/410.05	c nbDecision=169500 #constraints=17994
411.48/411.66	c nbDecision=170000 #constraints=18054
412.88/413.02	c nbDecision=170500 #constraints=18106
414.08/414.22	c nbDecision=171000 #constraints=18143
415.07/415.29	c nbDecision=171500 #constraints=18171
415.87/416.02	c nbDecision=172000 #constraints=18178
416.88/417.02	c nbDecision=172500 #constraints=18202
418.17/418.37	c nbDecision=173000 #constraints=18236
419.37/419.52	c nbDecision=173500 #constraints=18264
420.37/420.55	c nbDecision=174000 #constraints=18286
421.47/421.67	c nbDecision=174500 #constraints=18312
422.77/422.91	c nbDecision=175000 #constraints=18347
423.77/423.99	c nbDecision=175500 #constraints=18373
425.38/425.57	c nbDecision=176000 #constraints=18431
426.87/427.01	c nbDecision=176500 #constraints=18467
427.86/428.05	c nbDecision=177000 #constraints=18498
429.36/429.55	c nbDecision=177500 #constraints=18544
430.26/430.46	c nbDecision=178000 #constraints=18560
432.04/432.21	c nbDecision=178500 #constraints=18618
432.84/433.01	c nbDecision=179000 #constraints=18625
433.84/434.05	c nbDecision=179500 #constraints=18646
434.64/434.87	c nbDecision=180000 #constraints=18658
435.63/435.80	c nbDecision=180500 #constraints=18681
436.64/436.86	c nbDecision=181000 #constraints=18701
437.64/437.81	c nbDecision=181500 #constraints=18720
438.74/438.95	c nbDecision=182000 #constraints=18751
439.53/439.73	c nbDecision=182500 #constraints=18758
440.23/440.41	c nbDecision=183000 #constraints=18762
440.83/441.09	c nbDecision=183500 #constraints=18765
441.92/442.12	c nbDecision=184000 #constraints=18783
443.12/443.32	c nbDecision=184500 #constraints=18805
444.11/444.34	c nbDecision=185000 #constraints=18826
445.11/445.32	c nbDecision=185500 #constraints=18847
446.00/446.29	c nbDecision=186000 #constraints=18858
447.01/447.24	c nbDecision=186500 #constraints=18877
447.81/448.03	c nbDecision=187000 #constraints=18887
448.51/448.71	c nbDecision=187500 #constraints=18890
449.41/449.64	c nbDecision=188000 #constraints=18905
450.51/450.75	c nbDecision=188500 #constraints=18928
451.90/452.15	c nbDecision=189000 #constraints=18966
452.89/453.20	c nbDecision=189500 #constraints=18985
453.99/454.22	c nbDecision=190000 #constraints=19001
454.88/455.11	c nbDecision=190500 #constraints=19013
455.88/456.20	c nbDecision=191000 #constraints=19035
457.28/457.57	c nbDecision=191500 #constraints=19081
458.67/458.94	c nbDecision=192000 #constraints=19118
460.18/460.48	c nbDecision=192500 #constraints=19163
461.18/461.49	c nbDecision=193000 #constraints=19187
462.28/462.53	c nbDecision=193500 #constraints=19212
463.18/463.48	c nbDecision=194000 #constraints=19230
463.88/464.18	c nbDecision=194500 #constraints=19231
465.48/465.79	c nbDecision=195000 #constraints=19264
466.67/466.99	c nbDecision=195500 #constraints=19292
467.67/467.95	c nbDecision=196000 #constraints=19307
468.77/469.03	c nbDecision=196500 #constraints=19328
470.07/470.36	c nbDecision=197000 #constraints=19357
471.67/471.95	c nbDecision=197500 #constraints=19398
472.87/473.14	c nbDecision=198000 #constraints=19429
474.37/474.63	c nbDecision=198500 #constraints=19463
475.57/475.86	c nbDecision=199000 #constraints=19488
476.37/476.64	c nbDecision=199500 #constraints=19491
477.27/477.51	c nbDecision=200000 #constraints=19495
478.17/478.43	c nbDecision=200500 #constraints=19505
479.97/480.23	c nbDecision=201000 #constraints=19550
481.26/481.55	c nbDecision=201500 #constraints=19574
482.25/482.55	c nbDecision=202000 #constraints=19586
483.25/483.55	c nbDecision=202500 #constraints=19598
484.15/484.48	c nbDecision=203000 #constraints=19608
485.25/485.58	c nbDecision=203500 #constraints=19624
486.25/486.50	c nbDecision=204000 #constraints=19634
487.16/487.47	c nbDecision=204500 #constraints=19642
488.05/488.30	c restart after 204801 decisions
490.55/490.83	c nbDecision=205000 #constraints=19668
491.45/491.80	c nbDecision=205500 #constraints=19668
496.15/496.41	c nbDecision=206000 #constraints=19716
498.75/499.05	c nbDecision=206500 #constraints=19745
500.15/500.44	c nbDecision=207000 #constraints=19758
503.75/504.07	c nbDecision=207500 #constraints=19802
505.45/505.78	c nbDecision=208000 #constraints=19818
508.54/508.83	c nbDecision=208500 #constraints=19852
513.45/513.72	c nbDecision=209000 #constraints=19912
518.95/519.25	c nbDecision=209500 #constraints=19989
520.85/521.11	c nbDecision=210000 #constraints=20008
523.14/523.46	c nbDecision=210500 #constraints=20029
525.44/525.76	c nbDecision=211000 #constraints=20054
528.24/528.57	c nbDecision=211500 #constraints=20083
532.04/532.37	c nbDecision=212000 #constraints=20127
534.94/535.24	c nbDecision=212500 #constraints=20160
537.34/537.69	c nbDecision=213000 #constraints=20188
539.74/540.08	c nbDecision=213500 #constraints=20213
543.44/543.79	c nbDecision=214000 #constraints=20269
547.33/547.63	c nbDecision=214500 #constraints=20322
549.53/549.88	c nbDecision=215000 #constraints=20340
551.94/552.28	c nbDecision=215500 #constraints=20372
553.64/553.97	c nbDecision=216000 #constraints=20383
555.74/556.06	c nbDecision=216500 #constraints=20401
557.54/557.88	c nbDecision=217000 #constraints=20414
558.54/558.87	c nbDecision=217500 #constraints=20416
560.84/561.17	c nbDecision=218000 #constraints=20440
564.33/564.62	c nbDecision=218500 #constraints=20479
566.83/567.16	c nbDecision=219000 #constraints=20503
569.83/570.15	c nbDecision=219500 #constraints=20538
571.93/572.25	c nbDecision=220000 #constraints=20565
574.32/574.65	c nbDecision=220500 #constraints=20593
576.53/576.88	c nbDecision=221000 #constraints=20615
579.83/580.17	c nbDecision=221500 #constraints=20651
582.03/582.38	c nbDecision=222000 #constraints=20671
584.63/584.94	c nbDecision=222500 #constraints=20698
589.12/589.43	c nbDecision=223000 #constraints=20750
591.13/591.46	c nbDecision=223500 #constraints=20773
596.52/596.89	c nbDecision=224000 #constraints=20840
602.12/602.42	c nbDecision=224500 #constraints=20913
604.62/604.99	c nbDecision=225000 #constraints=20938
609.92/610.27	c nbDecision=225500 #constraints=21004
616.31/616.65	c nbDecision=226000 #constraints=21091
620.81/621.11	c nbDecision=226500 #constraints=21142
622.51/622.88	c nbDecision=227000 #constraints=21158
627.22/627.57	c nbDecision=227500 #constraints=21226
632.11/632.43	c nbDecision=228000 #constraints=21297
636.31/636.64	c nbDecision=228500 #constraints=21361
641.41/641.74	c nbDecision=229000 #constraints=21452
646.31/646.67	c nbDecision=229500 #constraints=21527
650.51/650.83	c nbDecision=230000 #constraints=21589
655.00/655.33	c nbDecision=230500 #constraints=21662
660.60/660.97	c nbDecision=231000 #constraints=21746
663.71/664.09	c nbDecision=231500 #constraints=21786
667.30/667.65	c nbDecision=232000 #constraints=21838
671.30/671.60	c nbDecision=232500 #constraints=21903
675.10/675.48	c nbDecision=233000 #constraints=21961
677.10/677.42	c nbDecision=233500 #constraints=21977
679.61/679.93	c nbDecision=234000 #constraints=22005
682.20/682.59	c nbDecision=234500 #constraints=22029
684.40/684.73	c nbDecision=235000 #constraints=22048
685.90/686.26	c nbDecision=235500 #constraints=22059
687.70/688.01	c nbDecision=236000 #constraints=22069
689.10/689.44	c nbDecision=236500 #constraints=22076
691.60/691.96	c nbDecision=237000 #constraints=22107
693.80/694.17	c nbDecision=237500 #constraints=22128
694.90/695.21	c nbDecision=238000 #constraints=22130
696.10/696.44	c nbDecision=238500 #constraints=22133
697.30/697.63	c nbDecision=239000 #constraints=22136
698.59/698.99	c nbDecision=239500 #constraints=22142
700.69/701.09	c nbDecision=240000 #constraints=22168
702.39/702.72	c nbDecision=240500 #constraints=22179
703.99/704.37	c nbDecision=241000 #constraints=22193
706.29/706.63	c nbDecision=241500 #constraints=22212
709.09/709.42	c nbDecision=242000 #constraints=22240
710.79/711.11	c nbDecision=242500 #constraints=22254
713.79/714.10	c nbDecision=243000 #constraints=22292
715.09/715.49	c nbDecision=243500 #constraints=22310
717.58/717.90	c nbDecision=244000 #constraints=22351
719.38/719.79	c nbDecision=244500 #constraints=22379
722.29/722.68	c nbDecision=245000 #constraints=22421
724.39/724.74	c nbDecision=245500 #constraints=22444
726.19/726.55	c nbDecision=246000 #constraints=22468
727.59/727.92	c nbDecision=246500 #constraints=22488
728.99/729.31	c nbDecision=247000 #constraints=22508
733.39/733.73	c nbDecision=247500 #constraints=22586
735.78/736.10	c nbDecision=248000 #constraints=22606
737.58/737.99	c nbDecision=248500 #constraints=22621
738.78/739.13	c nbDecision=249000 #constraints=22623
741.08/741.49	c nbDecision=249500 #constraints=22640
743.08/743.44	c nbDecision=250000 #constraints=22655
744.18/744.60	c nbDecision=250500 #constraints=22657
745.48/745.89	c nbDecision=251000 #constraints=22660
747.38/747.75	c nbDecision=251500 #constraints=22672
749.88/750.26	c nbDecision=252000 #constraints=22698
752.27/752.69	c nbDecision=252500 #constraints=22724
754.07/754.41	c nbDecision=253000 #constraints=22734
755.87/756.30	c nbDecision=253500 #constraints=22747
757.77/758.17	c nbDecision=254000 #constraints=22768
759.08/759.47	c nbDecision=254500 #constraints=22772
760.48/760.89	c nbDecision=255000 #constraints=22781
761.98/762.30	c nbDecision=255500 #constraints=22790
763.28/763.63	c nbDecision=256000 #constraints=22794
767.17/767.54	c nbDecision=256500 #constraints=22854
770.37/770.73	c nbDecision=257000 #constraints=22898
773.87/774.24	c nbDecision=257500 #constraints=22953
775.77/776.13	c nbDecision=258000 #constraints=22980
778.27/778.62	c nbDecision=258500 #constraints=23021
781.27/781.69	c nbDecision=259000 #constraints=23058
782.57/782.92	c nbDecision=259500 #constraints=23060
784.37/784.71	c nbDecision=260000 #constraints=23070
787.17/787.53	c nbDecision=260500 #constraints=23098
788.87/789.24	c nbDecision=261000 #constraints=23107
790.17/790.57	c nbDecision=261500 #constraints=23110
792.26/792.62	c nbDecision=262000 #constraints=23124
794.56/795.00	c nbDecision=262500 #constraints=23145
800.96/801.31	c nbDecision=263000 #constraints=23259
806.57/806.93	c nbDecision=263500 #constraints=23354
809.76/810.16	c nbDecision=264000 #constraints=23404
814.66/815.00	c nbDecision=264500 #constraints=23483
817.26/817.68	c nbDecision=265000 #constraints=23521
820.46/820.84	c nbDecision=265500 #constraints=23569
821.66/822.00	c nbDecision=266000 #constraints=23580
824.05/824.46	c nbDecision=266500 #constraints=23615
825.86/826.22	c nbDecision=267000 #constraints=23624
827.55/827.98	c nbDecision=267500 #constraints=23633
829.65/830.05	c nbDecision=268000 #constraints=23646
831.46/831.88	c nbDecision=268500 #constraints=23660
833.56/833.95	c nbDecision=269000 #constraints=23681
836.05/836.46	c nbDecision=269500 #constraints=23705
837.96/838.39	c nbDecision=270000 #constraints=23722
839.15/839.58	c nbDecision=270500 #constraints=23724
840.95/841.40	c nbDecision=271000 #constraints=23738
842.55/842.90	c nbDecision=271500 #constraints=23742
845.15/845.54	c nbDecision=272000 #constraints=23771
847.45/847.88	c nbDecision=272500 #constraints=23793
849.05/849.48	c nbDecision=273000 #constraints=23804
850.85/851.27	c nbDecision=273500 #constraints=23815
853.15/853.53	c nbDecision=274000 #constraints=23836
854.35/854.76	c nbDecision=274500 #constraints=23839
856.55/856.92	c nbDecision=275000 #constraints=23858
858.64/859.02	c nbDecision=275500 #constraints=23874
861.05/861.42	c nbDecision=276000 #constraints=23900
863.15/863.56	c nbDecision=276500 #constraints=23919
864.54/864.94	c nbDecision=277000 #constraints=23923
867.45/867.80	c nbDecision=277500 #constraints=23952
868.85/869.25	c nbDecision=278000 #constraints=23960
870.95/871.38	c nbDecision=278500 #constraints=23983
872.55/872.96	c nbDecision=279000 #constraints=24001
873.75/874.13	c nbDecision=279500 #constraints=24013
874.95/875.33	c nbDecision=280000 #constraints=24023
877.05/877.49	c nbDecision=280500 #constraints=24053
879.25/879.69	c nbDecision=281000 #constraints=24077
881.04/881.48	c nbDecision=281500 #constraints=24085
883.64/884.09	c nbDecision=282000 #constraints=24107
884.94/885.35	c nbDecision=282500 #constraints=24109
886.84/887.22	c nbDecision=283000 #constraints=24120
888.64/889.03	c nbDecision=283500 #constraints=24129
889.94/890.35	c nbDecision=284000 #constraints=24132
891.34/891.71	c nbDecision=284500 #constraints=24135
893.04/893.45	c nbDecision=285000 #constraints=24148
894.24/894.65	c nbDecision=285500 #constraints=24150
895.64/896.01	c nbDecision=286000 #constraints=24153
897.44/897.88	c nbDecision=286500 #constraints=24164
898.83/899.22	c nbDecision=287000 #constraints=24167
900.54/900.95	c nbDecision=287500 #constraints=24180
901.83/902.21	c nbDecision=288000 #constraints=24183
903.03/903.48	c nbDecision=288500 #constraints=24186
904.83/905.24	c nbDecision=289000 #constraints=24195
906.13/906.52	c nbDecision=289500 #constraints=24198
907.43/907.81	c nbDecision=290000 #constraints=24201
909.13/909.54	c nbDecision=290500 #constraints=24222
911.23/911.64	c nbDecision=291000 #constraints=24263
912.93/913.30	c nbDecision=291500 #constraints=24292
914.63/915.05	c nbDecision=292000 #constraints=24321
916.83/917.24	c nbDecision=292500 #constraints=24356
919.24/919.66	c nbDecision=293000 #constraints=24405
922.23/922.68	c nbDecision=293500 #constraints=24435
925.53/925.93	c nbDecision=294000 #constraints=24470
927.93/928.36	c nbDecision=294500 #constraints=24490
932.12/932.50	c nbDecision=295000 #constraints=24536
935.12/935.52	c nbDecision=295500 #constraints=24568
937.93/938.32	c nbDecision=296000 #constraints=24593
939.13/939.59	c nbDecision=296500 #constraints=24596
940.62/941.07	c nbDecision=297000 #constraints=24601
943.42/943.88	c nbDecision=297500 #constraints=24625
947.22/947.65	c nbDecision=298000 #constraints=24663
950.03/950.42	c nbDecision=298500 #constraints=24700
953.62/954.03	c nbDecision=299000 #constraints=24760
958.12/958.55	c nbDecision=299500 #constraints=24817
964.02/964.47	c nbDecision=300000 #constraints=24896
969.11/969.51	c nbDecision=300500 #constraints=24962
975.41/975.89	c nbDecision=301000 #constraints=25047
979.72/980.16	c nbDecision=301500 #constraints=25096
983.42/983.89	c nbDecision=302000 #constraints=25145
988.01/988.43	c nbDecision=302500 #constraints=25202
990.81/991.27	c nbDecision=303000 #constraints=25233
995.01/995.50	c nbDecision=303500 #constraints=25292
997.71/998.10	c nbDecision=304000 #constraints=25316
999.80/1000.23	c nbDecision=304500 #constraints=25334
1001.71/1002.20	c nbDecision=305000 #constraints=25345
1003.40/1003.81	c nbDecision=305500 #constraints=25348
1005.41/1005.84	c nbDecision=306000 #constraints=25361
1008.11/1008.53	c nbDecision=306500 #constraints=25380
1009.91/1010.32	c nbDecision=307000 #constraints=25390
1011.71/1012.11	c nbDecision=307500 #constraints=25402
1013.31/1013.78	c nbDecision=308000 #constraints=25413
1014.80/1015.21	c nbDecision=308500 #constraints=25416
1016.90/1017.31	c nbDecision=309000 #constraints=25429
1018.80/1019.27	c nbDecision=309500 #constraints=25441
1020.50/1020.92	c nbDecision=310000 #constraints=25451
1023.20/1023.63	c nbDecision=310500 #constraints=25483
1024.20/1024.63	c nbDecision=311000 #constraints=25486
1027.10/1027.52	c nbDecision=311500 #constraints=25519
1030.20/1030.62	c nbDecision=312000 #constraints=25557
1032.90/1033.36	c nbDecision=312500 #constraints=25593
1035.30/1035.77	c nbDecision=313000 #constraints=25632
1037.80/1038.25	c nbDecision=313500 #constraints=25651
1041.10/1041.58	c nbDecision=314000 #constraints=25688
1042.60/1043.05	c nbDecision=314500 #constraints=25691
1045.40/1045.82	c nbDecision=315000 #constraints=25713
1047.20/1047.60	c nbDecision=315500 #constraints=25722
1049.19/1049.68	c nbDecision=316000 #constraints=25735
1050.89/1051.37	c nbDecision=316500 #constraints=25747
1052.49/1052.90	c nbDecision=317000 #constraints=25751
1054.50/1054.91	c nbDecision=317500 #constraints=25770
1055.79/1056.26	c nbDecision=318000 #constraints=25773
1059.79/1060.20	c nbDecision=318500 #constraints=25840
1061.69/1062.16	c nbDecision=319000 #constraints=25849
1063.49/1063.95	c nbDecision=319500 #constraints=25861
1064.99/1065.48	c nbDecision=320000 #constraints=25864
1066.39/1066.88	c nbDecision=320500 #constraints=25866
1068.49/1068.99	c nbDecision=321000 #constraints=25877
1070.09/1070.56	c nbDecision=321500 #constraints=25880
1071.68/1072.15	c nbDecision=322000 #constraints=25894
1073.69/1074.20	c nbDecision=322500 #constraints=25912
1075.89/1076.35	c nbDecision=323000 #constraints=25927
1077.89/1078.31	c nbDecision=323500 #constraints=25936
1079.99/1080.45	c nbDecision=324000 #constraints=25949
1083.29/1083.77	c nbDecision=324500 #constraints=25984
1084.89/1085.32	c nbDecision=325000 #constraints=25987
1088.99/1089.45	c nbDecision=325500 #constraints=26031
1090.39/1090.89	c nbDecision=326000 #constraints=26035
1092.48/1092.97	c nbDecision=326500 #constraints=26049
1094.58/1095.07	c nbDecision=327000 #constraints=26065
1095.88/1096.38	c nbDecision=327500 #constraints=26069
1098.08/1098.51	c nbDecision=328000 #constraints=26083
1100.78/1101.25	c nbDecision=328500 #constraints=26108
1103.08/1103.55	c nbDecision=329000 #constraints=26137
1105.18/1105.60	c nbDecision=329500 #constraints=26149
1107.48/1107.93	c nbDecision=330000 #constraints=26162
1110.18/1110.62	c nbDecision=330500 #constraints=26184
1112.37/1112.82	c nbDecision=331000 #constraints=26200
1114.28/1114.71	c nbDecision=331500 #constraints=26208
1115.58/1116.06	c nbDecision=332000 #constraints=26210
1117.78/1118.20	c nbDecision=332500 #constraints=26223
1119.28/1119.76	c nbDecision=333000 #constraints=26231
1120.78/1121.27	c nbDecision=333500 #constraints=26235
1123.48/1123.98	c nbDecision=334000 #constraints=26260
1125.28/1125.78	c nbDecision=334500 #constraints=26270
1126.78/1127.24	c nbDecision=335000 #constraints=26278
1130.27/1130.78	c nbDecision=335500 #constraints=26316
1135.27/1135.70	c nbDecision=336000 #constraints=26374
1138.57/1139.06	c nbDecision=336500 #constraints=26408
1142.27/1142.70	c nbDecision=337000 #constraints=26446
1145.27/1145.72	c nbDecision=337500 #constraints=26477
1149.86/1150.38	c nbDecision=338000 #constraints=26539
1152.67/1153.13	c nbDecision=338500 #constraints=26569
1154.58/1155.04	c nbDecision=339000 #constraints=26583
1159.57/1160.05	c nbDecision=339500 #constraints=26665
1163.37/1163.85	c nbDecision=340000 #constraints=26729
1168.37/1168.89	c nbDecision=340500 #constraints=26800
1170.26/1170.70	c nbDecision=341000 #constraints=26819
1173.66/1174.18	c nbDecision=341500 #constraints=26874
1176.16/1176.70	c nbDecision=342000 #constraints=26907
1177.46/1178.00	c nbDecision=342500 #constraints=26918
1179.16/1179.64	c nbDecision=343000 #constraints=26927
1181.76/1182.27	c nbDecision=343500 #constraints=26950
1183.26/1183.71	c nbDecision=344000 #constraints=26953
1185.06/1185.58	c nbDecision=344500 #constraints=26963
1186.56/1187.03	c nbDecision=345000 #constraints=26966
1188.66/1189.12	c nbDecision=345500 #constraints=26978
1190.06/1190.57	c nbDecision=346000 #constraints=26982
1192.16/1192.69	c nbDecision=346500 #constraints=26995
1193.96/1194.45	c nbDecision=347000 #constraints=27005
1196.46/1196.91	c nbDecision=347500 #constraints=27025
1197.76/1198.29	c nbDecision=348000 #constraints=27028
1199.46/1199.99	c nbDecision=348500 #constraints=27042
1203.66/1204.10	c nbDecision=349000 #constraints=27103
1205.16/1205.66	c nbDecision=349500 #constraints=27120
1206.45/1206.91	c nbDecision=350000 #constraints=27130
1209.66/1210.15	c nbDecision=350500 #constraints=27166
1211.45/1211.92	c nbDecision=351000 #constraints=27182
1213.55/1214.02	c nbDecision=351500 #constraints=27195
1216.55/1217.03	c nbDecision=352000 #constraints=27224
1217.95/1218.41	c nbDecision=352500 #constraints=27227
1219.15/1219.69	c nbDecision=353000 #constraints=27229
1222.35/1222.85	c nbDecision=353500 #constraints=27259
1224.25/1224.76	c nbDecision=354000 #constraints=27269
1225.55/1226.09	c nbDecision=354500 #constraints=27281
1227.45/1227.99	c nbDecision=355000 #constraints=27301
1228.74/1229.20	c nbDecision=355500 #constraints=27312
1230.94/1231.44	c nbDecision=356000 #constraints=27339
1232.75/1233.27	c nbDecision=356500 #constraints=27355
1235.54/1236.08	c nbDecision=357000 #constraints=27388
1237.64/1238.15	c nbDecision=357500 #constraints=27399
1239.54/1240.05	c nbDecision=358000 #constraints=27408
1242.55/1243.07	c nbDecision=358500 #constraints=27437
1244.15/1244.69	c nbDecision=359000 #constraints=27440
1247.05/1247.56	c nbDecision=359500 #constraints=27460
1249.15/1249.61	c nbDecision=360000 #constraints=27472
1250.94/1251.44	c nbDecision=360500 #constraints=27488
1253.04/1253.50	c nbDecision=361000 #constraints=27504
1254.75/1255.25	c nbDecision=361500 #constraints=27518
1257.04/1257.51	c nbDecision=362000 #constraints=27538
1259.64/1260.10	c nbDecision=362500 #constraints=27563
1262.74/1263.28	c nbDecision=363000 #constraints=27605
1264.84/1265.31	c nbDecision=363500 #constraints=27628
1266.34/1266.81	c nbDecision=364000 #constraints=27649
1268.44/1268.93	c nbDecision=364500 #constraints=27671
1270.24/1270.70	c nbDecision=365000 #constraints=27674
1273.74/1274.23	c nbDecision=365500 #constraints=27703
1275.43/1275.91	c nbDecision=366000 #constraints=27706
1276.93/1277.42	c nbDecision=366500 #constraints=27708
1278.63/1279.18	c nbDecision=367000 #constraints=27711
1280.23/1280.79	c nbDecision=367500 #constraints=27714
1282.24/1282.75	c nbDecision=368000 #constraints=27722
1283.83/1284.31	c nbDecision=368500 #constraints=27725
1285.53/1286.01	c nbDecision=369000 #constraints=27728
1287.13/1287.64	c nbDecision=369500 #constraints=27731
1288.73/1289.22	c nbDecision=370000 #constraints=27734
1290.13/1290.69	c nbDecision=370500 #constraints=27737
1291.53/1292.07	c nbDecision=371000 #constraints=27740
1293.23/1293.76	c nbDecision=371500 #constraints=27748
1295.03/1295.54	c nbDecision=372000 #constraints=27761
1296.63/1297.19	c nbDecision=372500 #constraints=27766
1300.23/1300.74	c nbDecision=373000 #constraints=27814
1303.92/1304.46	c nbDecision=373500 #constraints=27845
1306.12/1306.61	c nbDecision=374000 #constraints=27858
1307.62/1308.12	c nbDecision=374500 #constraints=27860
1309.32/1309.84	c nbDecision=375000 #constraints=27863
1310.92/1311.49	c nbDecision=375500 #constraints=27866
1312.82/1313.36	c nbDecision=376000 #constraints=27877
1314.62/1315.11	c nbDecision=376500 #constraints=27883
1316.13/1316.70	c nbDecision=377000 #constraints=27886
1318.03/1318.54	c nbDecision=377500 #constraints=27895
1319.93/1320.46	c nbDecision=378000 #constraints=27905
1321.53/1322.05	c nbDecision=378500 #constraints=27908
1323.32/1323.89	c nbDecision=379000 #constraints=27919
1324.92/1325.47	c nbDecision=379500 #constraints=27923
1326.42/1326.95	c nbDecision=380000 #constraints=27926
1328.02/1328.59	c nbDecision=380500 #constraints=27930
1329.62/1330.13	c nbDecision=381000 #constraints=27935
1331.72/1332.22	c nbDecision=381500 #constraints=27954
1333.42/1333.94	c nbDecision=382000 #constraints=27964
1335.52/1336.03	c nbDecision=382500 #constraints=27979
1337.02/1337.57	c nbDecision=383000 #constraints=27984
1339.62/1340.15	c nbDecision=383500 #constraints=28006
1340.91/1341.43	c nbDecision=384000 #constraints=28009
1342.91/1343.40	c nbDecision=384500 #constraints=28029
1345.41/1345.94	c nbDecision=385000 #constraints=28062
1347.01/1347.51	c nbDecision=385500 #constraints=28071
1348.51/1349.07	c nbDecision=386000 #constraints=28080
1350.21/1350.74	c nbDecision=386500 #constraints=28090
1354.02/1354.54	c nbDecision=387000 #constraints=28133
1355.51/1356.08	c nbDecision=387500 #constraints=28142
1357.71/1358.25	c nbDecision=388000 #constraints=28156
1359.61/1360.10	c nbDecision=388500 #constraints=28171
1362.31/1362.85	c nbDecision=389000 #constraints=28197
1365.71/1366.28	c nbDecision=389500 #constraints=28254
1369.01/1369.51	c nbDecision=390000 #constraints=28304
1372.71/1373.25	c nbDecision=390500 #constraints=28358
1374.61/1375.18	c nbDecision=391000 #constraints=28384
1377.21/1377.77	c nbDecision=391500 #constraints=28431
1379.30/1379.89	c nbDecision=392000 #constraints=28448
1380.80/1381.33	c nbDecision=392500 #constraints=28450
1382.70/1383.20	c nbDecision=393000 #constraints=28457
1384.40/1384.98	c nbDecision=393500 #constraints=28469
1386.10/1386.66	c nbDecision=394000 #constraints=28472
1387.60/1388.14	c nbDecision=394500 #constraints=28475
1389.10/1389.68	c nbDecision=395000 #constraints=28485
1390.60/1391.18	c nbDecision=395500 #constraints=28493
1392.50/1393.06	c nbDecision=396000 #constraints=28507
1394.20/1394.79	c nbDecision=396500 #constraints=28521
1395.69/1396.28	c nbDecision=397000 #constraints=28524
1397.60/1398.14	c nbDecision=397500 #constraints=28534
1400.69/1401.21	c nbDecision=398000 #constraints=28562
1402.19/1402.74	c nbDecision=398500 #constraints=28565
1406.09/1406.63	c nbDecision=399000 #constraints=28606
1409.50/1410.08	c nbDecision=399500 #constraints=28642
1411.20/1411.73	c nbDecision=400000 #constraints=28657
1412.69/1413.22	c nbDecision=400500 #constraints=28674
1415.29/1415.83	c nbDecision=401000 #constraints=28710
1417.09/1417.68	c nbDecision=401500 #constraints=28723
1419.19/1419.76	c nbDecision=402000 #constraints=28743
1422.89/1423.40	c nbDecision=402500 #constraints=28791
1425.89/1426.45	c nbDecision=403000 #constraints=28831
1429.38/1429.98	c nbDecision=403500 #constraints=28876
1431.69/1432.29	c nbDecision=404000 #constraints=28900
1432.59/1433.18	c nbDecision=404500 #constraints=28904
1434.59/1435.10	c nbDecision=405000 #constraints=28926
1436.69/1437.23	c nbDecision=405500 #constraints=28953
1439.18/1439.70	c nbDecision=406000 #constraints=28983
1440.28/1440.86	c nbDecision=406500 #constraints=28991
1442.48/1443.05	c nbDecision=407000 #constraints=29021
1444.28/1444.88	c nbDecision=407500 #constraints=29038
1446.68/1447.20	c nbDecision=408000 #constraints=29063
1449.39/1449.96	c nbDecision=408500 #constraints=29094
1451.28/1451.86	c nbDecision=409000 #constraints=29116
1452.59/1453.19	c nbDecision=409500 #constraints=29122
1453.48/1454.03	c restart after 409601 decisions
1457.78/1458.38	c nbDecision=410000 #constraints=29127
1459.88/1460.47	c nbDecision=410500 #constraints=29127
1469.98/1470.55	c nbDecision=411000 #constraints=29247
1477.98/1478.53	c nbDecision=411500 #constraints=29335
1484.27/1484.88	c nbDecision=412000 #constraints=29405
1489.67/1490.21	c nbDecision=412500 #constraints=29456
1493.37/1493.91	c nbDecision=413000 #constraints=29492
1498.87/1499.44	c nbDecision=413500 #constraints=29556
1503.27/1503.83	c nbDecision=414000 #constraints=29598
1509.46/1510.07	c nbDecision=414500 #constraints=29666
1513.57/1514.16	c nbDecision=415000 #constraints=29710
1517.27/1517.83	c nbDecision=415500 #constraints=29746
1521.76/1522.35	c nbDecision=416000 #constraints=29791
1525.86/1526.40	c nbDecision=416500 #constraints=29831
1531.96/1532.52	c nbDecision=417000 #constraints=29899
1535.36/1535.95	c nbDecision=417500 #constraints=29935
1539.06/1539.69	c nbDecision=418000 #constraints=29977
1541.26/1541.86	c nbDecision=418500 #constraints=29987
1543.56/1544.13	c nbDecision=419000 #constraints=30001
1545.46/1546.07	c nbDecision=419500 #constraints=30016
1547.66/1548.24	c nbDecision=420000 #constraints=30032
1550.26/1550.83	c nbDecision=420500 #constraints=30053
1555.66/1556.21	c nbDecision=421000 #constraints=30113
1559.56/1560.13	c nbDecision=421500 #constraints=30143
1563.45/1564.08	c nbDecision=422000 #constraints=30178
1566.85/1567.48	c nbDecision=422500 #constraints=30209
1570.65/1571.23	c nbDecision=423000 #constraints=30241
1574.34/1574.95	c nbDecision=423500 #constraints=30285
1578.75/1579.33	c nbDecision=424000 #constraints=30321
1585.05/1585.60	c nbDecision=424500 #constraints=30383
1589.34/1589.90	c nbDecision=425000 #constraints=30428
1591.25/1591.83	c nbDecision=425500 #constraints=30437
1595.34/1595.93	c nbDecision=426000 #constraints=30473
1600.94/1601.51	c nbDecision=426500 #constraints=30522
1604.23/1604.84	c nbDecision=427000 #constraints=30548
1608.24/1608.89	c nbDecision=427500 #constraints=30587
1611.44/1612.08	c nbDecision=428000 #constraints=30611
1615.34/1615.99	c nbDecision=428500 #constraints=30647
1619.34/1619.92	c nbDecision=429000 #constraints=30695
1623.43/1624.04	c nbDecision=429500 #constraints=30727
1625.63/1626.25	c nbDecision=430000 #constraints=30741
1627.73/1628.38	c nbDecision=430500 #constraints=30754
1630.43/1631.03	c nbDecision=431000 #constraints=30770
1633.73/1634.33	c nbDecision=431500 #constraints=30808
1637.13/1637.75	c nbDecision=432000 #constraints=30849
1640.13/1640.78	c nbDecision=432500 #constraints=30882
1643.62/1644.22	c nbDecision=433000 #constraints=30907
1648.82/1649.49	c nbDecision=433500 #constraints=30969
1654.12/1654.78	c nbDecision=434000 #constraints=31021
1659.03/1659.63	c nbDecision=434500 #constraints=31079
1664.33/1664.93	c nbDecision=435000 #constraints=31145
1668.82/1669.45	c nbDecision=435500 #constraints=31185
1673.12/1673.75	c nbDecision=436000 #constraints=31221
1676.32/1676.96	c nbDecision=436500 #constraints=31243
1681.11/1681.71	c nbDecision=437000 #constraints=31280
1683.71/1684.30	c nbDecision=437500 #constraints=31295
1688.82/1689.41	c nbDecision=438000 #constraints=31341
1692.32/1692.91	c nbDecision=438500 #constraints=31370
1695.52/1696.16	c nbDecision=439000 #constraints=31394
1698.41/1699.07	c nbDecision=439500 #constraints=31415
1700.81/1701.43	c nbDecision=440000 #constraints=31427
1704.11/1704.80	c nbDecision=440500 #constraints=31457
1707.21/1707.80	c nbDecision=441000 #constraints=31482
1709.51/1710.10	c nbDecision=441500 #constraints=31494
1711.01/1711.67	c nbDecision=442000 #constraints=31497
1712.51/1713.15	c nbDecision=442500 #constraints=31499
1716.70/1717.36	c nbDecision=443000 #constraints=31539
1719.60/1720.25	c nbDecision=443500 #constraints=31568
1722.20/1722.83	c nbDecision=444000 #constraints=31594
1725.30/1725.93	c nbDecision=444500 #constraints=31616
1728.10/1728.72	c nbDecision=445000 #constraints=31639
1729.60/1730.25	c nbDecision=445500 #constraints=31642
1731.80/1732.47	c nbDecision=446000 #constraints=31661
1733.60/1734.29	c nbDecision=446500 #constraints=31669
1735.60/1736.23	c nbDecision=447000 #constraints=31681
1737.90/1738.53	c nbDecision=447500 #constraints=31695
1745.11/1745.79	c nbDecision=448000 #constraints=31761
1750.90/1751.55	c nbDecision=448500 #constraints=31816
1754.70/1755.36	c nbDecision=449000 #constraints=31851
1759.49/1760.19	c nbDecision=449500 #constraints=31895
1764.89/1765.51	c nbDecision=450000 #constraints=31947
1767.69/1768.30	c nbDecision=450500 #constraints=31964
1770.19/1770.84	c nbDecision=451000 #constraints=31982
1772.69/1773.32	c nbDecision=451500 #constraints=31993
1774.80/1775.44	c nbDecision=452000 #constraints=32002
1776.79/1777.48	c nbDecision=452500 #constraints=32015
1780.09/1780.77	c nbDecision=453000 #constraints=32035
1782.50/1783.14	c nbDecision=453500 #constraints=32054
1786.39/1787.07	c nbDecision=454000 #constraints=32083
1788.99/1789.65	c nbDecision=454500 #constraints=32103
1791.29/1791.95	c nbDecision=455000 #constraints=32114
1794.19/1794.83	c nbDecision=455500 #constraints=32136
1795.98/1796.63	c nbDecision=456000 #constraints=32142
1797.58/1798.22	c nbDecision=456500 #constraints=32145
1799.98/1800.60	c nbDecision=457000 #constraints=32160
1800.09/1800.71	Received signal 15
1800.19/1800.87	
1800.19/1800.87	s UNKNOWN
1800.19/1800.87	
1800.19/1800.87	c user time= 1799.47 s
1800.19/1800.87	c system time= 0.796878 s
1800.19/1800.87	c wall clock time=1800.87

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/node41/watcher-356979-1176850433 -o ROOT/results/node41/solver-356979-1176850433 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356979-1176850433/instance-356979-1176850433.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.94 0.99 0.99 3/77 5085
/proc/meminfo: memFree=1742416/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=1620 CPUtime=0
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132955218 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710852 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 405 175 126 317 0 84 0

[startup+0.106508 s]
/proc/loadavg: 0.94 0.99 0.99 3/77 5085
/proc/meminfo: memFree=1742416/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=3548 CPUtime=0.1
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 792 0 0 0 10 0 0 0 18 0 1 0 132955218 3633152 676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 887 677 131 317 0 566 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3548

[startup+0.201518 s]
/proc/loadavg: 0.94 0.99 0.99 3/77 5085
/proc/meminfo: memFree=1742416/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=5928 CPUtime=0.19
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 1362 0 0 0 19 0 0 0 18 0 1 0 132955218 6070272 1246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 1482 1247 131 317 0 1161 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5928

[startup+0.301526 s]
/proc/loadavg: 0.94 0.99 0.99 3/77 5085
/proc/meminfo: memFree=1742416/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=8304 CPUtime=0.29
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 1956 0 0 0 29 0 0 0 19 0 1 0 132955218 8503296 1840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 2076 1840 131 317 0 1755 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8304

[startup+0.701561 s]
/proc/loadavg: 0.94 0.99 0.99 3/77 5085
/proc/meminfo: memFree=1742416/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=15840 CPUtime=0.69
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 3867 0 0 0 68 1 0 0 22 0 1 0 132955218 16220160 3751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 3960 3751 138 317 0 3639 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15840

[startup+1.50163 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 5086
/proc/meminfo: memFree=1727880/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=15840 CPUtime=1.49
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 3867 0 0 0 148 1 0 0 25 0 1 0 132955218 16220160 3751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 3960 3751 138 317 0 3639 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15840

[startup+3.10277 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 5086
/proc/meminfo: memFree=1727688/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=17600 CPUtime=3.09
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 4307 0 0 0 308 1 0 0 25 0 1 0 132955218 18022400 4191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194612 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 4400 4191 139 317 0 4079 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17600

[startup+6.30105 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 5086
/proc/meminfo: memFree=1724040/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=20208 CPUtime=6.29
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 4946 0 0 0 627 2 0 0 25 0 1 0 132955218 20692992 4830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 5052 4830 139 317 0 4731 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20208

[startup+12.7016 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 5086
/proc/meminfo: memFree=1712904/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=32404 CPUtime=12.68
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 7934 0 0 0 1264 4 0 0 25 0 1 0 132955218 33181696 7818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 8101 7818 139 317 0 7780 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32404

[startup+25.5017 s]
/proc/loadavg: 0.96 0.99 0.99 2/78 5086
/proc/meminfo: memFree=1697224/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=46596 CPUtime=25.48
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 11533 0 0 0 2542 6 0 0 25 0 1 0 132955218 47714304 11417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 11649 11417 139 317 0 11328 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 46596

[startup+51.1019 s]
/proc/loadavg: 0.97 0.99 0.99 2/78 5086
/proc/meminfo: memFree=1677384/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=66636 CPUtime=51.08
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 16529 0 0 0 5099 9 0 0 25 0 1 0 132955218 68235264 16377 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 16659 16377 139 317 0 16338 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 66636

[startup+102.301 s]
/proc/loadavg: 1.07 1.01 1.00 2/78 5086
/proc/meminfo: memFree=1650312/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=95132 CPUtime=102.26
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 23196 0 0 0 10213 13 0 0 25 0 1 0 132955218 97415168 23044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 23783 23044 139 317 0 23462 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 95132

[startup+162.302 s]
/proc/loadavg: 1.10 1.02 1.00 2/78 5086
/proc/meminfo: memFree=1627272/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=117632 CPUtime=162.24
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 29012 0 0 0 16207 17 0 0 25 0 1 0 132955218 120455168 28789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 29408 28789 139 317 0 29087 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 117632

[startup+222.306 s]
/proc/loadavg: 1.10 1.03 1.00 2/78 5086
/proc/meminfo: memFree=1592456/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=158264 CPUtime=222.23
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 37708 0 0 0 22201 22 0 0 25 0 1 0 132955218 162062336 37485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 39566 37485 139 317 0 39245 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 158264

[startup+282.301 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 5086
/proc/meminfo: memFree=1569736/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=180444 CPUtime=282.22
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 43510 0 0 0 28196 26 0 0 25 0 1 0 132955218 184774656 43287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 45111 43287 139 317 0 44790 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 180444

[startup+342.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 5086
/proc/meminfo: memFree=1544264/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=204684 CPUtime=342.2
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 49750 0 0 0 34189 31 0 0 25 0 1 0 132955218 209596416 49527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 51171 49527 139 317 0 50850 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 204684

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 5086
/proc/meminfo: memFree=1521224/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=227976 CPUtime=402.18
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 55586 0 0 0 40184 34 0 0 25 0 1 0 132955218 233447424 55363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 56994 55363 139 317 0 56673 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 227976

[startup+462.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/84 5252
/proc/meminfo: memFree=1499456/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=247328 CPUtime=462.08
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 60610 0 0 0 46168 40 0 0 25 0 1 0 132955218 253263872 60387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 61832 60387 139 317 0 61511 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 247328

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1489352/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=258604 CPUtime=522.04
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 63460 0 0 0 52162 42 0 0 25 0 1 0 132955218 264810496 63237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 64651 63237 139 317 0 64330 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 258604

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1476744/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=279036 CPUtime=582.03
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 68119 0 0 0 58159 44 0 0 25 0 1 0 132955218 285732864 66302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 69759 66302 139 317 0 69438 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 279036

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1462728/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=301528 CPUtime=642.01
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 73252 0 0 0 64155 46 0 0 25 0 1 0 132955218 308764672 69884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 75382 69884 139 317 0 75061 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 301528


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

[startup+882.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1421640/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=340276 CPUtime=881.95
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 83461 0 0 0 88141 54 0 0 25 0 1 0 132955218 348442624 80093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 85069 80093 139 317 0 84748 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 340276

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1413640/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=348072 CPUtime=941.92
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 85518 0 0 0 94137 55 0 0 25 0 1 0 132955218 356425728 82117 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 87018 82117 139 317 0 86697 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 348072

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1402184/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=358504 CPUtime=1001.9
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 88390 0 0 0 100133 57 0 0 25 0 1 0 132955218 367108096 84956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 89626 84956 139 317 0 89305 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 358504

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1394568/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=365304 CPUtime=1061.89
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 90301 0 0 0 106130 59 0 0 25 0 1 0 132955218 374071296 86867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 91326 86867 139 317 0 91005 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 365304

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1388552/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=370776 CPUtime=1121.88
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 91809 0 0 0 112127 61 0 0 25 0 1 0 132955218 379674624 88375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 92694 88375 139 317 0 92373 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 370776

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 5284
/proc/meminfo: memFree=1376200/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=384108 CPUtime=1181.86
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 94928 0 0 0 118124 62 0 0 25 0 1 0 132955218 393326592 91494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 96027 91494 139 317 0 95706 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 384108

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1368648/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=390980 CPUtime=1241.85
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 96789 0 0 0 124121 64 0 0 25 0 1 0 132955218 400363520 93355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 97745 93355 139 317 0 97424 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 390980

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1362952/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=397620 CPUtime=1301.82
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 98490 0 0 0 130118 64 0 0 25 0 1 0 132955218 407162880 94792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 99405 94792 139 317 0 99084 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 397620

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1357256/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=402696 CPUtime=1361.81
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 99884 0 0 0 136115 66 0 0 25 0 1 0 132955218 412360704 96186 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 100674 96186 139 317 0 100353 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 402696

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1348488/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=410728 CPUtime=1421.79
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 102083 0 0 0 142111 68 0 0 25 0 1 0 132955218 420585472 98385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 102682 98385 139 317 0 102361 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 410728

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1339400/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=418896 CPUtime=1481.78
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 104361 0 0 0 148107 71 0 0 25 0 1 0 132955218 428949504 100663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 104724 100663 139 317 0 104403 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 418896

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1329864/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=427248 CPUtime=1541.76
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 106735 0 0 0 154103 73 0 0 25 0 1 0 132955218 437501952 103037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 106812 103037 139 317 0 106491 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 427248

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1321544/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=434868 CPUtime=1601.73
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 108794 0 0 0 160099 74 0 0 25 0 1 0 132955218 445304832 105096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 108717 105096 139 317 0 108396 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 434868

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1312584/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=443036 CPUtime=1661.73
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 111028 0 0 0 166097 76 0 0 25 0 1 0 132955218 453668864 107330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 110759 107330 139 317 0 110438 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 443036

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1305608/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=449464 CPUtime=1721.7
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 112847 0 0 0 172093 77 0 0 25 0 1 0 132955218 460251136 109149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385272 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 112366 109149 139 317 0 112045 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 449464

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1298056/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=456160 CPUtime=1781.69
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 114680 0 0 0 178090 79 0 0 25 0 1 0 132955218 467107840 110982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 114040 110982 139 317 0 113719 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 456160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1296328/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=458504 CPUtime=1800.09
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194304 115262 0 0 0 179930 79 0 0 25 0 1 0 132955218 469508096 111399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 114626 111399 139 317 0 114305 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 458504

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

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

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 5284
/proc/meminfo: memFree=1296328/2055920 swapFree=4184436/4192956
[pid=5085] ppid=5083 vsize=0 CPUtime=1800.29
/proc/5085/stat : 5085 (oree) R 5083 5085 4742 0 -1 4194308 115278 0 0 0 179948 81 0 0 25 0 1 0 132955218 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5085/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.96
CPU time (s): 1800.35
CPU user time (s): 1799.48
CPU system time (s): 0.870867
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 458504

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

runsolver used 2.06169 second user time and 4.54831 second system time

The end

Launcher Data (download as text)

Begin job on node41 on Tue Apr 17 22:53:53 UTC 2007

IDJOB= 356979
IDBENCH= 1717
IDSOLVER= 172
FILE ID= node41/356979-1176850433

PBS_JOBID= 4590196

Free space on /tmp= 66497 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  867ebc446ef1d12fd0b7d8d0b9e71a77

RANDOM SEED= 781480437

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1742888 kB
Buffers:         27764 kB
Cached:          99680 kB
SwapCached:       2980 kB
Active:          74884 kB
Inactive:       185272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1742888 kB
SwapTotal:     4192956 kB
SwapFree:      4184436 kB
Dirty:            2564 kB
Writeback:           0 kB
Mapped:         147228 kB
Slab:            38212 kB
Committed_AS:  2557744 kB
PageTables:       2012 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= 66497 MiB

End job on node41 on Tue Apr 17 23:23:56 UTC 2007