Trace number 357345

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.37 1801.09

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-boeing1.opb
MD5SUM89b57889d16cd406631a12aac7aefa29
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8869
Total number of constraints561
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 constraints561
Minimum length of a constraint11
Maximum length of a constraint6849
Number of terms in the objective function 6523
Biggest coefficient in the objective function 24535000678400
Number of bits for the biggest coefficient in the objective function 45
Sum of the numbers in the objective function 1761916844753634
Number of bits of the sum of numbers in the objective function 51
Biggest number in a constraint 4102681610158080
Number of bits of the biggest number in a constraint 52
Biggest sum of numbers in a constraint 384599747612655519
Number of bits of the biggest sum of numbers59
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.19/0.25	c ...done
0.19/0.25	c #vars=8869 #constraints=571 hasObjective=yes
0.29/0.34	c res. mode=mod
0.29/0.34	c VSIDS like heuristics
0.29/0.34	c complete search running
0.39/0.48	c restart after 401 decisions
0.39/0.49	c nbDecision=500 #constraints=669
0.49/0.54	c restart after 801 decisions
0.49/0.58	c nbDecision=1000 #constraints=708
0.69/0.74	c nbDecision=1500 #constraints=794
0.69/0.76	c restart after 1601 decisions
0.79/0.90	c nbDecision=2000 #constraints=879
1.00/1.09	c nbDecision=2500 #constraints=990
1.19/1.24	c nbDecision=3000 #constraints=1065
1.29/1.31	c restart after 3201 decisions
1.39/1.43	c nbDecision=3500 #constraints=1139
1.59/1.63	c nbDecision=4000 #constraints=1225
1.69/1.79	c nbDecision=4500 #constraints=1292
1.89/1.98	c nbDecision=5000 #constraints=1356
2.09/2.15	c nbDecision=5500 #constraints=1421
2.19/2.28	c nbDecision=6000 #constraints=1461
2.39/2.44	c restart after 6401 decisions
2.39/2.49	c nbDecision=6500 #constraints=1530
2.69/2.72	c nbDecision=7000 #constraints=1599
2.99/3.02	c nbDecision=7500 #constraints=1689
3.29/3.33	c nbDecision=8000 #constraints=1786
3.59/3.64	c nbDecision=8500 #constraints=1858
3.89/3.90	c nbDecision=9000 #constraints=1948
4.09/4.19	c nbDecision=9500 #constraints=2050
4.39/4.43	c nbDecision=10000 #constraints=2112
4.69/4.75	c nbDecision=10500 #constraints=2195
4.99/5.05	c nbDecision=11000 #constraints=2271
5.39/5.45	c nbDecision=11500 #constraints=2349
5.69/5.73	c nbDecision=12000 #constraints=2413
6.09/6.11	c nbDecision=12500 #constraints=2528
6.28/6.34	c restart after 12801 decisions
6.38/6.42	c nbDecision=13000 #constraints=2583
6.59/6.69	c nbDecision=13500 #constraints=2633
6.79/6.88	c nbDecision=14000 #constraints=2669
6.99/7.09	c nbDecision=14500 #constraints=2710
7.19/7.29	c nbDecision=15000 #constraints=2746
7.49/7.50	c nbDecision=15500 #constraints=2773
7.69/7.74	c nbDecision=16000 #constraints=2805
7.89/7.90	c nbDecision=16500 #constraints=2823
7.99/8.09	c nbDecision=17000 #constraints=2846
8.29/8.36	c nbDecision=17500 #constraints=2881
8.49/8.55	c nbDecision=18000 #constraints=2902
8.69/8.77	c nbDecision=18500 #constraints=2928
8.89/8.93	c nbDecision=19000 #constraints=2950
9.09/9.11	c nbDecision=19500 #constraints=2970
9.29/9.34	c nbDecision=20000 #constraints=2995
9.49/9.56	c nbDecision=20500 #constraints=3017
9.69/9.80	c nbDecision=21000 #constraints=3051
9.99/10.03	c nbDecision=21500 #constraints=3077
10.19/10.23	c nbDecision=22000 #constraints=3102
10.49/10.51	c nbDecision=22500 #constraints=3144
10.69/10.73	c nbDecision=23000 #constraints=3164
10.89/10.92	c nbDecision=23500 #constraints=3186
11.09/11.10	c nbDecision=24000 #constraints=3199
11.29/11.34	c nbDecision=24500 #constraints=3222
11.49/11.57	c nbDecision=25000 #constraints=3245
11.79/11.80	c nbDecision=25500 #constraints=3265
11.79/11.85	c restart after 25601 decisions
12.29/12.36	c nbDecision=26000 #constraints=3334
12.79/12.83	c nbDecision=26500 #constraints=3403
12.98/13.10	c nbDecision=27000 #constraints=3449
13.58/13.66	c nbDecision=27500 #constraints=3548
14.08/14.10	c nbDecision=28000 #constraints=3611
14.38/14.43	c nbDecision=28500 #constraints=3656
14.79/14.85	c nbDecision=29000 #constraints=3720
15.19/15.23	c nbDecision=29500 #constraints=3779
15.59/15.61	c nbDecision=30000 #constraints=3835
16.49/16.56	c nbDecision=30500 #constraints=3953
17.09/17.11	c nbDecision=31000 #constraints=4037
17.59/17.68	c nbDecision=31500 #constraints=4111
18.38/18.42	c nbDecision=32000 #constraints=4220
18.78/18.84	c nbDecision=32500 #constraints=4276
19.28/19.32	c nbDecision=33000 #constraints=4333
19.98/20.02	c nbDecision=33500 #constraints=4421
20.58/20.66	c nbDecision=34000 #constraints=4501
21.28/21.31	c nbDecision=34500 #constraints=4581
21.78/21.84	c nbDecision=35000 #constraints=4632
22.28/22.37	c nbDecision=35500 #constraints=4699
22.98/23.06	c nbDecision=36000 #constraints=4777
23.38/23.48	c nbDecision=36500 #constraints=4828
24.08/24.13	c nbDecision=37000 #constraints=4901
24.38/24.42	c nbDecision=37500 #constraints=4930
24.88/24.91	c nbDecision=38000 #constraints=4995
25.48/25.52	c nbDecision=38500 #constraints=5067
26.09/26.16	c nbDecision=39000 #constraints=5126
27.18/27.22	c nbDecision=39500 #constraints=5181
28.18/28.21	c nbDecision=40000 #constraints=5257
28.78/28.88	c nbDecision=40500 #constraints=5319
29.48/29.58	c nbDecision=41000 #constraints=5384
30.28/30.38	c nbDecision=41500 #constraints=5461
30.79/30.87	c nbDecision=42000 #constraints=5508
31.18/31.20	c nbDecision=42500 #constraints=5538
31.88/31.91	c nbDecision=43000 #constraints=5610
32.38/32.49	c nbDecision=43500 #constraints=5666
32.98/33.10	c nbDecision=44000 #constraints=5724
33.47/33.51	c nbDecision=44500 #constraints=5763
34.08/34.16	c nbDecision=45000 #constraints=5830
34.48/34.53	c nbDecision=45500 #constraints=5867
34.88/34.99	c nbDecision=46000 #constraints=5904
35.78/35.86	c nbDecision=46500 #constraints=5985
36.28/36.37	c nbDecision=47000 #constraints=6040
36.88/36.93	c nbDecision=47500 #constraints=6093
37.68/37.73	c nbDecision=48000 #constraints=6150
39.77/39.89	c nbDecision=48500 #constraints=6233
40.97/41.07	c nbDecision=49000 #constraints=6288
41.78/41.86	c nbDecision=49500 #constraints=6345
42.57/42.61	c nbDecision=50000 #constraints=6413
44.77/44.85	c nbDecision=50500 #constraints=6488
45.87/45.98	c nbDecision=51000 #constraints=6539
46.07/46.20	c restart after 51201 decisions
48.27/48.35	c nbDecision=51500 #constraints=6650
50.77/50.80	c nbDecision=52000 #constraints=6728
53.67/53.71	c nbDecision=52500 #constraints=6810
55.87/55.92	c nbDecision=53000 #constraints=6880
58.07/58.20	c nbDecision=53500 #constraints=6965
60.07/60.10	c nbDecision=54000 #constraints=7042
61.37/61.45	c nbDecision=54500 #constraints=7082
62.76/62.80	c nbDecision=55000 #constraints=7133
63.56/63.61	c nbDecision=55500 #constraints=7168
64.16/64.25	c nbDecision=56000 #constraints=7204
64.87/64.92	c nbDecision=56500 #constraints=7251
65.56/65.64	c nbDecision=57000 #constraints=7309
66.17/66.26	c nbDecision=57500 #constraints=7356
67.17/67.20	c nbDecision=58000 #constraints=7419
67.87/67.94	c nbDecision=58500 #constraints=7471
68.37/68.41	c nbDecision=59000 #constraints=7501
69.07/69.18	c nbDecision=59500 #constraints=7549
69.57/69.67	c nbDecision=60000 #constraints=7583
70.07/70.13	c nbDecision=60500 #constraints=7618
70.96/71.09	c nbDecision=61000 #constraints=7677
71.86/71.99	c nbDecision=61500 #constraints=7729
72.86/72.96	c nbDecision=62000 #constraints=7768
73.46/73.59	c nbDecision=62500 #constraints=7810
74.26/74.36	c nbDecision=63000 #constraints=7848
74.76/74.85	c nbDecision=63500 #constraints=7877
75.46/75.59	c nbDecision=64000 #constraints=7922
76.26/76.31	c nbDecision=64500 #constraints=7971
77.16/77.27	c nbDecision=65000 #constraints=8012
78.46/78.56	c nbDecision=65500 #constraints=8066
78.96/79.04	c nbDecision=66000 #constraints=8096
80.06/80.16	c nbDecision=66500 #constraints=8152
80.76/80.85	c nbDecision=67000 #constraints=8184
81.56/81.68	c nbDecision=67500 #constraints=8232
82.56/82.69	c nbDecision=68000 #constraints=8302
83.86/84.00	c nbDecision=68500 #constraints=8345
87.06/87.15	c nbDecision=69000 #constraints=8436
88.06/88.11	c nbDecision=69500 #constraints=8479
90.06/90.15	c nbDecision=70000 #constraints=8552
93.25/93.35	c nbDecision=70500 #constraints=8629
95.25/95.30	c nbDecision=71000 #constraints=8667
97.15/97.24	c nbDecision=71500 #constraints=8734
98.45/98.55	c nbDecision=72000 #constraints=8798
99.45/99.51	c nbDecision=72500 #constraints=8848
101.25/101.34	c nbDecision=73000 #constraints=8936
103.25/103.34	c nbDecision=73500 #constraints=9050
104.36/104.49	c nbDecision=74000 #constraints=9113
104.96/105.03	c nbDecision=74500 #constraints=9142
105.65/105.78	c nbDecision=75000 #constraints=9178
106.25/106.32	c nbDecision=75500 #constraints=9207
106.85/106.91	c nbDecision=76000 #constraints=9236
107.55/107.65	c nbDecision=76500 #constraints=9278
108.25/108.37	c nbDecision=77000 #constraints=9318
109.15/109.28	c nbDecision=77500 #constraints=9365
109.75/109.81	c nbDecision=78000 #constraints=9401
110.15/110.25	c nbDecision=78500 #constraints=9423
110.65/110.79	c nbDecision=79000 #constraints=9449
111.35/111.41	c nbDecision=79500 #constraints=9488
111.95/112.08	c nbDecision=80000 #constraints=9522
112.85/112.90	c nbDecision=80500 #constraints=9555
113.45/113.57	c nbDecision=81000 #constraints=9585
114.35/114.41	c nbDecision=81500 #constraints=9626
114.85/114.99	c nbDecision=82000 #constraints=9653
116.25/116.33	c nbDecision=82500 #constraints=9714
117.44/117.52	c nbDecision=83000 #constraints=9778
118.44/118.50	c nbDecision=83500 #constraints=9823
119.24/119.39	c nbDecision=84000 #constraints=9864
120.54/120.69	c nbDecision=84500 #constraints=9918
121.95/122.09	c nbDecision=85000 #constraints=9985
122.85/122.97	c nbDecision=85500 #constraints=10035
123.45/123.51	c nbDecision=86000 #constraints=10060
124.65/124.72	c nbDecision=86500 #constraints=10113
125.74/125.87	c nbDecision=87000 #constraints=10152
127.14/127.24	c nbDecision=87500 #constraints=10214
128.54/128.61	c nbDecision=88000 #constraints=10275
129.14/129.25	c nbDecision=88500 #constraints=10313
130.14/130.25	c nbDecision=89000 #constraints=10356
130.84/130.98	c nbDecision=89500 #constraints=10388
131.84/131.97	c nbDecision=90000 #constraints=10434
132.44/132.52	c nbDecision=90500 #constraints=10455
133.54/133.64	c nbDecision=91000 #constraints=10507
134.44/134.56	c nbDecision=91500 #constraints=10547
135.34/135.47	c nbDecision=92000 #constraints=10588
136.24/136.30	c nbDecision=92500 #constraints=10627
137.04/137.17	c nbDecision=93000 #constraints=10676
138.73/138.82	c nbDecision=93500 #constraints=10757
139.54/139.70	c nbDecision=94000 #constraints=10792
140.03/140.18	c nbDecision=94500 #constraints=10812
140.74/140.83	c nbDecision=95000 #constraints=10841
141.14/141.29	c nbDecision=95500 #constraints=10859
142.04/142.12	c nbDecision=96000 #constraints=10893
142.84/142.91	c nbDecision=96500 #constraints=10934
143.34/143.42	c nbDecision=97000 #constraints=10953
143.84/143.96	c nbDecision=97500 #constraints=10978
145.14/145.26	c nbDecision=98000 #constraints=11014
146.04/146.10	c nbDecision=98500 #constraints=11048
147.14/147.20	c nbDecision=99000 #constraints=11098
148.14/148.29	c nbDecision=99500 #constraints=11139
149.24/149.33	c nbDecision=100000 #constraints=11179
150.73/150.80	c nbDecision=100500 #constraints=11220
151.53/151.66	c nbDecision=101000 #constraints=11258
152.53/152.61	c nbDecision=101500 #constraints=11293
153.13/153.27	c nbDecision=102000 #constraints=11321
153.63/153.79	c restart after 102401 decisions
154.43/154.59	c nbDecision=102500 #constraints=11364
155.33/155.48	c nbDecision=103000 #constraints=11398
156.33/156.47	c nbDecision=103500 #constraints=11436
156.83/156.96	c nbDecision=104000 #constraints=11457
157.73/157.89	c nbDecision=104500 #constraints=11495
159.03/159.14	c nbDecision=105000 #constraints=11544
159.63/159.77	c nbDecision=105500 #constraints=11567
160.53/160.68	c nbDecision=106000 #constraints=11608
161.43/161.59	c nbDecision=106500 #constraints=11648
162.33/162.49	c nbDecision=107000 #constraints=11684
163.13/163.22	c nbDecision=107500 #constraints=11710
163.93/164.01	c nbDecision=108000 #constraints=11739
164.93/165.09	c nbDecision=108500 #constraints=11778
166.03/166.16	c nbDecision=109000 #constraints=11802
166.72/166.87	c nbDecision=109500 #constraints=11835
167.92/168.04	c nbDecision=110000 #constraints=11868
169.62/169.74	c nbDecision=110500 #constraints=11908
170.32/170.47	c nbDecision=111000 #constraints=11935
171.43/171.60	c nbDecision=111500 #constraints=11972
172.53/172.64	c nbDecision=112000 #constraints=12007
173.73/173.85	c nbDecision=112500 #constraints=12032
175.93/176.04	c nbDecision=113000 #constraints=12113
178.42/178.58	c nbDecision=113500 #constraints=12186
181.22/181.38	c nbDecision=114000 #constraints=12252
182.72/182.83	c nbDecision=114500 #constraints=12300
183.82/183.97	c nbDecision=115000 #constraints=12339
185.12/185.29	c nbDecision=115500 #constraints=12375
186.52/186.63	c nbDecision=116000 #constraints=12432
188.91/189.08	c nbDecision=116500 #constraints=12518
190.61/190.73	c nbDecision=117000 #constraints=12576
191.41/191.53	c nbDecision=117500 #constraints=12603
192.71/192.89	c nbDecision=118000 #constraints=12647
194.21/194.37	c nbDecision=118500 #constraints=12696
196.72/196.84	c nbDecision=119000 #constraints=12756
198.51/198.60	c nbDecision=119500 #constraints=12813
199.01/199.14	c nbDecision=120000 #constraints=12839
200.11/200.21	c nbDecision=120500 #constraints=12878
201.31/201.43	c nbDecision=121000 #constraints=12911
206.02/206.13	c nbDecision=121500 #constraints=12978
208.61/208.74	c nbDecision=122000 #constraints=13035
209.81/209.97	c nbDecision=122500 #constraints=13076
211.51/211.67	c nbDecision=123000 #constraints=13124
212.71/212.84	c nbDecision=123500 #constraints=13164
213.81/213.97	c nbDecision=124000 #constraints=13211
215.61/215.77	c nbDecision=124500 #constraints=13274
216.90/217.04	c nbDecision=125000 #constraints=13316
217.80/217.95	c nbDecision=125500 #constraints=13345
219.00/219.17	c nbDecision=126000 #constraints=13378
221.41/221.50	c nbDecision=126500 #constraints=13435
223.21/223.33	c nbDecision=127000 #constraints=13483
224.61/224.70	c nbDecision=127500 #constraints=13508
226.11/226.24	c nbDecision=128000 #constraints=13547
228.11/228.22	c nbDecision=128500 #constraints=13596
229.31/229.45	c nbDecision=129000 #constraints=13629
230.70/230.84	c nbDecision=129500 #constraints=13663
232.80/232.95	c nbDecision=130000 #constraints=13724
234.10/234.30	c nbDecision=130500 #constraints=13751
236.50/236.64	c nbDecision=131000 #constraints=13811
239.60/239.71	c nbDecision=131500 #constraints=13882
242.49/242.61	c nbDecision=132000 #constraints=13935
245.49/245.62	c nbDecision=132500 #constraints=13985
248.39/248.59	c nbDecision=133000 #constraints=14036
251.20/251.37	c nbDecision=133500 #constraints=14104
255.80/255.92	c nbDecision=134000 #constraints=14174
261.49/261.61	c nbDecision=134500 #constraints=14243
265.79/265.96	c nbDecision=135000 #constraints=14313
269.99/270.15	c nbDecision=135500 #constraints=14366
275.08/275.23	c nbDecision=136000 #constraints=14465
278.68/278.85	c nbDecision=136500 #constraints=14537
279.68/279.85	c nbDecision=137000 #constraints=14568
282.18/282.31	c nbDecision=137500 #constraints=14631
284.48/284.63	c nbDecision=138000 #constraints=14670
286.99/287.11	c nbDecision=138500 #constraints=14727
289.68/289.89	c nbDecision=139000 #constraints=14795
293.08/293.28	c nbDecision=139500 #constraints=14853
294.28/294.41	c nbDecision=140000 #constraints=14886
295.68/295.87	c nbDecision=140500 #constraints=14930
298.18/298.30	c nbDecision=141000 #constraints=14996
299.78/299.93	c nbDecision=141500 #constraints=15042
301.38/301.50	c nbDecision=142000 #constraints=15092
303.87/304.00	c nbDecision=142500 #constraints=15164
305.77/305.99	c nbDecision=143000 #constraints=15218
307.17/307.39	c nbDecision=143500 #constraints=15267
308.37/308.52	c nbDecision=144000 #constraints=15300
309.57/309.75	c nbDecision=144500 #constraints=15343
311.27/311.47	c nbDecision=145000 #constraints=15387
314.27/314.40	c nbDecision=145500 #constraints=15438
319.06/319.29	c nbDecision=146000 #constraints=15522
321.36/321.55	c nbDecision=146500 #constraints=15580
324.06/324.26	c nbDecision=147000 #constraints=15625
325.16/325.34	c nbDecision=147500 #constraints=15654
328.66/328.86	c nbDecision=148000 #constraints=15721
332.37/332.52	c nbDecision=148500 #constraints=15773
334.66/334.86	c nbDecision=149000 #constraints=15829
337.47/337.63	c nbDecision=149500 #constraints=15900
339.56/339.76	c nbDecision=150000 #constraints=15953
341.16/341.30	c nbDecision=150500 #constraints=15991
345.05/345.23	c nbDecision=151000 #constraints=16069
347.76/347.95	c nbDecision=151500 #constraints=16119
349.96/350.10	c nbDecision=152000 #constraints=16161
351.86/352.07	c nbDecision=152500 #constraints=16219
354.76/354.93	c nbDecision=153000 #constraints=16272
357.65/357.87	c nbDecision=153500 #constraints=16322
359.95/360.13	c nbDecision=154000 #constraints=16364
362.15/362.35	c nbDecision=154500 #constraints=16415
363.95/364.13	c nbDecision=155000 #constraints=16463
365.95/366.18	c nbDecision=155500 #constraints=16521
368.85/369.01	c nbDecision=156000 #constraints=16595
372.15/372.31	c nbDecision=156500 #constraints=16656
373.85/374.04	c nbDecision=157000 #constraints=16699
376.44/376.63	c nbDecision=157500 #constraints=16769
378.64/378.81	c nbDecision=158000 #constraints=16823
380.14/380.35	c nbDecision=158500 #constraints=16861
381.34/381.56	c nbDecision=159000 #constraints=16894
383.75/383.92	c nbDecision=159500 #constraints=16955
386.35/386.52	c nbDecision=160000 #constraints=17024
388.05/388.23	c nbDecision=160500 #constraints=17064
390.35/390.57	c nbDecision=161000 #constraints=17127
392.45/392.68	c nbDecision=161500 #constraints=17176
394.54/394.80	c nbDecision=162000 #constraints=17239
396.23/396.48	c nbDecision=162500 #constraints=17279
398.43/398.64	c nbDecision=163000 #constraints=17329
399.54/399.70	c nbDecision=163500 #constraints=17357
401.64/401.85	c nbDecision=164000 #constraints=17411
402.64/402.88	c nbDecision=164500 #constraints=17436
403.84/404.08	c nbDecision=165000 #constraints=17466
405.34/405.53	c nbDecision=165500 #constraints=17502
406.64/406.81	c nbDecision=166000 #constraints=17534
407.54/407.78	c nbDecision=166500 #constraints=17559
409.54/409.77	c nbDecision=167000 #constraints=17613
411.34/411.51	c nbDecision=167500 #constraints=17659
412.63/412.86	c nbDecision=168000 #constraints=17689
414.83/415.05	c nbDecision=168500 #constraints=17723
415.54/415.74	c nbDecision=169000 #constraints=17742
416.63/416.86	c nbDecision=169500 #constraints=17773
417.83/418.03	c nbDecision=170000 #constraints=17800
419.73/419.94	c nbDecision=170500 #constraints=17832
420.93/421.17	c nbDecision=171000 #constraints=17868
424.02/424.27	c nbDecision=171500 #constraints=17919
425.02/425.23	c nbDecision=172000 #constraints=17944
426.33/426.55	c nbDecision=172500 #constraints=17989
428.83/429.07	c nbDecision=173000 #constraints=18024
431.63/431.88	c nbDecision=173500 #constraints=18102
433.32/433.59	c nbDecision=174000 #constraints=18143
434.92/435.15	c nbDecision=174500 #constraints=18181
436.32/436.55	c nbDecision=175000 #constraints=18223
437.22/437.47	c nbDecision=175500 #constraints=18244
438.22/438.46	c nbDecision=176000 #constraints=18268
439.22/439.40	c nbDecision=176500 #constraints=18290
440.62/440.86	c nbDecision=177000 #constraints=18323
441.62/441.89	c nbDecision=177500 #constraints=18349
442.62/442.81	c nbDecision=178000 #constraints=18372
443.82/444.02	c nbDecision=178500 #constraints=18402
444.92/445.16	c nbDecision=179000 #constraints=18430
446.82/447.02	c nbDecision=179500 #constraints=18475
447.82/448.09	c nbDecision=180000 #constraints=18497
448.92/449.12	c nbDecision=180500 #constraints=18522
449.92/450.19	c nbDecision=181000 #constraints=18556
452.51/452.72	c nbDecision=181500 #constraints=18604
453.71/453.90	c nbDecision=182000 #constraints=18632
454.91/455.14	c nbDecision=182500 #constraints=18661
457.21/457.40	c nbDecision=183000 #constraints=18715
459.62/459.89	c nbDecision=183500 #constraints=18769
460.91/461.15	c nbDecision=184000 #constraints=18797
462.71/462.92	c nbDecision=184500 #constraints=18821
464.12/464.39	c nbDecision=185000 #constraints=18839
465.12/465.36	c nbDecision=185500 #constraints=18859
467.32/467.59	c nbDecision=186000 #constraints=18913
468.42/468.67	c nbDecision=186500 #constraints=18930
470.52/470.80	c nbDecision=187000 #constraints=18963
472.41/472.67	c nbDecision=187500 #constraints=18990
474.01/474.22	c nbDecision=188000 #constraints=19025
475.91/476.15	c nbDecision=188500 #constraints=19063
477.81/478.01	c nbDecision=189000 #constraints=19113
479.31/479.53	c nbDecision=189500 #constraints=19143
481.40/481.65	c nbDecision=190000 #constraints=19177
482.30/482.55	c nbDecision=190500 #constraints=19194
483.60/483.85	c nbDecision=191000 #constraints=19217
486.10/486.35	c nbDecision=191500 #constraints=19263
488.90/489.14	c nbDecision=192000 #constraints=19298
491.10/491.37	c nbDecision=192500 #constraints=19330
494.70/494.96	c nbDecision=193000 #constraints=19386
496.60/496.90	c nbDecision=193500 #constraints=19418
501.31/501.52	c nbDecision=194000 #constraints=19481
503.90/504.11	c nbDecision=194500 #constraints=19522
507.30/507.59	c nbDecision=195000 #constraints=19573
509.80/510.05	c nbDecision=195500 #constraints=19615
512.90/513.12	c nbDecision=196000 #constraints=19666
514.99/515.26	c nbDecision=196500 #constraints=19695
518.19/518.46	c nbDecision=197000 #constraints=19752
521.39/521.61	c nbDecision=197500 #constraints=19816
524.19/524.50	c nbDecision=198000 #constraints=19863
526.79/527.04	c nbDecision=198500 #constraints=19907
529.38/529.61	c nbDecision=199000 #constraints=19970
534.08/534.40	c nbDecision=199500 #constraints=20040
537.78/538.03	c nbDecision=200000 #constraints=20103
541.78/542.04	c nbDecision=200500 #constraints=20187
543.38/543.69	c nbDecision=201000 #constraints=20221
546.18/546.49	c nbDecision=201500 #constraints=20285
548.59/548.80	c nbDecision=202000 #constraints=20337
550.79/551.06	c nbDecision=202500 #constraints=20386
552.58/552.87	c nbDecision=203000 #constraints=20429
554.38/554.62	c nbDecision=203500 #constraints=20466
556.58/556.86	c nbDecision=204000 #constraints=20517
561.28/561.59	c nbDecision=204500 #constraints=20590
563.28/563.59	c restart after 204801 decisions
566.48/566.72	c nbDecision=205000 #constraints=20646
574.17/574.45	c nbDecision=205500 #constraints=20743
579.37/579.62	c nbDecision=206000 #constraints=20793
581.77/582.02	c nbDecision=206500 #constraints=20839
583.17/583.41	c nbDecision=207000 #constraints=20880
585.16/585.44	c nbDecision=207500 #constraints=20923
586.86/587.14	c nbDecision=208000 #constraints=20962
588.36/588.61	c nbDecision=208500 #constraints=20991
591.67/591.99	c nbDecision=209000 #constraints=21052
596.46/596.75	c nbDecision=209500 #constraints=21111
598.07/598.32	c nbDecision=210000 #constraints=21145
599.96/600.26	c nbDecision=210500 #constraints=21188
601.16/601.40	c nbDecision=211000 #constraints=21221
604.16/604.45	c nbDecision=211500 #constraints=21288
606.76/607.00	c nbDecision=212000 #constraints=21334
608.06/608.38	c nbDecision=212500 #constraints=21362
610.96/611.22	c nbDecision=213000 #constraints=21403
614.46/614.71	c nbDecision=213500 #constraints=21461
616.66/616.94	c nbDecision=214000 #constraints=21505
619.35/619.61	c nbDecision=214500 #constraints=21554
622.36/622.64	c nbDecision=215000 #constraints=21609
624.05/624.32	c nbDecision=215500 #constraints=21644
627.55/627.81	c nbDecision=216000 #constraints=21681
632.65/632.95	c nbDecision=216500 #constraints=21734
637.84/638.13	c nbDecision=217000 #constraints=21779
639.85/640.10	c nbDecision=217500 #constraints=21805
642.44/642.74	c nbDecision=218000 #constraints=21850
644.94/645.28	c nbDecision=218500 #constraints=21874
646.34/646.61	c nbDecision=219000 #constraints=21894
648.54/648.90	c nbDecision=219500 #constraints=21917
652.04/652.35	c nbDecision=220000 #constraints=21950
653.23/653.55	c nbDecision=220500 #constraints=21976
657.04/657.35	c nbDecision=221000 #constraints=22015
661.74/662.03	c nbDecision=221500 #constraints=22053
662.84/663.16	c nbDecision=222000 #constraints=22073
664.94/665.25	c nbDecision=222500 #constraints=22120
669.33/669.60	c nbDecision=223000 #constraints=22209
671.43/671.77	c nbDecision=223500 #constraints=22242
675.33/675.63	c nbDecision=224000 #constraints=22300
679.72/680.01	c nbDecision=224500 #constraints=22356
682.92/683.29	c nbDecision=225000 #constraints=22408
684.63/684.93	c nbDecision=225500 #constraints=22443
685.83/686.19	c nbDecision=226000 #constraints=22466
687.33/687.63	c nbDecision=226500 #constraints=22490
688.63/688.95	c nbDecision=227000 #constraints=22518
690.13/690.49	c nbDecision=227500 #constraints=22539
691.03/691.39	c nbDecision=228000 #constraints=22559
692.73/693.09	c nbDecision=228500 #constraints=22586
694.33/694.69	c nbDecision=229000 #constraints=22610
696.12/696.43	c nbDecision=229500 #constraints=22634
698.13/698.47	c nbDecision=230000 #constraints=22673
702.32/702.68	c nbDecision=230500 #constraints=22723
704.82/705.13	c nbDecision=231000 #constraints=22759
706.62/706.95	c nbDecision=231500 #constraints=22796
708.32/708.63	c nbDecision=232000 #constraints=22820
711.42/711.74	c nbDecision=232500 #constraints=22852
713.11/713.49	c nbDecision=233000 #constraints=22881
716.81/717.18	c nbDecision=233500 #constraints=22908
718.91/719.27	c nbDecision=234000 #constraints=22929
720.41/720.77	c nbDecision=234500 #constraints=22945
722.81/723.12	c nbDecision=235000 #constraints=22974
724.90/725.29	c nbDecision=235500 #constraints=23003
726.50/726.85	c nbDecision=236000 #constraints=23034
728.92/729.28	c nbDecision=236500 #constraints=23077
731.21/731.54	c nbDecision=237000 #constraints=23120
733.81/734.11	c nbDecision=237500 #constraints=23151
736.51/736.86	c nbDecision=238000 #constraints=23185
738.61/738.96	c nbDecision=238500 #constraints=23207
742.31/742.61	c nbDecision=239000 #constraints=23245
745.70/746.00	c nbDecision=239500 #constraints=23277
748.81/749.11	c nbDecision=240000 #constraints=23333
751.30/751.67	c nbDecision=240500 #constraints=23367
753.00/753.37	c nbDecision=241000 #constraints=23395
755.20/755.51	c nbDecision=241500 #constraints=23428
756.70/757.01	c nbDecision=242000 #constraints=23453
758.40/758.78	c nbDecision=242500 #constraints=23473
760.69/761.07	c nbDecision=243000 #constraints=23517
762.69/763.06	c nbDecision=243500 #constraints=23544
765.39/765.76	c nbDecision=244000 #constraints=23575
767.29/767.62	c nbDecision=244500 #constraints=23595
769.79/770.10	c nbDecision=245000 #constraints=23632
771.29/771.62	c nbDecision=245500 #constraints=23653
774.48/774.80	c nbDecision=246000 #constraints=23686
776.30/776.67	c nbDecision=246500 #constraints=23712
779.29/779.66	c nbDecision=247000 #constraints=23746
780.60/780.95	c nbDecision=247500 #constraints=23767
782.39/782.75	c nbDecision=248000 #constraints=23793
783.99/784.33	c nbDecision=248500 #constraints=23815
786.39/786.77	c nbDecision=249000 #constraints=23839
788.09/788.47	c nbDecision=249500 #constraints=23857
789.49/789.85	c nbDecision=250000 #constraints=23875
791.38/791.73	c nbDecision=250500 #constraints=23904
795.08/795.41	c nbDecision=251000 #constraints=23949
797.19/797.59	c nbDecision=251500 #constraints=23971
799.58/799.93	c nbDecision=252000 #constraints=24008
802.08/802.44	c nbDecision=252500 #constraints=24034
804.28/804.60	c nbDecision=253000 #constraints=24055
806.48/806.89	c nbDecision=253500 #constraints=24086
809.47/809.84	c nbDecision=254000 #constraints=24123
812.97/813.31	c nbDecision=254500 #constraints=24155
816.17/816.50	c nbDecision=255000 #constraints=24194
817.87/818.25	c nbDecision=255500 #constraints=24215
820.07/820.40	c nbDecision=256000 #constraints=24240
822.47/822.85	c nbDecision=256500 #constraints=24271
823.87/824.20	c nbDecision=257000 #constraints=24292
825.67/826.09	c nbDecision=257500 #constraints=24326
829.37/829.79	c nbDecision=258000 #constraints=24366
832.27/832.64	c nbDecision=258500 #constraints=24400
834.27/834.68	c nbDecision=259000 #constraints=24427
837.87/838.28	c nbDecision=259500 #constraints=24489
839.97/840.40	c nbDecision=260000 #constraints=24526
842.46/842.86	c nbDecision=260500 #constraints=24570
844.76/845.20	c nbDecision=261000 #constraints=24613
846.16/846.51	c nbDecision=261500 #constraints=24636
847.77/848.17	c nbDecision=262000 #constraints=24666
849.56/849.90	c nbDecision=262500 #constraints=24694
850.96/851.31	c nbDecision=263000 #constraints=24715
852.86/853.21	c nbDecision=263500 #constraints=24740
854.96/855.33	c nbDecision=264000 #constraints=24758
857.96/858.36	c nbDecision=264500 #constraints=24792
859.86/860.27	c nbDecision=265000 #constraints=24809
861.85/862.29	c nbDecision=265500 #constraints=24833
864.16/864.59	c nbDecision=266000 #constraints=24858
867.25/867.69	c nbDecision=266500 #constraints=24911
870.55/870.95	c nbDecision=267000 #constraints=24949
873.65/874.01	c nbDecision=267500 #constraints=24981
877.14/877.51	c nbDecision=268000 #constraints=25022
880.04/880.43	c nbDecision=268500 #constraints=25056
881.64/882.07	c nbDecision=269000 #constraints=25076
884.15/884.50	c nbDecision=269500 #constraints=25103
886.15/886.56	c nbDecision=270000 #constraints=25129
889.25/889.67	c nbDecision=270500 #constraints=25180
891.35/891.73	c nbDecision=271000 #constraints=25217
893.14/893.57	c nbDecision=271500 #constraints=25253
895.24/895.61	c nbDecision=272000 #constraints=25287
897.34/897.70	c nbDecision=272500 #constraints=25325
900.45/900.89	c nbDecision=273000 #constraints=25380
902.04/902.45	c nbDecision=273500 #constraints=25401
904.73/905.16	c nbDecision=274000 #constraints=25445
908.14/908.59	c nbDecision=274500 #constraints=25486
910.13/910.55	c nbDecision=275000 #constraints=25508
914.93/915.39	c nbDecision=275500 #constraints=25552
917.33/917.79	c nbDecision=276000 #constraints=25581
920.93/921.30	c nbDecision=276500 #constraints=25629
924.33/924.75	c nbDecision=277000 #constraints=25672
926.43/926.87	c nbDecision=277500 #constraints=25701
928.73/929.12	c nbDecision=278000 #constraints=25746
930.43/930.83	c nbDecision=278500 #constraints=25769
933.22/933.61	c nbDecision=279000 #constraints=25807
935.02/935.41	c nbDecision=279500 #constraints=25830
936.73/937.10	c nbDecision=280000 #constraints=25851
939.22/939.67	c nbDecision=280500 #constraints=25874
942.22/942.64	c nbDecision=281000 #constraints=25919
944.81/945.27	c nbDecision=281500 #constraints=25964
947.41/947.80	c nbDecision=282000 #constraints=26000
950.22/950.68	c nbDecision=282500 #constraints=26033
953.52/953.95	c nbDecision=283000 #constraints=26075
956.12/956.51	c nbDecision=283500 #constraints=26120
959.41/959.82	c nbDecision=284000 #constraints=26168
961.11/961.51	c nbDecision=284500 #constraints=26197
962.12/962.59	c nbDecision=285000 #constraints=26213
963.81/964.27	c nbDecision=285500 #constraints=26236
966.21/966.69	c nbDecision=286000 #constraints=26260
969.31/969.77	c nbDecision=286500 #constraints=26286
971.91/972.35	c nbDecision=287000 #constraints=26310
973.71/974.12	c nbDecision=287500 #constraints=26327
975.60/976.09	c nbDecision=288000 #constraints=26341
976.90/977.36	c nbDecision=288500 #constraints=26357
978.40/978.89	c nbDecision=289000 #constraints=26384
980.10/980.59	c nbDecision=289500 #constraints=26410
981.70/982.20	c nbDecision=290000 #constraints=26427
983.60/984.06	c nbDecision=290500 #constraints=26445
985.60/986.09	c nbDecision=291000 #constraints=26463
987.90/988.39	c nbDecision=291500 #constraints=26485
989.90/990.36	c nbDecision=292000 #constraints=26514
991.60/992.00	c nbDecision=292500 #constraints=26529
997.10/997.58	c nbDecision=293000 #constraints=26588
999.50/999.98	c nbDecision=293500 #constraints=26621
1002.60/1003.09	c nbDecision=294000 #constraints=26644
1006.20/1006.69	c nbDecision=294500 #constraints=26690
1009.79/1010.23	c nbDecision=295000 #constraints=26745
1011.69/1012.12	c nbDecision=295500 #constraints=26772
1013.89/1014.31	c nbDecision=296000 #constraints=26811
1016.59/1017.05	c nbDecision=296500 #constraints=26851
1019.19/1019.63	c nbDecision=297000 #constraints=26901
1020.98/1021.49	c nbDecision=297500 #constraints=26938
1022.98/1023.49	c nbDecision=298000 #constraints=26969
1024.89/1025.35	c nbDecision=298500 #constraints=27000
1026.29/1026.71	c nbDecision=299000 #constraints=27022
1027.79/1028.23	c nbDecision=299500 #constraints=27045
1030.79/1031.20	c nbDecision=300000 #constraints=27064
1032.28/1032.72	c nbDecision=300500 #constraints=27081
1034.48/1034.93	c nbDecision=301000 #constraints=27099
1036.38/1036.87	c nbDecision=301500 #constraints=27115
1037.88/1038.37	c nbDecision=302000 #constraints=27131
1039.88/1040.31	c nbDecision=302500 #constraints=27150
1040.78/1041.28	c nbDecision=303000 #constraints=27164
1043.97/1044.48	c nbDecision=303500 #constraints=27204
1046.97/1047.50	c nbDecision=304000 #constraints=27231
1048.98/1049.46	c nbDecision=304500 #constraints=27255
1051.67/1052.14	c nbDecision=305000 #constraints=27278
1054.48/1054.91	c nbDecision=305500 #constraints=27301
1057.68/1058.14	c nbDecision=306000 #constraints=27321
1060.57/1061.00	c nbDecision=306500 #constraints=27345
1063.67/1064.10	c nbDecision=307000 #constraints=27368
1065.87/1066.36	c nbDecision=307500 #constraints=27396
1068.47/1068.99	c nbDecision=308000 #constraints=27417
1072.67/1073.17	c nbDecision=308500 #constraints=27470
1074.37/1074.89	c nbDecision=309000 #constraints=27492
1076.47/1077.00	c nbDecision=309500 #constraints=27527
1078.57/1079.09	c nbDecision=310000 #constraints=27556
1080.36/1080.90	c nbDecision=310500 #constraints=27578
1085.56/1086.05	c nbDecision=311000 #constraints=27622
1088.86/1089.37	c nbDecision=311500 #constraints=27647
1091.36/1091.81	c nbDecision=312000 #constraints=27665
1094.36/1094.82	c nbDecision=312500 #constraints=27689
1097.16/1097.64	c nbDecision=313000 #constraints=27721
1101.66/1102.13	c nbDecision=313500 #constraints=27759
1104.55/1105.00	c nbDecision=314000 #constraints=27785
1107.35/1107.87	c nbDecision=314500 #constraints=27817
1109.95/1110.45	c nbDecision=315000 #constraints=27852
1111.35/1111.82	c nbDecision=315500 #constraints=27868
1114.05/1114.58	c nbDecision=316000 #constraints=27900
1116.94/1117.41	c nbDecision=316500 #constraints=27925
1120.35/1120.89	c nbDecision=317000 #constraints=27949
1124.24/1124.77	c nbDecision=317500 #constraints=27980
1127.14/1127.69	c nbDecision=318000 #constraints=28003
1130.35/1130.82	c nbDecision=318500 #constraints=28032
1132.34/1132.87	c nbDecision=319000 #constraints=28051
1134.24/1134.71	c nbDecision=319500 #constraints=28073
1135.94/1136.44	c nbDecision=320000 #constraints=28112
1139.14/1139.63	c nbDecision=320500 #constraints=28140
1142.54/1143.08	c nbDecision=321000 #constraints=28170
1144.64/1145.19	c nbDecision=321500 #constraints=28190
1146.34/1146.81	c nbDecision=322000 #constraints=28202
1148.44/1148.97	c nbDecision=322500 #constraints=28231
1151.14/1151.70	c nbDecision=323000 #constraints=28267
1153.23/1153.76	c nbDecision=323500 #constraints=28286
1155.54/1156.06	c nbDecision=324000 #constraints=28303
1157.73/1158.23	c nbDecision=324500 #constraints=28320
1161.43/1161.95	c nbDecision=325000 #constraints=28351
1164.43/1164.96	c nbDecision=325500 #constraints=28378
1166.63/1167.18	c nbDecision=326000 #constraints=28396
1169.42/1169.96	c nbDecision=326500 #constraints=28431
1171.52/1172.03	c nbDecision=327000 #constraints=28469
1173.12/1173.61	c nbDecision=327500 #constraints=28493
1175.02/1175.52	c nbDecision=328000 #constraints=28517
1177.13/1177.64	c nbDecision=328500 #constraints=28546
1179.33/1179.85	c nbDecision=329000 #constraints=28562
1181.33/1181.87	c nbDecision=329500 #constraints=28592
1183.62/1184.11	c nbDecision=330000 #constraints=28610
1185.42/1186.00	c nbDecision=330500 #constraints=28623
1187.02/1187.60	c nbDecision=331000 #constraints=28639
1188.92/1189.49	c nbDecision=331500 #constraints=28661
1191.12/1191.61	c nbDecision=332000 #constraints=28679
1195.02/1195.51	c nbDecision=332500 #constraints=28706
1197.32/1197.86	c nbDecision=333000 #constraints=28726
1200.72/1201.28	c nbDecision=333500 #constraints=28749
1203.31/1203.80	c nbDecision=334000 #constraints=28769
1205.11/1205.69	c nbDecision=334500 #constraints=28784
1207.51/1208.04	c nbDecision=335000 #constraints=28814
1209.82/1210.33	c nbDecision=335500 #constraints=28847
1211.81/1212.37	c nbDecision=336000 #constraints=28878
1213.41/1213.95	c nbDecision=336500 #constraints=28904
1216.61/1217.17	c nbDecision=337000 #constraints=28949
1219.71/1220.24	c nbDecision=337500 #constraints=28995
1221.91/1222.42	c nbDecision=338000 #constraints=29034
1228.11/1228.64	c nbDecision=338500 #constraints=29095
1234.20/1234.77	c nbDecision=339000 #constraints=29141
1238.70/1239.26	c nbDecision=339500 #constraints=29211
1241.60/1242.19	c nbDecision=340000 #constraints=29245
1245.50/1246.00	c nbDecision=340500 #constraints=29273
1248.39/1248.93	c nbDecision=341000 #constraints=29319
1254.69/1255.26	c nbDecision=341500 #constraints=29369
1259.49/1260.01	c nbDecision=342000 #constraints=29430
1263.40/1263.93	c nbDecision=342500 #constraints=29463
1266.79/1267.36	c nbDecision=343000 #constraints=29488
1271.59/1272.18	c nbDecision=343500 #constraints=29528
1275.69/1276.23	c nbDecision=344000 #constraints=29557
1277.29/1277.82	c nbDecision=344500 #constraints=29575
1280.89/1281.49	c nbDecision=345000 #constraints=29602
1284.38/1284.98	c nbDecision=345500 #constraints=29625
1288.88/1289.41	c nbDecision=346000 #constraints=29661
1292.18/1292.75	c nbDecision=346500 #constraints=29687
1296.38/1296.95	c nbDecision=347000 #constraints=29716
1299.47/1300.08	c nbDecision=347500 #constraints=29740
1303.67/1304.25	c nbDecision=348000 #constraints=29769
1307.47/1308.08	c nbDecision=348500 #constraints=29793
1310.17/1310.76	c nbDecision=349000 #constraints=29820
1311.88/1312.47	c nbDecision=349500 #constraints=29842
1314.67/1315.29	c nbDecision=350000 #constraints=29863
1318.57/1319.18	c nbDecision=350500 #constraints=29907
1323.17/1323.76	c nbDecision=351000 #constraints=29961
1327.57/1328.16	c nbDecision=351500 #constraints=29999
1332.57/1333.12	c nbDecision=352000 #constraints=30039
1335.96/1336.53	c nbDecision=352500 #constraints=30064
1337.46/1338.09	c nbDecision=353000 #constraints=30077
1340.86/1341.48	c nbDecision=353500 #constraints=30108
1342.46/1343.04	c nbDecision=354000 #constraints=30128
1343.76/1344.33	c nbDecision=354500 #constraints=30145
1345.06/1345.62	c nbDecision=355000 #constraints=30164
1346.16/1346.76	c nbDecision=355500 #constraints=30179
1347.66/1348.23	c nbDecision=356000 #constraints=30202
1349.45/1350.08	c nbDecision=356500 #constraints=30234
1351.65/1352.23	c nbDecision=357000 #constraints=30257
1354.25/1354.82	c nbDecision=357500 #constraints=30278
1357.15/1357.71	c nbDecision=358000 #constraints=30297
1359.55/1360.12	c nbDecision=358500 #constraints=30317
1361.85/1362.46	c nbDecision=359000 #constraints=30346
1363.64/1364.26	c nbDecision=359500 #constraints=30366
1365.15/1365.79	c nbDecision=360000 #constraints=30378
1367.35/1367.94	c nbDecision=360500 #constraints=30393
1369.75/1370.36	c nbDecision=361000 #constraints=30411
1371.95/1372.56	c nbDecision=361500 #constraints=30428
1373.85/1374.42	c nbDecision=362000 #constraints=30449
1376.85/1377.46	c nbDecision=362500 #constraints=30467
1378.75/1379.34	c nbDecision=363000 #constraints=30481
1381.05/1381.61	c nbDecision=363500 #constraints=30497
1384.54/1385.12	c nbDecision=364000 #constraints=30520
1386.55/1387.10	c nbDecision=364500 #constraints=30535
1388.84/1389.49	c nbDecision=365000 #constraints=30561
1391.14/1391.78	c nbDecision=365500 #constraints=30581
1393.54/1394.17	c nbDecision=366000 #constraints=30603
1395.54/1396.16	c nbDecision=366500 #constraints=30626
1398.54/1399.10	c nbDecision=367000 #constraints=30645
1400.63/1401.24	c nbDecision=367500 #constraints=30659
1404.14/1404.74	c nbDecision=368000 #constraints=30692
1408.13/1408.78	c nbDecision=368500 #constraints=30724
1410.33/1410.99	c nbDecision=369000 #constraints=30739
1412.43/1413.06	c nbDecision=369500 #constraints=30754
1415.73/1416.35	c nbDecision=370000 #constraints=30776
1417.83/1418.46	c nbDecision=370500 #constraints=30794
1422.12/1422.72	c nbDecision=371000 #constraints=30827
1426.92/1427.52	c nbDecision=371500 #constraints=30859
1429.33/1429.93	c nbDecision=372000 #constraints=30892
1431.22/1431.85	c nbDecision=372500 #constraints=30915
1435.82/1436.50	c nbDecision=373000 #constraints=30954
1441.32/1441.95	c nbDecision=373500 #constraints=30999
1446.11/1446.71	c nbDecision=374000 #constraints=31032
1449.71/1450.31	c nbDecision=374500 #constraints=31054
1453.11/1453.77	c nbDecision=375000 #constraints=31089
1455.91/1456.54	c nbDecision=375500 #constraints=31131
1459.51/1460.13	c nbDecision=376000 #constraints=31155
1462.91/1463.50	c nbDecision=376500 #constraints=31176
1467.11/1467.76	c nbDecision=377000 #constraints=31220
1471.41/1472.08	c nbDecision=377500 #constraints=31253
1474.30/1474.97	c nbDecision=378000 #constraints=31271
1476.40/1477.05	c nbDecision=378500 #constraints=31289
1479.10/1479.77	c nbDecision=379000 #constraints=31325
1481.80/1482.48	c nbDecision=379500 #constraints=31353
1484.50/1485.15	c nbDecision=380000 #constraints=31375
1487.00/1487.69	c nbDecision=380500 #constraints=31392
1491.59/1492.28	c nbDecision=381000 #constraints=31423
1497.09/1497.74	c nbDecision=381500 #constraints=31463
1502.89/1503.58	c nbDecision=382000 #constraints=31503
1507.50/1508.14	c nbDecision=382500 #constraints=31529
1510.49/1511.16	c nbDecision=383000 #constraints=31550
1515.59/1516.20	c nbDecision=383500 #constraints=31575
1519.89/1520.57	c nbDecision=384000 #constraints=31597
1523.89/1524.60	c nbDecision=384500 #constraints=31637
1526.88/1527.51	c nbDecision=385000 #constraints=31669
1530.88/1531.58	c nbDecision=385500 #constraints=31706
1535.18/1535.82	c nbDecision=386000 #constraints=31736
1539.57/1540.25	c nbDecision=386500 #constraints=31765
1543.17/1543.89	c nbDecision=387000 #constraints=31795
1546.48/1547.13	c nbDecision=387500 #constraints=31825
1550.97/1551.63	c nbDecision=388000 #constraints=31859
1555.37/1556.04	c nbDecision=388500 #constraints=31886
1559.47/1560.15	c nbDecision=389000 #constraints=31909
1563.87/1564.50	c nbDecision=389500 #constraints=31935
1570.17/1570.88	c nbDecision=390000 #constraints=31978
1573.76/1574.48	c nbDecision=390500 #constraints=32014
1579.86/1580.52	c nbDecision=391000 #constraints=32062
1584.16/1584.83	c nbDecision=391500 #constraints=32089
1586.66/1587.35	c nbDecision=392000 #constraints=32111
1589.35/1590.08	c nbDecision=392500 #constraints=32130
1592.95/1593.66	c nbDecision=393000 #constraints=32157
1596.05/1596.72	c nbDecision=393500 #constraints=32175
1599.56/1600.20	c nbDecision=394000 #constraints=32207
1603.75/1604.42	c nbDecision=394500 #constraints=32257
1607.05/1607.79	c nbDecision=395000 #constraints=32286
1610.95/1611.64	c nbDecision=395500 #constraints=32313
1614.05/1614.74	c nbDecision=396000 #constraints=32349
1616.55/1617.26	c nbDecision=396500 #constraints=32378
1618.55/1619.22	c nbDecision=397000 #constraints=32400
1621.44/1622.17	c nbDecision=397500 #constraints=32421
1625.24/1625.99	c nbDecision=398000 #constraints=32448
1628.84/1629.58	c nbDecision=398500 #constraints=32473
1632.74/1633.43	c nbDecision=399000 #constraints=32498
1635.34/1636.03	c nbDecision=399500 #constraints=32527
1642.74/1643.41	c nbDecision=400000 #constraints=32571
1645.03/1645.71	c nbDecision=400500 #constraints=32590
1648.43/1649.19	c nbDecision=401000 #constraints=32624
1651.03/1651.70	c nbDecision=401500 #constraints=32651
1653.43/1654.19	c nbDecision=402000 #constraints=32675
1656.73/1657.41	c nbDecision=402500 #constraints=32696
1659.23/1659.93	c nbDecision=403000 #constraints=32716
1663.63/1664.33	c nbDecision=403500 #constraints=32756
1668.63/1669.39	c nbDecision=404000 #constraints=32790
1670.43/1671.19	c nbDecision=404500 #constraints=32812
1672.82/1673.57	c nbDecision=405000 #constraints=32836
1674.82/1675.54	c nbDecision=405500 #constraints=32855
1676.62/1677.38	c nbDecision=406000 #constraints=32874
1677.62/1678.31	c nbDecision=406500 #constraints=32885
1679.02/1679.77	c nbDecision=407000 #constraints=32898
1682.12/1682.82	c nbDecision=407500 #constraints=32919
1685.22/1685.99	c nbDecision=408000 #constraints=32949
1688.61/1689.35	c nbDecision=408500 #constraints=32982
1691.71/1692.43	c nbDecision=409000 #constraints=33013
1694.21/1694.90	c nbDecision=409500 #constraints=33040
1694.71/1695.41	c restart after 409601 decisions
1697.91/1698.63	c nbDecision=410000 #constraints=33074
1700.51/1701.24	c nbDecision=410500 #constraints=33107
1702.31/1703.08	c nbDecision=411000 #constraints=33130
1705.20/1705.98	c nbDecision=411500 #constraints=33166
1708.00/1708.78	c nbDecision=412000 #constraints=33197
1711.00/1711.79	c nbDecision=412500 #constraints=33244
1718.01/1718.77	c nbDecision=413000 #constraints=33302
1724.50/1725.27	c nbDecision=413500 #constraints=33340
1728.10/1728.87	c nbDecision=414000 #constraints=33385
1733.40/1734.11	c nbDecision=414500 #constraints=33437
1737.80/1738.59	c nbDecision=415000 #constraints=33490
1743.19/1743.93	c nbDecision=415500 #constraints=33552
1746.59/1747.30	c nbDecision=416000 #constraints=33587
1754.18/1755.00	c nbDecision=416500 #constraints=33642
1756.38/1757.11	c nbDecision=417000 #constraints=33671
1759.18/1759.99	c nbDecision=417500 #constraints=33705
1764.28/1765.08	c nbDecision=418000 #constraints=33752
1772.27/1773.09	c nbDecision=418500 #constraints=33789
1775.07/1775.86	c nbDecision=419000 #constraints=33826
1780.78/1781.50	c nbDecision=419500 #constraints=33886
1783.88/1784.61	c nbDecision=420000 #constraints=33922
1785.88/1786.66	c nbDecision=420500 #constraints=33943
1790.48/1791.20	c nbDecision=421000 #constraints=33978
1792.37/1793.14	c nbDecision=421500 #constraints=34000
1795.87/1796.69	c nbDecision=422000 #constraints=34030
1799.07/1799.81	c nbDecision=422500 #constraints=34058
1800.08/1800.80	Received signal 15
1800.27/1801.06	
1800.27/1801.06	s UNKNOWN
1800.27/1801.06	
1800.27/1801.06	c user time= 1799.82 s
1800.27/1801.06	c system time= 0.512922 s
1800.27/1801.06	c wall clock time=1801.06

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 3243
/proc/meminfo: memFree=1750848/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=1468 CPUtime=0
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 170 0 0 0 0 0 0 0 19 0 1 0 147440580 1503232 152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134984414 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 367 152 127 317 0 46 0

[startup+0.092388 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 3243
/proc/meminfo: memFree=1750848/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=2596 CPUtime=0.09
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 438 0 0 0 9 0 0 0 19 0 1 0 147440580 2658304 420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 649 420 131 317 0 328 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2596

[startup+0.101389 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 3243
/proc/meminfo: memFree=1750848/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=2728 CPUtime=0.09
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 471 0 0 0 9 0 0 0 19 0 1 0 147440580 2793472 453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 682 453 131 317 0 361 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2728

[startup+0.30143 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 3243
/proc/meminfo: memFree=1750848/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=5824 CPUtime=0.29
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 1218 0 0 0 29 0 0 0 21 0 1 0 147440580 5963776 1200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 1456 1200 137 317 0 1135 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5824

[startup+0.701512 s]
/proc/loadavg: 0.91 0.95 0.96 3/77 3243
/proc/meminfo: memFree=1750848/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=7008 CPUtime=0.69
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 1568 0 0 0 69 0 0 0 24 0 1 0 147440580 7176192 1550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 1752 1550 170 317 0 1431 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7008

[startup+1.50168 s]
/proc/loadavg: 0.91 0.95 0.96 2/78 3244
/proc/meminfo: memFree=1744504/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=8716 CPUtime=1.49
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 1972 0 0 0 149 0 0 0 25 0 1 0 147440580 8925184 1954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715645 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 2179 1954 170 317 0 1858 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8716

[startup+3.10201 s]
/proc/loadavg: 0.92 0.95 0.96 2/78 3244
/proc/meminfo: memFree=1742392/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=10924 CPUtime=3.09
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 2529 0 0 0 309 0 0 0 25 0 1 0 147440580 11186176 2511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279022 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 2731 2511 170 317 0 2410 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10924

[startup+6.30166 s]
/proc/loadavg: 0.92 0.95 0.96 2/78 3244
/proc/meminfo: memFree=1738360/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=14460 CPUtime=6.28
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 3406 0 0 0 627 1 0 0 25 0 1 0 147440580 14807040 3388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606888 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 3615 3388 170 317 0 3294 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14460

[startup+12.703 s]
/proc/loadavg: 0.93 0.96 0.96 2/78 3244
/proc/meminfo: memFree=1734272/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=18568 CPUtime=12.69
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 4353 0 0 0 1267 2 0 0 25 0 1 0 147440580 19013632 4335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 4642 4335 170 317 0 4321 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18568

[startup+25.5016 s]
/proc/loadavg: 0.94 0.96 0.96 2/78 3244
/proc/meminfo: memFree=1727424/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=24988 CPUtime=25.48
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 5975 0 0 0 2545 3 0 0 25 0 1 0 147440580 25587712 5957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 6247 5957 170 317 0 5926 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24988

[startup+51.1019 s]
/proc/loadavg: 0.96 0.96 0.96 2/78 3244
/proc/meminfo: memFree=1720256/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=32740 CPUtime=51.07
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 7763 0 0 0 5102 5 0 0 25 0 1 0 147440580 33525760 7745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 8185 7745 170 317 0 7864 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32740

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.96 2/78 3244
/proc/meminfo: memFree=1711232/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=41388 CPUtime=102.25
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 10055 0 0 0 10217 8 0 0 25 0 1 0 147440580 42381312 9980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 10347 9980 170 317 0 10026 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 41388

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 3244
/proc/meminfo: memFree=1699008/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=55588 CPUtime=162.23
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 13136 0 0 0 16212 11 0 0 25 0 1 0 147440580 56922112 13061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 13897 13061 170 317 0 13576 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 55588

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 3244
/proc/meminfo: memFree=1691904/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=62352 CPUtime=222.21
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 14876 0 0 0 22207 14 0 0 25 0 1 0 147440580 63848448 14801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 15588 14801 170 317 0 15267 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 62352

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 3244
/proc/meminfo: memFree=1687424/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=66628 CPUtime=282.18
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 16014 0 0 0 28203 15 0 0 25 0 1 0 147440580 68227072 15939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 16657 15939 170 317 0 16336 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 66628

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 3244
/proc/meminfo: memFree=1681856/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=71700 CPUtime=342.16
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 17378 0 0 0 34199 17 0 0 25 0 1 0 147440580 73420800 17303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 17925 17303 170 317 0 17604 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 71700

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 3244
/proc/meminfo: memFree=1676160/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=77420 CPUtime=402.14
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 18916 0 0 0 40194 20 0 0 25 0 1 0 147440580 79278080 18728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 19355 18728 170 317 0 19034 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 77420

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 3244
/proc/meminfo: memFree=1669312/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=89208 CPUtime=462.11
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 21584 0 0 0 46189 22 0 0 25 0 1 0 147440580 91348992 20439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 22302 20439 170 317 0 21981 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 89208

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 3244
/proc/meminfo: memFree=1665216/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=93400 CPUtime=522.09
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 22750 0 0 0 52185 24 0 0 25 0 1 0 147440580 95641600 21473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 23350 21473 170 317 0 23029 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 93400

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 3244
/proc/meminfo: memFree=1661056/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=97288 CPUtime=582.07
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 23869 0 0 0 58182 25 0 0 25 0 1 0 147440580 99622912 22526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 24322 22526 170 317 0 24001 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 97288

[startup+642.301 s]
/proc/loadavg: 1.05 0.99 0.96 2/78 3244
/proc/meminfo: memFree=1656640/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=101996 CPUtime=642.05
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 25146 0 0 0 64178 27 0 0 25 0 1 0 147440580 104443904 23605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 25499 23605 170 317 0 25178 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 101996


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

[startup+882.301 s]
/proc/loadavg: 1.06 1.03 0.98 2/78 3244
/proc/meminfo: memFree=1642560/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=115088 CPUtime=881.94
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 28738 0 0 0 88162 32 0 0 25 0 1 0 147440580 117850112 27098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 28772 27098 170 317 0 28451 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 115088

[startup+942.303 s]
/proc/loadavg: 1.10 1.05 1.00 2/78 3244
/proc/meminfo: memFree=1639104/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=118656 CPUtime=941.92
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 29656 0 0 0 94158 34 0 0 25 0 1 0 147440580 121503744 27983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 29664 27983 170 317 0 29343 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 118656

[startup+1002.3 s]
/proc/loadavg: 1.07 1.05 1.00 2/78 3244
/proc/meminfo: memFree=1635840/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=121296 CPUtime=1001.9
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 30468 0 0 0 100154 36 0 0 25 0 1 0 147440580 124207104 28795 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 30324 28795 170 317 0 30003 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 121296

[startup+1062.3 s]
/proc/loadavg: 1.06 1.05 1.00 2/78 3244
/proc/meminfo: memFree=1632832/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=124164 CPUtime=1061.87
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 31238 0 0 0 106149 38 0 0 25 0 1 0 147440580 127143936 29532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 31041 29532 170 317 0 30720 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 124164

[startup+1122.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/78 3244
/proc/meminfo: memFree=1630272/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=126792 CPUtime=1121.84
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 31947 0 0 0 112146 38 0 0 25 0 1 0 147440580 129835008 30175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 31698 30175 170 317 0 31377 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 126792

[startup+1182.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 3244
/proc/meminfo: memFree=1627520/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=129432 CPUtime=1181.82
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 32628 0 0 0 118142 40 0 0 25 0 1 0 147440580 132538368 30856 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 32358 30856 170 317 0 32037 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 129432

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 3244
/proc/meminfo: memFree=1624768/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=132204 CPUtime=1241.8
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 33319 0 0 0 124139 41 0 0 25 0 1 0 147440580 135376896 31547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 33051 31547 170 317 0 32730 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 132204

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 3244
/proc/meminfo: memFree=1622592/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=134048 CPUtime=1301.78
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 33862 0 0 0 130136 42 0 0 25 0 1 0 147440580 137265152 32090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 33512 32090 170 317 0 33191 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 134048

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 3244
/proc/meminfo: memFree=1620032/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=136536 CPUtime=1361.75
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 34495 0 0 0 136132 43 0 0 25 0 1 0 147440580 139812864 32723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 34134 32723 170 317 0 33813 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 136536

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 3244
/proc/meminfo: memFree=1617984/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=138244 CPUtime=1421.73
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 35007 0 0 0 142129 44 0 0 25 0 1 0 147440580 141561856 33235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 34561 33235 170 317 0 34240 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 138244

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3244
/proc/meminfo: memFree=1615808/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=140188 CPUtime=1481.7
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 35561 0 0 0 148125 45 0 0 25 0 1 0 147440580 143552512 33789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 35047 33789 170 317 0 34726 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 140188

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3244
/proc/meminfo: memFree=1613888/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=141748 CPUtime=1541.67
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 36024 0 0 0 154121 46 0 0 25 0 1 0 147440580 145149952 34252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279009 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 35437 34252 170 317 0 35116 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 141748

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3244
/proc/meminfo: memFree=1611840/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=143832 CPUtime=1601.66
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 36546 0 0 0 160118 48 0 0 25 0 1 0 147440580 147283968 34741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 35958 34741 170 317 0 35637 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 143832

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3244
/proc/meminfo: memFree=1609792/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=145792 CPUtime=1661.62
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 37081 0 0 0 166114 48 0 0 25 0 1 0 147440580 149291008 35276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 36448 35276 170 317 0 36127 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 145792

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3244
/proc/meminfo: memFree=1607168/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=149044 CPUtime=1721.6
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 37976 0 0 0 172110 50 0 0 25 0 1 0 147440580 152621056 35912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 37261 35912 170 317 0 36940 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 149044

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3244
/proc/meminfo: memFree=1604800/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=151120 CPUtime=1781.58
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 38574 0 0 0 178107 51 0 0 25 0 1 0 147440580 154746880 36510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 37780 36510 170 317 0 37459 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 151120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3244
/proc/meminfo: memFree=1604096/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=151768 CPUtime=1800.08
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 38748 0 0 0 179957 51 0 0 25 0 1 0 147440580 155410432 36684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 37942 36684 170 317 0 37621 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 151768

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 3244
/proc/meminfo: memFree=1604096/2055920 swapFree=4180512/4192956
[pid=3243] ppid=3241 vsize=151768 CPUtime=1800.27
/proc/3243/stat : 3243 (oree) R 3241 3243 1597 0 -1 4194304 38749 0 0 0 179976 51 0 0 25 0 1 0 147440580 155410432 36685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3243/statm: 37942 36685 170 317 0 37621 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 151768

Child status: 0
Real time (s): 1801.09
CPU time (s): 1800.37
CPU user time (s): 1799.83
CPU system time (s): 0.537918
CPU usage (%): 99.9597
Max. virtual memory (cumulated for all children) (KiB): 151768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.537918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38765
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= 7
involuntary context switches= 4705

runsolver used 2.02669 second user time and 4.5853 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Thu Apr 19 15:07:31 UTC 2007

IDJOB= 357345
IDBENCH= 2442
IDSOLVER= 172
FILE ID= node33/357345-1176995251

PBS_JOBID= 4630415

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  89b57889d16cd406631a12aac7aefa29

RANDOM SEED= 549951451

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.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.272
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.272
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:       1751192 kB
Buffers:         35652 kB
Cached:         157912 kB
SwapCached:       2276 kB
Active:         174068 kB
Inactive:        77388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1751192 kB
SwapTotal:     4192956 kB
SwapFree:      4180512 kB
Dirty:            2340 kB
Writeback:           0 kB
Mapped:          72812 kB
Slab:            38572 kB
Committed_AS:  1674008 kB
PageTables:       1996 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= 66475 MiB

End job on node33 on Thu Apr 19 15:37:34 UTC 2007