Trace number 3707154

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
toysat 2012-05-17? (TO) 1800.1 1800.71

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-1616732.opb
MD5SUMbb6edae9b271ecf76d3d6c31c88b027d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark159
Best CPU time to get the best result obtained on this benchmark1789.91
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints1999
Number of constraints which are clauses1999
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.03	c 2012-05-27T21:44:38+0200
0.00/0.03	c arch = x86_64
0.00/0.03	c os = linux
0.00/0.03	c compiler = ghc 7.4
0.00/0.03	c packages:
0.00/0.03	c   OptDir-0.0.1
0.00/0.03	c   array-0.4.0.0
0.00/0.03	c   base-4.5.0.0
0.00/0.03	c   bytestring-0.9.2.1
0.00/0.03	c   containers-0.4.2.1
0.00/0.03	c   deepseq-1.3.0.0
0.00/0.03	c   mtl-2.1.1
0.00/0.03	c   old_locale-1.0.0.4
0.00/0.03	c   parse_dimacs-1.2
0.00/0.03	c   parsec-3.1.2
0.00/0.03	c   queue-0.1.2
0.00/0.03	c   stm-2.3
0.00/0.03	c   time-1.4
0.00/0.03	c command line = ["--pb","HOME/instance-3707154-1338147878.opb"]
0.00/0.03	c #vars 200
0.00/0.03	c #constraints 1999
0.00/0.03	c Solving starts ...
0.00/0.03	c solving time = 0.001s
0.00/0.03	c #decision = 27
0.00/0.03	c #conflict = 0
0.00/0.03	c #restart = 0
0.00/0.03	o 173
0.00/0.03	c Solving starts ...
0.00/0.04	c solving time = 0.001s
0.00/0.04	c #decision = 55
0.00/0.04	c #conflict = 2
0.00/0.04	c #restart = 0
0.00/0.04	o 172
0.00/0.04	c Solving starts ...
0.00/0.06	c solving time = 0.021s
0.00/0.06	c #decision = 148
0.00/0.06	c #conflict = 56
0.00/0.06	c #restart = 0
0.00/0.06	o 171
0.00/0.06	c Solving starts ...
0.49/0.54	c learnt constraints deletion: 1236 -> 619
0.79/0.89	c learnt constraints deletion: 1352 -> 684
1.18/1.29	c learnt constraints deletion: 1477 -> 741
1.69/1.76	c learnt constraints deletion: 1607 -> 805
2.20/2.21	c learnt constraints deletion: 1600 -> 804
2.69/2.74	c learnt constraints deletion: 1741 -> 872
3.19/3.21	c learnt constraints deletion: 1740 -> 871
3.59/3.68	c learnt constraints deletion: 1754 -> 879
4.18/4.28	c learnt constraints deletion: 1899 -> 950
4.79/4.82	c learnt constraints deletion: 1902 -> 951
5.29/5.36	c learnt constraints deletion: 1910 -> 957
5.88/5.95	c learnt constraints deletion: 1909 -> 956
6.60/6.64	c learnt constraints deletion: 2082 -> 1041
7.18/7.26	c learnt constraints deletion: 2078 -> 1041
7.89/7.92	c learnt constraints deletion: 2076 -> 1042
8.59/8.60	c learnt constraints deletion: 2078 -> 1039
9.18/9.29	c learnt constraints deletion: 2083 -> 1042
9.99/10.06	c learnt constraints deletion: 2266 -> 1134
10.78/10.81	c learnt constraints deletion: 2275 -> 1139
11.49/11.58	c learnt constraints deletion: 2277 -> 1139
12.19/12.28	c learnt constraints deletion: 2269 -> 1136
12.98/13.03	c learnt constraints deletion: 2274 -> 1141
13.79/13.80	c learnt constraints deletion: 2272 -> 1140
14.49/14.57	c learnt constraints deletion: 2278 -> 1143
15.18/15.25	c learnt constraints deletion: 2269 -> 1136
15.98/16.05	c learnt constraints deletion: 2480 -> 1240
16.78/16.80	c learnt constraints deletion: 2486 -> 1244
17.49/17.57	c learnt constraints deletion: 2487 -> 1246
18.29/18.31	c learnt constraints deletion: 2483 -> 1246
19.08/19.14	c learnt constraints deletion: 2484 -> 1246
19.79/19.88	c learnt constraints deletion: 2479 -> 1242
20.59/20.66	c learnt constraints deletion: 2488 -> 1246
21.38/21.47	c learnt constraints deletion: 2482 -> 1242
22.18/22.22	c learnt constraints deletion: 2475 -> 1240
22.99/23.01	c learnt constraints deletion: 2486 -> 1247
23.88/23.94	c learnt constraints deletion: 2722 -> 1363
24.68/24.79	c learnt constraints deletion: 2714 -> 1358
25.48/25.59	c learnt constraints deletion: 2720 -> 1363
26.39/26.46	c learnt constraints deletion: 2717 -> 1363
27.28/27.35	c learnt constraints deletion: 2718 -> 1362
28.18/28.24	c learnt constraints deletion: 2718 -> 1362
29.08/29.16	c learnt constraints deletion: 2710 -> 1355
29.88/29.92	c learnt constraints deletion: 2719 -> 1362
30.68/30.74	c learnt constraints deletion: 2717 -> 1361
31.48/31.57	c learnt constraints deletion: 2719 -> 1363
32.38/32.43	c learnt constraints deletion: 2714 -> 1362
33.17/33.27	c learnt constraints deletion: 2713 -> 1359
34.09/34.15	c learnt constraints deletion: 2717 -> 1363
34.97/35.02	c learnt constraints deletion: 2719 -> 1363
36.07/36.10	c learnt constraints deletion: 2957 -> 1479
36.97/37.05	c learnt constraints deletion: 2975 -> 1489
37.98/38.05	c learnt constraints deletion: 2973 -> 1489
38.97/39.05	c learnt constraints deletion: 2974 -> 1491
39.97/40.01	c learnt constraints deletion: 2967 -> 1484
40.87/40.93	c learnt constraints deletion: 2974 -> 1488
41.78/41.86	c learnt constraints deletion: 2975 -> 1489
42.68/42.79	c learnt constraints deletion: 2975 -> 1492
43.77/43.83	c learnt constraints deletion: 2972 -> 1488
44.67/44.75	c learnt constraints deletion: 2966 -> 1485
45.67/45.70	c learnt constraints deletion: 2973 -> 1491
46.57/46.69	c learnt constraints deletion: 2973 -> 1489
47.67/47.70	c learnt constraints deletion: 2976 -> 1492
48.57/48.65	c learnt constraints deletion: 2966 -> 1483
49.56/49.62	c learnt constraints deletion: 2967 -> 1486
50.47/50.59	c learnt constraints deletion: 2975 -> 1492
51.58/51.62	c learnt constraints deletion: 2973 -> 1489
52.47/52.59	c learnt constraints deletion: 2969 -> 1485
53.37/53.45	c learnt constraints deletion: 2973 -> 1488
54.27/54.31	c learnt constraints deletion: 2970 -> 1488
55.26/55.35	c learnt constraints deletion: 3249 -> 1625
56.27/56.36	c learnt constraints deletion: 3251 -> 1628
57.27/57.35	c learnt constraints deletion: 3252 -> 1627
58.36/58.40	c learnt constraints deletion: 3254 -> 1629
59.27/59.37	c learnt constraints deletion: 3235 -> 1619
60.27/60.40	c learnt constraints deletion: 3246 -> 1625
61.36/61.43	c learnt constraints deletion: 3252 -> 1626
62.37/62.40	c learnt constraints deletion: 3246 -> 1624
63.27/63.39	c learnt constraints deletion: 3251 -> 1629
64.36/64.43	c learnt constraints deletion: 3254 -> 1629
65.37/65.44	c learnt constraints deletion: 3252 -> 1628
66.47/66.51	c learnt constraints deletion: 3253 -> 1631
67.47/67.53	c learnt constraints deletion: 3247 -> 1628
68.56/68.67	c learnt constraints deletion: 3254 -> 1632
69.56/69.63	c learnt constraints deletion: 3252 -> 1627
70.56/70.65	c learnt constraints deletion: 3249 -> 1627
71.67/71.71	c learnt constraints deletion: 3253 -> 1631
72.76/72.80	c learnt constraints deletion: 3253 -> 1629
73.76/73.80	c learnt constraints deletion: 3252 -> 1628
74.77/74.85	c learnt constraints deletion: 3254 -> 1628
75.87/75.95	c learnt constraints deletion: 3256 -> 1630
76.97/77.05	c learnt constraints deletion: 3251 -> 1628
77.96/78.09	c learnt constraints deletion: 3250 -> 1629
79.06/79.19	c learnt constraints deletion: 3251 -> 1626
80.06/80.11	c learnt constraints deletion: 3251 -> 1627
81.05/81.10	c learnt constraints deletion: 3256 -> 1630
82.16/82.26	c learnt constraints deletion: 3556 -> 1781
83.26/83.37	c learnt constraints deletion: 3555 -> 1779
84.36/84.47	c learnt constraints deletion: 3558 -> 1779
85.46/85.58	c learnt constraints deletion: 3551 -> 1777
86.55/86.69	c learnt constraints deletion: 3560 -> 1780
87.76/87.85	c learnt constraints deletion: 3558 -> 1781
88.86/88.99	c learnt constraints deletion: 3562 -> 1781
90.06/90.13	c learnt constraints deletion: 3560 -> 1780
91.26/91.32	c learnt constraints deletion: 3562 -> 1783
92.37/92.48	c learnt constraints deletion: 3562 -> 1781
93.55/93.68	c learnt constraints deletion: 3558 -> 1780
94.76/94.87	c learnt constraints deletion: 3557 -> 1779
95.85/95.95	c learnt constraints deletion: 3556 -> 1779
96.96/97.09	c learnt constraints deletion: 3562 -> 1783
98.16/98.27	c learnt constraints deletion: 3562 -> 1783
99.35/99.48	c learnt constraints deletion: 3558 -> 1783
100.65/100.70	c learnt constraints deletion: 3553 -> 1779
101.86/101.92	c learnt constraints deletion: 3552 -> 1780
102.95/103.06	c learnt constraints deletion: 3553 -> 1778
104.16/104.25	c learnt constraints deletion: 3559 -> 1782
105.35/105.46	c learnt constraints deletion: 3561 -> 1783
106.56/106.68	c learnt constraints deletion: 3545 -> 1776
107.76/107.86	c learnt constraints deletion: 3557 -> 1779
108.96/109.06	c learnt constraints deletion: 3557 -> 1781
110.15/110.24	c learnt constraints deletion: 3556 -> 1780
111.35/111.44	c learnt constraints deletion: 3563 -> 1784
112.55/112.66	c learnt constraints deletion: 3552 -> 1780
113.75/113.85	c learnt constraints deletion: 3561 -> 1784
115.05/115.10	c learnt constraints deletion: 3564 -> 1786
116.25/116.38	c learnt constraints deletion: 3554 -> 1777
117.56/117.63	c learnt constraints deletion: 3557 -> 1781
118.85/118.90	c learnt constraints deletion: 3550 -> 1775
119.95/120.05	c learnt constraints deletion: 3546 -> 1774
121.15/121.22	c learnt constraints deletion: 3559 -> 1782
122.34/122.47	c learnt constraints deletion: 3558 -> 1781
123.64/123.73	c learnt constraints deletion: 3558 -> 1781
124.85/124.95	c learnt constraints deletion: 3561 -> 1783
126.36/126.50	c learnt constraints deletion: 3901 -> 1955
127.64/127.72	c learnt constraints deletion: 3901 -> 1953
128.95/129.02	c learnt constraints deletion: 3902 -> 1953
130.24/130.33	c learnt constraints deletion: 3897 -> 1951
131.55/131.66	c learnt constraints deletion: 3897 -> 1950
132.96/133.06	c learnt constraints deletion: 3900 -> 1951
134.35/134.45	c learnt constraints deletion: 3890 -> 1946
135.75/135.86	c learnt constraints deletion: 3898 -> 1952
137.05/137.15	c learnt constraints deletion: 3898 -> 1950
138.34/138.50	c learnt constraints deletion: 3891 -> 1948
139.74/139.85	c learnt constraints deletion: 3902 -> 1955
141.15/141.20	c learnt constraints deletion: 3892 -> 1948
142.55/142.62	c learnt constraints deletion: 3902 -> 1955
143.84/143.97	c learnt constraints deletion: 3900 -> 1953
145.24/145.36	c learnt constraints deletion: 3901 -> 1953
146.64/146.70	c learnt constraints deletion: 3896 -> 1951
147.95/148.08	c learnt constraints deletion: 3894 -> 1951
149.45/149.53	c learnt constraints deletion: 3898 -> 1954
150.85/150.96	c learnt constraints deletion: 3894 -> 1952
152.34/152.44	c learnt constraints deletion: 3901 -> 1957
153.64/153.78	c learnt constraints deletion: 3901 -> 1951
155.05/155.13	c learnt constraints deletion: 3901 -> 1952
156.34/156.48	c learnt constraints deletion: 3899 -> 1952
157.74/157.89	c learnt constraints deletion: 3893 -> 1950
159.24/159.38	c learnt constraints deletion: 3903 -> 1954
160.64/160.73	c learnt constraints deletion: 3900 -> 1953
162.04/162.16	c learnt constraints deletion: 3901 -> 1955
163.45/163.59	c learnt constraints deletion: 3896 -> 1948
164.95/165.02	c learnt constraints deletion: 3892 -> 1948
166.34/166.46	c learnt constraints deletion: 3897 -> 1951
167.74/167.87	c learnt constraints deletion: 3900 -> 1950
169.04/169.19	c learnt constraints deletion: 3903 -> 1953
170.34/170.44	c learnt constraints deletion: 3894 -> 1950
171.74/171.84	c learnt constraints deletion: 3900 -> 1952
173.13/173.24	c learnt constraints deletion: 3901 -> 1953
174.44/174.58	c learnt constraints deletion: 3901 -> 1955
175.73/175.89	c learnt constraints deletion: 3894 -> 1951
177.23/177.30	c learnt constraints deletion: 3904 -> 1956
178.63/178.76	c learnt constraints deletion: 3899 -> 1952
180.13/180.20	c learnt constraints deletion: 3894 -> 1949
181.53/181.61	c learnt constraints deletion: 3902 -> 1953
182.92/183.00	c learnt constraints deletion: 3899 -> 1954
184.33/184.41	c learnt constraints deletion: 3903 -> 1956
185.83/185.91	c learnt constraints deletion: 3900 -> 1954
187.33/187.41	c learnt constraints deletion: 3904 -> 1958
188.73/188.81	c learnt constraints deletion: 3903 -> 1954
190.02/190.18	c learnt constraints deletion: 3896 -> 1951
191.53/191.66	c learnt constraints deletion: 3888 -> 1947
193.03/193.14	c learnt constraints deletion: 3899 -> 1953
194.43/194.58	c learnt constraints deletion: 3898 -> 1949
196.02/196.15	c learnt constraints deletion: 4264 -> 2134
197.53/197.60	c learnt constraints deletion: 4274 -> 2137
198.93/199.01	c learnt constraints deletion: 4268 -> 2136
200.42/200.52	c learnt constraints deletion: 4272 -> 2138
201.82/201.97	c learnt constraints deletion: 4267 -> 2135
203.33/203.48	c learnt constraints deletion: 4272 -> 2138
204.83/204.96	c learnt constraints deletion: 4273 -> 2137
206.23/206.30	c learnt constraints deletion: 4275 -> 2140
207.62/207.76	c learnt constraints deletion: 4274 -> 2139
209.13/209.28	c learnt constraints deletion: 4274 -> 2139
210.73/210.86	c learnt constraints deletion: 4275 -> 2140
212.23/212.36	c learnt constraints deletion: 4266 -> 2133
213.83/213.91	c learnt constraints deletion: 4269 -> 2137
215.22/215.38	c learnt constraints deletion: 4272 -> 2138
216.93/217.03	c learnt constraints deletion: 4274 -> 2139
218.43/218.53	c learnt constraints deletion: 4276 -> 2138
219.83/219.92	c learnt constraints deletion: 4268 -> 2135
221.22/221.38	c learnt constraints deletion: 4273 -> 2138
222.72/222.83	c learnt constraints deletion: 4273 -> 2139
224.23/224.31	c learnt constraints deletion: 4274 -> 2139
225.72/225.84	c learnt constraints deletion: 4271 -> 2140
227.21/227.39	c learnt constraints deletion: 4271 -> 2140
228.72/228.89	c learnt constraints deletion: 4274 -> 2140
230.32/230.45	c learnt constraints deletion: 4276 -> 2140
231.93/232.03	c learnt constraints deletion: 4272 -> 2140
233.52/233.60	c learnt constraints deletion: 4272 -> 2140
235.02/235.17	c learnt constraints deletion: 4270 -> 2135
236.43/236.54	c learnt constraints deletion: 4272 -> 2137
237.82/237.97	c learnt constraints deletion: 4270 -> 2136
239.32/239.49	c learnt constraints deletion: 4261 -> 2133
240.92/241.02	c learnt constraints deletion: 4261 -> 2133
242.42/242.51	c learnt constraints deletion: 4270 -> 2138
243.91/244.04	c learnt constraints deletion: 4276 -> 2141
245.41/245.51	c learnt constraints deletion: 4265 -> 2135
246.92/247.08	c learnt constraints deletion: 4274 -> 2139
248.53/248.67	c learnt constraints deletion: 4270 -> 2137
250.01/250.16	c learnt constraints deletion: 4270 -> 2139
251.73/251.85	c learnt constraints deletion: 4275 -> 2141
253.31/253.41	c learnt constraints deletion: 4268 -> 2136
254.81/254.96	c learnt constraints deletion: 4274 -> 2141
256.42/256.58	c learnt constraints deletion: 4273 -> 2141
258.12/258.20	c learnt constraints deletion: 4266 -> 2133
259.42/259.53	c learnt constraints deletion: 4271 -> 2137
260.81/260.95	c learnt constraints deletion: 4264 -> 2133
262.21/262.37	c learnt constraints deletion: 4273 -> 2139
263.71/263.84	c learnt constraints deletion: 4266 -> 2137
265.21/265.32	c learnt constraints deletion: 4270 -> 2137
266.71/266.87	c learnt constraints deletion: 4272 -> 2138
268.41/268.50	c learnt constraints deletion: 4274 -> 2140
269.80/269.98	c learnt constraints deletion: 4268 -> 2138
271.40/271.54	c learnt constraints deletion: 4267 -> 2137
272.91/273.00	c learnt constraints deletion: 4276 -> 2140
274.30/274.44	c learnt constraints deletion: 4270 -> 2138
275.80/275.90	c learnt constraints deletion: 4275 -> 2142
277.30/277.41	c learnt constraints deletion: 4269 -> 2139
278.90/279.00	c learnt constraints deletion: 4267 -> 2138
280.41/280.50	c learnt constraints deletion: 4273 -> 2141
281.90/282.08	c learnt constraints deletion: 4269 -> 2141
283.40/283.58	c learnt constraints deletion: 4278 -> 2145
285.00/285.18	c learnt constraints deletion: 4274 -> 2142
286.60/286.76	c learnt constraints deletion: 4270 -> 2141
288.30/288.42	c learnt constraints deletion: 4275 -> 2142
289.90/290.02	c learnt constraints deletion: 4268 -> 2135
291.41/291.52	c learnt constraints deletion: 4273 -> 2140
293.10/293.20	c learnt constraints deletion: 4273 -> 2140
294.71/294.82	c learnt constraints deletion: 4275 -> 2139
296.41/296.54	c learnt constraints deletion: 4276 -> 2142
298.10/298.21	c learnt constraints deletion: 4273 -> 2137
299.50/299.66	c learnt constraints deletion: 4266 -> 2134
301.30/301.43	c learnt constraints deletion: 4686 -> 2345
303.00/303.16	c learnt constraints deletion: 4684 -> 2344
304.80/304.90	c learnt constraints deletion: 4683 -> 2345
306.20/306.34	c learnt constraints deletion: 4683 -> 2343
307.69/307.87	c learnt constraints deletion: 4682 -> 2343
309.29/309.47	c learnt constraints deletion: 4685 -> 2344
310.99/311.10	c learnt constraints deletion: 4678 -> 2341
312.50/312.69	c learnt constraints deletion: 4682 -> 2343
314.20/314.36	c learnt constraints deletion: 4680 -> 2342
315.89/316.08	c learnt constraints deletion: 4681 -> 2343
317.59/317.72	c learnt constraints deletion: 4681 -> 2345
319.29/319.41	c learnt constraints deletion: 4678 -> 2341
321.00/321.15	c learnt constraints deletion: 4686 -> 2347
322.59/322.78	c learnt constraints deletion: 4675 -> 2342
324.40/324.51	c learnt constraints deletion: 4675 -> 2340
325.99/326.14	c learnt constraints deletion: 4683 -> 2346
327.60/327.80	c learnt constraints deletion: 4686 -> 2347
329.39/329.59	c learnt constraints deletion: 4683 -> 2348
331.19/331.33	c learnt constraints deletion: 4677 -> 2343
332.69/332.80	c learnt constraints deletion: 4683 -> 2343
334.20/334.33	c learnt constraints deletion: 4677 -> 2341
335.79/335.93	c learnt constraints deletion: 4684 -> 2345
337.38/337.51	c learnt constraints deletion: 4686 -> 2346
338.99/339.16	c learnt constraints deletion: 4680 -> 2342
340.69/340.90	c learnt constraints deletion: 4679 -> 2342
342.49/342.64	c learnt constraints deletion: 4677 -> 2342
344.09/344.29	c learnt constraints deletion: 4676 -> 2341
345.89/346.03	c learnt constraints deletion: 4681 -> 2345
347.59/347.75	c learnt constraints deletion: 4685 -> 2347
349.39/349.51	c learnt constraints deletion: 4672 -> 2338
351.19/351.33	c learnt constraints deletion: 4684 -> 2344
352.79/352.98	c learnt constraints deletion: 4661 -> 2335
354.68/354.84	c learnt constraints deletion: 4686 -> 2347
356.49/356.67	c learnt constraints deletion: 4678 -> 2343
358.19/358.38	c learnt constraints deletion: 4674 -> 2339
360.08/360.20	c learnt constraints deletion: 4684 -> 2345
361.79/361.94	c learnt constraints deletion: 4681 -> 2344
363.58/363.72	c learnt constraints deletion: 4682 -> 2341
365.18/365.39	c learnt constraints deletion: 4679 -> 2342
366.88/367.04	c learnt constraints deletion: 4681 -> 2342
368.58/368.71	c learnt constraints deletion: 4686 -> 2346
370.27/370.40	c learnt constraints deletion: 4683 -> 2344
372.08/372.20	c learnt constraints deletion: 4682 -> 2343
373.78/373.91	c learnt constraints deletion: 4679 -> 2344
375.58/375.78	c learnt constraints deletion: 4685 -> 2345
377.38/377.56	c learnt constraints deletion: 4684 -> 2344
379.18/379.33	c learnt constraints deletion: 4676 -> 2342
381.07/381.24	c learnt constraints deletion: 4685 -> 2346
382.48/382.70	c learnt constraints deletion: 4686 -> 2344
384.08/384.25	c learnt constraints deletion: 4680 -> 2342
385.67/385.83	c learnt constraints deletion: 4685 -> 2345
387.28/387.49	c learnt constraints deletion: 4688 -> 2346
388.98/389.10	c learnt constraints deletion: 4671 -> 2338
390.57/390.74	c learnt constraints deletion: 4687 -> 2348
392.17/392.36	c learnt constraints deletion: 4686 -> 2344
393.77/393.93	c learnt constraints deletion: 4682 -> 2344
395.37/395.54	c learnt constraints deletion: 4685 -> 2346
397.08/397.20	c learnt constraints deletion: 4678 -> 2341
398.77/398.93	c learnt constraints deletion: 4682 -> 2344
400.46/400.60	c learnt constraints deletion: 4684 -> 2345
402.16/402.38	c learnt constraints deletion: 4679 -> 2342
403.76/403.96	c learnt constraints deletion: 4684 -> 2345
405.37/405.56	c learnt constraints deletion: 4669 -> 2338
407.06/407.23	c learnt constraints deletion: 4683 -> 2345
408.76/408.90	c learnt constraints deletion: 4681 -> 2344
410.66/410.80	c learnt constraints deletion: 4686 -> 2348
412.27/412.48	c learnt constraints deletion: 4686 -> 2348
413.97/414.16	c learnt constraints deletion: 4679 -> 2343
415.76/415.97	c learnt constraints deletion: 4680 -> 2344
417.47/417.66	c learnt constraints deletion: 4684 -> 2344
419.26/419.48	c learnt constraints deletion: 4684 -> 2346
420.96/421.17	c learnt constraints deletion: 4683 -> 2346
422.76/422.97	c learnt constraints deletion: 4687 -> 2348
424.47/424.69	c learnt constraints deletion: 4686 -> 2349
426.36/426.52	c learnt constraints deletion: 4685 -> 2349
428.16/428.32	c learnt constraints deletion: 4686 -> 2348
429.76/429.99	c learnt constraints deletion: 4685 -> 2345
431.45/431.61	c learnt constraints deletion: 4684 -> 2346
433.05/433.28	c learnt constraints deletion: 4681 -> 2344
434.86/435.04	c learnt constraints deletion: 4681 -> 2345
436.56/436.75	c learnt constraints deletion: 4688 -> 2348
438.26/438.42	c learnt constraints deletion: 4673 -> 2343
440.05/440.26	c learnt constraints deletion: 4680 -> 2344
441.65/441.86	c learnt constraints deletion: 4686 -> 2348
443.46/443.65	c learnt constraints deletion: 4683 -> 2348
445.26/445.46	c learnt constraints deletion: 4685 -> 2349
447.16/447.33	c learnt constraints deletion: 4684 -> 2345
448.95/449.14	c learnt constraints deletion: 4679 -> 2343
450.76/450.99	c learnt constraints deletion: 4676 -> 2339
452.45/452.65	c learnt constraints deletion: 4681 -> 2343
454.25/454.46	c learnt constraints deletion: 4681 -> 2344
456.05/456.29	c learnt constraints deletion: 4677 -> 2343
457.95/458.13	c learnt constraints deletion: 4677 -> 2342
459.94/460.11	c learnt constraints deletion: 4687 -> 2348
462.04/462.20	c learnt constraints deletion: 5134 -> 2571
464.05/464.29	c learnt constraints deletion: 5135 -> 2573
466.14/466.35	c learnt constraints deletion: 5137 -> 2574
467.84/468.07	c learnt constraints deletion: 5138 -> 2570
469.54/469.79	c learnt constraints deletion: 5138 -> 2570
471.34/471.56	c learnt constraints deletion: 5133 -> 2569
473.24/473.46	c learnt constraints deletion: 5134 -> 2568
475.14/475.39	c learnt constraints deletion: 5135 -> 2571
477.15/477.34	c learnt constraints deletion: 5136 -> 2569
478.94/479.19	c learnt constraints deletion: 5133 -> 2570
481.04/481.21	c learnt constraints deletion: 5129 -> 2566
483.04/483.21	c learnt constraints deletion: 5131 -> 2570
484.95/485.16	c learnt constraints deletion: 5133 -> 2569
487.14/487.30	c learnt constraints deletion: 5136 -> 2572
489.13/489.33	c learnt constraints deletion: 5135 -> 2572
491.13/491.34	c learnt constraints deletion: 5136 -> 2571
493.23/493.44	c learnt constraints deletion: 5131 -> 2570
495.23/495.48	c learnt constraints deletion: 5131 -> 2568
497.24/497.49	c learnt constraints deletion: 5131 -> 2570
499.24/499.45	c learnt constraints deletion: 5135 -> 2572
501.23/501.40	c learnt constraints deletion: 5132 -> 2572
503.24/503.48	c learnt constraints deletion: 5122 -> 2564
505.44/505.62	c learnt constraints deletion: 5130 -> 2568
507.43/507.60	c learnt constraints deletion: 5133 -> 2567
509.22/509.44	c learnt constraints deletion: 5132 -> 2568
511.02/511.29	c learnt constraints deletion: 5122 -> 2562
513.02/513.20	c learnt constraints deletion: 5133 -> 2569
515.03/515.26	c learnt constraints deletion: 5133 -> 2569
517.12/517.39	c learnt constraints deletion: 5134 -> 2569
519.13/519.36	c learnt constraints deletion: 5135 -> 2570
521.13/521.37	c learnt constraints deletion: 5126 -> 2567
523.34/523.52	c learnt constraints deletion: 5135 -> 2570
525.42/525.70	c learnt constraints deletion: 5135 -> 2572
527.43/527.67	c learnt constraints deletion: 5130 -> 2568
529.62/529.84	c learnt constraints deletion: 5130 -> 2568
531.42/531.61	c learnt constraints deletion: 5134 -> 2567
533.12/533.38	c learnt constraints deletion: 5135 -> 2570
534.92/535.13	c learnt constraints deletion: 5130 -> 2567
536.82/537.02	c learnt constraints deletion: 5134 -> 2569
538.72/538.97	c learnt constraints deletion: 5137 -> 2570
540.62/540.89	c learnt constraints deletion: 5135 -> 2571
542.62/542.80	c learnt constraints deletion: 5135 -> 2570
544.52/544.78	c learnt constraints deletion: 5124 -> 2566
546.53/546.72	c learnt constraints deletion: 5136 -> 2570
548.41/548.65	c learnt constraints deletion: 5136 -> 2571
550.31/550.59	c learnt constraints deletion: 5130 -> 2567
552.31/552.51	c learnt constraints deletion: 5133 -> 2571
554.21/554.43	c learnt constraints deletion: 5135 -> 2572
556.11/556.39	c learnt constraints deletion: 5137 -> 2574
558.21/558.41	c learnt constraints deletion: 5133 -> 2573
560.11/560.34	c learnt constraints deletion: 5135 -> 2575
562.11/562.39	c learnt constraints deletion: 5137 -> 2572
564.21/564.48	c learnt constraints deletion: 5122 -> 2563
566.10/566.39	c learnt constraints deletion: 5133 -> 2570
568.20/568.44	c learnt constraints deletion: 5137 -> 2573
570.20/570.48	c learnt constraints deletion: 5137 -> 2575
572.11/572.39	c learnt constraints deletion: 5129 -> 2567
574.10/574.33	c learnt constraints deletion: 5129 -> 2569
576.11/576.31	c learnt constraints deletion: 5137 -> 2572
578.20/578.42	c learnt constraints deletion: 5133 -> 2571
580.31/580.51	c learnt constraints deletion: 5130 -> 2569
582.41/582.64	c learnt constraints deletion: 5130 -> 2571
584.41/584.64	c learnt constraints deletion: 5130 -> 2569
586.50/586.78	c learnt constraints deletion: 5125 -> 2565
588.70/588.95	c learnt constraints deletion: 5131 -> 2570
590.70/590.99	c learnt constraints deletion: 5129 -> 2570
592.71/592.96	c learnt constraints deletion: 5135 -> 2571
594.81/595.02	c learnt constraints deletion: 5132 -> 2570
596.90/597.10	c learnt constraints deletion: 5133 -> 2571
599.00/599.26	c learnt constraints deletion: 5115 -> 2562
601.10/601.32	c learnt constraints deletion: 5138 -> 2575
603.20/603.48	c learnt constraints deletion: 5134 -> 2573
605.29/605.57	c learnt constraints deletion: 5136 -> 2573
607.49/607.77	c learnt constraints deletion: 5139 -> 2577
609.49/609.78	c learnt constraints deletion: 5137 -> 2571
611.58/611.89	c learnt constraints deletion: 5135 -> 2571
613.78/614.00	c learnt constraints deletion: 5136 -> 2571
615.89/616.19	c learnt constraints deletion: 5138 -> 2572
618.08/618.39	c learnt constraints deletion: 5138 -> 2575
620.28/620.55	c learnt constraints deletion: 5135 -> 2574
621.98/622.23	c learnt constraints deletion: 5135 -> 2569
623.78/624.03	c learnt constraints deletion: 5137 -> 2570
625.58/625.84	c learnt constraints deletion: 5136 -> 2569
627.48/627.77	c learnt constraints deletion: 5134 -> 2568
629.38/629.63	c learnt constraints deletion: 5136 -> 2569
631.28/631.59	c learnt constraints deletion: 5128 -> 2567
633.18/633.42	c learnt constraints deletion: 5135 -> 2569
635.07/635.38	c learnt constraints deletion: 5129 -> 2568
637.08/637.33	c learnt constraints deletion: 5135 -> 2571
639.17/639.40	c learnt constraints deletion: 5135 -> 2569
640.98/641.26	c learnt constraints deletion: 5135 -> 2571
642.98/643.24	c learnt constraints deletion: 5134 -> 2571
644.97/645.25	c learnt constraints deletion: 5131 -> 2568
647.07/647.31	c learnt constraints deletion: 5135 -> 2572
648.97/649.26	c learnt constraints deletion: 5135 -> 2572
650.98/651.28	c learnt constraints deletion: 5134 -> 2571
653.07/653.37	c learnt constraints deletion: 5123 -> 2568
654.97/655.29	c learnt constraints deletion: 5135 -> 2570
657.16/657.43	c learnt constraints deletion: 5133 -> 2571
659.17/659.42	c learnt constraints deletion: 5134 -> 2569
661.06/661.34	c learnt constraints deletion: 5126 -> 2566
662.98/663.28	c learnt constraints deletion: 5133 -> 2571
664.96/665.22	c learnt constraints deletion: 5137 -> 2575
666.86/667.17	c learnt constraints deletion: 5118 -> 2564
668.96/669.24	c learnt constraints deletion: 5139 -> 2576
670.96/671.28	c learnt constraints deletion: 5137 -> 2577
672.87/673.19	c learnt constraints deletion: 5125 -> 2568
674.95/675.28	c learnt constraints deletion: 5135 -> 2574
677.15/677.41	c learnt constraints deletion: 5132 -> 2569
679.06/679.38	c learnt constraints deletion: 5129 -> 2567
681.16/681.48	c learnt constraints deletion: 5117 -> 2562
683.25/683.57	c learnt constraints deletion: 5135 -> 2572
685.25/685.53	c learnt constraints deletion: 5137 -> 2572
687.26/687.59	c learnt constraints deletion: 5131 -> 2569
689.25/689.59	c learnt constraints deletion: 5133 -> 2571
691.45/691.75	c learnt constraints deletion: 5130 -> 2571
693.55/693.87	c learnt constraints deletion: 5135 -> 2572
695.65/695.97	c learnt constraints deletion: 5133 -> 2573
697.75/698.04	c learnt constraints deletion: 5137 -> 2575
699.85/700.17	c learnt constraints deletion: 5137 -> 2577
701.94/702.21	c learnt constraints deletion: 5128 -> 2566
703.95/704.27	c learnt constraints deletion: 5134 -> 2570
706.05/706.33	c learnt constraints deletion: 5132 -> 2570
708.15/708.49	c learnt constraints deletion: 5134 -> 2571
710.35/710.69	c learnt constraints deletion: 5132 -> 2572
712.45/712.79	c learnt constraints deletion: 5132 -> 2570
714.76/715.02	c learnt constraints deletion: 5129 -> 2565
716.55/716.83	c learnt constraints deletion: 5134 -> 2568
718.45/718.79	c learnt constraints deletion: 5130 -> 2566
720.45/720.77	c learnt constraints deletion: 5124 -> 2564
722.84/723.16	c learnt constraints deletion: 5630 -> 2819
725.04/725.36	c learnt constraints deletion: 5629 -> 2818
727.44/727.72	c learnt constraints deletion: 5627 -> 2816
729.54/729.81	c learnt constraints deletion: 5627 -> 2814
731.25/731.59	c learnt constraints deletion: 5632 -> 2817
733.04/733.35	c learnt constraints deletion: 5631 -> 2818
735.14/735.42	c learnt constraints deletion: 5629 -> 2817
737.13/737.47	c learnt constraints deletion: 5627 -> 2815
739.04/739.37	c learnt constraints deletion: 5620 -> 2812
741.05/741.38	c learnt constraints deletion: 5631 -> 2818
743.14/743.48	c learnt constraints deletion: 5625 -> 2817
745.03/745.36	c learnt constraints deletion: 5623 -> 2814
747.14/747.41	c learnt constraints deletion: 5633 -> 2821
749.03/749.37	c learnt constraints deletion: 5623 -> 2814
751.23/751.53	c learnt constraints deletion: 5627 -> 2816
753.24/753.53	c learnt constraints deletion: 5625 -> 2816
755.44/755.70	c learnt constraints deletion: 5632 -> 2820
757.54/757.87	c learnt constraints deletion: 5630 -> 2819
759.63/759.92	c learnt constraints deletion: 5634 -> 2819
761.53/761.84	c learnt constraints deletion: 5632 -> 2819
763.53/763.81	c learnt constraints deletion: 5630 -> 2819
765.73/766.07	c learnt constraints deletion: 5625 -> 2817
767.83/768.18	c learnt constraints deletion: 5632 -> 2819
770.13/770.43	c learnt constraints deletion: 5623 -> 2815
772.33/772.67	c learnt constraints deletion: 5630 -> 2817
774.23/774.56	c learnt constraints deletion: 5632 -> 2819
776.23/776.57	c learnt constraints deletion: 5633 -> 2820
778.33/778.66	c learnt constraints deletion: 5627 -> 2818
780.42/780.75	c learnt constraints deletion: 5616 -> 2812
782.52/782.89	c learnt constraints deletion: 5633 -> 2821
784.72/785.08	c learnt constraints deletion: 5614 -> 2811
786.82/787.10	c learnt constraints deletion: 5634 -> 2822
789.02/789.36	c learnt constraints deletion: 5634 -> 2821
791.12/791.41	c learnt constraints deletion: 5629 -> 2820
793.32/793.67	c learnt constraints deletion: 5633 -> 2825
795.42/795.76	c learnt constraints deletion: 5633 -> 2819
797.52/797.87	c learnt constraints deletion: 5635 -> 2822
799.51/799.89	c learnt constraints deletion: 5624 -> 2818
801.81/802.11	c learnt constraints deletion: 5630 -> 2819
804.02/804.30	c learnt constraints deletion: 5632 -> 2820
806.21/806.56	c learnt constraints deletion: 5635 -> 2822
808.62/808.91	c learnt constraints deletion: 5632 -> 2822
810.81/811.12	c learnt constraints deletion: 5635 -> 2824
813.01/813.37	c learnt constraints deletion: 5631 -> 2823
815.31/815.67	c learnt constraints deletion: 5631 -> 2823
817.41/817.78	c learnt constraints deletion: 5625 -> 2816
819.71/820.00	c learnt constraints deletion: 5626 -> 2817
821.90/822.24	c learnt constraints deletion: 5630 -> 2819
824.21/824.56	c learnt constraints deletion: 5630 -> 2819
826.51/826.81	c learnt constraints deletion: 5631 -> 2818
828.41/828.74	c learnt constraints deletion: 5630 -> 2818
830.30/830.66	c learnt constraints deletion: 5631 -> 2819
832.50/832.80	c learnt constraints deletion: 5633 -> 2820
834.61/834.93	c learnt constraints deletion: 5628 -> 2818
836.81/837.18	c learnt constraints deletion: 5634 -> 2821
839.11/839.40	c learnt constraints deletion: 5627 -> 2818
841.20/841.54	c learnt constraints deletion: 5618 -> 2813
843.30/843.65	c learnt constraints deletion: 5629 -> 2821
845.51/845.84	c learnt constraints deletion: 5634 -> 2823
847.70/848.08	c learnt constraints deletion: 5626 -> 2821
849.79/850.13	c learnt constraints deletion: 5630 -> 2819
851.99/852.38	c learnt constraints deletion: 5628 -> 2820
854.19/854.57	c learnt constraints deletion: 5634 -> 2823
856.50/856.81	c learnt constraints deletion: 5634 -> 2822
858.70/859.07	c learnt constraints deletion: 5634 -> 2823
861.00/861.30	c learnt constraints deletion: 5632 -> 2822
863.40/863.75	c learnt constraints deletion: 5627 -> 2822
865.59/865.92	c learnt constraints deletion: 5617 -> 2814
867.90/868.22	c learnt constraints deletion: 5634 -> 2823
870.29/870.68	c learnt constraints deletion: 5628 -> 2820
872.39/872.77	c learnt constraints deletion: 5631 -> 2818
874.29/874.65	c learnt constraints deletion: 5634 -> 2820
876.19/876.54	c learnt constraints deletion: 5628 -> 2817
878.29/878.63	c learnt constraints deletion: 5634 -> 2820
880.28/880.70	c learnt constraints deletion: 5618 -> 2812
882.48/882.88	c learnt constraints deletion: 5614 -> 2810
884.49/884.88	c learnt constraints deletion: 5635 -> 2822
886.58/886.92	c learnt constraints deletion: 5635 -> 2821
888.69/889.04	c learnt constraints deletion: 5632 -> 2821
890.69/891.08	c learnt constraints deletion: 5634 -> 2823
892.88/893.25	c learnt constraints deletion: 5635 -> 2821
895.18/895.53	c learnt constraints deletion: 5635 -> 2823
897.28/897.63	c learnt constraints deletion: 5630 -> 2819
899.38/899.80	c learnt constraints deletion: 5629 -> 2820
901.58/901.93	c learnt constraints deletion: 5629 -> 2821
903.78/904.12	c learnt constraints deletion: 5619 -> 2816
906.08/906.41	c learnt constraints deletion: 5630 -> 2819
908.27/908.64	c learnt constraints deletion: 5629 -> 2819
910.27/910.60	c learnt constraints deletion: 5627 -> 2819
912.37/912.71	c learnt constraints deletion: 5622 -> 2817
914.57/914.93	c learnt constraints deletion: 5631 -> 2822
916.87/917.23	c learnt constraints deletion: 5632 -> 2822
919.18/919.58	c learnt constraints deletion: 5633 -> 2821
921.57/921.95	c learnt constraints deletion: 5624 -> 2818
923.47/923.90	c learnt constraints deletion: 5635 -> 2823
925.67/926.05	c learnt constraints deletion: 5629 -> 2821
927.87/928.25	c learnt constraints deletion: 5620 -> 2816
930.37/930.73	c learnt constraints deletion: 5634 -> 2825
932.57/932.91	c learnt constraints deletion: 5627 -> 2820
934.86/935.27	c learnt constraints deletion: 5626 -> 2819
937.17/937.54	c learnt constraints deletion: 5632 -> 2824
939.56/939.91	c learnt constraints deletion: 5632 -> 2823
941.76/942.10	c learnt constraints deletion: 5629 -> 2819
943.96/944.35	c learnt constraints deletion: 5630 -> 2820
946.16/946.50	c learnt constraints deletion: 5636 -> 2824
948.36/948.79	c learnt constraints deletion: 5625 -> 2819
950.75/951.18	c learnt constraints deletion: 5635 -> 2825
953.06/953.41	c learnt constraints deletion: 5634 -> 2822
955.46/955.84	c learnt constraints deletion: 5632 -> 2821
957.55/957.96	c learnt constraints deletion: 5623 -> 2814
959.75/960.11	c learnt constraints deletion: 5631 -> 2818
961.75/962.17	c learnt constraints deletion: 5631 -> 2819
963.95/964.36	c learnt constraints deletion: 5632 -> 2819
966.25/966.64	c learnt constraints deletion: 5628 -> 2817
968.65/969.03	c learnt constraints deletion: 5635 -> 2823
970.75/971.17	c learnt constraints deletion: 5624 -> 2815
973.16/973.53	c learnt constraints deletion: 5632 -> 2821
975.36/975.72	c learnt constraints deletion: 5634 -> 2820
977.65/978.09	c learnt constraints deletion: 5633 -> 2821
979.94/980.37	c learnt constraints deletion: 5630 -> 2818
982.14/982.60	c learnt constraints deletion: 5633 -> 2821
984.45/984.82	c learnt constraints deletion: 5627 -> 2819
986.74/987.12	c learnt constraints deletion: 5626 -> 2818
989.24/989.61	c learnt constraints deletion: 5632 -> 2821
991.35/991.76	c learnt constraints deletion: 5632 -> 2816
993.45/993.88	c learnt constraints deletion: 5633 -> 2818
995.54/995.96	c learnt constraints deletion: 5632 -> 2818
997.75/998.17	c learnt constraints deletion: 5629 -> 2817
1000.04/1000.43	c learnt constraints deletion: 5628 -> 2816
1002.14/1002.54	c learnt constraints deletion: 5633 -> 2821
1004.44/1004.84	c learnt constraints deletion: 5631 -> 2820
1006.74/1007.17	c learnt constraints deletion: 5625 -> 2814
1009.24/1009.60	c learnt constraints deletion: 5600 -> 2802
1011.13/1011.59	c learnt constraints deletion: 5626 -> 2817
1013.34/1013.74	c learnt constraints deletion: 5626 -> 2816
1015.54/1015.95	c learnt constraints deletion: 5616 -> 2812
1017.94/1018.31	c learnt constraints deletion: 5626 -> 2817
1020.34/1020.74	c learnt constraints deletion: 5630 -> 2821
1022.54/1022.97	c learnt constraints deletion: 5628 -> 2816
1024.84/1025.29	c learnt constraints deletion: 5631 -> 2820
1027.22/1027.62	c learnt constraints deletion: 5630 -> 2817
1029.23/1029.64	c learnt constraints deletion: 5626 -> 2816
1031.33/1031.79	c learnt constraints deletion: 5631 -> 2819
1033.53/1033.99	c learnt constraints deletion: 5632 -> 2820
1035.83/1036.23	c learnt constraints deletion: 5634 -> 2821
1038.12/1038.59	c learnt constraints deletion: 5632 -> 2822
1040.32/1040.78	c learnt constraints deletion: 5627 -> 2818
1042.62/1043.03	c learnt constraints deletion: 5630 -> 2819
1044.92/1045.32	c learnt constraints deletion: 5635 -> 2824
1047.22/1047.67	c learnt constraints deletion: 5622 -> 2816
1049.61/1050.06	c learnt constraints deletion: 5633 -> 2821
1052.12/1052.50	c learnt constraints deletion: 5626 -> 2815
1054.12/1054.55	c learnt constraints deletion: 5634 -> 2820
1056.32/1056.75	c learnt constraints deletion: 5630 -> 2819
1058.61/1059.05	c learnt constraints deletion: 5628 -> 2819
1060.92/1061.38	c learnt constraints deletion: 5627 -> 2817
1063.42/1063.89	c learnt constraints deletion: 5632 -> 2820
1065.92/1066.35	c learnt constraints deletion: 5632 -> 2821
1068.41/1068.84	c learnt constraints deletion: 5632 -> 2821
1070.52/1070.90	c learnt constraints deletion: 5630 -> 2816
1072.51/1072.93	c learnt constraints deletion: 5622 -> 2812
1074.71/1075.12	c learnt constraints deletion: 5618 -> 2810
1076.91/1077.39	c learnt constraints deletion: 5623 -> 2813
1079.21/1079.65	c learnt constraints deletion: 5628 -> 2815
1081.51/1081.99	c learnt constraints deletion: 5628 -> 2816
1083.81/1084.21	c learnt constraints deletion: 5631 -> 2817
1085.91/1086.35	c learnt constraints deletion: 5630 -> 2817
1088.31/1088.70	c learnt constraints deletion: 5626 -> 2815
1090.40/1090.87	c learnt constraints deletion: 5622 -> 2812
1092.80/1093.21	c learnt constraints deletion: 5628 -> 2818
1095.00/1095.44	c learnt constraints deletion: 5624 -> 2816
1097.31/1097.75	c learnt constraints deletion: 5628 -> 2816
1099.60/1100.01	c learnt constraints deletion: 5625 -> 2816
1101.81/1102.23	c learnt constraints deletion: 5631 -> 2820
1104.30/1104.76	c learnt constraints deletion: 5629 -> 2821
1106.30/1106.79	c learnt constraints deletion: 5627 -> 2818
1109.00/1109.45	c learnt constraints deletion: 6173 -> 3090
1111.50/1111.90	c learnt constraints deletion: 6170 -> 3089
1114.00/1114.48	c learnt constraints deletion: 6169 -> 3089
1116.70/1117.13	c learnt constraints deletion: 6153 -> 3077
1119.41/1119.82	c learnt constraints deletion: 6178 -> 3093
1121.90/1122.38	c learnt constraints deletion: 6177 -> 3093
1124.30/1124.72	c learnt constraints deletion: 6172 -> 3087
1126.50/1126.98	c learnt constraints deletion: 6179 -> 3091
1128.90/1129.30	c learnt constraints deletion: 6174 -> 3088
1131.30/1131.78	c learnt constraints deletion: 6169 -> 3086
1133.70/1134.13	c learnt constraints deletion: 6172 -> 3089
1136.10/1136.56	c learnt constraints deletion: 6171 -> 3088
1138.69/1139.11	c learnt constraints deletion: 6179 -> 3092
1141.19/1141.68	c learnt constraints deletion: 6175 -> 3092
1143.60/1144.03	c learnt constraints deletion: 6177 -> 3091
1145.99/1146.49	c learnt constraints deletion: 6168 -> 3087
1148.39/1148.84	c learnt constraints deletion: 6171 -> 3090
1150.89/1151.38	c learnt constraints deletion: 6179 -> 3094
1153.39/1153.90	c learnt constraints deletion: 6172 -> 3090
1155.99/1156.46	c learnt constraints deletion: 6172 -> 3090
1158.59/1159.06	c learnt constraints deletion: 6179 -> 3095
1161.09/1161.55	c learnt constraints deletion: 6176 -> 3093
1163.59/1164.01	c learnt constraints deletion: 6170 -> 3088
1165.98/1166.49	c learnt constraints deletion: 6169 -> 3089
1168.58/1169.08	c learnt constraints deletion: 6174 -> 3091
1171.18/1171.60	c learnt constraints deletion: 6167 -> 3088
1173.68/1174.11	c learnt constraints deletion: 6173 -> 3091
1176.49/1176.98	c learnt constraints deletion: 6179 -> 3095
1178.69/1179.20	c learnt constraints deletion: 6175 -> 3091
1181.08/1181.57	c learnt constraints deletion: 6171 -> 3090
1183.58/1184.05	c learnt constraints deletion: 6177 -> 3093
1186.18/1186.63	c learnt constraints deletion: 6170 -> 3089
1188.69/1189.13	c learnt constraints deletion: 6172 -> 3091
1191.18/1191.68	c learnt constraints deletion: 6174 -> 3091
1193.88/1194.33	c learnt constraints deletion: 6177 -> 3093
1196.68/1197.13	c learnt constraints deletion: 6174 -> 3092
1199.08/1199.51	c learnt constraints deletion: 6175 -> 3093
1201.67/1202.11	c learnt constraints deletion: 6177 -> 3094
1204.17/1204.66	c learnt constraints deletion: 6180 -> 3095
1206.97/1207.44	c learnt constraints deletion: 6176 -> 3093
1209.36/1209.83	c learnt constraints deletion: 6173 -> 3087
1211.57/1212.03	c learnt constraints deletion: 6175 -> 3089
1213.77/1214.28	c learnt constraints deletion: 6177 -> 3090
1216.17/1216.67	c learnt constraints deletion: 6179 -> 3091
1218.76/1219.20	c learnt constraints deletion: 6178 -> 3090
1221.16/1221.64	c learnt constraints deletion: 6178 -> 3090
1223.36/1223.84	c learnt constraints deletion: 6175 -> 3091
1225.86/1226.31	c learnt constraints deletion: 6174 -> 3088
1228.26/1228.70	c learnt constraints deletion: 6172 -> 3088
1230.76/1231.25	c learnt constraints deletion: 6167 -> 3088
1233.16/1233.63	c learnt constraints deletion: 6179 -> 3094
1235.55/1236.03	c learnt constraints deletion: 6178 -> 3091
1238.06/1238.52	c learnt constraints deletion: 6179 -> 3094
1240.36/1240.85	c learnt constraints deletion: 6178 -> 3093
1242.95/1243.47	c learnt constraints deletion: 6171 -> 3092
1245.45/1245.94	c learnt constraints deletion: 6174 -> 3089
1248.06/1248.53	c learnt constraints deletion: 6164 -> 3084
1250.54/1251.00	c learnt constraints deletion: 6180 -> 3093
1252.85/1253.39	c learnt constraints deletion: 6172 -> 3090
1255.44/1255.93	c learnt constraints deletion: 6177 -> 3094
1258.15/1258.61	c learnt constraints deletion: 6176 -> 3092
1260.85/1261.36	c learnt constraints deletion: 6177 -> 3095
1263.36/1263.89	c learnt constraints deletion: 6177 -> 3092
1265.95/1266.47	c learnt constraints deletion: 6175 -> 3091
1268.44/1268.98	c learnt constraints deletion: 6174 -> 3090
1271.05/1271.53	c learnt constraints deletion: 6177 -> 3093
1273.74/1274.25	c learnt constraints deletion: 6178 -> 3093
1276.34/1276.86	c learnt constraints deletion: 6174 -> 3089
1279.14/1279.66	c learnt constraints deletion: 6177 -> 3092
1281.73/1282.24	c learnt constraints deletion: 6179 -> 3092
1283.93/1284.41	c learnt constraints deletion: 6174 -> 3090
1286.33/1286.84	c learnt constraints deletion: 6179 -> 3093
1288.84/1289.32	c learnt constraints deletion: 6177 -> 3092
1291.43/1291.94	c learnt constraints deletion: 6176 -> 3092
1293.93/1294.46	c learnt constraints deletion: 6170 -> 3089
1296.63/1297.11	c learnt constraints deletion: 6175 -> 3092
1299.22/1299.73	c learnt constraints deletion: 6168 -> 3089
1301.94/1302.46	c learnt constraints deletion: 6179 -> 3096
1304.43/1304.91	c learnt constraints deletion: 6175 -> 3092
1307.03/1307.57	c learnt constraints deletion: 6171 -> 3091
1309.63/1310.11	c learnt constraints deletion: 6179 -> 3096
1312.32/1312.85	c learnt constraints deletion: 6179 -> 3097
1315.03/1315.54	c learnt constraints deletion: 6179 -> 3090
1317.24/1317.75	c learnt constraints deletion: 6176 -> 3089
1319.43/1319.97	c learnt constraints deletion: 6173 -> 3089
1321.93/1322.41	c learnt constraints deletion: 6175 -> 3089
1324.33/1324.83	c learnt constraints deletion: 6179 -> 3091
1326.83/1327.30	c learnt constraints deletion: 6171 -> 3089
1329.13/1329.66	c learnt constraints deletion: 6176 -> 3089
1331.53/1332.04	c learnt constraints deletion: 6178 -> 3090
1334.12/1334.68	c learnt constraints deletion: 6170 -> 3087
1336.52/1337.09	c learnt constraints deletion: 6176 -> 3092
1339.02/1339.56	c learnt constraints deletion: 6165 -> 3085
1341.62/1342.17	c learnt constraints deletion: 6176 -> 3091
1344.02/1344.52	c learnt constraints deletion: 6169 -> 3088
1346.62/1347.13	c learnt constraints deletion: 6178 -> 3093
1349.13/1349.69	c learnt constraints deletion: 6170 -> 3087
1351.82/1352.34	c learnt constraints deletion: 6178 -> 3092
1354.32/1354.89	c learnt constraints deletion: 6179 -> 3093
1357.02/1357.54	c learnt constraints deletion: 6177 -> 3091
1359.72/1360.25	c learnt constraints deletion: 6178 -> 3092
1362.12/1362.63	c learnt constraints deletion: 6161 -> 3083
1364.52/1365.03	c learnt constraints deletion: 6167 -> 3087
1366.91/1367.48	c learnt constraints deletion: 6178 -> 3093
1369.52/1370.01	c learnt constraints deletion: 6174 -> 3091
1372.11/1372.62	c learnt constraints deletion: 6174 -> 3091
1374.61/1375.19	c learnt constraints deletion: 6174 -> 3092
1377.31/1377.89	c learnt constraints deletion: 6173 -> 3091
1379.81/1380.36	c learnt constraints deletion: 6172 -> 3092
1382.60/1383.11	c learnt constraints deletion: 6181 -> 3097
1385.01/1385.52	c learnt constraints deletion: 6177 -> 3091
1387.51/1388.03	c learnt constraints deletion: 6178 -> 3092
1390.00/1390.56	c learnt constraints deletion: 6173 -> 3091
1392.70/1393.21	c learnt constraints deletion: 6174 -> 3093
1395.20/1395.72	c learnt constraints deletion: 6178 -> 3093
1397.90/1398.40	c learnt constraints deletion: 6177 -> 3095
1400.50/1401.04	c learnt constraints deletion: 6179 -> 3094
1403.30/1403.84	c learnt constraints deletion: 6174 -> 3093
1406.00/1406.52	c learnt constraints deletion: 6175 -> 3092
1408.70/1409.26	c learnt constraints deletion: 6176 -> 3092
1411.00/1411.54	c learnt constraints deletion: 6166 -> 3083
1413.10/1413.65	c learnt constraints deletion: 6179 -> 3091
1415.21/1415.75	c learnt constraints deletion: 6176 -> 3089
1417.50/1418.05	c learnt constraints deletion: 6177 -> 3090
1419.80/1420.31	c learnt constraints deletion: 6168 -> 3087
1421.90/1422.47	c learnt constraints deletion: 6163 -> 3083
1424.20/1424.72	c learnt constraints deletion: 6176 -> 3090
1426.30/1426.82	c learnt constraints deletion: 6178 -> 3092
1428.40/1428.91	c learnt constraints deletion: 6173 -> 3092
1430.60/1431.11	c learnt constraints deletion: 6168 -> 3087
1432.89/1433.49	c learnt constraints deletion: 6170 -> 3090
1435.01/1435.55	c learnt constraints deletion: 6182 -> 3097
1437.30/1437.80	c learnt constraints deletion: 6178 -> 3090
1439.59/1440.14	c learnt constraints deletion: 6177 -> 3091
1441.79/1442.33	c learnt constraints deletion: 6176 -> 3089
1444.20/1444.75	c learnt constraints deletion: 6178 -> 3090
1446.59/1447.11	c learnt constraints deletion: 6171 -> 3087
1448.99/1449.57	c learnt constraints deletion: 6176 -> 3091
1451.18/1451.74	c learnt constraints deletion: 6179 -> 3091
1453.39/1453.98	c learnt constraints deletion: 6176 -> 3090
1455.58/1456.14	c learnt constraints deletion: 6162 -> 3084
1458.09/1458.63	c learnt constraints deletion: 6180 -> 3093
1460.58/1461.18	c learnt constraints deletion: 6178 -> 3091
1462.98/1463.54	c learnt constraints deletion: 6160 -> 3082
1465.28/1465.88	c learnt constraints deletion: 6179 -> 3092
1467.78/1468.36	c learnt constraints deletion: 6169 -> 3086
1469.98/1470.51	c learnt constraints deletion: 6176 -> 3090
1472.38/1472.90	c learnt constraints deletion: 6179 -> 3093
1474.77/1475.36	c learnt constraints deletion: 6176 -> 3090
1477.18/1477.73	c learnt constraints deletion: 6180 -> 3091
1479.58/1480.13	c learnt constraints deletion: 6178 -> 3092
1481.87/1482.41	c learnt constraints deletion: 6176 -> 3091
1484.38/1485.00	c learnt constraints deletion: 6176 -> 3092
1486.87/1487.41	c learnt constraints deletion: 6177 -> 3090
1489.07/1489.63	c learnt constraints deletion: 6173 -> 3089
1491.56/1492.10	c learnt constraints deletion: 6180 -> 3093
1494.07/1494.61	c learnt constraints deletion: 6177 -> 3092
1496.48/1497.09	c learnt constraints deletion: 6171 -> 3087
1499.06/1499.62	c learnt constraints deletion: 6171 -> 3087
1501.66/1502.22	c learnt constraints deletion: 6173 -> 3089
1504.06/1504.63	c learnt constraints deletion: 6179 -> 3092
1506.56/1507.15	c learnt constraints deletion: 6180 -> 3094
1508.96/1509.55	c learnt constraints deletion: 6176 -> 3089
1511.55/1512.13	c learnt constraints deletion: 6179 -> 3093
1514.07/1514.63	c learnt constraints deletion: 6175 -> 3091
1516.56/1517.17	c learnt constraints deletion: 6173 -> 3091
1519.26/1519.83	c learnt constraints deletion: 6174 -> 3092
1521.65/1522.21	c learnt constraints deletion: 6177 -> 3091
1523.97/1524.59	c learnt constraints deletion: 6173 -> 3090
1526.35/1526.99	c learnt constraints deletion: 6175 -> 3091
1529.16/1529.74	c learnt constraints deletion: 6176 -> 3093
1531.55/1532.14	c learnt constraints deletion: 6175 -> 3091
1534.16/1534.70	c learnt constraints deletion: 6178 -> 3092
1536.85/1537.48	c learnt constraints deletion: 6179 -> 3095
1539.36/1539.99	c learnt constraints deletion: 6174 -> 3090
1541.85/1542.49	c learnt constraints deletion: 6179 -> 3093
1544.65/1545.21	c learnt constraints deletion: 6177 -> 3094
1547.25/1547.83	c learnt constraints deletion: 6180 -> 3094
1549.65/1550.25	c learnt constraints deletion: 6180 -> 3093
1552.15/1552.74	c learnt constraints deletion: 6179 -> 3094
1554.76/1555.31	c learnt constraints deletion: 6180 -> 3095
1557.25/1557.85	c learnt constraints deletion: 6172 -> 3091
1560.05/1560.65	c learnt constraints deletion: 6178 -> 3096
1562.65/1563.21	c learnt constraints deletion: 6176 -> 3092
1565.04/1565.64	c learnt constraints deletion: 6167 -> 3085
1567.54/1568.16	c learnt constraints deletion: 6176 -> 3091
1569.95/1570.55	c learnt constraints deletion: 6180 -> 3093
1572.65/1573.24	c learnt constraints deletion: 6178 -> 3092
1575.24/1575.84	c learnt constraints deletion: 6176 -> 3091
1577.85/1578.46	c learnt constraints deletion: 6165 -> 3086
1580.54/1581.13	c learnt constraints deletion: 6176 -> 3091
1583.03/1583.69	c learnt constraints deletion: 6174 -> 3089
1585.73/1586.34	c learnt constraints deletion: 6173 -> 3090
1588.33/1588.99	c learnt constraints deletion: 6162 -> 3084
1591.14/1591.71	c learnt constraints deletion: 6167 -> 3086
1593.63/1594.20	c learnt constraints deletion: 6168 -> 3085
1595.92/1596.54	c learnt constraints deletion: 6179 -> 3093
1598.33/1598.90	c learnt constraints deletion: 6177 -> 3091
1600.72/1601.38	c learnt constraints deletion: 6175 -> 3091
1603.32/1603.93	c learnt constraints deletion: 6173 -> 3090
1605.82/1606.40	c learnt constraints deletion: 6171 -> 3091
1608.33/1608.92	c learnt constraints deletion: 6174 -> 3090
1610.83/1611.45	c learnt constraints deletion: 6181 -> 3096
1613.33/1613.99	c learnt constraints deletion: 6175 -> 3094
1616.02/1616.66	c learnt constraints deletion: 6179 -> 3095
1618.72/1619.36	c learnt constraints deletion: 6177 -> 3092
1621.32/1621.93	c learnt constraints deletion: 6177 -> 3093
1623.82/1624.47	c learnt constraints deletion: 6178 -> 3094
1626.52/1627.15	c learnt constraints deletion: 6179 -> 3095
1629.22/1629.84	c learnt constraints deletion: 6180 -> 3096
1631.83/1632.45	c learnt constraints deletion: 6179 -> 3093
1634.41/1635.09	c learnt constraints deletion: 6173 -> 3091
1637.02/1637.65	c learnt constraints deletion: 6173 -> 3092
1639.72/1640.33	c learnt constraints deletion: 6174 -> 3092
1642.42/1643.06	c learnt constraints deletion: 6182 -> 3096
1645.22/1645.80	c learnt constraints deletion: 6171 -> 3093
1647.72/1648.31	c learnt constraints deletion: 6181 -> 3098
1650.42/1651.06	c learnt constraints deletion: 6178 -> 3096
1653.22/1653.88	c learnt constraints deletion: 6173 -> 3096
1655.61/1656.29	c learnt constraints deletion: 6177 -> 3090
1658.02/1658.64	c learnt constraints deletion: 6176 -> 3090
1660.32/1660.92	c learnt constraints deletion: 6176 -> 3092
1662.92/1663.51	c learnt constraints deletion: 6172 -> 3088
1665.41/1666.01	c learnt constraints deletion: 6179 -> 3093
1667.81/1668.49	c learnt constraints deletion: 6179 -> 3095
1670.22/1670.85	c learnt constraints deletion: 6174 -> 3092
1672.82/1673.47	c learnt constraints deletion: 6167 -> 3087
1675.11/1675.75	c learnt constraints deletion: 6172 -> 3090
1677.71/1678.33	c learnt constraints deletion: 6181 -> 3096
1680.21/1680.84	c learnt constraints deletion: 6178 -> 3094
1682.81/1683.42	c learnt constraints deletion: 6175 -> 3091
1685.51/1686.15	c learnt constraints deletion: 6174 -> 3092
1687.91/1688.57	c learnt constraints deletion: 6170 -> 3090
1690.50/1691.15	c learnt constraints deletion: 6179 -> 3095
1693.00/1693.62	c learnt constraints deletion: 6171 -> 3089
1695.51/1696.13	c learnt constraints deletion: 6178 -> 3093
1697.90/1698.57	c learnt constraints deletion: 6170 -> 3090
1700.50/1701.18	c learnt constraints deletion: 6175 -> 3095
1703.21/1703.83	c learnt constraints deletion: 6173 -> 3093
1705.80/1706.40	c learnt constraints deletion: 6177 -> 3092
1708.30/1708.98	c learnt constraints deletion: 6180 -> 3095
1710.80/1711.47	c learnt constraints deletion: 6174 -> 3091
1714.00/1714.65	c learnt constraints deletion: 6781 -> 3396
1717.09/1717.74	c learnt constraints deletion: 6775 -> 3391
1720.10/1720.79	c learnt constraints deletion: 6774 -> 3392
1722.90/1723.57	c learnt constraints deletion: 6777 -> 3392
1725.59/1726.22	c learnt constraints deletion: 6772 -> 3386
1727.99/1728.63	c learnt constraints deletion: 6780 -> 3392
1730.39/1731.06	c learnt constraints deletion: 6774 -> 3388
1733.00/1733.66	c learnt constraints deletion: 6762 -> 3383
1735.60/1736.20	c learnt constraints deletion: 6758 -> 3381
1738.09/1738.72	c learnt constraints deletion: 6778 -> 3393
1740.79/1741.49	c learnt constraints deletion: 6779 -> 3392
1743.69/1744.31	c learnt constraints deletion: 6776 -> 3392
1746.10/1746.73	c learnt constraints deletion: 6778 -> 3391
1748.90/1749.59	c learnt constraints deletion: 6777 -> 3393
1751.49/1752.17	c learnt constraints deletion: 6775 -> 3392
1754.39/1755.06	c learnt constraints deletion: 6777 -> 3390
1757.09/1757.72	c learnt constraints deletion: 6769 -> 3385
1759.79/1760.48	c learnt constraints deletion: 6777 -> 3390
1762.49/1763.11	c learnt constraints deletion: 6778 -> 3391
1765.29/1765.93	c learnt constraints deletion: 6774 -> 3390
1767.89/1768.51	c learnt constraints deletion: 6776 -> 3388
1770.30/1770.95	c learnt constraints deletion: 6777 -> 3390
1772.99/1773.61	c learnt constraints deletion: 6775 -> 3390
1775.49/1776.10	c learnt constraints deletion: 6778 -> 3391
1778.19/1778.83	c learnt constraints deletion: 6777 -> 3391
1780.78/1781.43	c learnt constraints deletion: 6776 -> 3392
1783.38/1784.01	c learnt constraints deletion: 6778 -> 3391
1786.09/1786.72	c learnt constraints deletion: 6768 -> 3388
1788.58/1789.27	c learnt constraints deletion: 6779 -> 3394
1791.38/1792.08	c learnt constraints deletion: 6774 -> 3393
1794.08/1794.76	c learnt constraints deletion: 6769 -> 3387
1796.79/1797.48	c learnt constraints deletion: 6774 -> 3390
1799.47/1800.12	c learnt constraints deletion: 6776 -> 3390

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3707154-1338147878/watcher-3707154-1338147878 -o /tmp/evaluation-result-3707154-1338147878/solver-3707154-1338147878 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707154-1338147878.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.10 2.03 2.00 3/178 17719
/proc/meminfo: memFree=31372292/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 806 0 0 0 0 0 0 0 20 0 1 0 280912607 6356992 726 33554432000 4194304 8973514 140733305281824 140735900547288 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17719/statm: 1552 726 415 1167 0 333 0

[startup+0.089854 s]
/proc/loadavg: 2.10 2.03 2.00 3/178 17719
/proc/meminfo: memFree=31372292/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=8256 CPUtime=0.08 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 1371 0 0 0 8 0 0 0 20 0 1 0 280912607 8454144 1291 33554432000 4194304 8973514 140733305281824 140735900547288 4459452 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17719/statm: 2064 1291 455 1167 0 845 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 8256

[startup+0.100224 s]
/proc/loadavg: 2.10 2.03 2.00 3/178 17719
/proc/meminfo: memFree=31372292/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=8256 CPUtime=0.09 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 1371 0 0 0 9 0 0 0 20 0 1 0 280912607 8454144 1291 33554432000 4194304 8973514 140733305281824 140735900547288 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17719/statm: 2064 1291 455 1167 0 845 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8256

[startup+0.300186 s]
/proc/loadavg: 2.10 2.03 2.00 3/178 17719
/proc/meminfo: memFree=31372292/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=11328 CPUtime=0.29 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 2004 0 0 0 29 0 0 0 20 0 1 0 280912607 11599872 1924 33554432000 4194304 8973514 140733305281824 140735900547288 4459516 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17719/statm: 2832 1924 455 1167 0 1613 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11328

[startup+0.700207 s]
/proc/loadavg: 2.10 2.03 2.00 3/178 17719
/proc/meminfo: memFree=31372292/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=14400 CPUtime=0.69 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 2912 0 0 0 69 0 0 0 20 0 1 0 280912607 14745600 2832 33554432000 4194304 8973514 140733305281824 140733305263808 4459177 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17719/statm: 3600 2832 456 1167 0 2381 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14400

[startup+1.50017 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 17720
/proc/meminfo: memFree=31362976/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=16448 CPUtime=1.48 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 3314 0 0 0 148 0 0 0 20 0 1 0 280912607 16842752 3234 33554432000 4194304 8973514 140733305281824 140733305264920 6842040 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17719/statm: 4112 3234 456 1167 0 2893 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16448

[startup+3.10018 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 17720
/proc/meminfo: memFree=31360248/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=17472 CPUtime=3.09 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 3680 0 0 0 308 1 0 0 20 0 1 0 280912607 17891328 3600 33554432000 4194304 8973514 140733305281824 140733305281088 4462456 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17719/statm: 4368 3600 456 1167 0 3149 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17472

[startup+6.30022 s]
/proc/loadavg: 2.09 2.03 2.00 3/179 17720
/proc/meminfo: memFree=31357396/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=20544 CPUtime=6.29 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 4448 0 0 0 626 3 0 0 20 0 1 0 280912607 21037056 4368 33554432000 4194304 8973514 140733305281824 140733305263808 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17719/statm: 5136 4368 456 1167 0 3917 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20544

[startup+12.7002 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 17720
/proc/meminfo: memFree=31353080/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=23616 CPUtime=12.68 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 5216 0 0 0 1262 6 0 0 20 0 1 0 280912607 24182784 5136 33554432000 4194304 8973514 140733305281824 140733305281088 6852988 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17719/statm: 5904 5136 456 1167 0 4685 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 23616

[startup+25.5002 s]
/proc/loadavg: 2.07 2.03 2.00 3/180 17721
/proc/meminfo: memFree=31351336/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=25664 CPUtime=25.48 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 5728 0 0 0 2536 12 0 0 20 0 1 0 280912607 26279936 5648 33554432000 4194304 8973514 140733305281824 140733305263808 6570552 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/17719/statm: 6416 5648 456 1167 0 5197 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25664

[startup+51.1003 s]
/proc/loadavg: 2.04 2.03 2.00 3/180 17721
/proc/meminfo: memFree=31350080/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=25664 CPUtime=51.07 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 9830 0 0 0 5083 24 0 0 20 0 1 0 280912607 26279936 5648 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 6416 5648 456 1167 0 5197 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25664

[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 17721
/proc/meminfo: memFree=31344056/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=29760 CPUtime=102.26 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 18281 0 0 0 10174 52 0 0 20 0 1 0 280912607 30474240 6672 33554432000 4194304 8973514 140733305281824 140733305264920 4427632 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 7440 6672 456 1167 0 6221 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 29760

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 17721
/proc/meminfo: memFree=31344784/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=33856 CPUtime=162.24 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 28781 0 0 0 16143 81 0 0 20 0 1 0 280912607 34668544 7696 33554432000 4194304 8973514 140733305281824 140733305264920 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 8464 7696 456 1167 0 7245 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 33856

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 17722
/proc/meminfo: memFree=31340732/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=33856 CPUtime=222.22 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 36984 0 0 0 22111 111 0 0 20 0 1 0 280912607 34668544 7696 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 8464 7696 456 1167 0 7245 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 33856

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17722
/proc/meminfo: memFree=31340720/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=37952 CPUtime=282.21 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 47488 0 0 0 28075 146 0 0 20 0 1 0 280912607 38862848 8720 33554432000 4194304 8973514 140733305281824 140733305264920 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 9488 8720 456 1167 0 8269 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 37952

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17725
/proc/meminfo: memFree=31339096/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=33856 CPUtime=342.19 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 55684 0 0 0 34040 179 0 0 20 0 1 0 280912607 34668544 7696 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 8464 7696 456 1167 0 7245 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 33856

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17725
/proc/meminfo: memFree=31338456/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=35904 CPUtime=402.16 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 67985 0 0 0 40003 213 0 0 20 0 1 0 280912607 36765696 8208 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 8976 8208 456 1167 0 7757 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 35904

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17725
/proc/meminfo: memFree=31334840/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=37952 CPUtime=462.14 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 84124 0 0 0 45966 248 0 0 20 0 1 0 280912607 38862848 8720 33554432000 4194304 8973514 140733305281824 140733305264920 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 9488 8720 456 1167 0 8269 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 37952

[startup+522.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 17726
/proc/meminfo: memFree=31335516/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=42048 CPUtime=522.13 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 98212 0 0 0 51935 278 0 0 20 0 1 0 280912607 43057152 9744 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 10512 9744 456 1167 0 9293 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 42048

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 17726
/proc/meminfo: memFree=31334888/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=38976 CPUtime=582.1 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 113836 0 0 0 57897 313 0 0 20 0 1 0 280912607 39911424 8976 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 9744 8976 456 1167 0 8525 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 38976

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17727
/proc/meminfo: memFree=31330196/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=44096 CPUtime=881.99 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 186601 0 0 0 87719 480 0 0 20 0 1 0 280912607 45154304 10256 33554432000 4194304 8973514 140733305281824 140733305281088 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 11024 10256 456 1167 0 9805 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 44096

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17730
/proc/meminfo: memFree=31326136/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=46144 CPUtime=941.96 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 201205 0 0 0 93688 508 0 0 20 0 1 0 280912607 47251456 10768 33554432000 4194304 8973514 140733305281824 140733305264920 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 11536 10768 456 1167 0 10317 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 46144

[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 17753
/proc/meminfo: memFree=31330208/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=43072 CPUtime=1001.94 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 215553 0 0 0 99653 541 0 0 20 0 1 0 280912607 44105728 10000 33554432000 4194304 8973514 140733305281824 140733305281088 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 10768 10000 456 1167 0 9549 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 43072

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 17753
/proc/meminfo: memFree=31332924/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=38976 CPUtime=1061.92 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 227854 0 0 0 105618 574 0 0 20 0 1 0 280912607 39911424 8976 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 9744 8976 456 1167 0 8525 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 38976

[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17754
/proc/meminfo: memFree=31328756/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=42048 CPUtime=1121.9 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 242452 0 0 0 111585 605 0 0 20 0 1 0 280912607 43057152 9744 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 10512 9744 456 1167 0 9293 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 42048

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17754
/proc/meminfo: memFree=31325700/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=42048 CPUtime=1181.88 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 257305 0 0 0 117552 636 0 0 20 0 1 0 280912607 43057152 9744 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 10512 9744 456 1167 0 9293 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 42048

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17793
/proc/meminfo: memFree=31326836/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=42048 CPUtime=1241.85 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 272680 0 0 0 123518 667 0 0 20 0 1 0 280912607 43057152 9744 33554432000 4194304 8973514 140733305281824 140733305281320 7841851 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 10512 9744 456 1167 0 9293 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 42048

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 17793
/proc/meminfo: memFree=31298744/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=48192 CPUtime=1301.84 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 292917 0 0 0 129485 699 0 0 20 0 1 0 280912607 49348608 11280 33554432000 4194304 8973514 140733305281824 140733305281320 4208870 0 2 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 12048 11280 456 1167 0 10829 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 48192

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 17793
/proc/meminfo: memFree=31296040/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=42048 CPUtime=1361.82 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 309047 0 0 0 135452 730 0 0 20 0 1 0 280912607 43057152 9744 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 10512 9744 456 1167 0 9293 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 42048

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17794
/proc/meminfo: memFree=31289588/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=46144 CPUtime=1421.81 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 325689 0 0 0 141419 762 0 0 20 0 1 0 280912607 47251456 10768 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 11536 10768 456 1167 0 10317 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 46144

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17794
/proc/meminfo: memFree=31287440/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=42048 CPUtime=1481.77 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 343620 0 0 0 147385 792 0 0 20 0 1 0 280912607 43057152 9744 33554432000 4194304 8973514 140733305281824 140733305281088 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 10512 9744 456 1167 0 9293 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 42048

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 17797
/proc/meminfo: memFree=31289600/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=42048 CPUtime=1541.75 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 360782 0 0 0 153352 823 0 0 20 0 1 0 280912607 43057152 9744 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 10512 9744 456 1167 0 9293 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 42048

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17797
/proc/meminfo: memFree=31286156/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=42048 CPUtime=1601.72 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 375389 0 0 0 159319 853 0 0 20 0 1 0 280912607 43057152 9744 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 10512 9744 456 1167 0 9293 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 42048

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17797
/proc/meminfo: memFree=31290640/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=42048 CPUtime=1661.72 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 384861 0 0 0 165284 888 0 0 20 0 1 0 280912607 43057152 9744 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 10512 9744 456 1167 0 9293 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 42048

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17798
/proc/meminfo: memFree=31277776/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=46144 CPUtime=1721.7 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 396134 0 0 0 171249 921 0 0 20 0 1 0 280912607 47251456 10768 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 11536 10768 456 1167 0 10317 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 46144

[startup+1782.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/179 17798
/proc/meminfo: memFree=31271432/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=50240 CPUtime=1781.69 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 406888 0 0 0 177215 954 0 0 20 0 1 0 280912607 51445760 11792 33554432000 4194304 8973514 140733305281824 140733305281320 7937344 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 12560 11792 456 1167 0 11341 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 50240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 17798
/proc/meminfo: memFree=31269484/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=50240 CPUtime=1800.09 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 409458 0 0 0 179046 963 0 0 20 0 1 0 280912607 51445760 11792 33554432000 4194304 8973514 140733305281824 140733305281320 4459352 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 12560 11792 456 1167 0 11341 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 50240

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

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

[startup+1800.71 s]
/proc/loadavg: 2.10 2.03 2.01 3/179 17798
/proc/meminfo: memFree=31269484/32873844 swapFree=7616/7616
[pid=17719] ppid=17717 vsize=50240 CPUtime=1800.09 cores=0,2,4,6
/proc/17719/stat : 17719 (toysat) R 17717 17719 15420 0 -1 4202496 409458 0 0 0 179046 963 0 0 20 0 1 0 280912607 51445760 11792 33554432000 4194304 8973514 140733305281824 140733305281320 4459352 0 0 0 34082818 0 0 0 17 2 0 0 0 0 0
/proc/17719/statm: 12560 11792 456 1167 0 11341 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 50240

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.71
CPU time (s): 1800.1
CPU user time (s): 1790.46
CPU system time (s): 9.63354
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 58432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.46
system time used= 9.63354
maximum resident set size= 55360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 409458
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= 277
involuntary context switches= 2798

runsolver used 3.35949 second user time and 8.93664 second system time

The end

Launcher Data 

Begin job on node135 at 2012-05-27 21:44:38
IDJOB=3707154
IDBENCH=89835
IDSOLVER=2285
FILE ID=node135/3707154-1338147878
RUNJOBID= node135-1338118211-15436
PBS_JOBID= 14624474
Free space on /tmp= 71636 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-1616732.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707154-1338147878/watcher-3707154-1338147878 -o /tmp/evaluation-result-3707154-1338147878/solver-3707154-1338147878 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3707154-1338147878.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= bb6edae9b271ecf76d3d6c31c88b027d
RANDOM SEED=319294368

node135.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5238.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31372556 kB
Buffers:          299716 kB
Cached:           352224 kB
SwapCached:         1720 kB
Active:           569076 kB
Inactive:         115760 kB
Active(anon):      23476 kB
Inactive(anon):    12016 kB
Active(file):     545600 kB
Inactive(file):   103744 kB
Unevictable:        7616 kB
Mlocked:            7616 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              7304 kB
Writeback:             0 kB
AnonPages:         38732 kB
Mapped:            13520 kB
Shmem:               132 kB
Slab:             674816 kB
SReclaimable:     116768 kB
SUnreclaim:       558048 kB
KernelStack:        1472 kB
PageTables:         4000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     147472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71628 MiB
End job on node135 at 2012-05-27 22:14:41