Trace number 357306

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) 1802.29 1802.86

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-dc1l.opb
MD5SUMb626c8307376f19de1f1e51bf91eca4f
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark322124995065185536000
Best CPU time to get the best result obtained on this benchmark1804.19
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17540679175205888
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 536870912000000000000
Number of bits for the biggest coefficient in the objective function 69
Sum of the numbers in the objective function 6796468271401867858547
Number of bits of the sum of numbers in the objective function 73
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 6796468271401867858547
Number of bits of the biggest sum of numbers73
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...
2.29/2.37	c ...done
2.29/2.37	c #vars=85198 #constraints=3291 hasObjective=yes
3.29/3.37	c res. mode=mod
3.29/3.37	c VSIDS like heuristics
3.29/3.37	c complete search running
3.89/3.92	c restart after 401 decisions
3.99/4.05	c nbDecision=500 #constraints=3291
4.39/4.41	c restart after 801 decisions
4.58/4.66	c nbDecision=1000 #constraints=3291
5.18/5.27	c nbDecision=1500 #constraints=3291
5.28/5.39	c restart after 1601 decisions
5.78/5.88	c nbDecision=2000 #constraints=3291
6.39/6.50	c nbDecision=2500 #constraints=3291
7.08/7.11	c nbDecision=3000 #constraints=3291
7.28/7.36	c restart after 3201 decisions
7.69/7.73	c nbDecision=3500 #constraints=3291
8.28/8.35	c nbDecision=4000 #constraints=3291
8.88/8.97	c nbDecision=4500 #constraints=3291
9.48/9.58	c nbDecision=5000 #constraints=3291
10.08/10.19	c nbDecision=5500 #constraints=3291
10.78/10.80	c nbDecision=6000 #constraints=3291
11.18/11.29	c restart after 6401 decisions
11.38/11.42	c nbDecision=6500 #constraints=3291
11.99/12.03	c nbDecision=7000 #constraints=3291
12.58/12.65	c nbDecision=7500 #constraints=3291
13.19/13.25	c nbDecision=8000 #constraints=3291
13.78/13.86	c nbDecision=8500 #constraints=3291
14.38/14.47	c nbDecision=9000 #constraints=3291
14.99/15.07	c nbDecision=9500 #constraints=3291
15.59/15.67	c nbDecision=10000 #constraints=3291
16.19/16.28	c nbDecision=10500 #constraints=3291
16.79/16.88	c nbDecision=11000 #constraints=3291
17.39/17.48	c nbDecision=11500 #constraints=3291
17.99/18.07	c nbDecision=12000 #constraints=3291
18.59/18.67	c nbDecision=12500 #constraints=3291
18.99/19.03	c restart after 12801 decisions
19.19/19.27	c nbDecision=13000 #constraints=3291
19.79/19.88	c nbDecision=13500 #constraints=3291
20.39/20.49	c nbDecision=14000 #constraints=3291
21.09/21.10	c nbDecision=14500 #constraints=3291
21.69/21.71	c nbDecision=15000 #constraints=3291
22.29/22.31	c nbDecision=15500 #constraints=3291
22.89/22.92	c nbDecision=16000 #constraints=3291
23.49/23.52	c nbDecision=16500 #constraints=3291
24.09/24.13	c nbDecision=17000 #constraints=3291
24.69/24.73	c nbDecision=17500 #constraints=3291
25.29/25.32	c nbDecision=18000 #constraints=3291
25.89/25.93	c nbDecision=18500 #constraints=3291
26.49/26.53	c nbDecision=19000 #constraints=3291
27.09/27.12	c nbDecision=19500 #constraints=3291
27.69/27.72	c nbDecision=20000 #constraints=3291
28.29/28.32	c nbDecision=20500 #constraints=3291
28.89/28.91	c nbDecision=21000 #constraints=3291
29.49/29.50	c nbDecision=21500 #constraints=3291
29.99/30.10	c nbDecision=22000 #constraints=3291
30.59/30.69	c nbDecision=22500 #constraints=3291
31.19/31.28	c nbDecision=23000 #constraints=3291
31.79/31.86	c nbDecision=23500 #constraints=3291
32.39/32.45	c nbDecision=24000 #constraints=3291
32.98/33.02	c nbDecision=24500 #constraints=3291
33.48/33.60	c nbDecision=25000 #constraints=3291
34.08/34.17	c nbDecision=25500 #constraints=3291
34.17/34.29	c restart after 25601 decisions
34.67/34.79	c nbDecision=26000 #constraints=3291
35.27/35.40	c nbDecision=26500 #constraints=3291
35.97/36.00	c nbDecision=27000 #constraints=3291
36.47/36.59	c nbDecision=27500 #constraints=3291
37.07/37.19	c nbDecision=28000 #constraints=3291
37.77/37.80	c nbDecision=28500 #constraints=3291
38.27/38.40	c nbDecision=29000 #constraints=3291
38.97/39.00	c nbDecision=29500 #constraints=3291
39.57/39.60	c nbDecision=30000 #constraints=3291
40.17/40.20	c nbDecision=30500 #constraints=3291
40.77/40.80	c nbDecision=31000 #constraints=3291
41.26/41.40	c nbDecision=31500 #constraints=3291
41.86/41.99	c nbDecision=32000 #constraints=3291
42.46/42.59	c nbDecision=32500 #constraints=3291
43.06/43.18	c nbDecision=33000 #constraints=3291
43.66/43.77	c nbDecision=33500 #constraints=3291
44.26/44.37	c nbDecision=34000 #constraints=3291
44.86/44.96	c nbDecision=34500 #constraints=3291
45.46/45.55	c nbDecision=35000 #constraints=3291
46.07/46.14	c nbDecision=35500 #constraints=3291
46.66/46.73	c nbDecision=36000 #constraints=3291
47.27/47.32	c nbDecision=36500 #constraints=3291
47.86/47.90	c nbDecision=37000 #constraints=3291
48.37/48.48	c nbDecision=37500 #constraints=3291
48.96/49.06	c nbDecision=38000 #constraints=3291
49.56/49.64	c nbDecision=38500 #constraints=3291
50.16/50.22	c nbDecision=39000 #constraints=3291
50.66/50.80	c nbDecision=39500 #constraints=3291
51.26/51.37	c nbDecision=40000 #constraints=3291
51.86/51.94	c nbDecision=40500 #constraints=3291
52.46/52.51	c nbDecision=41000 #constraints=3291
52.96/53.08	c nbDecision=41500 #constraints=3291
53.56/53.65	c nbDecision=42000 #constraints=3291
54.16/54.21	c nbDecision=42500 #constraints=3291
54.66/54.77	c nbDecision=43000 #constraints=3291
55.26/55.33	c nbDecision=43500 #constraints=3291
55.76/55.88	c nbDecision=44000 #constraints=3291
56.36/56.44	c nbDecision=44500 #constraints=3291
56.86/56.99	c nbDecision=45000 #constraints=3291
57.46/57.54	c nbDecision=45500 #constraints=3291
57.96/58.10	c nbDecision=46000 #constraints=3291
58.56/58.65	c nbDecision=46500 #constraints=3291
59.06/59.19	c nbDecision=47000 #constraints=3291
59.66/59.74	c nbDecision=47500 #constraints=3291
60.16/60.28	c nbDecision=48000 #constraints=3291
60.76/60.83	c nbDecision=48500 #constraints=3291
61.26/61.37	c nbDecision=49000 #constraints=3291
61.86/61.91	c nbDecision=49500 #constraints=3291
62.36/62.45	c nbDecision=50000 #constraints=3291
62.86/62.98	c nbDecision=50500 #constraints=3291
63.46/63.52	c nbDecision=51000 #constraints=3291
63.66/63.73	c restart after 51201 decisions
64.06/64.12	c nbDecision=51500 #constraints=3291
64.66/64.73	c nbDecision=52000 #constraints=3291
65.26/65.35	c nbDecision=52500 #constraints=3291
65.86/65.96	c nbDecision=53000 #constraints=3291
66.46/66.57	c nbDecision=53500 #constraints=3291
67.06/67.18	c nbDecision=54000 #constraints=3291
67.65/67.79	c nbDecision=54500 #constraints=3291
68.35/68.40	c nbDecision=55000 #constraints=3291
68.95/69.00	c nbDecision=55500 #constraints=3291
69.55/69.61	c nbDecision=56000 #constraints=3291
70.15/70.21	c nbDecision=56500 #constraints=3291
70.75/70.82	c nbDecision=57000 #constraints=3291
71.36/71.42	c nbDecision=57500 #constraints=3291
71.95/72.02	c nbDecision=58000 #constraints=3291
72.56/72.61	c nbDecision=58500 #constraints=3291
73.15/73.21	c nbDecision=59000 #constraints=3291
73.75/73.80	c nbDecision=59500 #constraints=3291
74.25/74.39	c nbDecision=60000 #constraints=3291
74.85/74.98	c nbDecision=60500 #constraints=3291
75.45/75.56	c nbDecision=61000 #constraints=3291
76.05/76.14	c nbDecision=61500 #constraints=3291
76.65/76.72	c nbDecision=62000 #constraints=3291
77.25/77.30	c nbDecision=62500 #constraints=3291
77.75/77.88	c nbDecision=63000 #constraints=3291
78.35/78.45	c nbDecision=63500 #constraints=3291
78.95/79.03	c nbDecision=64000 #constraints=3291
79.55/79.60	c nbDecision=64500 #constraints=3291
80.05/80.17	c nbDecision=65000 #constraints=3291
80.65/80.74	c nbDecision=65500 #constraints=3291
81.25/81.31	c nbDecision=66000 #constraints=3291
81.75/81.87	c nbDecision=66500 #constraints=3291
82.35/82.44	c nbDecision=67000 #constraints=3291
82.95/83.00	c nbDecision=67500 #constraints=3291
83.46/83.57	c nbDecision=68000 #constraints=3291
84.05/84.13	c nbDecision=68500 #constraints=3291
84.55/84.69	c nbDecision=69000 #constraints=3291
85.15/85.25	c nbDecision=69500 #constraints=3291
85.75/85.82	c nbDecision=70000 #constraints=3291
86.25/86.38	c nbDecision=70500 #constraints=3291
86.85/86.93	c nbDecision=71000 #constraints=3291
87.35/87.49	c nbDecision=71500 #constraints=3291
87.95/88.04	c nbDecision=72000 #constraints=3291
88.55/88.60	c nbDecision=72500 #constraints=3291
89.05/89.15	c nbDecision=73000 #constraints=3291
89.65/89.70	c nbDecision=73500 #constraints=3291
90.15/90.25	c nbDecision=74000 #constraints=3291
90.75/90.80	c nbDecision=74500 #constraints=3291
91.25/91.34	c nbDecision=75000 #constraints=3291
91.75/91.89	c nbDecision=75500 #constraints=3291
92.35/92.43	c nbDecision=76000 #constraints=3291
92.85/92.97	c nbDecision=76500 #constraints=3291
93.35/93.50	c nbDecision=77000 #constraints=3291
93.95/94.03	c nbDecision=77500 #constraints=3291
94.45/94.56	c nbDecision=78000 #constraints=3291
94.95/95.09	c nbDecision=78500 #constraints=3291
95.55/95.61	c nbDecision=79000 #constraints=3291
96.05/96.14	c nbDecision=79500 #constraints=3291
96.54/96.66	c nbDecision=80000 #constraints=3291
97.04/97.18	c nbDecision=80500 #constraints=3291
97.64/97.70	c nbDecision=81000 #constraints=3291
98.14/98.23	c nbDecision=81500 #constraints=3291
98.64/98.76	c nbDecision=82000 #constraints=3291
99.14/99.28	c nbDecision=82500 #constraints=3291
99.74/99.81	c nbDecision=83000 #constraints=3291
100.24/100.33	c nbDecision=83500 #constraints=3291
100.74/100.86	c nbDecision=84000 #constraints=3291
101.24/101.38	c nbDecision=84500 #constraints=3291
101.84/101.90	c nbDecision=85000 #constraints=3291
102.34/102.42	c nbDecision=85500 #constraints=3291
102.84/102.94	c nbDecision=86000 #constraints=3291
103.35/103.47	c nbDecision=86500 #constraints=3291
103.84/103.99	c nbDecision=87000 #constraints=3291
104.45/104.52	c nbDecision=87500 #constraints=3291
104.94/105.04	c nbDecision=88000 #constraints=3291
105.44/105.56	c nbDecision=88500 #constraints=3291
105.94/106.09	c nbDecision=89000 #constraints=3291
106.54/106.61	c nbDecision=89500 #constraints=3291
107.04/107.13	c nbDecision=90000 #constraints=3291
107.54/107.65	c nbDecision=90500 #constraints=3291
108.04/108.17	c nbDecision=91000 #constraints=3291
108.54/108.69	c nbDecision=91500 #constraints=3291
109.14/109.20	c nbDecision=92000 #constraints=3291
109.64/109.72	c nbDecision=92500 #constraints=3291
110.14/110.24	c nbDecision=93000 #constraints=3291
110.64/110.75	c nbDecision=93500 #constraints=3291
111.14/111.27	c nbDecision=94000 #constraints=3291
111.64/111.78	c nbDecision=94500 #constraints=3291
112.14/112.29	c nbDecision=95000 #constraints=3291
112.74/112.81	c nbDecision=95500 #constraints=3291
113.24/113.32	c nbDecision=96000 #constraints=3291
113.74/113.82	c nbDecision=96500 #constraints=3291
114.24/114.33	c nbDecision=97000 #constraints=3291
114.74/114.83	c nbDecision=97500 #constraints=3291
115.24/115.34	c nbDecision=98000 #constraints=3291
115.74/115.84	c nbDecision=98500 #constraints=3291
116.24/116.34	c nbDecision=99000 #constraints=3291
116.74/116.85	c nbDecision=99500 #constraints=3291
117.24/117.35	c nbDecision=100000 #constraints=3291
117.74/117.85	c nbDecision=100500 #constraints=3291
118.24/118.35	c nbDecision=101000 #constraints=3291
118.74/118.85	c nbDecision=101500 #constraints=3291
119.24/119.35	c nbDecision=102000 #constraints=3291
119.74/119.82	c restart after 102401 decisions
119.94/120.08	c nbDecision=102500 #constraints=3297
120.54/120.69	c nbDecision=103000 #constraints=3297
121.14/121.30	c nbDecision=103500 #constraints=3297
121.84/121.90	c nbDecision=104000 #constraints=3297
122.44/122.51	c nbDecision=104500 #constraints=3297
123.04/123.12	c nbDecision=105000 #constraints=3297
123.63/123.73	c nbDecision=105500 #constraints=3297
124.24/124.34	c nbDecision=106000 #constraints=3297
124.83/124.95	c nbDecision=106500 #constraints=3297
125.43/125.55	c nbDecision=107000 #constraints=3297
126.03/126.16	c nbDecision=107500 #constraints=3297
126.63/126.76	c nbDecision=108000 #constraints=3297
127.23/127.36	c nbDecision=108500 #constraints=3297
127.83/127.96	c nbDecision=109000 #constraints=3297
128.43/128.56	c nbDecision=109500 #constraints=3297
129.03/129.16	c nbDecision=110000 #constraints=3297
129.64/129.75	c nbDecision=110500 #constraints=3297
130.23/130.34	c nbDecision=111000 #constraints=3297
130.84/130.94	c nbDecision=111500 #constraints=3297
131.43/131.53	c nbDecision=112000 #constraints=3297
132.03/132.11	c nbDecision=112500 #constraints=3297
132.53/132.70	c nbDecision=113000 #constraints=3297
133.13/133.28	c nbDecision=113500 #constraints=3297
133.73/133.86	c nbDecision=114000 #constraints=3297
134.33/134.43	c nbDecision=114500 #constraints=3297
134.93/135.01	c nbDecision=115000 #constraints=3297
135.43/135.58	c nbDecision=115500 #constraints=3297
136.03/136.15	c nbDecision=116000 #constraints=3297
136.63/136.72	c nbDecision=116500 #constraints=3297
137.13/137.29	c nbDecision=117000 #constraints=3297
137.73/137.85	c nbDecision=117500 #constraints=3297
138.33/138.42	c nbDecision=118000 #constraints=3297
138.83/138.98	c nbDecision=118500 #constraints=3297
139.43/139.54	c nbDecision=119000 #constraints=3297
140.03/140.10	c nbDecision=119500 #constraints=3297
140.53/140.66	c nbDecision=120000 #constraints=3297
141.13/141.21	c nbDecision=120500 #constraints=3297
141.63/141.77	c nbDecision=121000 #constraints=3297
142.23/142.32	c nbDecision=121500 #constraints=3297
142.73/142.88	c nbDecision=122000 #constraints=3297
143.33/143.43	c nbDecision=122500 #constraints=3297
143.83/143.99	c nbDecision=123000 #constraints=3297
144.42/144.54	c nbDecision=123500 #constraints=3297
144.92/145.10	c nbDecision=124000 #constraints=3297
145.52/145.65	c nbDecision=124500 #constraints=3297
146.02/146.20	c nbDecision=125000 #constraints=3297
146.62/146.74	c nbDecision=125500 #constraints=3297
147.12/147.29	c nbDecision=126000 #constraints=3297
147.72/147.84	c nbDecision=126500 #constraints=3297
148.22/148.38	c nbDecision=127000 #constraints=3297
148.82/148.92	c nbDecision=127500 #constraints=3297
149.32/149.45	c nbDecision=128000 #constraints=3297
149.82/149.99	c nbDecision=128500 #constraints=3297
150.42/150.52	c nbDecision=129000 #constraints=3297
150.92/151.06	c nbDecision=129500 #constraints=3297
151.42/151.59	c nbDecision=130000 #constraints=3297
152.02/152.12	c nbDecision=130500 #constraints=3297
152.52/152.65	c nbDecision=131000 #constraints=3297
153.02/153.17	c nbDecision=131500 #constraints=3297
153.52/153.69	c nbDecision=132000 #constraints=3297
154.12/154.22	c nbDecision=132500 #constraints=3297
154.62/154.75	c nbDecision=133000 #constraints=3297
155.12/155.27	c nbDecision=133500 #constraints=3297
155.62/155.79	c nbDecision=134000 #constraints=3297
156.22/156.32	c nbDecision=134500 #constraints=3297
156.72/156.84	c nbDecision=135000 #constraints=3297
157.22/157.36	c nbDecision=135500 #constraints=3297
157.72/157.89	c nbDecision=136000 #constraints=3297
158.32/158.41	c nbDecision=136500 #constraints=3297
158.82/158.93	c nbDecision=137000 #constraints=3297
159.32/159.45	c nbDecision=137500 #constraints=3297
159.82/159.98	c nbDecision=138000 #constraints=3297
160.32/160.50	c nbDecision=138500 #constraints=3297
160.92/161.02	c nbDecision=139000 #constraints=3297
161.42/161.53	c nbDecision=139500 #constraints=3297
161.92/162.05	c nbDecision=140000 #constraints=3297
162.42/162.57	c nbDecision=140500 #constraints=3297
162.92/163.08	c nbDecision=141000 #constraints=3297
163.52/163.60	c nbDecision=141500 #constraints=3297
164.02/164.12	c nbDecision=142000 #constraints=3297
164.52/164.64	c nbDecision=142500 #constraints=3297
165.01/165.16	c nbDecision=143000 #constraints=3297
165.51/165.68	c nbDecision=143500 #constraints=3297
166.02/166.19	c nbDecision=144000 #constraints=3297
166.61/166.71	c nbDecision=144500 #constraints=3297
167.12/167.22	c nbDecision=145000 #constraints=3297
167.61/167.74	c nbDecision=145500 #constraints=3297
168.12/168.25	c nbDecision=146000 #constraints=3297
168.61/168.76	c nbDecision=146500 #constraints=3297
169.11/169.28	c nbDecision=147000 #constraints=3297
169.61/169.79	c nbDecision=147500 #constraints=3297
170.21/170.30	c nbDecision=148000 #constraints=3297
170.71/170.81	c nbDecision=148500 #constraints=3297
171.21/171.32	c nbDecision=149000 #constraints=3297
171.71/171.83	c nbDecision=149500 #constraints=3297
172.21/172.34	c nbDecision=150000 #constraints=3297
172.71/172.84	c nbDecision=150500 #constraints=3297
173.21/173.35	c nbDecision=151000 #constraints=3297
173.72/173.85	c nbDecision=151500 #constraints=3297
174.21/174.35	c nbDecision=152000 #constraints=3297
174.72/174.85	c nbDecision=152500 #constraints=3297
175.21/175.35	c nbDecision=153000 #constraints=3297
175.71/175.86	c nbDecision=153500 #constraints=3297
176.21/176.36	c nbDecision=154000 #constraints=3297
176.71/176.85	c nbDecision=154500 #constraints=3297
177.21/177.35	c nbDecision=155000 #constraints=3297
177.71/177.85	c nbDecision=155500 #constraints=3297
178.21/178.34	c nbDecision=156000 #constraints=3297
178.71/178.84	c nbDecision=156500 #constraints=3297
179.21/179.33	c nbDecision=157000 #constraints=3297
179.71/179.83	c nbDecision=157500 #constraints=3297
180.21/180.32	c nbDecision=158000 #constraints=3297
180.71/180.82	c nbDecision=158500 #constraints=3298
181.21/181.30	c nbDecision=159000 #constraints=3298
181.71/181.83	c nbDecision=159500 #constraints=3301
182.21/182.36	c nbDecision=160000 #constraints=3303
182.71/182.85	c nbDecision=160500 #constraints=3303
183.21/183.34	c nbDecision=161000 #constraints=3303
183.91/184.01	c nbDecision=161500 #constraints=3312
184.51/184.62	c nbDecision=162000 #constraints=3320
185.01/185.13	c nbDecision=162500 #constraints=3321
185.71/185.83	c nbDecision=163000 #constraints=3337
186.61/186.78	c nbDecision=163500 #constraints=3349
187.41/187.58	c nbDecision=164000 #constraints=3353
187.91/188.09	c nbDecision=164500 #constraints=3354
188.51/188.61	c nbDecision=165000 #constraints=3355
189.01/189.16	c nbDecision=165500 #constraints=3360
189.81/189.99	c nbDecision=166000 #constraints=3365
190.41/190.52	c nbDecision=166500 #constraints=3368
191.31/191.41	c nbDecision=167000 #constraints=3377
191.80/191.92	c nbDecision=167500 #constraints=3377
192.31/192.50	c nbDecision=168000 #constraints=3384
192.90/193.01	c nbDecision=168500 #constraints=3386
194.80/194.97	c nbDecision=169000 #constraints=3405
197.51/197.60	c nbDecision=169500 #constraints=3424
199.11/199.20	c nbDecision=170000 #constraints=3432
199.61/199.73	c nbDecision=170500 #constraints=3434
200.11/200.27	c nbDecision=171000 #constraints=3438
200.70/200.82	c nbDecision=171500 #constraints=3443
201.21/201.37	c nbDecision=172000 #constraints=3448
201.80/201.90	c nbDecision=172500 #constraints=3451
202.31/202.46	c nbDecision=173000 #constraints=3457
203.10/203.27	c nbDecision=173500 #constraints=3482
203.80/203.94	c nbDecision=174000 #constraints=3490
204.41/204.58	c nbDecision=174500 #constraints=3507
205.61/205.76	c nbDecision=175000 #constraints=3525
206.50/206.69	c nbDecision=175500 #constraints=3538
207.30/207.45	c nbDecision=176000 #constraints=3551
208.60/208.70	c nbDecision=176500 #constraints=3582
209.10/209.25	c nbDecision=177000 #constraints=3584
209.91/210.08	c nbDecision=177500 #constraints=3608
212.40/212.59	c nbDecision=178000 #constraints=3667
218.70/218.86	c nbDecision=178500 #constraints=3767
223.70/223.82	c nbDecision=179000 #constraints=3818
224.49/224.70	c nbDecision=179500 #constraints=3825
225.09/225.26	c nbDecision=180000 #constraints=3826
225.69/225.84	c nbDecision=180500 #constraints=3832
226.69/226.85	c nbDecision=181000 #constraints=3836
227.89/228.09	c nbDecision=181500 #constraints=3843
229.50/229.63	c nbDecision=182000 #constraints=3864
230.30/230.46	c nbDecision=182500 #constraints=3879
231.20/231.33	c nbDecision=183000 #constraints=3889
231.80/231.94	c nbDecision=183500 #constraints=3891
233.79/233.92	c nbDecision=184000 #constraints=3901
238.19/238.31	c nbDecision=184500 #constraints=3927
241.49/241.64	c nbDecision=185000 #constraints=3949
245.59/245.72	c nbDecision=185500 #constraints=3972
246.89/247.06	c nbDecision=186000 #constraints=3984
251.89/252.09	c nbDecision=186500 #constraints=4015
253.59/253.73	c nbDecision=187000 #constraints=4025
254.39/254.55	c nbDecision=187500 #constraints=4028
255.29/255.47	c nbDecision=188000 #constraints=4038
255.89/256.05	c nbDecision=188500 #constraints=4039
256.49/256.69	c nbDecision=189000 #constraints=4043
257.19/257.31	c nbDecision=189500 #constraints=4048
257.79/257.93	c nbDecision=190000 #constraints=4052
259.08/259.29	c nbDecision=190500 #constraints=4063
259.78/259.95	c nbDecision=191000 #constraints=4066
260.49/260.65	c nbDecision=191500 #constraints=4072
261.28/261.42	c nbDecision=192000 #constraints=4080
262.19/262.31	c nbDecision=192500 #constraints=4096
262.89/263.06	c nbDecision=193000 #constraints=4107
263.89/264.01	c nbDecision=193500 #constraints=4125
266.79/266.94	c nbDecision=194000 #constraints=4154
267.68/267.86	c nbDecision=194500 #constraints=4157
270.69/270.82	c nbDecision=195000 #constraints=4173
271.99/272.10	c nbDecision=195500 #constraints=4178
274.58/274.74	c nbDecision=196000 #constraints=4197
275.78/275.96	c nbDecision=196500 #constraints=4213
276.88/277.00	c nbDecision=197000 #constraints=4227
277.68/277.83	c nbDecision=197500 #constraints=4238
278.48/278.62	c nbDecision=198000 #constraints=4249
279.28/279.48	c nbDecision=198500 #constraints=4259
281.08/281.20	c nbDecision=199000 #constraints=4286
282.78/282.99	c nbDecision=199500 #constraints=4304
292.18/292.39	c nbDecision=200000 #constraints=4343
297.78/297.91	c nbDecision=200500 #constraints=4369
301.28/301.46	c nbDecision=201000 #constraints=4388
312.67/312.85	c nbDecision=201500 #constraints=4435
315.27/315.49	c nbDecision=202000 #constraints=4453
321.97/322.14	c nbDecision=202500 #constraints=4490
330.66/330.85	c nbDecision=203000 #constraints=4526
338.46/338.61	c nbDecision=203500 #constraints=4559
349.16/349.31	c nbDecision=204000 #constraints=4604
354.46/354.65	c nbDecision=204500 #constraints=4632
357.86/358.03	c restart after 204801 decisions
359.56/359.73	c nbDecision=205000 #constraints=4652
360.16/360.39	c nbDecision=205500 #constraints=4652
360.86/361.04	c nbDecision=206000 #constraints=4652
361.46/361.66	c nbDecision=206500 #constraints=4652
362.06/362.28	c nbDecision=207000 #constraints=4652
362.65/362.89	c nbDecision=207500 #constraints=4652
363.25/363.49	c nbDecision=208000 #constraints=4652
363.96/364.10	c nbDecision=208500 #constraints=4652
364.55/364.72	c nbDecision=209000 #constraints=4652
365.15/365.35	c nbDecision=209500 #constraints=4652
365.76/365.98	c nbDecision=210000 #constraints=4652
366.35/366.59	c nbDecision=210500 #constraints=4652
366.95/367.19	c nbDecision=211000 #constraints=4652
367.65/367.83	c nbDecision=211500 #constraints=4652
368.26/368.45	c nbDecision=212000 #constraints=4652
368.85/369.07	c nbDecision=212500 #constraints=4652
369.55/369.72	c nbDecision=213000 #constraints=4652
370.15/370.32	c nbDecision=213500 #constraints=4652
370.75/370.95	c nbDecision=214000 #constraints=4652
371.35/371.57	c nbDecision=214500 #constraints=4652
371.95/372.18	c nbDecision=215000 #constraints=4652
372.55/372.77	c nbDecision=215500 #constraints=4652
373.15/373.36	c nbDecision=216000 #constraints=4652
373.76/373.97	c nbDecision=216500 #constraints=4652
374.45/374.64	c nbDecision=217000 #constraints=4652
375.05/375.27	c nbDecision=217500 #constraints=4652
375.65/375.85	c nbDecision=218000 #constraints=4652
376.25/376.44	c nbDecision=218500 #constraints=4652
376.85/377.01	c nbDecision=219000 #constraints=4652
377.35/377.58	c nbDecision=219500 #constraints=4652
377.95/378.17	c nbDecision=220000 #constraints=4652
378.55/378.74	c nbDecision=220500 #constraints=4652
379.15/379.30	c nbDecision=221000 #constraints=4652
379.65/379.89	c nbDecision=221500 #constraints=4652
380.25/380.47	c nbDecision=222000 #constraints=4652
380.85/381.03	c nbDecision=222500 #constraints=4652
381.35/381.60	c nbDecision=223000 #constraints=4652
381.95/382.19	c nbDecision=223500 #constraints=4652
382.55/382.76	c nbDecision=224000 #constraints=4652
383.15/383.32	c nbDecision=224500 #constraints=4652
383.65/383.89	c nbDecision=225000 #constraints=4652
384.25/384.45	c nbDecision=225500 #constraints=4652
384.85/385.02	c nbDecision=226000 #constraints=4652
385.45/385.62	c nbDecision=226500 #constraints=4652
385.95/386.19	c nbDecision=227000 #constraints=4652
386.55/386.76	c nbDecision=227500 #constraints=4652
387.15/387.39	c nbDecision=228000 #constraints=4652
387.75/387.95	c nbDecision=228500 #constraints=4652
388.35/388.51	c nbDecision=229000 #constraints=4652
388.85/389.06	c nbDecision=229500 #constraints=4652
389.45/389.61	c nbDecision=230000 #constraints=4652
389.94/390.17	c nbDecision=230500 #constraints=4652
390.54/390.72	c nbDecision=231000 #constraints=4652
391.04/391.26	c nbDecision=231500 #constraints=4652
391.65/391.81	c nbDecision=232000 #constraints=4652
392.14/392.36	c nbDecision=232500 #constraints=4652
392.74/392.90	c nbDecision=233000 #constraints=4652
393.24/393.44	c nbDecision=233500 #constraints=4652
393.74/393.98	c nbDecision=234000 #constraints=4652
394.34/394.51	c nbDecision=234500 #constraints=4652
394.84/395.08	c nbDecision=235000 #constraints=4652
395.44/395.62	c nbDecision=235500 #constraints=4652
396.04/396.20	c nbDecision=236000 #constraints=4652
396.54/396.79	c nbDecision=236500 #constraints=4652
397.14/397.34	c nbDecision=237000 #constraints=4652
397.74/397.92	c nbDecision=237500 #constraints=4652
398.34/398.56	c nbDecision=238000 #constraints=4652
399.05/399.28	c nbDecision=238500 #constraints=4652
399.74/399.94	c nbDecision=239000 #constraints=4652
400.34/400.51	c nbDecision=239500 #constraints=4652
400.84/401.06	c nbDecision=240000 #constraints=4652
401.44/401.62	c nbDecision=240500 #constraints=4652
402.04/402.23	c nbDecision=241000 #constraints=4652
402.54/402.79	c nbDecision=241500 #constraints=4652
403.14/403.39	c nbDecision=242000 #constraints=4652
403.74/403.94	c nbDecision=242500 #constraints=4652
404.24/404.49	c nbDecision=243000 #constraints=4652
404.84/405.07	c nbDecision=243500 #constraints=4652
405.44/405.64	c nbDecision=244000 #constraints=4652
406.04/406.22	c nbDecision=244500 #constraints=4652
406.64/406.82	c nbDecision=245000 #constraints=4652
407.14/407.38	c nbDecision=245500 #constraints=4652
407.74/407.95	c nbDecision=246000 #constraints=4652
408.34/408.55	c nbDecision=246500 #constraints=4652
408.94/409.12	c nbDecision=247000 #constraints=4652
409.44/409.69	c nbDecision=247500 #constraints=4652
410.04/410.26	c nbDecision=248000 #constraints=4652
410.64/410.82	c nbDecision=248500 #constraints=4652
411.14/411.39	c nbDecision=249000 #constraints=4652
411.74/411.96	c nbDecision=249500 #constraints=4652
412.34/412.51	c nbDecision=250000 #constraints=4652
412.84/413.05	c nbDecision=250500 #constraints=4652
413.34/413.59	c nbDecision=251000 #constraints=4652
413.94/414.13	c nbDecision=251500 #constraints=4652
414.44/414.70	c nbDecision=252000 #constraints=4652
415.04/415.26	c nbDecision=252500 #constraints=4652
415.64/415.82	c nbDecision=253000 #constraints=4652
416.14/416.38	c nbDecision=253500 #constraints=4652
416.74/416.96	c nbDecision=254000 #constraints=4652
417.34/417.52	c nbDecision=254500 #constraints=4652
417.84/418.08	c nbDecision=255000 #constraints=4652
418.44/418.68	c nbDecision=255500 #constraints=4652
419.04/419.26	c nbDecision=256000 #constraints=4652
419.64/419.80	c nbDecision=256500 #constraints=4652
420.14/420.36	c nbDecision=257000 #constraints=4652
420.74/420.90	c nbDecision=257500 #constraints=4652
421.24/421.44	c nbDecision=258000 #constraints=4652
421.74/421.96	c nbDecision=258500 #constraints=4652
422.24/422.47	c nbDecision=259000 #constraints=4652
422.84/423.03	c nbDecision=259500 #constraints=4652
423.34/423.57	c nbDecision=260000 #constraints=4652
423.94/424.13	c nbDecision=260500 #constraints=4652
424.54/424.77	c nbDecision=261000 #constraints=4652
428.84/429.09	c nbDecision=261500 #constraints=4672
431.84/432.08	c nbDecision=262000 #constraints=4684
439.14/439.35	c nbDecision=262500 #constraints=4716
443.44/443.65	c nbDecision=263000 #constraints=4732
449.83/450.06	c nbDecision=263500 #constraints=4763
451.33/451.60	c nbDecision=264000 #constraints=4770
452.94/453.16	c nbDecision=264500 #constraints=4783
453.53/453.75	c nbDecision=265000 #constraints=4783
455.53/455.71	c nbDecision=265500 #constraints=4794
456.93/457.16	c nbDecision=266000 #constraints=4800
458.33/458.57	c nbDecision=266500 #constraints=4806
463.93/464.13	c nbDecision=267000 #constraints=4832
466.63/466.85	c nbDecision=267500 #constraints=4842
473.03/473.25	c nbDecision=268000 #constraints=4877
475.13/475.37	c nbDecision=268500 #constraints=4888
477.03/477.24	c nbDecision=269000 #constraints=4898
477.63/477.86	c nbDecision=269500 #constraints=4899
478.43/478.69	c nbDecision=270000 #constraints=4904
479.23/479.43	c nbDecision=270500 #constraints=4908
480.43/480.68	c nbDecision=271000 #constraints=4925
481.72/481.99	c nbDecision=271500 #constraints=4939
483.33/483.52	c nbDecision=272000 #constraints=4957
486.83/487.00	c nbDecision=272500 #constraints=4972
489.73/489.92	c nbDecision=273000 #constraints=4986
492.42/492.63	c nbDecision=273500 #constraints=4997
493.52/493.74	c nbDecision=274000 #constraints=5006
494.52/494.71	c nbDecision=274500 #constraints=5021
495.92/496.10	c nbDecision=275000 #constraints=5041
497.03/497.26	c nbDecision=275500 #constraints=5050
499.42/499.65	c nbDecision=276000 #constraints=5075
500.42/500.61	c nbDecision=276500 #constraints=5084
501.02/501.28	c nbDecision=277000 #constraints=5087
508.82/509.01	c nbDecision=277500 #constraints=5119
510.52/510.78	c nbDecision=278000 #constraints=5129
512.92/513.16	c nbDecision=278500 #constraints=5140
516.72/516.96	c nbDecision=279000 #constraints=5157
518.01/518.20	c nbDecision=279500 #constraints=5165
528.02/528.21	c nbDecision=280000 #constraints=5205
536.01/536.21	c nbDecision=280500 #constraints=5235
546.61/546.86	c nbDecision=281000 #constraints=5275
548.81/549.07	c nbDecision=281500 #constraints=5284
549.61/549.88	c nbDecision=282000 #constraints=5289
555.80/556.01	c nbDecision=282500 #constraints=5322
560.61/560.85	c nbDecision=283000 #constraints=5347
579.40/579.63	c nbDecision=283500 #constraints=5400
590.20/590.40	c nbDecision=284000 #constraints=5445
593.99/594.22	c nbDecision=284500 #constraints=5459
599.30/599.57	c nbDecision=285000 #constraints=5481
606.80/607.05	c nbDecision=285500 #constraints=5508
614.79/615.08	c nbDecision=286000 #constraints=5537
620.59/620.88	c nbDecision=286500 #constraints=5558
628.08/628.30	c nbDecision=287000 #constraints=5587
633.99/634.28	c nbDecision=287500 #constraints=5606
647.28/647.58	c nbDecision=288000 #constraints=5653
654.08/654.34	c nbDecision=288500 #constraints=5686
664.19/664.42	c nbDecision=289000 #constraints=5722
674.17/674.45	c nbDecision=289500 #constraints=5757
687.38/687.62	c nbDecision=290000 #constraints=5795
702.47/702.70	c nbDecision=290500 #constraints=5838
706.97/707.22	c nbDecision=291000 #constraints=5860
714.57/714.89	c nbDecision=291500 #constraints=5898
723.87/724.18	c nbDecision=292000 #constraints=5928
731.36/731.67	c nbDecision=292500 #constraints=5953
739.06/739.35	c nbDecision=293000 #constraints=5978
749.86/750.19	c nbDecision=293500 #constraints=6019
762.26/762.54	c nbDecision=294000 #constraints=6062
776.75/777.04	c nbDecision=294500 #constraints=6110
782.65/782.96	c nbDecision=295000 #constraints=6131
792.85/793.18	c nbDecision=295500 #constraints=6169
801.75/802.07	c nbDecision=296000 #constraints=6202
816.34/816.69	c nbDecision=296500 #constraints=6245
826.44/826.76	c nbDecision=297000 #constraints=6278
827.95/828.27	c nbDecision=297500 #constraints=6282
828.74/829.09	c nbDecision=298000 #constraints=6287
830.64/830.94	c nbDecision=298500 #constraints=6294
831.74/832.09	c nbDecision=299000 #constraints=6300
840.14/840.42	c nbDecision=299500 #constraints=6336
845.13/845.48	c nbDecision=300000 #constraints=6360
849.63/849.92	c nbDecision=300500 #constraints=6375
851.73/852.07	c nbDecision=301000 #constraints=6383
860.03/860.34	c nbDecision=301500 #constraints=6416
867.23/867.50	c nbDecision=302000 #constraints=6440
868.03/868.30	c nbDecision=302500 #constraints=6443
877.53/877.86	c nbDecision=303000 #constraints=6477
887.81/888.11	c nbDecision=303500 #constraints=6514
891.60/891.99	c nbDecision=304000 #constraints=6526
892.40/892.78	c nbDecision=304500 #constraints=6529
901.69/902.09	c nbDecision=305000 #constraints=6566
910.57/910.90	c nbDecision=305500 #constraints=6599
918.25/918.69	c nbDecision=306000 #constraints=6633
920.36/920.79	c nbDecision=306500 #constraints=6640
922.95/923.34	c nbDecision=307000 #constraints=6650
924.45/924.88	c nbDecision=307500 #constraints=6655
926.25/926.63	c nbDecision=308000 #constraints=6665
929.35/929.70	c nbDecision=308500 #constraints=6680
934.95/935.36	c nbDecision=309000 #constraints=6707
950.64/951.07	c nbDecision=309500 #constraints=6763
956.13/956.58	c nbDecision=310000 #constraints=6781
965.03/965.46	c nbDecision=310500 #constraints=6816
969.32/969.78	c nbDecision=311000 #constraints=6828
983.43/983.80	c nbDecision=311500 #constraints=6877
989.92/990.40	c nbDecision=312000 #constraints=6900
1002.62/1003.00	c nbDecision=312500 #constraints=6943
1003.52/1003.90	c nbDecision=313000 #constraints=6943
1006.92/1007.34	c nbDecision=313500 #constraints=6956
1020.12/1020.56	c nbDecision=314000 #constraints=7000
1022.82/1023.22	c nbDecision=314500 #constraints=7009
1028.61/1029.05	c nbDecision=315000 #constraints=7033
1031.82/1032.25	c nbDecision=315500 #constraints=7047
1037.51/1037.95	c nbDecision=316000 #constraints=7076
1046.82/1047.20	c nbDecision=316500 #constraints=7114
1058.21/1058.61	c nbDecision=317000 #constraints=7147
1067.01/1067.48	c nbDecision=317500 #constraints=7176
1078.00/1078.40	c nbDecision=318000 #constraints=7215
1081.80/1082.25	c nbDecision=318500 #constraints=7231
1095.40/1095.85	c nbDecision=319000 #constraints=7276
1096.20/1096.69	c nbDecision=319500 #constraints=7276
1102.20/1102.65	c nbDecision=320000 #constraints=7299
1104.40/1104.89	c nbDecision=320500 #constraints=7304
1117.89/1118.33	c nbDecision=321000 #constraints=7343
1130.68/1131.15	c nbDecision=321500 #constraints=7382
1141.29/1141.77	c nbDecision=322000 #constraints=7409
1149.69/1150.19	c nbDecision=322500 #constraints=7435
1156.18/1156.62	c nbDecision=323000 #constraints=7454
1158.28/1158.75	c nbDecision=323500 #constraints=7460
1159.08/1159.53	c nbDecision=324000 #constraints=7461
1164.98/1165.44	c nbDecision=324500 #constraints=7485
1167.28/1167.72	c nbDecision=325000 #constraints=7500
1178.97/1179.45	c nbDecision=325500 #constraints=7535
1181.18/1181.68	c nbDecision=326000 #constraints=7542
1192.98/1193.40	c nbDecision=326500 #constraints=7581
1208.37/1208.87	c nbDecision=327000 #constraints=7620
1222.37/1222.88	c nbDecision=327500 #constraints=7659
1238.36/1238.90	c nbDecision=328000 #constraints=7709
1239.26/1239.70	c nbDecision=328500 #constraints=7709
1242.96/1243.41	c nbDecision=329000 #constraints=7724
1248.26/1248.70	c nbDecision=329500 #constraints=7738
1251.86/1252.39	c nbDecision=330000 #constraints=7751
1267.76/1268.21	c nbDecision=330500 #constraints=7792
1274.05/1274.51	c nbDecision=331000 #constraints=7810
1288.55/1289.06	c nbDecision=331500 #constraints=7850
1305.35/1305.84	c nbDecision=332000 #constraints=7899
1308.74/1309.26	c nbDecision=332500 #constraints=7907
1320.14/1320.63	c nbDecision=333000 #constraints=7943
1329.24/1329.78	c nbDecision=333500 #constraints=7968
1330.14/1330.65	c nbDecision=334000 #constraints=7970
1335.04/1335.55	c nbDecision=334500 #constraints=7984
1343.24/1343.71	c nbDecision=335000 #constraints=8004
1354.74/1355.21	c nbDecision=335500 #constraints=8036
1356.94/1357.44	c nbDecision=336000 #constraints=8042
1364.53/1365.10	c nbDecision=336500 #constraints=8061
1375.43/1375.95	c nbDecision=337000 #constraints=8090
1377.03/1377.57	c nbDecision=337500 #constraints=8095
1380.33/1380.87	c nbDecision=338000 #constraints=8104
1389.73/1390.24	c nbDecision=338500 #constraints=8131
1397.53/1398.08	c nbDecision=339000 #constraints=8154
1420.02/1420.58	c nbDecision=339500 #constraints=8211
1434.22/1434.77	c nbDecision=340000 #constraints=8250
1446.21/1446.77	c nbDecision=340500 #constraints=8287
1458.81/1459.39	c nbDecision=341000 #constraints=8317
1476.71/1477.24	c nbDecision=341500 #constraints=8361
1491.10/1491.68	c nbDecision=342000 #constraints=8397
1499.40/1499.97	c nbDecision=342500 #constraints=8424
1511.50/1512.04	c nbDecision=343000 #constraints=8449
1527.30/1527.83	c nbDecision=343500 #constraints=8491
1540.19/1540.73	c nbDecision=344000 #constraints=8528
1553.09/1553.68	c nbDecision=344500 #constraints=8558
1579.78/1580.37	c nbDecision=345000 #constraints=8628
1595.08/1595.61	c nbDecision=345500 #constraints=8661
1608.27/1608.84	c nbDecision=346000 #constraints=8694
1622.36/1622.98	c nbDecision=346500 #constraints=8737
1636.46/1637.07	c nbDecision=347000 #constraints=8774
1658.16/1658.79	c nbDecision=347500 #constraints=8829
1663.36/1663.98	c nbDecision=348000 #constraints=8848
1689.85/1690.41	c nbDecision=348500 #constraints=8917
1704.65/1705.27	c nbDecision=349000 #constraints=8959
1720.65/1721.25	c nbDecision=349500 #constraints=8999
1737.15/1737.71	c nbDecision=350000 #constraints=9037
1758.93/1759.53	c nbDecision=350500 #constraints=9090
1775.94/1776.59	c nbDecision=351000 #constraints=9133
1793.23/1793.86	c nbDecision=351500 #constraints=9177
1800.03/1800.60	Received signal 15

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/node52/watcher-357306-1176993978 -o ROOT/results/node52/solver-357306-1176993978 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357306-1176993978/instance-357306-1176993978.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.97 0.98 0.95 3/64 13593
/proc/meminfo: memFree=1805780/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=1468 CPUtime=0
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 54242947 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 367 160 127 317 0 46 0

[startup+0.077721 s]
/proc/loadavg: 0.97 0.98 0.95 3/64 13593
/proc/meminfo: memFree=1805780/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=2400 CPUtime=0.07
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 484 0 0 0 7 0 0 0 18 0 1 0 54242947 2457600 368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 600 368 127 317 0 279 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2400

[startup+0.101721 s]
/proc/loadavg: 0.97 0.98 0.95 3/64 13593
/proc/meminfo: memFree=1805780/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=3692 CPUtime=0.09
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 629 0 0 0 9 0 0 0 18 0 1 0 54242947 3780608 513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 923 515 127 317 0 602 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3692

[startup+0.301735 s]
/proc/loadavg: 0.97 0.98 0.95 3/64 13593
/proc/meminfo: memFree=1805780/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=5520 CPUtime=0.29
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 1490 0 0 0 29 0 0 0 19 0 1 0 54242947 5652480 988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 1380 988 128 317 0 1059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5520

[startup+0.701763 s]
/proc/loadavg: 0.97 0.98 0.95 3/64 13593
/proc/meminfo: memFree=1805780/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=11668 CPUtime=0.69
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 3004 0 0 0 68 1 0 0 22 0 1 0 54242947 11948032 2502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 2917 2502 131 317 0 2596 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11668

[startup+1.50182 s]
/proc/loadavg: 0.97 0.98 0.95 2/65 13594
/proc/meminfo: memFree=1790156/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=26668 CPUtime=1.48
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 6777 0 0 0 145 3 0 0 25 0 1 0 54242947 27308032 6112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 6667 6112 131 317 0 6346 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 26668

[startup+3.10192 s]
/proc/loadavg: 0.97 0.98 0.95 2/65 13594
/proc/meminfo: memFree=1771916/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=56200 CPUtime=3.08
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 14191 0 0 0 301 7 0 0 25 0 1 0 54242947 57548800 13299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 14050 13300 137 317 0 13729 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 56200

[startup+6.30114 s]
/proc/loadavg: 0.97 0.98 0.95 2/65 13594
/proc/meminfo: memFree=1747020/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=61744 CPUtime=6.28
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 15583 0 0 0 620 8 0 0 25 0 1 0 54242947 63225856 14691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 15436 14691 138 317 0 15115 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 61744

[startup+12.7016 s]
/proc/loadavg: 0.97 0.98 0.95 2/65 13594
/proc/meminfo: memFree=1747084/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=61744 CPUtime=12.68
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 15586 0 0 0 1260 8 0 0 25 0 1 0 54242947 63225856 14694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 15436 14694 138 317 0 15115 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 61744

[startup+25.5014 s]
/proc/loadavg: 0.98 0.98 0.95 2/65 13594
/proc/meminfo: memFree=1747212/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=61744 CPUtime=25.49
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 15589 0 0 0 2540 9 0 0 25 0 1 0 54242947 63225856 14697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 15436 14697 138 317 0 15115 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61744

[startup+51.1012 s]
/proc/loadavg: 0.98 0.98 0.95 2/65 13594
/proc/meminfo: memFree=1747340/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=61744 CPUtime=51.06
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 15597 0 0 0 5097 9 0 0 25 0 1 0 54242947 63225856 14705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 15436 14705 138 317 0 15115 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 61744

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.95 2/65 13594
/proc/meminfo: memFree=1747276/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=61840 CPUtime=102.25
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 15617 0 0 0 10216 9 0 0 25 0 1 0 54242947 63324160 14725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 15460 14725 138 317 0 15139 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 61840

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/65 13594
/proc/meminfo: memFree=1747020/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=62148 CPUtime=162.22
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 15665 0 0 0 16213 9 0 0 25 0 1 0 54242947 63639552 14773 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 15537 14773 139 317 0 15216 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 62148

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/65 13594
/proc/meminfo: memFree=1636748/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=190344 CPUtime=222.2
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 60446 0 0 0 22195 25 0 0 25 0 1 0 54242947 194912256 42770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710866 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 47586 42770 139 317 0 47265 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 190344

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/65 13594
/proc/meminfo: memFree=1576844/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=257952 CPUtime=282.18
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 77339 0 0 0 28186 32 0 0 25 0 1 0 54242947 264142848 57667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 64488 57667 139 317 0 64167 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 257952

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/65 13594
/proc/meminfo: memFree=1505356/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=334520 CPUtime=342.17
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 99212 0 0 0 34177 40 0 0 25 0 1 0 54242947 342548480 75060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 83630 75060 139 317 0 83309 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 334520

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/65 13594
/proc/meminfo: memFree=1487308/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=354052 CPUtime=402.14
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 104884 0 0 0 40173 41 0 0 25 0 1 0 54242947 362549248 79502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 88513 79502 139 317 0 88192 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 354052

[startup+462.302 s]
/proc/loadavg: 1.05 1.00 0.95 2/65 13594
/proc/meminfo: memFree=1456140/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=390964 CPUtime=462.13
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 114945 0 0 0 46169 44 0 0 25 0 1 0 54242947 400347136 87368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 97741 87368 139 317 0 97420 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 390964

[startup+522.302 s]
/proc/loadavg: 1.07 1.01 0.96 2/65 13594
/proc/meminfo: memFree=1392140/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=466024 CPUtime=522.11
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 134933 0 0 0 52159 52 0 0 25 0 1 0 54242947 477208576 103475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712475 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 116506 103475 139 317 0 116185 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 466024

[startup+582.301 s]
/proc/loadavg: 1.02 1.01 0.96 2/65 13594
/proc/meminfo: memFree=1334028/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=530928 CPUtime=582.1
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 154792 0 0 0 58151 59 0 0 25 0 1 0 54242947 543670272 117915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 132732 117915 139 317 0 132411 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 530928

[startup+642.301 s]
/proc/loadavg: 1.01 1.00 0.96 2/65 13594
/proc/meminfo: memFree=1279948/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=591912 CPUtime=642.09
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 173076 0 0 0 64143 66 0 0 25 0 1 0 54242947 606117888 131211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 147978 131211 139 317 0 147657 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 591912


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

/proc/meminfo: memFree=887884/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=1052952 CPUtime=1061.9
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 311308 0 0 0 106072 118 0 0 25 0 1 0 54242947 1078222848 228980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 263238 228980 139 317 0 262917 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 1052952

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 13792
/proc/meminfo: memFree=836044/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=1112908 CPUtime=1121.89
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 329342 0 0 0 112065 124 0 0 25 0 1 0 54242947 1139617792 241996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 278227 241996 139 317 0 277906 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 1112908

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 13792
/proc/meminfo: memFree=791052/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=1166360 CPUtime=1181.88
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 346090 0 0 0 118059 129 0 0 25 0 1 0 54242947 1194352640 253366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 291590 253366 139 317 0 291269 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 1166360

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 13792
/proc/meminfo: memFree=744972/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=1216084 CPUtime=1241.86
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 362334 0 0 0 124051 135 0 0 25 0 1 0 54242947 1245270016 264593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 304021 264593 139 317 0 303700 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1216084

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 13794
/proc/meminfo: memFree=690956/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=1282216 CPUtime=1301.86
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 382216 0 0 0 130042 144 0 0 25 0 1 0 54242947 1312989184 278027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 320554 278027 139 317 0 320233 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1282216

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 13794
/proc/meminfo: memFree=646092/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=1336244 CPUtime=1361.83
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 399038 0 0 0 136034 149 0 0 25 0 1 0 54242947 1368313856 289299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270612 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 334061 289299 139 317 0 333740 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1336244

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 13794
/proc/meminfo: memFree=591052/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=1405564 CPUtime=1421.82
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 421815 0 0 0 142025 157 0 0 25 0 1 0 54242947 1439297536 302932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 351391 302932 139 317 0 351070 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1405564

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 13794
/proc/meminfo: memFree=531980/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=1478852 CPUtime=1481.8
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 447470 0 0 0 148012 168 0 0 25 0 1 0 54242947 1514344448 317736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 369713 317736 139 317 0 369392 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1478852

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 13794
/proc/meminfo: memFree=482316/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=1536036 CPUtime=1541.79
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 464973 0 0 0 154005 174 0 0 25 0 1 0 54242947 1572900864 330086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134559049 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 384009 330086 139 317 0 383688 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1536036

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 13794
/proc/meminfo: memFree=430156/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=1597356 CPUtime=1601.78
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 485587 0 0 0 159996 182 0 0 25 0 1 0 54242947 1635692544 343175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 399339 343175 139 317 0 399018 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1597356

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 13794
/proc/meminfo: memFree=368204/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=1675900 CPUtime=1661.76
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 510998 0 0 0 165986 190 0 0 25 0 1 0 54242947 1716121600 358666 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 418975 358666 139 317 0 418654 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1675900

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 13794
/proc/meminfo: memFree=322572/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=1728104 CPUtime=1721.74
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 527223 0 0 0 171977 197 0 0 25 0 1 0 54242947 1769578496 369940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 432026 369940 139 317 0 431705 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1728104

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 13794
/proc/meminfo: memFree=282956/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=1773360 CPUtime=1781.73
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 541716 0 0 0 177971 202 0 0 25 0 1 0 54242947 1815920640 379892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 443340 379892 139 317 0 443019 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1773360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 13794
/proc/meminfo: memFree=268428/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=1789760 CPUtime=1800.03
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 547769 0 0 0 179799 204 0 0 25 0 1 0 54242947 1832714240 383410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 447440 383410 139 317 0 447119 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1789760

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 13794
/proc/meminfo: memFree=268428/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=1790508 CPUtime=1800.83
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 548089 0 0 0 179879 204 0 0 25 0 1 0 54242947 1833480192 383636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 447627 383636 139 317 0 447306 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 1790508

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13795
/proc/meminfo: memFree=267140/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=1791520 CPUtime=1801.62
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 548367 0 0 0 179958 204 0 0 25 0 1 0 54242947 1834516480 383850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 447880 383850 139 317 0 447559 0
Current children cumulated CPU time (s) 1801.62
Current children cumulated vsize (KiB) 1791520

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 13795
/proc/meminfo: memFree=267140/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=1791784 CPUtime=1802.02
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4194304 548495 0 0 0 179998 204 0 0 25 0 1 0 54242947 1834786816 383946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 447946 383946 139 317 0 447625 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 1791784

[startup+1802.8 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 13795
/proc/meminfo: memFree=1483916/2055920 swapFree=4182956/4192956
[pid=13593] ppid=13591 vsize=0 CPUtime=1802.23
/proc/13593/stat : 13593 (oree) R 13591 13593 13123 0 -1 4195332 548495 0 0 0 179999 224 0 0 25 0 1 0 54242947 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13593/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.23
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.86
CPU time (s): 1802.29
CPU user time (s): 1800
CPU system time (s): 2.29165
CPU usage (%): 99.9685
Max. virtual memory (cumulated for all children) (KiB): 1791784

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

runsolver used 1.2968 second user time and 3.73843 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Thu Apr 19 14:46:19 UTC 2007

IDJOB= 357306
IDBENCH= 2370
IDSOLVER= 172
FILE ID= node52/357306-1176993978

PBS_JOBID= 4630454

Free space on /tmp= 66304 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  b626c8307376f19de1f1e51bf91eca4f

RANDOM SEED= 566860177

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node52.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.236
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.236
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:       1806188 kB
Buffers:         11212 kB
Cached:         189364 kB
SwapCached:       3832 kB
Active:          72828 kB
Inactive:       137248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1806188 kB
SwapTotal:     4192956 kB
SwapFree:      4182956 kB
Dirty:            9468 kB
Writeback:           0 kB
Mapped:          15484 kB
Slab:            25540 kB
Committed_AS:  1630172 kB
PageTables:       1484 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= 66304 MiB

End job on node52 on Thu Apr 19 15:16:22 UTC 2007