Trace number 356911

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.41 1800.87

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-dc1l.opb
MD5SUM1bfc65237e0980827bf136f13870d50e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark997
Best CPU time to get the best result obtained on this benchmark1782.78
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 997
Optimality of the best value was proved NO
Number of variables85198
Total number of constraints1652
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 constraints1652
Minimum length of a constraint31
Maximum length of a constraint35129
Number of terms in the objective function 85198
Biggest coefficient in the objective function 41346
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 607077
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 607077
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...
1.89/1.94	c ...done
1.89/1.94	c #vars=85198 #constraints=3291 hasObjective=yes
2.89/2.92	c res. mode=mod
2.89/2.92	c VSIDS like heuristics
2.89/2.92	c complete search running
3.39/3.46	c restart after 401 decisions
3.49/3.58	c nbDecision=500 #constraints=3291
3.89/3.95	c restart after 801 decisions
4.09/4.19	c nbDecision=1000 #constraints=3291
4.79/4.80	c nbDecision=1500 #constraints=3291
4.89/4.92	c restart after 1601 decisions
5.39/5.41	c nbDecision=2000 #constraints=3291
5.99/6.01	c nbDecision=2500 #constraints=3291
6.59/6.62	c nbDecision=3000 #constraints=3291
6.79/6.86	c restart after 3201 decisions
7.19/7.23	c nbDecision=3500 #constraints=3291
7.79/7.84	c nbDecision=4000 #constraints=3291
8.39/8.44	c nbDecision=4500 #constraints=3291
8.99/9.05	c nbDecision=5000 #constraints=3291
9.59/9.66	c nbDecision=5500 #constraints=3291
10.19/10.26	c nbDecision=6000 #constraints=3291
10.69/10.74	c restart after 6401 decisions
10.79/10.87	c nbDecision=6500 #constraints=3291
11.39/11.48	c nbDecision=7000 #constraints=3291
11.99/12.09	c nbDecision=7500 #constraints=3291
12.69/12.70	c nbDecision=8000 #constraints=3291
13.28/13.31	c nbDecision=8500 #constraints=3291
13.88/13.91	c nbDecision=9000 #constraints=3291
14.48/14.52	c nbDecision=9500 #constraints=3291
15.08/15.12	c nbDecision=10000 #constraints=3291
15.68/15.73	c nbDecision=10500 #constraints=3291
16.28/16.33	c nbDecision=11000 #constraints=3291
16.88/16.93	c nbDecision=11500 #constraints=3291
17.49/17.53	c nbDecision=12000 #constraints=3291
18.08/18.12	c nbDecision=12500 #constraints=3291
18.38/18.48	c restart after 12801 decisions
18.69/18.72	c nbDecision=13000 #constraints=3291
19.28/19.33	c nbDecision=13500 #constraints=3291
19.88/19.92	c nbDecision=14000 #constraints=3291
20.48/20.52	c nbDecision=14500 #constraints=3291
21.08/21.13	c nbDecision=15000 #constraints=3291
21.68/21.73	c nbDecision=15500 #constraints=3291
22.28/22.33	c nbDecision=16000 #constraints=3291
22.89/22.92	c nbDecision=16500 #constraints=3291
23.49/23.52	c nbDecision=17000 #constraints=3291
24.09/24.12	c nbDecision=17500 #constraints=3291
24.69/24.71	c nbDecision=18000 #constraints=3291
25.29/25.30	c nbDecision=18500 #constraints=3291
25.79/25.89	c nbDecision=19000 #constraints=3291
26.39/26.48	c nbDecision=19500 #constraints=3291
26.99/27.06	c nbDecision=20000 #constraints=3291
27.59/27.65	c nbDecision=20500 #constraints=3291
28.19/28.24	c nbDecision=21000 #constraints=3291
28.79/28.83	c nbDecision=21500 #constraints=3291
29.39/29.41	c nbDecision=22000 #constraints=3291
29.99/30.00	c nbDecision=22500 #constraints=3291
30.49/30.58	c nbDecision=23000 #constraints=3291
31.09/31.17	c nbDecision=23500 #constraints=3291
31.69/31.75	c nbDecision=24000 #constraints=3291
32.29/32.32	c nbDecision=24500 #constraints=3291
32.89/32.90	c nbDecision=25000 #constraints=3291
33.39/33.48	c nbDecision=25500 #constraints=3291
33.59/33.60	c restart after 25601 decisions
33.99/34.09	c nbDecision=26000 #constraints=3291
34.69/34.70	c nbDecision=26500 #constraints=3291
35.29/35.31	c nbDecision=27000 #constraints=3291
35.89/35.91	c nbDecision=27500 #constraints=3291
36.49/36.51	c nbDecision=28000 #constraints=3291
37.09/37.12	c nbDecision=28500 #constraints=3291
37.69/37.72	c nbDecision=29000 #constraints=3291
38.29/38.32	c nbDecision=29500 #constraints=3291
38.89/38.91	c nbDecision=30000 #constraints=3291
39.49/39.51	c nbDecision=30500 #constraints=3291
40.09/40.10	c nbDecision=31000 #constraints=3291
40.59/40.69	c nbDecision=31500 #constraints=3291
41.19/41.28	c nbDecision=32000 #constraints=3291
41.79/41.87	c nbDecision=32500 #constraints=3291
42.39/42.46	c nbDecision=33000 #constraints=3291
42.99/43.05	c nbDecision=33500 #constraints=3291
43.59/43.63	c nbDecision=34000 #constraints=3291
44.19/44.21	c nbDecision=34500 #constraints=3291
44.69/44.80	c nbDecision=35000 #constraints=3291
45.29/45.38	c nbDecision=35500 #constraints=3291
45.89/45.95	c nbDecision=36000 #constraints=3291
46.48/46.53	c nbDecision=36500 #constraints=3291
47.08/47.10	c nbDecision=37000 #constraints=3291
47.58/47.68	c nbDecision=37500 #constraints=3291
48.18/48.25	c nbDecision=38000 #constraints=3291
48.78/48.83	c nbDecision=38500 #constraints=3291
49.39/49.40	c nbDecision=39000 #constraints=3291
49.88/49.98	c nbDecision=39500 #constraints=3291
50.49/50.54	c nbDecision=40000 #constraints=3291
51.08/51.11	c nbDecision=40500 #constraints=3291
51.59/51.68	c nbDecision=41000 #constraints=3291
52.18/52.25	c nbDecision=41500 #constraints=3291
52.79/52.82	c nbDecision=42000 #constraints=3291
53.28/53.38	c nbDecision=42500 #constraints=3291
53.89/53.94	c nbDecision=43000 #constraints=3291
54.48/54.50	c nbDecision=43500 #constraints=3291
54.99/55.06	c nbDecision=44000 #constraints=3291
55.58/55.62	c nbDecision=44500 #constraints=3291
56.09/56.18	c nbDecision=45000 #constraints=3291
56.68/56.74	c nbDecision=45500 #constraints=3291
57.19/57.29	c nbDecision=46000 #constraints=3291
57.78/57.84	c nbDecision=46500 #constraints=3291
58.28/58.39	c nbDecision=47000 #constraints=3291
58.88/58.94	c nbDecision=47500 #constraints=3291
59.38/59.48	c nbDecision=48000 #constraints=3291
59.98/60.02	c nbDecision=48500 #constraints=3291
60.48/60.57	c nbDecision=49000 #constraints=3291
61.08/61.11	c nbDecision=49500 #constraints=3291
61.58/61.65	c nbDecision=50000 #constraints=3291
62.08/62.18	c nbDecision=50500 #constraints=3291
62.68/62.72	c nbDecision=51000 #constraints=3291
62.88/62.93	c restart after 51201 decisions
63.28/63.31	c nbDecision=51500 #constraints=3291
63.88/63.92	c nbDecision=52000 #constraints=3291
64.48/64.52	c nbDecision=52500 #constraints=3291
65.08/65.12	c nbDecision=53000 #constraints=3291
65.68/65.73	c nbDecision=53500 #constraints=3291
66.28/66.33	c nbDecision=54000 #constraints=3291
66.88/66.93	c nbDecision=54500 #constraints=3291
67.48/67.52	c nbDecision=55000 #constraints=3291
68.08/68.13	c nbDecision=55500 #constraints=3291
68.68/68.73	c nbDecision=56000 #constraints=3291
69.28/69.33	c nbDecision=56500 #constraints=3291
69.88/69.92	c nbDecision=57000 #constraints=3291
70.48/70.52	c nbDecision=57500 #constraints=3291
71.08/71.12	c nbDecision=58000 #constraints=3291
71.68/71.71	c nbDecision=58500 #constraints=3291
72.28/72.30	c nbDecision=59000 #constraints=3291
72.78/72.89	c nbDecision=59500 #constraints=3291
73.38/73.48	c nbDecision=60000 #constraints=3291
73.98/74.07	c nbDecision=60500 #constraints=3291
74.58/74.65	c nbDecision=61000 #constraints=3291
75.18/75.24	c nbDecision=61500 #constraints=3291
75.78/75.82	c nbDecision=62000 #constraints=3291
76.38/76.40	c nbDecision=62500 #constraints=3291
76.88/76.98	c nbDecision=63000 #constraints=3291
77.48/77.56	c nbDecision=63500 #constraints=3291
78.08/78.13	c nbDecision=64000 #constraints=3291
78.68/78.70	c nbDecision=64500 #constraints=3291
79.18/79.27	c nbDecision=65000 #constraints=3291
79.78/79.83	c nbDecision=65500 #constraints=3291
80.37/80.40	c nbDecision=66000 #constraints=3291
80.87/80.96	c nbDecision=66500 #constraints=3291
81.47/81.52	c nbDecision=67000 #constraints=3291
81.97/82.08	c nbDecision=67500 #constraints=3291
82.57/82.64	c nbDecision=68000 #constraints=3291
83.17/83.20	c nbDecision=68500 #constraints=3291
83.67/83.76	c nbDecision=69000 #constraints=3291
84.27/84.31	c nbDecision=69500 #constraints=3291
84.77/84.87	c nbDecision=70000 #constraints=3291
85.37/85.42	c nbDecision=70500 #constraints=3291
85.87/85.97	c nbDecision=71000 #constraints=3291
86.47/86.52	c nbDecision=71500 #constraints=3291
86.97/87.07	c nbDecision=72000 #constraints=3291
87.57/87.62	c nbDecision=72500 #constraints=3291
88.07/88.17	c nbDecision=73000 #constraints=3291
88.67/88.72	c nbDecision=73500 #constraints=3291
89.17/89.27	c nbDecision=74000 #constraints=3291
89.77/89.81	c nbDecision=74500 #constraints=3291
90.27/90.36	c nbDecision=75000 #constraints=3291
90.87/90.90	c nbDecision=75500 #constraints=3291
91.37/91.45	c nbDecision=76000 #constraints=3291
91.87/91.99	c nbDecision=76500 #constraints=3291
92.47/92.53	c nbDecision=77000 #constraints=3291
92.97/93.07	c nbDecision=77500 #constraints=3291
93.57/93.61	c nbDecision=78000 #constraints=3291
94.07/94.14	c nbDecision=78500 #constraints=3291
94.57/94.68	c nbDecision=79000 #constraints=3291
95.17/95.21	c nbDecision=79500 #constraints=3291
95.67/95.74	c nbDecision=80000 #constraints=3291
96.17/96.27	c nbDecision=80500 #constraints=3291
96.77/96.80	c nbDecision=81000 #constraints=3291
97.27/97.33	c nbDecision=81500 #constraints=3291
97.77/97.86	c nbDecision=82000 #constraints=3291
98.27/98.38	c nbDecision=82500 #constraints=3291
98.87/98.90	c nbDecision=83000 #constraints=3291
99.37/99.43	c nbDecision=83500 #constraints=3291
99.87/99.95	c nbDecision=84000 #constraints=3291
100.37/100.48	c nbDecision=84500 #constraints=3291
100.97/101.00	c nbDecision=85000 #constraints=3291
101.47/101.52	c nbDecision=85500 #constraints=3291
101.97/102.05	c nbDecision=86000 #constraints=3291
102.47/102.57	c nbDecision=86500 #constraints=3291
102.97/103.09	c nbDecision=87000 #constraints=3291
103.57/103.61	c nbDecision=87500 #constraints=3291
104.07/104.13	c nbDecision=88000 #constraints=3291
104.57/104.65	c nbDecision=88500 #constraints=3291
105.07/105.17	c nbDecision=89000 #constraints=3291
105.57/105.69	c nbDecision=89500 #constraints=3291
106.17/106.21	c nbDecision=90000 #constraints=3291
106.67/106.73	c nbDecision=90500 #constraints=3291
107.17/107.24	c nbDecision=91000 #constraints=3291
107.67/107.76	c nbDecision=91500 #constraints=3291
108.17/108.28	c nbDecision=92000 #constraints=3291
108.77/108.80	c nbDecision=92500 #constraints=3291
109.27/109.31	c nbDecision=93000 #constraints=3291
109.77/109.83	c nbDecision=93500 #constraints=3291
110.27/110.35	c nbDecision=94000 #constraints=3291
110.77/110.86	c nbDecision=94500 #constraints=3291
111.27/111.38	c nbDecision=95000 #constraints=3291
111.77/111.89	c nbDecision=95500 #constraints=3291
112.37/112.41	c nbDecision=96000 #constraints=3291
112.87/112.92	c nbDecision=96500 #constraints=3291
113.37/113.43	c nbDecision=97000 #constraints=3291
113.87/113.94	c nbDecision=97500 #constraints=3291
114.37/114.46	c nbDecision=98000 #constraints=3291
114.87/114.97	c nbDecision=98500 #constraints=3291
115.37/115.48	c nbDecision=99000 #constraints=3291
115.86/115.98	c nbDecision=99500 #constraints=3291
116.36/116.49	c nbDecision=100000 #constraints=3291
116.96/117.00	c nbDecision=100500 #constraints=3291
117.46/117.50	c nbDecision=101000 #constraints=3291
117.96/118.01	c nbDecision=101500 #constraints=3291
118.46/118.51	c nbDecision=102000 #constraints=3291
118.86/118.91	c restart after 102401 decisions
119.06/119.16	c nbDecision=102500 #constraints=3291
119.66/119.76	c nbDecision=103000 #constraints=3291
120.26/120.37	c nbDecision=103500 #constraints=3291
120.86/120.97	c nbDecision=104000 #constraints=3291
121.46/121.57	c nbDecision=104500 #constraints=3291
122.06/122.17	c nbDecision=105000 #constraints=3291
122.66/122.77	c nbDecision=105500 #constraints=3291
123.26/123.37	c nbDecision=106000 #constraints=3291
123.86/123.97	c nbDecision=106500 #constraints=3291
124.46/124.57	c nbDecision=107000 #constraints=3291
125.06/125.16	c nbDecision=107500 #constraints=3291
125.66/125.75	c nbDecision=108000 #constraints=3291
126.26/126.34	c nbDecision=108500 #constraints=3291
126.86/126.93	c nbDecision=109000 #constraints=3291
127.46/127.52	c nbDecision=109500 #constraints=3291
128.06/128.11	c nbDecision=110000 #constraints=3291
128.66/128.70	c nbDecision=110500 #constraints=3291
129.16/129.29	c nbDecision=111000 #constraints=3291
129.76/129.88	c nbDecision=111500 #constraints=3291
130.36/130.47	c nbDecision=112000 #constraints=3291
130.96/131.05	c nbDecision=112500 #constraints=3291
131.56/131.64	c nbDecision=113000 #constraints=3291
132.16/132.22	c nbDecision=113500 #constraints=3291
132.76/132.80	c nbDecision=114000 #constraints=3291
133.26/133.38	c nbDecision=114500 #constraints=3291
133.86/133.96	c nbDecision=115000 #constraints=3291
134.46/134.53	c nbDecision=115500 #constraints=3291
135.06/135.10	c nbDecision=116000 #constraints=3291
135.56/135.68	c nbDecision=116500 #constraints=3291
136.16/136.25	c nbDecision=117000 #constraints=3291
136.76/136.81	c nbDecision=117500 #constraints=3291
137.26/137.38	c nbDecision=118000 #constraints=3291
137.86/137.94	c nbDecision=118500 #constraints=3291
138.46/138.50	c nbDecision=119000 #constraints=3291
138.96/139.06	c nbDecision=119500 #constraints=3291
139.56/139.62	c nbDecision=120000 #constraints=3291
140.05/140.17	c nbDecision=120500 #constraints=3291
140.66/140.73	c nbDecision=121000 #constraints=3291
141.15/141.28	c nbDecision=121500 #constraints=3291
141.76/141.83	c nbDecision=122000 #constraints=3291
142.25/142.38	c nbDecision=122500 #constraints=3291
142.86/142.93	c nbDecision=123000 #constraints=3291
143.35/143.48	c nbDecision=123500 #constraints=3291
143.96/144.02	c nbDecision=124000 #constraints=3291
144.45/144.57	c nbDecision=124500 #constraints=3291
145.06/145.11	c nbDecision=125000 #constraints=3291
145.55/145.66	c nbDecision=125500 #constraints=3291
146.16/146.20	c nbDecision=126000 #constraints=3291
146.65/146.74	c nbDecision=126500 #constraints=3291
147.15/147.28	c nbDecision=127000 #constraints=3291
147.75/147.81	c nbDecision=127500 #constraints=3291
148.25/148.36	c nbDecision=128000 #constraints=3291
148.75/148.90	c nbDecision=128500 #constraints=3291
149.35/149.43	c nbDecision=129000 #constraints=3291
149.85/149.97	c nbDecision=129500 #constraints=3291
150.45/150.51	c nbDecision=130000 #constraints=3291
150.95/151.04	c nbDecision=130500 #constraints=3291
151.45/151.57	c nbDecision=131000 #constraints=3291
152.05/152.10	c nbDecision=131500 #constraints=3291
152.55/152.63	c nbDecision=132000 #constraints=3291
153.05/153.16	c nbDecision=132500 #constraints=3291
153.55/153.69	c nbDecision=133000 #constraints=3291
154.15/154.21	c nbDecision=133500 #constraints=3291
154.65/154.75	c nbDecision=134000 #constraints=3291
155.15/155.28	c nbDecision=134500 #constraints=3291
155.75/155.81	c nbDecision=135000 #constraints=3291
156.25/156.34	c nbDecision=135500 #constraints=3291
156.75/156.87	c nbDecision=136000 #constraints=3291
157.25/157.39	c nbDecision=136500 #constraints=3291
157.85/157.92	c nbDecision=137000 #constraints=3291
158.35/158.44	c nbDecision=137500 #constraints=3291
158.85/158.96	c nbDecision=138000 #constraints=3291
159.35/159.49	c nbDecision=138500 #constraints=3291
159.95/160.01	c nbDecision=139000 #constraints=3291
160.45/160.53	c nbDecision=139500 #constraints=3291
160.95/161.04	c nbDecision=140000 #constraints=3291
161.45/161.56	c nbDecision=140500 #constraints=3291
161.95/162.08	c nbDecision=141000 #constraints=3291
162.55/162.60	c nbDecision=141500 #constraints=3291
163.05/163.11	c nbDecision=142000 #constraints=3291
163.55/163.63	c nbDecision=142500 #constraints=3291
164.05/164.14	c nbDecision=143000 #constraints=3291
164.55/164.66	c nbDecision=143500 #constraints=3291
165.05/165.17	c nbDecision=144000 #constraints=3291
165.55/165.69	c nbDecision=144500 #constraints=3291
166.15/166.20	c nbDecision=145000 #constraints=3291
166.65/166.71	c nbDecision=145500 #constraints=3291
167.15/167.22	c nbDecision=146000 #constraints=3291
167.65/167.73	c nbDecision=146500 #constraints=3291
168.15/168.24	c nbDecision=147000 #constraints=3291
168.65/168.76	c nbDecision=147500 #constraints=3291
169.15/169.27	c nbDecision=148000 #constraints=3291
169.65/169.78	c nbDecision=148500 #constraints=3291
170.15/170.29	c nbDecision=149000 #constraints=3291
170.75/170.80	c nbDecision=149500 #constraints=3291
171.25/171.31	c nbDecision=150000 #constraints=3291
171.75/171.82	c nbDecision=150500 #constraints=3291
172.25/172.33	c nbDecision=151000 #constraints=3291
172.75/172.84	c nbDecision=151500 #constraints=3291
173.25/173.34	c nbDecision=152000 #constraints=3291
173.75/173.85	c nbDecision=152500 #constraints=3291
174.25/174.36	c nbDecision=153000 #constraints=3291
174.75/174.86	c nbDecision=153500 #constraints=3291
175.25/175.36	c nbDecision=154000 #constraints=3291
175.74/175.87	c nbDecision=154500 #constraints=3291
176.34/176.43	c nbDecision=155000 #constraints=3297
176.84/176.94	c nbDecision=155500 #constraints=3297
177.34/177.45	c nbDecision=156000 #constraints=3297
177.84/177.95	c nbDecision=156500 #constraints=3297
178.34/178.44	c nbDecision=157000 #constraints=3297
178.84/178.94	c nbDecision=157500 #constraints=3297
179.34/179.44	c nbDecision=158000 #constraints=3297
179.84/179.93	c nbDecision=158500 #constraints=3297
180.35/180.43	c nbDecision=159000 #constraints=3297
180.84/180.92	c nbDecision=159500 #constraints=3297
181.35/181.42	c nbDecision=160000 #constraints=3297
181.84/181.92	c nbDecision=160500 #constraints=3298
182.34/182.41	c nbDecision=161000 #constraints=3298
182.84/182.93	c nbDecision=161500 #constraints=3301
183.34/183.45	c nbDecision=162000 #constraints=3303
183.84/183.95	c nbDecision=162500 #constraints=3303
184.34/184.44	c nbDecision=163000 #constraints=3303
184.94/185.09	c nbDecision=163500 #constraints=3312
185.54/185.69	c nbDecision=164000 #constraints=3320
186.04/186.20	c nbDecision=164500 #constraints=3321
186.74/186.87	c nbDecision=165000 #constraints=3337
187.65/187.72	c nbDecision=165500 #constraints=3345
188.45/188.51	c nbDecision=166000 #constraints=3349
188.95/189.04	c nbDecision=166500 #constraints=3351
189.45/189.56	c nbDecision=167000 #constraints=3352
190.05/190.12	c nbDecision=167500 #constraints=3358
190.85/190.94	c nbDecision=168000 #constraints=3362
191.45/191.51	c nbDecision=168500 #constraints=3369
192.25/192.35	c nbDecision=169000 #constraints=3373
192.75/192.88	c nbDecision=169500 #constraints=3376
193.34/193.43	c nbDecision=170000 #constraints=3380
193.84/193.96	c nbDecision=170500 #constraints=3383
196.44/196.56	c nbDecision=171000 #constraints=3409
199.44/199.58	c nbDecision=171500 #constraints=3428
199.94/200.09	c nbDecision=172000 #constraints=3428
200.54/200.65	c nbDecision=172500 #constraints=3434
201.04/201.18	c nbDecision=173000 #constraints=3436
201.64/201.74	c nbDecision=173500 #constraints=3442
202.14/202.26	c nbDecision=174000 #constraints=3444
202.64/202.79	c nbDecision=174500 #constraints=3447
203.45/203.51	c nbDecision=175000 #constraints=3467
204.14/204.20	c nbDecision=175500 #constraints=3478
204.64/204.74	c nbDecision=176000 #constraints=3484
205.44/205.56	c nbDecision=176500 #constraints=3505
206.44/206.53	c nbDecision=177000 #constraints=3517
207.44/207.54	c nbDecision=177500 #constraints=3534
208.15/208.24	c nbDecision=178000 #constraints=3545
209.24/209.37	c nbDecision=178500 #constraints=3573
209.84/209.96	c nbDecision=179000 #constraints=3579
211.53/211.62	c nbDecision=179500 #constraints=3622
215.24/215.36	c nbDecision=180000 #constraints=3702
221.34/221.45	c nbDecision=180500 #constraints=3789
222.14/222.28	c nbDecision=181000 #constraints=3796
222.74/222.81	c nbDecision=181500 #constraints=3797
223.24/223.36	c nbDecision=182000 #constraints=3803
224.24/224.34	c nbDecision=182500 #constraints=3807
225.44/225.51	c nbDecision=183000 #constraints=3815
227.34/227.45	c nbDecision=183500 #constraints=3827
228.24/228.38	c nbDecision=184000 #constraints=3829
232.33/232.49	c nbDecision=184500 #constraints=3854
236.53/236.67	c nbDecision=185000 #constraints=3878
239.23/239.38	c nbDecision=185500 #constraints=3894
243.43/243.57	c nbDecision=186000 #constraints=3922
245.53/245.66	c nbDecision=186500 #constraints=3933
246.33/246.42	c nbDecision=187000 #constraints=3936
247.13/247.26	c nbDecision=187500 #constraints=3946
247.73/247.85	c nbDecision=188000 #constraints=3948
248.33/248.44	c nbDecision=188500 #constraints=3951
248.93/249.03	c nbDecision=189000 #constraints=3956
249.53/249.65	c nbDecision=189500 #constraints=3960
250.83/250.98	c nbDecision=190000 #constraints=3971
251.42/251.56	c nbDecision=190500 #constraints=3974
252.12/252.26	c nbDecision=191000 #constraints=3980
253.02/253.12	c nbDecision=191500 #constraints=3994
253.72/253.88	c nbDecision=192000 #constraints=4004
254.53/254.64	c nbDecision=192500 #constraints=4017
255.43/255.50	c nbDecision=193000 #constraints=4033
258.23/258.31	c nbDecision=193500 #constraints=4062
259.23/259.38	c nbDecision=194000 #constraints=4068
261.93/262.01	c nbDecision=194500 #constraints=4081
263.13/263.23	c nbDecision=195000 #constraints=4086
265.62/265.75	c nbDecision=195500 #constraints=4104
266.72/266.89	c nbDecision=196000 #constraints=4120
267.72/267.86	c nbDecision=196500 #constraints=4134
268.63/268.72	c nbDecision=197000 #constraints=4147
269.33/269.46	c nbDecision=197500 #constraints=4157
270.23/270.35	c nbDecision=198000 #constraints=4169
271.53/271.68	c nbDecision=198500 #constraints=4193
273.13/273.23	c nbDecision=199000 #constraints=4213
282.22/282.37	c nbDecision=199500 #constraints=4251
289.42/289.59	c nbDecision=200000 #constraints=4282
293.42/293.55	c nbDecision=200500 #constraints=4301
303.72/303.83	c nbDecision=201000 #constraints=4346
311.61/311.77	c nbDecision=201500 #constraints=4382
318.31/318.44	c nbDecision=202000 #constraints=4416
324.11/324.28	c nbDecision=202500 #constraints=4449
332.11/332.25	c nbDecision=203000 #constraints=4487
337.61/337.73	c nbDecision=203500 #constraints=4517
347.51/347.60	c nbDecision=204000 #constraints=4559
353.81/353.90	c nbDecision=204500 #constraints=4590
354.91/355.09	c restart after 204801 decisions
356.60/356.73	c nbDecision=205000 #constraints=4595
357.20/357.39	c nbDecision=205500 #constraints=4595
357.90/358.03	c nbDecision=206000 #constraints=4595
358.51/358.65	c nbDecision=206500 #constraints=4595
359.10/359.26	c nbDecision=207000 #constraints=4595
359.70/359.86	c nbDecision=207500 #constraints=4595
360.30/360.46	c nbDecision=208000 #constraints=4595
360.90/361.07	c nbDecision=208500 #constraints=4595
361.50/361.67	c nbDecision=209000 #constraints=4595
362.10/362.30	c nbDecision=209500 #constraints=4595
362.80/362.92	c nbDecision=210000 #constraints=4595
363.40/363.53	c nbDecision=210500 #constraints=4595
364.00/364.12	c nbDecision=211000 #constraints=4595
364.60/364.72	c nbDecision=211500 #constraints=4595
365.20/365.34	c nbDecision=212000 #constraints=4595
365.80/365.95	c nbDecision=212500 #constraints=4595
366.40/366.55	c nbDecision=213000 #constraints=4595
367.00/367.19	c nbDecision=213500 #constraints=4595
367.60/367.78	c nbDecision=214000 #constraints=4595
368.30/368.40	c nbDecision=214500 #constraints=4595
368.90/369.01	c nbDecision=215000 #constraints=4595
369.50/369.62	c nbDecision=215500 #constraints=4595
370.10/370.20	c nbDecision=216000 #constraints=4595
370.60/370.79	c nbDecision=216500 #constraints=4595
371.20/371.39	c nbDecision=217000 #constraints=4595
371.90/372.06	c nbDecision=217500 #constraints=4595
372.50/372.69	c nbDecision=218000 #constraints=4595
373.10/373.27	c nbDecision=218500 #constraints=4595
373.70/373.86	c nbDecision=219000 #constraints=4595
374.30/374.45	c nbDecision=219500 #constraints=4595
374.90/375.02	c nbDecision=220000 #constraints=4595
375.50/375.60	c nbDecision=220500 #constraints=4595
376.00/376.18	c nbDecision=221000 #constraints=4595
376.60/376.75	c nbDecision=221500 #constraints=4595
377.20/377.32	c nbDecision=222000 #constraints=4595
377.80/377.92	c nbDecision=222500 #constraints=4595
378.30/378.49	c nbDecision=223000 #constraints=4595
378.90/379.05	c nbDecision=223500 #constraints=4595
379.50/379.61	c nbDecision=224000 #constraints=4595
380.10/380.20	c nbDecision=224500 #constraints=4595
380.60/380.76	c nbDecision=225000 #constraints=4595
381.20/381.31	c nbDecision=225500 #constraints=4595
381.70/381.88	c nbDecision=226000 #constraints=4595
382.30/382.42	c nbDecision=226500 #constraints=4595
382.80/382.98	c nbDecision=227000 #constraints=4595
383.39/383.55	c nbDecision=227500 #constraints=4595
383.99/384.12	c nbDecision=228000 #constraints=4595
384.49/384.69	c nbDecision=228500 #constraints=4595
385.19/385.32	c nbDecision=229000 #constraints=4595
385.69/385.86	c nbDecision=229500 #constraints=4595
386.29/386.42	c nbDecision=230000 #constraints=4595
386.79/386.96	c nbDecision=230500 #constraints=4595
387.39/387.50	c nbDecision=231000 #constraints=4595
387.89/388.06	c nbDecision=231500 #constraints=4595
388.49/388.60	c nbDecision=232000 #constraints=4595
388.99/389.16	c nbDecision=232500 #constraints=4595
389.59/389.70	c nbDecision=233000 #constraints=4595
390.09/390.25	c nbDecision=233500 #constraints=4595
390.59/390.79	c nbDecision=234000 #constraints=4595
391.19/391.34	c nbDecision=234500 #constraints=4595
391.69/391.88	c nbDecision=235000 #constraints=4595
392.29/392.42	c nbDecision=235500 #constraints=4595
392.79/392.95	c nbDecision=236000 #constraints=4595
393.39/393.52	c nbDecision=236500 #constraints=4595
393.89/394.07	c nbDecision=237000 #constraints=4595
394.49/394.65	c nbDecision=237500 #constraints=4595
395.09/395.22	c nbDecision=238000 #constraints=4595
395.69/395.80	c nbDecision=238500 #constraints=4595
396.19/396.37	c nbDecision=239000 #constraints=4595
396.79/396.98	c nbDecision=239500 #constraints=4595
397.59/397.71	c nbDecision=240000 #constraints=4595
398.19/398.35	c nbDecision=240500 #constraints=4595
398.79/398.94	c nbDecision=241000 #constraints=4595
399.29/399.49	c nbDecision=241500 #constraints=4595
399.89/400.05	c nbDecision=242000 #constraints=4595
400.49/400.65	c nbDecision=242500 #constraints=4595
401.09/401.20	c nbDecision=243000 #constraints=4595
401.59/401.79	c nbDecision=243500 #constraints=4595
402.19/402.36	c nbDecision=244000 #constraints=4595
402.79/402.90	c nbDecision=244500 #constraints=4595
403.29/403.45	c nbDecision=245000 #constraints=4595
403.89/404.03	c nbDecision=245500 #constraints=4595
404.49/404.60	c nbDecision=246000 #constraints=4595
404.99/405.19	c nbDecision=246500 #constraints=4595
405.59/405.74	c nbDecision=247000 #constraints=4595
406.19/406.30	c nbDecision=247500 #constraints=4595
406.69/406.89	c nbDecision=248000 #constraints=4595
407.29/407.45	c nbDecision=248500 #constraints=4595
407.89/408.01	c nbDecision=249000 #constraints=4595
408.39/408.58	c nbDecision=249500 #constraints=4595
408.99/409.14	c nbDecision=250000 #constraints=4595
409.49/409.70	c nbDecision=250500 #constraints=4595
410.09/410.26	c nbDecision=251000 #constraints=4595
410.69/410.81	c nbDecision=251500 #constraints=4595
411.19/411.35	c nbDecision=252000 #constraints=4595
411.69/411.88	c nbDecision=252500 #constraints=4595
412.29/412.43	c nbDecision=253000 #constraints=4595
412.79/412.99	c nbDecision=253500 #constraints=4595
413.39/413.56	c nbDecision=254000 #constraints=4595
413.99/414.12	c nbDecision=254500 #constraints=4595
414.49/414.67	c nbDecision=255000 #constraints=4595
415.09/415.25	c nbDecision=255500 #constraints=4595
415.69/415.81	c nbDecision=256000 #constraints=4595
416.18/416.37	c nbDecision=256500 #constraints=4595
416.79/416.96	c nbDecision=257000 #constraints=4595
417.38/417.56	c nbDecision=257500 #constraints=4595
417.89/418.09	c nbDecision=258000 #constraints=4595
418.48/418.64	c nbDecision=258500 #constraints=4595
418.99/419.17	c nbDecision=259000 #constraints=4595
419.58/419.72	c nbDecision=259500 #constraints=4595
420.09/420.24	c nbDecision=260000 #constraints=4595
420.58/420.76	c nbDecision=260500 #constraints=4595
421.09/421.30	c nbDecision=261000 #constraints=4595
421.68/421.84	c nbDecision=261500 #constraints=4595
422.19/422.39	c nbDecision=262000 #constraints=4595
422.78/422.95	c nbDecision=262500 #constraints=4595
426.18/426.35	c nbDecision=263000 #constraints=4610
429.38/429.50	c nbDecision=263500 #constraints=4622
438.49/438.62	c nbDecision=264000 #constraints=4662
443.98/444.11	c nbDecision=264500 #constraints=4690
445.48/445.60	c nbDecision=265000 #constraints=4697
446.28/446.44	c nbDecision=265500 #constraints=4702
447.48/447.64	c nbDecision=266000 #constraints=4710
449.37/449.56	c nbDecision=266500 #constraints=4721
450.37/450.54	c nbDecision=267000 #constraints=4724
451.78/451.94	c nbDecision=267500 #constraints=4730
456.08/456.27	c nbDecision=268000 #constraints=4751
460.07/460.22	c nbDecision=268500 #constraints=4768
464.58/464.74	c nbDecision=269000 #constraints=4794
467.57/467.79	c nbDecision=269500 #constraints=4810
469.78/469.92	c nbDecision=270000 #constraints=4823
470.28/470.50	c nbDecision=270500 #constraints=4824
471.18/471.31	c nbDecision=271000 #constraints=4829
471.78/471.98	c nbDecision=271500 #constraints=4832
472.97/473.12	c nbDecision=272000 #constraints=4846
474.37/474.52	c nbDecision=272500 #constraints=4864
475.77/475.97	c nbDecision=273000 #constraints=4882
479.47/479.61	c nbDecision=273500 #constraints=4897
480.27/480.44	c nbDecision=274000 #constraints=4899
482.38/482.59	c nbDecision=274500 #constraints=4910
484.77/484.95	c nbDecision=275000 #constraints=4920
485.87/486.00	c nbDecision=275500 #constraints=4929
486.87/487.02	c nbDecision=276000 #constraints=4950
488.37/488.55	c nbDecision=276500 #constraints=4970
489.57/489.78	c nbDecision=277000 #constraints=4981
491.57/491.71	c nbDecision=277500 #constraints=5001
492.87/493.08	c nbDecision=278000 #constraints=5016
494.77/494.94	c nbDecision=278500 #constraints=5026
504.37/504.53	c nbDecision=279000 #constraints=5061
506.06/506.23	c nbDecision=279500 #constraints=5076
508.37/508.59	c nbDecision=280000 #constraints=5092
509.17/509.34	c nbDecision=280500 #constraints=5094
513.57/513.80	c nbDecision=281000 #constraints=5119
515.36/515.54	c nbDecision=281500 #constraints=5132
518.26/518.49	c nbDecision=282000 #constraints=5146
529.06/529.29	c nbDecision=282500 #constraints=5185
545.25/545.50	c nbDecision=283000 #constraints=5235
549.16/549.33	c nbDecision=283500 #constraints=5251
550.16/550.33	c nbDecision=284000 #constraints=5257
556.95/557.10	c nbDecision=284500 #constraints=5294
561.75/561.97	c nbDecision=285000 #constraints=5322
576.25/576.44	c nbDecision=285500 #constraints=5368
589.65/589.88	c nbDecision=286000 #constraints=5413
596.85/597.04	c nbDecision=286500 #constraints=5445
600.24/600.41	c nbDecision=287000 #constraints=5457
606.84/607.07	c nbDecision=287500 #constraints=5485
612.84/613.06	c nbDecision=288000 #constraints=5507
621.34/621.55	c nbDecision=288500 #constraints=5538
628.13/628.33	c nbDecision=289000 #constraints=5563
635.64/635.84	c nbDecision=289500 #constraints=5591
647.13/647.33	c nbDecision=290000 #constraints=5633
651.83/652.08	c nbDecision=290500 #constraints=5653
663.32/663.59	c nbDecision=291000 #constraints=5700
672.13/672.39	c nbDecision=291500 #constraints=5732
679.43/679.65	c nbDecision=292000 #constraints=5756
692.02/692.23	c nbDecision=292500 #constraints=5799
704.31/704.51	c nbDecision=293000 #constraints=5832
708.52/708.76	c nbDecision=293500 #constraints=5855
716.21/716.47	c nbDecision=294000 #constraints=5897
724.21/724.43	c nbDecision=294500 #constraints=5923
731.50/731.72	c nbDecision=295000 #constraints=5944
749.40/749.62	c nbDecision=295500 #constraints=6006
758.20/758.40	c nbDecision=296000 #constraints=6036
768.00/768.26	c nbDecision=296500 #constraints=6077
782.70/782.95	c nbDecision=297000 #constraints=6125
791.20/791.44	c nbDecision=297500 #constraints=6156
803.09/803.39	c nbDecision=298000 #constraints=6194
814.39/814.62	c nbDecision=298500 #constraints=6228
815.49/815.79	c nbDecision=299000 #constraints=6232
816.48/816.70	c nbDecision=299500 #constraints=6236
818.19/818.43	c nbDecision=300000 #constraints=6242
823.39/823.60	c nbDecision=300500 #constraints=6270
838.89/839.18	c nbDecision=301000 #constraints=6320
839.79/840.04	c nbDecision=301500 #constraints=6321
850.68/850.93	c nbDecision=302000 #constraints=6365
851.88/852.16	c nbDecision=302500 #constraints=6368
858.18/858.41	c nbDecision=303000 #constraints=6394
869.97/870.26	c nbDecision=303500 #constraints=6428
874.28/874.56	c nbDecision=304000 #constraints=6443
878.77/879.03	c nbDecision=304500 #constraints=6462
888.47/888.73	c nbDecision=305000 #constraints=6494
896.57/896.82	c nbDecision=305500 #constraints=6521
904.77/905.04	c nbDecision=306000 #constraints=6549
905.56/905.82	c nbDecision=306500 #constraints=6552
916.26/916.53	c nbDecision=307000 #constraints=6589
924.36/924.65	c nbDecision=307500 #constraints=6616
933.25/933.55	c nbDecision=308000 #constraints=6651
938.96/939.20	c nbDecision=308500 #constraints=6675
941.15/941.43	c nbDecision=309000 #constraints=6682
944.26/944.52	c nbDecision=309500 #constraints=6694
946.06/946.35	c nbDecision=310000 #constraints=6705
949.06/949.34	c nbDecision=310500 #constraints=6720
953.25/953.55	c nbDecision=311000 #constraints=6739
964.75/965.07	c nbDecision=311500 #constraints=6782
975.24/975.52	c nbDecision=312000 #constraints=6817
978.35/978.69	c nbDecision=312500 #constraints=6829
989.04/989.39	c nbDecision=313000 #constraints=6868
1002.04/1002.30	c nbDecision=313500 #constraints=6910
1004.24/1004.51	c nbDecision=314000 #constraints=6916
1016.04/1016.35	c nbDecision=314500 #constraints=6957
1018.64/1018.90	c nbDecision=315000 #constraints=6965
1026.24/1026.56	c nbDecision=315500 #constraints=6998
1038.44/1038.76	c nbDecision=316000 #constraints=7035
1040.14/1040.45	c nbDecision=316500 #constraints=7040
1045.23/1045.54	c nbDecision=317000 #constraints=7060
1049.93/1050.25	c nbDecision=317500 #constraints=7081
1055.13/1055.41	c nbDecision=318000 #constraints=7107
1068.22/1068.58	c nbDecision=318500 #constraints=7159
1069.93/1070.25	c nbDecision=319000 #constraints=7169
1071.72/1072.00	c nbDecision=319500 #constraints=7180
1077.82/1078.14	c nbDecision=320000 #constraints=7213
1089.62/1089.91	c nbDecision=320500 #constraints=7247
1099.11/1099.40	c nbDecision=321000 #constraints=7279
1102.12/1102.44	c nbDecision=321500 #constraints=7294
1116.01/1116.40	c nbDecision=322000 #constraints=7337
1119.81/1120.10	c nbDecision=322500 #constraints=7352
1133.41/1133.77	c nbDecision=323000 #constraints=7397
1134.91/1135.25	c nbDecision=323500 #constraints=7399
1140.21/1140.58	c nbDecision=324000 #constraints=7416
1150.40/1150.71	c nbDecision=324500 #constraints=7444
1162.10/1162.42	c nbDecision=325000 #constraints=7480
1173.60/1173.98	c nbDecision=325500 #constraints=7511
1179.30/1179.63	c nbDecision=326000 #constraints=7528
1190.09/1190.47	c nbDecision=326500 #constraints=7559
1192.29/1192.63	c nbDecision=327000 #constraints=7565
1192.99/1193.39	c nbDecision=327500 #constraints=7566
1199.30/1199.61	c nbDecision=328000 #constraints=7594
1204.49/1204.83	c nbDecision=328500 #constraints=7610
1212.29/1212.68	c nbDecision=329000 #constraints=7642
1221.79/1222.16	c nbDecision=329500 #constraints=7667
1223.28/1223.64	c nbDecision=330000 #constraints=7674
1232.98/1233.38	c nbDecision=330500 #constraints=7706
1237.99/1238.31	c nbDecision=331000 #constraints=7719
1249.38/1249.71	c nbDecision=331500 #constraints=7757
1267.77/1268.12	c nbDecision=332000 #constraints=7803
1284.27/1284.67	c nbDecision=332500 #constraints=7846
1293.27/1293.64	c nbDecision=333000 #constraints=7873
1297.06/1297.45	c nbDecision=333500 #constraints=7886
1303.46/1303.84	c nbDecision=334000 #constraints=7904
1310.16/1310.57	c nbDecision=334500 #constraints=7923
1324.96/1325.32	c nbDecision=335000 #constraints=7968
1339.66/1340.02	c nbDecision=335500 #constraints=8010
1345.96/1346.40	c nbDecision=336000 #constraints=8030
1352.25/1352.69	c nbDecision=336500 #constraints=8046
1361.55/1361.92	c nbDecision=337000 #constraints=8071
1362.35/1362.79	c nbDecision=337500 #constraints=8073
1371.54/1371.90	c nbDecision=338000 #constraints=8095
1381.45/1381.81	c nbDecision=338500 #constraints=8121
1387.75/1388.13	c nbDecision=339000 #constraints=8136
1392.94/1393.39	c nbDecision=339500 #constraints=8151
1407.65/1408.09	c nbDecision=340000 #constraints=8190
1408.54/1408.94	c nbDecision=340500 #constraints=8190
1416.34/1416.72	c nbDecision=341000 #constraints=8212
1422.64/1423.05	c nbDecision=341500 #constraints=8228
1430.53/1430.99	c nbDecision=342000 #constraints=8251
1451.03/1451.42	c nbDecision=342500 #constraints=8301
1468.13/1468.56	c nbDecision=343000 #constraints=8346
1482.12/1482.56	c nbDecision=343500 #constraints=8385
1493.43/1493.81	c nbDecision=344000 #constraints=8413
1500.92/1501.33	c nbDecision=344500 #constraints=8431
1517.52/1517.95	c nbDecision=345000 #constraints=8473
1538.61/1539.08	c nbDecision=345500 #constraints=8524
1557.80/1558.29	c nbDecision=346000 #constraints=8569
1571.60/1572.00	c nbDecision=346500 #constraints=8606
1584.60/1585.07	c nbDecision=347000 #constraints=8633
1604.29/1604.77	c nbDecision=347500 #constraints=8684
1627.29/1627.74	c nbDecision=348000 #constraints=8733
1641.48/1641.92	c nbDecision=348500 #constraints=8764
1657.88/1658.35	c nbDecision=349000 #constraints=8804
1674.98/1675.40	c nbDecision=349500 #constraints=8842
1694.87/1695.32	c nbDecision=350000 #constraints=8886
1721.56/1722.09	c nbDecision=350500 #constraints=8950
1736.76/1737.29	c nbDecision=351000 #constraints=8978
1765.15/1765.65	c nbDecision=351500 #constraints=9037
1786.24/1786.74	c nbDecision=352000 #constraints=9085
1791.64/1792.10	c nbDecision=352500 #constraints=9099
1800.04/1800.50	Received signal 15
1800.04/1800.57	
1800.04/1800.57	s UNKNOWN
1800.04/1800.57	
1800.04/1800.57	c user time= 1798 s
1800.04/1800.57	c system time= 2.12468 s
1800.04/1800.57	c wall clock time=1800.58

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/node60/watcher-356911-1176847776 -o ROOT/results/node60/solver-356911-1176847776 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356911-1176847776/instance-356911-1176847776.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.82 0.98 0.98 3/64 29646
/proc/meminfo: memFree=1856472/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=1620 CPUtime=0
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132687597 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 405 175 126 317 0 84 0

[startup+0.0943299 s]
/proc/loadavg: 0.82 0.98 0.98 3/64 29646
/proc/meminfo: memFree=1856472/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=3440 CPUtime=0.09
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 883 0 0 0 9 0 0 0 18 0 1 0 132687597 3522560 638 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 860 638 126 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.10133 s]
/proc/loadavg: 0.82 0.98 0.98 3/64 29646
/proc/meminfo: memFree=1856472/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=5756 CPUtime=0.09
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 1007 0 0 0 9 0 0 0 18 0 1 0 132687597 5894144 762 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 1439 765 126 317 0 1118 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5756

[startup+0.301349 s]
/proc/loadavg: 0.82 0.98 0.98 3/64 29646
/proc/meminfo: memFree=1856472/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=6976 CPUtime=0.29
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 1854 0 0 0 29 0 0 0 19 0 1 0 132687597 7143424 1352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 1744 1352 131 317 0 1423 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6976

[startup+0.701389 s]
/proc/loadavg: 0.82 0.98 0.98 3/64 29646
/proc/meminfo: memFree=1856472/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=16316 CPUtime=0.69
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 4151 0 0 0 67 2 0 0 22 0 1 0 132687597 16707584 3649 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 4079 3649 131 317 0 3758 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16316

[startup+1.50147 s]
/proc/loadavg: 0.82 0.98 0.98 2/65 29647
/proc/meminfo: memFree=1835280/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=32392 CPUtime=1.49
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 8318 0 0 0 146 3 0 0 25 0 1 0 132687597 33169408 7393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 8098 7393 131 317 0 7777 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32392

[startup+3.10262 s]
/proc/loadavg: 0.82 0.98 0.98 2/65 29647
/proc/meminfo: memFree=1808720/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=61740 CPUtime=3.09
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 15600 0 0 0 302 7 0 0 25 0 1 0 132687597 63221760 14675 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 15435 14675 138 317 0 15114 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61740

[startup+6.30194 s]
/proc/loadavg: 0.91 0.99 0.99 2/65 29647
/proc/meminfo: memFree=1797840/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=61740 CPUtime=6.29
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 15601 0 0 0 622 7 0 0 25 0 1 0 132687597 63221760 14676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 15435 14676 138 317 0 15114 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61740

[startup+12.7016 s]
/proc/loadavg: 0.92 0.99 0.99 2/65 29647
/proc/meminfo: memFree=1797840/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=61740 CPUtime=12.69
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 15603 0 0 0 1262 7 0 0 25 0 1 0 132687597 63221760 14678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 15435 14678 138 317 0 15114 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61740

[startup+25.5018 s]
/proc/loadavg: 0.94 0.99 0.99 2/65 29647
/proc/meminfo: memFree=1797904/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=61740 CPUtime=25.49
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 15606 0 0 0 2541 8 0 0 25 0 1 0 132687597 63221760 14681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 15435 14681 138 317 0 15114 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61740

[startup+51.1013 s]
/proc/loadavg: 0.96 0.99 0.99 2/65 29647
/proc/meminfo: memFree=1797968/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=61740 CPUtime=51.08
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 15615 0 0 0 5100 8 0 0 25 0 1 0 132687597 63221760 14690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 15435 14690 138 317 0 15114 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 61740

[startup+102.305 s]
/proc/loadavg: 0.98 0.99 0.99 2/65 29647
/proc/meminfo: memFree=1798032/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=61836 CPUtime=102.27
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 15635 0 0 0 10219 8 0 0 25 0 1 0 132687597 63320064 14710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 15459 14710 138 317 0 15138 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 61836

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=1797904/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=61948 CPUtime=162.25
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 15652 0 0 0 16217 8 0 0 25 0 1 0 132687597 63434752 14727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 15487 14727 138 317 0 15166 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 61948

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=1701392/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=173788 CPUtime=222.24
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 52399 0 0 0 22202 22 0 0 25 0 1 0 132687597 177958912 38802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 43447 38802 139 317 0 43126 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 173788

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=1637648/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=246156 CPUtime=282.22
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 70750 0 0 0 28193 29 0 0 25 0 1 0 132687597 252063744 54785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 61539 54785 139 317 0 61218 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 246156

[startup+342.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=1567632/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=324248 CPUtime=342.21
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 93388 0 0 0 34184 37 0 0 25 0 1 0 132687597 332029952 72285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 81062 72285 139 317 0 80741 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 324248

[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=1553168/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=339428 CPUtime=402.19
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 97628 0 0 0 40180 39 0 0 25 0 1 0 132687597 347574272 75739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 84857 75739 139 317 0 84536 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 339428

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=1520784/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=378428 CPUtime=462.18
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 108175 0 0 0 46174 44 0 0 25 0 1 0 132687597 387510272 83971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 94607 83971 139 317 0 94286 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 378428

[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=1451408/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=459564 CPUtime=522.16
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 130446 0 0 0 52162 54 0 0 25 0 1 0 132687597 470593536 101316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718672 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 114891 101316 139 317 0 114570 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 459564

[startup+582.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=1391376/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=527256 CPUtime=582.15
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 151576 0 0 0 58153 62 0 0 25 0 1 0 132687597 539910144 116199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 131814 116199 139 317 0 131493 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 527256

[startup+642.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=1337232/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=589684 CPUtime=642.13
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 170247 0 0 0 64146 67 0 0 25 0 1 0 132687597 603836416 129557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 147421 129557 139 317 0 147100 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 589684


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=1034832/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=949140 CPUtime=942.05
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 282886 0 0 0 94096 109 0 0 25 0 1 0 132687597 971919360 205101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 237285 205101 139 317 0 236964 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 949140

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=988176/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=1000172 CPUtime=1002.04
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 297243 0 0 0 100089 115 0 0 25 0 1 0 132687597 1024176128 216636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 250043 216636 139 317 0 249722 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1000172

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=937424/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=1060624 CPUtime=1062.02
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 313764 0 0 0 106083 119 0 0 25 0 1 0 132687597 1086078976 229620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 265156 229620 139 317 0 264835 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1060624

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=884176/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=1123600 CPUtime=1122.01
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 333780 0 0 0 112075 126 0 0 25 0 1 0 132687597 1150566400 242641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 280900 242641 139 317 0 280579 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1123600

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=839248/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=1177748 CPUtime=1182
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 351038 0 0 0 118067 133 0 0 25 0 1 0 132687597 1206013952 254023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 294437 254023 139 317 0 294116 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1177748

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=789712/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=1234184 CPUtime=1241.98
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 369152 0 0 0 124059 139 0 0 25 0 1 0 132687597 1263804416 266266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 308546 266266 139 317 0 308225 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1234184

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=739088/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=1297136 CPUtime=1301.97
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 388595 0 0 0 130050 147 0 0 25 0 1 0 132687597 1328267264 278707 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716050 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 324284 278707 139 317 0 323963 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 1297136

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=684432/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=1366224 CPUtime=1361.95
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 409846 0 0 0 136041 154 0 0 25 0 1 0 132687597 1399013376 292374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712582 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 341556 292374 139 317 0 341235 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1366224

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=640016/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=1422272 CPUtime=1421.94
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 425591 0 0 0 142035 159 0 0 25 0 1 0 132687597 1456406528 303543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549889 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 355568 303543 139 317 0 355247 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1422272

[startup+1482.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=583248/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=1493928 CPUtime=1481.92
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 451691 0 0 0 148022 170 0 0 25 0 1 0 132687597 1529782272 317968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 373482 317968 139 317 0 373161 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1493928

[startup+1542.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=530704/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=1558236 CPUtime=1541.91
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 473638 0 0 0 154013 178 0 0 25 0 1 0 132687597 1595633664 330723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 389559 330723 139 317 0 389238 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1558236

[startup+1602.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=484368/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=1613260 CPUtime=1601.89
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 491771 0 0 0 160004 185 0 0 25 0 1 0 132687597 1651978240 342236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 403315 342236 139 317 0 402994 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1613260

[startup+1662.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=437328/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=1670740 CPUtime=1661.87
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 510411 0 0 0 165995 192 0 0 25 0 1 0 132687597 1710837760 354008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 417685 354008 139 317 0 417364 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1670740

[startup+1722.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29647
/proc/meminfo: memFree=387728/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=1734224 CPUtime=1721.86
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 532776 0 0 0 171986 200 0 0 25 0 1 0 132687597 1775845376 366559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 433556 366559 139 317 0 433235 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1734224

[startup+1782.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29649
/proc/meminfo: memFree=346448/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=1783696 CPUtime=1781.85
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 550394 0 0 0 177976 209 0 0 25 0 1 0 132687597 1826504704 376682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 445924 376682 139 317 0 445603 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1783696



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.99 0.99 2/65 29649
/proc/meminfo: memFree=330128/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=1803180 CPUtime=1800.04
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 557855 0 0 0 179792 212 0 0 25 0 1 0 132687597 1846456320 380690 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 450795 380690 139 317 0 450474 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1803180

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 29650
/proc/meminfo: memFree=331976/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=1801152 CPUtime=1800.15
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194304 557871 0 0 0 179803 212 0 0 25 0 1 0 132687597 1844379648 380224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270868 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 450288 380224 155 317 0 449967 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 1801152

[startup+1800.8 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 29650
/proc/meminfo: memFree=331976/2055920 swapFree=4179544/4192956
[pid=29646] ppid=29644 vsize=0 CPUtime=1800.34
/proc/29646/stat : 29646 (oree) R 29644 29646 29589 0 -1 4194308 557871 0 0 0 179804 230 0 0 25 0 1 0 132687597 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29646/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.87
CPU time (s): 1800.41
CPU user time (s): 1798.05
CPU system time (s): 2.36664
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 1803180

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

runsolver used 1.35479 second user time and 3.62045 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Tue Apr 17 22:09:36 UTC 2007

IDJOB= 356911
IDBENCH= 1624
IDSOLVER= 172
FILE ID= node60/356911-1176847776

PBS_JOBID= 4590221

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  1bfc65237e0980827bf136f13870d50e

RANDOM SEED= 118334266

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.214
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.214
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:       1856880 kB
Buffers:         20284 kB
Cached:         134472 kB
SwapCached:       7764 kB
Active:          91028 kB
Inactive:        77180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1856880 kB
SwapTotal:     4192956 kB
SwapFree:      4179544 kB
Dirty:            7264 kB
Writeback:           0 kB
Mapped:          15132 kB
Slab:            16768 kB
Committed_AS:  1497256 kB
PageTables:       1464 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= 66484 MiB

End job on node60 on Tue Apr 17 22:39:39 UTC 2007