Trace number 356874

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.17 1800.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-nug08.opb
MD5SUM6120923c090ddeb6029c79f9e1b7777e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark1782.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved NO
Number of variables32640
Total number of constraints912
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 constraints912
Minimum length of a constraint160
Maximum length of a constraint160
Number of terms in the objective function 20160
Biggest coefficient in the objective function 1216
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 537736
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 32769
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 537736
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.49/0.55	c ...done
0.49/0.55	c #vars=32640 #constraints=1825 hasObjective=yes
0.89/0.97	c res. mode=mod
0.89/0.97	c VSIDS like heuristics
0.89/0.97	c complete search running
1.69/1.72	c restart after 401 decisions
1.79/1.83	c nbDecision=500 #constraints=2248
2.10/2.17	c restart after 801 decisions
2.39/2.40	c nbDecision=1000 #constraints=2605
2.89/2.98	c nbDecision=1500 #constraints=3008
2.99/3.09	c restart after 1601 decisions
3.49/3.56	c nbDecision=2000 #constraints=3324
4.09/4.14	c nbDecision=2500 #constraints=3634
4.69/4.74	c nbDecision=3000 #constraints=3925
4.89/4.98	c restart after 3201 decisions
5.29/5.39	c nbDecision=3500 #constraints=4136
5.99/6.01	c nbDecision=4000 #constraints=4394
6.60/6.67	c nbDecision=4500 #constraints=4623
7.19/7.28	c nbDecision=5000 #constraints=4854
7.89/7.91	c nbDecision=5500 #constraints=5080
8.49/8.55	c nbDecision=6000 #constraints=5312
8.99/9.07	c restart after 6401 decisions
9.19/9.24	c nbDecision=6500 #constraints=5574
9.99/10.03	c nbDecision=7000 #constraints=5766
10.69/10.76	c nbDecision=7500 #constraints=5989
11.49/11.53	c nbDecision=8000 #constraints=6164
12.19/12.29	c nbDecision=8500 #constraints=6402
13.09/13.15	c nbDecision=9000 #constraints=6633
13.98/14.01	c nbDecision=9500 #constraints=6916
14.58/14.60	c nbDecision=10000 #constraints=7117
15.19/15.25	c nbDecision=10500 #constraints=7339
15.89/15.95	c nbDecision=11000 #constraints=7526
16.69/16.74	c nbDecision=11500 #constraints=7784
17.39/17.44	c nbDecision=12000 #constraints=8018
18.19/18.26	c nbDecision=12500 #constraints=8202
18.69/18.78	c restart after 12801 decisions
19.19/19.21	c nbDecision=13000 #constraints=8408
20.28/20.30	c nbDecision=13500 #constraints=8712
21.28/21.32	c nbDecision=14000 #constraints=8890
22.08/22.19	c nbDecision=14500 #constraints=9027
22.88/22.99	c nbDecision=15000 #constraints=9194
23.88/23.90	c nbDecision=15500 #constraints=9424
24.68/24.73	c nbDecision=16000 #constraints=9520
25.58/25.66	c nbDecision=16500 #constraints=9684
26.48/26.55	c nbDecision=17000 #constraints=9857
27.38/27.41	c nbDecision=17500 #constraints=10033
28.09/28.17	c nbDecision=18000 #constraints=10234
28.99/29.06	c nbDecision=18500 #constraints=10396
29.99/30.09	c nbDecision=19000 #constraints=10588
30.98/31.08	c nbDecision=19500 #constraints=10775
31.98/32.04	c nbDecision=20000 #constraints=10917
32.68/32.79	c nbDecision=20500 #constraints=11088
33.78/33.82	c nbDecision=21000 #constraints=11255
34.88/34.98	c nbDecision=21500 #constraints=11469
35.78/35.87	c nbDecision=22000 #constraints=11685
36.68/36.71	c nbDecision=22500 #constraints=11854
37.38/37.48	c nbDecision=23000 #constraints=11970
38.28/38.32	c nbDecision=23500 #constraints=12124
39.07/39.12	c nbDecision=24000 #constraints=12238
39.97/40.03	c nbDecision=24500 #constraints=12433
40.88/40.95	c nbDecision=25000 #constraints=12552
41.58/41.68	c nbDecision=25500 #constraints=12757
41.78/41.86	c restart after 25601 decisions
42.98/43.03	c nbDecision=26000 #constraints=12899
44.28/44.36	c nbDecision=26500 #constraints=13099
45.28/45.38	c nbDecision=27000 #constraints=13188
46.47/46.50	c nbDecision=27500 #constraints=13314
47.28/47.33	c nbDecision=28000 #constraints=13499
48.07/48.13	c nbDecision=28500 #constraints=13627
48.77/48.84	c nbDecision=29000 #constraints=13818
49.48/49.53	c nbDecision=29500 #constraints=13990
50.17/50.24	c nbDecision=30000 #constraints=14344
51.28/51.32	c nbDecision=30500 #constraints=14464
52.18/52.25	c nbDecision=31000 #constraints=14580
53.18/53.23	c nbDecision=31500 #constraints=14700
53.88/53.99	c nbDecision=32000 #constraints=14908
54.98/55.07	c nbDecision=32500 #constraints=15081
56.18/56.25	c nbDecision=33000 #constraints=15303
56.98/57.09	c nbDecision=33500 #constraints=15466
57.98/58.03	c nbDecision=34000 #constraints=15582
59.18/59.24	c nbDecision=34500 #constraints=15716
60.58/60.68	c nbDecision=35000 #constraints=15928
61.58/61.65	c nbDecision=35500 #constraints=16124
62.48/62.52	c nbDecision=36000 #constraints=16258
63.88/63.91	c nbDecision=36500 #constraints=16369
65.18/65.22	c nbDecision=37000 #constraints=16459
66.37/66.43	c nbDecision=37500 #constraints=16542
67.27/67.31	c nbDecision=38000 #constraints=16688
67.87/67.96	c nbDecision=38500 #constraints=17067
68.47/68.57	c nbDecision=39000 #constraints=17363
69.27/69.33	c nbDecision=39500 #constraints=17598
70.17/70.24	c nbDecision=40000 #constraints=17790
71.27/71.33	c nbDecision=40500 #constraints=17968
72.07/72.14	c nbDecision=41000 #constraints=18283
72.87/72.95	c nbDecision=41500 #constraints=18574
73.77/73.86	c nbDecision=42000 #constraints=18706
75.26/75.33	c nbDecision=42500 #constraints=19022
76.47/76.59	c nbDecision=43000 #constraints=19177
77.47/77.54	c nbDecision=43500 #constraints=19253
78.27/78.39	c nbDecision=44000 #constraints=19607
79.07/79.16	c nbDecision=44500 #constraints=19846
79.87/79.95	c nbDecision=45000 #constraints=20151
80.67/80.71	c nbDecision=45500 #constraints=20462
81.37/81.41	c nbDecision=46000 #constraints=20707
82.17/82.22	c nbDecision=46500 #constraints=20983
82.87/82.91	c nbDecision=47000 #constraints=21241
83.77/83.85	c nbDecision=47500 #constraints=21543
84.67/84.78	c nbDecision=48000 #constraints=21734
85.57/85.64	c nbDecision=48500 #constraints=21975
86.36/86.47	c nbDecision=49000 #constraints=22332
87.16/87.25	c nbDecision=49500 #constraints=22631
87.97/88.01	c nbDecision=50000 #constraints=22846
89.16/89.20	c nbDecision=50500 #constraints=22984
89.86/89.99	c nbDecision=51000 #constraints=23216
90.26/90.36	c restart after 51201 decisions
91.66/91.79	c nbDecision=51500 #constraints=23439
93.66/93.75	c nbDecision=52000 #constraints=23580
95.76/95.82	c nbDecision=52500 #constraints=23778
97.96/98.01	c nbDecision=53000 #constraints=24044
99.96/100.07	c nbDecision=53500 #constraints=24269
101.96/102.00	c nbDecision=54000 #constraints=24482
103.86/104.00	c nbDecision=54500 #constraints=24702
105.66/105.75	c nbDecision=55000 #constraints=24847
107.26/107.37	c nbDecision=55500 #constraints=24988
108.96/109.06	c nbDecision=56000 #constraints=25143
111.26/111.33	c nbDecision=56500 #constraints=25360
113.46/113.52	c nbDecision=57000 #constraints=25483
115.26/115.35	c nbDecision=57500 #constraints=25559
116.56/116.62	c nbDecision=58000 #constraints=25661
117.86/117.93	c nbDecision=58500 #constraints=25758
119.45/119.51	c nbDecision=59000 #constraints=25857
120.96/121.07	c nbDecision=59500 #constraints=25928
122.55/122.66	c nbDecision=60000 #constraints=26065
123.75/123.88	c nbDecision=60500 #constraints=26179
124.75/124.85	c nbDecision=61000 #constraints=26295
125.75/125.83	c nbDecision=61500 #constraints=26511
126.56/126.65	c nbDecision=62000 #constraints=26775
127.66/127.75	c nbDecision=62500 #constraints=27001
128.46/128.53	c nbDecision=63000 #constraints=27258
129.16/129.29	c nbDecision=63500 #constraints=27465
130.06/130.14	c nbDecision=64000 #constraints=27708
131.46/131.51	c nbDecision=64500 #constraints=28096
132.36/132.45	c nbDecision=65000 #constraints=28365
133.16/133.23	c nbDecision=65500 #constraints=28561
133.96/134.01	c nbDecision=66000 #constraints=28809
134.86/134.92	c nbDecision=66500 #constraints=29017
135.66/135.70	c nbDecision=67000 #constraints=29228
136.46/136.56	c nbDecision=67500 #constraints=29482
137.55/137.62	c nbDecision=68000 #constraints=29641
138.46/138.50	c nbDecision=68500 #constraints=29738
139.45/139.50	c nbDecision=69000 #constraints=29972
140.25/140.34	c nbDecision=69500 #constraints=30125
141.15/141.29	c nbDecision=70000 #constraints=30298
142.25/142.32	c nbDecision=70500 #constraints=30563
143.05/143.16	c nbDecision=71000 #constraints=30929
143.95/144.04	c nbDecision=71500 #constraints=31279
144.85/144.93	c nbDecision=72000 #constraints=31588
145.74/145.86	c nbDecision=72500 #constraints=31831
146.74/146.85	c nbDecision=73000 #constraints=32043
147.65/147.71	c nbDecision=73500 #constraints=32373
148.46/148.58	c nbDecision=74000 #constraints=32540
149.25/149.40	c nbDecision=74500 #constraints=32702
150.25/150.30	c nbDecision=75000 #constraints=32863
151.35/151.43	c nbDecision=75500 #constraints=33038
152.55/152.65	c nbDecision=76000 #constraints=33261
153.75/153.85	c nbDecision=76500 #constraints=33443
154.85/154.90	c nbDecision=77000 #constraints=33578
156.05/156.10	c nbDecision=77500 #constraints=33682
157.04/157.17	c nbDecision=78000 #constraints=33802
158.05/158.12	c nbDecision=78500 #constraints=34005
158.95/159.01	c nbDecision=79000 #constraints=34260
160.15/160.26	c nbDecision=79500 #constraints=34522
161.25/161.37	c nbDecision=80000 #constraints=34779
162.25/162.34	c nbDecision=80500 #constraints=34903
163.34/163.40	c nbDecision=81000 #constraints=35141
164.24/164.38	c nbDecision=81500 #constraints=35427
165.34/165.41	c nbDecision=82000 #constraints=35606
166.14/166.29	c nbDecision=82500 #constraints=35778
167.04/167.16	c nbDecision=83000 #constraints=35935
168.55/168.61	c nbDecision=83500 #constraints=36178
169.85/169.98	c nbDecision=84000 #constraints=36388
171.05/171.15	c nbDecision=84500 #constraints=36559
172.04/172.13	c nbDecision=85000 #constraints=36786
172.84/172.99	c nbDecision=85500 #constraints=37034
173.94/174.00	c nbDecision=86000 #constraints=37243
174.75/174.87	c nbDecision=86500 #constraints=37412
175.95/176.07	c nbDecision=87000 #constraints=37548
177.14/177.22	c nbDecision=87500 #constraints=37645
178.05/178.14	c nbDecision=88000 #constraints=37792
178.74/178.88	c nbDecision=88500 #constraints=37916
179.44/179.58	c nbDecision=89000 #constraints=38089
180.34/180.41	c nbDecision=89500 #constraints=38291
181.34/181.41	c nbDecision=90000 #constraints=38351
182.14/182.26	c nbDecision=90500 #constraints=38456
183.14/183.23	c nbDecision=91000 #constraints=38580
184.14/184.28	c nbDecision=91500 #constraints=38800
185.14/185.21	c nbDecision=92000 #constraints=38935
186.24/186.36	c nbDecision=92500 #constraints=38980
187.33/187.40	c nbDecision=93000 #constraints=39063
188.53/188.69	c nbDecision=93500 #constraints=39175
190.15/190.24	c nbDecision=94000 #constraints=39303
191.64/191.79	c nbDecision=94500 #constraints=39425
193.14/193.22	c nbDecision=95000 #constraints=39604
194.74/194.83	c nbDecision=95500 #constraints=39744
196.44/196.57	c nbDecision=96000 #constraints=39864
198.23/198.38	c nbDecision=96500 #constraints=40003
200.14/200.26	c nbDecision=97000 #constraints=40170
201.84/201.95	c nbDecision=97500 #constraints=40314
203.44/203.51	c nbDecision=98000 #constraints=40408
205.34/205.42	c nbDecision=98500 #constraints=40574
207.43/207.51	c nbDecision=99000 #constraints=40730
209.23/209.38	c nbDecision=99500 #constraints=40924
210.93/211.05	c nbDecision=100000 #constraints=41057
212.73/212.88	c nbDecision=100500 #constraints=41287
214.33/214.44	c nbDecision=101000 #constraints=41401
215.74/215.85	c nbDecision=101500 #constraints=41584
217.13/217.28	c nbDecision=102000 #constraints=41738
218.43/218.54	c restart after 102401 decisions
219.03/219.10	c nbDecision=102500 #constraints=41851
221.73/221.85	c nbDecision=103000 #constraints=42019
224.23/224.37	c nbDecision=103500 #constraints=42134
226.43/226.50	c nbDecision=104000 #constraints=42293
229.13/229.21	c nbDecision=104500 #constraints=42441
232.03/232.13	c nbDecision=105000 #constraints=42633
234.53/234.61	c nbDecision=105500 #constraints=42760
236.93/237.02	c nbDecision=106000 #constraints=42895
238.73/238.88	c nbDecision=106500 #constraints=42960
241.52/241.61	c nbDecision=107000 #constraints=43153
243.82/243.93	c nbDecision=107500 #constraints=43278
246.12/246.20	c nbDecision=108000 #constraints=43404
249.22/249.40	c nbDecision=108500 #constraints=43617
252.02/252.10	c nbDecision=109000 #constraints=43777
254.53/254.64	c nbDecision=109500 #constraints=43917
256.53/256.67	c nbDecision=110000 #constraints=44018
258.72/258.80	c nbDecision=110500 #constraints=44136
260.53/260.60	c nbDecision=111000 #constraints=44243
262.52/262.67	c nbDecision=111500 #constraints=44358
264.92/265.08	c nbDecision=112000 #constraints=44478
267.42/267.59	c nbDecision=112500 #constraints=44600
269.72/269.80	c nbDecision=113000 #constraints=44702
271.62/271.79	c nbDecision=113500 #constraints=44786
273.52/273.62	c nbDecision=114000 #constraints=44895
275.22/275.38	c nbDecision=114500 #constraints=45023
277.12/277.22	c nbDecision=115000 #constraints=45172
278.51/278.61	c nbDecision=115500 #constraints=45243
280.21/280.37	c nbDecision=116000 #constraints=45396
281.61/281.72	c nbDecision=116500 #constraints=45517
283.01/283.19	c nbDecision=117000 #constraints=45795
284.81/284.96	c nbDecision=117500 #constraints=45921
285.91/286.02	c nbDecision=118000 #constraints=46006
287.51/287.64	c nbDecision=118500 #constraints=46090
288.91/289.02	c nbDecision=119000 #constraints=46181
290.51/290.60	c nbDecision=119500 #constraints=46288
291.71/291.84	c nbDecision=120000 #constraints=46575
293.11/293.21	c nbDecision=120500 #constraints=46807
294.71/294.81	c nbDecision=121000 #constraints=46918
296.71/296.87	c nbDecision=121500 #constraints=47090
298.40/298.59	c nbDecision=122000 #constraints=47194
300.12/300.26	c nbDecision=122500 #constraints=47304
301.71/301.81	c nbDecision=123000 #constraints=47393
303.71/303.89	c nbDecision=123500 #constraints=47551
305.71/305.81	c nbDecision=124000 #constraints=47641
308.01/308.10	c nbDecision=124500 #constraints=47900
309.80/309.93	c nbDecision=125000 #constraints=48047
311.80/311.98	c nbDecision=125500 #constraints=48255
314.01/314.11	c nbDecision=126000 #constraints=48485
315.81/315.92	c nbDecision=126500 #constraints=48626
317.51/317.69	c nbDecision=127000 #constraints=48794
319.21/319.37	c nbDecision=127500 #constraints=48970
320.81/320.97	c nbDecision=128000 #constraints=49059
322.60/322.70	c nbDecision=128500 #constraints=49183
324.10/324.23	c nbDecision=129000 #constraints=49442
325.41/325.53	c nbDecision=129500 #constraints=49624
327.00/327.20	c nbDecision=130000 #constraints=49813
329.30/329.46	c nbDecision=130500 #constraints=50042
331.30/331.45	c nbDecision=131000 #constraints=50337
333.40/333.54	c nbDecision=131500 #constraints=50586
335.10/335.25	c nbDecision=132000 #constraints=50705
337.30/337.49	c nbDecision=132500 #constraints=50895
339.71/339.86	c nbDecision=133000 #constraints=51090
342.10/342.29	c nbDecision=133500 #constraints=51316
343.90/344.09	c nbDecision=134000 #constraints=51419
345.20/345.36	c nbDecision=134500 #constraints=51605
346.40/346.52	c nbDecision=135000 #constraints=51785
347.80/347.97	c nbDecision=135500 #constraints=51896
349.00/349.18	c nbDecision=136000 #constraints=52035
351.00/351.19	c nbDecision=136500 #constraints=52164
352.40/352.54	c nbDecision=137000 #constraints=52307
353.90/354.04	c nbDecision=137500 #constraints=52428
355.99/356.16	c nbDecision=138000 #constraints=52675
357.69/357.80	c nbDecision=138500 #constraints=52812
359.59/359.75	c nbDecision=139000 #constraints=52921
361.19/361.37	c nbDecision=139500 #constraints=53034
362.59/362.73	c nbDecision=140000 #constraints=53113
364.00/364.12	c nbDecision=140500 #constraints=53246
365.49/365.68	c nbDecision=141000 #constraints=53315
366.79/366.99	c nbDecision=141500 #constraints=53432
367.99/368.13	c nbDecision=142000 #constraints=53585
369.89/370.02	c nbDecision=142500 #constraints=53674
371.19/371.36	c nbDecision=143000 #constraints=53870
372.49/372.64	c nbDecision=143500 #constraints=54043
373.69/373.83	c nbDecision=144000 #constraints=54232
375.39/375.55	c nbDecision=144500 #constraints=54378
376.89/377.06	c nbDecision=145000 #constraints=54527
378.38/378.54	c nbDecision=145500 #constraints=54667
380.18/380.31	c nbDecision=146000 #constraints=54911
382.78/382.97	c nbDecision=146500 #constraints=55096
385.17/385.33	c nbDecision=147000 #constraints=55256
386.76/386.96	c nbDecision=147500 #constraints=55410
388.06/388.29	c nbDecision=148000 #constraints=55492
389.16/389.38	c nbDecision=148500 #constraints=55668
390.26/390.49	c nbDecision=149000 #constraints=55882
391.56/391.76	c nbDecision=149500 #constraints=55986
393.95/394.18	c nbDecision=150000 #constraints=56150
396.45/396.70	c nbDecision=150500 #constraints=56315
399.35/399.54	c nbDecision=151000 #constraints=56551
402.04/402.28	c nbDecision=151500 #constraints=56813
404.33/404.51	c nbDecision=152000 #constraints=57002
406.13/406.32	c nbDecision=152500 #constraints=57202
407.83/408.01	c nbDecision=153000 #constraints=57419
409.51/409.71	c nbDecision=153500 #constraints=57611
411.90/412.14	c nbDecision=154000 #constraints=57824
413.60/413.88	c nbDecision=154500 #constraints=57911
415.61/415.84	c nbDecision=155000 #constraints=58060
417.71/417.94	c nbDecision=155500 #constraints=58203
419.20/419.41	c nbDecision=156000 #constraints=58321
421.20/421.43	c nbDecision=156500 #constraints=58467
423.40/423.60	c nbDecision=157000 #constraints=58570
425.30/425.58	c nbDecision=157500 #constraints=58724
427.19/427.43	c nbDecision=158000 #constraints=58830
428.59/428.87	c nbDecision=158500 #constraints=58935
431.39/431.69	c nbDecision=159000 #constraints=59179
434.09/434.39	c nbDecision=159500 #constraints=59472
436.88/437.14	c nbDecision=160000 #constraints=59646
439.28/439.56	c nbDecision=160500 #constraints=59817
441.68/441.96	c nbDecision=161000 #constraints=60027
444.38/444.65	c nbDecision=161500 #constraints=60186
446.68/446.91	c nbDecision=162000 #constraints=60325
448.87/449.19	c nbDecision=162500 #constraints=60465
450.78/451.01	c nbDecision=163000 #constraints=60619
452.17/452.42	c nbDecision=163500 #constraints=60825
453.77/454.01	c nbDecision=164000 #constraints=60975
455.47/455.80	c nbDecision=164500 #constraints=61175
456.97/457.22	c nbDecision=165000 #constraints=61343
459.27/459.51	c nbDecision=165500 #constraints=61508
461.27/461.52	c nbDecision=166000 #constraints=61661
463.27/463.55	c nbDecision=166500 #constraints=61780
464.97/465.25	c nbDecision=167000 #constraints=61858
466.57/466.83	c nbDecision=167500 #constraints=62026
467.86/468.17	c nbDecision=168000 #constraints=62164
469.96/470.25	c nbDecision=168500 #constraints=62281
471.76/472.09	c nbDecision=169000 #constraints=62411
473.56/473.83	c nbDecision=169500 #constraints=62541
475.16/475.49	c nbDecision=170000 #constraints=62713
476.66/476.97	c nbDecision=170500 #constraints=62835
478.26/478.56	c nbDecision=171000 #constraints=62962
479.77/480.09	c nbDecision=171500 #constraints=63110
481.16/481.47	c nbDecision=172000 #constraints=63212
482.56/482.87	c nbDecision=172500 #constraints=63307
483.96/484.26	c nbDecision=173000 #constraints=63428
486.86/487.14	c nbDecision=173500 #constraints=63585
489.46/489.80	c nbDecision=174000 #constraints=63712
491.36/491.61	c nbDecision=174500 #constraints=63834
493.06/493.38	c nbDecision=175000 #constraints=64024
494.56/494.83	c nbDecision=175500 #constraints=64247
496.06/496.32	c nbDecision=176000 #constraints=64332
497.36/497.65	c nbDecision=176500 #constraints=64420
498.76/499.06	c nbDecision=177000 #constraints=64545
500.35/500.60	c nbDecision=177500 #constraints=64643
502.05/502.34	c nbDecision=178000 #constraints=64785
504.25/504.51	c nbDecision=178500 #constraints=64913
506.65/506.95	c nbDecision=179000 #constraints=65000
508.95/509.28	c nbDecision=179500 #constraints=65181
510.46/510.78	c nbDecision=180000 #constraints=65296
512.16/512.49	c nbDecision=180500 #constraints=65406
514.26/514.52	c nbDecision=181000 #constraints=65495
515.96/516.24	c nbDecision=181500 #constraints=65560
517.95/518.28	c nbDecision=182000 #constraints=65689
520.25/520.56	c nbDecision=182500 #constraints=65825
522.35/522.68	c nbDecision=183000 #constraints=65949
523.95/524.24	c nbDecision=183500 #constraints=66122
525.95/526.25	c nbDecision=184000 #constraints=66270
527.55/527.84	c nbDecision=184500 #constraints=66367
530.15/530.42	c nbDecision=185000 #constraints=66443
532.45/532.70	c nbDecision=185500 #constraints=66521
534.25/534.55	c nbDecision=186000 #constraints=66593
536.75/537.00	c nbDecision=186500 #constraints=66721
539.55/539.87	c nbDecision=187000 #constraints=67020
541.74/542.09	c nbDecision=187500 #constraints=67139
544.74/545.07	c nbDecision=188000 #constraints=67285
548.44/548.74	c nbDecision=188500 #constraints=67478
552.24/552.56	c nbDecision=189000 #constraints=67795
555.44/555.78	c nbDecision=189500 #constraints=68097
558.84/559.14	c nbDecision=190000 #constraints=68401
561.75/562.03	c nbDecision=190500 #constraints=68665
564.34/564.65	c nbDecision=191000 #constraints=68831
566.94/567.27	c nbDecision=191500 #constraints=69009
569.13/569.49	c nbDecision=192000 #constraints=69209
571.03/571.37	c nbDecision=192500 #constraints=69358
574.03/574.36	c nbDecision=193000 #constraints=69516
578.43/578.71	c nbDecision=193500 #constraints=69804
581.83/582.20	c nbDecision=194000 #constraints=69995
586.12/586.40	c nbDecision=194500 #constraints=70287
590.12/590.48	c nbDecision=195000 #constraints=70563
594.02/594.31	c nbDecision=195500 #constraints=70727
598.53/598.82	c nbDecision=196000 #constraints=70998
602.53/602.85	c nbDecision=196500 #constraints=71218
606.33/606.66	c nbDecision=197000 #constraints=71444
610.03/610.31	c nbDecision=197500 #constraints=71667
613.53/613.81	c nbDecision=198000 #constraints=71798
616.52/616.87	c nbDecision=198500 #constraints=71874
619.62/619.93	c nbDecision=199000 #constraints=72038
622.92/623.22	c nbDecision=199500 #constraints=72220
626.11/626.43	c nbDecision=200000 #constraints=72387
629.01/629.39	c nbDecision=200500 #constraints=72535
631.81/632.17	c nbDecision=201000 #constraints=72674
635.62/635.97	c nbDecision=201500 #constraints=72890
640.02/640.33	c nbDecision=202000 #constraints=73175
643.82/644.19	c nbDecision=202500 #constraints=73394
647.22/647.53	c nbDecision=203000 #constraints=73519
650.61/650.90	c nbDecision=203500 #constraints=73756
652.41/652.80	c nbDecision=204000 #constraints=73914
654.71/655.06	c nbDecision=204500 #constraints=74034
656.41/656.73	c restart after 204801 decisions
657.31/657.69	c nbDecision=205000 #constraints=74060
660.11/660.47	c nbDecision=205500 #constraints=74141
664.11/664.45	c nbDecision=206000 #constraints=74347
667.10/667.42	c nbDecision=206500 #constraints=74479
669.70/670.07	c nbDecision=207000 #constraints=74586
672.20/672.56	c nbDecision=207500 #constraints=74668
674.30/674.68	c nbDecision=208000 #constraints=74751
676.60/676.96	c nbDecision=208500 #constraints=74877
678.50/678.82	c nbDecision=209000 #constraints=74948
681.10/681.47	c nbDecision=209500 #constraints=75119
683.51/683.88	c nbDecision=210000 #constraints=75232
685.70/686.03	c nbDecision=210500 #constraints=75332
687.40/687.77	c nbDecision=211000 #constraints=75505
688.80/689.16	c nbDecision=211500 #constraints=75660
691.61/691.93	c nbDecision=212000 #constraints=75895
693.71/694.02	c nbDecision=212500 #constraints=76072
695.40/695.78	c nbDecision=213000 #constraints=76200
697.20/697.59	c nbDecision=213500 #constraints=76306
699.60/699.98	c nbDecision=214000 #constraints=76378
703.09/703.48	c nbDecision=214500 #constraints=76468
707.00/707.39	c nbDecision=215000 #constraints=76597
709.99/710.32	c nbDecision=215500 #constraints=76825
713.59/713.96	c nbDecision=216000 #constraints=76959
716.49/716.86	c nbDecision=216500 #constraints=77092
718.79/719.13	c nbDecision=217000 #constraints=77169
721.30/721.64	c nbDecision=217500 #constraints=77202
724.69/725.00	c nbDecision=218000 #constraints=77350
729.29/729.67	c nbDecision=218500 #constraints=77564
733.69/734.08	c nbDecision=219000 #constraints=77764
737.99/738.30	c nbDecision=219500 #constraints=77947
741.29/741.63	c nbDecision=220000 #constraints=78081
744.18/744.51	c nbDecision=220500 #constraints=78195
745.98/746.40	c nbDecision=221000 #constraints=78375
747.88/748.22	c nbDecision=221500 #constraints=78562
750.58/750.93	c nbDecision=222000 #constraints=78749
752.68/753.02	c nbDecision=222500 #constraints=78990
755.48/755.90	c nbDecision=223000 #constraints=79080
757.78/758.19	c nbDecision=223500 #constraints=79156
760.58/760.99	c nbDecision=224000 #constraints=79289
763.39/763.70	c nbDecision=224500 #constraints=79439
765.48/765.89	c nbDecision=225000 #constraints=79509
768.78/769.16	c nbDecision=225500 #constraints=79676
771.58/771.98	c nbDecision=226000 #constraints=79784
773.98/774.32	c nbDecision=226500 #constraints=79894
776.68/777.05	c nbDecision=227000 #constraints=80023
779.48/779.80	c nbDecision=227500 #constraints=80098
781.88/782.26	c nbDecision=228000 #constraints=80179
784.17/784.50	c nbDecision=228500 #constraints=80275
785.67/786.04	c nbDecision=229000 #constraints=80425
787.97/788.35	c nbDecision=229500 #constraints=80519
790.27/790.67	c nbDecision=230000 #constraints=80656
793.07/793.43	c nbDecision=230500 #constraints=80843
795.77/796.10	c nbDecision=231000 #constraints=81003
797.37/797.72	c nbDecision=231500 #constraints=81206
800.57/800.95	c nbDecision=232000 #constraints=81266
802.97/803.37	c nbDecision=232500 #constraints=81327
805.77/806.10	c nbDecision=233000 #constraints=81376
808.57/809.00	c nbDecision=233500 #constraints=81486
810.66/811.10	c nbDecision=234000 #constraints=81571
813.26/813.67	c nbDecision=234500 #constraints=81676
815.86/816.29	c nbDecision=235000 #constraints=81861
818.46/818.82	c nbDecision=235500 #constraints=82015
820.65/821.01	c nbDecision=236000 #constraints=82132
823.86/824.20	c nbDecision=236500 #constraints=82300
826.66/827.07	c nbDecision=237000 #constraints=82468
828.86/829.30	c nbDecision=237500 #constraints=82625
830.86/831.24	c nbDecision=238000 #constraints=82799
832.56/833.00	c nbDecision=238500 #constraints=82984
834.46/834.89	c nbDecision=239000 #constraints=83133
836.35/836.77	c nbDecision=239500 #constraints=83263
837.86/838.27	c nbDecision=240000 #constraints=83362
840.06/840.46	c nbDecision=240500 #constraints=83465
842.35/842.72	c nbDecision=241000 #constraints=83567
844.45/844.83	c nbDecision=241500 #constraints=83662
846.75/847.12	c nbDecision=242000 #constraints=83717
848.75/849.20	c nbDecision=242500 #constraints=83813
851.75/852.12	c nbDecision=243000 #constraints=83934
854.04/854.46	c nbDecision=243500 #constraints=84072
856.56/856.95	c nbDecision=244000 #constraints=84146
859.25/859.67	c nbDecision=244500 #constraints=84208
862.05/862.48	c nbDecision=245000 #constraints=84276
864.55/864.90	c nbDecision=245500 #constraints=84369
866.95/867.39	c nbDecision=246000 #constraints=84446
868.65/869.08	c nbDecision=246500 #constraints=84617
871.64/872.02	c nbDecision=247000 #constraints=84827
874.94/875.30	c nbDecision=247500 #constraints=84997
877.94/878.39	c nbDecision=248000 #constraints=85165
880.44/880.85	c nbDecision=248500 #constraints=85374
883.34/883.73	c nbDecision=249000 #constraints=85531
886.04/886.49	c nbDecision=249500 #constraints=85627
889.23/889.62	c nbDecision=250000 #constraints=85687
892.33/892.73	c nbDecision=250500 #constraints=85803
895.34/895.75	c nbDecision=251000 #constraints=85887
897.54/897.92	c nbDecision=251500 #constraints=85958
900.84/901.26	c nbDecision=252000 #constraints=86122
904.64/905.03	c nbDecision=252500 #constraints=86338
908.53/908.92	c nbDecision=253000 #constraints=86543
912.23/912.63	c nbDecision=253500 #constraints=86708
915.83/916.22	c nbDecision=254000 #constraints=86860
919.53/919.99	c nbDecision=254500 #constraints=87007
922.83/923.24	c nbDecision=255000 #constraints=87161
925.83/926.23	c nbDecision=255500 #constraints=87336
928.72/929.15	c nbDecision=256000 #constraints=87455
932.02/932.50	c nbDecision=256500 #constraints=87613
935.32/935.77	c nbDecision=257000 #constraints=87746
938.63/939.04	c nbDecision=257500 #constraints=87934
941.62/942.04	c nbDecision=258000 #constraints=88114
944.22/944.65	c nbDecision=258500 #constraints=88249
946.63/947.07	c nbDecision=259000 #constraints=88419
948.72/949.14	c nbDecision=259500 #constraints=88551
952.02/952.42	c nbDecision=260000 #constraints=88637
956.02/956.49	c nbDecision=260500 #constraints=88779
960.12/960.56	c nbDecision=261000 #constraints=88859
963.92/964.37	c nbDecision=261500 #constraints=89005
967.71/968.10	c nbDecision=262000 #constraints=89155
970.92/971.34	c nbDecision=262500 #constraints=89324
974.31/974.73	c nbDecision=263000 #constraints=89468
978.01/978.49	c nbDecision=263500 #constraints=89538
980.81/981.24	c nbDecision=264000 #constraints=89633
984.62/985.04	c nbDecision=264500 #constraints=89835
987.81/988.27	c nbDecision=265000 #constraints=89987
991.01/991.46	c nbDecision=265500 #constraints=90107
994.11/994.54	c nbDecision=266000 #constraints=90230
997.41/997.87	c nbDecision=266500 #constraints=90354
1000.51/1000.97	c nbDecision=267000 #constraints=90419
1003.21/1003.69	c nbDecision=267500 #constraints=90508
1007.00/1007.40	c nbDecision=268000 #constraints=90591
1010.60/1011.00	c nbDecision=268500 #constraints=90721
1014.00/1014.41	c nbDecision=269000 #constraints=90824
1016.60/1017.01	c nbDecision=269500 #constraints=90949
1019.00/1019.43	c nbDecision=270000 #constraints=91077
1021.30/1021.70	c nbDecision=270500 #constraints=91133
1023.70/1024.18	c nbDecision=271000 #constraints=91290
1025.70/1026.17	c nbDecision=271500 #constraints=91393
1028.01/1028.46	c nbDecision=272000 #constraints=91514
1029.90/1030.38	c nbDecision=272500 #constraints=91607
1032.80/1033.25	c nbDecision=273000 #constraints=91714
1035.20/1035.64	c nbDecision=273500 #constraints=91804
1038.10/1038.55	c nbDecision=274000 #constraints=91879
1040.29/1040.74	c nbDecision=274500 #constraints=91994
1043.09/1043.52	c nbDecision=275000 #constraints=92066
1046.20/1046.60	c nbDecision=275500 #constraints=92142
1049.10/1049.58	c nbDecision=276000 #constraints=92287
1051.90/1052.38	c nbDecision=276500 #constraints=92436
1054.70/1055.12	c nbDecision=277000 #constraints=92527
1057.39/1057.87	c nbDecision=277500 #constraints=92633
1059.59/1060.06	c nbDecision=278000 #constraints=92697
1062.20/1062.67	c nbDecision=278500 #constraints=92832
1064.89/1065.35	c nbDecision=279000 #constraints=92997
1068.09/1068.51	c nbDecision=279500 #constraints=93137
1071.49/1071.97	c nbDecision=280000 #constraints=93250
1074.39/1074.81	c nbDecision=280500 #constraints=93348
1077.38/1077.83	c nbDecision=281000 #constraints=93426
1080.78/1081.23	c nbDecision=281500 #constraints=93546
1083.69/1084.11	c nbDecision=282000 #constraints=93673
1087.09/1087.55	c nbDecision=282500 #constraints=93797
1089.69/1090.18	c nbDecision=283000 #constraints=93912
1092.99/1093.47	c nbDecision=283500 #constraints=93974
1095.98/1096.43	c nbDecision=284000 #constraints=94065
1100.08/1100.51	c nbDecision=284500 #constraints=94160
1102.98/1103.43	c nbDecision=285000 #constraints=94221
1105.88/1106.38	c nbDecision=285500 #constraints=94298
1108.78/1109.28	c nbDecision=286000 #constraints=94349
1112.08/1112.54	c nbDecision=286500 #constraints=94395
1114.38/1114.80	c nbDecision=287000 #constraints=94462
1116.98/1117.40	c nbDecision=287500 #constraints=94564
1119.68/1120.12	c nbDecision=288000 #constraints=94631
1121.77/1122.29	c nbDecision=288500 #constraints=94711
1123.68/1124.14	c nbDecision=289000 #constraints=94813
1126.07/1126.57	c nbDecision=289500 #constraints=94899
1128.87/1129.34	c nbDecision=290000 #constraints=94992
1131.77/1132.28	c nbDecision=290500 #constraints=95058
1135.37/1135.88	c nbDecision=291000 #constraints=95239
1139.87/1140.30	c nbDecision=291500 #constraints=95378
1143.97/1144.44	c nbDecision=292000 #constraints=95496
1147.87/1148.37	c nbDecision=292500 #constraints=95597
1150.86/1151.35	c nbDecision=293000 #constraints=95674
1153.47/1153.97	c nbDecision=293500 #constraints=95779
1156.86/1157.33	c nbDecision=294000 #constraints=95857
1160.46/1160.90	c nbDecision=294500 #constraints=95983
1164.16/1164.65	c nbDecision=295000 #constraints=96041
1168.76/1169.23	c nbDecision=295500 #constraints=96182
1176.15/1176.62	c nbDecision=296000 #constraints=96547
1182.96/1183.41	c nbDecision=296500 #constraints=96885
1189.96/1190.42	c nbDecision=297000 #constraints=97216
1196.26/1196.71	c nbDecision=297500 #constraints=97502
1202.55/1203.03	c nbDecision=298000 #constraints=97775
1207.85/1208.32	c nbDecision=298500 #constraints=97917
1214.15/1214.63	c nbDecision=299000 #constraints=98153
1219.95/1220.42	c nbDecision=299500 #constraints=98358
1225.44/1225.94	c nbDecision=300000 #constraints=98542
1230.94/1231.44	c nbDecision=300500 #constraints=98755
1236.24/1236.73	c nbDecision=301000 #constraints=98905
1241.75/1242.20	c nbDecision=301500 #constraints=99110
1246.34/1246.85	c nbDecision=302000 #constraints=99211
1251.94/1252.49	c nbDecision=302500 #constraints=99435
1257.84/1258.38	c nbDecision=303000 #constraints=99671
1262.84/1263.34	c nbDecision=303500 #constraints=99820
1267.73/1268.27	c nbDecision=304000 #constraints=99976
1272.93/1273.41	c nbDecision=304500 #constraints=100067
1278.43/1278.94	c nbDecision=305000 #constraints=100237
1282.63/1283.18	c nbDecision=305500 #constraints=100302
1287.13/1287.69	c nbDecision=306000 #constraints=100396
1291.03/1291.51	c nbDecision=306500 #constraints=100428
1295.33/1295.84	c nbDecision=307000 #constraints=100479
1300.53/1301.05	c nbDecision=307500 #constraints=100649
1305.63/1306.18	c nbDecision=308000 #constraints=100757
1310.73/1311.24	c nbDecision=308500 #constraints=100838
1315.92/1316.47	c nbDecision=309000 #constraints=100955
1320.12/1320.65	c nbDecision=309500 #constraints=101068
1324.82/1325.31	c nbDecision=310000 #constraints=101202
1328.52/1329.08	c nbDecision=310500 #constraints=101279
1333.61/1334.10	c nbDecision=311000 #constraints=101379
1338.01/1338.53	c nbDecision=311500 #constraints=101461
1342.61/1343.14	c nbDecision=312000 #constraints=101586
1347.31/1347.86	c nbDecision=312500 #constraints=101673
1353.62/1354.14	c nbDecision=313000 #constraints=101903
1359.31/1359.87	c nbDecision=313500 #constraints=102087
1364.41/1364.93	c nbDecision=314000 #constraints=102218
1369.21/1369.74	c nbDecision=314500 #constraints=102333
1374.21/1374.79	c nbDecision=315000 #constraints=102420
1379.30/1379.87	c nbDecision=315500 #constraints=102544
1384.20/1384.76	c nbDecision=316000 #constraints=102624
1388.70/1389.29	c nbDecision=316500 #constraints=102714
1394.20/1394.79	c nbDecision=317000 #constraints=102923
1399.40/1399.92	c nbDecision=317500 #constraints=103112
1404.59/1405.12	c nbDecision=318000 #constraints=103283
1409.49/1410.02	c nbDecision=318500 #constraints=103460
1414.99/1415.50	c nbDecision=319000 #constraints=103643
1420.19/1420.73	c nbDecision=319500 #constraints=103815
1425.80/1426.33	c nbDecision=320000 #constraints=104006
1431.19/1431.73	c nbDecision=320500 #constraints=104152
1434.69/1435.24	c nbDecision=321000 #constraints=104237
1436.99/1437.52	c nbDecision=321500 #constraints=104403
1439.39/1439.99	c nbDecision=322000 #constraints=104536
1443.49/1444.08	c nbDecision=322500 #constraints=104608
1446.69/1447.23	c nbDecision=323000 #constraints=104675
1450.69/1451.20	c nbDecision=323500 #constraints=104744
1455.68/1456.22	c nbDecision=324000 #constraints=104836
1458.88/1459.49	c nbDecision=324500 #constraints=104958
1464.68/1465.29	c nbDecision=325000 #constraints=105093
1469.68/1470.23	c nbDecision=325500 #constraints=105164
1473.88/1474.41	c nbDecision=326000 #constraints=105242
1477.27/1477.88	c nbDecision=326500 #constraints=105295
1481.67/1482.29	c nbDecision=327000 #constraints=105474
1488.57/1489.18	c nbDecision=327500 #constraints=105678
1493.68/1494.24	c nbDecision=328000 #constraints=105851
1499.97/1500.52	c nbDecision=328500 #constraints=105977
1505.37/1506.00	c nbDecision=329000 #constraints=106093
1511.07/1511.65	c nbDecision=329500 #constraints=106248
1515.87/1516.48	c nbDecision=330000 #constraints=106310
1521.46/1522.02	c nbDecision=330500 #constraints=106460
1528.06/1528.63	c nbDecision=331000 #constraints=106658
1532.46/1533.07	c nbDecision=331500 #constraints=106743
1537.26/1537.84	c nbDecision=332000 #constraints=106792
1541.26/1541.86	c nbDecision=332500 #constraints=106907
1544.65/1545.28	c nbDecision=333000 #constraints=106982
1548.06/1548.62	c nbDecision=333500 #constraints=107030
1552.36/1552.95	c nbDecision=334000 #constraints=107167
1556.26/1556.88	c nbDecision=334500 #constraints=107283
1559.66/1560.26	c nbDecision=335000 #constraints=107331
1562.85/1563.48	c nbDecision=335500 #constraints=107378
1567.45/1568.06	c nbDecision=336000 #constraints=107487
1571.95/1572.52	c nbDecision=336500 #constraints=107597
1575.85/1576.42	c nbDecision=337000 #constraints=107697
1579.85/1580.42	c nbDecision=337500 #constraints=107773
1583.24/1583.82	c nbDecision=338000 #constraints=107857
1587.15/1587.76	c nbDecision=338500 #constraints=107904
1590.85/1591.43	c nbDecision=339000 #constraints=107953
1593.55/1594.10	c nbDecision=339500 #constraints=108026
1599.45/1600.07	c nbDecision=340000 #constraints=108179
1605.74/1606.33	c nbDecision=340500 #constraints=108269
1611.44/1612.03	c nbDecision=341000 #constraints=108319
1617.44/1618.10	c nbDecision=341500 #constraints=108364
1622.74/1623.39	c nbDecision=342000 #constraints=108429
1627.23/1627.83	c nbDecision=342500 #constraints=108470
1631.53/1632.12	c nbDecision=343000 #constraints=108554
1635.63/1636.27	c nbDecision=343500 #constraints=108673
1638.53/1639.14	c nbDecision=344000 #constraints=108730
1641.93/1642.53	c nbDecision=344500 #constraints=108791
1645.03/1645.62	c nbDecision=345000 #constraints=108924
1649.14/1649.77	c nbDecision=345500 #constraints=109028
1653.53/1654.17	c nbDecision=346000 #constraints=109128
1659.13/1659.72	c nbDecision=346500 #constraints=109238
1665.33/1665.95	c nbDecision=347000 #constraints=109368
1671.03/1671.64	c nbDecision=347500 #constraints=109503
1676.63/1677.29	c nbDecision=348000 #constraints=109608
1681.23/1681.86	c nbDecision=348500 #constraints=109691
1686.32/1686.90	c nbDecision=349000 #constraints=109761
1691.62/1692.26	c nbDecision=349500 #constraints=109877
1696.62/1697.23	c nbDecision=350000 #constraints=109990
1701.41/1702.06	c nbDecision=350500 #constraints=110139
1707.02/1707.67	c nbDecision=351000 #constraints=110244
1712.02/1712.63	c nbDecision=351500 #constraints=110342
1716.52/1717.13	c nbDecision=352000 #constraints=110421
1720.82/1721.47	c nbDecision=352500 #constraints=110491
1725.51/1726.17	c nbDecision=353000 #constraints=110567
1730.21/1730.87	c nbDecision=353500 #constraints=110676
1734.31/1734.94	c nbDecision=354000 #constraints=110782
1738.60/1739.21	c nbDecision=354500 #constraints=110885
1743.30/1743.97	c nbDecision=355000 #constraints=110975
1747.40/1748.01	c nbDecision=355500 #constraints=111045
1751.40/1752.07	c nbDecision=356000 #constraints=111128
1756.01/1756.60	c nbDecision=356500 #constraints=111229
1759.51/1760.19	c nbDecision=357000 #constraints=111303
1764.00/1764.64	c nbDecision=357500 #constraints=111413
1770.60/1771.22	c nbDecision=358000 #constraints=111553
1776.70/1777.32	c nbDecision=358500 #constraints=111658
1782.70/1783.37	c nbDecision=359000 #constraints=111788
1786.80/1787.42	c nbDecision=359500 #constraints=111834
1790.79/1791.46	c nbDecision=360000 #constraints=111898
1796.09/1796.71	c nbDecision=360500 #constraints=111967
1800.10/1800.70	Received signal 15
1800.10/1800.70	
1800.10/1800.70	s UNKNOWN
1800.10/1800.70	
1800.10/1800.70	c user time= 1799.55 s
1800.10/1800.70	c system time= 0.555915 s
1800.10/1800.70	c wall clock time=1800.71

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/node9/watcher-356874-1176846879 -o ROOT/results/node9/solver-356874-1176846879 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356874-1176846879/instance-356874-1176846879.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 1.00 0.99 2/77 8913
/proc/meminfo: memFree=1775528/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=1620 CPUtime=0
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 160725499 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134570027 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 405 175 126 317 0 84 0

[startup+0.051581 s]
/proc/loadavg: 0.92 1.00 0.99 2/77 8913
/proc/meminfo: memFree=1775528/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=2532 CPUtime=0.04
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 482 0 0 0 4 0 0 0 18 0 1 0 160725499 2592768 366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 633 366 131 317 0 312 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2532

[startup+0.101586 s]
/proc/loadavg: 0.92 1.00 0.99 2/77 8913
/proc/meminfo: memFree=1775528/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=3852 CPUtime=0.09
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 807 0 0 0 9 0 0 0 18 0 1 0 160725499 3944448 691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 963 691 131 317 0 642 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3852

[startup+0.301609 s]
/proc/loadavg: 0.92 1.00 0.99 2/77 8913
/proc/meminfo: memFree=1775528/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=9000 CPUtime=0.29
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 2102 0 0 0 28 1 0 0 19 0 1 0 160725499 9216000 1986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 2250 1986 131 317 0 1929 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9000

[startup+0.701654 s]
/proc/loadavg: 0.92 1.00 0.99 2/77 8913
/proc/meminfo: memFree=1775528/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=18892 CPUtime=0.69
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 4574 0 0 0 66 3 0 0 23 0 1 0 160725499 19345408 4458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 4723 4458 137 317 0 4402 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18892

[startup+1.50174 s]
/proc/loadavg: 0.92 1.00 0.99 2/78 8914
/proc/meminfo: memFree=1755808/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=21400 CPUtime=1.49
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 5221 0 0 0 146 3 0 0 25 0 1 0 160725499 21913600 5105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 5350 5105 139 317 0 5029 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21400

[startup+3.10193 s]
/proc/loadavg: 0.92 1.00 0.99 2/78 8914
/proc/meminfo: memFree=1754912/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=22708 CPUtime=3.09
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 5553 0 0 0 306 3 0 0 25 0 1 0 160725499 23252992 5437 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716161 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 5677 5437 139 317 0 5356 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22708

[startup+6.30129 s]
/proc/loadavg: 0.93 1.00 0.99 2/78 8914
/proc/meminfo: memFree=1752608/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=24616 CPUtime=6.29
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 6015 0 0 0 625 4 0 0 25 0 1 0 160725499 25206784 5899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 6154 5899 139 317 0 5833 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24616

[startup+12.702 s]
/proc/loadavg: 0.93 1.00 0.99 2/78 8914
/proc/meminfo: memFree=1749856/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=27124 CPUtime=12.69
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 6631 0 0 0 1265 4 0 0 25 0 1 0 160725499 27774976 6515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 6781 6515 139 317 0 6460 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27124

[startup+25.5015 s]
/proc/loadavg: 0.95 1.00 0.99 2/78 8914
/proc/meminfo: memFree=1745824/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=31148 CPUtime=25.48
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 7647 0 0 0 2543 5 0 0 25 0 1 0 160725499 31895552 7481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 7787 7481 139 317 0 7466 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31148

[startup+51.1013 s]
/proc/loadavg: 0.96 1.00 0.99 2/78 8914
/proc/meminfo: memFree=1739616/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=38208 CPUtime=51.08
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 9422 0 0 0 5100 8 0 0 25 0 1 0 160725499 39124992 9157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562657 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 9552 9157 139 317 0 9231 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 38208

[startup+102.305 s]
/proc/loadavg: 0.98 1.00 0.99 2/78 8914
/proc/meminfo: memFree=1726944/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=50100 CPUtime=102.27
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 12454 0 0 0 10216 11 0 0 25 0 1 0 160725499 51302400 12189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 12525 12189 139 317 0 12204 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 50100

[startup+162.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 8914
/proc/meminfo: memFree=1713760/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=64008 CPUtime=162.25
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 15976 0 0 0 16211 14 0 0 25 0 1 0 160725499 65544192 15481 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 16002 15481 139 317 0 15681 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 64008

[startup+222.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 8914
/proc/meminfo: memFree=1704160/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=73632 CPUtime=222.23
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 18334 0 0 0 22205 18 0 0 25 0 1 0 160725499 75399168 17839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 18408 17839 139 317 0 18087 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 73632

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8914
/proc/meminfo: memFree=1699424/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=78764 CPUtime=282.21
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 19540 0 0 0 28202 19 0 0 25 0 1 0 160725499 80654336 19045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 19691 19045 139 317 0 19370 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 78764

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8914
/proc/meminfo: memFree=1692448/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=85212 CPUtime=342.2
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 21274 0 0 0 34198 22 0 0 25 0 1 0 160725499 87257088 20779 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 21303 20779 139 317 0 20982 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 85212

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 9030
/proc/meminfo: memFree=1683368/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=92916 CPUtime=402.14
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 23247 0 0 0 40189 25 0 0 25 0 1 0 160725499 95145984 22752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 23229 22752 139 317 0 22908 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 92916

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1678360/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=100188 CPUtime=462.07
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 25141 0 0 0 46181 26 0 0 25 0 1 0 160725499 102592512 24252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 25047 24252 139 317 0 24726 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 100188

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1669784/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=108876 CPUtime=522.05
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 27376 0 0 0 52176 29 0 0 25 0 1 0 160725499 111489024 26422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593484 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 27219 26422 139 317 0 26898 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 108876

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1663832/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=114940 CPUtime=582.03
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 28839 0 0 0 58173 30 0 0 25 0 1 0 160725499 117698560 27885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 28735 27885 139 317 0 28414 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 114940

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1658904/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=120756 CPUtime=642.02
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 30042 0 0 0 64170 32 0 0 25 0 1 0 160725499 123654144 29088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 30189 29088 139 317 0 29868 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 120756


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1636064/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=144360 CPUtime=881.94
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 35767 0 0 0 88156 38 0 0 25 0 1 0 160725499 147824640 34813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 36090 34813 139 317 0 35769 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 144360

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1632352/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=147916 CPUtime=941.92
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 36698 0 0 0 94152 40 0 0 25 0 1 0 160725499 151465984 35744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 36979 35744 139 317 0 36658 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 147916

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1629152/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=150688 CPUtime=1001.91
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 37498 0 0 0 100150 41 0 0 25 0 1 0 160725499 154304512 36544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 37672 36544 139 317 0 37351 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 150688

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1623520/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=156304 CPUtime=1061.89
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 38950 0 0 0 106146 43 0 0 25 0 1 0 160725499 160055296 37996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 39076 37996 139 317 0 38755 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 156304

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1616864/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=162632 CPUtime=1121.87
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 40534 0 0 0 112143 44 0 0 25 0 1 0 160725499 166535168 39580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 40658 39580 139 317 0 40337 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 162632

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1612768/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=167108 CPUtime=1181.86
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 41576 0 0 0 118141 45 0 0 25 0 1 0 160725499 171118592 40622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 41777 40622 139 317 0 41456 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 167108

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1609952/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=169760 CPUtime=1241.85
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 42270 0 0 0 124139 46 0 0 25 0 1 0 160725499 173834240 41316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 42440 41316 139 317 0 42119 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 169760

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1607776/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=171780 CPUtime=1301.83
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 42799 0 0 0 130136 47 0 0 25 0 1 0 160725499 175902720 41845 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 42945 41845 139 317 0 42624 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 171780

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1605856/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=173952 CPUtime=1361.81
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 43313 0 0 0 136133 48 0 0 25 0 1 0 160725499 178126848 42359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 43488 42359 139 317 0 43167 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 173952

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1602912/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=176880 CPUtime=1421.8
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 44074 0 0 0 142131 49 0 0 25 0 1 0 160725499 181125120 43120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 44220 43120 139 317 0 43899 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 176880

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1599904/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=179504 CPUtime=1481.77
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 44780 0 0 0 148128 49 0 0 25 0 1 0 160725499 183812096 43826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 44876 43826 139 317 0 44555 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 179504

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1597600/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=181748 CPUtime=1541.75
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 45356 0 0 0 154125 50 0 0 25 0 1 0 160725499 186109952 44402 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 45437 44402 139 317 0 45116 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 181748

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1594976/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=184656 CPUtime=1601.74
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 46017 0 0 0 160122 52 0 0 25 0 1 0 160725499 189087744 45063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 46164 45063 139 317 0 45843 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 184656

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1592224/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=187152 CPUtime=1661.73
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 46692 0 0 0 166120 53 0 0 25 0 1 0 160725499 191643648 45738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 46788 45738 139 317 0 46467 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 187152

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1589536/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=189740 CPUtime=1721.71
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 47370 0 0 0 172117 54 0 0 25 0 1 0 160725499 194293760 46416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 47435 46416 139 317 0 47114 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 189740

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1584800/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=195260 CPUtime=1781.7
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 48547 0 0 0 178115 55 0 0 25 0 1 0 160725499 199946240 47593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 48815 47593 139 317 0 48494 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 195260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1584288/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=195652 CPUtime=1800.1
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 48665 0 0 0 179955 55 0 0 25 0 1 0 160725499 200347648 47711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 48913 47711 139 317 0 48592 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 195652

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 9111
/proc/meminfo: memFree=1584288/2055920 swapFree=4145528/4192956
[pid=8913] ppid=8911 vsize=195652 CPUtime=1800.1
/proc/8913/stat : 8913 (oree) R 8911 8913 7791 0 -1 4194304 48665 0 0 0 179955 55 0 0 25 0 1 0 160725499 200347648 47711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606685 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8913/statm: 48913 47711 139 317 0 48592 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 195652

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.17
CPU user time (s): 1799.58
CPU system time (s): 0.58691
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 195652

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

runsolver used 2.14567 second user time and 4.40933 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Tue Apr 17 21:54:39 UTC 2007

IDJOB= 356874
IDBENCH= 1580
IDSOLVER= 172
FILE ID= node9/356874-1176846879

PBS_JOBID= 4590159

Free space on /tmp= 66489 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/milp/normalized-reduced-mps-v2-20-10-nug08.opb
COMMAND LINE= oree /tmp/evaluation/356874-1176846879/instance-356874-1176846879.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-356874-1176846879 -o ROOT/results/node9/solver-356874-1176846879 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356874-1176846879/instance-356874-1176846879.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  6120923c090ddeb6029c79f9e1b7777e

RANDOM SEED= 447003149

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1775936 kB
Buffers:         33084 kB
Cached:         184372 kB
SwapCached:      16124 kB
Active:         193232 kB
Inactive:        55580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1775936 kB
SwapTotal:     4192956 kB
SwapFree:      4145528 kB
Dirty:            3076 kB
Writeback:           0 kB
Mapped:          30260 kB
Slab:            16652 kB
Committed_AS:  5959868 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66489 MiB

End job on node9 on Tue Apr 17 22:24:42 UTC 2007