Trace number 3725095

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-06-01? (TO) 1800.02 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
MD5SUM3ddf6338b9f9cf35560b94c856457c56
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark189
Best CPU time to get the best result obtained on this benchmark1789.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 182
Optimality of the best value was proved NO
Number of variables468
Total number of constraints468
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 constraints468
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 468
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 468
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 468
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.04	c 2012-06-02T12:05:49+0200
0.00/0.04	c arch = x86_64
0.00/0.04	c os = linux
0.00/0.04	c compiler = ghc 7.4
0.00/0.04	c packages:
0.00/0.04	c   OptDir-0.0.1
0.00/0.04	c   array-0.4.0.0
0.00/0.04	c   base-4.5.0.0
0.00/0.04	c   bytestring-0.9.2.1
0.00/0.04	c   containers-0.4.2.1
0.00/0.04	c   deepseq-1.3.0.0
0.00/0.04	c   mtl-2.1.1
0.00/0.04	c   old_locale-1.0.0.4
0.00/0.04	c   parse_dimacs-1.2
0.00/0.04	c   parsec-3.1.2
0.00/0.04	c   queue-0.1.2
0.00/0.04	c   stm-2.3
0.00/0.04	c   time-1.4
0.00/0.04	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725095-1338631549.opb"]
0.00/0.04	c #vars 468
0.00/0.04	c #constraints 468
0.00/0.04	c Solving starts ...
0.00/0.05	c solving time = 0.002s
0.00/0.05	c #decision = 242
0.00/0.05	c #conflict = 0
0.00/0.05	c #restart = 0
0.00/0.05	o 226
0.00/0.05	c Solving starts ...
0.00/0.05	c solving time = 0.005s
0.00/0.05	c #decision = 474
0.00/0.05	c #conflict = 1
0.00/0.05	c #restart = 0
0.00/0.05	o 225
0.00/0.05	c Solving starts ...
0.99/1.01	c learnt constraints deletion: 473 -> 237
1.68/1.77	c learnt constraints deletion: 574 -> 287
2.59/2.64	c learnt constraints deletion: 690 -> 352
3.48/3.57	c learnt constraints deletion: 742 -> 384
4.49/4.50	c learnt constraints deletion: 731 -> 371
5.49/5.51	c learnt constraints deletion: 787 -> 399
6.38/6.45	c learnt constraints deletion: 783 -> 394
6.89/6.91	c solving time = 6.853s
6.89/6.91	c #decision = 9252
6.89/6.91	c #conflict = 2940
6.89/6.91	c #restart = 6
6.89/6.91	o 224
6.89/6.91	c Solving starts ...
6.89/6.91	c learnt constraints deletion: 578 -> 289
7.09/7.18	c learnt constraints deletion: 388 -> 194
8.09/8.13	c learnt constraints deletion: 567 -> 284
8.99/9.00	c learnt constraints deletion: 621 -> 311
9.89/9.94	c learnt constraints deletion: 695 -> 352
10.09/10.19	c learnt constraints deletion: 474 -> 237
11.18/11.29	c learnt constraints deletion: 742 -> 378
11.79/11.89	c learnt constraints deletion: 633 -> 317
12.88/12.90	c learnt constraints deletion: 789 -> 398
13.68/13.77	c learnt constraints deletion: 783 -> 396
14.29/14.38	c learnt constraints deletion: 680 -> 340
15.48/15.52	c learnt constraints deletion: 851 -> 431
16.39/16.48	c learnt constraints deletion: 843 -> 427
17.28/17.37	c learnt constraints deletion: 840 -> 425
18.28/18.34	c learnt constraints deletion: 801 -> 401
19.48/19.52	c learnt constraints deletion: 915 -> 464
20.48/20.57	c learnt constraints deletion: 912 -> 464
21.48/21.56	c learnt constraints deletion: 911 -> 465
22.38/22.49	c learnt constraints deletion: 912 -> 463
23.28/23.37	c learnt constraints deletion: 905 -> 458
24.48/24.53	c learnt constraints deletion: 987 -> 503
25.38/25.48	c learnt constraints deletion: 973 -> 489
26.38/26.44	c learnt constraints deletion: 965 -> 485
27.28/27.35	c learnt constraints deletion: 972 -> 491
28.38/28.48	c learnt constraints deletion: 972 -> 493
29.59/29.61	c learnt constraints deletion: 980 -> 496
30.58/30.64	c learnt constraints deletion: 976 -> 497
31.68/31.70	c learnt constraints deletion: 977 -> 493
32.68/32.79	c learnt constraints deletion: 1052 -> 533
33.68/33.79	c learnt constraints deletion: 1054 -> 535
34.78/34.86	c learnt constraints deletion: 1050 -> 528
35.88/35.93	c learnt constraints deletion: 1052 -> 530
36.98/37.04	c learnt constraints deletion: 1056 -> 536
37.98/38.08	c learnt constraints deletion: 1045 -> 527
39.18/39.21	c learnt constraints deletion: 1052 -> 536
40.38/40.45	c learnt constraints deletion: 1055 -> 540
41.58/41.64	c learnt constraints deletion: 1057 -> 538
42.68/42.70	c learnt constraints deletion: 1046 -> 529
43.67/43.72	c learnt constraints deletion: 1049 -> 531
45.08/45.12	c learnt constraints deletion: 1143 -> 585
46.38/46.43	c learnt constraints deletion: 1141 -> 579
47.48/47.55	c learnt constraints deletion: 1133 -> 575
48.78/48.87	c learnt constraints deletion: 1130 -> 569
50.07/50.16	c learnt constraints deletion: 1136 -> 576
51.27/51.37	c learnt constraints deletion: 1140 -> 583
52.37/52.47	c learnt constraints deletion: 1132 -> 572
53.67/53.72	c learnt constraints deletion: 1138 -> 577
54.98/55.01	c learnt constraints deletion: 1139 -> 581
56.17/56.26	c learnt constraints deletion: 1139 -> 580
57.57/57.62	c learnt constraints deletion: 1139 -> 581
58.87/59.00	c learnt constraints deletion: 1144 -> 587
60.17/60.28	c learnt constraints deletion: 1135 -> 573
61.57/61.64	c learnt constraints deletion: 1129 -> 569
62.87/62.95	c learnt constraints deletion: 1140 -> 578
63.97/64.05	c learnt constraints deletion: 1086 -> 543
65.57/65.61	c learnt constraints deletion: 1227 -> 617
66.87/66.99	c learnt constraints deletion: 1221 -> 615
68.47/68.53	c learnt constraints deletion: 1228 -> 617
69.87/69.92	c learnt constraints deletion: 1230 -> 624
71.38/71.43	c learnt constraints deletion: 1225 -> 620
72.67/72.78	c learnt constraints deletion: 1222 -> 616
73.67/73.75	c learnt constraints deletion: 1226 -> 618
74.97/75.03	c learnt constraints deletion: 1228 -> 621
76.27/76.30	c learnt constraints deletion: 1227 -> 618
77.57/77.63	c learnt constraints deletion: 1222 -> 616
78.97/79.09	c learnt constraints deletion: 1225 -> 619
80.57/80.60	c learnt constraints deletion: 1223 -> 615
81.67/81.74	c learnt constraints deletion: 1227 -> 624
82.87/82.97	c learnt constraints deletion: 1226 -> 623
84.16/84.25	c learnt constraints deletion: 1228 -> 623
85.56/85.67	c learnt constraints deletion: 1228 -> 624
87.07/87.16	c learnt constraints deletion: 1229 -> 626
88.57/88.64	c learnt constraints deletion: 1226 -> 624
90.07/90.19	c learnt constraints deletion: 1230 -> 624
91.67/91.78	c learnt constraints deletion: 1231 -> 630
93.57/93.64	c learnt constraints deletion: 1333 -> 680
95.26/95.35	c learnt constraints deletion: 1336 -> 677
96.97/97.01	c learnt constraints deletion: 1321 -> 664
98.56/98.69	c learnt constraints deletion: 1323 -> 667
100.26/100.37	c learnt constraints deletion: 1326 -> 669
101.87/101.93	c learnt constraints deletion: 1329 -> 672
103.37/103.49	c learnt constraints deletion: 1334 -> 673
104.97/105.02	c learnt constraints deletion: 1328 -> 666
106.26/106.32	c learnt constraints deletion: 1326 -> 673
107.77/107.82	c learnt constraints deletion: 1326 -> 669
109.26/109.38	c learnt constraints deletion: 1321 -> 664
110.76/110.86	c learnt constraints deletion: 1325 -> 665
112.36/112.47	c learnt constraints deletion: 1325 -> 672
113.96/114.03	c learnt constraints deletion: 1320 -> 664
115.27/115.39	c learnt constraints deletion: 1327 -> 672
116.57/116.64	c learnt constraints deletion: 1323 -> 667
117.77/117.89	c learnt constraints deletion: 1324 -> 668
119.16/119.21	c learnt constraints deletion: 1326 -> 671
120.47/120.58	c learnt constraints deletion: 1322 -> 665
122.07/122.11	c learnt constraints deletion: 1328 -> 669
123.46/123.57	c learnt constraints deletion: 1325 -> 669
125.16/125.20	c learnt constraints deletion: 1328 -> 671
126.57/126.60	c learnt constraints deletion: 1327 -> 669
128.06/128.12	c learnt constraints deletion: 1326 -> 669
129.67/129.71	c learnt constraints deletion: 1327 -> 675
131.26/131.34	c learnt constraints deletion: 1335 -> 674
132.86/132.92	c learnt constraints deletion: 1323 -> 667
134.36/134.42	c learnt constraints deletion: 1327 -> 673
135.96/136.01	c learnt constraints deletion: 1327 -> 673
137.56/137.68	c learnt constraints deletion: 1325 -> 672
138.96/139.09	c learnt constraints deletion: 1265 -> 633
140.76/140.89	c learnt constraints deletion: 1437 -> 725
142.66/142.74	c learnt constraints deletion: 1444 -> 731
144.16/144.25	c learnt constraints deletion: 1437 -> 723
145.45/145.55	c learnt constraints deletion: 1443 -> 726
146.86/146.99	c learnt constraints deletion: 1429 -> 717
148.37/148.48	c learnt constraints deletion: 1439 -> 725
149.86/149.95	c learnt constraints deletion: 1426 -> 714
151.45/151.51	c learnt constraints deletion: 1435 -> 723
153.05/153.11	c learnt constraints deletion: 1426 -> 714
154.66/154.70	c learnt constraints deletion: 1434 -> 719
156.26/156.30	c learnt constraints deletion: 1434 -> 721
157.65/157.74	c learnt constraints deletion: 1432 -> 720
159.25/159.32	c learnt constraints deletion: 1435 -> 723
160.85/160.97	c learnt constraints deletion: 1437 -> 725
162.55/162.67	c learnt constraints deletion: 1439 -> 725
164.16/164.22	c learnt constraints deletion: 1433 -> 721
165.85/165.98	c learnt constraints deletion: 1443 -> 728
167.25/167.36	c learnt constraints deletion: 1433 -> 721
168.85/168.94	c learnt constraints deletion: 1432 -> 719
170.46/170.56	c learnt constraints deletion: 1432 -> 719
172.05/172.10	c learnt constraints deletion: 1431 -> 721
173.66/173.73	c learnt constraints deletion: 1439 -> 726
175.35/175.41	c learnt constraints deletion: 1430 -> 715
176.56/176.62	c learnt constraints deletion: 1436 -> 720
177.86/177.97	c learnt constraints deletion: 1437 -> 721
179.16/179.25	c learnt constraints deletion: 1439 -> 724
180.46/180.51	c learnt constraints deletion: 1439 -> 725
181.75/181.85	c learnt constraints deletion: 1440 -> 724
183.15/183.22	c learnt constraints deletion: 1437 -> 722
184.66/184.72	c learnt constraints deletion: 1429 -> 717
186.05/186.19	c learnt constraints deletion: 1437 -> 724
187.65/187.71	c learnt constraints deletion: 1435 -> 724
188.95/189.05	c learnt constraints deletion: 1438 -> 722
190.26/190.33	c learnt constraints deletion: 1438 -> 722
191.45/191.58	c learnt constraints deletion: 1435 -> 722
192.75/192.85	c learnt constraints deletion: 1434 -> 722
194.15/194.21	c learnt constraints deletion: 1442 -> 725
195.55/195.67	c learnt constraints deletion: 1435 -> 722
196.86/196.95	c learnt constraints deletion: 1436 -> 723
198.25/198.34	c learnt constraints deletion: 1438 -> 723
199.55/199.61	c learnt constraints deletion: 1370 -> 685
201.25/201.34	c learnt constraints deletion: 1555 -> 779
202.65/202.74	c learnt constraints deletion: 1556 -> 780
204.05/204.14	c learnt constraints deletion: 1554 -> 779
205.44/205.60	c learnt constraints deletion: 1558 -> 781
207.04/207.14	c learnt constraints deletion: 1560 -> 786
208.65/208.76	c learnt constraints deletion: 1552 -> 780
210.35/210.46	c learnt constraints deletion: 1554 -> 785
211.84/211.95	c learnt constraints deletion: 1559 -> 783
213.45/213.55	c learnt constraints deletion: 1551 -> 777
214.95/215.02	c learnt constraints deletion: 1556 -> 783
216.25/216.36	c learnt constraints deletion: 1554 -> 781
217.95/218.00	c learnt constraints deletion: 1556 -> 783
219.45/219.53	c learnt constraints deletion: 1559 -> 783
220.95/221.01	c learnt constraints deletion: 1555 -> 782
222.35/222.46	c learnt constraints deletion: 1559 -> 783
223.95/224.02	c learnt constraints deletion: 1558 -> 783
225.65/225.71	c learnt constraints deletion: 1559 -> 782
227.24/227.34	c learnt constraints deletion: 1558 -> 782
228.75/228.86	c learnt constraints deletion: 1560 -> 785
230.24/230.36	c learnt constraints deletion: 1555 -> 784
231.84/231.91	c learnt constraints deletion: 1556 -> 782
233.34/233.47	c learnt constraints deletion: 1556 -> 782
234.84/234.99	c learnt constraints deletion: 1561 -> 786
236.45/236.52	c learnt constraints deletion: 1551 -> 778
237.85/237.90	c learnt constraints deletion: 1558 -> 783
239.14/239.27	c learnt constraints deletion: 1557 -> 783
240.65/240.71	c learnt constraints deletion: 1557 -> 783
242.14/242.20	c learnt constraints deletion: 1554 -> 781
243.44/243.55	c learnt constraints deletion: 1558 -> 785
244.85/244.96	c learnt constraints deletion: 1556 -> 781
246.25/246.37	c learnt constraints deletion: 1557 -> 782
247.74/247.88	c learnt constraints deletion: 1559 -> 783
249.24/249.36	c learnt constraints deletion: 1560 -> 786
250.74/250.87	c learnt constraints deletion: 1559 -> 786
252.24/252.36	c learnt constraints deletion: 1558 -> 782
253.74/253.82	c learnt constraints deletion: 1561 -> 787
255.24/255.39	c learnt constraints deletion: 1557 -> 784
256.84/256.93	c learnt constraints deletion: 1556 -> 787
258.14/258.28	c learnt constraints deletion: 1554 -> 779
259.55/259.66	c learnt constraints deletion: 1551 -> 779
260.84/260.95	c learnt constraints deletion: 1558 -> 783
262.14/262.27	c learnt constraints deletion: 1556 -> 783
263.44/263.57	c learnt constraints deletion: 1558 -> 783
264.84/264.92	c learnt constraints deletion: 1562 -> 786
266.15/266.21	c learnt constraints deletion: 1555 -> 782
267.25/267.35	c learnt constraints deletion: 1552 -> 779
268.44/268.58	c learnt constraints deletion: 1555 -> 783
269.74/269.85	c learnt constraints deletion: 1558 -> 785
271.13/271.26	c learnt constraints deletion: 1558 -> 784
272.54/272.67	c learnt constraints deletion: 1554 -> 781
273.85/273.99	c learnt constraints deletion: 1558 -> 783
275.34/275.43	c learnt constraints deletion: 1557 -> 783
276.63/276.79	c learnt constraints deletion: 1557 -> 781
278.14/278.28	c learnt constraints deletion: 1558 -> 783
279.74/279.86	c learnt constraints deletion: 1564 -> 788
281.44/281.52	c learnt constraints deletion: 1690 -> 850
283.14/283.25	c learnt constraints deletion: 1689 -> 849
284.63/284.74	c learnt constraints deletion: 1690 -> 849
286.14/286.25	c learnt constraints deletion: 1691 -> 851
287.63/287.71	c learnt constraints deletion: 1694 -> 853
289.33/289.45	c learnt constraints deletion: 1691 -> 849
291.03/291.14	c learnt constraints deletion: 1692 -> 848
292.84/292.93	c learnt constraints deletion: 1691 -> 850
294.54/294.67	c learnt constraints deletion: 1689 -> 849
296.33/296.48	c learnt constraints deletion: 1688 -> 847
298.14/298.20	c learnt constraints deletion: 1688 -> 847
299.74/299.87	c learnt constraints deletion: 1691 -> 850
301.24/301.39	c learnt constraints deletion: 1694 -> 849
302.83/302.99	c learnt constraints deletion: 1686 -> 845
304.54/304.68	c learnt constraints deletion: 1693 -> 854
306.33/306.47	c learnt constraints deletion: 1694 -> 852
307.94/308.05	c learnt constraints deletion: 1695 -> 854
309.14/309.26	c learnt constraints deletion: 1693 -> 853
310.53/310.61	c learnt constraints deletion: 1696 -> 853
312.03/312.15	c learnt constraints deletion: 1697 -> 853
313.64/313.70	c learnt constraints deletion: 1689 -> 846
315.34/315.40	c learnt constraints deletion: 1690 -> 848
317.03/317.19	c learnt constraints deletion: 1686 -> 847
318.73/318.81	c learnt constraints deletion: 1691 -> 849
320.33/320.44	c learnt constraints deletion: 1695 -> 855
322.04/322.12	c learnt constraints deletion: 1692 -> 851
323.73/323.83	c learnt constraints deletion: 1688 -> 850
325.33/325.50	c learnt constraints deletion: 1694 -> 852
327.03/327.17	c learnt constraints deletion: 1687 -> 848
328.83/328.91	c learnt constraints deletion: 1687 -> 848
330.63/330.72	c learnt constraints deletion: 1694 -> 852
332.53/332.65	c learnt constraints deletion: 1693 -> 850
334.24/334.35	c learnt constraints deletion: 1688 -> 849
336.13/336.28	c learnt constraints deletion: 1698 -> 854
337.73/337.81	c learnt constraints deletion: 1692 -> 850
339.33/339.40	c learnt constraints deletion: 1690 -> 851
340.94/341.08	c learnt constraints deletion: 1695 -> 850
342.82/342.90	c learnt constraints deletion: 1691 -> 849
344.33/344.49	c learnt constraints deletion: 1688 -> 847
346.23/346.36	c learnt constraints deletion: 1695 -> 856
347.82/347.91	c learnt constraints deletion: 1689 -> 849
349.53/349.62	c learnt constraints deletion: 1693 -> 851
351.13/351.22	c learnt constraints deletion: 1693 -> 851
352.72/352.84	c learnt constraints deletion: 1692 -> 851
354.33/354.43	c learnt constraints deletion: 1694 -> 853
355.93/356.03	c learnt constraints deletion: 1699 -> 857
357.62/357.71	c learnt constraints deletion: 1700 -> 859
359.12/359.27	c learnt constraints deletion: 1693 -> 850
360.83/360.93	c learnt constraints deletion: 1692 -> 849
362.43/362.52	c learnt constraints deletion: 1704 -> 859
364.03/364.18	c learnt constraints deletion: 1697 -> 856
365.53/365.66	c learnt constraints deletion: 1688 -> 847
367.23/367.31	c learnt constraints deletion: 1684 -> 847
368.72/368.84	c learnt constraints deletion: 1701 -> 855
370.23/370.39	c learnt constraints deletion: 1693 -> 853
372.02/372.15	c learnt constraints deletion: 1694 -> 850
373.93/374.09	c learnt constraints deletion: 1694 -> 854
375.63/375.70	c learnt constraints deletion: 1695 -> 850
377.42/377.50	c learnt constraints deletion: 1697 -> 852
379.22/379.37	c learnt constraints deletion: 1689 -> 850
381.12/381.26	c learnt constraints deletion: 1694 -> 852
382.82/382.99	c learnt constraints deletion: 1690 -> 849
384.62/384.72	c learnt constraints deletion: 1694 -> 854
386.22/386.31	c learnt constraints deletion: 1695 -> 851
387.82/387.93	c learnt constraints deletion: 1698 -> 855
389.52/389.63	c learnt constraints deletion: 1692 -> 851
391.42/391.52	c learnt constraints deletion: 1691 -> 851
393.12/393.24	c learnt constraints deletion: 1682 -> 846
394.82/394.97	c learnt constraints deletion: 1689 -> 849
396.42/396.51	c learnt constraints deletion: 1694 -> 853
397.91/398.04	c learnt constraints deletion: 1694 -> 853
399.51/399.69	c learnt constraints deletion: 1695 -> 853
401.32/401.41	c learnt constraints deletion: 1696 -> 854
402.92/403.05	c learnt constraints deletion: 1696 -> 856
404.51/404.70	c learnt constraints deletion: 1691 -> 850
406.32/406.41	c learnt constraints deletion: 1692 -> 851
408.03/408.13	c learnt constraints deletion: 1694 -> 852
409.52/409.68	c learnt constraints deletion: 1693 -> 854
411.52/411.63	c learnt constraints deletion: 1840 -> 925
413.43/413.51	c learnt constraints deletion: 1840 -> 925
415.31/415.48	c learnt constraints deletion: 1839 -> 928
417.12/417.29	c learnt constraints deletion: 1835 -> 918
418.72/418.87	c learnt constraints deletion: 1836 -> 920
420.52/420.63	c learnt constraints deletion: 1843 -> 927
422.41/422.52	c learnt constraints deletion: 1832 -> 918
424.31/424.40	c learnt constraints deletion: 1837 -> 921
426.31/426.41	c learnt constraints deletion: 1841 -> 926
428.41/428.51	c learnt constraints deletion: 1841 -> 928
430.31/430.43	c learnt constraints deletion: 1837 -> 920
432.01/432.15	c learnt constraints deletion: 1837 -> 922
433.71/433.84	c learnt constraints deletion: 1837 -> 923
435.42/435.58	c learnt constraints deletion: 1840 -> 923
437.32/437.40	c learnt constraints deletion: 1839 -> 925
439.02/439.19	c learnt constraints deletion: 1833 -> 918
440.81/440.94	c learnt constraints deletion: 1836 -> 921
442.62/442.77	c learnt constraints deletion: 1831 -> 921
444.51/444.65	c learnt constraints deletion: 1836 -> 920
446.31/446.50	c learnt constraints deletion: 1842 -> 925
448.31/448.45	c learnt constraints deletion: 1836 -> 920
450.31/450.49	c learnt constraints deletion: 1848 -> 931
452.11/452.25	c learnt constraints deletion: 1830 -> 915
453.71/453.84	c learnt constraints deletion: 1838 -> 921
455.32/455.48	c learnt constraints deletion: 1837 -> 922
457.11/457.28	c learnt constraints deletion: 1837 -> 921
458.91/459.06	c learnt constraints deletion: 1837 -> 922
460.61/460.78	c learnt constraints deletion: 1837 -> 922
462.50/462.62	c learnt constraints deletion: 1839 -> 924
464.31/464.49	c learnt constraints deletion: 1833 -> 919
466.21/466.31	c learnt constraints deletion: 1833 -> 918
468.00/468.12	c learnt constraints deletion: 1836 -> 920
469.80/469.95	c learnt constraints deletion: 1836 -> 921
471.71/471.82	c learnt constraints deletion: 1839 -> 924
473.61/473.71	c learnt constraints deletion: 1835 -> 920
475.51/475.63	c learnt constraints deletion: 1839 -> 923
477.41/477.50	c learnt constraints deletion: 1836 -> 922
479.30/479.41	c learnt constraints deletion: 1836 -> 923
481.40/481.54	c learnt constraints deletion: 1842 -> 927
483.50/483.60	c learnt constraints deletion: 1846 -> 930
485.51/485.62	c learnt constraints deletion: 1842 -> 928
487.30/487.48	c learnt constraints deletion: 1834 -> 921
489.51/489.63	c learnt constraints deletion: 1846 -> 930
491.51/491.67	c learnt constraints deletion: 1839 -> 925
493.51/493.62	c learnt constraints deletion: 1836 -> 924
495.40/495.57	c learnt constraints deletion: 1842 -> 927
497.50/497.62	c learnt constraints deletion: 1842 -> 926
499.31/499.49	c learnt constraints deletion: 1837 -> 926
501.41/501.54	c learnt constraints deletion: 1840 -> 929
503.41/503.54	c learnt constraints deletion: 1838 -> 920
505.40/505.55	c learnt constraints deletion: 1837 -> 921
507.40/507.54	c learnt constraints deletion: 1837 -> 923
509.21/509.36	c learnt constraints deletion: 1836 -> 920
511.00/511.12	c learnt constraints deletion: 1831 -> 918
512.81/512.98	c learnt constraints deletion: 1836 -> 921
514.80/514.99	c learnt constraints deletion: 1841 -> 927
516.70/516.88	c learnt constraints deletion: 1840 -> 925
518.70/518.88	c learnt constraints deletion: 1837 -> 920
520.60/520.76	c learnt constraints deletion: 1836 -> 921
522.40/522.52	c learnt constraints deletion: 1837 -> 921
524.30/524.43	c learnt constraints deletion: 1835 -> 921
526.00/526.15	c learnt constraints deletion: 1835 -> 921
527.80/527.94	c learnt constraints deletion: 1843 -> 930
529.69/529.80	c learnt constraints deletion: 1840 -> 924
531.50/531.64	c learnt constraints deletion: 1846 -> 929
533.41/533.50	c learnt constraints deletion: 1828 -> 918
535.40/535.50	c learnt constraints deletion: 1839 -> 924
537.40/537.51	c learnt constraints deletion: 1840 -> 924
539.49/539.64	c learnt constraints deletion: 1839 -> 926
541.49/541.64	c learnt constraints deletion: 1837 -> 927
543.50/543.68	c learnt constraints deletion: 1837 -> 923
545.41/545.54	c learnt constraints deletion: 1837 -> 923
547.29/547.45	c learnt constraints deletion: 1836 -> 923
549.39/549.52	c learnt constraints deletion: 1838 -> 926
551.20/551.33	c learnt constraints deletion: 1837 -> 923
553.10/553.23	c learnt constraints deletion: 1841 -> 925
554.89/555.02	c learnt constraints deletion: 1836 -> 923
556.89/557.01	c learnt constraints deletion: 1839 -> 928
558.89/559.07	c learnt constraints deletion: 1837 -> 926
560.99/561.16	c learnt constraints deletion: 1838 -> 924
563.00/563.17	c learnt constraints deletion: 1847 -> 932
565.10/565.28	c learnt constraints deletion: 1841 -> 928
567.40/567.58	c learnt constraints deletion: 1842 -> 927
569.60/569.71	c learnt constraints deletion: 1836 -> 924
571.69/571.90	c learnt constraints deletion: 1834 -> 924
573.89/574.00	c learnt constraints deletion: 1832 -> 919
575.69/575.89	c learnt constraints deletion: 1838 -> 921
577.49/577.67	c learnt constraints deletion: 1839 -> 924
579.29/579.48	c learnt constraints deletion: 1838 -> 922
581.29/581.47	c learnt constraints deletion: 1843 -> 927
583.29/583.45	c learnt constraints deletion: 1843 -> 930
584.99/585.16	c learnt constraints deletion: 1835 -> 924
586.69/586.89	c learnt constraints deletion: 1833 -> 921
588.59/588.75	c learnt constraints deletion: 1842 -> 925
590.29/590.46	c learnt constraints deletion: 1841 -> 926
592.09/592.21	c learnt constraints deletion: 1836 -> 924
593.89/594.07	c learnt constraints deletion: 1836 -> 925
595.89/596.00	c learnt constraints deletion: 1833 -> 920
597.79/597.94	c learnt constraints deletion: 1838 -> 920
599.99/600.11	c learnt constraints deletion: 1841 -> 923
601.99/602.15	c learnt constraints deletion: 1842 -> 925
603.98/604.16	c learnt constraints deletion: 1835 -> 921
605.99/606.13	c learnt constraints deletion: 1835 -> 923
607.58/607.74	c learnt constraints deletion: 1839 -> 925
609.38/609.58	c learnt constraints deletion: 1843 -> 927
611.18/611.33	c learnt constraints deletion: 1839 -> 926
612.99/613.13	c learnt constraints deletion: 1840 -> 926
615.19/615.30	c learnt constraints deletion: 2001 -> 1008
617.18/617.30	c learnt constraints deletion: 1994 -> 1000
619.19/619.32	c learnt constraints deletion: 1996 -> 1003
621.29/621.45	c learnt constraints deletion: 2001 -> 1005
623.49/623.68	c learnt constraints deletion: 1999 -> 1003
625.79/625.93	c learnt constraints deletion: 1998 -> 1004
627.99/628.17	c learnt constraints deletion: 2005 -> 1010
630.38/630.53	c learnt constraints deletion: 1997 -> 1005
632.68/632.83	c learnt constraints deletion: 2008 -> 1011
635.08/635.20	c learnt constraints deletion: 2003 -> 1008
637.28/637.41	c learnt constraints deletion: 2002 -> 1008
639.58/639.80	c learnt constraints deletion: 2000 -> 1006
641.78/641.93	c learnt constraints deletion: 2003 -> 1010
644.08/644.21	c learnt constraints deletion: 1999 -> 1007
646.48/646.69	c learnt constraints deletion: 2014 -> 1018
648.68/648.86	c learnt constraints deletion: 2008 -> 1013
650.98/651.12	c learnt constraints deletion: 2008 -> 1016
653.28/653.42	c learnt constraints deletion: 2001 -> 1002
655.38/655.53	c learnt constraints deletion: 1993 -> 1000
657.87/658.02	c learnt constraints deletion: 2006 -> 1010
659.79/659.97	c learnt constraints deletion: 1995 -> 1000
661.77/661.90	c learnt constraints deletion: 1997 -> 1001
663.77/663.95	c learnt constraints deletion: 1997 -> 1002
665.88/666.08	c learnt constraints deletion: 2005 -> 1007
668.08/668.28	c learnt constraints deletion: 1997 -> 1004
670.18/670.36	c learnt constraints deletion: 1999 -> 1004
672.17/672.33	c learnt constraints deletion: 1995 -> 1004
674.18/674.34	c learnt constraints deletion: 1993 -> 999
676.07/676.25	c learnt constraints deletion: 2004 -> 1007
678.07/678.27	c learnt constraints deletion: 1996 -> 1001
680.17/680.32	c learnt constraints deletion: 1998 -> 1003
682.17/682.36	c learnt constraints deletion: 2001 -> 1005
684.38/684.59	c learnt constraints deletion: 1994 -> 1000
686.48/686.60	c learnt constraints deletion: 1996 -> 1001
688.67/688.85	c learnt constraints deletion: 2000 -> 1004
691.07/691.23	c learnt constraints deletion: 2003 -> 1007
693.17/693.34	c learnt constraints deletion: 1998 -> 1004
695.37/695.50	c learnt constraints deletion: 2005 -> 1007
697.67/697.81	c learnt constraints deletion: 2004 -> 1008
699.97/700.12	c learnt constraints deletion: 2003 -> 1008
702.27/702.47	c learnt constraints deletion: 2000 -> 1005
704.57/704.76	c learnt constraints deletion: 2000 -> 1005
706.87/707.01	c learnt constraints deletion: 2006 -> 1010
709.07/709.26	c learnt constraints deletion: 1999 -> 1005
711.57/711.72	c learnt constraints deletion: 2008 -> 1013
714.06/714.28	c learnt constraints deletion: 2004 -> 1011
716.77/716.90	c learnt constraints deletion: 1995 -> 1005
719.07/719.24	c learnt constraints deletion: 2001 -> 1007
721.17/721.31	c learnt constraints deletion: 2002 -> 1008
723.46/723.65	c learnt constraints deletion: 2005 -> 1012
725.87/726.01	c learnt constraints deletion: 2007 -> 1015
728.07/728.25	c learnt constraints deletion: 2013 -> 1018
730.28/730.41	c learnt constraints deletion: 2002 -> 1010
732.76/732.90	c learnt constraints deletion: 2006 -> 1014
735.17/735.33	c learnt constraints deletion: 2002 -> 1013
737.47/737.68	c learnt constraints deletion: 1994 -> 999
739.97/740.11	c learnt constraints deletion: 2002 -> 1006
742.37/742.51	c learnt constraints deletion: 1998 -> 1003
744.66/744.87	c learnt constraints deletion: 2001 -> 1005
747.16/747.33	c learnt constraints deletion: 2000 -> 1004
749.56/749.71	c learnt constraints deletion: 2001 -> 1006
751.47/751.63	c learnt constraints deletion: 1996 -> 1001
753.37/753.55	c learnt constraints deletion: 1997 -> 1003
755.37/755.52	c learnt constraints deletion: 2002 -> 1006
757.37/757.53	c learnt constraints deletion: 1995 -> 1002
759.26/759.45	c learnt constraints deletion: 1996 -> 1004
761.26/761.48	c learnt constraints deletion: 2005 -> 1009
763.46/763.61	c learnt constraints deletion: 2002 -> 1005
765.37/765.56	c learnt constraints deletion: 2003 -> 1009
767.36/767.52	c learnt constraints deletion: 1995 -> 1001
769.36/769.54	c learnt constraints deletion: 1999 -> 1006
771.16/771.38	c learnt constraints deletion: 2001 -> 1005
773.07/773.27	c learnt constraints deletion: 1992 -> 1001
775.06/775.29	c learnt constraints deletion: 2005 -> 1009
777.26/777.40	c learnt constraints deletion: 1998 -> 1003
779.26/779.42	c learnt constraints deletion: 2000 -> 1004
781.26/781.45	c learnt constraints deletion: 1993 -> 1001
783.36/783.56	c learnt constraints deletion: 2001 -> 1007
785.46/785.66	c learnt constraints deletion: 2002 -> 1007
787.65/787.81	c learnt constraints deletion: 2000 -> 1007
789.96/790.11	c learnt constraints deletion: 2002 -> 1012
792.06/792.24	c learnt constraints deletion: 2000 -> 1002
794.26/794.49	c learnt constraints deletion: 2003 -> 1004
796.66/796.82	c learnt constraints deletion: 1994 -> 998
799.06/799.21	c learnt constraints deletion: 1994 -> 999
801.25/801.42	c learnt constraints deletion: 1999 -> 1003
803.45/803.66	c learnt constraints deletion: 1995 -> 999
805.55/805.75	c learnt constraints deletion: 1996 -> 1000
807.56/807.71	c learnt constraints deletion: 1999 -> 1002
809.85/810.06	c learnt constraints deletion: 2000 -> 1004
811.96/812.12	c learnt constraints deletion: 1996 -> 1003
814.05/814.22	c learnt constraints deletion: 1998 -> 1004
816.26/816.46	c learnt constraints deletion: 2004 -> 1006
818.55/818.79	c learnt constraints deletion: 2001 -> 1006
820.95/821.13	c learnt constraints deletion: 1999 -> 1005
823.26/823.40	c learnt constraints deletion: 2000 -> 1003
825.35/825.50	c learnt constraints deletion: 2001 -> 1007
827.45/827.63	c learnt constraints deletion: 2000 -> 1005
829.96/830.11	c learnt constraints deletion: 2003 -> 1008
832.35/832.59	c learnt constraints deletion: 1999 -> 1003
834.85/835.03	c learnt constraints deletion: 2006 -> 1008
837.25/837.43	c learnt constraints deletion: 2000 -> 1007
839.85/840.06	c learnt constraints deletion: 2000 -> 1005
842.45/842.65	c learnt constraints deletion: 2004 -> 1009
844.85/845.09	c learnt constraints deletion: 1997 -> 1003
847.45/847.65	c learnt constraints deletion: 2002 -> 1008
849.85/850.01	c learnt constraints deletion: 1996 -> 1001
851.85/852.04	c learnt constraints deletion: 2007 -> 1008
853.85/854.04	c learnt constraints deletion: 1995 -> 1002
855.85/856.01	c learnt constraints deletion: 2001 -> 1008
857.94/858.14	c learnt constraints deletion: 1998 -> 1003
860.15/860.33	c learnt constraints deletion: 1993 -> 999
862.34/862.52	c learnt constraints deletion: 1995 -> 1002
864.75/864.95	c learnt constraints deletion: 1999 -> 1003
866.65/866.81	c learnt constraints deletion: 2001 -> 1006
868.44/868.65	c learnt constraints deletion: 1994 -> 1000
870.54/870.70	c learnt constraints deletion: 2000 -> 1004
872.54/872.74	c learnt constraints deletion: 1997 -> 1002
874.85/875.04	c learnt constraints deletion: 1996 -> 1003
877.25/877.42	c learnt constraints deletion: 2001 -> 1007
879.54/879.75	c learnt constraints deletion: 2000 -> 1005
881.95/882.20	c learnt constraints deletion: 1999 -> 1005
884.25/884.47	c learnt constraints deletion: 2010 -> 1014
886.35/886.56	c learnt constraints deletion: 1995 -> 1002
888.85/889.00	c learnt constraints deletion: 1997 -> 1004
891.14/891.34	c learnt constraints deletion: 2015 -> 1014
893.34/893.56	c learnt constraints deletion: 2002 -> 1006
895.75/895.97	c learnt constraints deletion: 1998 -> 1007
898.04/898.23	c learnt constraints deletion: 1995 -> 1002
900.14/900.37	c learnt constraints deletion: 1999 -> 1005
902.44/902.67	c learnt constraints deletion: 2001 -> 1006
904.55/904.70	c learnt constraints deletion: 1994 -> 1002
906.74/906.95	c learnt constraints deletion: 1999 -> 1005
908.94/909.18	c learnt constraints deletion: 2008 -> 1010
911.24/911.43	c learnt constraints deletion: 2003 -> 1008
913.34/913.53	c learnt constraints deletion: 2002 -> 1004
915.24/915.49	c learnt constraints deletion: 2001 -> 1005
917.34/917.56	c learnt constraints deletion: 2001 -> 1006
919.45/919.61	c learnt constraints deletion: 1999 -> 1006
921.44/921.64	c learnt constraints deletion: 2002 -> 1006
923.54/923.77	c learnt constraints deletion: 2002 -> 1007
925.64/925.83	c learnt constraints deletion: 2004 -> 1007
927.94/928.10	c learnt constraints deletion: 2004 -> 1010
929.83/930.02	c learnt constraints deletion: 2005 -> 1008
931.83/932.06	c learnt constraints deletion: 1996 -> 1004
934.14/934.38	c learnt constraints deletion: 2014 -> 1016
936.43/936.67	c learnt constraints deletion: 2005 -> 1012
938.64/938.84	c learnt constraints deletion: 2008 -> 1012
941.35/941.51	c learnt constraints deletion: 2182 -> 1100
943.65/943.87	c learnt constraints deletion: 2176 -> 1095
945.93/946.10	c learnt constraints deletion: 2102 -> 1051
948.43/948.65	c learnt constraints deletion: 2169 -> 1088
950.73/950.91	c learnt constraints deletion: 2179 -> 1096
952.73/952.94	c learnt constraints deletion: 2181 -> 1096
954.83/955.07	c learnt constraints deletion: 2178 -> 1095
957.04/957.27	c learnt constraints deletion: 2182 -> 1096
959.33/959.52	c learnt constraints deletion: 2174 -> 1091
961.73/961.92	c learnt constraints deletion: 2176 -> 1093
964.14/964.36	c learnt constraints deletion: 2178 -> 1096
966.53/966.71	c learnt constraints deletion: 2182 -> 1096
969.03/969.20	c learnt constraints deletion: 2186 -> 1099
971.53/971.75	c learnt constraints deletion: 2183 -> 1098
974.03/974.28	c learnt constraints deletion: 2176 -> 1096
976.63/976.87	c learnt constraints deletion: 2187 -> 1102
979.43/979.65	c learnt constraints deletion: 2188 -> 1105
982.03/982.23	c learnt constraints deletion: 2176 -> 1094
984.33/984.57	c learnt constraints deletion: 2174 -> 1093
986.83/987.08	c learnt constraints deletion: 2173 -> 1090
989.33/989.51	c learnt constraints deletion: 2177 -> 1092
991.73/991.94	c learnt constraints deletion: 2180 -> 1093
994.23/994.47	c learnt constraints deletion: 2180 -> 1094
996.63/996.88	c learnt constraints deletion: 2176 -> 1094
999.12/999.31	c learnt constraints deletion: 2178 -> 1092
1001.42/1001.63	c learnt constraints deletion: 2176 -> 1092
1003.93/1004.14	c learnt constraints deletion: 2183 -> 1096
1006.33/1006.57	c learnt constraints deletion: 2183 -> 1098
1008.82/1009.09	c learnt constraints deletion: 2184 -> 1099
1011.22/1011.46	c learnt constraints deletion: 2183 -> 1097
1013.82/1014.06	c learnt constraints deletion: 2180 -> 1097
1016.42/1016.61	c learnt constraints deletion: 2177 -> 1092
1018.72/1018.97	c learnt constraints deletion: 2179 -> 1094
1021.12/1021.37	c learnt constraints deletion: 2177 -> 1094
1023.52/1023.78	c learnt constraints deletion: 2192 -> 1103
1026.13/1026.32	c learnt constraints deletion: 2176 -> 1094
1028.62/1028.89	c learnt constraints deletion: 2174 -> 1092
1031.12/1031.37	c learnt constraints deletion: 2185 -> 1101
1033.73/1033.91	c learnt constraints deletion: 2179 -> 1096
1036.22/1036.46	c learnt constraints deletion: 2186 -> 1100
1039.02/1039.21	c learnt constraints deletion: 2186 -> 1101
1041.72/1041.92	c learnt constraints deletion: 2179 -> 1100
1044.42/1044.63	c learnt constraints deletion: 2183 -> 1102
1047.12/1047.36	c learnt constraints deletion: 2176 -> 1092
1049.52/1049.76	c learnt constraints deletion: 2178 -> 1094
1052.12/1052.32	c learnt constraints deletion: 2180 -> 1096
1054.73/1054.98	c learnt constraints deletion: 2182 -> 1098
1057.42/1057.68	c learnt constraints deletion: 2188 -> 1104
1060.13/1060.32	c learnt constraints deletion: 2183 -> 1100
1062.33/1062.51	c learnt constraints deletion: 2171 -> 1089
1064.62/1064.88	c learnt constraints deletion: 2180 -> 1095
1067.02/1067.27	c learnt constraints deletion: 2176 -> 1091
1069.82/1070.00	c learnt constraints deletion: 2175 -> 1094
1072.42/1072.63	c learnt constraints deletion: 2182 -> 1100
1075.02/1075.27	c learnt constraints deletion: 2174 -> 1095
1077.72/1077.94	c learnt constraints deletion: 2184 -> 1097
1080.21/1080.49	c learnt constraints deletion: 2182 -> 1098
1082.82/1083.06	c learnt constraints deletion: 2175 -> 1093
1085.22/1085.46	c learnt constraints deletion: 2179 -> 1096
1087.52/1087.78	c learnt constraints deletion: 2175 -> 1093
1089.82/1090.01	c learnt constraints deletion: 2182 -> 1097
1091.91/1092.11	c learnt constraints deletion: 2177 -> 1094
1094.02/1094.28	c learnt constraints deletion: 2188 -> 1101
1096.31/1096.56	c learnt constraints deletion: 2182 -> 1100
1098.62/1098.83	c learnt constraints deletion: 2179 -> 1095
1101.11/1101.36	c learnt constraints deletion: 2185 -> 1100
1103.51/1103.75	c learnt constraints deletion: 2185 -> 1102
1105.81/1106.03	c learnt constraints deletion: 2177 -> 1095
1108.11/1108.36	c learnt constraints deletion: 2179 -> 1097
1110.51/1110.72	c learnt constraints deletion: 2174 -> 1093
1112.81/1113.06	c learnt constraints deletion: 2185 -> 1104
1115.41/1115.62	c learnt constraints deletion: 2178 -> 1098
1117.60/1117.88	c learnt constraints deletion: 2171 -> 1090
1120.11/1120.36	c learnt constraints deletion: 2181 -> 1097
1122.51/1122.70	c learnt constraints deletion: 2182 -> 1098
1124.81/1125.01	c learnt constraints deletion: 2179 -> 1095
1127.32/1127.55	c learnt constraints deletion: 2176 -> 1095
1130.20/1130.42	c learnt constraints deletion: 2186 -> 1098
1132.90/1133.11	c learnt constraints deletion: 2184 -> 1100
1135.30/1135.52	c learnt constraints deletion: 2177 -> 1095
1137.51/1137.75	c learnt constraints deletion: 2172 -> 1093
1139.91/1140.12	c learnt constraints deletion: 2187 -> 1101
1142.41/1142.64	c learnt constraints deletion: 2180 -> 1096
1145.01/1145.26	c learnt constraints deletion: 2177 -> 1098
1147.61/1147.87	c learnt constraints deletion: 2181 -> 1098
1150.20/1150.46	c learnt constraints deletion: 2182 -> 1099
1152.81/1153.05	c learnt constraints deletion: 2183 -> 1101
1155.41/1155.65	c learnt constraints deletion: 2189 -> 1106
1157.80/1158.03	c learnt constraints deletion: 2179 -> 1097
1160.31/1160.54	c learnt constraints deletion: 2170 -> 1085
1162.60/1162.84	c learnt constraints deletion: 2177 -> 1090
1164.90/1165.11	c learnt constraints deletion: 2169 -> 1088
1167.20/1167.43	c learnt constraints deletion: 2170 -> 1088
1169.60/1169.88	c learnt constraints deletion: 2173 -> 1092
1172.00/1172.23	c learnt constraints deletion: 2172 -> 1092
1174.10/1174.32	c learnt constraints deletion: 2180 -> 1093
1176.30/1176.59	c learnt constraints deletion: 2173 -> 1090
1178.70/1178.90	c learnt constraints deletion: 2173 -> 1091
1181.11/1181.39	c learnt constraints deletion: 2177 -> 1092
1183.59/1183.84	c learnt constraints deletion: 2174 -> 1089
1185.90/1186.16	c learnt constraints deletion: 2178 -> 1093
1188.40/1188.69	c learnt constraints deletion: 2178 -> 1094
1190.80/1191.03	c learnt constraints deletion: 2169 -> 1090
1193.21/1193.46	c learnt constraints deletion: 2171 -> 1087
1195.20/1195.46	c learnt constraints deletion: 2173 -> 1090
1197.30/1197.59	c learnt constraints deletion: 2168 -> 1086
1199.40/1199.69	c learnt constraints deletion: 2178 -> 1093
1201.59/1201.80	c learnt constraints deletion: 2174 -> 1091
1203.79/1204.01	c learnt constraints deletion: 2179 -> 1092
1205.90/1206.17	c learnt constraints deletion: 2174 -> 1090
1208.30/1208.59	c learnt constraints deletion: 2175 -> 1091
1210.70/1210.94	c learnt constraints deletion: 2177 -> 1093
1212.89/1213.13	c learnt constraints deletion: 2175 -> 1093
1215.09/1215.38	c learnt constraints deletion: 2174 -> 1093
1217.40/1217.67	c learnt constraints deletion: 2182 -> 1099
1219.70/1219.97	c learnt constraints deletion: 2175 -> 1091
1221.99/1222.29	c learnt constraints deletion: 2173 -> 1091
1224.39/1224.62	c learnt constraints deletion: 2169 -> 1089
1226.69/1226.97	c learnt constraints deletion: 2178 -> 1094
1229.29/1229.51	c learnt constraints deletion: 2179 -> 1096
1231.70/1231.91	c learnt constraints deletion: 2175 -> 1091
1233.90/1234.17	c learnt constraints deletion: 2173 -> 1091
1236.29/1236.53	c learnt constraints deletion: 2178 -> 1095
1238.59/1238.87	c learnt constraints deletion: 2178 -> 1093
1241.19/1241.44	c learnt constraints deletion: 2181 -> 1096
1243.38/1243.61	c learnt constraints deletion: 2181 -> 1097
1245.49/1245.74	c learnt constraints deletion: 2175 -> 1092
1247.89/1248.12	c learnt constraints deletion: 2178 -> 1094
1250.40/1250.63	c learnt constraints deletion: 2177 -> 1096
1252.60/1252.84	c learnt constraints deletion: 2178 -> 1095
1254.79/1255.07	c learnt constraints deletion: 2180 -> 1097
1256.99/1257.21	c learnt constraints deletion: 2182 -> 1096
1259.19/1259.43	c learnt constraints deletion: 2178 -> 1095
1261.39/1261.69	c learnt constraints deletion: 2180 -> 1096
1263.79/1264.06	c learnt constraints deletion: 2175 -> 1093
1266.09/1266.34	c learnt constraints deletion: 2174 -> 1094
1268.38/1268.66	c learnt constraints deletion: 2181 -> 1097
1270.79/1271.08	c learnt constraints deletion: 2184 -> 1101
1273.28/1273.50	c learnt constraints deletion: 2184 -> 1100
1275.69/1275.91	c learnt constraints deletion: 2181 -> 1099
1277.99/1278.25	c learnt constraints deletion: 2175 -> 1092
1280.39/1280.61	c learnt constraints deletion: 2175 -> 1094
1282.48/1282.77	c learnt constraints deletion: 2180 -> 1095
1284.78/1285.04	c learnt constraints deletion: 2176 -> 1092
1286.98/1287.26	c learnt constraints deletion: 2177 -> 1094
1289.28/1289.50	c learnt constraints deletion: 2177 -> 1094
1291.48/1291.75	c learnt constraints deletion: 2177 -> 1096
1293.78/1294.02	c learnt constraints deletion: 2179 -> 1098
1295.98/1296.22	c learnt constraints deletion: 2180 -> 1097
1298.18/1298.48	c learnt constraints deletion: 2178 -> 1097
1300.58/1300.83	c learnt constraints deletion: 2185 -> 1103
1302.88/1303.17	c learnt constraints deletion: 2177 -> 1094
1305.28/1305.58	c learnt constraints deletion: 2182 -> 1098
1307.88/1308.13	c learnt constraints deletion: 2178 -> 1094
1310.28/1310.58	c learnt constraints deletion: 2180 -> 1097
1312.78/1313.05	c learnt constraints deletion: 2183 -> 1099
1315.29/1315.60	c learnt constraints deletion: 2180 -> 1097
1317.88/1318.19	c learnt constraints deletion: 2184 -> 1100
1319.97/1320.25	c learnt constraints deletion: 2172 -> 1090
1321.98/1322.29	c learnt constraints deletion: 2175 -> 1089
1324.19/1324.41	c learnt constraints deletion: 2176 -> 1091
1326.28/1326.55	c learnt constraints deletion: 2174 -> 1088
1328.48/1328.77	c learnt constraints deletion: 2178 -> 1092
1330.68/1330.96	c learnt constraints deletion: 2174 -> 1088
1332.98/1333.25	c learnt constraints deletion: 2175 -> 1091
1335.28/1335.54	c learnt constraints deletion: 2164 -> 1084
1337.78/1338.05	c learnt constraints deletion: 2175 -> 1092
1340.18/1340.42	c learnt constraints deletion: 2177 -> 1093
1342.48/1342.75	c learnt constraints deletion: 2174 -> 1092
1344.78/1345.00	c learnt constraints deletion: 2185 -> 1100
1346.97/1347.25	c learnt constraints deletion: 2180 -> 1095
1349.28/1349.53	c learnt constraints deletion: 2176 -> 1091
1351.47/1351.79	c learnt constraints deletion: 2170 -> 1089
1353.88/1354.12	c learnt constraints deletion: 2175 -> 1091
1356.17/1356.46	c learnt constraints deletion: 2179 -> 1096
1358.47/1358.74	c learnt constraints deletion: 2179 -> 1095
1360.77/1361.01	c learnt constraints deletion: 2181 -> 1096
1363.07/1363.37	c learnt constraints deletion: 2185 -> 1099
1365.47/1365.74	c learnt constraints deletion: 2174 -> 1089
1367.67/1367.94	c learnt constraints deletion: 2174 -> 1088
1369.77/1370.09	c learnt constraints deletion: 2172 -> 1089
1371.87/1372.11	c learnt constraints deletion: 2173 -> 1091
1373.77/1374.05	c learnt constraints deletion: 2177 -> 1093
1375.67/1375.97	c learnt constraints deletion: 2178 -> 1093
1377.98/1378.26	c learnt constraints deletion: 2170 -> 1088
1380.07/1380.34	c learnt constraints deletion: 2178 -> 1093
1382.27/1382.54	c learnt constraints deletion: 2179 -> 1093
1384.47/1384.74	c learnt constraints deletion: 2174 -> 1092
1386.88/1387.15	c learnt constraints deletion: 2171 -> 1089
1389.07/1389.39	c learnt constraints deletion: 2170 -> 1089
1391.28/1391.51	c learnt constraints deletion: 2177 -> 1095
1393.66/1393.93	c learnt constraints deletion: 2173 -> 1090
1396.06/1396.35	c learnt constraints deletion: 2179 -> 1095
1398.17/1398.42	c learnt constraints deletion: 2177 -> 1094
1400.27/1400.58	c learnt constraints deletion: 2172 -> 1091
1402.46/1402.72	c learnt constraints deletion: 2180 -> 1096
1404.87/1405.16	c learnt constraints deletion: 2174 -> 1091
1407.27/1407.50	c learnt constraints deletion: 2172 -> 1092
1409.57/1409.84	c learnt constraints deletion: 2180 -> 1094
1411.87/1412.17	c learnt constraints deletion: 2177 -> 1094
1413.96/1414.25	c learnt constraints deletion: 2177 -> 1095
1416.37/1416.62	c learnt constraints deletion: 2183 -> 1100
1418.67/1418.99	c learnt constraints deletion: 2173 -> 1092
1421.36/1421.68	c learnt constraints deletion: 2377 -> 1195
1423.76/1424.06	c learnt constraints deletion: 2375 -> 1195
1426.37/1426.63	c learnt constraints deletion: 2375 -> 1193
1428.57/1428.84	c learnt constraints deletion: 2370 -> 1193
1430.87/1431.12	c learnt constraints deletion: 2374 -> 1196
1432.97/1433.27	c learnt constraints deletion: 2364 -> 1183
1435.16/1435.42	c learnt constraints deletion: 2365 -> 1185
1437.37/1437.61	c learnt constraints deletion: 2373 -> 1188
1439.67/1439.93	c learnt constraints deletion: 2370 -> 1189
1442.16/1442.45	c learnt constraints deletion: 2366 -> 1185
1444.36/1444.69	c learnt constraints deletion: 2370 -> 1187
1446.76/1447.08	c learnt constraints deletion: 2373 -> 1189
1449.16/1449.47	c learnt constraints deletion: 2375 -> 1193
1451.56/1451.83	c learnt constraints deletion: 2370 -> 1187
1453.86/1454.19	c learnt constraints deletion: 2370 -> 1189
1456.36/1456.67	c learnt constraints deletion: 2371 -> 1190
1458.76/1459.04	c learnt constraints deletion: 2372 -> 1192
1461.26/1461.53	c learnt constraints deletion: 2371 -> 1191
1463.56/1463.87	c learnt constraints deletion: 2370 -> 1189
1466.06/1466.30	c learnt constraints deletion: 2370 -> 1191
1468.56/1468.88	c learnt constraints deletion: 2373 -> 1193
1471.36/1471.62	c learnt constraints deletion: 2376 -> 1195
1473.86/1474.11	c learnt constraints deletion: 2366 -> 1184
1476.05/1476.32	c learnt constraints deletion: 2365 -> 1185
1478.45/1478.75	c learnt constraints deletion: 2369 -> 1188
1480.75/1481.06	c learnt constraints deletion: 2368 -> 1186
1483.25/1483.56	c learnt constraints deletion: 2376 -> 1193
1485.55/1485.88	c learnt constraints deletion: 2365 -> 1185
1487.85/1488.12	c learnt constraints deletion: 2367 -> 1184
1489.85/1490.13	c learnt constraints deletion: 2371 -> 1187
1491.96/1492.27	c learnt constraints deletion: 2371 -> 1187
1494.15/1494.43	c learnt constraints deletion: 2373 -> 1190
1496.35/1496.67	c learnt constraints deletion: 2365 -> 1186
1498.75/1499.01	c learnt constraints deletion: 2373 -> 1191
1501.15/1501.48	c learnt constraints deletion: 2366 -> 1185
1503.45/1503.78	c learnt constraints deletion: 2365 -> 1186
1505.85/1506.13	c learnt constraints deletion: 2373 -> 1192
1508.25/1508.55	c learnt constraints deletion: 2370 -> 1187
1510.55/1510.85	c learnt constraints deletion: 2370 -> 1187
1512.95/1513.27	c learnt constraints deletion: 2370 -> 1187
1515.55/1515.86	c learnt constraints deletion: 2366 -> 1186
1518.05/1518.31	c learnt constraints deletion: 2368 -> 1187
1520.55/1520.89	c learnt constraints deletion: 2372 -> 1188
1522.95/1523.26	c learnt constraints deletion: 2372 -> 1190
1525.55/1525.80	c learnt constraints deletion: 2366 -> 1187
1527.84/1528.17	c learnt constraints deletion: 2367 -> 1187
1530.24/1530.55	c learnt constraints deletion: 2374 -> 1192
1532.65/1532.96	c learnt constraints deletion: 2373 -> 1193
1534.94/1535.27	c learnt constraints deletion: 2370 -> 1189
1537.24/1537.56	c learnt constraints deletion: 2371 -> 1193
1539.75/1540.08	c learnt constraints deletion: 2373 -> 1192
1542.34/1542.63	c learnt constraints deletion: 2375 -> 1195
1545.04/1545.37	c learnt constraints deletion: 2370 -> 1189
1547.65/1547.94	c learnt constraints deletion: 2380 -> 1196
1550.24/1550.55	c learnt constraints deletion: 2372 -> 1193
1552.95/1553.21	c learnt constraints deletion: 2371 -> 1192
1555.64/1555.97	c learnt constraints deletion: 2373 -> 1187
1558.14/1558.40	c learnt constraints deletion: 2362 -> 1183
1560.54/1560.90	c learnt constraints deletion: 2368 -> 1186
1563.04/1563.36	c learnt constraints deletion: 2364 -> 1184
1565.54/1565.85	c learnt constraints deletion: 2367 -> 1187
1568.04/1568.31	c learnt constraints deletion: 2372 -> 1188
1570.64/1570.93	c learnt constraints deletion: 2374 -> 1191
1573.04/1573.39	c learnt constraints deletion: 2365 -> 1184
1575.24/1575.54	c learnt constraints deletion: 2370 -> 1187
1577.23/1577.58	c learnt constraints deletion: 2373 -> 1189
1579.35/1579.63	c learnt constraints deletion: 2368 -> 1186
1581.45/1581.77	c learnt constraints deletion: 2367 -> 1187
1583.64/1583.93	c learnt constraints deletion: 2370 -> 1189
1585.64/1585.98	c learnt constraints deletion: 2368 -> 1186
1587.83/1588.18	c learnt constraints deletion: 2372 -> 1190
1589.93/1590.27	c learnt constraints deletion: 2369 -> 1188
1592.04/1592.36	c learnt constraints deletion: 2369 -> 1189
1594.23/1594.54	c learnt constraints deletion: 2375 -> 1194
1596.63/1596.94	c learnt constraints deletion: 2366 -> 1185
1598.93/1599.26	c learnt constraints deletion: 2375 -> 1190
1601.43/1601.76	c learnt constraints deletion: 2368 -> 1188
1603.93/1604.20	c learnt constraints deletion: 2371 -> 1189
1606.33/1606.65	c learnt constraints deletion: 2367 -> 1187
1608.73/1609.00	c learnt constraints deletion: 2372 -> 1190
1611.04/1611.34	c learnt constraints deletion: 2368 -> 1187
1613.44/1613.78	c learnt constraints deletion: 2373 -> 1190
1615.93/1616.28	c learnt constraints deletion: 2367 -> 1187
1618.13/1618.46	c learnt constraints deletion: 2372 -> 1191
1620.93/1621.26	c learnt constraints deletion: 2369 -> 1190
1623.73/1624.01	c learnt constraints deletion: 2371 -> 1193
1626.43/1626.78	c learnt constraints deletion: 2375 -> 1194
1629.23/1629.59	c learnt constraints deletion: 2371 -> 1193
1632.03/1632.38	c learnt constraints deletion: 2372 -> 1190
1634.53/1634.87	c learnt constraints deletion: 2363 -> 1187
1637.23/1637.57	c learnt constraints deletion: 2364 -> 1184
1639.63/1639.92	c learnt constraints deletion: 2372 -> 1191
1642.04/1642.34	c learnt constraints deletion: 2371 -> 1191
1644.43/1644.77	c learnt constraints deletion: 2369 -> 1189
1646.93/1647.25	c learnt constraints deletion: 2375 -> 1194
1649.52/1649.90	c learnt constraints deletion: 2374 -> 1191
1652.42/1652.74	c learnt constraints deletion: 2376 -> 1194
1655.23/1655.55	c learnt constraints deletion: 2371 -> 1189
1658.13/1658.47	c learnt constraints deletion: 2373 -> 1193
1660.73/1661.07	c learnt constraints deletion: 2373 -> 1191
1663.13/1663.44	c learnt constraints deletion: 2376 -> 1194
1665.82/1666.15	c learnt constraints deletion: 2373 -> 1193
1668.43/1668.77	c learnt constraints deletion: 2378 -> 1197
1670.63/1670.97	c learnt constraints deletion: 2374 -> 1191
1672.83/1673.17	c learnt constraints deletion: 2369 -> 1190
1674.93/1675.26	c learnt constraints deletion: 2372 -> 1190
1677.02/1677.30	c learnt constraints deletion: 2378 -> 1195
1679.23/1679.55	c learnt constraints deletion: 2371 -> 1192
1681.62/1681.94	c learnt constraints deletion: 2374 -> 1195
1683.52/1683.80	c learnt constraints deletion: 2372 -> 1191
1685.82/1686.13	c learnt constraints deletion: 2373 -> 1193
1688.32/1688.61	c learnt constraints deletion: 2364 -> 1185
1690.42/1690.79	c learnt constraints deletion: 2368 -> 1188
1692.62/1692.96	c learnt constraints deletion: 2375 -> 1193
1694.72/1695.09	c learnt constraints deletion: 2373 -> 1192
1697.03/1697.34	c learnt constraints deletion: 2375 -> 1194
1699.02/1699.35	c learnt constraints deletion: 2363 -> 1183
1701.22/1701.54	c learnt constraints deletion: 2372 -> 1188
1703.32/1703.61	c learnt constraints deletion: 2369 -> 1188
1705.42/1705.72	c learnt constraints deletion: 2369 -> 1188
1707.72/1708.01	c learnt constraints deletion: 2371 -> 1189
1709.61/1709.94	c learnt constraints deletion: 2373 -> 1190
1711.51/1711.87	c learnt constraints deletion: 2374 -> 1192
1713.62/1713.99	c learnt constraints deletion: 2373 -> 1192
1715.82/1716.13	c learnt constraints deletion: 2368 -> 1187
1717.92/1718.27	c learnt constraints deletion: 2374 -> 1193
1720.41/1720.73	c learnt constraints deletion: 2372 -> 1191
1722.62/1722.96	c learnt constraints deletion: 2368 -> 1188
1724.92/1725.26	c learnt constraints deletion: 2367 -> 1189
1727.31/1727.68	c learnt constraints deletion: 2372 -> 1188
1729.41/1729.77	c learnt constraints deletion: 2367 -> 1187
1731.21/1731.59	c learnt constraints deletion: 2374 -> 1191
1733.22/1733.58	c learnt constraints deletion: 2367 -> 1189
1735.42/1735.76	c learnt constraints deletion: 2383 -> 1199
1737.81/1738.19	c learnt constraints deletion: 2375 -> 1193
1740.02/1740.30	c learnt constraints deletion: 2370 -> 1191
1741.81/1742.17	c learnt constraints deletion: 2369 -> 1190
1743.51/1743.89	c learnt constraints deletion: 2369 -> 1189
1745.61/1745.93	c learnt constraints deletion: 2369 -> 1189
1747.41/1747.79	c learnt constraints deletion: 2369 -> 1191
1749.21/1749.58	c learnt constraints deletion: 2370 -> 1189
1751.01/1751.36	c learnt constraints deletion: 2373 -> 1191
1752.71/1753.04	c learnt constraints deletion: 2370 -> 1189
1754.61/1754.98	c learnt constraints deletion: 2377 -> 1195
1756.61/1756.94	c learnt constraints deletion: 2366 -> 1187
1758.61/1758.95	c learnt constraints deletion: 2376 -> 1194
1761.11/1761.47	c learnt constraints deletion: 2371 -> 1192
1763.31/1763.66	c learnt constraints deletion: 2374 -> 1194
1765.51/1765.88	c learnt constraints deletion: 2375 -> 1193
1767.71/1768.05	c learnt constraints deletion: 2376 -> 1193
1769.61/1769.94	c learnt constraints deletion: 2371 -> 1191
1771.91/1772.22	c learnt constraints deletion: 2373 -> 1194
1774.41/1774.76	c learnt constraints deletion: 2372 -> 1192
1776.81/1777.19	c learnt constraints deletion: 2375 -> 1196
1779.31/1779.64	c learnt constraints deletion: 2379 -> 1196
1782.11/1782.41	c learnt constraints deletion: 2376 -> 1196
1784.91/1785.22	c learnt constraints deletion: 2374 -> 1196
1787.30/1787.67	c learnt constraints deletion: 2370 -> 1190
1789.60/1789.97	c learnt constraints deletion: 2371 -> 1189
1792.20/1792.51	c learnt constraints deletion: 2365 -> 1188
1794.61/1794.90	c learnt constraints deletion: 2367 -> 1187
1796.80/1797.18	c learnt constraints deletion: 2369 -> 1190
1799.40/1799.71	c learnt constraints deletion: 2374 -> 1191

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-3725095-1338631549/watcher-3725095-1338631549 -o /tmp/evaluation-result-3725095-1338631549/solver-3725095-1338631549 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725095-1338631549.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.97 0.25 0.08 3/173 13050
/proc/meminfo: memFree=31496256/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=7248 CPUtime=0 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 834 0 0 0 0 0 0 0 20 0 1 0 329279462 7421952 755 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 1812 755 428 1171 0 589 0

[startup+0.0878509 s]
/proc/loadavg: 0.97 0.25 0.08 3/173 13050
/proc/meminfo: memFree=31496256/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=9296 CPUtime=0.08 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 1418 0 0 0 8 0 0 0 20 0 1 0 329279462 9519104 1339 33554432000 4194304 8989770 140736331745312 140736331744808 6581816 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 2324 1339 471 1171 0 1101 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9296

[startup+0.10027 s]
/proc/loadavg: 0.97 0.25 0.08 3/173 13050
/proc/meminfo: memFree=31496256/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=9296 CPUtime=0.09 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 1418 0 0 0 9 0 0 0 20 0 1 0 329279462 9519104 1339 33554432000 4194304 8989770 140736331745312 140736331744808 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 2324 1339 471 1171 0 1101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9296

[startup+0.300227 s]
/proc/loadavg: 0.97 0.25 0.08 3/173 13050
/proc/meminfo: memFree=31496256/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=10320 CPUtime=0.29 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 1902 0 0 0 29 0 0 0 20 0 1 0 329279462 10567680 1823 33554432000 4194304 8989770 140736331745312 140736331744808 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 2580 1823 471 1171 0 1357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10320

[startup+0.700234 s]
/proc/loadavg: 0.97 0.25 0.08 3/173 13050
/proc/meminfo: memFree=31496256/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=11344 CPUtime=0.69 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 2158 0 0 0 69 0 0 0 20 0 1 0 329279462 11616256 2079 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 2836 2079 471 1171 0 1613 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11344

[startup+1.50027 s]
/proc/loadavg: 0.97 0.25 0.08 3/174 13051
/proc/meminfo: memFree=31488708/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=12368 CPUtime=1.49 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 2416 0 0 0 149 0 0 0 20 0 1 0 329279462 12664832 2337 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 3092 2337 473 1171 0 1869 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12368

[startup+3.10025 s]
/proc/loadavg: 0.97 0.25 0.08 2/172 13070
/proc/meminfo: memFree=31535440/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=14416 CPUtime=3.09 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 2928 0 0 0 308 1 0 0 20 0 1 0 329279462 14761984 2849 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 3604 2849 473 1171 0 2381 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14416

[startup+6.30026 s]
/proc/loadavg: 1.05 0.28 0.09 3/177 13082
/proc/meminfo: memFree=31514312/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=16464 CPUtime=6.28 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 3441 0 0 0 626 2 0 0 20 0 1 0 329279462 16859136 3362 33554432000 4194304 8989770 140736331745312 140736331744808 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 4116 3362 473 1171 0 2893 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16464

[startup+12.7003 s]
/proc/loadavg: 1.13 0.31 0.10 3/177 13082
/proc/meminfo: memFree=31504220/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=19536 CPUtime=12.68 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 4213 0 0 0 1263 5 0 0 20 0 1 0 329279462 20004864 4135 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 4884 4135 473 1171 0 3661 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19536

[startup+25.5002 s]
/proc/loadavg: 1.32 0.39 0.13 3/177 13082
/proc/meminfo: memFree=31501888/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=20560 CPUtime=25.48 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 4469 0 0 0 2537 11 0 0 20 0 1 0 329279462 21053440 4391 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 5140 4391 473 1171 0 3917 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20560

[startup+51.1003 s]
/proc/loadavg: 1.55 0.52 0.18 3/177 13082
/proc/meminfo: memFree=31497028/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=25680 CPUtime=51.07 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 5753 0 0 0 5086 21 0 0 20 0 1 0 329279462 26296320 5671 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 6420 5671 473 1171 0 5197 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25680

[startup+102.306 s]
/proc/loadavg: 1.80 0.74 0.27 3/177 13082
/proc/meminfo: memFree=31489892/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=28752 CPUtime=102.27 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 6777 0 0 0 10183 44 0 0 20 0 1 0 329279462 29442048 6439 33554432000 4194304 8989770 140736331745312 140736331744576 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 7188 6439 473 1171 0 5965 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28752

[startup+162.3 s]
/proc/loadavg: 1.93 0.97 0.38 3/177 13083
/proc/meminfo: memFree=31486912/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=29776 CPUtime=162.26 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 7034 0 0 0 16156 70 0 0 20 0 1 0 329279462 30490624 6695 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 7444 6695 473 1171 0 6221 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 29776

[startup+222.3 s]
/proc/loadavg: 1.97 1.15 0.48 3/177 13083
/proc/meminfo: memFree=31482008/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=32848 CPUtime=222.25 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 7802 0 0 0 22125 100 0 0 20 0 1 0 329279462 33636352 7463 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 8212 7463 473 1171 0 6989 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 32848

[startup+282.3 s]
/proc/loadavg: 2.05 1.32 0.57 3/178 13086
/proc/meminfo: memFree=31480444/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=33872 CPUtime=282.23 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 8058 0 0 0 28096 127 0 0 20 0 1 0 329279462 34684928 7719 33554432000 4194304 8989770 140736331745312 140736331744576 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 8468 7719 473 1171 0 7245 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 33872

[startup+342.3 s]
/proc/loadavg: 2.02 1.44 0.66 3/177 13086
/proc/meminfo: memFree=31479220/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=34896 CPUtime=342.23 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 8314 0 0 0 34070 153 0 0 20 0 1 0 329279462 35733504 7975 33554432000 4194304 8989770 140736331745312 140736331744576 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 8724 7975 473 1171 0 7501 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 34896

[startup+402.3 s]
/proc/loadavg: 2.00 1.54 0.74 3/177 13086
/proc/meminfo: memFree=31479708/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=33872 CPUtime=402.22 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 8315 0 0 0 40045 177 0 0 20 0 1 0 329279462 34684928 7719 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 8468 7719 473 1171 0 7245 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 33872

[startup+462.3 s]
/proc/loadavg: 2.00 1.62 0.82 3/177 13087
/proc/meminfo: memFree=31474872/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=36944 CPUtime=462.2 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 9339 0 0 0 46021 199 0 0 20 0 1 0 329279462 37830656 8487 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 9236 8487 473 1171 0 8013 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 36944

[startup+522.3 s]
/proc/loadavg: 2.00 1.69 0.89 3/177 13087
/proc/meminfo: memFree=31477348/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=36944 CPUtime=522.2 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 9339 0 0 0 52000 220 0 0 20 0 1 0 329279462 37830656 8487 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 9236 8487 473 1171 0 8013 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 36944

[startup+582.3 s]
/proc/loadavg: 2.00 1.74 0.95 3/177 13087
/proc/meminfo: memFree=31476232/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=37968 CPUtime=582.19 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 9595 0 0 0 57974 245 0 0 20 0 1 0 329279462 38879232 8743 33554432000 4194304 8989770 140736331745312 140736331744576 7953280 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 9492 8743 473 1171 0 8269 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 37968

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 1.90 1.23 3/178 13091
/proc/meminfo: memFree=31462928/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=42064 CPUtime=882.14 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 11644 0 0 0 87846 368 0 0 20 0 1 0 329279462 43073536 9767 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 10516 9767 473 1171 0 9293 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 42064

[startup+942.3 s]
/proc/loadavg: 2.00 1.91 1.28 3/177 13091
/proc/meminfo: memFree=31466960/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=42064 CPUtime=942.14 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 11644 0 0 0 93819 395 0 0 20 0 1 0 329279462 43073536 9767 33554432000 4194304 8989770 140736331745312 140736331744576 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 10516 9767 473 1171 0 9293 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 42064

[startup+1002.3 s]
/proc/loadavg: 2.05 1.94 1.32 3/177 13091
/proc/meminfo: memFree=31466772/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=43088 CPUtime=1002.12 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 11900 0 0 0 99793 419 0 0 20 0 1 0 329279462 44122112 10023 33554432000 4194304 8989770 140736331745312 140736331744808 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 10772 10023 473 1171 0 9549 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 43088

[startup+1062.3 s]
/proc/loadavg: 2.06 1.96 1.37 3/177 13092
/proc/meminfo: memFree=31462488/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=46160 CPUtime=1062.12 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 12924 0 0 0 105768 444 0 0 20 0 1 0 329279462 47267840 10791 33554432000 4194304 8989770 140736331745312 140736331744808 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 11540 10791 473 1171 0 10317 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 46160

[startup+1122.3 s]
/proc/loadavg: 2.02 1.97 1.40 3/177 13092
/proc/meminfo: memFree=31464216/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=45136 CPUtime=1122.11 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 13692 0 0 0 111744 467 0 0 20 0 1 0 329279462 46219264 10535 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 11284 10535 473 1171 0 10061 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 45136

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.44 3/177 13092
/proc/meminfo: memFree=31460052/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=45136 CPUtime=1182.09 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 13692 0 0 0 117719 490 0 0 20 0 1 0 329279462 46219264 10535 33554432000 4194304 8989770 140736331745312 140736331744808 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 11284 10535 473 1171 0 10061 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 45136

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.47 3/177 13092
/proc/meminfo: memFree=31459432/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=45136 CPUtime=1242.09 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 13692 0 0 0 123695 514 0 0 20 0 1 0 329279462 46219264 10535 33554432000 4194304 8989770 140736331745312 140736331744808 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 11284 10535 473 1171 0 10061 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 45136

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.50 3/177 13092
/proc/meminfo: memFree=31459432/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=45136 CPUtime=1302.09 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 13692 0 0 0 129671 538 0 0 20 0 1 0 329279462 46219264 10535 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 11284 10535 473 1171 0 10061 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 45136

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.53 3/177 13093
/proc/meminfo: memFree=31455028/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=48208 CPUtime=1362.07 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 14460 0 0 0 135642 565 0 0 20 0 1 0 329279462 49364992 11303 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 12052 11303 473 1171 0 10829 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 48208

[startup+1422.31 s]
/proc/loadavg: 2.03 1.99 1.56 3/177 13093
/proc/meminfo: memFree=31454960/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=48208 CPUtime=1422.06 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 14460 0 0 0 141616 590 0 0 20 0 1 0 329279462 49364992 11303 33554432000 4194304 8989770 140736331745312 140736331744808 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 12052 11303 473 1171 0 10829 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 48208

[startup+1482.3 s]
/proc/loadavg: 2.22 2.05 1.61 3/178 13096
/proc/meminfo: memFree=31457308/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=47184 CPUtime=1482.05 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 14716 0 0 0 147590 615 0 0 20 0 1 0 329279462 48316416 11047 33554432000 4194304 8989770 140736331745312 140736331744576 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 11796 11047 473 1171 0 10573 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 47184

[startup+1542.3 s]
/proc/loadavg: 2.19 2.07 1.64 3/177 13096
/proc/meminfo: memFree=31457316/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=47184 CPUtime=1542.04 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 14716 0 0 0 153562 642 0 0 20 0 1 0 329279462 48316416 11047 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 11796 11047 473 1171 0 10573 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 47184

[startup+1602.3 s]
/proc/loadavg: 2.12 2.07 1.66 3/177 13096
/proc/meminfo: memFree=31454588/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=49232 CPUtime=1602.03 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 15228 0 0 0 159538 665 0 0 20 0 1 0 329279462 50413568 11559 33554432000 4194304 8989770 140736331745312 140736331744808 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 12308 11559 473 1171 0 11085 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 49232

[startup+1662.3 s]
/proc/loadavg: 2.04 2.05 1.68 3/177 13097
/proc/meminfo: memFree=31457500/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=50256 CPUtime=1662.02 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 15485 0 0 0 165510 692 0 0 20 0 1 0 329279462 51462144 11815 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 12564 11815 473 1171 0 11341 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 50256

[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 1.70 3/177 13097
/proc/meminfo: memFree=31457492/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=47184 CPUtime=1722.01 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 15741 0 0 0 171484 717 0 0 20 0 1 0 329279462 48316416 11047 33554432000 4194304 8989770 140736331745312 140736331744576 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 11796 11047 473 1171 0 10573 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 47184

[startup+1782.3 s]
/proc/loadavg: 2.11 2.06 1.73 3/177 13097
/proc/meminfo: memFree=31456252/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=48208 CPUtime=1782.01 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 15997 0 0 0 177458 743 0 0 20 0 1 0 329279462 49364992 11303 33554432000 4194304 8989770 140736331745312 140736331744808 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 12052 11303 473 1171 0 10829 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 48208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.08 2.06 1.73 3/177 13097
/proc/meminfo: memFree=31457740/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=46160 CPUtime=1800.01 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 15997 0 0 0 179251 750 0 0 20 0 1 0 329279462 47267840 10791 33554432000 4194304 8989770 140736331745312 140736331744808 6858405 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 11540 10791 473 1171 0 10317 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 46160

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

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

[startup+1800.3 s]
/proc/loadavg: 2.08 2.06 1.73 3/177 13097
/proc/meminfo: memFree=31457740/32873844 swapFree=7900/7900
[pid=13050] ppid=13048 vsize=46160 CPUtime=1800.01 cores=1,3,5,7
/proc/13050/stat : 13050 (toysat) R 13048 13050 12961 0 -1 4202496 15997 0 0 0 179251 750 0 0 20 0 1 0 329279462 47267840 10791 33554432000 4194304 8989770 140736331745312 140736331744808 6858405 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/13050/statm: 11540 10791 473 1171 0 10317 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 46160

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1792.51
CPU system time (s): 7.50886
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 50256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.51
system time used= 7.50886
maximum resident set size= 47260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15997
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= 15
involuntary context switches= 1854

runsolver used 3.66144 second user time and 9.37358 second system time

The end

Launcher Data

Begin job on node137 at 2012-06-02 12:05:49
IDJOB=3725095
IDBENCH=1959
IDSOLVER=2308
FILE ID=node137/3725095-1338631549
RUNJOBID= node137-1338631508-12978
PBS_JOBID= 14636443
Free space on /tmp= 70652 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725095-1338631549/watcher-3725095-1338631549 -o /tmp/evaluation-result-3725095-1338631549/solver-3725095-1338631549 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725095-1338631549.opb

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

MD5SUM BENCH= 3ddf6338b9f9cf35560b94c856457c56
RANDOM SEED=765455790

node137.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.600
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.20
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.600
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.600
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.92
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.600
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.600
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.91
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.600
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.90
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.600
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.91
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.600
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:        31497272 kB
Buffers:          130876 kB
Cached:           425636 kB
SwapCached:         5796 kB
Active:           258388 kB
Inactive:         306352 kB
Active(anon):       3360 kB
Inactive(anon):     7184 kB
Active(file):     255028 kB
Inactive(file):   299168 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097500 kB
Dirty:              7476 kB
Writeback:             0 kB
AnonPages:         10920 kB
Mapped:             8836 kB
Shmem:                 0 kB
Slab:             673540 kB
SReclaimable:     114964 kB
SUnreclaim:       558576 kB
KernelStack:        1432 kB
PageTables:         4012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     105364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70684 MiB
End job on node137 at 2012-06-02 12:35:52