Trace number 356898

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.1 1800.64

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic97.opb
MD5SUMaef7e3722fd5816dc0cbb2acb61edf83
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 264081
Optimality of the best value was proved NO
Number of variables11503
Total number of constraints971
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)835
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint4
Maximum length of a constraint9784
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 529231
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.39/0.47	c ...done
0.39/0.47	c #vars=11503 #constraints=1064 hasObjective=yes
0.49/0.54	c res. mode=mod
0.49/0.54	c VSIDS like heuristics
0.49/0.54	c complete search running
0.89/1.00	c restart after 401 decisions
1.00/1.06	c nbDecision=500 #constraints=1235
1.69/1.74	c restart after 801 decisions
1.89/1.95	c nbDecision=1000 #constraints=1392
2.99/3.02	c nbDecision=1500 #constraints=1556
3.20/3.27	c restart after 1601 decisions
3.99/4.00	c nbDecision=2000 #constraints=1705
4.99/5.06	c nbDecision=2500 #constraints=1862
6.39/6.45	c nbDecision=3000 #constraints=2017
6.79/6.88	c restart after 3201 decisions
7.39/7.49	c nbDecision=3500 #constraints=2215
8.69/8.74	c nbDecision=4000 #constraints=2365
10.39/10.45	c nbDecision=4500 #constraints=2561
10.99/11.01	c nbDecision=5000 #constraints=2788
11.39/11.49	c nbDecision=5500 #constraints=2951
11.89/11.99	c nbDecision=6000 #constraints=3131
12.29/12.32	c restart after 6401 decisions
12.39/12.40	c nbDecision=6500 #constraints=3312
13.29/13.35	c nbDecision=7000 #constraints=3464
14.49/14.58	c nbDecision=7500 #constraints=3623
15.89/15.91	c nbDecision=8000 #constraints=3775
17.39/17.41	c nbDecision=8500 #constraints=4015
17.88/17.93	c nbDecision=9000 #constraints=4205
18.38/18.41	c nbDecision=9500 #constraints=4383
18.88/18.96	c nbDecision=10000 #constraints=4527
19.79/19.89	c nbDecision=10500 #constraints=4680
20.18/20.25	c nbDecision=11000 #constraints=4798
20.68/20.79	c nbDecision=11500 #constraints=4935
21.08/21.11	c nbDecision=12000 #constraints=5051
21.68/21.74	c nbDecision=12500 #constraints=5203
21.89/21.99	c restart after 12801 decisions
22.48/22.53	c nbDecision=13000 #constraints=5402
23.18/23.24	c nbDecision=13500 #constraints=5585
23.68/23.73	c nbDecision=14000 #constraints=5746
24.28/24.36	c nbDecision=14500 #constraints=5911
25.08/25.13	c nbDecision=15000 #constraints=6066
25.48/25.51	c nbDecision=15500 #constraints=6216
25.78/25.86	c nbDecision=16000 #constraints=6349
26.18/26.22	c nbDecision=16500 #constraints=6498
26.58/26.61	c nbDecision=17000 #constraints=6628
27.18/27.27	c nbDecision=17500 #constraints=6762
28.28/28.35	c nbDecision=18000 #constraints=6899
28.78/28.81	c nbDecision=18500 #constraints=7046
29.28/29.39	c nbDecision=19000 #constraints=7215
29.89/29.95	c nbDecision=19500 #constraints=7376
30.49/30.51	c nbDecision=20000 #constraints=7527
30.99/31.02	c nbDecision=20500 #constraints=7657
31.49/31.52	c nbDecision=21000 #constraints=7796
31.99/32.09	c nbDecision=21500 #constraints=7926
32.59/32.64	c nbDecision=22000 #constraints=8037
33.08/33.14	c nbDecision=22500 #constraints=8138
33.58/33.68	c nbDecision=23000 #constraints=8247
34.18/34.24	c nbDecision=23500 #constraints=8353
34.68/34.79	c nbDecision=24000 #constraints=8455
35.19/35.27	c nbDecision=24500 #constraints=8572
35.78/35.83	c nbDecision=25000 #constraints=8714
36.48/36.60	c nbDecision=25500 #constraints=8840
36.68/36.79	c restart after 25601 decisions
37.98/38.05	c nbDecision=26000 #constraints=8992
40.28/40.32	c nbDecision=26500 #constraints=9239
40.98/41.03	c nbDecision=27000 #constraints=9451
41.58/41.68	c nbDecision=27500 #constraints=9616
42.28/42.37	c nbDecision=28000 #constraints=9786
43.08/43.15	c nbDecision=28500 #constraints=9936
43.88/43.92	c nbDecision=29000 #constraints=10076
44.28/44.37	c nbDecision=29500 #constraints=10192
44.78/44.82	c nbDecision=30000 #constraints=10332
45.18/45.26	c nbDecision=30500 #constraints=10457
45.68/45.77	c nbDecision=31000 #constraints=10568
46.57/46.60	c nbDecision=31500 #constraints=10747
46.97/47.07	c nbDecision=32000 #constraints=10869
47.57/47.69	c nbDecision=32500 #constraints=10970
48.28/48.34	c nbDecision=33000 #constraints=11098
48.77/48.87	c nbDecision=33500 #constraints=11207
49.38/49.47	c nbDecision=34000 #constraints=11339
49.97/50.05	c nbDecision=34500 #constraints=11440
50.97/51.00	c nbDecision=35000 #constraints=11555
51.58/51.66	c nbDecision=35500 #constraints=11644
52.17/52.24	c nbDecision=36000 #constraints=11763
52.87/52.92	c nbDecision=36500 #constraints=11889
53.37/53.49	c nbDecision=37000 #constraints=11980
54.07/54.12	c nbDecision=37500 #constraints=12068
55.08/55.12	c nbDecision=38000 #constraints=12173
58.28/58.31	c nbDecision=38500 #constraints=12334
59.18/59.24	c nbDecision=39000 #constraints=12449
60.48/60.51	c nbDecision=39500 #constraints=12569
61.78/61.84	c nbDecision=40000 #constraints=12693
62.48/62.56	c nbDecision=40500 #constraints=12820
63.08/63.18	c nbDecision=41000 #constraints=12924
63.78/63.83	c nbDecision=41500 #constraints=13030
65.37/65.42	c nbDecision=42000 #constraints=13158
66.07/66.11	c nbDecision=42500 #constraints=13245
66.77/66.88	c nbDecision=43000 #constraints=13326
67.47/67.52	c nbDecision=43500 #constraints=13419
68.08/68.18	c nbDecision=44000 #constraints=13488
68.67/68.77	c nbDecision=44500 #constraints=13587
69.57/69.66	c nbDecision=45000 #constraints=13696
72.67/72.73	c nbDecision=45500 #constraints=13832
73.77/73.82	c nbDecision=46000 #constraints=13952
74.57/74.64	c nbDecision=46500 #constraints=14059
75.17/75.29	c nbDecision=47000 #constraints=14161
75.97/76.04	c nbDecision=47500 #constraints=14279
77.17/77.20	c nbDecision=48000 #constraints=14365
77.97/78.04	c nbDecision=48500 #constraints=14456
78.57/78.62	c nbDecision=49000 #constraints=14546
79.47/79.51	c nbDecision=49500 #constraints=14638
80.47/80.56	c nbDecision=50000 #constraints=14726
84.17/84.29	c nbDecision=50500 #constraints=14880
85.96/86.09	c nbDecision=51000 #constraints=15020
86.36/86.43	c restart after 51201 decisions
88.66/88.73	c nbDecision=51500 #constraints=15175
90.66/90.71	c nbDecision=52000 #constraints=15403
91.46/91.59	c nbDecision=52500 #constraints=15573
92.56/92.63	c nbDecision=53000 #constraints=15757
93.56/93.69	c nbDecision=53500 #constraints=15917
94.86/94.93	c nbDecision=54000 #constraints=16064
96.66/96.71	c nbDecision=54500 #constraints=16229
97.46/97.56	c nbDecision=55000 #constraints=16343
98.26/98.36	c nbDecision=55500 #constraints=16486
98.86/98.92	c nbDecision=56000 #constraints=16613
99.56/99.66	c nbDecision=56500 #constraints=16712
100.46/100.51	c nbDecision=57000 #constraints=16800
101.16/101.27	c nbDecision=57500 #constraints=16894
102.96/103.06	c nbDecision=58000 #constraints=17021
103.66/103.74	c nbDecision=58500 #constraints=17088
104.26/104.38	c nbDecision=59000 #constraints=17178
105.16/105.24	c nbDecision=59500 #constraints=17267
105.96/106.04	c nbDecision=60000 #constraints=17346
106.66/106.73	c nbDecision=60500 #constraints=17436
107.46/107.50	c nbDecision=61000 #constraints=17506
108.46/108.54	c nbDecision=61500 #constraints=17599
112.75/112.89	c nbDecision=62000 #constraints=17750
116.06/116.12	c nbDecision=62500 #constraints=17901
117.26/117.38	c nbDecision=63000 #constraints=18047
119.26/119.35	c nbDecision=63500 #constraints=18166
120.66/120.72	c nbDecision=64000 #constraints=18273
121.76/121.87	c nbDecision=64500 #constraints=18400
122.56/122.64	c nbDecision=65000 #constraints=18531
123.46/123.55	c nbDecision=65500 #constraints=18651
124.66/124.73	c nbDecision=66000 #constraints=18769
126.76/126.89	c nbDecision=66500 #constraints=18904
127.76/127.90	c nbDecision=67000 #constraints=19015
128.86/128.92	c nbDecision=67500 #constraints=19108
129.76/129.83	c nbDecision=68000 #constraints=19214
130.46/130.53	c nbDecision=68500 #constraints=19300
131.16/131.25	c nbDecision=69000 #constraints=19372
132.25/132.37	c nbDecision=69500 #constraints=19466
137.05/137.14	c nbDecision=70000 #constraints=19620
139.66/139.76	c nbDecision=70500 #constraints=19754
141.05/141.16	c nbDecision=71000 #constraints=19882
143.05/143.10	c nbDecision=71500 #constraints=19980
145.05/145.16	c nbDecision=72000 #constraints=20099
146.15/146.29	c nbDecision=72500 #constraints=20210
147.05/147.14	c nbDecision=73000 #constraints=20311
149.35/149.40	c nbDecision=73500 #constraints=20415
150.65/150.73	c nbDecision=74000 #constraints=20492
151.75/151.83	c nbDecision=74500 #constraints=20576
152.44/152.60	c nbDecision=75000 #constraints=20663
153.34/153.42	c nbDecision=75500 #constraints=20747
154.24/154.31	c nbDecision=76000 #constraints=20823
155.15/155.26	c nbDecision=76500 #constraints=20883
156.16/156.24	c nbDecision=77000 #constraints=20953
156.95/157.02	c nbDecision=77500 #constraints=21018
157.75/157.88	c nbDecision=78000 #constraints=21106
158.95/159.02	c nbDecision=78500 #constraints=21204
159.75/159.88	c nbDecision=79000 #constraints=21302
160.85/160.93	c nbDecision=79500 #constraints=21395
161.95/162.08	c nbDecision=80000 #constraints=21498
162.85/162.97	c nbDecision=80500 #constraints=21582
163.75/163.90	c nbDecision=81000 #constraints=21702
164.75/164.86	c nbDecision=81500 #constraints=21797
165.65/165.73	c nbDecision=82000 #constraints=21907
166.65/166.79	c nbDecision=82500 #constraints=22032
167.55/167.64	c nbDecision=83000 #constraints=22113
168.75/168.83	c nbDecision=83500 #constraints=22236
169.55/169.61	c nbDecision=84000 #constraints=22332
170.55/170.67	c nbDecision=84500 #constraints=22429
171.35/171.45	c nbDecision=85000 #constraints=22531
172.24/172.37	c nbDecision=85500 #constraints=22616
173.14/173.25	c nbDecision=86000 #constraints=22735
174.14/174.29	c nbDecision=86500 #constraints=22847
175.34/175.48	c nbDecision=87000 #constraints=22945
176.44/176.53	c nbDecision=87500 #constraints=23052
177.44/177.56	c nbDecision=88000 #constraints=23134
178.54/178.64	c nbDecision=88500 #constraints=23217
179.34/179.48	c nbDecision=89000 #constraints=23302
180.44/180.52	c nbDecision=89500 #constraints=23399
181.34/181.50	c nbDecision=90000 #constraints=23501
182.44/182.55	c nbDecision=90500 #constraints=23580
183.64/183.75	c nbDecision=91000 #constraints=23659
184.84/184.90	c nbDecision=91500 #constraints=23731
185.94/186.05	c nbDecision=92000 #constraints=23850
186.94/187.04	c nbDecision=92500 #constraints=23944
188.24/188.31	c nbDecision=93000 #constraints=24024
189.14/189.23	c nbDecision=93500 #constraints=24144
190.04/190.17	c nbDecision=94000 #constraints=24227
191.24/191.38	c nbDecision=94500 #constraints=24298
192.34/192.49	c nbDecision=95000 #constraints=24360
193.54/193.63	c nbDecision=95500 #constraints=24440
194.54/194.63	c nbDecision=96000 #constraints=24542
195.44/195.56	c nbDecision=96500 #constraints=24636
196.34/196.47	c nbDecision=97000 #constraints=24729
197.33/197.43	c nbDecision=97500 #constraints=24803
198.33/198.46	c nbDecision=98000 #constraints=24869
199.23/199.40	c nbDecision=98500 #constraints=24931
200.23/200.31	c nbDecision=99000 #constraints=25004
201.14/201.30	c nbDecision=99500 #constraints=25064
202.03/202.19	c nbDecision=100000 #constraints=25128
203.03/203.17	c nbDecision=100500 #constraints=25203
204.13/204.21	c nbDecision=101000 #constraints=25291
205.03/205.10	c nbDecision=101500 #constraints=25369
205.83/205.99	c nbDecision=102000 #constraints=25450
206.53/206.70	c restart after 102401 decisions
207.23/207.30	c nbDecision=102500 #constraints=25538
210.83/210.92	c nbDecision=103000 #constraints=25691
214.53/214.64	c nbDecision=103500 #constraints=25849
218.53/218.69	c nbDecision=104000 #constraints=25998
221.53/221.61	c nbDecision=104500 #constraints=26290
224.03/224.11	c nbDecision=105000 #constraints=26505
226.53/226.69	c nbDecision=105500 #constraints=26660
227.63/227.74	c nbDecision=106000 #constraints=26804
228.63/228.80	c nbDecision=106500 #constraints=26933
230.03/230.14	c nbDecision=107000 #constraints=27032
231.23/231.39	c nbDecision=107500 #constraints=27104
232.43/232.54	c nbDecision=108000 #constraints=27173
233.82/233.90	c nbDecision=108500 #constraints=27251
235.12/235.27	c nbDecision=109000 #constraints=27312
236.62/236.70	c nbDecision=109500 #constraints=27370
237.92/238.01	c nbDecision=110000 #constraints=27431
239.73/239.82	c nbDecision=110500 #constraints=27516
242.82/242.97	c nbDecision=111000 #constraints=27686
244.52/244.68	c nbDecision=111500 #constraints=27852
246.12/246.21	c nbDecision=112000 #constraints=27966
247.32/247.50	c nbDecision=112500 #constraints=28082
249.32/249.40	c nbDecision=113000 #constraints=28166
250.72/250.89	c nbDecision=113500 #constraints=28231
252.12/252.22	c nbDecision=114000 #constraints=28311
253.62/253.70	c nbDecision=114500 #constraints=28386
254.82/254.99	c nbDecision=115000 #constraints=28454
256.02/256.10	c nbDecision=115500 #constraints=28558
260.01/260.18	c nbDecision=116000 #constraints=28673
261.62/261.75	c nbDecision=116500 #constraints=28800
263.01/263.16	c nbDecision=117000 #constraints=28914
265.21/265.35	c nbDecision=117500 #constraints=28984
266.71/266.84	c nbDecision=118000 #constraints=29046
269.61/269.71	c nbDecision=118500 #constraints=29148
275.21/275.32	c nbDecision=119000 #constraints=29287
276.61/276.76	c nbDecision=119500 #constraints=29400
279.41/279.51	c nbDecision=120000 #constraints=29536
282.11/282.22	c nbDecision=120500 #constraints=29634
283.90/284.03	c nbDecision=121000 #constraints=29740
285.81/285.98	c nbDecision=121500 #constraints=29818
287.10/287.24	c nbDecision=122000 #constraints=29933
288.51/288.66	c nbDecision=122500 #constraints=30014
289.90/290.02	c nbDecision=123000 #constraints=30093
291.61/291.71	c nbDecision=123500 #constraints=30162
297.61/297.71	c nbDecision=124000 #constraints=30285
300.61/300.79	c nbDecision=124500 #constraints=30422
302.01/302.12	c nbDecision=125000 #constraints=30541
303.80/303.97	c nbDecision=125500 #constraints=30660
306.21/306.38	c nbDecision=126000 #constraints=30764
307.60/307.71	c nbDecision=126500 #constraints=30875
308.80/308.91	c nbDecision=127000 #constraints=31001
311.70/311.80	c nbDecision=127500 #constraints=31104
313.41/313.56	c nbDecision=128000 #constraints=31204
315.40/315.54	c nbDecision=128500 #constraints=31282
316.60/316.74	c nbDecision=129000 #constraints=31360
318.00/318.16	c nbDecision=129500 #constraints=31426
319.30/319.46	c nbDecision=130000 #constraints=31488
321.10/321.27	c nbDecision=130500 #constraints=31546
322.40/322.51	c nbDecision=131000 #constraints=31623
323.60/323.73	c nbDecision=131500 #constraints=31692
324.90/325.06	c nbDecision=132000 #constraints=31762
326.10/326.24	c nbDecision=132500 #constraints=31839
327.30/327.46	c nbDecision=133000 #constraints=31899
328.50/328.64	c nbDecision=133500 #constraints=31979
329.70/329.86	c nbDecision=134000 #constraints=32045
331.00/331.12	c nbDecision=134500 #constraints=32129
332.20/332.35	c nbDecision=135000 #constraints=32229
333.59/333.76	c nbDecision=135500 #constraints=32347
334.89/335.02	c nbDecision=136000 #constraints=32436
336.19/336.30	c nbDecision=136500 #constraints=32562
337.29/337.50	c nbDecision=137000 #constraints=32642
338.70/338.87	c nbDecision=137500 #constraints=32734
339.89/340.02	c nbDecision=138000 #constraints=32857
340.89/341.10	c nbDecision=138500 #constraints=32945
342.29/342.46	c nbDecision=139000 #constraints=33027
343.39/343.60	c nbDecision=139500 #constraints=33132
344.49/344.63	c nbDecision=140000 #constraints=33217
345.59/345.77	c nbDecision=140500 #constraints=33280
346.69/346.88	c nbDecision=141000 #constraints=33358
348.19/348.38	c nbDecision=141500 #constraints=33445
349.39/349.58	c nbDecision=142000 #constraints=33501
350.79/350.95	c nbDecision=142500 #constraints=33590
351.89/352.09	c nbDecision=143000 #constraints=33675
353.48/353.68	c nbDecision=143500 #constraints=33721
354.78/354.90	c nbDecision=144000 #constraints=33795
356.08/356.20	c nbDecision=144500 #constraints=33868
357.18/357.31	c nbDecision=145000 #constraints=33961
358.39/358.52	c nbDecision=145500 #constraints=34027
359.98/360.11	c nbDecision=146000 #constraints=34088
361.08/361.22	c nbDecision=146500 #constraints=34133
362.28/362.49	c nbDecision=147000 #constraints=34203
363.88/364.01	c nbDecision=147500 #constraints=34281
365.08/365.26	c nbDecision=148000 #constraints=34330
366.38/366.54	c nbDecision=148500 #constraints=34397
367.48/367.62	c nbDecision=149000 #constraints=34466
368.68/368.83	c nbDecision=149500 #constraints=34515
369.98/370.10	c nbDecision=150000 #constraints=34589
371.48/371.63	c nbDecision=150500 #constraints=34668
372.58/372.71	c nbDecision=151000 #constraints=34714
373.78/373.92	c nbDecision=151500 #constraints=34767
374.98/375.13	c nbDecision=152000 #constraints=34853
376.27/376.42	c nbDecision=152500 #constraints=34941
377.28/377.44	c nbDecision=153000 #constraints=35011
378.38/378.53	c nbDecision=153500 #constraints=35084
379.48/379.67	c nbDecision=154000 #constraints=35193
380.98/381.18	c nbDecision=154500 #constraints=35274
382.38/382.53	c nbDecision=155000 #constraints=35354
383.58/383.70	c nbDecision=155500 #constraints=35414
384.78/384.94	c nbDecision=156000 #constraints=35488
385.78/386.00	c nbDecision=156500 #constraints=35548
387.08/387.22	c nbDecision=157000 #constraints=35635
388.58/388.78	c nbDecision=157500 #constraints=35727
389.88/390.00	c nbDecision=158000 #constraints=35811
390.48/390.66	c nbDecision=158500 #constraints=35917
391.38/391.51	c nbDecision=159000 #constraints=36019
393.37/393.50	c nbDecision=159500 #constraints=36078
395.37/395.56	c nbDecision=160000 #constraints=36147
396.87/397.05	c nbDecision=160500 #constraints=36209
398.27/398.46	c nbDecision=161000 #constraints=36289
399.67/399.81	c nbDecision=161500 #constraints=36355
400.97/401.10	c nbDecision=162000 #constraints=36462
402.47/402.69	c nbDecision=162500 #constraints=36531
404.27/404.46	c nbDecision=163000 #constraints=36599
405.97/406.19	c nbDecision=163500 #constraints=36685
407.57/407.79	c nbDecision=164000 #constraints=36769
409.27/409.45	c nbDecision=164500 #constraints=36838
410.86/411.00	c nbDecision=165000 #constraints=36914
412.46/412.66	c nbDecision=165500 #constraints=36977
413.96/414.16	c nbDecision=166000 #constraints=37031
415.96/416.17	c nbDecision=166500 #constraints=37098
417.66/417.81	c nbDecision=167000 #constraints=37178
419.47/419.64	c nbDecision=167500 #constraints=37260
421.67/421.85	c nbDecision=168000 #constraints=37316
423.67/423.81	c nbDecision=168500 #constraints=37364
424.97/425.13	c nbDecision=169000 #constraints=37417
426.77/426.91	c nbDecision=169500 #constraints=37466
428.17/428.35	c nbDecision=170000 #constraints=37513
429.47/429.60	c nbDecision=170500 #constraints=37590
430.77/430.97	c nbDecision=171000 #constraints=37670
432.47/432.64	c nbDecision=171500 #constraints=37741
433.97/434.13	c nbDecision=172000 #constraints=37811
435.27/435.42	c nbDecision=172500 #constraints=37915
436.66/436.85	c nbDecision=173000 #constraints=37981
438.06/438.20	c nbDecision=173500 #constraints=38045
439.36/439.52	c nbDecision=174000 #constraints=38110
440.66/440.83	c nbDecision=174500 #constraints=38168
441.86/442.08	c nbDecision=175000 #constraints=38252
443.17/443.36	c nbDecision=175500 #constraints=38310
444.26/444.40	c nbDecision=176000 #constraints=38415
447.16/447.31	c nbDecision=176500 #constraints=38470
448.66/448.88	c nbDecision=177000 #constraints=38543
450.36/450.51	c nbDecision=177500 #constraints=38628
452.16/452.32	c nbDecision=178000 #constraints=38704
453.76/453.94	c nbDecision=178500 #constraints=38791
455.35/455.55	c nbDecision=179000 #constraints=38860
457.46/457.68	c nbDecision=179500 #constraints=38922
459.56/459.76	c nbDecision=180000 #constraints=39004
461.15/461.39	c nbDecision=180500 #constraints=39070
462.96/463.17	c nbDecision=181000 #constraints=39132
464.45/464.69	c nbDecision=181500 #constraints=39207
466.26/466.43	c nbDecision=182000 #constraints=39280
467.65/467.80	c nbDecision=182500 #constraints=39363
469.35/469.51	c nbDecision=183000 #constraints=39429
471.75/471.91	c nbDecision=183500 #constraints=39476
473.45/473.62	c nbDecision=184000 #constraints=39544
475.05/475.22	c nbDecision=184500 #constraints=39606
476.55/476.76	c nbDecision=185000 #constraints=39667
478.45/478.62	c nbDecision=185500 #constraints=39722
480.05/480.22	c nbDecision=186000 #constraints=39802
481.74/481.90	c nbDecision=186500 #constraints=39869
483.14/483.36	c nbDecision=187000 #constraints=39941
484.64/484.84	c nbDecision=187500 #constraints=39991
486.24/486.47	c nbDecision=188000 #constraints=40055
487.84/488.05	c nbDecision=188500 #constraints=40114
489.54/489.79	c nbDecision=189000 #constraints=40193
491.04/491.23	c nbDecision=189500 #constraints=40242
492.55/492.72	c nbDecision=190000 #constraints=40323
494.64/494.88	c nbDecision=190500 #constraints=40420
496.84/497.00	c nbDecision=191000 #constraints=40487
498.74/498.93	c nbDecision=191500 #constraints=40546
500.64/500.85	c nbDecision=192000 #constraints=40604
502.64/502.86	c nbDecision=192500 #constraints=40676
505.34/505.56	c nbDecision=193000 #constraints=40786
507.24/507.43	c nbDecision=193500 #constraints=40853
509.24/509.42	c nbDecision=194000 #constraints=40913
510.94/511.18	c nbDecision=194500 #constraints=40995
513.63/513.81	c nbDecision=195000 #constraints=41054
515.94/516.11	c nbDecision=195500 #constraints=41113
517.64/517.80	c nbDecision=196000 #constraints=41187
519.44/519.63	c nbDecision=196500 #constraints=41251
521.24/521.43	c nbDecision=197000 #constraints=41301
523.24/523.47	c nbDecision=197500 #constraints=41363
524.84/525.08	c nbDecision=198000 #constraints=41445
526.64/526.81	c nbDecision=198500 #constraints=41495
529.34/529.59	c nbDecision=199000 #constraints=41537
530.94/531.19	c nbDecision=199500 #constraints=41591
532.84/533.07	c nbDecision=200000 #constraints=41671
534.74/534.98	c nbDecision=200500 #constraints=41724
537.04/537.25	c nbDecision=201000 #constraints=41790
538.63/538.83	c nbDecision=201500 #constraints=41867
540.13/540.35	c nbDecision=202000 #constraints=41979
541.93/542.17	c nbDecision=202500 #constraints=42049
543.53/543.73	c nbDecision=203000 #constraints=42104
546.13/546.34	c nbDecision=203500 #constraints=42141
553.33/553.51	c nbDecision=204000 #constraints=42288
561.63/561.85	c nbDecision=204500 #constraints=42439
562.63/562.83	c restart after 204801 decisions
564.63/564.87	c nbDecision=205000 #constraints=42580
570.63/570.82	c nbDecision=205500 #constraints=42740
576.02/576.24	c nbDecision=206000 #constraints=42903
581.82/582.08	c nbDecision=206500 #constraints=43057
587.42/587.68	c nbDecision=207000 #constraints=43232
592.62/592.82	c nbDecision=207500 #constraints=43495
595.21/595.43	c nbDecision=208000 #constraints=43676
597.02/597.30	c nbDecision=208500 #constraints=43807
599.01/599.21	c nbDecision=209000 #constraints=43915
600.61/600.82	c nbDecision=209500 #constraints=44050
602.71/602.92	c nbDecision=210000 #constraints=44137
604.41/604.66	c nbDecision=210500 #constraints=44235
606.21/606.47	c nbDecision=211000 #constraints=44334
608.01/608.21	c nbDecision=211500 #constraints=44425
609.71/609.98	c nbDecision=212000 #constraints=44490
611.61/611.89	c nbDecision=212500 #constraints=44577
613.61/613.84	c nbDecision=213000 #constraints=44643
617.81/618.00	c nbDecision=213500 #constraints=44772
619.90/620.16	c nbDecision=214000 #constraints=44848
621.50/621.77	c nbDecision=214500 #constraints=44920
626.71/626.93	c nbDecision=215000 #constraints=45029
629.60/629.83	c nbDecision=215500 #constraints=45183
632.60/632.83	c nbDecision=216000 #constraints=45260
636.91/637.16	c nbDecision=216500 #constraints=45352
639.21/639.42	c nbDecision=217000 #constraints=45426
641.01/641.28	c nbDecision=217500 #constraints=45540
643.11/643.36	c nbDecision=218000 #constraints=45635
644.80/645.05	c nbDecision=218500 #constraints=45729
648.81/649.07	c nbDecision=219000 #constraints=45823
651.40/651.66	c nbDecision=219500 #constraints=45970
653.90/654.18	c nbDecision=220000 #constraints=46081
658.50/658.75	c nbDecision=220500 #constraints=46193
662.50/662.73	c nbDecision=221000 #constraints=46310
664.30/664.59	c nbDecision=221500 #constraints=46433
666.00/666.27	c nbDecision=222000 #constraints=46536
668.90/669.10	c nbDecision=222500 #constraints=46614
671.29/671.51	c nbDecision=223000 #constraints=46712
675.20/675.48	c nbDecision=223500 #constraints=46794
681.69/681.95	c nbDecision=224000 #constraints=46936
686.09/686.35	c nbDecision=224500 #constraints=47084
689.69/689.91	c nbDecision=225000 #constraints=47177
691.59/691.89	c nbDecision=225500 #constraints=47295
693.59/693.81	c nbDecision=226000 #constraints=47415
695.69/695.92	c nbDecision=226500 #constraints=47515
698.29/698.53	c nbDecision=227000 #constraints=47575
701.38/701.62	c nbDecision=227500 #constraints=47652
708.98/709.22	c nbDecision=228000 #constraints=47756
712.78/713.05	c nbDecision=228500 #constraints=47854
715.68/715.91	c nbDecision=229000 #constraints=47931
717.38/717.60	c nbDecision=229500 #constraints=48008
720.29/720.50	c nbDecision=230000 #constraints=48070
722.39/722.68	c nbDecision=230500 #constraints=48130
724.48/724.76	c nbDecision=231000 #constraints=48190
726.38/726.68	c nbDecision=231500 #constraints=48263
728.18/728.41	c nbDecision=232000 #constraints=48335
730.28/730.54	c nbDecision=232500 #constraints=48413
732.18/732.43	c nbDecision=233000 #constraints=48481
733.98/734.29	c nbDecision=233500 #constraints=48556
735.88/736.16	c nbDecision=234000 #constraints=48627
737.68/737.96	c nbDecision=234500 #constraints=48698
739.58/739.86	c nbDecision=235000 #constraints=48752
741.28/741.58	c nbDecision=235500 #constraints=48816
743.08/743.34	c nbDecision=236000 #constraints=48871
744.88/745.11	c nbDecision=236500 #constraints=48931
746.58/746.83	c nbDecision=237000 #constraints=48982
748.38/748.60	c nbDecision=237500 #constraints=49038
750.18/750.46	c nbDecision=238000 #constraints=49125
751.77/752.04	c nbDecision=238500 #constraints=49231
753.57/753.85	c nbDecision=239000 #constraints=49303
755.77/756.01	c nbDecision=239500 #constraints=49463
757.27/757.54	c nbDecision=240000 #constraints=49582
758.78/759.06	c nbDecision=240500 #constraints=49700
760.57/760.83	c nbDecision=241000 #constraints=49768
762.17/762.41	c nbDecision=241500 #constraints=49846
764.07/764.32	c nbDecision=242000 #constraints=49911
765.77/766.00	c nbDecision=242500 #constraints=49988
767.57/767.87	c nbDecision=243000 #constraints=50073
769.27/769.56	c nbDecision=243500 #constraints=50135
771.07/771.33	c nbDecision=244000 #constraints=50192
773.17/773.47	c nbDecision=244500 #constraints=50250
775.07/775.33	c nbDecision=245000 #constraints=50316
776.57/776.87	c nbDecision=245500 #constraints=50372
778.26/778.53	c nbDecision=246000 #constraints=50481
780.16/780.46	c nbDecision=246500 #constraints=50569
781.96/782.24	c nbDecision=247000 #constraints=50636
783.66/783.97	c nbDecision=247500 #constraints=50678
785.36/785.64	c nbDecision=248000 #constraints=50786
787.16/787.45	c nbDecision=248500 #constraints=50848
789.16/789.46	c nbDecision=249000 #constraints=50948
791.16/791.40	c nbDecision=249500 #constraints=50996
792.76/793.09	c nbDecision=250000 #constraints=51063
794.66/794.95	c nbDecision=250500 #constraints=51109
796.36/796.63	c nbDecision=251000 #constraints=51173
798.05/798.35	c nbDecision=251500 #constraints=51226
799.75/800.03	c nbDecision=252000 #constraints=51306
801.45/801.73	c nbDecision=252500 #constraints=51364
803.25/803.56	c nbDecision=253000 #constraints=51438
805.25/805.59	c nbDecision=253500 #constraints=51512
806.85/807.16	c nbDecision=254000 #constraints=51568
808.45/808.73	c nbDecision=254500 #constraints=51647
810.16/810.40	c nbDecision=255000 #constraints=51701
811.86/812.19	c nbDecision=255500 #constraints=51753
813.46/813.72	c nbDecision=256000 #constraints=51820
815.16/815.48	c nbDecision=256500 #constraints=51878
816.96/817.23	c nbDecision=257000 #constraints=51925
818.45/818.76	c nbDecision=257500 #constraints=51977
820.05/820.34	c nbDecision=258000 #constraints=52040
821.55/821.82	c nbDecision=258500 #constraints=52091
823.35/823.61	c nbDecision=259000 #constraints=52154
824.76/825.02	c nbDecision=259500 #constraints=52203
826.35/826.64	c nbDecision=260000 #constraints=52260
827.96/828.27	c nbDecision=260500 #constraints=52330
829.55/829.84	c nbDecision=261000 #constraints=52426
831.35/831.61	c nbDecision=261500 #constraints=52472
832.55/832.88	c nbDecision=262000 #constraints=52564
833.65/833.90	c nbDecision=262500 #constraints=52670
834.95/835.28	c nbDecision=263000 #constraints=52790
836.95/837.24	c nbDecision=263500 #constraints=52862
839.05/839.37	c nbDecision=264000 #constraints=52934
840.45/840.74	c nbDecision=264500 #constraints=53010
842.44/842.79	c nbDecision=265000 #constraints=53090
844.74/845.07	c nbDecision=265500 #constraints=53178
847.24/847.56	c nbDecision=266000 #constraints=53249
851.34/851.64	c nbDecision=266500 #constraints=53294
853.34/853.69	c nbDecision=267000 #constraints=53361
857.04/857.34	c nbDecision=267500 #constraints=53439
858.84/859.13	c nbDecision=268000 #constraints=53516
860.94/861.23	c nbDecision=268500 #constraints=53584
862.93/863.27	c nbDecision=269000 #constraints=53690
865.03/865.30	c nbDecision=269500 #constraints=53772
867.33/867.65	c nbDecision=270000 #constraints=53849
870.23/870.57	c nbDecision=270500 #constraints=53894
873.04/873.34	c nbDecision=271000 #constraints=53947
874.73/875.06	c nbDecision=271500 #constraints=54014
876.53/876.87	c nbDecision=272000 #constraints=54084
878.53/878.86	c nbDecision=272500 #constraints=54132
880.43/880.79	c nbDecision=273000 #constraints=54178
882.43/882.75	c nbDecision=273500 #constraints=54237
884.14/884.42	c nbDecision=274000 #constraints=54317
885.93/886.27	c nbDecision=274500 #constraints=54371
887.73/888.01	c nbDecision=275000 #constraints=54429
890.53/890.87	c nbDecision=275500 #constraints=54528
893.13/893.48	c nbDecision=276000 #constraints=54587
895.43/895.79	c nbDecision=276500 #constraints=54658
897.73/898.08	c nbDecision=277000 #constraints=54756
899.73/900.03	c nbDecision=277500 #constraints=54818
903.72/904.06	c nbDecision=278000 #constraints=54868
907.42/907.72	c nbDecision=278500 #constraints=54920
910.72/911.00	c nbDecision=279000 #constraints=54961
912.32/912.69	c nbDecision=279500 #constraints=55055
914.32/914.64	c nbDecision=280000 #constraints=55116
916.52/916.83	c nbDecision=280500 #constraints=55182
918.62/918.92	c nbDecision=281000 #constraints=55240
920.62/920.92	c nbDecision=281500 #constraints=55310
922.82/923.10	c nbDecision=282000 #constraints=55386
924.72/925.09	c nbDecision=282500 #constraints=55448
926.52/926.84	c nbDecision=283000 #constraints=55515
929.12/929.48	c nbDecision=283500 #constraints=55584
930.92/931.26	c nbDecision=284000 #constraints=55688
933.22/933.50	c nbDecision=284500 #constraints=55762
935.01/935.30	c nbDecision=285000 #constraints=55810
936.81/937.18	c nbDecision=285500 #constraints=55878
938.71/939.05	c nbDecision=286000 #constraints=55931
940.41/940.75	c nbDecision=286500 #constraints=55974
942.31/942.68	c nbDecision=287000 #constraints=56060
944.40/944.76	c nbDecision=287500 #constraints=56167
947.10/947.40	c nbDecision=288000 #constraints=56235
950.70/951.08	c nbDecision=288500 #constraints=56288
953.60/953.92	c nbDecision=289000 #constraints=56382
955.40/955.75	c nbDecision=289500 #constraints=56457
958.51/958.88	c nbDecision=290000 #constraints=56531
961.21/961.53	c nbDecision=290500 #constraints=56590
963.11/963.47	c nbDecision=291000 #constraints=56636
966.71/967.05	c nbDecision=291500 #constraints=56708
969.81/970.14	c nbDecision=292000 #constraints=56760
971.60/971.91	c nbDecision=292500 #constraints=56854
973.60/973.90	c nbDecision=293000 #constraints=56910
975.80/976.19	c nbDecision=293500 #constraints=56995
978.10/978.43	c nbDecision=294000 #constraints=57054
980.40/980.75	c nbDecision=294500 #constraints=57117
982.30/982.63	c nbDecision=295000 #constraints=57197
984.80/985.18	c nbDecision=295500 #constraints=57257
986.70/987.01	c nbDecision=296000 #constraints=57336
988.90/989.21	c nbDecision=296500 #constraints=57402
990.80/991.14	c nbDecision=297000 #constraints=57466
992.90/993.26	c nbDecision=297500 #constraints=57539
994.89/995.26	c nbDecision=298000 #constraints=57587
996.89/997.29	c nbDecision=298500 #constraints=57636
1000.39/1000.73	c nbDecision=299000 #constraints=57704
1003.19/1003.54	c nbDecision=299500 #constraints=57780
1005.79/1006.14	c nbDecision=300000 #constraints=57875
1008.29/1008.63	c nbDecision=300500 #constraints=57942
1010.79/1011.18	c nbDecision=301000 #constraints=58014
1013.18/1013.58	c nbDecision=301500 #constraints=58093
1015.08/1015.48	c nbDecision=302000 #constraints=58167
1017.68/1018.07	c nbDecision=302500 #constraints=58243
1019.78/1020.16	c nbDecision=303000 #constraints=58343
1021.88/1022.23	c nbDecision=303500 #constraints=58405
1024.18/1024.57	c nbDecision=304000 #constraints=58473
1026.68/1027.04	c nbDecision=304500 #constraints=58521
1030.38/1030.74	c nbDecision=305000 #constraints=58568
1033.58/1033.97	c nbDecision=305500 #constraints=58621
1036.28/1036.68	c nbDecision=306000 #constraints=58690
1039.08/1039.43	c nbDecision=306500 #constraints=58750
1041.28/1041.61	c nbDecision=307000 #constraints=58817
1043.18/1043.57	c nbDecision=307500 #constraints=58863
1045.27/1045.60	c nbDecision=308000 #constraints=58942
1047.88/1048.24	c nbDecision=308500 #constraints=58993
1051.97/1052.39	c nbDecision=309000 #constraints=59031
1054.07/1054.46	c nbDecision=309500 #constraints=59089
1056.97/1057.34	c nbDecision=310000 #constraints=59142
1058.78/1059.11	c nbDecision=310500 #constraints=59208
1061.08/1061.45	c nbDecision=311000 #constraints=59255
1065.07/1065.46	c nbDecision=311500 #constraints=59291
1067.78/1068.11	c nbDecision=312000 #constraints=59368
1070.67/1071.04	c nbDecision=312500 #constraints=59434
1074.67/1075.04	c nbDecision=313000 #constraints=59471
1077.27/1077.67	c nbDecision=313500 #constraints=59522
1079.57/1079.93	c nbDecision=314000 #constraints=59599
1082.87/1083.27	c nbDecision=314500 #constraints=59648
1086.27/1086.61	c nbDecision=315000 #constraints=59727
1089.57/1089.99	c nbDecision=315500 #constraints=59787
1091.67/1092.03	c nbDecision=316000 #constraints=59873
1093.66/1094.00	c nbDecision=316500 #constraints=59919
1096.86/1097.24	c nbDecision=317000 #constraints=59957
1099.76/1100.10	c nbDecision=317500 #constraints=60024
1102.36/1102.70	c nbDecision=318000 #constraints=60076
1105.36/1105.73	c nbDecision=318500 #constraints=60146
1107.86/1108.29	c nbDecision=319000 #constraints=60222
1109.86/1110.25	c nbDecision=319500 #constraints=60279
1111.76/1112.14	c nbDecision=320000 #constraints=60350
1115.06/1115.48	c nbDecision=320500 #constraints=60404
1118.55/1118.91	c nbDecision=321000 #constraints=60478
1121.15/1121.56	c nbDecision=321500 #constraints=60555
1123.35/1123.75	c nbDecision=322000 #constraints=60625
1125.85/1126.29	c nbDecision=322500 #constraints=60716
1127.95/1128.32	c nbDecision=323000 #constraints=60793
1131.05/1131.42	c nbDecision=323500 #constraints=60850
1138.34/1138.70	c nbDecision=324000 #constraints=60975
1154.05/1154.48	c nbDecision=324500 #constraints=61130
1160.94/1161.30	c nbDecision=325000 #constraints=61256
1163.74/1164.16	c nbDecision=325500 #constraints=61371
1168.04/1168.42	c nbDecision=326000 #constraints=61476
1172.24/1172.68	c nbDecision=326500 #constraints=61581
1174.74/1175.12	c nbDecision=327000 #constraints=61693
1176.64/1177.05	c nbDecision=327500 #constraints=61803
1179.34/1179.74	c nbDecision=328000 #constraints=61906
1184.53/1184.96	c nbDecision=328500 #constraints=61999
1188.83/1189.21	c nbDecision=329000 #constraints=62068
1191.63/1192.07	c nbDecision=329500 #constraints=62182
1194.14/1194.57	c nbDecision=330000 #constraints=62246
1196.63/1197.00	c nbDecision=330500 #constraints=62325
1199.13/1199.53	c nbDecision=331000 #constraints=62394
1202.03/1202.48	c nbDecision=331500 #constraints=62449
1204.73/1205.11	c nbDecision=332000 #constraints=62515
1207.93/1208.36	c nbDecision=332500 #constraints=62572
1210.83/1211.26	c nbDecision=333000 #constraints=62637
1213.72/1214.12	c nbDecision=333500 #constraints=62701
1216.72/1217.17	c nbDecision=334000 #constraints=62758
1220.53/1220.94	c nbDecision=334500 #constraints=62800
1224.62/1225.08	c nbDecision=335000 #constraints=62835
1227.22/1227.66	c nbDecision=335500 #constraints=62878
1229.32/1229.75	c nbDecision=336000 #constraints=62949
1231.82/1232.27	c nbDecision=336500 #constraints=62993
1234.82/1235.22	c nbDecision=337000 #constraints=63057
1238.12/1238.57	c nbDecision=337500 #constraints=63122
1241.92/1242.34	c nbDecision=338000 #constraints=63174
1243.82/1244.28	c nbDecision=338500 #constraints=63233
1245.12/1245.54	c nbDecision=339000 #constraints=63305
1246.52/1246.99	c nbDecision=339500 #constraints=63373
1248.13/1248.57	c nbDecision=340000 #constraints=63431
1251.22/1251.67	c nbDecision=340500 #constraints=63486
1253.12/1253.54	c nbDecision=341000 #constraints=63534
1254.42/1254.87	c nbDecision=341500 #constraints=63619
1257.92/1258.30	c nbDecision=342000 #constraints=63661
1261.02/1261.46	c nbDecision=342500 #constraints=63730
1262.92/1263.38	c nbDecision=343000 #constraints=63784
1266.82/1267.28	c nbDecision=343500 #constraints=63828
1269.32/1269.78	c nbDecision=344000 #constraints=63899
1271.41/1271.87	c nbDecision=344500 #constraints=63946
1273.91/1274.36	c nbDecision=345000 #constraints=64010
1276.21/1276.64	c nbDecision=345500 #constraints=64074
1278.61/1279.02	c nbDecision=346000 #constraints=64133
1281.21/1281.69	c nbDecision=346500 #constraints=64187
1282.81/1283.24	c nbDecision=347000 #constraints=64260
1283.91/1284.36	c nbDecision=347500 #constraints=64349
1284.91/1285.37	c nbDecision=348000 #constraints=64452
1287.81/1288.24	c nbDecision=348500 #constraints=64519
1289.91/1290.32	c nbDecision=349000 #constraints=64603
1292.41/1292.83	c nbDecision=349500 #constraints=64669
1294.60/1295.05	c nbDecision=350000 #constraints=64722
1298.00/1298.49	c nbDecision=350500 #constraints=64778
1302.00/1302.48	c nbDecision=351000 #constraints=64815
1303.60/1304.08	c nbDecision=351500 #constraints=64874
1304.80/1305.23	c nbDecision=352000 #constraints=64986
1305.40/1305.87	c nbDecision=352500 #constraints=65130
1306.10/1306.57	c nbDecision=353000 #constraints=65267
1306.70/1307.19	c nbDecision=353500 #constraints=65400
1307.50/1307.98	c nbDecision=354000 #constraints=65526
1309.00/1309.49	c nbDecision=354500 #constraints=65672
1310.70/1311.18	c nbDecision=355000 #constraints=65820
1311.60/1312.00	c nbDecision=355500 #constraints=65920
1312.50/1312.93	c nbDecision=356000 #constraints=66072
1314.20/1314.61	c nbDecision=356500 #constraints=66199
1315.60/1316.08	c nbDecision=357000 #constraints=66355
1317.00/1317.47	c nbDecision=357500 #constraints=66483
1318.10/1318.50	c nbDecision=358000 #constraints=66608
1319.50/1320.00	c nbDecision=358500 #constraints=66756
1320.90/1321.34	c nbDecision=359000 #constraints=66916
1322.90/1323.38	c nbDecision=359500 #constraints=67070
1324.90/1325.39	c nbDecision=360000 #constraints=67233
1326.40/1326.83	c nbDecision=360500 #constraints=67356
1328.30/1328.74	c nbDecision=361000 #constraints=67506
1330.39/1330.89	c nbDecision=361500 #constraints=67651
1332.59/1333.07	c nbDecision=362000 #constraints=67790
1334.29/1334.73	c nbDecision=362500 #constraints=67944
1336.29/1336.71	c nbDecision=363000 #constraints=68067
1337.99/1338.40	c nbDecision=363500 #constraints=68185
1339.99/1340.47	c nbDecision=364000 #constraints=68318
1341.89/1342.32	c nbDecision=364500 #constraints=68464
1343.29/1343.76	c nbDecision=365000 #constraints=68598
1344.89/1345.36	c nbDecision=365500 #constraints=68756
1346.69/1347.14	c nbDecision=366000 #constraints=68893
1349.09/1349.51	c nbDecision=366500 #constraints=69033
1351.39/1351.84	c nbDecision=367000 #constraints=69176
1352.99/1353.43	c nbDecision=367500 #constraints=69298
1355.08/1355.57	c nbDecision=368000 #constraints=69413
1356.99/1357.47	c nbDecision=368500 #constraints=69579
1359.48/1359.91	c nbDecision=369000 #constraints=69679
1361.88/1362.31	c nbDecision=369500 #constraints=69824
1364.08/1364.50	c nbDecision=370000 #constraints=69945
1366.38/1366.84	c nbDecision=370500 #constraints=70080
1368.28/1368.77	c nbDecision=371000 #constraints=70227
1370.28/1370.71	c nbDecision=371500 #constraints=70372
1372.48/1372.93	c nbDecision=372000 #constraints=70454
1374.18/1374.66	c nbDecision=372500 #constraints=70587
1376.18/1376.66	c nbDecision=373000 #constraints=70699
1378.17/1378.63	c nbDecision=373500 #constraints=70773
1379.47/1379.96	c nbDecision=374000 #constraints=70909
1381.97/1382.43	c nbDecision=374500 #constraints=71067
1384.38/1384.85	c nbDecision=375000 #constraints=71207
1386.48/1386.96	c nbDecision=375500 #constraints=71333
1389.18/1389.69	c nbDecision=376000 #constraints=71503
1391.28/1391.75	c nbDecision=376500 #constraints=71634
1393.98/1394.43	c nbDecision=377000 #constraints=71772
1395.78/1396.26	c nbDecision=377500 #constraints=71896
1398.58/1399.00	c nbDecision=378000 #constraints=72053
1399.78/1400.23	c nbDecision=378500 #constraints=72197
1402.17/1402.63	c nbDecision=379000 #constraints=72327
1404.77/1405.25	c nbDecision=379500 #constraints=72473
1407.37/1407.84	c nbDecision=380000 #constraints=72615
1409.78/1410.25	c nbDecision=380500 #constraints=72733
1411.47/1411.92	c nbDecision=381000 #constraints=72860
1413.47/1413.97	c nbDecision=381500 #constraints=72970
1416.07/1416.59	c nbDecision=382000 #constraints=73135
1418.67/1419.19	c nbDecision=382500 #constraints=73274
1421.57/1422.04	c nbDecision=383000 #constraints=73422
1423.57/1424.01	c nbDecision=383500 #constraints=73555
1426.47/1426.94	c nbDecision=384000 #constraints=73706
1429.57/1430.07	c nbDecision=384500 #constraints=73834
1432.26/1432.73	c nbDecision=385000 #constraints=73956
1434.46/1434.97	c nbDecision=385500 #constraints=74075
1437.36/1437.86	c nbDecision=386000 #constraints=74221
1439.26/1439.75	c nbDecision=386500 #constraints=74332
1440.57/1441.06	c nbDecision=387000 #constraints=74424
1443.66/1444.12	c nbDecision=387500 #constraints=74586
1445.66/1446.20	c nbDecision=388000 #constraints=74683
1448.66/1449.10	c nbDecision=388500 #constraints=74784
1451.96/1452.50	c nbDecision=389000 #constraints=74928
1455.06/1455.58	c nbDecision=389500 #constraints=75039
1457.85/1458.30	c nbDecision=390000 #constraints=75160
1459.85/1460.36	c nbDecision=390500 #constraints=75264
1461.25/1461.72	c nbDecision=391000 #constraints=75404
1464.15/1464.63	c nbDecision=391500 #constraints=75541
1467.45/1467.91	c nbDecision=392000 #constraints=75675
1470.65/1471.13	c nbDecision=392500 #constraints=75791
1473.75/1474.22	c nbDecision=393000 #constraints=75912
1476.75/1477.24	c nbDecision=393500 #constraints=76035
1480.05/1480.55	c nbDecision=394000 #constraints=76155
1484.15/1484.68	c nbDecision=394500 #constraints=76303
1487.25/1487.78	c nbDecision=395000 #constraints=76432
1490.55/1491.03	c nbDecision=395500 #constraints=76577
1493.45/1493.97	c nbDecision=396000 #constraints=76708
1495.75/1496.26	c nbDecision=396500 #constraints=76854
1499.25/1499.73	c nbDecision=397000 #constraints=76941
1501.34/1501.86	c nbDecision=397500 #constraints=77068
1504.35/1504.81	c nbDecision=398000 #constraints=77164
1507.65/1508.16	c nbDecision=398500 #constraints=77256
1510.34/1510.89	c nbDecision=399000 #constraints=77402
1512.54/1513.05	c nbDecision=399500 #constraints=77493
1516.14/1516.65	c nbDecision=400000 #constraints=77658
1520.24/1520.75	c nbDecision=400500 #constraints=77841
1523.33/1523.87	c nbDecision=401000 #constraints=77950
1527.03/1527.52	c nbDecision=401500 #constraints=78058
1530.33/1530.87	c nbDecision=402000 #constraints=78196
1533.63/1534.17	c nbDecision=402500 #constraints=78305
1536.93/1537.49	c nbDecision=403000 #constraints=78429
1540.13/1540.67	c nbDecision=403500 #constraints=78553
1543.03/1543.51	c nbDecision=404000 #constraints=78632
1546.23/1546.71	c nbDecision=404500 #constraints=78731
1549.93/1550.42	c nbDecision=405000 #constraints=78880
1553.42/1553.94	c nbDecision=405500 #constraints=79000
1556.42/1556.96	c nbDecision=406000 #constraints=79142
1559.33/1559.89	c nbDecision=406500 #constraints=79261
1562.73/1563.20	c nbDecision=407000 #constraints=79370
1565.83/1566.32	c nbDecision=407500 #constraints=79446
1569.23/1569.77	c nbDecision=408000 #constraints=79552
1573.02/1573.55	c nbDecision=408500 #constraints=79677
1576.93/1577.41	c nbDecision=409000 #constraints=79811
1579.52/1580.04	c nbDecision=409500 #constraints=79962
1579.72/1580.24	c restart after 409601 decisions
1588.02/1588.51	c nbDecision=410000 #constraints=80105
1598.82/1599.36	c nbDecision=410500 #constraints=80337
1603.22/1603.71	c nbDecision=411000 #constraints=80508
1607.71/1608.26	c nbDecision=411500 #constraints=80695
1612.81/1613.30	c nbDecision=412000 #constraints=80855
1619.30/1619.81	c nbDecision=412500 #constraints=81013
1623.90/1624.46	c nbDecision=413000 #constraints=81183
1628.00/1628.53	c nbDecision=413500 #constraints=81313
1634.40/1634.97	c nbDecision=414000 #constraints=81445
1638.21/1638.76	c nbDecision=414500 #constraints=81567
1642.30/1642.89	c nbDecision=415000 #constraints=81663
1646.80/1647.31	c nbDecision=415500 #constraints=81752
1650.90/1651.49	c nbDecision=416000 #constraints=81855
1655.60/1656.15	c nbDecision=416500 #constraints=81918
1660.00/1660.51	c nbDecision=417000 #constraints=81995
1665.29/1665.87	c nbDecision=417500 #constraints=82053
1669.99/1670.55	c nbDecision=418000 #constraints=82126
1674.49/1675.02	c nbDecision=418500 #constraints=82222
1679.09/1679.68	c nbDecision=419000 #constraints=82290
1683.59/1684.16	c nbDecision=419500 #constraints=82384
1688.08/1688.62	c nbDecision=420000 #constraints=82454
1692.78/1693.32	c nbDecision=420500 #constraints=82515
1697.48/1698.02	c nbDecision=421000 #constraints=82577
1701.88/1702.43	c nbDecision=421500 #constraints=82658
1706.48/1707.01	c nbDecision=422000 #constraints=82740
1711.08/1711.65	c nbDecision=422500 #constraints=82804
1715.17/1715.79	c nbDecision=423000 #constraints=82907
1722.77/1723.34	c nbDecision=423500 #constraints=83014
1727.17/1727.75	c nbDecision=424000 #constraints=83091
1731.97/1732.55	c nbDecision=424500 #constraints=83156
1736.57/1737.17	c nbDecision=425000 #constraints=83239
1740.68/1741.21	c nbDecision=425500 #constraints=83327
1745.27/1745.87	c nbDecision=426000 #constraints=83409
1749.37/1749.94	c nbDecision=426500 #constraints=83497
1754.27/1754.80	c nbDecision=427000 #constraints=83557
1758.77/1759.35	c nbDecision=427500 #constraints=83614
1763.27/1763.81	c nbDecision=428000 #constraints=83677
1767.77/1768.34	c nbDecision=428500 #constraints=83731
1771.96/1772.52	c nbDecision=429000 #constraints=83798
1776.46/1777.09	c nbDecision=429500 #constraints=83861
1780.96/1781.57	c nbDecision=430000 #constraints=83928
1785.56/1786.12	c nbDecision=430500 #constraints=83990
1789.65/1790.24	c nbDecision=431000 #constraints=84090
1794.15/1794.73	c nbDecision=431500 #constraints=84158
1798.25/1798.85	c nbDecision=432000 #constraints=84255
1800.06/1800.60	Received signal 15
1800.06/1800.61	
1800.06/1800.61	s UNKNOWN
1800.06/1800.61	
1800.06/1800.61	c user time= 1799.83 s
1800.06/1800.61	c system time= 0.247962 s
1800.06/1800.61	c wall clock time=1800.62

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/node11/watcher-356898-1176847348 -o ROOT/results/node11/solver-356898-1176847348 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356898-1176847348/instance-356898-1176847348.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.92 0.98 0.97 2/77 30426
/proc/meminfo: memFree=1823160/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=1468 CPUtime=0
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 125783770 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 367 163 131 317 0 46 0

[startup+0.0965539 s]
/proc/loadavg: 0.92 0.98 0.97 2/77 30426
/proc/meminfo: memFree=1823160/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=3324 CPUtime=0.09
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 616 0 0 0 9 0 0 0 18 0 1 0 125783770 3403776 598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 831 598 131 317 0 510 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3324

[startup+0.101555 s]
/proc/loadavg: 0.92 0.98 0.97 2/77 30426
/proc/meminfo: memFree=1823160/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=3464 CPUtime=0.09
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 639 0 0 0 9 0 0 0 18 0 1 0 125783770 3547136 621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 866 621 131 317 0 545 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3464

[startup+0.301579 s]
/proc/loadavg: 0.92 0.98 0.97 2/77 30426
/proc/meminfo: memFree=1823160/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=7420 CPUtime=0.29
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 1580 0 0 0 29 0 0 0 19 0 1 0 125783770 7598080 1496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 1855 1496 131 317 0 1534 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7420

[startup+0.701626 s]
/proc/loadavg: 0.92 0.98 0.97 2/77 30426
/proc/meminfo: memFree=1823160/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=14872 CPUtime=0.69
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 3335 0 0 0 68 1 0 0 23 0 1 0 125783770 15228928 3251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 3718 3251 139 317 0 3397 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14872

[startup+1.50172 s]
/proc/loadavg: 0.92 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1810672/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=14872 CPUtime=1.49
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 3335 0 0 0 148 1 0 0 25 0 1 0 125783770 15228928 3251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 3718 3251 139 317 0 3397 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14872

[startup+3.10191 s]
/proc/loadavg: 0.92 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1810544/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=14872 CPUtime=3.09
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 3347 0 0 0 308 1 0 0 25 0 1 0 125783770 15228928 3263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 3718 3263 139 317 0 3397 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14872

[startup+6.30129 s]
/proc/loadavg: 0.93 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1810288/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=15000 CPUtime=6.29
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 3389 0 0 0 628 1 0 0 25 0 1 0 125783770 15360000 3305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 3750 3305 139 317 0 3429 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15000

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1809720/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=15612 CPUtime=12.69
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 3528 0 0 0 1268 1 0 0 25 0 1 0 125783770 15986688 3444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716161 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 3903 3444 139 317 0 3582 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15612

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1808504/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=16756 CPUtime=25.48
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 3821 0 0 0 2547 1 0 0 25 0 1 0 125783770 17158144 3737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718570 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 4189 3737 139 317 0 3868 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16756

[startup+51.1016 s]
/proc/loadavg: 0.96 0.98 0.97 3/78 30427
/proc/meminfo: memFree=1806328/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=18960 CPUtime=51.07
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 4405 0 0 0 5105 2 0 0 25 0 1 0 125783770 19415040 4264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 4740 4264 139 317 0 4419 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 18960

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1803576/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=21924 CPUtime=102.26
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 5154 0 0 0 10223 3 0 0 25 0 1 0 125783770 22450176 4900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 5481 4900 139 317 0 5160 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 21924

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1802296/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=23376 CPUtime=162.25
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 5516 0 0 0 16220 5 0 0 25 0 1 0 125783770 23937024 5262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 5844 5262 139 317 0 5523 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 23376

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1800312/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=25072 CPUtime=222.23
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 5996 0 0 0 22217 6 0 0 25 0 1 0 125783770 25673728 5742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 6268 5742 139 317 0 5947 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 25072

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1798912/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=26424 CPUtime=282.21
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 6331 0 0 0 28215 6 0 0 25 0 1 0 125783770 27058176 6077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 6606 6077 139 317 0 6285 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 26424

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.97 3/78 30427
/proc/meminfo: memFree=1796288/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=29768 CPUtime=342.19
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 7177 0 0 0 34212 7 0 0 25 0 1 0 125783770 30482432 6664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 7442 6664 139 317 0 7121 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 29768

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1796032/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=30024 CPUtime=402.17
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 7284 0 0 0 40209 8 0 0 25 0 1 0 125783770 30744576 6771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194613 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 7506 6771 139 317 0 7185 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 30024

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1795008/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=31060 CPUtime=462.15
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 7560 0 0 0 46206 9 0 0 25 0 1 0 125783770 31805440 7014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 7765 7014 139 317 0 7444 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 31060

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1794176/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=31840 CPUtime=522.14
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 7784 0 0 0 52204 10 0 0 25 0 1 0 125783770 32604160 7238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 7960 7238 139 317 0 7639 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 31840

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1793472/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=32484 CPUtime=582.12
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 7956 0 0 0 58202 10 0 0 25 0 1 0 125783770 33263616 7410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 8121 7410 139 317 0 7800 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 32484

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1792448/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=33520 CPUtime=642.11
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 8204 0 0 0 64200 11 0 0 25 0 1 0 125783770 34324480 7658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 8380 7658 139 317 0 8059 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 33520


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1789696/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=35940 CPUtime=822.05
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 8859 0 0 0 82192 13 0 0 25 0 1 0 125783770 36802560 8313 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563761 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 8985 8313 139 317 0 8664 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 35940

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1788864/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=36716 CPUtime=882.03
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 9077 0 0 0 88190 13 0 0 25 0 1 0 125783770 37597184 8531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 9179 8531 139 317 0 8858 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 36716

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1788096/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=37360 CPUtime=942.01
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 9259 0 0 0 94187 14 0 0 25 0 1 0 125783770 38256640 8713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 9340 8713 139 317 0 9019 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 37360

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.97 3/78 30427
/proc/meminfo: memFree=1787392/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=38008 CPUtime=1001.99
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 9429 0 0 0 100184 15 0 0 25 0 1 0 125783770 38920192 8883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384506 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 9502 8883 139 317 0 9181 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 38008

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1786752/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=38524 CPUtime=1061.97
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 9579 0 0 0 106181 16 0 0 25 0 1 0 125783770 39448576 9033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 9631 9033 139 317 0 9310 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 38524

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1786304/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=39356 CPUtime=1121.95
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 9773 0 0 0 112179 16 0 0 25 0 1 0 125783770 40300544 9162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 9839 9162 139 317 0 9518 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 39356

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1785728/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=39744 CPUtime=1181.94
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 9905 0 0 0 118177 17 0 0 25 0 1 0 125783770 40697856 9294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 9936 9294 139 317 0 9615 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 39744

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1785280/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=40128 CPUtime=1241.92
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 10025 0 0 0 124174 18 0 0 25 0 1 0 125783770 41091072 9414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385255 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 10032 9414 139 317 0 9711 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 40128

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1784576/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=40772 CPUtime=1301.9
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 10185 0 0 0 130172 18 0 0 25 0 1 0 125783770 41750528 9574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 10193 9574 139 317 0 9872 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 40772

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1781952/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=45200 CPUtime=1361.88
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 11357 0 0 0 136169 19 0 0 25 0 1 0 125783770 46284800 10231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718521 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 11300 10231 139 317 0 10979 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 45200

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1780736/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=46376 CPUtime=1421.87
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 11658 0 0 0 142167 20 0 0 25 0 1 0 125783770 47489024 10532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 11594 10532 139 317 0 11273 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 46376

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1779520/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=47724 CPUtime=1481.85
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 11989 0 0 0 148164 21 0 0 25 0 1 0 125783770 48869376 10830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 11931 10830 139 317 0 11610 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 47724

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1778560/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=48680 CPUtime=1541.83
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 12249 0 0 0 154162 21 0 0 25 0 1 0 125783770 49848320 11090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 12170 11090 139 317 0 11849 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 48680

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1777728/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=49488 CPUtime=1601.81
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 12441 0 0 0 160159 22 0 0 25 0 1 0 125783770 50675712 11282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 12372 11282 139 317 0 12051 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 49488

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1777024/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=50064 CPUtime=1661.79
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 12593 0 0 0 166156 23 0 0 25 0 1 0 125783770 51265536 11434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 12516 11434 139 317 0 12195 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 50064

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1776704/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=50452 CPUtime=1721.77
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 12693 0 0 0 172154 23 0 0 25 0 1 0 125783770 51662848 11534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 12613 11534 139 317 0 12292 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 50452

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/78 30427
/proc/meminfo: memFree=1776256/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=50840 CPUtime=1781.76
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 12792 0 0 0 178152 24 0 0 25 0 1 0 125783770 52060160 11633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 12710 11633 139 317 0 12389 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 50840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.97 3/78 30427
/proc/meminfo: memFree=1776128/2055920 swapFree=4135748/4192956
[pid=30426] ppid=30424 vsize=51132 CPUtime=1800.06
/proc/30426/stat : 30426 (oree) R 30424 30426 30126 0 -1 4194304 12835 0 0 0 179982 24 0 0 25 0 1 0 125783770 52359168 11676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30426/statm: 12783 11676 139 317 0 12462 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 51132

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

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

Child status: 0
Real time (s): 1800.64
CPU time (s): 1800.1
CPU user time (s): 1799.85
CPU system time (s): 0.255961
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 51132

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

runsolver used 2.15667 second user time and 4.44132 second system time

The end

Launcher Data (download as text)

Begin job on node11 on Tue Apr 17 22:02:28 UTC 2007

IDJOB= 356898
IDBENCH= 1610
IDSOLVER= 172
FILE ID= node11/356898-1176847348

PBS_JOBID= 4590186

Free space on /tmp= 66302 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic97.opb
COMMAND LINE= oree /tmp/evaluation/356898-1176847348/instance-356898-1176847348.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-356898-1176847348 -o ROOT/results/node11/solver-356898-1176847348 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356898-1176847348/instance-356898-1176847348.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  aef7e3722fd5816dc0cbb2acb61edf83

RANDOM SEED= 269070345

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node11.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.235
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.235
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:       1823632 kB
Buffers:         33392 kB
Cached:         116544 kB
SwapCached:      26660 kB
Active:         102620 kB
Inactive:        86452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1823632 kB
SwapTotal:     4192956 kB
SwapFree:      4135748 kB
Dirty:            2592 kB
Writeback:           0 kB
Mapped:          30368 kB
Slab:            28708 kB
Committed_AS:  6134980 kB
PageTables:       1848 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= 66302 MiB

End job on node11 on Tue Apr 17 22:32:31 UTC 2007