Trace number 3706721

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.11 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
MD5SUM9828b7020b058ee74169951dda258843
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark188
Best CPU time to get the best result obtained on this benchmark1796.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 186
Optimality of the best value was proved NO
Number of variables476
Total number of constraints476
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 constraints476
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 476
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 476
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 476
Number of bits of the biggest sum of numbers9
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.05	c 2012-05-27T12:03:20+0200
0.00/0.05	c arch = x86_64
0.00/0.05	c os = linux
0.00/0.05	c compiler = ghc 7.4
0.00/0.05	c packages:
0.00/0.05	c   OptDir-0.0.1
0.00/0.05	c   array-0.4.0.0
0.00/0.05	c   base-4.5.0.0
0.00/0.05	c   bytestring-0.9.2.1
0.00/0.05	c   containers-0.4.2.1
0.00/0.05	c   deepseq-1.3.0.0
0.00/0.05	c   mtl-2.1.1
0.00/0.05	c   old_locale-1.0.0.4
0.00/0.05	c   parse_dimacs-1.2
0.00/0.05	c   parsec-3.1.2
0.00/0.05	c   queue-0.1.2
0.00/0.05	c   stm-2.3
0.00/0.05	c   time-1.4
0.00/0.05	c command line = ["--pb","HOME/instance-3706721-1338113000.opb"]
0.00/0.05	c #vars 476
0.00/0.05	c #constraints 476
0.00/0.05	c Solving starts ...
0.00/0.05	c solving time = 0.002s
0.00/0.05	c #decision = 248
0.00/0.05	c #conflict = 0
0.00/0.05	c #restart = 0
0.00/0.05	o 228
0.00/0.05	c Solving starts ...
0.00/0.06	c solving time = 0.007s
0.00/0.06	c #decision = 489
0.00/0.06	c #conflict = 2
0.00/0.06	c #restart = 0
0.00/0.06	o 227
0.00/0.06	c Solving starts ...
0.00/0.07	c solving time = 0.008s
0.00/0.07	c #decision = 738
0.00/0.07	c #conflict = 6
0.00/0.07	c #restart = 0
0.00/0.07	o 226
0.00/0.07	c Solving starts ...
0.07/0.08	c solving time = 0.009s
0.07/0.08	c #decision = 994
0.07/0.08	c #conflict = 11
0.07/0.08	c #restart = 0
0.07/0.08	o 225
0.07/0.08	c Solving starts ...
0.07/0.09	c solving time = 0.014s
0.07/0.09	c #decision = 1260
0.07/0.09	c #conflict = 18
0.07/0.09	c #restart = 0
0.07/0.09	o 224
0.07/0.09	c Solving starts ...
0.09/0.10	c solving time = 0.013s
0.09/0.10	c #decision = 1560
0.09/0.10	c #conflict = 26
0.09/0.10	c #restart = 0
0.09/0.10	o 223
0.09/0.11	c Solving starts ...
0.89/1.00	c learnt constraints deletion: 498 -> 249
1.68/1.75	c learnt constraints deletion: 586 -> 293
2.69/2.78	c learnt constraints deletion: 695 -> 352
3.78/3.81	c learnt constraints deletion: 752 -> 380
4.69/4.70	c learnt constraints deletion: 737 -> 371
5.69/5.72	c learnt constraints deletion: 799 -> 406
6.59/6.66	c learnt constraints deletion: 796 -> 403
7.48/7.50	c learnt constraints deletion: 795 -> 402
8.39/8.45	c learnt constraints deletion: 854 -> 433
9.29/9.38	c learnt constraints deletion: 858 -> 436
10.19/10.28	c learnt constraints deletion: 861 -> 444
11.18/11.27	c learnt constraints deletion: 858 -> 436
12.38/12.42	c learnt constraints deletion: 916 -> 465
13.48/13.56	c learnt constraints deletion: 925 -> 479
14.49/14.59	c learnt constraints deletion: 914 -> 462
15.58/15.67	c learnt constraints deletion: 920 -> 465
16.68/16.70	c learnt constraints deletion: 920 -> 467
17.38/17.43	c learnt constraints deletion: 782 -> 391
18.69/18.76	c learnt constraints deletion: 982 -> 495
19.88/19.94	c learnt constraints deletion: 983 -> 497
20.99/21.02	c learnt constraints deletion: 989 -> 504
21.99/22.04	c learnt constraints deletion: 988 -> 497
23.09/23.13	c learnt constraints deletion: 988 -> 500
24.09/24.17	c learnt constraints deletion: 991 -> 503
25.08/25.18	c learnt constraints deletion: 987 -> 503
25.99/26.01	c learnt constraints deletion: 836 -> 418
27.39/27.43	c learnt constraints deletion: 1068 -> 542
28.49/28.55	c learnt constraints deletion: 1065 -> 539
29.78/29.81	c learnt constraints deletion: 1062 -> 538
30.88/30.97	c learnt constraints deletion: 1058 -> 533
31.88/31.93	c learnt constraints deletion: 1069 -> 542
32.99/33.03	c learnt constraints deletion: 1068 -> 543
34.09/34.15	c learnt constraints deletion: 1062 -> 539
35.28/35.31	c learnt constraints deletion: 1063 -> 539
36.38/36.41	c learnt constraints deletion: 1065 -> 539
37.58/37.66	c learnt constraints deletion: 1066 -> 545
38.58/38.61	c learnt constraints deletion: 953 -> 477
39.88/39.94	c learnt constraints deletion: 1146 -> 579
41.18/41.21	c learnt constraints deletion: 1146 -> 579
42.28/42.33	c learnt constraints deletion: 1144 -> 580
43.68/43.75	c learnt constraints deletion: 1149 -> 582
44.98/45.06	c learnt constraints deletion: 1145 -> 580
46.19/46.24	c learnt constraints deletion: 1142 -> 575
47.58/47.67	c learnt constraints deletion: 1154 -> 591
49.08/49.10	c learnt constraints deletion: 1145 -> 579
50.37/50.43	c learnt constraints deletion: 1148 -> 581
51.68/51.79	c learnt constraints deletion: 1147 -> 580
52.98/53.07	c learnt constraints deletion: 1150 -> 584
54.27/54.39	c learnt constraints deletion: 1139 -> 573
55.78/55.80	c learnt constraints deletion: 1156 -> 588
57.18/57.26	c learnt constraints deletion: 1150 -> 583
58.77/58.87	c learnt constraints deletion: 1224 -> 612
60.48/60.57	c learnt constraints deletion: 1245 -> 630
62.17/62.20	c learnt constraints deletion: 1244 -> 631
63.57/63.69	c learnt constraints deletion: 1243 -> 627
65.07/65.13	c learnt constraints deletion: 1250 -> 640
66.58/66.63	c learnt constraints deletion: 1240 -> 628
68.18/68.22	c learnt constraints deletion: 1248 -> 633
69.67/69.77	c learnt constraints deletion: 1241 -> 630
71.18/71.25	c learnt constraints deletion: 1240 -> 625
72.68/72.71	c learnt constraints deletion: 1238 -> 626
74.17/74.20	c learnt constraints deletion: 1241 -> 630
75.47/75.56	c learnt constraints deletion: 1244 -> 631
76.98/77.06	c learnt constraints deletion: 1245 -> 636
78.38/78.48	c learnt constraints deletion: 1240 -> 628
79.77/79.88	c learnt constraints deletion: 1237 -> 625
81.28/81.34	c learnt constraints deletion: 1243 -> 631
82.77/82.83	c learnt constraints deletion: 1235 -> 623
84.27/84.33	c learnt constraints deletion: 1243 -> 631
85.57/85.67	c learnt constraints deletion: 1238 -> 623
87.07/87.11	c learnt constraints deletion: 1241 -> 630
88.47/88.58	c learnt constraints deletion: 1240 -> 628
90.18/90.23	c learnt constraints deletion: 1343 -> 679
91.67/91.76	c learnt constraints deletion: 1341 -> 676
93.17/93.20	c learnt constraints deletion: 1343 -> 675
94.48/94.56	c learnt constraints deletion: 1341 -> 678
95.97/96.04	c learnt constraints deletion: 1335 -> 670
97.57/97.62	c learnt constraints deletion: 1332 -> 669
99.06/99.14	c learnt constraints deletion: 1342 -> 678
100.47/100.59	c learnt constraints deletion: 1339 -> 676
101.97/102.03	c learnt constraints deletion: 1345 -> 680
103.27/103.36	c learnt constraints deletion: 1338 -> 672
104.77/104.81	c learnt constraints deletion: 1341 -> 678
106.17/106.29	c learnt constraints deletion: 1340 -> 674
107.77/107.82	c learnt constraints deletion: 1343 -> 679
109.06/109.20	c learnt constraints deletion: 1340 -> 675
110.66/110.71	c learnt constraints deletion: 1343 -> 675
112.17/112.26	c learnt constraints deletion: 1331 -> 668
113.57/113.64	c learnt constraints deletion: 1344 -> 678
115.06/115.12	c learnt constraints deletion: 1336 -> 672
116.47/116.51	c learnt constraints deletion: 1343 -> 676
117.77/117.87	c learnt constraints deletion: 1342 -> 678
119.27/119.33	c learnt constraints deletion: 1337 -> 673
120.66/120.71	c learnt constraints deletion: 1337 -> 671
121.98/122.10	c learnt constraints deletion: 1342 -> 675
123.46/123.59	c learnt constraints deletion: 1345 -> 677
125.17/125.21	c learnt constraints deletion: 1339 -> 675
126.77/126.89	c learnt constraints deletion: 1339 -> 674
128.46/128.54	c learnt constraints deletion: 1341 -> 676
130.06/130.15	c learnt constraints deletion: 1337 -> 674
131.66/131.76	c learnt constraints deletion: 1343 -> 681
133.46/133.57	c learnt constraints deletion: 1453 -> 732
135.37/135.45	c learnt constraints deletion: 1450 -> 725
137.07/137.18	c learnt constraints deletion: 1445 -> 725
138.96/139.04	c learnt constraints deletion: 1456 -> 730
140.86/140.91	c learnt constraints deletion: 1453 -> 730
142.66/142.74	c learnt constraints deletion: 1451 -> 732
144.56/144.63	c learnt constraints deletion: 1452 -> 729
146.17/146.20	c learnt constraints deletion: 1456 -> 732
147.76/147.80	c learnt constraints deletion: 1450 -> 727
149.26/149.34	c learnt constraints deletion: 1455 -> 733
150.87/150.97	c learnt constraints deletion: 1454 -> 735
152.36/152.48	c learnt constraints deletion: 1454 -> 730
153.96/154.06	c learnt constraints deletion: 1451 -> 731
155.56/155.63	c learnt constraints deletion: 1451 -> 729
157.17/157.23	c learnt constraints deletion: 1453 -> 731
158.86/158.99	c learnt constraints deletion: 1455 -> 734
160.36/160.49	c learnt constraints deletion: 1458 -> 734
162.05/162.11	c learnt constraints deletion: 1450 -> 733
163.46/163.58	c learnt constraints deletion: 1454 -> 732
165.06/165.14	c learnt constraints deletion: 1459 -> 735
166.45/166.59	c learnt constraints deletion: 1450 -> 731
168.05/168.14	c learnt constraints deletion: 1455 -> 734
169.46/169.54	c learnt constraints deletion: 1455 -> 731
170.76/170.87	c learnt constraints deletion: 1453 -> 732
172.06/172.13	c learnt constraints deletion: 1448 -> 729
173.35/173.46	c learnt constraints deletion: 1452 -> 730
174.66/174.71	c learnt constraints deletion: 1452 -> 731
175.87/175.99	c learnt constraints deletion: 1454 -> 733
177.26/177.35	c learnt constraints deletion: 1453 -> 734
178.45/178.51	c learnt constraints deletion: 1452 -> 731
179.65/179.78	c learnt constraints deletion: 1452 -> 732
180.96/181.07	c learnt constraints deletion: 1457 -> 734
182.25/182.33	c learnt constraints deletion: 1457 -> 736
183.56/183.67	c learnt constraints deletion: 1451 -> 728
184.86/184.97	c learnt constraints deletion: 1458 -> 735
186.05/186.19	c learnt constraints deletion: 1454 -> 733
187.36/187.45	c learnt constraints deletion: 1453 -> 733
188.56/188.68	c learnt constraints deletion: 1458 -> 734
189.86/189.99	c learnt constraints deletion: 1454 -> 732
191.15/191.26	c learnt constraints deletion: 1457 -> 735
192.55/192.69	c learnt constraints deletion: 1579 -> 794
193.96/194.06	c learnt constraints deletion: 1583 -> 800
195.25/195.38	c learnt constraints deletion: 1577 -> 792
196.65/196.79	c learnt constraints deletion: 1573 -> 791
198.15/198.27	c learnt constraints deletion: 1574 -> 791
199.75/199.89	c learnt constraints deletion: 1580 -> 793
201.35/201.47	c learnt constraints deletion: 1581 -> 797
202.95/203.06	c learnt constraints deletion: 1574 -> 791
204.56/204.61	c learnt constraints deletion: 1580 -> 795
206.15/206.26	c learnt constraints deletion: 1580 -> 797
207.65/207.74	c learnt constraints deletion: 1581 -> 795
209.15/209.28	c learnt constraints deletion: 1574 -> 789
210.66/210.74	c learnt constraints deletion: 1571 -> 790
212.15/212.23	c learnt constraints deletion: 1576 -> 791
213.55/213.64	c learnt constraints deletion: 1573 -> 791
215.05/215.18	c learnt constraints deletion: 1583 -> 799
216.75/216.85	c learnt constraints deletion: 1579 -> 797
218.45/218.58	c learnt constraints deletion: 1584 -> 800
220.25/220.30	c learnt constraints deletion: 1578 -> 800
221.85/221.93	c learnt constraints deletion: 1572 -> 787
223.35/223.43	c learnt constraints deletion: 1573 -> 788
225.04/225.14	c learnt constraints deletion: 1574 -> 789
226.75/226.83	c learnt constraints deletion: 1579 -> 796
228.55/228.63	c learnt constraints deletion: 1571 -> 788
230.25/230.34	c learnt constraints deletion: 1576 -> 790
231.75/231.82	c learnt constraints deletion: 1570 -> 786
233.35/233.43	c learnt constraints deletion: 1572 -> 787
235.15/235.30	c learnt constraints deletion: 1576 -> 790
236.95/237.04	c learnt constraints deletion: 1581 -> 795
238.65/238.74	c learnt constraints deletion: 1580 -> 796
240.34/240.40	c learnt constraints deletion: 1576 -> 795
242.05/242.11	c learnt constraints deletion: 1574 -> 791
243.64/243.79	c learnt constraints deletion: 1580 -> 793
245.35/245.40	c learnt constraints deletion: 1574 -> 789
246.95/247.09	c learnt constraints deletion: 1570 -> 790
248.75/248.81	c learnt constraints deletion: 1572 -> 790
250.34/250.47	c learnt constraints deletion: 1578 -> 793
252.14/252.29	c learnt constraints deletion: 1578 -> 797
253.74/253.85	c learnt constraints deletion: 1571 -> 788
255.25/255.38	c learnt constraints deletion: 1576 -> 791
256.74/256.87	c learnt constraints deletion: 1575 -> 791
258.24/258.37	c learnt constraints deletion: 1579 -> 796
259.74/259.88	c learnt constraints deletion: 1575 -> 794
261.45/261.55	c learnt constraints deletion: 1577 -> 794
263.35/263.42	c learnt constraints deletion: 1575 -> 795
265.15/265.29	c learnt constraints deletion: 1580 -> 799
266.94/267.01	c learnt constraints deletion: 1575 -> 792
268.64/268.75	c learnt constraints deletion: 1584 -> 799
270.35/270.50	c learnt constraints deletion: 1580 -> 799
272.24/272.33	c learnt constraints deletion: 1582 -> 802
274.04/274.10	c learnt constraints deletion: 1579 -> 796
275.84/275.92	c learnt constraints deletion: 1582 -> 799
277.74/277.82	c learnt constraints deletion: 1578 -> 794
279.54/279.61	c learnt constraints deletion: 1575 -> 791
281.24/281.34	c learnt constraints deletion: 1576 -> 792
283.04/283.19	c learnt constraints deletion: 1583 -> 800
285.23/285.31	c learnt constraints deletion: 1711 -> 863
287.14/287.25	c learnt constraints deletion: 1701 -> 851
289.04/289.13	c learnt constraints deletion: 1708 -> 856
290.54/290.69	c learnt constraints deletion: 1712 -> 858
292.14/292.25	c learnt constraints deletion: 1709 -> 858
293.74/293.87	c learnt constraints deletion: 1708 -> 856
295.24/295.35	c learnt constraints deletion: 1715 -> 862
296.85/296.92	c learnt constraints deletion: 1709 -> 862
298.44/298.57	c learnt constraints deletion: 1714 -> 862
300.34/300.41	c learnt constraints deletion: 1707 -> 856
302.14/302.28	c learnt constraints deletion: 1707 -> 856
303.94/304.03	c learnt constraints deletion: 1710 -> 859
305.74/305.82	c learnt constraints deletion: 1711 -> 859
307.33/307.42	c learnt constraints deletion: 1711 -> 860
309.04/309.18	c learnt constraints deletion: 1709 -> 860
311.03/311.13	c learnt constraints deletion: 1719 -> 868
312.94/313.00	c learnt constraints deletion: 1710 -> 857
314.64/314.76	c learnt constraints deletion: 1708 -> 858
316.53/316.64	c learnt constraints deletion: 1712 -> 861
318.33/318.47	c learnt constraints deletion: 1708 -> 857
320.33/320.41	c learnt constraints deletion: 1713 -> 861
322.04/322.18	c learnt constraints deletion: 1712 -> 858
323.93/324.04	c learnt constraints deletion: 1714 -> 862
325.74/325.85	c learnt constraints deletion: 1711 -> 861
327.43/327.58	c learnt constraints deletion: 1716 -> 861
329.33/329.45	c learnt constraints deletion: 1718 -> 865
330.94/331.07	c learnt constraints deletion: 1703 -> 857
332.63/332.72	c learnt constraints deletion: 1714 -> 865
334.43/334.51	c learnt constraints deletion: 1711 -> 864
336.13/336.27	c learnt constraints deletion: 1708 -> 857
337.83/337.98	c learnt constraints deletion: 1705 -> 856
339.43/339.59	c learnt constraints deletion: 1711 -> 861
341.23/341.39	c learnt constraints deletion: 1705 -> 856
342.93/343.06	c learnt constraints deletion: 1706 -> 856
344.73/344.85	c learnt constraints deletion: 1711 -> 860
346.53/346.64	c learnt constraints deletion: 1711 -> 861
348.43/348.52	c learnt constraints deletion: 1712 -> 860
350.23/350.37	c learnt constraints deletion: 1711 -> 862
352.23/352.32	c learnt constraints deletion: 1713 -> 861
354.14/354.28	c learnt constraints deletion: 1712 -> 861
356.13/356.23	c learnt constraints deletion: 1719 -> 867
357.83/357.99	c learnt constraints deletion: 1713 -> 863
359.54/359.64	c learnt constraints deletion: 1710 -> 861
361.03/361.16	c learnt constraints deletion: 1717 -> 865
362.73/362.81	c learnt constraints deletion: 1716 -> 865
364.42/364.50	c learnt constraints deletion: 1712 -> 862
366.03/366.18	c learnt constraints deletion: 1715 -> 864
367.73/367.89	c learnt constraints deletion: 1709 -> 861
369.63/369.75	c learnt constraints deletion: 1716 -> 867
371.23/371.38	c learnt constraints deletion: 1707 -> 856
372.83/372.98	c learnt constraints deletion: 1712 -> 861
374.32/374.47	c learnt constraints deletion: 1718 -> 867
376.13/376.24	c learnt constraints deletion: 1712 -> 861
377.82/377.99	c learnt constraints deletion: 1710 -> 857
379.62/379.73	c learnt constraints deletion: 1715 -> 863
381.42/381.56	c learnt constraints deletion: 1711 -> 861
383.33/383.46	c learnt constraints deletion: 1711 -> 862
385.02/385.19	c learnt constraints deletion: 1714 -> 866
386.62/386.76	c learnt constraints deletion: 1722 -> 870
388.23/388.38	c learnt constraints deletion: 1713 -> 861
390.02/390.16	c learnt constraints deletion: 1715 -> 862
391.93/392.06	c learnt constraints deletion: 1713 -> 864
393.73/393.81	c learnt constraints deletion: 1713 -> 861
395.32/395.49	c learnt constraints deletion: 1720 -> 867
397.03/397.11	c learnt constraints deletion: 1709 -> 858
398.72/398.89	c learnt constraints deletion: 1719 -> 865
400.52/400.64	c learnt constraints deletion: 1707 -> 856
402.32/402.43	c learnt constraints deletion: 1710 -> 861
403.82/403.99	c learnt constraints deletion: 1704 -> 855
405.52/405.68	c learnt constraints deletion: 1708 -> 858
407.32/407.42	c learnt constraints deletion: 1713 -> 864
409.13/409.29	c learnt constraints deletion: 1712 -> 861
410.91/411.05	c learnt constraints deletion: 1708 -> 860
412.72/412.88	c learnt constraints deletion: 1716 -> 867
414.62/414.74	c learnt constraints deletion: 1717 -> 864
416.42/416.51	c learnt constraints deletion: 1714 -> 863
418.12/418.21	c learnt constraints deletion: 1717 -> 868
420.13/420.22	c learnt constraints deletion: 1860 -> 937
422.01/422.12	c learnt constraints deletion: 1864 -> 939
423.72/423.88	c learnt constraints deletion: 1864 -> 937
425.53/425.70	c learnt constraints deletion: 1850 -> 925
427.42/427.58	c learnt constraints deletion: 1861 -> 933
429.22/429.34	c learnt constraints deletion: 1860 -> 933
430.91/431.05	c learnt constraints deletion: 1862 -> 932
432.81/432.94	c learnt constraints deletion: 1861 -> 937
434.72/434.82	c learnt constraints deletion: 1858 -> 932
436.41/436.60	c learnt constraints deletion: 1858 -> 931
438.41/438.58	c learnt constraints deletion: 1856 -> 930
440.21/440.38	c learnt constraints deletion: 1860 -> 934
442.21/442.34	c learnt constraints deletion: 1861 -> 934
444.01/444.18	c learnt constraints deletion: 1862 -> 936
445.91/446.08	c learnt constraints deletion: 1856 -> 931
448.31/448.42	c learnt constraints deletion: 1859 -> 933
450.21/450.38	c learnt constraints deletion: 1860 -> 936
452.21/452.33	c learnt constraints deletion: 1865 -> 939
454.12/454.23	c learnt constraints deletion: 1855 -> 932
456.01/456.18	c learnt constraints deletion: 1867 -> 940
457.91/458.06	c learnt constraints deletion: 1860 -> 934
459.91/460.01	c learnt constraints deletion: 1858 -> 931
461.92/462.01	c learnt constraints deletion: 1854 -> 930
463.71/463.81	c learnt constraints deletion: 1856 -> 932
465.71/465.89	c learnt constraints deletion: 1864 -> 940
467.71/467.81	c learnt constraints deletion: 1855 -> 933
469.41/469.60	c learnt constraints deletion: 1865 -> 937
471.60/471.71	c learnt constraints deletion: 1860 -> 931
473.51/473.67	c learnt constraints deletion: 1856 -> 932
475.51/475.68	c learnt constraints deletion: 1861 -> 933
477.41/477.59	c learnt constraints deletion: 1863 -> 937
479.41/479.51	c learnt constraints deletion: 1858 -> 933
481.11/481.25	c learnt constraints deletion: 1861 -> 934
482.82/482.96	c learnt constraints deletion: 1858 -> 933
484.60/484.71	c learnt constraints deletion: 1857 -> 931
486.41/486.50	c learnt constraints deletion: 1862 -> 935
488.10/488.22	c learnt constraints deletion: 1862 -> 938
489.90/490.04	c learnt constraints deletion: 1860 -> 935
491.80/491.91	c learnt constraints deletion: 1860 -> 933
493.60/493.72	c learnt constraints deletion: 1860 -> 934
495.41/495.55	c learnt constraints deletion: 1862 -> 939
497.21/497.35	c learnt constraints deletion: 1855 -> 932
499.21/499.36	c learnt constraints deletion: 1855 -> 932
501.01/501.14	c learnt constraints deletion: 1863 -> 938
502.70/502.83	c learnt constraints deletion: 1856 -> 937
504.50/504.65	c learnt constraints deletion: 1864 -> 939
506.30/506.43	c learnt constraints deletion: 1858 -> 933
507.90/508.03	c learnt constraints deletion: 1862 -> 935
509.60/509.74	c learnt constraints deletion: 1856 -> 936
511.41/511.56	c learnt constraints deletion: 1857 -> 932
513.31/513.45	c learnt constraints deletion: 1861 -> 936
515.21/515.36	c learnt constraints deletion: 1858 -> 932
517.10/517.22	c learnt constraints deletion: 1869 -> 940
518.90/519.03	c learnt constraints deletion: 1860 -> 933
520.60/520.77	c learnt constraints deletion: 1860 -> 936
522.40/522.53	c learnt constraints deletion: 1862 -> 938
524.20/524.34	c learnt constraints deletion: 1862 -> 934
525.80/525.98	c learnt constraints deletion: 1857 -> 935
527.50/527.68	c learnt constraints deletion: 1863 -> 937
529.19/529.38	c learnt constraints deletion: 1856 -> 933
531.00/531.16	c learnt constraints deletion: 1864 -> 937
532.70/532.84	c learnt constraints deletion: 1863 -> 940
534.70/534.86	c learnt constraints deletion: 1862 -> 936
536.61/536.77	c learnt constraints deletion: 1865 -> 941
538.20/538.33	c learnt constraints deletion: 1866 -> 941
539.80/539.97	c learnt constraints deletion: 1863 -> 940
541.50/541.65	c learnt constraints deletion: 1863 -> 941
543.40/543.57	c learnt constraints deletion: 1864 -> 938
545.29/545.44	c learnt constraints deletion: 1855 -> 934
547.30/547.42	c learnt constraints deletion: 1864 -> 942
549.20/549.36	c learnt constraints deletion: 1867 -> 943
551.00/551.12	c learnt constraints deletion: 1862 -> 939
553.00/553.11	c learnt constraints deletion: 1863 -> 937
554.69/554.83	c learnt constraints deletion: 1855 -> 932
556.50/556.64	c learnt constraints deletion: 1859 -> 936
558.39/558.53	c learnt constraints deletion: 1863 -> 937
560.29/560.45	c learnt constraints deletion: 1862 -> 936
562.40/562.57	c learnt constraints deletion: 1857 -> 934
564.39/564.56	c learnt constraints deletion: 1859 -> 936
566.40/566.54	c learnt constraints deletion: 1867 -> 941
568.39/568.54	c learnt constraints deletion: 1860 -> 937
570.49/570.66	c learnt constraints deletion: 1863 -> 940
572.59/572.79	c learnt constraints deletion: 1859 -> 938
574.79/574.94	c learnt constraints deletion: 1863 -> 940
576.80/576.99	c learnt constraints deletion: 1864 -> 940
578.89/579.03	c learnt constraints deletion: 1865 -> 944
580.99/581.16	c learnt constraints deletion: 1868 -> 942
583.09/583.22	c learnt constraints deletion: 1859 -> 938
585.19/585.36	c learnt constraints deletion: 1873 -> 948
587.29/587.45	c learnt constraints deletion: 1866 -> 941
589.29/589.49	c learnt constraints deletion: 1861 -> 938
591.39/591.59	c learnt constraints deletion: 1870 -> 944
593.09/593.21	c learnt constraints deletion: 1857 -> 930
594.79/594.93	c learnt constraints deletion: 1859 -> 934
596.59/596.72	c learnt constraints deletion: 1855 -> 932
598.30/598.45	c learnt constraints deletion: 1854 -> 930
599.98/600.18	c learnt constraints deletion: 1856 -> 932
601.79/601.92	c learnt constraints deletion: 1861 -> 936
603.70/603.84	c learnt constraints deletion: 1867 -> 941
605.48/605.60	c learnt constraints deletion: 1861 -> 935
607.39/607.59	c learnt constraints deletion: 1861 -> 936
609.58/609.71	c learnt constraints deletion: 1861 -> 938
611.59/611.79	c learnt constraints deletion: 1861 -> 937
613.39/613.51	c learnt constraints deletion: 1859 -> 936
615.28/615.47	c learnt constraints deletion: 1859 -> 939
617.19/617.38	c learnt constraints deletion: 1862 -> 937
619.58/619.72	c learnt constraints deletion: 2021 -> 1016
621.59/621.73	c learnt constraints deletion: 2020 -> 1017
623.59/623.74	c learnt constraints deletion: 2018 -> 1012
625.49/625.65	c learnt constraints deletion: 2021 -> 1014
627.29/627.48	c learnt constraints deletion: 2021 -> 1015
629.28/629.42	c learnt constraints deletion: 2024 -> 1018
631.38/631.52	c learnt constraints deletion: 2021 -> 1016
633.39/633.55	c learnt constraints deletion: 2027 -> 1020
635.38/635.51	c learnt constraints deletion: 2020 -> 1010
637.49/637.62	c learnt constraints deletion: 2019 -> 1012
639.48/639.66	c learnt constraints deletion: 2022 -> 1014
641.39/641.56	c learnt constraints deletion: 2022 -> 1013
643.38/643.55	c learnt constraints deletion: 2019 -> 1013
645.49/645.64	c learnt constraints deletion: 2024 -> 1014
647.38/647.53	c learnt constraints deletion: 2020 -> 1013
649.28/649.42	c learnt constraints deletion: 2025 -> 1016
651.28/651.46	c learnt constraints deletion: 2020 -> 1012
653.29/653.45	c learnt constraints deletion: 2023 -> 1016
655.28/655.48	c learnt constraints deletion: 2028 -> 1018
657.18/657.32	c learnt constraints deletion: 2019 -> 1015
659.08/659.26	c learnt constraints deletion: 2019 -> 1014
661.08/661.23	c learnt constraints deletion: 2017 -> 1011
662.98/663.11	c learnt constraints deletion: 2025 -> 1018
664.88/665.04	c learnt constraints deletion: 2025 -> 1016
666.77/666.98	c learnt constraints deletion: 2026 -> 1015
668.77/668.98	c learnt constraints deletion: 2023 -> 1014
670.68/670.89	c learnt constraints deletion: 2020 -> 1015
672.78/672.93	c learnt constraints deletion: 2023 -> 1017
674.77/674.93	c learnt constraints deletion: 2028 -> 1017
676.88/677.00	c learnt constraints deletion: 2020 -> 1014
678.98/679.16	c learnt constraints deletion: 2029 -> 1022
681.17/681.34	c learnt constraints deletion: 2022 -> 1015
683.38/683.50	c learnt constraints deletion: 2019 -> 1015
685.47/685.68	c learnt constraints deletion: 2018 -> 1013
687.58/687.73	c learnt constraints deletion: 2023 -> 1019
689.58/689.77	c learnt constraints deletion: 2027 -> 1020
691.97/692.10	c learnt constraints deletion: 2022 -> 1017
694.07/694.24	c learnt constraints deletion: 2033 -> 1025
696.27/696.40	c learnt constraints deletion: 2026 -> 1021
698.38/698.55	c learnt constraints deletion: 2032 -> 1024
700.48/700.64	c learnt constraints deletion: 2019 -> 1013
702.67/702.80	c learnt constraints deletion: 2024 -> 1017
704.88/705.04	c learnt constraints deletion: 2027 -> 1020
707.08/707.25	c learnt constraints deletion: 2024 -> 1017
709.28/709.42	c learnt constraints deletion: 2024 -> 1016
711.37/711.57	c learnt constraints deletion: 2030 -> 1020
713.68/713.82	c learnt constraints deletion: 2022 -> 1017
715.77/715.93	c learnt constraints deletion: 2025 -> 1021
717.87/718.05	c learnt constraints deletion: 2026 -> 1017
719.87/720.09	c learnt constraints deletion: 2024 -> 1017
722.07/722.24	c learnt constraints deletion: 2026 -> 1020
724.07/724.21	c learnt constraints deletion: 2019 -> 1015
726.07/726.23	c learnt constraints deletion: 2027 -> 1021
728.27/728.41	c learnt constraints deletion: 2021 -> 1017
730.47/730.61	c learnt constraints deletion: 2020 -> 1014
732.76/732.98	c learnt constraints deletion: 2025 -> 1019
734.97/735.12	c learnt constraints deletion: 2020 -> 1012
736.97/737.19	c learnt constraints deletion: 2022 -> 1013
739.27/739.44	c learnt constraints deletion: 2028 -> 1016
741.56/741.70	c learnt constraints deletion: 2027 -> 1017
743.87/744.07	c learnt constraints deletion: 2021 -> 1014
746.17/746.38	c learnt constraints deletion: 2024 -> 1018
748.47/748.63	c learnt constraints deletion: 2028 -> 1018
750.66/750.89	c learnt constraints deletion: 2019 -> 1013
752.96/753.12	c learnt constraints deletion: 2017 -> 1013
755.16/755.32	c learnt constraints deletion: 2023 -> 1016
757.36/757.51	c learnt constraints deletion: 2027 -> 1020
759.46/759.68	c learnt constraints deletion: 2020 -> 1013
761.76/761.90	c learnt constraints deletion: 2024 -> 1016
763.96/764.13	c learnt constraints deletion: 2021 -> 1016
766.06/766.29	c learnt constraints deletion: 2025 -> 1019
768.36/768.55	c learnt constraints deletion: 2019 -> 1011
770.76/770.98	c learnt constraints deletion: 2026 -> 1016
773.07/773.28	c learnt constraints deletion: 2015 -> 1010
775.46/775.66	c learnt constraints deletion: 2028 -> 1019
777.86/778.01	c learnt constraints deletion: 2021 -> 1014
779.86/780.09	c learnt constraints deletion: 2023 -> 1014
782.06/782.29	c learnt constraints deletion: 2018 -> 1013
784.26/784.46	c learnt constraints deletion: 2023 -> 1016
786.65/786.83	c learnt constraints deletion: 2027 -> 1019
789.16/789.33	c learnt constraints deletion: 2025 -> 1017
791.46/791.65	c learnt constraints deletion: 2029 -> 1021
793.76/793.96	c learnt constraints deletion: 2024 -> 1016
796.17/796.30	c learnt constraints deletion: 2019 -> 1012
798.47/798.66	c learnt constraints deletion: 2015 -> 1012
800.85/801.05	c learnt constraints deletion: 2025 -> 1018
803.25/803.42	c learnt constraints deletion: 2020 -> 1011
805.55/805.72	c learnt constraints deletion: 2027 -> 1017
807.86/808.06	c learnt constraints deletion: 2026 -> 1016
810.15/810.34	c learnt constraints deletion: 2019 -> 1012
812.55/812.72	c learnt constraints deletion: 2022 -> 1015
814.86/815.05	c learnt constraints deletion: 2026 -> 1018
817.16/817.33	c learnt constraints deletion: 2021 -> 1015
819.36/819.56	c learnt constraints deletion: 2035 -> 1025
821.65/821.87	c learnt constraints deletion: 2019 -> 1015
824.05/824.25	c learnt constraints deletion: 2032 -> 1022
826.35/826.56	c learnt constraints deletion: 2024 -> 1020
828.75/828.98	c learnt constraints deletion: 2020 -> 1013
831.05/831.28	c learnt constraints deletion: 2024 -> 1017
833.35/833.57	c learnt constraints deletion: 2026 -> 1018
835.66/835.87	c learnt constraints deletion: 2024 -> 1017
838.06/838.29	c learnt constraints deletion: 2028 -> 1021
840.45/840.62	c learnt constraints deletion: 2027 -> 1018
842.65/842.87	c learnt constraints deletion: 2024 -> 1015
844.85/845.05	c learnt constraints deletion: 2027 -> 1018
847.05/847.26	c learnt constraints deletion: 2027 -> 1018
849.35/849.53	c learnt constraints deletion: 2022 -> 1016
851.65/851.84	c learnt constraints deletion: 2026 -> 1019
853.85/854.04	c learnt constraints deletion: 2018 -> 1013
856.15/856.34	c learnt constraints deletion: 2024 -> 1017
858.55/858.72	c learnt constraints deletion: 2025 -> 1016
860.75/860.91	c learnt constraints deletion: 2023 -> 1015
862.85/863.01	c learnt constraints deletion: 2024 -> 1017
864.95/865.16	c learnt constraints deletion: 2021 -> 1016
867.15/867.35	c learnt constraints deletion: 2026 -> 1022
869.15/869.33	c learnt constraints deletion: 2023 -> 1017
871.05/871.28	c learnt constraints deletion: 2026 -> 1017
873.15/873.32	c learnt constraints deletion: 2022 -> 1014
875.15/875.38	c learnt constraints deletion: 2015 -> 1011
877.34/877.57	c learnt constraints deletion: 2021 -> 1016
879.44/879.68	c learnt constraints deletion: 2023 -> 1015
881.44/881.65	c learnt constraints deletion: 2029 -> 1020
883.74/883.90	c learnt constraints deletion: 2026 -> 1018
885.94/886.18	c learnt constraints deletion: 2023 -> 1017
888.34/888.59	c learnt constraints deletion: 2018 -> 1015
890.75/890.92	c learnt constraints deletion: 2024 -> 1017
893.05/893.24	c learnt constraints deletion: 2025 -> 1020
895.44/895.63	c learnt constraints deletion: 2025 -> 1016
897.75/897.90	c learnt constraints deletion: 2028 -> 1018
899.94/900.14	c learnt constraints deletion: 2024 -> 1017
902.14/902.39	c learnt constraints deletion: 2025 -> 1019
904.44/904.64	c learnt constraints deletion: 2023 -> 1015
906.54/906.72	c learnt constraints deletion: 2025 -> 1018
908.54/908.77	c learnt constraints deletion: 2017 -> 1015
910.84/911.04	c learnt constraints deletion: 2022 -> 1020
913.24/913.43	c learnt constraints deletion: 2035 -> 1024
915.54/915.78	c learnt constraints deletion: 2024 -> 1018
917.64/917.80	c learnt constraints deletion: 2020 -> 1014
919.64/919.85	c learnt constraints deletion: 2026 -> 1018
921.74/921.99	c learnt constraints deletion: 2029 -> 1020
924.04/924.23	c learnt constraints deletion: 2028 -> 1021
926.34/926.54	c learnt constraints deletion: 2025 -> 1018
928.74/928.97	c learnt constraints deletion: 2026 -> 1018
931.04/931.24	c learnt constraints deletion: 2023 -> 1017
933.33/933.50	c learnt constraints deletion: 2027 -> 1020
935.64/935.89	c learnt constraints deletion: 2031 -> 1024
938.64/938.81	c learnt constraints deletion: 2204 -> 1108
941.24/941.48	c learnt constraints deletion: 2211 -> 1115
943.83/944.01	c learnt constraints deletion: 2203 -> 1109
946.33/946.54	c learnt constraints deletion: 2216 -> 1117
948.84/949.00	c learnt constraints deletion: 2199 -> 1100
951.13/951.38	c learnt constraints deletion: 2203 -> 1104
953.44/953.64	c learnt constraints deletion: 2202 -> 1104
955.64/955.84	c learnt constraints deletion: 2203 -> 1104
957.94/958.11	c learnt constraints deletion: 2210 -> 1110
960.14/960.35	c learnt constraints deletion: 2200 -> 1106
962.34/962.52	c learnt constraints deletion: 2200 -> 1104
964.63/964.85	c learnt constraints deletion: 2200 -> 1105
966.93/967.13	c learnt constraints deletion: 2205 -> 1104
969.43/969.64	c learnt constraints deletion: 2205 -> 1105
971.82/972.04	c learnt constraints deletion: 2201 -> 1104
974.34/974.51	c learnt constraints deletion: 2201 -> 1106
976.73/976.91	c learnt constraints deletion: 2205 -> 1106
979.03/979.28	c learnt constraints deletion: 2205 -> 1106
981.23/981.43	c learnt constraints deletion: 2204 -> 1106
983.73/983.91	c learnt constraints deletion: 2199 -> 1105
985.93/986.14	c learnt constraints deletion: 2205 -> 1107
988.23/988.42	c learnt constraints deletion: 2200 -> 1102
990.43/990.69	c learnt constraints deletion: 2203 -> 1105
992.73/992.95	c learnt constraints deletion: 2199 -> 1102
994.92/995.18	c learnt constraints deletion: 2205 -> 1106
997.32/997.50	c learnt constraints deletion: 2201 -> 1104
999.64/999.89	c learnt constraints deletion: 2201 -> 1106
1002.02/1002.21	c learnt constraints deletion: 2203 -> 1106
1004.42/1004.64	c learnt constraints deletion: 2212 -> 1112
1006.82/1007.08	c learnt constraints deletion: 2206 -> 1109
1009.32/1009.55	c learnt constraints deletion: 2206 -> 1108
1011.62/1011.86	c learnt constraints deletion: 2204 -> 1106
1013.83/1014.00	c learnt constraints deletion: 2203 -> 1107
1016.22/1016.46	c learnt constraints deletion: 2201 -> 1106
1018.32/1018.56	c learnt constraints deletion: 2199 -> 1102
1020.32/1020.52	c learnt constraints deletion: 2202 -> 1104
1022.52/1022.71	c learnt constraints deletion: 2206 -> 1107
1024.72/1024.98	c learnt constraints deletion: 2205 -> 1106
1026.92/1027.16	c learnt constraints deletion: 2203 -> 1105
1029.12/1029.39	c learnt constraints deletion: 2203 -> 1105
1031.22/1031.45	c learnt constraints deletion: 2205 -> 1107
1033.42/1033.60	c learnt constraints deletion: 2204 -> 1105
1035.42/1035.68	c learnt constraints deletion: 2202 -> 1104
1037.72/1037.94	c learnt constraints deletion: 2207 -> 1108
1039.92/1040.16	c learnt constraints deletion: 2197 -> 1103
1042.11/1042.33	c learnt constraints deletion: 2200 -> 1103
1044.11/1044.30	c learnt constraints deletion: 2202 -> 1104
1046.21/1046.45	c learnt constraints deletion: 2206 -> 1108
1048.42/1048.62	c learnt constraints deletion: 2201 -> 1104
1050.52/1050.74	c learnt constraints deletion: 2199 -> 1104
1052.52/1052.79	c learnt constraints deletion: 2201 -> 1103
1054.32/1054.56	c learnt constraints deletion: 2202 -> 1104
1056.42/1056.60	c learnt constraints deletion: 2202 -> 1104
1058.51/1058.70	c learnt constraints deletion: 2203 -> 1106
1060.51/1060.72	c learnt constraints deletion: 2199 -> 1104
1062.52/1062.70	c learnt constraints deletion: 2203 -> 1105
1064.41/1064.70	c learnt constraints deletion: 2202 -> 1104
1066.21/1066.47	c learnt constraints deletion: 2202 -> 1105
1068.22/1068.48	c learnt constraints deletion: 2208 -> 1110
1070.21/1070.50	c learnt constraints deletion: 2205 -> 1106
1072.42/1072.65	c learnt constraints deletion: 2199 -> 1103
1074.31/1074.50	c learnt constraints deletion: 2202 -> 1106
1076.41/1076.67	c learnt constraints deletion: 2201 -> 1105
1078.61/1078.86	c learnt constraints deletion: 2202 -> 1105
1081.01/1081.27	c learnt constraints deletion: 2203 -> 1107
1083.32/1083.55	c learnt constraints deletion: 2203 -> 1106
1085.81/1086.06	c learnt constraints deletion: 2206 -> 1108
1088.21/1088.45	c learnt constraints deletion: 2201 -> 1107
1090.31/1090.56	c learnt constraints deletion: 2198 -> 1103
1092.40/1092.61	c learnt constraints deletion: 2205 -> 1108
1094.61/1094.80	c learnt constraints deletion: 2205 -> 1109
1096.61/1096.89	c learnt constraints deletion: 2199 -> 1103
1098.71/1098.99	c learnt constraints deletion: 2199 -> 1104
1100.82/1101.07	c learnt constraints deletion: 2200 -> 1103
1102.91/1103.14	c learnt constraints deletion: 2203 -> 1107
1105.01/1105.29	c learnt constraints deletion: 2205 -> 1109
1107.21/1107.47	c learnt constraints deletion: 2202 -> 1105
1109.40/1109.61	c learnt constraints deletion: 2206 -> 1109
1111.60/1111.83	c learnt constraints deletion: 2200 -> 1106
1113.70/1113.99	c learnt constraints deletion: 2203 -> 1110
1115.90/1116.10	c learnt constraints deletion: 2202 -> 1105
1118.10/1118.33	c learnt constraints deletion: 2207 -> 1109
1120.31/1120.53	c learnt constraints deletion: 2199 -> 1103
1122.51/1122.72	c learnt constraints deletion: 2201 -> 1105
1124.71/1124.97	c learnt constraints deletion: 2200 -> 1105
1127.00/1127.25	c learnt constraints deletion: 2202 -> 1106
1129.30/1129.56	c learnt constraints deletion: 2204 -> 1108
1131.61/1131.82	c learnt constraints deletion: 2200 -> 1106
1133.90/1134.14	c learnt constraints deletion: 2206 -> 1110
1136.20/1136.41	c learnt constraints deletion: 2205 -> 1108
1138.50/1138.72	c learnt constraints deletion: 2206 -> 1110
1140.80/1141.02	c learnt constraints deletion: 2203 -> 1107
1143.10/1143.39	c learnt constraints deletion: 2205 -> 1111
1145.49/1145.74	c learnt constraints deletion: 2205 -> 1111
1147.70/1147.91	c learnt constraints deletion: 2202 -> 1107
1150.00/1150.28	c learnt constraints deletion: 2209 -> 1111
1152.40/1152.60	c learnt constraints deletion: 2205 -> 1109
1154.81/1155.02	c learnt constraints deletion: 2208 -> 1109
1156.90/1157.17	c learnt constraints deletion: 2204 -> 1108
1159.10/1159.39	c learnt constraints deletion: 2202 -> 1107
1161.50/1161.76	c learnt constraints deletion: 2210 -> 1113
1163.69/1163.99	c learnt constraints deletion: 2206 -> 1109
1165.80/1166.04	c learnt constraints deletion: 2207 -> 1111
1168.09/1168.32	c learnt constraints deletion: 2206 -> 1107
1170.59/1170.86	c learnt constraints deletion: 2194 -> 1101
1172.79/1173.01	c learnt constraints deletion: 2210 -> 1110
1175.20/1175.40	c learnt constraints deletion: 2203 -> 1108
1177.39/1177.62	c learnt constraints deletion: 2200 -> 1104
1179.79/1180.02	c learnt constraints deletion: 2209 -> 1110
1182.09/1182.32	c learnt constraints deletion: 2196 -> 1104
1184.29/1184.53	c learnt constraints deletion: 2202 -> 1102
1186.29/1186.57	c learnt constraints deletion: 2205 -> 1107
1188.39/1188.68	c learnt constraints deletion: 2205 -> 1106
1190.49/1190.78	c learnt constraints deletion: 2205 -> 1106
1192.39/1192.63	c learnt constraints deletion: 2204 -> 1104
1194.39/1194.67	c learnt constraints deletion: 2198 -> 1103
1196.59/1196.86	c learnt constraints deletion: 2206 -> 1106
1198.80/1199.07	c learnt constraints deletion: 2204 -> 1106
1201.19/1201.45	c learnt constraints deletion: 2213 -> 1112
1203.28/1203.50	c learnt constraints deletion: 2201 -> 1102
1205.30/1205.58	c learnt constraints deletion: 2205 -> 1105
1207.39/1207.65	c learnt constraints deletion: 2204 -> 1107
1209.59/1209.84	c learnt constraints deletion: 2202 -> 1104
1211.69/1211.91	c learnt constraints deletion: 2203 -> 1106
1213.88/1214.10	c learnt constraints deletion: 2205 -> 1106
1215.88/1216.19	c learnt constraints deletion: 2196 -> 1102
1218.09/1218.38	c learnt constraints deletion: 2206 -> 1111
1220.19/1220.47	c learnt constraints deletion: 2203 -> 1107
1222.28/1222.51	c learnt constraints deletion: 2200 -> 1102
1224.19/1224.41	c learnt constraints deletion: 2204 -> 1105
1226.19/1226.45	c learnt constraints deletion: 2207 -> 1108
1228.19/1228.41	c learnt constraints deletion: 2203 -> 1109
1230.29/1230.58	c learnt constraints deletion: 2209 -> 1110
1232.19/1232.49	c learnt constraints deletion: 2205 -> 1109
1234.28/1234.50	c learnt constraints deletion: 2203 -> 1107
1236.28/1236.51	c learnt constraints deletion: 2204 -> 1106
1238.09/1238.34	c learnt constraints deletion: 2198 -> 1100
1239.98/1240.25	c learnt constraints deletion: 2200 -> 1102
1241.88/1242.16	c learnt constraints deletion: 2205 -> 1105
1243.99/1244.20	c learnt constraints deletion: 2201 -> 1106
1245.99/1246.22	c learnt constraints deletion: 2205 -> 1107
1247.98/1248.26	c learnt constraints deletion: 2201 -> 1104
1249.98/1250.27	c learnt constraints deletion: 2204 -> 1107
1252.09/1252.38	c learnt constraints deletion: 2208 -> 1108
1254.09/1254.33	c learnt constraints deletion: 2201 -> 1105
1256.38/1256.69	c learnt constraints deletion: 2205 -> 1109
1258.48/1258.71	c learnt constraints deletion: 2206 -> 1106
1260.48/1260.73	c learnt constraints deletion: 2205 -> 1107
1262.59/1262.84	c learnt constraints deletion: 2204 -> 1107
1264.69/1264.96	c learnt constraints deletion: 2199 -> 1104
1266.68/1266.98	c learnt constraints deletion: 2205 -> 1109
1268.98/1269.20	c learnt constraints deletion: 2202 -> 1104
1270.88/1271.15	c learnt constraints deletion: 2201 -> 1105
1272.78/1273.00	c learnt constraints deletion: 2199 -> 1105
1274.69/1274.94	c learnt constraints deletion: 2203 -> 1104
1276.58/1276.84	c learnt constraints deletion: 2206 -> 1106
1278.68/1278.92	c learnt constraints deletion: 2205 -> 1108
1280.58/1280.85	c learnt constraints deletion: 2205 -> 1107
1282.88/1283.10	c learnt constraints deletion: 2204 -> 1107
1285.08/1285.33	c learnt constraints deletion: 2206 -> 1108
1287.08/1287.31	c learnt constraints deletion: 2207 -> 1111
1289.07/1289.31	c learnt constraints deletion: 2203 -> 1107
1291.28/1291.51	c learnt constraints deletion: 2204 -> 1110
1293.38/1293.69	c learnt constraints deletion: 2208 -> 1112
1295.48/1295.80	c learnt constraints deletion: 2204 -> 1106
1297.78/1298.01	c learnt constraints deletion: 2206 -> 1109
1299.77/1300.07	c learnt constraints deletion: 2212 -> 1110
1301.77/1302.04	c learnt constraints deletion: 2206 -> 1110
1303.98/1304.27	c learnt constraints deletion: 2209 -> 1112
1305.97/1306.30	c learnt constraints deletion: 2207 -> 1111
1308.07/1308.36	c learnt constraints deletion: 2210 -> 1114
1310.07/1310.32	c learnt constraints deletion: 2208 -> 1110
1312.08/1312.36	c learnt constraints deletion: 2205 -> 1110
1314.28/1314.54	c learnt constraints deletion: 2202 -> 1107
1316.28/1316.55	c learnt constraints deletion: 2209 -> 1112
1318.47/1318.72	c learnt constraints deletion: 2206 -> 1111
1320.67/1320.90	c learnt constraints deletion: 2210 -> 1115
1322.77/1323.04	c learnt constraints deletion: 2210 -> 1114
1324.97/1325.27	c learnt constraints deletion: 2204 -> 1113
1327.48/1327.71	c learnt constraints deletion: 2203 -> 1106
1329.67/1329.96	c learnt constraints deletion: 2210 -> 1110
1331.88/1332.19	c learnt constraints deletion: 2202 -> 1105
1334.17/1334.40	c learnt constraints deletion: 2205 -> 1109
1336.67/1336.90	c learnt constraints deletion: 2201 -> 1106
1338.96/1339.22	c learnt constraints deletion: 2208 -> 1111
1341.36/1341.60	c learnt constraints deletion: 2212 -> 1114
1343.77/1344.02	c learnt constraints deletion: 2213 -> 1116
1346.07/1346.36	c learnt constraints deletion: 2205 -> 1113
1348.56/1348.84	c learnt constraints deletion: 2209 -> 1113
1350.77/1351.09	c learnt constraints deletion: 2207 -> 1110
1353.06/1353.34	c learnt constraints deletion: 2209 -> 1111
1355.37/1355.62	c learnt constraints deletion: 2198 -> 1104
1357.57/1357.83	c learnt constraints deletion: 2210 -> 1111
1359.77/1360.09	c learnt constraints deletion: 2207 -> 1110
1362.16/1362.41	c learnt constraints deletion: 2211 -> 1113
1364.36/1364.67	c learnt constraints deletion: 2211 -> 1114
1366.46/1366.79	c learnt constraints deletion: 2202 -> 1104
1368.46/1368.73	c learnt constraints deletion: 2199 -> 1104
1370.16/1370.45	c learnt constraints deletion: 2196 -> 1099
1372.36/1372.64	c learnt constraints deletion: 2197 -> 1102
1374.36/1374.69	c learnt constraints deletion: 2203 -> 1105
1377.26/1377.51	c learnt constraints deletion: 2403 -> 1207
1379.66/1379.99	c learnt constraints deletion: 2398 -> 1201
1382.16/1382.42	c learnt constraints deletion: 2399 -> 1203
1384.57/1384.89	c learnt constraints deletion: 2402 -> 1206
1386.66/1387.00	c learnt constraints deletion: 2395 -> 1200
1389.25/1389.56	c learnt constraints deletion: 2399 -> 1202
1391.46/1391.77	c learnt constraints deletion: 2397 -> 1201
1393.75/1394.03	c learnt constraints deletion: 2391 -> 1197
1396.15/1396.49	c learnt constraints deletion: 2400 -> 1203
1398.66/1398.97	c learnt constraints deletion: 2399 -> 1204
1401.06/1401.39	c learnt constraints deletion: 2398 -> 1202
1403.46/1403.80	c learnt constraints deletion: 2404 -> 1207
1405.96/1406.24	c learnt constraints deletion: 2395 -> 1199
1408.46/1408.73	c learnt constraints deletion: 2397 -> 1202
1410.76/1411.06	c learnt constraints deletion: 2397 -> 1199
1412.86/1413.15	c learnt constraints deletion: 2398 -> 1200
1415.15/1415.44	c learnt constraints deletion: 2398 -> 1201
1417.56/1417.85	c learnt constraints deletion: 2402 -> 1203
1420.15/1420.43	c learnt constraints deletion: 2399 -> 1203
1422.35/1422.60	c learnt constraints deletion: 2396 -> 1200
1424.26/1424.56	c learnt constraints deletion: 2395 -> 1200
1426.15/1426.48	c learnt constraints deletion: 2399 -> 1201
1428.45/1428.77	c learnt constraints deletion: 2396 -> 1200
1430.86/1431.13	c learnt constraints deletion: 2397 -> 1201
1432.96/1433.24	c learnt constraints deletion: 2396 -> 1201
1435.25/1435.50	c learnt constraints deletion: 2399 -> 1204
1437.25/1437.57	c learnt constraints deletion: 2396 -> 1199
1439.45/1439.74	c learnt constraints deletion: 2399 -> 1201
1441.65/1441.90	c learnt constraints deletion: 2392 -> 1199
1443.85/1444.17	c learnt constraints deletion: 2402 -> 1206
1445.75/1446.05	c learnt constraints deletion: 2396 -> 1200
1447.85/1448.16	c learnt constraints deletion: 2394 -> 1200
1450.25/1450.51	c learnt constraints deletion: 2394 -> 1200
1452.44/1452.73	c learnt constraints deletion: 2399 -> 1201
1454.55/1454.88	c learnt constraints deletion: 2399 -> 1202
1456.65/1456.94	c learnt constraints deletion: 2398 -> 1202
1458.75/1459.00	c learnt constraints deletion: 2398 -> 1201
1460.74/1461.05	c learnt constraints deletion: 2398 -> 1203
1462.85/1463.15	c learnt constraints deletion: 2397 -> 1202
1465.35/1465.64	c learnt constraints deletion: 2403 -> 1206
1467.55/1467.89	c learnt constraints deletion: 2400 -> 1204
1469.84/1470.14	c learnt constraints deletion: 2401 -> 1206
1472.25/1472.54	c learnt constraints deletion: 2401 -> 1208
1474.05/1474.36	c learnt constraints deletion: 2393 -> 1198
1476.15/1476.40	c learnt constraints deletion: 2396 -> 1200
1477.94/1478.24	c learnt constraints deletion: 2391 -> 1199
1479.75/1480.08	c learnt constraints deletion: 2399 -> 1202
1481.94/1482.24	c learnt constraints deletion: 2399 -> 1205
1484.14/1484.43	c learnt constraints deletion: 2397 -> 1201
1486.24/1486.54	c learnt constraints deletion: 2392 -> 1200
1488.34/1488.61	c learnt constraints deletion: 2400 -> 1201
1490.34/1490.63	c learnt constraints deletion: 2399 -> 1204
1492.35/1492.64	c learnt constraints deletion: 2401 -> 1204
1494.24/1494.58	c learnt constraints deletion: 2400 -> 1203
1496.44/1496.79	c learnt constraints deletion: 2402 -> 1206
1498.44/1498.76	c learnt constraints deletion: 2399 -> 1203
1500.44/1500.77	c learnt constraints deletion: 2398 -> 1203
1502.35/1502.68	c learnt constraints deletion: 2396 -> 1203
1504.34/1504.65	c learnt constraints deletion: 2398 -> 1202
1506.34/1506.63	c learnt constraints deletion: 2400 -> 1204
1508.44/1508.70	c learnt constraints deletion: 2398 -> 1204
1510.64/1510.98	c learnt constraints deletion: 2395 -> 1199
1512.84/1513.13	c learnt constraints deletion: 2400 -> 1202
1515.03/1515.32	c learnt constraints deletion: 2395 -> 1200
1516.94/1517.25	c learnt constraints deletion: 2394 -> 1201
1519.04/1519.34	c learnt constraints deletion: 2399 -> 1204
1521.34/1521.63	c learnt constraints deletion: 2402 -> 1205
1523.74/1524.02	c learnt constraints deletion: 2402 -> 1206
1525.74/1526.06	c learnt constraints deletion: 2391 -> 1199
1527.74/1528.05	c learnt constraints deletion: 2401 -> 1204
1529.84/1530.16	c learnt constraints deletion: 2402 -> 1205
1531.94/1532.22	c learnt constraints deletion: 2395 -> 1203
1533.93/1534.28	c learnt constraints deletion: 2397 -> 1200
1536.14/1536.41	c learnt constraints deletion: 2398 -> 1201
1538.33/1538.68	c learnt constraints deletion: 2403 -> 1207
1540.63/1540.92	c learnt constraints deletion: 2403 -> 1206
1542.83/1543.11	c learnt constraints deletion: 2400 -> 1203
1545.03/1545.36	c learnt constraints deletion: 2402 -> 1205
1547.23/1547.58	c learnt constraints deletion: 2401 -> 1205
1549.43/1549.71	c learnt constraints deletion: 2398 -> 1202
1551.53/1551.85	c learnt constraints deletion: 2397 -> 1203
1553.73/1554.05	c learnt constraints deletion: 2396 -> 1203
1555.93/1556.27	c learnt constraints deletion: 2401 -> 1205
1558.13/1558.43	c learnt constraints deletion: 2398 -> 1203
1560.33/1560.62	c learnt constraints deletion: 2402 -> 1208
1562.63/1562.95	c learnt constraints deletion: 2404 -> 1205
1565.03/1565.39	c learnt constraints deletion: 2400 -> 1204
1567.32/1567.62	c learnt constraints deletion: 2401 -> 1205
1569.93/1570.26	c learnt constraints deletion: 2402 -> 1208
1572.42/1572.77	c learnt constraints deletion: 2397 -> 1203
1575.02/1575.34	c learnt constraints deletion: 2400 -> 1205
1577.23/1577.55	c learnt constraints deletion: 2401 -> 1204
1579.33/1579.66	c learnt constraints deletion: 2399 -> 1204
1581.72/1582.00	c learnt constraints deletion: 2399 -> 1204
1584.23/1584.54	c learnt constraints deletion: 2398 -> 1204
1586.53/1586.81	c learnt constraints deletion: 2403 -> 1208
1588.92/1589.26	c learnt constraints deletion: 2398 -> 1205
1591.22/1591.52	c learnt constraints deletion: 2397 -> 1206
1593.32/1593.69	c learnt constraints deletion: 2403 -> 1207
1595.42/1595.70	c learnt constraints deletion: 2400 -> 1205
1597.22/1597.53	c learnt constraints deletion: 2403 -> 1208
1599.33/1599.64	c learnt constraints deletion: 2401 -> 1208
1601.02/1601.32	c learnt constraints deletion: 2399 -> 1202
1602.82/1603.15	c learnt constraints deletion: 2397 -> 1201
1604.42/1604.79	c learnt constraints deletion: 2400 -> 1203
1606.22/1606.53	c learnt constraints deletion: 2398 -> 1203
1608.02/1608.30	c learnt constraints deletion: 2394 -> 1199
1609.72/1610.04	c learnt constraints deletion: 2397 -> 1201
1611.52/1611.80	c learnt constraints deletion: 2394 -> 1200
1613.21/1613.58	c learnt constraints deletion: 2399 -> 1202
1615.02/1615.32	c learnt constraints deletion: 2400 -> 1203
1616.82/1617.15	c learnt constraints deletion: 2401 -> 1203
1618.62/1618.94	c learnt constraints deletion: 2401 -> 1204
1620.22/1620.59	c learnt constraints deletion: 2404 -> 1206
1622.13/1622.47	c learnt constraints deletion: 2399 -> 1203
1623.92/1624.27	c learnt constraints deletion: 2403 -> 1206
1625.92/1626.21	c learnt constraints deletion: 2395 -> 1199
1627.52/1627.85	c learnt constraints deletion: 2395 -> 1200
1629.32/1629.68	c learnt constraints deletion: 2400 -> 1202
1631.31/1631.63	c learnt constraints deletion: 2401 -> 1204
1632.92/1633.29	c learnt constraints deletion: 2398 -> 1203
1634.81/1635.17	c learnt constraints deletion: 2399 -> 1203
1636.52/1636.87	c learnt constraints deletion: 2400 -> 1204
1638.42/1638.76	c learnt constraints deletion: 2400 -> 1203
1640.21/1640.53	c learnt constraints deletion: 2398 -> 1202
1642.02/1642.31	c learnt constraints deletion: 2402 -> 1205
1643.61/1643.91	c learnt constraints deletion: 2398 -> 1203
1645.41/1645.75	c learnt constraints deletion: 2402 -> 1205
1647.11/1647.48	c learnt constraints deletion: 2396 -> 1203
1649.12/1649.47	c learnt constraints deletion: 2395 -> 1199
1651.11/1651.47	c learnt constraints deletion: 2399 -> 1204
1653.31/1653.66	c learnt constraints deletion: 2400 -> 1203
1655.22/1655.51	c learnt constraints deletion: 2399 -> 1203
1657.21/1657.56	c learnt constraints deletion: 2399 -> 1203
1659.21/1659.58	c learnt constraints deletion: 2404 -> 1207
1661.21/1661.53	c learnt constraints deletion: 2400 -> 1202
1662.82/1663.16	c learnt constraints deletion: 2398 -> 1202
1664.61/1664.99	c learnt constraints deletion: 2403 -> 1207
1666.61/1666.99	c learnt constraints deletion: 2393 -> 1201
1668.61/1668.98	c learnt constraints deletion: 2403 -> 1207
1670.91/1671.20	c learnt constraints deletion: 2398 -> 1204
1673.21/1673.55	c learnt constraints deletion: 2400 -> 1203
1675.61/1675.90	c learnt constraints deletion: 2399 -> 1203
1677.91/1678.29	c learnt constraints deletion: 2406 -> 1208
1680.42/1680.78	c learnt constraints deletion: 2403 -> 1206
1682.91/1683.22	c learnt constraints deletion: 2401 -> 1206
1685.31/1685.66	c learnt constraints deletion: 2407 -> 1210
1687.70/1688.04	c learnt constraints deletion: 2400 -> 1204
1689.90/1690.29	c learnt constraints deletion: 2397 -> 1204
1692.21/1692.54	c learnt constraints deletion: 2395 -> 1203
1694.61/1694.92	c learnt constraints deletion: 2404 -> 1207
1697.02/1697.33	c learnt constraints deletion: 2403 -> 1206
1699.30/1699.66	c learnt constraints deletion: 2403 -> 1208
1701.71/1702.04	c learnt constraints deletion: 2405 -> 1208
1704.01/1704.33	c learnt constraints deletion: 2405 -> 1209
1706.21/1706.56	c learnt constraints deletion: 2399 -> 1202
1708.40/1708.73	c learnt constraints deletion: 2396 -> 1202
1710.51/1710.80	c learnt constraints deletion: 2405 -> 1207
1712.50/1712.88	c learnt constraints deletion: 2403 -> 1207
1714.61/1714.95	c learnt constraints deletion: 2402 -> 1205
1716.81/1717.18	c learnt constraints deletion: 2400 -> 1204
1718.80/1719.10	c learnt constraints deletion: 2400 -> 1205
1720.70/1721.03	c learnt constraints deletion: 2400 -> 1203
1722.51/1722.85	c learnt constraints deletion: 2402 -> 1205
1724.41/1724.76	c learnt constraints deletion: 2399 -> 1205
1726.10/1726.47	c learnt constraints deletion: 2401 -> 1204
1728.10/1728.42	c learnt constraints deletion: 2402 -> 1205
1729.91/1730.24	c learnt constraints deletion: 2402 -> 1206
1732.00/1732.30	c learnt constraints deletion: 2406 -> 1208
1733.80/1734.17	c learnt constraints deletion: 2402 -> 1207
1736.00/1736.32	c learnt constraints deletion: 2401 -> 1206
1737.90/1738.21	c learnt constraints deletion: 2399 -> 1205
1739.81/1740.12	c learnt constraints deletion: 2396 -> 1204
1741.80/1742.11	c learnt constraints deletion: 2395 -> 1202
1743.80/1744.14	c learnt constraints deletion: 2403 -> 1207
1746.00/1746.33	c learnt constraints deletion: 2404 -> 1208
1748.20/1748.55	c learnt constraints deletion: 2403 -> 1209
1750.10/1750.41	c learnt constraints deletion: 2394 -> 1203
1752.20/1752.51	c learnt constraints deletion: 2402 -> 1204
1754.39/1754.76	c learnt constraints deletion: 2400 -> 1204
1756.60/1756.94	c learnt constraints deletion: 2400 -> 1204
1758.69/1759.03	c learnt constraints deletion: 2402 -> 1207
1760.49/1760.88	c learnt constraints deletion: 2400 -> 1205
1762.40/1762.75	c learnt constraints deletion: 2398 -> 1203
1764.29/1764.64	c learnt constraints deletion: 2404 -> 1207
1766.40/1766.77	c learnt constraints deletion: 2402 -> 1206
1768.50/1768.84	c learnt constraints deletion: 2404 -> 1207
1770.49/1770.87	c learnt constraints deletion: 2398 -> 1202
1772.99/1773.31	c learnt constraints deletion: 2400 -> 1205
1775.29/1775.68	c learnt constraints deletion: 2395 -> 1202
1777.49/1777.80	c learnt constraints deletion: 2402 -> 1206
1779.79/1780.19	c learnt constraints deletion: 2399 -> 1205
1781.99/1782.35	c learnt constraints deletion: 2399 -> 1207
1784.39/1784.70	c learnt constraints deletion: 2399 -> 1206
1786.49/1786.80	c learnt constraints deletion: 2403 -> 1206
1788.59/1788.96	c learnt constraints deletion: 2398 -> 1204
1790.89/1791.24	c learnt constraints deletion: 2402 -> 1207
1793.19/1793.50	c learnt constraints deletion: 2404 -> 1209
1795.29/1795.69	c learnt constraints deletion: 2395 -> 1204
1797.59/1797.93	c learnt constraints deletion: 2402 -> 1207
1799.59/1800.00	c learnt constraints deletion: 2405 -> 1210

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-3706721-1338113000/watcher-3706721-1338113000 -o /tmp/evaluation-result-3706721-1338113000/solver-3706721-1338113000 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706721-1338113000.opb 

running on 4 cores: 1,3,5,7

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: 0.94 0.99 1.12 3/174 27187
/proc/meminfo: memFree=31457644/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 828 0 0 0 0 0 0 0 20 0 1 0 277425660 7405568 749 33554432000 4194304 8973514 140737478235568 140737478235064 4211771 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 1808 752 415 1167 0 589 0

[startup+0.0738281 s]
/proc/loadavg: 0.94 0.99 1.12 3/174 27187
/proc/meminfo: memFree=31457644/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=9280 CPUtime=0.07 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 1459 0 0 0 7 0 0 0 20 0 1 0 277425660 9502720 1380 33554432000 4194304 8973514 140737478235568 140737478235064 6548499 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 2320 1380 456 1167 0 1101 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9280

[startup+0.100273 s]
/proc/loadavg: 0.94 0.99 1.12 3/174 27187
/proc/meminfo: memFree=31457644/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=9280 CPUtime=0.09 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 1543 0 0 0 9 0 0 0 20 0 1 0 277425660 9502720 1464 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 2320 1464 456 1167 0 1101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9280

[startup+0.300227 s]
/proc/loadavg: 0.94 0.99 1.12 3/174 27187
/proc/meminfo: memFree=31457644/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=10304 CPUtime=0.29 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 1888 0 0 0 29 0 0 0 20 0 1 0 277425660 10551296 1809 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 2576 1809 456 1167 0 1357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10304

[startup+0.700253 s]
/proc/loadavg: 0.94 0.99 1.12 3/174 27187
/proc/meminfo: memFree=31457644/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=11328 CPUtime=0.69 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 2144 0 0 0 69 0 0 0 20 0 1 0 277425660 11599872 2065 33554432000 4194304 8973514 140737478235568 140737478235064 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 2832 2065 456 1167 0 1613 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11328

[startup+1.5003 s]
/proc/loadavg: 0.94 0.99 1.12 3/177 27193
/proc/meminfo: memFree=31442352/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=13376 CPUtime=1.48 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 2657 0 0 0 148 0 0 0 20 0 1 0 277425660 13697024 2578 33554432000 4194304 8973514 140737478235568 140737478234832 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 3344 2578 457 1167 0 2125 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13376

[startup+3.10031 s]
/proc/loadavg: 0.94 0.99 1.12 3/177 27193
/proc/meminfo: memFree=31437888/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=16448 CPUtime=3.08 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 3429 0 0 0 307 1 0 0 20 0 1 0 277425660 16842752 3352 33554432000 4194304 8973514 140737478235568 140737478234832 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 4112 3352 457 1167 0 2893 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 16448

[startup+6.30034 s]
/proc/loadavg: 1.10 1.02 1.13 3/177 27193
/proc/meminfo: memFree=31432424/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=16448 CPUtime=6.29 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 3429 0 0 0 627 2 0 0 20 0 1 0 277425660 16842752 3352 33554432000 4194304 8973514 140737478235568 140737478234832 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 4112 3352 457 1167 0 2893 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16448

[startup+12.7003 s]
/proc/loadavg: 1.17 1.04 1.13 3/177 27193
/proc/meminfo: memFree=31424056/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=21568 CPUtime=12.68 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 4709 0 0 0 1262 6 0 0 20 0 1 0 277425660 22085632 4632 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 5392 4632 457 1167 0 4173 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21568

[startup+25.5003 s]
/proc/loadavg: 1.36 1.09 1.15 3/177 27193
/proc/meminfo: memFree=31419480/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=24640 CPUtime=25.48 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 5477 0 0 0 2537 11 0 0 20 0 1 0 277425660 25231360 5400 33554432000 4194304 8973514 140737478235568 140737478235064 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 6160 5400 457 1167 0 4941 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 24640

[startup+51.1003 s]
/proc/loadavg: 1.57 1.16 1.17 3/177 27193
/proc/meminfo: memFree=31416312/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=24640 CPUtime=51.08 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 5478 0 0 0 5086 22 0 0 20 0 1 0 277425660 25231360 5400 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 6160 5400 457 1167 0 4941 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24640

[startup+102.307 s]
/proc/loadavg: 1.81 1.29 1.21 3/177 27194
/proc/meminfo: memFree=31412644/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=26688 CPUtime=102.27 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 5991 0 0 0 10183 44 0 0 20 0 1 0 277425660 27328512 5912 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 6672 5912 457 1167 0 5453 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 26688

[startup+162.3 s]
/proc/loadavg: 1.93 1.41 1.26 3/177 27194
/proc/meminfo: memFree=31400976/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=29760 CPUtime=162.25 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 7016 0 0 0 16156 69 0 0 20 0 1 0 277425660 30474240 6680 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 7440 6680 457 1167 0 6221 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 29760

[startup+222.3 s]
/proc/loadavg: 1.97 1.52 1.30 3/177 27194
/proc/meminfo: memFree=31399236/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=29760 CPUtime=222.25 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 7528 0 0 0 22128 97 0 0 20 0 1 0 277425660 30474240 6680 33554432000 4194304 8973514 140737478235568 140737478234832 4213743 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 7440 6680 457 1167 0 6221 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 29760

[startup+282.3 s]
/proc/loadavg: 2.07 1.62 1.35 3/177 27194
/proc/meminfo: memFree=31399292/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=31808 CPUtime=282.24 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 8040 0 0 0 28102 122 0 0 20 0 1 0 277425660 32571392 7192 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 7952 7192 457 1167 0 6733 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 31808

[startup+342.3 s]
/proc/loadavg: 2.02 1.69 1.38 3/177 27194
/proc/meminfo: memFree=31390852/32873844 swapFree=7116/7116
[pid=27187] ppid=27185 vsize=33856 CPUtime=342.23 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 8553 0 0 0 34077 146 0 0 20 0 1 0 277425660 34668544 7704 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 8464 7704 457 1167 0 7245 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 33856

[startup+402.3 s]
/proc/loadavg: 2.01 1.74 1.42 3/178 27198
/proc/meminfo: memFree=31392832/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=33856 CPUtime=402.22 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 8810 0 0 0 40050 172 0 0 20 0 1 0 277425660 34668544 7704 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 8464 7704 457 1167 0 7245 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 33856

[startup+462.3 s]
/proc/loadavg: 2.00 1.79 1.45 3/177 27198
/proc/meminfo: memFree=31384764/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=37952 CPUtime=462.21 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 9834 0 0 0 46023 198 0 0 20 0 1 0 277425660 38862848 8728 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 9488 8728 457 1167 0 8269 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 37952

[startup+522.3 s]
/proc/loadavg: 2.00 1.82 1.48 3/177 27198
/proc/meminfo: memFree=31388548/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=33856 CPUtime=522.2 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 9835 0 0 0 51995 225 0 0 20 0 1 0 277425660 34668544 7704 33554432000 4194304 8973514 140737478235568 140737478235064 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 8464 7704 457 1167 0 7245 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 33856

[startup+582.3 s]
/proc/loadavg: 2.00 1.85 1.51 3/177 27198
/proc/meminfo: memFree=31388608/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=33856 CPUtime=582.19 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 9836 0 0 0 57968 251 0 0 20 0 1 0 277425660 34668544 7704 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 8464 7704 457 1167 0 7245 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 33856

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 1.92 1.61 3/177 27199
/proc/meminfo: memFree=31376572/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=42048 CPUtime=822.15 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 12910 0 0 0 81861 354 0 0 20 0 1 0 277425660 43057152 9752 33554432000 4194304 8973514 140737478235568 140737478235064 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 10512 9752 457 1167 0 9293 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 42048

[startup+882.3 s]
/proc/loadavg: 2.04 1.95 1.64 3/177 27199
/proc/meminfo: memFree=31382708/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=34880 CPUtime=882.15 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 13166 0 0 0 87834 381 0 0 20 0 1 0 277425660 35717120 7960 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 8720 7960 457 1167 0 7501 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 34880

[startup+942.3 s]
/proc/loadavg: 2.01 1.95 1.66 3/177 27199
/proc/meminfo: memFree=31379604/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=38976 CPUtime=942.14 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 14191 0 0 0 93807 407 0 0 20 0 1 0 277425660 39911424 8984 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 9744 8984 457 1167 0 8525 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 38976

[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.68 3/178 27203
/proc/meminfo: memFree=31379524/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=37952 CPUtime=1002.12 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 14192 0 0 0 99780 432 0 0 20 0 1 0 277425660 38862848 8728 33554432000 4194304 8973514 140737478235568 140737478234832 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 9488 8728 457 1167 0 8269 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 37952

[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.69 3/178 27203
/proc/meminfo: memFree=31380588/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=36928 CPUtime=1062.11 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 15216 0 0 0 105752 459 0 0 20 0 1 0 277425660 37814272 8472 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 9232 8472 457 1167 0 8013 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 36928

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.71 3/177 27203
/proc/meminfo: memFree=31373028/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=42048 CPUtime=1122.11 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 17010 0 0 0 111726 485 0 0 20 0 1 0 277425660 43057152 9752 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 10512 9752 457 1167 0 9293 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 42048

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.73 3/177 27203
/proc/meminfo: memFree=31376060/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=37952 CPUtime=1182.09 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 17013 0 0 0 117699 510 0 0 20 0 1 0 277425660 38862848 8728 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 9488 8728 457 1167 0 8269 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 37952

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/177 27203
/proc/meminfo: memFree=31373764/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=37952 CPUtime=1242.08 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 17013 0 0 0 123670 538 0 0 20 0 1 0 277425660 38862848 8728 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 9488 8728 457 1167 0 8269 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 37952

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/177 27204
/proc/meminfo: memFree=31373332/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=37952 CPUtime=1302.08 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 17781 0 0 0 129640 568 0 0 20 0 1 0 277425660 38862848 8728 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 9488 8728 457 1167 0 8269 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 37952

[startup+1362.3 s]
/proc/loadavg: 2.04 1.99 1.77 3/177 27204
/proc/meminfo: memFree=31374260/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=40000 CPUtime=1362.06 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 19063 0 0 0 135611 595 0 0 20 0 1 0 277425660 40960000 9240 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 10000 9240 457 1167 0 8781 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 40000

[startup+1422.31 s]
/proc/loadavg: 2.01 1.99 1.78 3/178 27205
/proc/meminfo: memFree=31372272/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=42048 CPUtime=1422.06 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 19576 0 0 0 141586 620 0 0 20 0 1 0 277425660 43057152 9752 33554432000 4194304 8973514 140737478235568 140737478234832 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 10512 9752 457 1167 0 9293 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 42048

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/177 27205
/proc/meminfo: memFree=31371104/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=43072 CPUtime=1482.04 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 20856 0 0 0 147560 644 0 0 20 0 1 0 277425660 44105728 10008 33554432000 4194304 8973514 140737478235568 140737478234832 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 10768 10008 457 1167 0 9549 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 43072

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/177 27205
/proc/meminfo: memFree=31367568/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=46144 CPUtime=1542.03 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 24184 0 0 0 153531 672 0 0 20 0 1 0 277425660 47251456 10776 33554432000 4194304 8973514 140737478235568 140737478235064 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 11536 10776 457 1167 0 10317 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 46144

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/177 27206
/proc/meminfo: memFree=31371464/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=42048 CPUtime=1602.02 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 24955 0 0 0 159504 698 0 0 20 0 1 0 277425660 43057152 9752 33554432000 4194304 8973514 140737478235568 140737478235064 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 10512 9752 457 1167 0 9293 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 42048

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/177 27209
/proc/meminfo: memFree=31370524/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=42048 CPUtime=1662.01 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 24956 0 0 0 165477 724 0 0 20 0 1 0 277425660 43057152 9752 33554432000 4194304 8973514 140737478235568 140737478234832 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 10512 9752 457 1167 0 9293 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 42048

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/177 27209
/proc/meminfo: memFree=31370780/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=42048 CPUtime=1722 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 25212 0 0 0 171450 750 0 0 20 0 1 0 277425660 43057152 9752 33554432000 4194304 8973514 140737478235568 140737478234832 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 10512 9752 457 1167 0 9293 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 42048

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/177 27209
/proc/meminfo: memFree=31366744/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=42048 CPUtime=1781.99 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 25469 0 0 0 177422 777 0 0 20 0 1 0 277425660 43057152 9752 33554432000 4194304 8973514 140737478235568 140737478235064 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 10512 9752 457 1167 0 9293 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 42048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.07 2.00 1.84 3/177 27209
/proc/meminfo: memFree=31367116/32873844 swapFree=7112/7112
[pid=27187] ppid=27185 vsize=42048 CPUtime=1800.1 cores=1,3,5,7
/proc/27187/stat : 27187 (toysat) R 27185 27187 27148 0 -1 4202496 25725 0 0 0 179226 784 0 0 20 0 1 0 277425660 43057152 9752 33554432000 4194304 8973514 140737478235568 140737478235064 4209187 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/27187/statm: 10512 9752 457 1167 0 9293 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 42048

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1792.26
CPU system time (s): 7.84481
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 48192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.26
system time used= 7.84481
maximum resident set size= 45152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25725
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= 31
involuntary context switches= 1868

runsolver used 3.71943 second user time and 10.1865 second system time

The end

Launcher Data 

Begin job on node119 at 2012-05-27 12:03:20
IDJOB=3706721
IDBENCH=1950
IDSOLVER=2285
FILE ID=node119/3706721-1338113000
RUNJOBID= node119-1338113000-27165
PBS_JOBID= 14624472
Free space on /tmp= 71612 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706721-1338113000/watcher-3706721-1338113000 -o /tmp/evaluation-result-3706721-1338113000/solver-3706721-1338113000 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706721-1338113000.opb

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

MD5SUM BENCH= 9828b7020b058ee74169951dda258843
RANDOM SEED=2050054853

node119.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.943
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.88
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.943
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	: 5331.91
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.943
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	: 5331.93
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.943
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	: 5331.91
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.943
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	: 5331.93
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.943
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	: 5331.92
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.943
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	: 5331.90
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.943
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31458164 kB
Buffers:          283152 kB
Cached:           328876 kB
SwapCached:         1800 kB
Active:           503040 kB
Inactive:         115076 kB
Active(anon):       6464 kB
Inactive(anon):     2004 kB
Active(file):     496576 kB
Inactive(file):   113072 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100176 kB
Dirty:             14776 kB
Writeback:             0 kB
AnonPages:         11724 kB
Mapped:            10980 kB
Shmem:                 8 kB
Slab:             657172 kB
SReclaimable:      99216 kB
SUnreclaim:       557956 kB
KernelStack:        1384 kB
PageTables:         3996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71596 MiB
End job on node119 at 2012-05-27 12:33:22