Trace number 357328

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.62 1801.4

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-grow22.opb
MD5SUM459c1d0101a0e61c9c386c9d02f149df
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 variables25124
Total number of constraints1320
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 constraints1320
Minimum length of a constraint22
Maximum length of a constraint491
Number of terms in the objective function 1958
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 234612588283
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.69/0.73	c ...done
0.69/0.73	c #vars=25124 #constraints=1761 hasObjective=yes
0.79/0.83	c res. mode=mod
0.79/0.83	c VSIDS like heuristics
0.79/0.83	c complete search running
1.19/1.24	c restart after 401 decisions
1.29/1.35	c nbDecision=500 #constraints=1761
1.59/1.66	c restart after 801 decisions
1.79/1.86	c nbDecision=1000 #constraints=1761
2.29/2.38	c nbDecision=1500 #constraints=1774
2.39/2.49	c restart after 1601 decisions
2.89/2.91	c nbDecision=2000 #constraints=1783
3.39/3.45	c nbDecision=2500 #constraints=1815
3.89/3.97	c nbDecision=3000 #constraints=1840
4.09/4.17	c restart after 3201 decisions
4.39/4.49	c nbDecision=3500 #constraints=1850
4.99/5.02	c nbDecision=4000 #constraints=1876
5.49/5.58	c nbDecision=4500 #constraints=1935
5.99/6.09	c nbDecision=5000 #constraints=1967
6.59/6.63	c nbDecision=5500 #constraints=2045
7.08/7.17	c nbDecision=6000 #constraints=2098
7.59/7.64	c restart after 6401 decisions
7.69/7.75	c nbDecision=6500 #constraints=2169
8.18/8.26	c nbDecision=7000 #constraints=2169
8.79/8.81	c nbDecision=7500 #constraints=2210
9.28/9.30	c nbDecision=8000 #constraints=2211
9.79/9.82	c nbDecision=8500 #constraints=2255
10.28/10.36	c nbDecision=9000 #constraints=2310
10.78/10.88	c nbDecision=9500 #constraints=2350
11.38/11.42	c nbDecision=10000 #constraints=2396
11.88/11.94	c nbDecision=10500 #constraints=2428
12.38/12.46	c nbDecision=11000 #constraints=2465
12.88/12.98	c nbDecision=11500 #constraints=2497
13.48/13.52	c nbDecision=12000 #constraints=2548
13.98/14.05	c nbDecision=12500 #constraints=2589
14.29/14.39	c restart after 12801 decisions
14.59/14.61	c nbDecision=13000 #constraints=2625
15.09/15.13	c nbDecision=13500 #constraints=2639
15.69/15.70	c nbDecision=14000 #constraints=2695
16.18/16.21	c nbDecision=14500 #constraints=2712
16.69/16.74	c nbDecision=15000 #constraints=2751
17.28/17.30	c nbDecision=15500 #constraints=2809
17.78/17.85	c nbDecision=16000 #constraints=2869
18.38/18.44	c nbDecision=16500 #constraints=2949
18.88/18.99	c nbDecision=17000 #constraints=2991
19.49/19.55	c nbDecision=17500 #constraints=3037
19.99/20.08	c nbDecision=18000 #constraints=3064
20.59/20.65	c nbDecision=18500 #constraints=3110
21.09/21.18	c nbDecision=19000 #constraints=3134
21.69/21.73	c nbDecision=19500 #constraints=3170
22.29/22.35	c nbDecision=20000 #constraints=3243
22.89/22.92	c nbDecision=20500 #constraints=3283
23.38/23.49	c nbDecision=21000 #constraints=3328
23.98/24.05	c nbDecision=21500 #constraints=3370
24.58/24.64	c nbDecision=22000 #constraints=3413
25.19/25.21	c nbDecision=22500 #constraints=3450
25.68/25.76	c nbDecision=23000 #constraints=3468
26.29/26.34	c nbDecision=23500 #constraints=3512
26.88/26.91	c nbDecision=24000 #constraints=3546
27.39/27.47	c nbDecision=24500 #constraints=3575
27.98/28.03	c nbDecision=25000 #constraints=3603
28.48/28.59	c nbDecision=25500 #constraints=3626
28.68/28.70	c restart after 25601 decisions
29.08/29.14	c nbDecision=26000 #constraints=3629
29.58/29.69	c nbDecision=26500 #constraints=3652
30.18/30.22	c nbDecision=27000 #constraints=3667
30.68/30.77	c nbDecision=27500 #constraints=3704
31.28/31.37	c nbDecision=28000 #constraints=3769
31.88/31.97	c nbDecision=28500 #constraints=3820
32.48/32.55	c nbDecision=29000 #constraints=3849
32.98/33.08	c nbDecision=29500 #constraints=3858
33.58/33.62	c nbDecision=30000 #constraints=3884
34.08/34.16	c nbDecision=30500 #constraints=3911
34.78/34.81	c nbDecision=31000 #constraints=3983
35.37/35.40	c nbDecision=31500 #constraints=4030
35.97/36.07	c nbDecision=32000 #constraints=4117
36.57/36.68	c nbDecision=32500 #constraints=4170
37.18/37.24	c nbDecision=33000 #constraints=4191
37.87/37.93	c nbDecision=33500 #constraints=4260
38.49/38.51	c nbDecision=34000 #constraints=4289
39.18/39.21	c nbDecision=34500 #constraints=4374
39.88/39.92	c nbDecision=35000 #constraints=4442
40.38/40.45	c nbDecision=35500 #constraints=4461
41.27/41.34	c nbDecision=36000 #constraints=4573
42.08/42.18	c nbDecision=36500 #constraints=4659
43.58/43.65	c nbDecision=37000 #constraints=4882
44.38/44.47	c nbDecision=37500 #constraints=4959
44.88/44.99	c nbDecision=38000 #constraints=4960
45.68/45.74	c nbDecision=38500 #constraints=5054
46.37/46.40	c nbDecision=39000 #constraints=5112
46.87/46.95	c nbDecision=39500 #constraints=5137
47.57/47.69	c nbDecision=40000 #constraints=5206
48.38/48.43	c nbDecision=40500 #constraints=5278
49.07/49.14	c nbDecision=41000 #constraints=5324
49.67/49.75	c nbDecision=41500 #constraints=5357
50.27/50.36	c nbDecision=42000 #constraints=5384
50.97/51.08	c nbDecision=42500 #constraints=5446
51.77/51.83	c nbDecision=43000 #constraints=5513
52.37/52.47	c nbDecision=43500 #constraints=5555
53.08/53.19	c nbDecision=44000 #constraints=5614
53.78/53.81	c nbDecision=44500 #constraints=5642
54.37/54.40	c nbDecision=45000 #constraints=5667
54.98/55.04	c nbDecision=45500 #constraints=5696
55.57/55.63	c nbDecision=46000 #constraints=5710
56.17/56.22	c nbDecision=46500 #constraints=5732
56.77/56.85	c nbDecision=47000 #constraints=5764
57.47/57.55	c nbDecision=47500 #constraints=5818
58.07/58.19	c nbDecision=48000 #constraints=5837
58.77/58.85	c nbDecision=48500 #constraints=5867
59.38/59.44	c nbDecision=49000 #constraints=5879
59.97/60.08	c nbDecision=49500 #constraints=5907
60.57/60.67	c nbDecision=50000 #constraints=5918
61.27/61.35	c nbDecision=50500 #constraints=5957
61.97/62.02	c nbDecision=51000 #constraints=5986
62.27/62.30	c restart after 51201 decisions
62.58/62.68	c nbDecision=51500 #constraints=5994
63.17/63.29	c nbDecision=52000 #constraints=6006
63.77/63.85	c nbDecision=52500 #constraints=6030
64.37/64.40	c nbDecision=53000 #constraints=6033
64.97/65.05	c nbDecision=53500 #constraints=6082
65.67/65.70	c nbDecision=54000 #constraints=6126
66.27/66.39	c nbDecision=54500 #constraints=6189
66.97/67.01	c nbDecision=55000 #constraints=6217
67.57/67.64	c nbDecision=55500 #constraints=6256
68.17/68.24	c nbDecision=56000 #constraints=6282
68.96/69.06	c nbDecision=56500 #constraints=6366
69.76/69.83	c nbDecision=57000 #constraints=6421
70.46/70.57	c nbDecision=57500 #constraints=6481
71.26/71.35	c nbDecision=58000 #constraints=6562
72.17/72.20	c nbDecision=58500 #constraints=6633
72.87/72.92	c nbDecision=59000 #constraints=6677
73.67/73.71	c nbDecision=59500 #constraints=6759
74.47/74.57	c nbDecision=60000 #constraints=6821
75.07/75.19	c nbDecision=60500 #constraints=6836
75.77/75.87	c nbDecision=61000 #constraints=6874
76.36/76.49	c nbDecision=61500 #constraints=6893
77.06/77.16	c nbDecision=62000 #constraints=6926
77.66/77.77	c nbDecision=62500 #constraints=6944
78.36/78.40	c nbDecision=63000 #constraints=6970
79.06/79.20	c nbDecision=63500 #constraints=7019
79.96/80.00	c nbDecision=64000 #constraints=7071
80.66/80.72	c nbDecision=64500 #constraints=7103
81.26/81.39	c nbDecision=65000 #constraints=7130
81.96/82.03	c nbDecision=65500 #constraints=7148
82.56/82.64	c nbDecision=66000 #constraints=7164
83.46/83.55	c nbDecision=66500 #constraints=7236
84.36/84.41	c nbDecision=67000 #constraints=7315
85.26/85.35	c nbDecision=67500 #constraints=7403
85.96/86.02	c nbDecision=68000 #constraints=7421
86.87/86.90	c nbDecision=68500 #constraints=7481
87.76/87.90	c nbDecision=69000 #constraints=7568
88.76/88.84	c nbDecision=69500 #constraints=7636
89.66/89.73	c nbDecision=70000 #constraints=7691
90.36/90.48	c nbDecision=70500 #constraints=7725
91.46/91.54	c nbDecision=71000 #constraints=7802
92.46/92.53	c nbDecision=71500 #constraints=7856
93.36/93.44	c nbDecision=72000 #constraints=7905
94.16/94.28	c nbDecision=72500 #constraints=7954
95.56/95.64	c nbDecision=73000 #constraints=8030
96.46/96.51	c nbDecision=73500 #constraints=8075
97.06/97.14	c nbDecision=74000 #constraints=8082
98.06/98.12	c nbDecision=74500 #constraints=8126
98.96/99.04	c nbDecision=75000 #constraints=8165
99.96/100.05	c nbDecision=75500 #constraints=8208
101.06/101.14	c nbDecision=76000 #constraints=8265
101.95/102.03	c nbDecision=76500 #constraints=8298
102.95/103.06	c nbDecision=77000 #constraints=8352
103.95/104.08	c nbDecision=77500 #constraints=8402
104.75/104.85	c nbDecision=78000 #constraints=8437
105.45/105.57	c nbDecision=78500 #constraints=8446
106.36/106.50	c nbDecision=79000 #constraints=8487
107.06/107.19	c nbDecision=79500 #constraints=8502
108.15/108.21	c nbDecision=80000 #constraints=8567
108.95/109.03	c nbDecision=80500 #constraints=8588
109.96/110.09	c nbDecision=81000 #constraints=8627
111.65/111.72	c nbDecision=81500 #constraints=8783
112.55/112.61	c nbDecision=82000 #constraints=8823
113.55/113.66	c nbDecision=82500 #constraints=8891
114.26/114.35	c nbDecision=83000 #constraints=8898
114.95/115.05	c nbDecision=83500 #constraints=8904
115.85/115.98	c nbDecision=84000 #constraints=8930
116.75/116.85	c nbDecision=84500 #constraints=8961
117.45/117.52	c nbDecision=85000 #constraints=8974
118.35/118.44	c nbDecision=85500 #constraints=9006
119.75/119.80	c nbDecision=86000 #constraints=9062
120.65/120.76	c nbDecision=86500 #constraints=9104
121.75/121.90	c nbDecision=87000 #constraints=9135
122.45/122.57	c nbDecision=87500 #constraints=9144
123.15/123.27	c nbDecision=88000 #constraints=9150
124.15/124.23	c nbDecision=88500 #constraints=9180
124.85/124.94	c nbDecision=89000 #constraints=9187
125.65/125.75	c nbDecision=89500 #constraints=9201
126.74/126.85	c nbDecision=90000 #constraints=9239
127.74/127.82	c nbDecision=90500 #constraints=9269
128.74/128.86	c nbDecision=91000 #constraints=9324
129.54/129.67	c nbDecision=91500 #constraints=9330
130.34/130.43	c nbDecision=92000 #constraints=9350
131.14/131.20	c nbDecision=92500 #constraints=9370
132.44/132.52	c nbDecision=93000 #constraints=9411
133.44/133.59	c nbDecision=93500 #constraints=9449
134.14/134.23	c nbDecision=94000 #constraints=9451
134.84/134.90	c nbDecision=94500 #constraints=9459
136.04/136.10	c nbDecision=95000 #constraints=9500
136.74/136.82	c nbDecision=95500 #constraints=9502
137.55/137.67	c nbDecision=96000 #constraints=9522
138.35/138.45	c nbDecision=96500 #constraints=9533
139.24/139.35	c nbDecision=97000 #constraints=9563
140.24/140.37	c nbDecision=97500 #constraints=9596
141.44/141.58	c nbDecision=98000 #constraints=9632
142.44/142.55	c nbDecision=98500 #constraints=9670
143.44/143.57	c nbDecision=99000 #constraints=9698
144.84/144.91	c nbDecision=99500 #constraints=9744
146.04/146.14	c nbDecision=100000 #constraints=9776
146.84/146.98	c nbDecision=100500 #constraints=9796
147.74/147.83	c nbDecision=101000 #constraints=9816
148.74/148.80	c nbDecision=101500 #constraints=9842
149.84/149.98	c nbDecision=102000 #constraints=9875
150.64/150.74	c restart after 102401 decisions
151.04/151.15	c nbDecision=102500 #constraints=9905
151.54/151.69	c nbDecision=103000 #constraints=9905
152.24/152.36	c nbDecision=103500 #constraints=9932
152.94/153.01	c nbDecision=104000 #constraints=9943
154.14/154.29	c nbDecision=104500 #constraints=9991
155.43/155.54	c nbDecision=105000 #constraints=10049
156.63/156.71	c nbDecision=105500 #constraints=10094
157.83/157.93	c nbDecision=106000 #constraints=10132
158.93/159.07	c nbDecision=106500 #constraints=10180
160.13/160.24	c nbDecision=107000 #constraints=10213
161.23/161.37	c nbDecision=107500 #constraints=10245
162.43/162.54	c nbDecision=108000 #constraints=10270
163.63/163.72	c nbDecision=108500 #constraints=10305
164.83/164.94	c nbDecision=109000 #constraints=10351
165.93/166.07	c nbDecision=109500 #constraints=10384
167.24/167.37	c nbDecision=110000 #constraints=10438
168.34/168.45	c nbDecision=110500 #constraints=10455
169.64/169.77	c nbDecision=111000 #constraints=10492
171.33/171.48	c nbDecision=111500 #constraints=10573
172.64/172.72	c nbDecision=112000 #constraints=10601
173.83/173.90	c nbDecision=112500 #constraints=10650
175.03/175.12	c nbDecision=113000 #constraints=10690
176.33/176.48	c nbDecision=113500 #constraints=10740
177.53/177.61	c nbDecision=114000 #constraints=10768
178.73/178.84	c nbDecision=114500 #constraints=10816
179.93/180.01	c nbDecision=115000 #constraints=10842
181.52/181.66	c nbDecision=115500 #constraints=10897
182.62/182.77	c nbDecision=116000 #constraints=10916
183.72/183.89	c nbDecision=116500 #constraints=10979
184.32/184.46	c nbDecision=117000 #constraints=10979
185.52/185.61	c nbDecision=117500 #constraints=11001
186.42/186.56	c nbDecision=118000 #constraints=11034
188.53/188.61	c nbDecision=118500 #constraints=11278
189.53/189.68	c nbDecision=119000 #constraints=11358
191.23/191.38	c nbDecision=119500 #constraints=11489
192.82/192.92	c nbDecision=120000 #constraints=11593
194.22/194.38	c nbDecision=120500 #constraints=11701
195.63/195.74	c nbDecision=121000 #constraints=11841
197.62/197.75	c nbDecision=121500 #constraints=11913
199.32/199.48	c nbDecision=122000 #constraints=11956
200.62/200.70	c nbDecision=122500 #constraints=12012
201.92/202.05	c nbDecision=123000 #constraints=12054
203.00/203.12	c nbDecision=123500 #constraints=12089
204.20/204.33	c nbDecision=124000 #constraints=12128
205.20/205.30	c nbDecision=124500 #constraints=12152
206.19/206.33	c nbDecision=125000 #constraints=12187
207.59/207.73	c nbDecision=125500 #constraints=12267
209.48/209.60	c nbDecision=126000 #constraints=12322
211.18/211.34	c nbDecision=126500 #constraints=12387
212.78/212.92	c nbDecision=127000 #constraints=12442
213.78/213.99	c nbDecision=127500 #constraints=12473
215.57/215.73	c nbDecision=128000 #constraints=12505
216.97/217.10	c nbDecision=128500 #constraints=12549
218.45/218.64	c nbDecision=129000 #constraints=12582
219.45/219.65	c nbDecision=129500 #constraints=12605
220.95/221.19	c nbDecision=130000 #constraints=12689
222.65/222.82	c nbDecision=130500 #constraints=12724
223.74/223.99	c nbDecision=131000 #constraints=12754
224.74/224.90	c nbDecision=131500 #constraints=12765
225.94/226.11	c nbDecision=132000 #constraints=12790
227.13/227.32	c nbDecision=132500 #constraints=12813
228.53/228.78	c nbDecision=133000 #constraints=12869
229.82/230.02	c nbDecision=133500 #constraints=12901
231.32/231.56	c nbDecision=134000 #constraints=12931
232.42/232.60	c nbDecision=134500 #constraints=12941
233.91/234.12	c nbDecision=135000 #constraints=12988
235.32/235.55	c nbDecision=135500 #constraints=13012
236.52/236.75	c nbDecision=136000 #constraints=13031
237.82/238.02	c nbDecision=136500 #constraints=13075
240.41/240.63	c nbDecision=137000 #constraints=13155
241.61/241.85	c nbDecision=137500 #constraints=13171
242.71/242.97	c nbDecision=138000 #constraints=13188
243.81/244.02	c nbDecision=138500 #constraints=13196
244.91/245.14	c nbDecision=139000 #constraints=13213
246.21/246.43	c nbDecision=139500 #constraints=13231
247.41/247.66	c nbDecision=140000 #constraints=13244
248.50/248.76	c nbDecision=140500 #constraints=13257
250.10/250.34	c nbDecision=141000 #constraints=13314
251.80/252.03	c nbDecision=141500 #constraints=13367
253.20/253.48	c nbDecision=142000 #constraints=13396
254.30/254.55	c nbDecision=142500 #constraints=13412
256.20/256.48	c nbDecision=143000 #constraints=13450
257.28/257.53	c nbDecision=143500 #constraints=13474
258.88/259.10	c nbDecision=144000 #constraints=13505
260.08/260.39	c nbDecision=144500 #constraints=13554
261.08/261.35	c nbDecision=145000 #constraints=13569
262.48/262.78	c nbDecision=145500 #constraints=13584
264.08/264.39	c nbDecision=146000 #constraints=13623
265.28/265.55	c nbDecision=146500 #constraints=13632
266.39/266.65	c nbDecision=147000 #constraints=13656
267.89/268.11	c nbDecision=147500 #constraints=13690
269.19/269.44	c nbDecision=148000 #constraints=13715
270.59/270.80	c nbDecision=148500 #constraints=13743
272.49/272.75	c nbDecision=149000 #constraints=13791
273.59/273.86	c nbDecision=149500 #constraints=13815
274.88/275.12	c nbDecision=150000 #constraints=13836
276.38/276.63	c nbDecision=150500 #constraints=13869
277.48/277.78	c nbDecision=151000 #constraints=13892
279.08/279.32	c nbDecision=151500 #constraints=13915
280.48/280.79	c nbDecision=152000 #constraints=13936
282.08/282.36	c nbDecision=152500 #constraints=13978
283.68/283.99	c nbDecision=153000 #constraints=14018
284.78/285.06	c nbDecision=153500 #constraints=14041
286.47/286.70	c nbDecision=154000 #constraints=14085
288.37/288.66	c nbDecision=154500 #constraints=14108
289.47/289.70	c nbDecision=155000 #constraints=14120
290.97/291.25	c nbDecision=155500 #constraints=14159
292.67/292.92	c nbDecision=156000 #constraints=14202
294.07/294.36	c nbDecision=156500 #constraints=14229
295.37/295.65	c nbDecision=157000 #constraints=14244
297.27/297.54	c nbDecision=157500 #constraints=14292
298.77/299.07	c nbDecision=158000 #constraints=14311
300.27/300.51	c nbDecision=158500 #constraints=14395
304.26/304.51	c nbDecision=159000 #constraints=14520
306.87/307.11	c nbDecision=159500 #constraints=14603
310.87/311.10	c nbDecision=160000 #constraints=14715
312.37/312.60	c nbDecision=160500 #constraints=14746
314.96/315.27	c nbDecision=161000 #constraints=14832
316.16/316.45	c nbDecision=161500 #constraints=14859
317.16/317.40	c nbDecision=162000 #constraints=14882
318.16/318.48	c nbDecision=162500 #constraints=14904
319.56/319.87	c nbDecision=163000 #constraints=14926
320.57/320.86	c nbDecision=163500 #constraints=14942
322.07/322.31	c nbDecision=164000 #constraints=14966
324.66/324.92	c nbDecision=164500 #constraints=15059
325.96/326.26	c nbDecision=165000 #constraints=15081
328.36/328.69	c nbDecision=165500 #constraints=15140
330.56/330.84	c nbDecision=166000 #constraints=15176
332.06/332.31	c nbDecision=166500 #constraints=15198
333.76/334.07	c nbDecision=167000 #constraints=15224
334.96/335.28	c nbDecision=167500 #constraints=15240
336.05/336.31	c nbDecision=168000 #constraints=15259
337.25/337.57	c nbDecision=168500 #constraints=15280
338.56/338.84	c nbDecision=169000 #constraints=15303
339.75/340.02	c nbDecision=169500 #constraints=15331
340.76/341.09	c nbDecision=170000 #constraints=15347
342.56/342.83	c nbDecision=170500 #constraints=15387
343.86/344.13	c nbDecision=171000 #constraints=15411
344.86/345.17	c nbDecision=171500 #constraints=15422
346.86/347.12	c nbDecision=172000 #constraints=15465
348.76/349.02	c nbDecision=172500 #constraints=15490
350.36/350.65	c nbDecision=173000 #constraints=15513
351.46/351.77	c nbDecision=173500 #constraints=15532
354.45/354.75	c nbDecision=174000 #constraints=15617
356.75/357.04	c nbDecision=174500 #constraints=15669
359.15/359.49	c nbDecision=175000 #constraints=15727
361.45/361.71	c nbDecision=175500 #constraints=15768
362.65/362.93	c nbDecision=176000 #constraints=15791
364.95/365.29	c nbDecision=176500 #constraints=15834
366.84/367.19	c nbDecision=177000 #constraints=15882
368.44/368.73	c nbDecision=177500 #constraints=15936
369.84/370.14	c nbDecision=178000 #constraints=15971
371.45/371.78	c nbDecision=178500 #constraints=16011
372.95/373.24	c nbDecision=179000 #constraints=16041
373.95/374.22	c nbDecision=179500 #constraints=16054
375.75/376.01	c nbDecision=180000 #constraints=16098
377.05/377.33	c nbDecision=180500 #constraints=16127
378.05/378.30	c nbDecision=181000 #constraints=16138
379.04/379.35	c nbDecision=181500 #constraints=16149
380.94/381.24	c nbDecision=182000 #constraints=16181
381.84/382.19	c nbDecision=182500 #constraints=16194
382.84/383.14	c nbDecision=183000 #constraints=16205
386.84/387.12	c nbDecision=183500 #constraints=16295
389.23/389.50	c nbDecision=184000 #constraints=16350
391.24/391.60	c nbDecision=184500 #constraints=16400
392.74/393.05	c nbDecision=185000 #constraints=16443
395.74/396.04	c nbDecision=185500 #constraints=16510
397.34/397.65	c nbDecision=186000 #constraints=16553
399.53/399.84	c nbDecision=186500 #constraints=16605
401.63/401.99	c nbDecision=187000 #constraints=16670
403.53/403.82	c nbDecision=187500 #constraints=16719
405.93/406.27	c nbDecision=188000 #constraints=16773
407.23/407.54	c nbDecision=188500 #constraints=16795
408.33/408.62	c nbDecision=189000 #constraints=16811
410.43/410.72	c nbDecision=189500 #constraints=16856
412.13/412.41	c nbDecision=190000 #constraints=16917
413.13/413.43	c nbDecision=190500 #constraints=16929
414.63/414.91	c nbDecision=191000 #constraints=16959
415.93/416.28	c nbDecision=191500 #constraints=16988
417.33/417.68	c nbDecision=192000 #constraints=17023
419.03/419.30	c nbDecision=192500 #constraints=17066
421.43/421.70	c nbDecision=193000 #constraints=17114
422.73/423.03	c nbDecision=193500 #constraints=17133
424.13/424.49	c nbDecision=194000 #constraints=17167
425.63/425.96	c nbDecision=194500 #constraints=17216
427.63/427.97	c nbDecision=195000 #constraints=17274
429.12/429.49	c nbDecision=195500 #constraints=17322
430.32/430.70	c nbDecision=196000 #constraints=17342
431.72/432.04	c nbDecision=196500 #constraints=17371
432.72/433.07	c nbDecision=197000 #constraints=17381
434.02/434.34	c nbDecision=197500 #constraints=17411
435.42/435.78	c nbDecision=198000 #constraints=17446
436.52/436.84	c nbDecision=198500 #constraints=17458
437.72/438.09	c nbDecision=199000 #constraints=17497
439.22/439.51	c nbDecision=199500 #constraints=17519
440.32/440.62	c nbDecision=200000 #constraints=17534
441.42/441.72	c nbDecision=200500 #constraints=17545
442.72/443.04	c nbDecision=201000 #constraints=17561
443.82/444.16	c nbDecision=201500 #constraints=17578
447.51/447.83	c nbDecision=202000 #constraints=17674
449.01/449.39	c nbDecision=202500 #constraints=17683
450.82/451.19	c nbDecision=203000 #constraints=17708
451.82/452.15	c nbDecision=203500 #constraints=17710
453.22/453.53	c nbDecision=204000 #constraints=17728
455.02/455.31	c nbDecision=204500 #constraints=17743
455.72/456.06	c restart after 204801 decisions
456.92/457.21	c nbDecision=205000 #constraints=17753
457.72/458.02	c nbDecision=205500 #constraints=17761
458.42/458.79	c nbDecision=206000 #constraints=17792
459.82/460.15	c nbDecision=206500 #constraints=17807
462.01/462.39	c nbDecision=207000 #constraints=17882
462.72/463.10	c nbDecision=207500 #constraints=17899
470.71/471.05	c nbDecision=208000 #constraints=18013
492.20/492.55	c nbDecision=208500 #constraints=18295
511.89/512.24	c nbDecision=209000 #constraints=18566
515.49/515.83	c nbDecision=209500 #constraints=18659
519.10/519.46	c nbDecision=210000 #constraints=18732
522.20/522.54	c nbDecision=210500 #constraints=18805
524.89/525.24	c nbDecision=211000 #constraints=18849
525.69/526.07	c nbDecision=211500 #constraints=18878
526.89/527.29	c nbDecision=212000 #constraints=18889
529.99/530.39	c nbDecision=212500 #constraints=18990
532.29/532.65	c nbDecision=213000 #constraints=19052
533.69/534.06	c nbDecision=213500 #constraints=19085
535.49/535.90	c nbDecision=214000 #constraints=19134
538.08/538.47	c nbDecision=214500 #constraints=19205
540.18/540.58	c nbDecision=215000 #constraints=19257
541.58/541.90	c nbDecision=215500 #constraints=19282
543.28/543.60	c nbDecision=216000 #constraints=19329
544.88/545.24	c nbDecision=216500 #constraints=19358
546.98/547.39	c nbDecision=217000 #constraints=19395
549.08/549.48	c nbDecision=217500 #constraints=19439
550.88/551.20	c nbDecision=218000 #constraints=19469
552.78/553.14	c nbDecision=218500 #constraints=19514
554.48/554.86	c nbDecision=219000 #constraints=19552
556.38/556.75	c nbDecision=219500 #constraints=19606
558.18/558.52	c nbDecision=220000 #constraints=19648
560.68/561.02	c nbDecision=220500 #constraints=19710
562.97/563.31	c nbDecision=221000 #constraints=19778
564.57/564.96	c nbDecision=221500 #constraints=19806
566.08/566.46	c nbDecision=222000 #constraints=19830
568.07/568.41	c nbDecision=222500 #constraints=19875
569.58/569.94	c nbDecision=223000 #constraints=19895
571.58/571.94	c nbDecision=223500 #constraints=19927
573.18/573.58	c nbDecision=224000 #constraints=19958
574.78/575.16	c nbDecision=224500 #constraints=19992
576.17/576.57	c nbDecision=225000 #constraints=20011
577.67/578.06	c nbDecision=225500 #constraints=20040
579.77/580.19	c nbDecision=226000 #constraints=20084
581.37/581.75	c nbDecision=226500 #constraints=20115
582.77/583.10	c nbDecision=227000 #constraints=20122
584.17/584.55	c nbDecision=227500 #constraints=20133
586.07/586.45	c nbDecision=228000 #constraints=20174
587.87/588.28	c nbDecision=228500 #constraints=20196
589.67/590.00	c nbDecision=229000 #constraints=20214
591.47/591.83	c nbDecision=229500 #constraints=20229
593.16/593.52	c nbDecision=230000 #constraints=20256
595.16/595.52	c nbDecision=230500 #constraints=20312
597.16/597.58	c nbDecision=231000 #constraints=20351
598.76/599.12	c nbDecision=231500 #constraints=20376
600.67/601.03	c nbDecision=232000 #constraints=20416
602.37/602.70	c nbDecision=232500 #constraints=20446
604.17/604.52	c nbDecision=233000 #constraints=20489
606.46/606.83	c nbDecision=233500 #constraints=20517
607.87/608.29	c nbDecision=234000 #constraints=20529
609.36/609.74	c nbDecision=234500 #constraints=20554
610.76/611.18	c nbDecision=235000 #constraints=20566
612.86/613.28	c nbDecision=235500 #constraints=20596
614.56/614.94	c nbDecision=236000 #constraints=20614
616.26/616.61	c nbDecision=236500 #constraints=20643
617.86/618.20	c nbDecision=237000 #constraints=20676
619.36/619.73	c nbDecision=237500 #constraints=20699
621.65/622.01	c nbDecision=238000 #constraints=20743
623.45/623.81	c nbDecision=238500 #constraints=20792
625.05/625.41	c nbDecision=239000 #constraints=20819
626.56/626.98	c nbDecision=239500 #constraints=20847
628.06/628.41	c nbDecision=240000 #constraints=20855
630.26/630.69	c nbDecision=240500 #constraints=20876
632.06/632.44	c nbDecision=241000 #constraints=20894
633.86/634.20	c nbDecision=241500 #constraints=20919
635.46/635.80	c nbDecision=242000 #constraints=20943
637.56/637.91	c nbDecision=242500 #constraints=20971
639.35/639.71	c nbDecision=243000 #constraints=21008
641.25/641.64	c nbDecision=243500 #constraints=21028
643.45/643.85	c nbDecision=244000 #constraints=21080
645.45/645.85	c nbDecision=244500 #constraints=21102
647.45/647.81	c nbDecision=245000 #constraints=21124
649.95/650.35	c nbDecision=245500 #constraints=21154
651.95/652.33	c nbDecision=246000 #constraints=21180
653.54/653.96	c nbDecision=246500 #constraints=21196
654.74/655.18	c nbDecision=247000 #constraints=21209
657.04/657.40	c nbDecision=247500 #constraints=21240
658.44/658.86	c nbDecision=248000 #constraints=21249
659.74/660.13	c nbDecision=248500 #constraints=21263
661.75/662.18	c nbDecision=249000 #constraints=21286
663.45/663.87	c nbDecision=249500 #constraints=21311
665.05/665.46	c nbDecision=250000 #constraints=21321
666.64/667.05	c nbDecision=250500 #constraints=21331
668.35/668.72	c nbDecision=251000 #constraints=21350
670.04/670.43	c nbDecision=251500 #constraints=21362
671.24/671.68	c nbDecision=252000 #constraints=21366
672.84/673.27	c nbDecision=252500 #constraints=21376
674.84/675.24	c nbDecision=253000 #constraints=21405
676.24/676.67	c nbDecision=253500 #constraints=21424
677.64/678.02	c nbDecision=254000 #constraints=21438
679.53/679.99	c nbDecision=254500 #constraints=21484
680.83/681.25	c nbDecision=255000 #constraints=21488
682.23/682.68	c nbDecision=255500 #constraints=21503
684.33/684.78	c nbDecision=256000 #constraints=21524
686.04/686.46	c nbDecision=256500 #constraints=21543
687.83/688.26	c nbDecision=257000 #constraints=21560
689.24/689.67	c nbDecision=257500 #constraints=21566
691.13/691.59	c nbDecision=258000 #constraints=21577
692.93/693.36	c nbDecision=258500 #constraints=21596
694.53/694.94	c nbDecision=259000 #constraints=21619
695.83/696.30	c nbDecision=259500 #constraints=21625
697.72/698.10	c nbDecision=260000 #constraints=21637
699.23/699.68	c nbDecision=260500 #constraints=21644
700.92/701.30	c nbDecision=261000 #constraints=21651
702.62/703.04	c nbDecision=261500 #constraints=21672
704.02/704.40	c nbDecision=262000 #constraints=21682
705.52/705.96	c nbDecision=262500 #constraints=21689
707.13/707.50	c nbDecision=263000 #constraints=21703
708.83/709.22	c nbDecision=263500 #constraints=21715
710.13/710.59	c nbDecision=264000 #constraints=21724
712.33/712.79	c nbDecision=264500 #constraints=21747
714.23/714.66	c nbDecision=265000 #constraints=21760
715.92/716.37	c nbDecision=265500 #constraints=21772
718.52/718.90	c nbDecision=266000 #constraints=21800
720.82/721.25	c nbDecision=266500 #constraints=21825
722.22/722.68	c nbDecision=267000 #constraints=21839
723.72/724.11	c nbDecision=267500 #constraints=21853
725.22/725.62	c nbDecision=268000 #constraints=21872
727.12/727.51	c nbDecision=268500 #constraints=21890
729.72/730.11	c nbDecision=269000 #constraints=21926
731.21/731.69	c nbDecision=269500 #constraints=21958
733.11/733.52	c nbDecision=270000 #constraints=21986
735.71/736.12	c nbDecision=270500 #constraints=22024
738.11/738.57	c nbDecision=271000 #constraints=22063
740.81/741.21	c nbDecision=271500 #constraints=22086
741.71/742.12	c nbDecision=272000 #constraints=22114
743.01/743.42	c nbDecision=272500 #constraints=22121
745.11/745.54	c nbDecision=273000 #constraints=22139
747.52/747.99	c nbDecision=273500 #constraints=22182
749.42/749.86	c nbDecision=274000 #constraints=22195
751.81/752.21	c nbDecision=274500 #constraints=22219
753.91/754.31	c nbDecision=275000 #constraints=22234
756.61/757.08	c nbDecision=275500 #constraints=22268
758.81/759.25	c nbDecision=276000 #constraints=22275
760.31/760.78	c nbDecision=276500 #constraints=22279
761.81/762.24	c nbDecision=277000 #constraints=22285
763.91/764.39	c nbDecision=277500 #constraints=22296
765.90/766.37	c nbDecision=278000 #constraints=22301
768.10/768.59	c nbDecision=278500 #constraints=22334
771.00/771.43	c nbDecision=279000 #constraints=22365
775.40/775.84	c nbDecision=279500 #constraints=22445
777.10/777.50	c nbDecision=280000 #constraints=22458
800.19/800.69	c nbDecision=280500 #constraints=22694
820.99/821.49	c nbDecision=281000 #constraints=22922
822.69/823.10	c nbDecision=281500 #constraints=22942
824.39/824.90	c nbDecision=282000 #constraints=22967
825.99/826.44	c nbDecision=282500 #constraints=22995
827.29/827.78	c nbDecision=283000 #constraints=22999
831.38/831.89	c nbDecision=283500 #constraints=23106
834.08/834.59	c nbDecision=284000 #constraints=23160
836.78/837.27	c nbDecision=284500 #constraints=23209
838.58/839.05	c nbDecision=285000 #constraints=23246
840.88/841.38	c nbDecision=285500 #constraints=23283
842.48/842.91	c nbDecision=286000 #constraints=23304
847.07/847.57	c nbDecision=286500 #constraints=23379
848.37/848.89	c nbDecision=287000 #constraints=23386
849.67/850.14	c nbDecision=287500 #constraints=23397
852.27/852.75	c nbDecision=288000 #constraints=23438
853.97/854.44	c nbDecision=288500 #constraints=23453
855.57/856.07	c nbDecision=289000 #constraints=23468
857.77/858.29	c nbDecision=289500 #constraints=23500
859.58/860.04	c nbDecision=290000 #constraints=23517
860.88/861.32	c nbDecision=290500 #constraints=23528
863.57/864.01	c nbDecision=291000 #constraints=23559
865.47/865.96	c nbDecision=291500 #constraints=23576
867.38/867.89	c nbDecision=292000 #constraints=23593
869.07/869.54	c nbDecision=292500 #constraints=23613
870.67/871.18	c nbDecision=293000 #constraints=23627
871.97/872.48	c nbDecision=293500 #constraints=23638
873.87/874.38	c nbDecision=294000 #constraints=23652
876.96/877.41	c nbDecision=294500 #constraints=23682
878.47/878.99	c nbDecision=295000 #constraints=23695
879.96/880.49	c nbDecision=295500 #constraints=23704
881.66/882.10	c nbDecision=296000 #constraints=23717
882.96/883.48	c nbDecision=296500 #constraints=23724
884.66/885.15	c nbDecision=297000 #constraints=23733
886.66/887.10	c nbDecision=297500 #constraints=23753
888.76/889.27	c nbDecision=298000 #constraints=23773
890.56/891.09	c nbDecision=298500 #constraints=23784
892.06/892.59	c nbDecision=299000 #constraints=23808
894.65/895.10	c nbDecision=299500 #constraints=23840
896.85/897.35	c nbDecision=300000 #constraints=23872
898.75/899.22	c nbDecision=300500 #constraints=23887
900.95/901.41	c nbDecision=301000 #constraints=23914
903.05/903.59	c nbDecision=301500 #constraints=23939
904.35/904.87	c nbDecision=302000 #constraints=23946
906.35/906.89	c nbDecision=302500 #constraints=23967
908.15/908.67	c nbDecision=303000 #constraints=23988
910.46/910.96	c nbDecision=303500 #constraints=24017
911.85/912.31	c nbDecision=304000 #constraints=24034
913.95/914.40	c nbDecision=304500 #constraints=24047
915.76/916.25	c nbDecision=305000 #constraints=24061
917.85/918.39	c nbDecision=305500 #constraints=24080
919.35/919.87	c nbDecision=306000 #constraints=24090
920.55/921.00	c nbDecision=306500 #constraints=24092
922.35/922.88	c nbDecision=307000 #constraints=24110
923.95/924.41	c nbDecision=307500 #constraints=24118
925.75/926.21	c nbDecision=308000 #constraints=24129
927.65/928.10	c nbDecision=308500 #constraints=24153
929.24/929.70	c nbDecision=309000 #constraints=24163
931.25/931.79	c nbDecision=309500 #constraints=24182
933.54/934.09	c nbDecision=310000 #constraints=24210
934.84/935.39	c nbDecision=310500 #constraints=24217
936.54/937.06	c nbDecision=311000 #constraints=24229
938.74/939.22	c nbDecision=311500 #constraints=24248
940.24/940.73	c nbDecision=312000 #constraints=24268
941.84/942.35	c nbDecision=312500 #constraints=24278
943.34/943.82	c nbDecision=313000 #constraints=24284
944.94/945.45	c nbDecision=313500 #constraints=24291
946.93/947.44	c nbDecision=314000 #constraints=24307
948.33/948.83	c nbDecision=314500 #constraints=24319
950.53/951.04	c nbDecision=315000 #constraints=24345
953.03/953.58	c nbDecision=315500 #constraints=24373
954.53/955.09	c nbDecision=316000 #constraints=24392
956.24/956.72	c nbDecision=316500 #constraints=24403
958.64/959.18	c nbDecision=317000 #constraints=24432
960.33/960.85	c nbDecision=317500 #constraints=24444
961.63/962.12	c nbDecision=318000 #constraints=24450
963.73/964.29	c nbDecision=318500 #constraints=24470
965.83/966.31	c nbDecision=319000 #constraints=24487
967.03/967.53	c nbDecision=319500 #constraints=24492
969.53/970.01	c nbDecision=320000 #constraints=24518
971.63/972.10	c nbDecision=320500 #constraints=24538
972.83/973.32	c nbDecision=321000 #constraints=24544
974.92/975.42	c nbDecision=321500 #constraints=24560
976.62/977.11	c nbDecision=322000 #constraints=24574
978.22/978.75	c nbDecision=322500 #constraints=24583
979.52/980.06	c nbDecision=323000 #constraints=24590
981.02/981.53	c nbDecision=323500 #constraints=24596
982.62/983.15	c nbDecision=324000 #constraints=24607
984.12/984.61	c nbDecision=324500 #constraints=24620
986.02/986.59	c nbDecision=325000 #constraints=24646
988.61/989.19	c nbDecision=325500 #constraints=24679
990.81/991.39	c nbDecision=326000 #constraints=24703
992.21/992.79	c nbDecision=326500 #constraints=24713
994.51/995.09	c nbDecision=327000 #constraints=24738
995.91/996.48	c nbDecision=327500 #constraints=24750
997.51/998.03	c nbDecision=328000 #constraints=24763
999.51/1000.08	c nbDecision=328500 #constraints=24784
1001.42/1001.99	c nbDecision=329000 #constraints=24800
1003.52/1004.03	c nbDecision=329500 #constraints=24817
1005.41/1005.94	c nbDecision=330000 #constraints=24834
1007.02/1007.54	c nbDecision=330500 #constraints=24847
1008.31/1008.85	c nbDecision=331000 #constraints=24852
1009.81/1010.34	c nbDecision=331500 #constraints=24859
1011.61/1012.20	c nbDecision=332000 #constraints=24872
1013.81/1014.31	c nbDecision=332500 #constraints=24894
1015.70/1016.24	c nbDecision=333000 #constraints=24925
1017.50/1018.05	c nbDecision=333500 #constraints=24942
1019.30/1019.88	c nbDecision=334000 #constraints=24958
1021.41/1021.96	c nbDecision=334500 #constraints=24978
1023.10/1023.61	c nbDecision=335000 #constraints=24986
1024.60/1025.18	c nbDecision=335500 #constraints=24999
1026.70/1027.24	c nbDecision=336000 #constraints=25019
1027.90/1028.45	c nbDecision=336500 #constraints=25022
1029.90/1030.48	c nbDecision=337000 #constraints=25041
1032.00/1032.56	c nbDecision=337500 #constraints=25060
1033.60/1034.10	c nbDecision=338000 #constraints=25067
1035.40/1035.98	c nbDecision=338500 #constraints=25083
1036.99/1037.51	c nbDecision=339000 #constraints=25096
1038.79/1039.35	c nbDecision=339500 #constraints=25114
1040.19/1040.76	c nbDecision=340000 #constraints=25118
1043.49/1044.09	c nbDecision=340500 #constraints=25158
1045.79/1046.32	c nbDecision=341000 #constraints=25188
1047.09/1047.62	c nbDecision=341500 #constraints=25196
1049.39/1049.93	c nbDecision=342000 #constraints=25223
1050.89/1051.44	c nbDecision=342500 #constraints=25235
1053.00/1053.56	c nbDecision=343000 #constraints=25259
1054.69/1055.25	c nbDecision=343500 #constraints=25271
1056.60/1057.12	c nbDecision=344000 #constraints=25286
1058.09/1058.66	c nbDecision=344500 #constraints=25307
1059.39/1059.93	c nbDecision=345000 #constraints=25309
1061.69/1062.26	c nbDecision=345500 #constraints=25332
1063.20/1063.76	c nbDecision=346000 #constraints=25356
1065.19/1065.71	c nbDecision=346500 #constraints=25377
1066.49/1067.06	c nbDecision=347000 #constraints=25382
1069.59/1070.18	c nbDecision=347500 #constraints=25415
1071.49/1072.06	c nbDecision=348000 #constraints=25428
1072.79/1073.39	c nbDecision=348500 #constraints=25435
1074.68/1075.29	c nbDecision=349000 #constraints=25447
1076.88/1077.43	c nbDecision=349500 #constraints=25464
1078.78/1079.38	c nbDecision=350000 #constraints=25476
1080.48/1081.03	c nbDecision=350500 #constraints=25487
1082.28/1082.81	c nbDecision=351000 #constraints=25495
1085.08/1085.61	c nbDecision=351500 #constraints=25521
1087.08/1087.67	c nbDecision=352000 #constraints=25538
1088.97/1089.56	c nbDecision=352500 #constraints=25550
1090.58/1091.16	c nbDecision=353000 #constraints=25560
1092.37/1092.97	c nbDecision=353500 #constraints=25573
1093.98/1094.51	c nbDecision=354000 #constraints=25579
1096.77/1097.33	c nbDecision=354500 #constraints=25606
1098.17/1098.76	c nbDecision=355000 #constraints=25615
1099.97/1100.52	c nbDecision=355500 #constraints=25632
1101.58/1102.10	c nbDecision=356000 #constraints=25643
1103.48/1104.05	c nbDecision=356500 #constraints=25657
1105.77/1106.30	c nbDecision=357000 #constraints=25678
1107.87/1108.43	c nbDecision=357500 #constraints=25691
1109.97/1110.52	c nbDecision=358000 #constraints=25705
1111.58/1112.12	c nbDecision=358500 #constraints=25709
1113.57/1114.13	c nbDecision=359000 #constraints=25725
1115.37/1115.93	c nbDecision=359500 #constraints=25738
1117.37/1117.96	c nbDecision=360000 #constraints=25751
1119.27/1119.85	c nbDecision=360500 #constraints=25763
1121.57/1122.14	c nbDecision=361000 #constraints=25787
1123.57/1124.11	c nbDecision=361500 #constraints=25797
1125.56/1126.12	c nbDecision=362000 #constraints=25813
1127.97/1128.51	c nbDecision=362500 #constraints=25830
1129.76/1130.34	c nbDecision=363000 #constraints=25841
1131.56/1132.14	c nbDecision=363500 #constraints=25849
1133.36/1133.96	c nbDecision=364000 #constraints=25856
1134.86/1135.48	c nbDecision=364500 #constraints=25867
1137.75/1138.37	c nbDecision=365000 #constraints=25899
1139.16/1139.70	c nbDecision=365500 #constraints=25903
1140.56/1141.17	c nbDecision=366000 #constraints=25908
1141.96/1142.51	c nbDecision=366500 #constraints=25914
1143.96/1144.58	c nbDecision=367000 #constraints=25927
1145.66/1146.24	c nbDecision=367500 #constraints=25933
1147.66/1148.26	c nbDecision=368000 #constraints=25946
1149.96/1150.50	c nbDecision=368500 #constraints=25966
1151.16/1151.75	c nbDecision=369000 #constraints=25969
1154.15/1154.72	c nbDecision=369500 #constraints=26005
1156.56/1157.16	c nbDecision=370000 #constraints=26030
1157.95/1158.50	c nbDecision=370500 #constraints=26036
1160.15/1160.70	c nbDecision=371000 #constraints=26051
1161.35/1161.98	c nbDecision=371500 #constraints=26053
1162.85/1163.45	c nbDecision=372000 #constraints=26056
1164.55/1165.14	c nbDecision=372500 #constraints=26064
1167.55/1168.14	c nbDecision=373000 #constraints=26088
1169.04/1169.61	c nbDecision=373500 #constraints=26091
1170.24/1170.89	c nbDecision=374000 #constraints=26095
1171.84/1172.48	c nbDecision=374500 #constraints=26101
1173.34/1173.99	c nbDecision=375000 #constraints=26110
1174.74/1175.34	c nbDecision=375500 #constraints=26119
1177.64/1178.30	c nbDecision=376000 #constraints=26151
1179.04/1179.67	c nbDecision=376500 #constraints=26154
1180.74/1181.30	c nbDecision=377000 #constraints=26163
1182.04/1182.62	c nbDecision=377500 #constraints=26166
1184.64/1185.28	c nbDecision=378000 #constraints=26190
1187.23/1187.86	c nbDecision=378500 #constraints=26219
1189.43/1190.06	c nbDecision=379000 #constraints=26238
1191.43/1192.04	c nbDecision=379500 #constraints=26248
1193.04/1193.66	c nbDecision=380000 #constraints=26264
1195.34/1195.98	c nbDecision=380500 #constraints=26287
1196.74/1197.33	c nbDecision=381000 #constraints=26291
1199.03/1199.64	c nbDecision=381500 #constraints=26314
1201.83/1202.45	c nbDecision=382000 #constraints=26334
1203.23/1203.88	c nbDecision=382500 #constraints=26340
1204.94/1205.52	c nbDecision=383000 #constraints=26352
1206.33/1206.96	c nbDecision=383500 #constraints=26359
1208.53/1209.18	c nbDecision=384000 #constraints=26386
1211.23/1211.83	c nbDecision=384500 #constraints=26427
1212.93/1213.59	c nbDecision=385000 #constraints=26436
1214.33/1214.94	c nbDecision=385500 #constraints=26443
1216.43/1217.01	c nbDecision=386000 #constraints=26458
1217.72/1218.38	c nbDecision=386500 #constraints=26468
1219.92/1220.50	c nbDecision=387000 #constraints=26486
1222.12/1222.77	c nbDecision=387500 #constraints=26510
1223.82/1224.43	c nbDecision=388000 #constraints=26522
1225.42/1226.05	c nbDecision=388500 #constraints=26533
1227.82/1228.44	c nbDecision=389000 #constraints=26551
1229.22/1229.82	c nbDecision=389500 #constraints=26557
1230.82/1231.43	c nbDecision=390000 #constraints=26565
1232.92/1233.59	c nbDecision=390500 #constraints=26585
1234.83/1235.41	c nbDecision=391000 #constraints=26616
1236.62/1237.22	c nbDecision=391500 #constraints=26649
1238.22/1238.84	c nbDecision=392000 #constraints=26678
1240.62/1241.26	c nbDecision=392500 #constraints=26700
1242.72/1243.33	c nbDecision=393000 #constraints=26751
1244.42/1245.06	c nbDecision=393500 #constraints=26772
1246.32/1246.99	c nbDecision=394000 #constraints=26785
1247.82/1248.49	c nbDecision=394500 #constraints=26789
1251.01/1251.70	c nbDecision=395000 #constraints=26811
1254.31/1254.97	c nbDecision=395500 #constraints=26837
1256.61/1257.29	c nbDecision=396000 #constraints=26857
1258.81/1259.40	c nbDecision=396500 #constraints=26869
1260.61/1261.26	c nbDecision=397000 #constraints=26878
1262.90/1263.50	c nbDecision=397500 #constraints=26893
1265.20/1265.84	c nbDecision=398000 #constraints=26908
1267.50/1268.12	c nbDecision=398500 #constraints=26923
1269.61/1270.20	c nbDecision=399000 #constraints=26933
1271.91/1272.60	c nbDecision=399500 #constraints=26952
1274.41/1275.07	c nbDecision=400000 #constraints=26970
1276.71/1277.35	c nbDecision=400500 #constraints=26988
1279.50/1280.16	c nbDecision=401000 #constraints=27016
1282.01/1282.69	c nbDecision=401500 #constraints=27044
1284.10/1284.75	c nbDecision=402000 #constraints=27059
1286.60/1287.28	c nbDecision=402500 #constraints=27075
1288.00/1288.68	c nbDecision=403000 #constraints=27077
1289.60/1290.28	c nbDecision=403500 #constraints=27081
1292.70/1293.31	c nbDecision=404000 #constraints=27108
1294.00/1294.68	c nbDecision=404500 #constraints=27109
1295.69/1296.31	c nbDecision=405000 #constraints=27116
1297.09/1297.72	c nbDecision=405500 #constraints=27124
1299.99/1300.67	c nbDecision=406000 #constraints=27146
1301.59/1302.23	c nbDecision=406500 #constraints=27156
1303.09/1303.74	c nbDecision=407000 #constraints=27163
1306.19/1306.82	c nbDecision=407500 #constraints=27212
1309.99/1310.66	c nbDecision=408000 #constraints=27268
1312.88/1313.56	c nbDecision=408500 #constraints=27315
1315.38/1316.01	c nbDecision=409000 #constraints=27355
1318.29/1318.94	c nbDecision=409500 #constraints=27393
1318.69/1319.34	c restart after 409601 decisions
1321.19/1321.83	c nbDecision=410000 #constraints=27396
1322.59/1323.23	c nbDecision=410500 #constraints=27416
1323.29/1323.96	c nbDecision=411000 #constraints=27428
1325.39/1326.04	c nbDecision=411500 #constraints=27451
1328.39/1329.09	c nbDecision=412000 #constraints=27496
1332.78/1333.43	c nbDecision=412500 #constraints=27555
1336.18/1336.82	c nbDecision=413000 #constraints=27593
1339.68/1340.38	c nbDecision=413500 #constraints=27654
1344.18/1344.82	c nbDecision=414000 #constraints=27726
1349.37/1350.02	c nbDecision=414500 #constraints=27770
1352.77/1353.46	c nbDecision=415000 #constraints=27798
1355.47/1356.17	c nbDecision=415500 #constraints=27844
1358.57/1359.21	c nbDecision=416000 #constraints=27865
1361.37/1362.02	c nbDecision=416500 #constraints=27903
1365.26/1365.93	c nbDecision=417000 #constraints=27944
1369.17/1369.81	c nbDecision=417500 #constraints=28003
1373.06/1373.77	c nbDecision=418000 #constraints=28064
1376.76/1377.44	c nbDecision=418500 #constraints=28117
1380.16/1380.89	c nbDecision=419000 #constraints=28138
1386.26/1387.00	c nbDecision=419500 #constraints=28182
1391.06/1391.76	c nbDecision=420000 #constraints=28227
1395.05/1395.74	c nbDecision=420500 #constraints=28277
1398.95/1399.62	c nbDecision=421000 #constraints=28307
1402.75/1403.47	c nbDecision=421500 #constraints=28339
1407.26/1407.93	c nbDecision=422000 #constraints=28402
1409.76/1410.49	c nbDecision=422500 #constraints=28442
1412.95/1413.65	c nbDecision=423000 #constraints=28483
1416.45/1417.17	c nbDecision=423500 #constraints=28532
1420.35/1421.09	c nbDecision=424000 #constraints=28584
1422.85/1423.54	c nbDecision=424500 #constraints=28613
1427.05/1427.79	c nbDecision=425000 #constraints=28646
1430.75/1431.47	c nbDecision=425500 #constraints=28679
1434.64/1435.33	c nbDecision=426000 #constraints=28719
1438.05/1438.72	c nbDecision=426500 #constraints=28740
1442.04/1442.72	c nbDecision=427000 #constraints=28777
1445.74/1446.49	c nbDecision=427500 #constraints=28810
1449.34/1450.00	c nbDecision=428000 #constraints=28837
1454.23/1454.90	c nbDecision=428500 #constraints=28865
1456.63/1457.34	c nbDecision=429000 #constraints=28878
1459.23/1459.98	c nbDecision=429500 #constraints=28905
1461.73/1462.44	c nbDecision=430000 #constraints=28932
1464.63/1465.30	c nbDecision=430500 #constraints=28965
1467.93/1468.64	c nbDecision=431000 #constraints=29001
1470.93/1471.60	c nbDecision=431500 #constraints=29027
1473.53/1474.21	c nbDecision=432000 #constraints=29038
1476.63/1477.36	c nbDecision=432500 #constraints=29062
1480.12/1480.82	c nbDecision=433000 #constraints=29112
1481.62/1482.37	c nbDecision=433500 #constraints=29151
1485.92/1486.62	c nbDecision=434000 #constraints=29217
1488.92/1489.65	c nbDecision=434500 #constraints=29254
1494.92/1495.70	c nbDecision=435000 #constraints=29307
1498.02/1498.72	c nbDecision=435500 #constraints=29434
1502.71/1503.41	c nbDecision=436000 #constraints=29655
1505.62/1506.32	c nbDecision=436500 #constraints=29727
1508.32/1509.09	c nbDecision=437000 #constraints=29770
1510.82/1511.50	c nbDecision=437500 #constraints=29833
1513.62/1514.34	c nbDecision=438000 #constraints=29880
1516.51/1517.29	c nbDecision=438500 #constraints=29964
1519.91/1520.65	c nbDecision=439000 #constraints=30002
1522.61/1523.38	c nbDecision=439500 #constraints=30072
1525.22/1525.99	c nbDecision=440000 #constraints=30090
1527.31/1528.04	c nbDecision=440500 #constraints=30109
1529.71/1530.49	c nbDecision=441000 #constraints=30153
1533.81/1534.53	c nbDecision=441500 #constraints=30226
1536.01/1536.79	c nbDecision=442000 #constraints=30250
1537.80/1538.60	c nbDecision=442500 #constraints=30267
1540.20/1540.93	c nbDecision=443000 #constraints=30302
1542.90/1543.69	c nbDecision=443500 #constraints=30329
1545.10/1545.81	c nbDecision=444000 #constraints=30344
1548.01/1548.73	c nbDecision=444500 #constraints=30377
1550.21/1550.98	c nbDecision=445000 #constraints=30393
1553.90/1554.69	c nbDecision=445500 #constraints=30466
1557.10/1557.87	c nbDecision=446000 #constraints=30559
1559.79/1560.54	c nbDecision=446500 #constraints=30640
1563.50/1564.22	c nbDecision=447000 #constraints=30710
1565.39/1566.11	c nbDecision=447500 #constraints=30717
1567.69/1568.49	c nbDecision=448000 #constraints=30753
1569.99/1570.75	c nbDecision=448500 #constraints=30781
1573.49/1574.24	c nbDecision=449000 #constraints=30828
1575.79/1576.57	c nbDecision=449500 #constraints=30853
1578.49/1579.24	c nbDecision=450000 #constraints=30882
1580.79/1581.56	c nbDecision=450500 #constraints=30907
1583.59/1584.30	c nbDecision=451000 #constraints=30940
1585.79/1586.53	c nbDecision=451500 #constraints=30970
1587.99/1588.73	c nbDecision=452000 #constraints=30997
1590.59/1591.31	c nbDecision=452500 #constraints=31022
1592.89/1593.67	c nbDecision=453000 #constraints=31029
1594.69/1595.49	c nbDecision=453500 #constraints=31032
1596.98/1597.72	c nbDecision=454000 #constraints=31057
1600.18/1600.96	c nbDecision=454500 #constraints=31096
1603.28/1604.08	c nbDecision=455000 #constraints=31123
1605.98/1606.74	c nbDecision=455500 #constraints=31156
1607.88/1608.66	c nbDecision=456000 #constraints=31164
1612.28/1613.09	c nbDecision=456500 #constraints=31221
1616.77/1617.51	c nbDecision=457000 #constraints=31235
1617.57/1618.37	c nbDecision=457500 #constraints=31256
1619.67/1620.43	c nbDecision=458000 #constraints=31268
1629.67/1630.47	c nbDecision=458500 #constraints=31338
1640.76/1641.59	c nbDecision=459000 #constraints=31420
1644.46/1645.28	c nbDecision=459500 #constraints=31441
1648.56/1649.39	c nbDecision=460000 #constraints=31468
1654.77/1655.54	c nbDecision=460500 #constraints=31500
1661.76/1662.52	c nbDecision=461000 #constraints=31541
1664.36/1665.17	c nbDecision=461500 #constraints=31549
1670.06/1670.85	c nbDecision=462000 #constraints=31590
1674.75/1675.52	c nbDecision=462500 #constraints=31607
1678.45/1679.23	c nbDecision=463000 #constraints=31630
1680.35/1681.17	c nbDecision=463500 #constraints=31636
1685.75/1686.53	c nbDecision=464000 #constraints=31665
1732.04/1732.84	c nbDecision=464500 #constraints=31976
1770.52/1771.30	c nbDecision=465000 #constraints=32234
1800.01/1800.80	Received signal 15
1800.51/1801.34	
1800.51/1801.34	s UNKNOWN
1800.51/1801.34	
1800.51/1801.34	c user time= 1799.99 s
1800.51/1801.34	c system time= 0.576912 s
1800.51/1801.34	c wall clock time=1801.35

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/node20/watcher-357328-1176994658 -o ROOT/results/node20/solver-357328-1176994658 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357328-1176994658/instance-357328-1176994658.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.99 0.97 0.98 3/77 32699
/proc/meminfo: memFree=1815984/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=1468 CPUtime=0
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147383132 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134830897 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 367 161 127 317 0 46 0

[startup+0.0764909 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 32699
/proc/meminfo: memFree=1815984/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=2524 CPUtime=0.07
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 430 0 0 0 7 0 0 0 18 0 1 0 147383132 2584576 412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 631 412 131 317 0 310 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2524

[startup+0.101496 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 32699
/proc/meminfo: memFree=1815984/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=2924 CPUtime=0.09
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 542 0 0 0 9 0 0 0 18 0 1 0 147383132 2994176 524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 731 524 131 317 0 410 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2924

[startup+0.301537 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 32699
/proc/meminfo: memFree=1815984/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=6380 CPUtime=0.29
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 1409 0 0 0 29 0 0 0 19 0 1 0 147383132 6533120 1391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 1595 1391 131 317 0 1274 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6380

[startup+0.701617 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 32699
/proc/meminfo: memFree=1815984/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=13404 CPUtime=0.69
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 3171 0 0 0 68 1 0 0 22 0 1 0 147383132 13725696 3153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 3351 3153 131 317 0 3030 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13404

[startup+1.50278 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32700
/proc/meminfo: memFree=1798120/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=19112 CPUtime=1.49
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 4597 0 0 0 147 2 0 0 25 0 1 0 147383132 19570688 4579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 4778 4579 138 317 0 4457 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19112

[startup+3.1011 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32700
/proc/meminfo: memFree=1797992/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=19276 CPUtime=3.09
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 4617 0 0 0 307 2 0 0 25 0 1 0 147383132 19738624 4599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385272 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 4819 4599 139 317 0 4498 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19276

[startup+6.30174 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32700
/proc/meminfo: memFree=1797224/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=20060 CPUtime=6.29
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 4811 0 0 0 627 2 0 0 25 0 1 0 147383132 20541440 4793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 5015 4793 139 317 0 4694 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20060

[startup+12.702 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32700
/proc/meminfo: memFree=1795496/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=21768 CPUtime=12.68
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 5277 0 0 0 1266 2 0 0 25 0 1 0 147383132 22290432 5259 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385350 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 5442 5259 170 317 0 5121 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21768

[startup+25.5016 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32700
/proc/meminfo: memFree=1791592/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=25500 CPUtime=25.48
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 6214 0 0 0 2544 4 0 0 25 0 1 0 147383132 26112000 6196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 6375 6196 170 317 0 6054 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25500

[startup+51.1017 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32700
/proc/meminfo: memFree=1780136/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=37080 CPUtime=51.07
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 9097 0 0 0 5101 6 0 0 25 0 1 0 147383132 37969920 9079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 9270 9079 170 317 0 8949 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 37080

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32700
/proc/meminfo: memFree=1761064/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=56500 CPUtime=102.26
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 13870 0 0 0 10217 9 0 0 25 0 1 0 147383132 57856000 13808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 14125 13808 170 317 0 13804 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 56500

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 32700
/proc/meminfo: memFree=1747688/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=70736 CPUtime=162.23
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 17218 0 0 0 16211 12 0 0 25 0 1 0 147383132 72433664 17156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 17684 17156 170 317 0 17363 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 70736

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 348
/proc/meminfo: memFree=1732776/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=84452 CPUtime=222.15
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 20640 0 0 0 22200 15 0 0 25 0 1 0 147383132 86478848 20492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 21113 20492 170 317 0 20792 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 84452

[startup+282.301 s]
/proc/loadavg: 1.10 1.02 1.00 2/78 430
/proc/meminfo: memFree=1726120/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=91968 CPUtime=282.08
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 22606 0 0 0 28191 17 0 0 25 0 1 0 147383132 94175232 22458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 22992 22458 170 317 0 22671 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 91968

[startup+342.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 430
/proc/meminfo: memFree=1715240/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=103720 CPUtime=342.05
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 25306 0 0 0 34185 20 0 0 25 0 1 0 147383132 106209280 25158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385184 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 25930 25158 170 317 0 25609 0
Current children cumulated CPU time (s) 342.05
Current children cumulated vsize (KiB) 103720

[startup+402.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 430
/proc/meminfo: memFree=1705256/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=115144 CPUtime=402.03
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 27874 0 0 0 40180 23 0 0 25 0 1 0 147383132 117907456 27726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711192 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 28786 27726 170 317 0 28465 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 115144

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1696232/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=124248 CPUtime=462.01
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 30102 0 0 0 46176 25 0 0 25 0 1 0 147383132 127229952 29954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 31062 29954 170 317 0 30741 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 124248

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1689128/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=131764 CPUtime=522
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 31889 0 0 0 52173 27 0 0 25 0 1 0 147383132 134926336 31741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 32941 31741 170 317 0 32620 0
Current children cumulated CPU time (s) 522
Current children cumulated vsize (KiB) 131764

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1681000/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=140116 CPUtime=581.97
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 33871 0 0 0 58168 29 0 0 25 0 1 0 147383132 143478784 33723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 35029 33723 170 317 0 34708 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 140116

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1674856/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=146072 CPUtime=641.95
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 35417 0 0 0 64164 31 0 0 25 0 1 0 147383132 149577728 35269 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 36518 35269 170 317 0 36197 0
Current children cumulated CPU time (s) 641.95
Current children cumulated vsize (KiB) 146072


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

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1640104/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=181940 CPUtime=1001.82
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 44077 0 0 0 100142 40 0 0 25 0 1 0 147383132 186306560 43929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 45485 43929 170 317 0 45164 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 181940

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1633000/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=191296 CPUtime=1061.79
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 46014 0 0 0 106138 41 0 0 25 0 1 0 147383132 195887104 45695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 47824 45695 170 317 0 47503 0
Current children cumulated CPU time (s) 1061.79
Current children cumulated vsize (KiB) 191296

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1627304/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=197132 CPUtime=1121.77
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 47415 0 0 0 112135 42 0 0 25 0 1 0 147383132 201863168 47096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 49283 47096 170 317 0 48962 0
Current children cumulated CPU time (s) 1121.77
Current children cumulated vsize (KiB) 197132

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1622568/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=202068 CPUtime=1181.74
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 48599 0 0 0 118131 43 0 0 25 0 1 0 147383132 206917632 48280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 50517 48280 170 317 0 50196 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 202068

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1616232/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=209228 CPUtime=1241.72
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 50176 0 0 0 124127 45 0 0 25 0 1 0 147383132 214249472 49857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563529 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 52307 49857 170 317 0 51986 0
Current children cumulated CPU time (s) 1241.72
Current children cumulated vsize (KiB) 209228

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1610792/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=214744 CPUtime=1301.69
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 51500 0 0 0 130123 46 0 0 25 0 1 0 147383132 219897856 51181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 53686 51181 170 317 0 53365 0
Current children cumulated CPU time (s) 1301.69
Current children cumulated vsize (KiB) 214744

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1606952/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=219256 CPUtime=1361.67
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 52475 0 0 0 136120 47 0 0 25 0 1 0 147383132 224518144 52156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 54814 52156 170 317 0 54493 0
Current children cumulated CPU time (s) 1361.67
Current children cumulated vsize (KiB) 219256

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1604328/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=221712 CPUtime=1421.65
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 53125 0 0 0 142116 49 0 0 25 0 1 0 147383132 227033088 52806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718425 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 55428 52806 170 317 0 55107 0
Current children cumulated CPU time (s) 1421.65
Current children cumulated vsize (KiB) 221712

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1602216/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=224324 CPUtime=1481.62
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 53682 0 0 0 148113 49 0 0 25 0 1 0 147383132 229707776 53363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271382 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 56081 53363 170 317 0 55760 0
Current children cumulated CPU time (s) 1481.62
Current children cumulated vsize (KiB) 224324

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1590376/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=235572 CPUtime=1541.6
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 56595 0 0 0 154108 52 0 0 25 0 1 0 147383132 241225728 56276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 58893 56276 170 317 0 58572 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 235572

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1581800/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=243732 CPUtime=1601.58
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 58756 0 0 0 160104 54 0 0 25 0 1 0 147383132 249581568 58437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 60933 58437 170 317 0 60612 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 243732

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1578728/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=246796 CPUtime=1661.56
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 59492 0 0 0 166101 55 0 0 25 0 1 0 147383132 252719104 59173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 61699 59173 170 317 0 61378 0
Current children cumulated CPU time (s) 1661.56
Current children cumulated vsize (KiB) 246796

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1575784/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=249468 CPUtime=1721.54
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 60229 0 0 0 172098 56 0 0 25 0 1 0 147383132 255455232 59910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 62367 59910 170 317 0 62046 0
Current children cumulated CPU time (s) 1721.54
Current children cumulated vsize (KiB) 249468

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1571752/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=253944 CPUtime=1781.52
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 61213 0 0 0 178095 57 0 0 25 0 1 0 147383132 260038656 60894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 63486 60894 170 317 0 63165 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (KiB) 253944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1570536/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=255260 CPUtime=1800.01
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 61514 0 0 0 179944 57 0 0 25 0 1 0 147383132 261386240 61195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 63815 61195 170 317 0 63494 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 255260

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1570536/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=255260 CPUtime=1800.21
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 61515 0 0 0 179964 57 0 0 25 0 1 0 147383132 261386240 61196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 63815 61196 170 317 0 63494 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 255260

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1570536/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=255260 CPUtime=1800.41
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 61517 0 0 0 179984 57 0 0 25 0 1 0 147383132 261386240 61198 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 63815 61198 170 317 0 63494 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 255260

[startup+1801.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 430
/proc/meminfo: memFree=1570536/2055920 swapFree=4155228/4192956
[pid=32699] ppid=32697 vsize=255260 CPUtime=1800.51
/proc/32699/stat : 32699 (oree) R 32697 32699 32269 0 -1 4194304 61519 0 0 0 179994 57 0 0 25 0 1 0 147383132 261386240 61200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32699/statm: 63815 61200 170 317 0 63494 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (KiB) 255260

Child status: 0
Real time (s): 1801.4
CPU time (s): 1800.62
CPU user time (s): 1800
CPU system time (s): 0.615906
CPU usage (%): 99.9566
Max. virtual memory (cumulated for all children) (KiB): 255260

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

runsolver used 2.08468 second user time and 4.44832 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Thu Apr 19 14:57:38 UTC 2007

IDJOB= 357328
IDBENCH= 2415
IDSOLVER= 172
FILE ID= node20/357328-1176994658

PBS_JOBID= 4630460

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  459c1d0101a0e61c9c386c9d02f149df

RANDOM SEED= 728354779

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.265
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.265
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:       1816328 kB
Buffers:         28772 kB
Cached:         127456 kB
SwapCached:      16084 kB
Active:          80916 kB
Inactive:        98296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1816328 kB
SwapTotal:     4192956 kB
SwapFree:      4155228 kB
Dirty:            3948 kB
Writeback:           0 kB
Mapped:          29964 kB
Slab:            45892 kB
Committed_AS:  1892872 kB
PageTables:       1744 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= 66453 MiB

End job on node20 on Thu Apr 19 15:27:41 UTC 2007