Trace number 3706729

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.02 1800.31

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
MD5SUM85de1910ead9431952046fc8a55b274b
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 185
Optimality of the best value was proved NO
Number of variables478
Total number of constraints478
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 constraints478
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 478
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 478
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 478
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.01/0.05	c 2012-05-27T12:04:03+0200
0.01/0.05	c arch = x86_64
0.01/0.05	c os = linux
0.01/0.05	c compiler = ghc 7.4
0.01/0.05	c packages:
0.01/0.05	c   OptDir-0.0.1
0.01/0.05	c   array-0.4.0.0
0.01/0.05	c   base-4.5.0.0
0.01/0.05	c   bytestring-0.9.2.1
0.01/0.05	c   containers-0.4.2.1
0.01/0.05	c   deepseq-1.3.0.0
0.01/0.05	c   mtl-2.1.1
0.01/0.05	c   old_locale-1.0.0.4
0.01/0.05	c   parse_dimacs-1.2
0.01/0.05	c   parsec-3.1.2
0.01/0.05	c   queue-0.1.2
0.01/0.05	c   stm-2.3
0.01/0.05	c   time-1.4
0.01/0.05	c command line = ["--pb","HOME/instance-3706729-1338113043.opb"]
0.01/0.05	c #vars 478
0.01/0.05	c #constraints 478
0.01/0.05	c Solving starts ...
0.01/0.05	c solving time = 0.002s
0.01/0.05	c #decision = 246
0.01/0.05	c #conflict = 0
0.01/0.05	c #restart = 0
0.01/0.05	o 232
0.01/0.05	c Solving starts ...
0.01/0.05	c solving time = 0.005s
0.01/0.05	c #decision = 487
0.01/0.05	c #conflict = 1
0.01/0.05	c #restart = 0
0.01/0.05	o 231
0.01/0.05	c Solving starts ...
0.19/0.29	c solving time = 0.237s
0.19/0.29	c #decision = 1187
0.19/0.29	c #conflict = 156
0.19/0.29	c #restart = 1
0.19/0.29	o 230
0.19/0.29	c Solving starts ...
0.79/0.83	c learnt constraints deletion: 403 -> 202
1.29/1.32	c learnt constraints deletion: 426 -> 213
2.09/2.12	c learnt constraints deletion: 550 -> 275
2.99/3.05	c learnt constraints deletion: 703 -> 361
3.79/3.84	c learnt constraints deletion: 751 -> 383
4.69/4.70	c learnt constraints deletion: 753 -> 383
5.49/5.58	c learnt constraints deletion: 797 -> 401
6.39/6.47	c learnt constraints deletion: 809 -> 414
7.29/7.33	c learnt constraints deletion: 803 -> 410
8.28/8.30	c learnt constraints deletion: 861 -> 438
9.09/9.19	c learnt constraints deletion: 859 -> 434
9.99/10.03	c learnt constraints deletion: 860 -> 436
10.89/10.92	c learnt constraints deletion: 858 -> 429
11.89/11.97	c learnt constraints deletion: 924 -> 470
12.99/13.05	c learnt constraints deletion: 925 -> 472
13.88/13.99	c learnt constraints deletion: 922 -> 465
14.99/15.01	c learnt constraints deletion: 927 -> 473
15.88/15.99	c learnt constraints deletion: 929 -> 469
17.19/17.26	c learnt constraints deletion: 997 -> 507
18.28/18.37	c learnt constraints deletion: 998 -> 512
19.49/19.51	c learnt constraints deletion: 1001 -> 516
20.49/20.52	c learnt constraints deletion: 995 -> 505
21.48/21.56	c learnt constraints deletion: 997 -> 507
22.49/22.55	c learnt constraints deletion: 996 -> 510
23.39/23.44	c learnt constraints deletion: 997 -> 503
24.28/24.39	c learnt constraints deletion: 996 -> 505
25.38/25.45	c learnt constraints deletion: 1066 -> 536
26.19/26.26	c learnt constraints deletion: 1070 -> 543
27.09/27.17	c learnt constraints deletion: 1073 -> 543
28.18/28.23	c learnt constraints deletion: 1067 -> 539
29.28/29.34	c learnt constraints deletion: 1071 -> 543
30.38/30.47	c learnt constraints deletion: 1073 -> 543
31.39/31.49	c learnt constraints deletion: 1071 -> 545
32.28/32.39	c learnt constraints deletion: 1074 -> 549
33.39/33.48	c learnt constraints deletion: 1074 -> 549
34.49/34.57	c learnt constraints deletion: 1069 -> 543
35.78/35.86	c learnt constraints deletion: 1161 -> 590
37.08/37.14	c learnt constraints deletion: 1163 -> 592
38.28/38.34	c learnt constraints deletion: 1162 -> 589
39.39/39.49	c learnt constraints deletion: 1157 -> 590
40.59/40.69	c learnt constraints deletion: 1155 -> 582
41.88/41.90	c learnt constraints deletion: 1152 -> 583
42.89/42.98	c learnt constraints deletion: 1156 -> 584
44.18/44.20	c learnt constraints deletion: 1154 -> 584
45.38/45.50	c learnt constraints deletion: 1151 -> 579
46.68/46.79	c learnt constraints deletion: 1158 -> 587
47.98/48.05	c learnt constraints deletion: 1159 -> 588
49.39/49.43	c learnt constraints deletion: 1164 -> 592
50.59/50.69	c learnt constraints deletion: 1164 -> 599
51.88/51.92	c learnt constraints deletion: 1155 -> 586
53.18/53.29	c learnt constraints deletion: 1161 -> 593
54.78/54.84	c learnt constraints deletion: 1247 -> 629
56.27/56.30	c learnt constraints deletion: 1246 -> 632
57.58/57.67	c learnt constraints deletion: 1251 -> 634
58.97/59.06	c learnt constraints deletion: 1245 -> 629
60.38/60.49	c learnt constraints deletion: 1250 -> 636
61.77/61.88	c learnt constraints deletion: 1250 -> 634
63.28/63.33	c learnt constraints deletion: 1242 -> 626
64.68/64.79	c learnt constraints deletion: 1249 -> 635
66.08/66.17	c learnt constraints deletion: 1245 -> 629
67.38/67.48	c learnt constraints deletion: 1254 -> 634
68.78/68.82	c learnt constraints deletion: 1248 -> 634
70.17/70.29	c learnt constraints deletion: 1251 -> 636
71.58/71.68	c learnt constraints deletion: 1253 -> 641
73.08/73.14	c learnt constraints deletion: 1250 -> 635
74.48/74.56	c learnt constraints deletion: 1250 -> 636
75.97/76.02	c learnt constraints deletion: 1251 -> 639
77.48/77.57	c learnt constraints deletion: 1252 -> 639
78.98/79.00	c learnt constraints deletion: 1246 -> 629
80.37/80.40	c learnt constraints deletion: 1246 -> 629
81.77/81.83	c learnt constraints deletion: 1247 -> 631
83.18/83.27	c learnt constraints deletion: 1247 -> 633
84.78/84.83	c learnt constraints deletion: 1351 -> 681
86.27/86.35	c learnt constraints deletion: 1352 -> 682
87.88/87.96	c learnt constraints deletion: 1343 -> 675
89.37/89.41	c learnt constraints deletion: 1351 -> 685
90.87/90.97	c learnt constraints deletion: 1353 -> 682
92.48/92.52	c learnt constraints deletion: 1348 -> 677
93.97/94.07	c learnt constraints deletion: 1346 -> 677
95.58/95.69	c learnt constraints deletion: 1360 -> 691
97.17/97.26	c learnt constraints deletion: 1356 -> 691
98.77/98.80	c learnt constraints deletion: 1350 -> 680
100.37/100.43	c learnt constraints deletion: 1353 -> 686
101.97/102.04	c learnt constraints deletion: 1348 -> 677
103.57/103.61	c learnt constraints deletion: 1355 -> 684
105.18/105.23	c learnt constraints deletion: 1357 -> 686
106.77/106.83	c learnt constraints deletion: 1352 -> 680
108.27/108.38	c learnt constraints deletion: 1348 -> 676
109.88/109.95	c learnt constraints deletion: 1346 -> 679
111.37/111.44	c learnt constraints deletion: 1352 -> 682
112.77/112.85	c learnt constraints deletion: 1346 -> 674
114.28/114.38	c learnt constraints deletion: 1351 -> 684
115.77/115.86	c learnt constraints deletion: 1350 -> 682
117.27/117.36	c learnt constraints deletion: 1351 -> 685
118.78/118.85	c learnt constraints deletion: 1348 -> 678
120.37/120.41	c learnt constraints deletion: 1358 -> 687
121.87/121.97	c learnt constraints deletion: 1354 -> 684
123.47/123.55	c learnt constraints deletion: 1352 -> 680
124.97/125.06	c learnt constraints deletion: 1347 -> 679
126.48/126.51	c learnt constraints deletion: 1347 -> 681
127.97/128.08	c learnt constraints deletion: 1349 -> 679
129.77/129.87	c learnt constraints deletion: 1466 -> 739
131.37/131.46	c learnt constraints deletion: 1461 -> 735
133.07/133.12	c learnt constraints deletion: 1458 -> 731
134.77/134.82	c learnt constraints deletion: 1464 -> 738
136.27/136.39	c learnt constraints deletion: 1460 -> 737
137.97/138.03	c learnt constraints deletion: 1458 -> 734
139.57/139.69	c learnt constraints deletion: 1463 -> 740
141.26/141.35	c learnt constraints deletion: 1464 -> 740
142.87/142.96	c learnt constraints deletion: 1462 -> 737
144.47/144.58	c learnt constraints deletion: 1462 -> 735
146.18/146.28	c learnt constraints deletion: 1464 -> 735
147.86/147.91	c learnt constraints deletion: 1465 -> 735
149.57/149.61	c learnt constraints deletion: 1460 -> 735
151.27/151.34	c learnt constraints deletion: 1465 -> 742
152.96/153.08	c learnt constraints deletion: 1465 -> 739
154.67/154.76	c learnt constraints deletion: 1463 -> 738
156.37/156.47	c learnt constraints deletion: 1455 -> 728
158.06/158.19	c learnt constraints deletion: 1449 -> 726
159.97/160.03	c learnt constraints deletion: 1464 -> 738
161.67/161.76	c learnt constraints deletion: 1458 -> 733
163.56/163.61	c learnt constraints deletion: 1461 -> 736
165.26/165.35	c learnt constraints deletion: 1461 -> 735
167.07/167.14	c learnt constraints deletion: 1465 -> 741
168.76/168.88	c learnt constraints deletion: 1462 -> 739
170.56/170.63	c learnt constraints deletion: 1459 -> 731
172.36/172.41	c learnt constraints deletion: 1452 -> 728
174.06/174.12	c learnt constraints deletion: 1454 -> 728
175.76/175.85	c learnt constraints deletion: 1455 -> 730
177.46/177.51	c learnt constraints deletion: 1459 -> 737
179.17/179.21	c learnt constraints deletion: 1453 -> 730
180.86/180.90	c learnt constraints deletion: 1464 -> 739
182.56/182.63	c learnt constraints deletion: 1459 -> 736
184.36/184.45	c learnt constraints deletion: 1460 -> 735
186.06/186.14	c learnt constraints deletion: 1456 -> 732
187.97/188.01	c learnt constraints deletion: 1460 -> 737
189.66/189.70	c learnt constraints deletion: 1465 -> 738
191.26/191.34	c learnt constraints deletion: 1456 -> 730
193.06/193.10	c learnt constraints deletion: 1458 -> 733
194.76/194.85	c learnt constraints deletion: 1465 -> 741
196.55/196.60	c learnt constraints deletion: 1458 -> 734
198.66/198.78	c learnt constraints deletion: 1582 -> 797
200.66/200.72	c learnt constraints deletion: 1584 -> 797
202.66/202.72	c learnt constraints deletion: 1590 -> 802
204.66/204.72	c learnt constraints deletion: 1584 -> 796
206.56/206.61	c learnt constraints deletion: 1583 -> 794
208.35/208.42	c learnt constraints deletion: 1583 -> 795
210.25/210.32	c learnt constraints deletion: 1583 -> 795
212.16/212.27	c learnt constraints deletion: 1590 -> 798
213.95/214.08	c learnt constraints deletion: 1583 -> 797
215.86/215.94	c learnt constraints deletion: 1582 -> 793
217.85/217.93	c learnt constraints deletion: 1588 -> 800
219.75/219.81	c learnt constraints deletion: 1584 -> 795
221.55/221.69	c learnt constraints deletion: 1589 -> 800
223.56/223.61	c learnt constraints deletion: 1581 -> 795
225.36/225.46	c learnt constraints deletion: 1584 -> 796
227.15/227.28	c learnt constraints deletion: 1591 -> 801
229.25/229.30	c learnt constraints deletion: 1590 -> 802
231.06/231.14	c learnt constraints deletion: 1579 -> 792
233.16/233.29	c learnt constraints deletion: 1584 -> 793
235.26/235.32	c learnt constraints deletion: 1578 -> 792
237.15/237.25	c learnt constraints deletion: 1586 -> 795
238.95/239.05	c learnt constraints deletion: 1577 -> 792
240.85/240.95	c learnt constraints deletion: 1583 -> 797
242.75/242.80	c learnt constraints deletion: 1585 -> 798
244.65/244.75	c learnt constraints deletion: 1588 -> 802
246.65/246.77	c learnt constraints deletion: 1581 -> 795
248.65/248.70	c learnt constraints deletion: 1578 -> 791
250.25/250.31	c learnt constraints deletion: 1582 -> 793
252.04/252.19	c learnt constraints deletion: 1584 -> 797
254.05/254.19	c learnt constraints deletion: 1588 -> 800
255.94/256.06	c learnt constraints deletion: 1586 -> 799
257.95/258.01	c learnt constraints deletion: 1586 -> 799
259.95/260.00	c learnt constraints deletion: 1594 -> 804
261.66/261.76	c learnt constraints deletion: 1587 -> 805
263.44/263.54	c learnt constraints deletion: 1591 -> 806
265.24/265.34	c learnt constraints deletion: 1583 -> 798
267.15/267.22	c learnt constraints deletion: 1585 -> 797
268.94/269.05	c learnt constraints deletion: 1582 -> 797
270.84/270.92	c learnt constraints deletion: 1584 -> 798
272.75/272.87	c learnt constraints deletion: 1587 -> 799
274.54/274.68	c learnt constraints deletion: 1590 -> 799
276.45/276.51	c learnt constraints deletion: 1584 -> 799
278.25/278.38	c learnt constraints deletion: 1579 -> 797
280.15/280.25	c learnt constraints deletion: 1578 -> 790
281.85/281.96	c learnt constraints deletion: 1588 -> 796
283.54/283.65	c learnt constraints deletion: 1587 -> 796
285.44/285.51	c learnt constraints deletion: 1581 -> 793
287.14/287.28	c learnt constraints deletion: 1587 -> 801
288.84/288.97	c learnt constraints deletion: 1586 -> 800
290.74/290.82	c learnt constraints deletion: 1583 -> 799
292.45/292.55	c learnt constraints deletion: 1581 -> 795
294.25/294.30	c learnt constraints deletion: 1582 -> 794
296.04/296.11	c learnt constraints deletion: 1589 -> 801
297.74/297.87	c learnt constraints deletion: 1586 -> 800
299.54/299.66	c learnt constraints deletion: 1589 -> 802
301.64/301.76	c learnt constraints deletion: 1718 -> 861
303.14/303.21	c learnt constraints deletion: 1523 -> 762
305.24/305.36	c learnt constraints deletion: 1723 -> 863
306.94/307.09	c learnt constraints deletion: 1719 -> 863
308.84/308.97	c learnt constraints deletion: 1719 -> 866
310.63/310.80	c learnt constraints deletion: 1715 -> 861
312.43/312.56	c learnt constraints deletion: 1719 -> 866
314.34/314.43	c learnt constraints deletion: 1722 -> 869
316.34/316.46	c learnt constraints deletion: 1719 -> 863
318.33/318.42	c learnt constraints deletion: 1722 -> 865
320.24/320.34	c learnt constraints deletion: 1726 -> 869
322.04/322.19	c learnt constraints deletion: 1717 -> 863
323.84/323.99	c learnt constraints deletion: 1719 -> 865
325.84/325.90	c learnt constraints deletion: 1721 -> 865
327.64/327.76	c learnt constraints deletion: 1716 -> 859
329.64/329.72	c learnt constraints deletion: 1717 -> 862
331.63/331.79	c learnt constraints deletion: 1722 -> 863
333.73/333.82	c learnt constraints deletion: 1720 -> 862
335.73/335.83	c learnt constraints deletion: 1719 -> 863
337.73/337.85	c learnt constraints deletion: 1721 -> 866
339.54/339.69	c learnt constraints deletion: 1717 -> 865
341.63/341.71	c learnt constraints deletion: 1718 -> 862
343.63/343.79	c learnt constraints deletion: 1719 -> 862
345.63/345.78	c learnt constraints deletion: 1714 -> 860
347.74/347.87	c learnt constraints deletion: 1723 -> 865
349.93/350.06	c learnt constraints deletion: 1731 -> 871
352.23/352.32	c learnt constraints deletion: 1724 -> 867
354.33/354.40	c learnt constraints deletion: 1717 -> 865
356.34/356.47	c learnt constraints deletion: 1725 -> 869
358.44/358.58	c learnt constraints deletion: 1722 -> 865
360.43/360.54	c learnt constraints deletion: 1719 -> 863
362.43/362.59	c learnt constraints deletion: 1716 -> 860
364.13/364.22	c learnt constraints deletion: 1713 -> 859
365.72/365.82	c learnt constraints deletion: 1714 -> 860
367.63/367.76	c learnt constraints deletion: 1715 -> 859
369.33/369.42	c learnt constraints deletion: 1716 -> 860
371.13/371.29	c learnt constraints deletion: 1723 -> 867
373.02/373.14	c learnt constraints deletion: 1719 -> 865
374.83/374.95	c learnt constraints deletion: 1722 -> 868
376.63/376.79	c learnt constraints deletion: 1720 -> 864
378.53/378.63	c learnt constraints deletion: 1718 -> 863
380.44/380.51	c learnt constraints deletion: 1717 -> 861
382.13/382.29	c learnt constraints deletion: 1714 -> 859
384.03/384.11	c learnt constraints deletion: 1724 -> 866
385.82/385.90	c learnt constraints deletion: 1716 -> 862
387.63/387.78	c learnt constraints deletion: 1722 -> 867
389.52/389.62	c learnt constraints deletion: 1721 -> 863
391.43/391.60	c learnt constraints deletion: 1718 -> 864
393.43/393.50	c learnt constraints deletion: 1721 -> 867
395.22/395.31	c learnt constraints deletion: 1720 -> 867
397.13/397.25	c learnt constraints deletion: 1712 -> 862
399.02/399.11	c learnt constraints deletion: 1713 -> 860
401.03/401.18	c learnt constraints deletion: 1725 -> 870
403.02/403.14	c learnt constraints deletion: 1723 -> 869
405.22/405.33	c learnt constraints deletion: 1723 -> 868
407.12/407.25	c learnt constraints deletion: 1717 -> 866
409.33/409.41	c learnt constraints deletion: 1721 -> 865
411.23/411.33	c learnt constraints deletion: 1720 -> 866
413.12/413.28	c learnt constraints deletion: 1714 -> 860
415.12/415.27	c learnt constraints deletion: 1726 -> 868
417.12/417.26	c learnt constraints deletion: 1722 -> 865
419.03/419.18	c learnt constraints deletion: 1719 -> 865
421.02/421.16	c learnt constraints deletion: 1721 -> 867
423.02/423.17	c learnt constraints deletion: 1720 -> 869
425.01/425.10	c learnt constraints deletion: 1719 -> 864
426.82/426.98	c learnt constraints deletion: 1722 -> 867
429.01/429.13	c learnt constraints deletion: 1718 -> 864
430.92/431.04	c learnt constraints deletion: 1717 -> 865
432.62/432.74	c learnt constraints deletion: 1722 -> 868
434.52/434.63	c learnt constraints deletion: 1715 -> 861
436.22/436.30	c learnt constraints deletion: 1722 -> 865
438.02/438.14	c learnt constraints deletion: 1726 -> 869
439.93/440.08	c learnt constraints deletion: 1714 -> 863
441.92/442.07	c learnt constraints deletion: 1726 -> 870
443.82/443.95	c learnt constraints deletion: 1718 -> 863
445.71/445.80	c learnt constraints deletion: 1722 -> 866
447.72/447.83	c learnt constraints deletion: 1722 -> 869
449.92/450.05	c learnt constraints deletion: 1866 -> 939
452.21/452.30	c learnt constraints deletion: 1873 -> 945
454.23/454.34	c learnt constraints deletion: 1866 -> 935
456.32/456.47	c learnt constraints deletion: 1865 -> 935
458.41/458.59	c learnt constraints deletion: 1865 -> 937
460.61/460.75	c learnt constraints deletion: 1868 -> 937
462.71/462.87	c learnt constraints deletion: 1866 -> 937
464.91/465.03	c learnt constraints deletion: 1868 -> 939
467.02/467.13	c learnt constraints deletion: 1866 -> 936
468.91/469.09	c learnt constraints deletion: 1868 -> 937
470.91/471.06	c learnt constraints deletion: 1862 -> 935
473.01/473.13	c learnt constraints deletion: 1864 -> 936
475.01/475.10	c learnt constraints deletion: 1869 -> 939
477.11/477.21	c learnt constraints deletion: 1867 -> 941
479.01/479.14	c learnt constraints deletion: 1870 -> 938
480.92/481.07	c learnt constraints deletion: 1867 -> 936
482.91/483.06	c learnt constraints deletion: 1870 -> 939
485.02/485.15	c learnt constraints deletion: 1873 -> 941
487.12/487.22	c learnt constraints deletion: 1873 -> 942
489.11/489.28	c learnt constraints deletion: 1862 -> 936
491.31/491.43	c learnt constraints deletion: 1867 -> 938
493.41/493.52	c learnt constraints deletion: 1873 -> 942
495.51/495.64	c learnt constraints deletion: 1868 -> 941
497.71/497.86	c learnt constraints deletion: 1862 -> 934
499.71/499.87	c learnt constraints deletion: 1868 -> 937
501.81/501.98	c learnt constraints deletion: 1868 -> 936
503.81/503.99	c learnt constraints deletion: 1866 -> 936
505.91/506.01	c learnt constraints deletion: 1870 -> 939
508.01/508.13	c learnt constraints deletion: 1865 -> 936
509.91/510.05	c learnt constraints deletion: 1868 -> 938
511.81/511.99	c learnt constraints deletion: 1870 -> 939
514.01/514.14	c learnt constraints deletion: 1871 -> 941
516.20/516.32	c learnt constraints deletion: 1873 -> 944
518.20/518.38	c learnt constraints deletion: 1876 -> 947
520.31/520.43	c learnt constraints deletion: 1874 -> 944
522.41/522.51	c learnt constraints deletion: 1868 -> 940
524.41/524.51	c learnt constraints deletion: 1875 -> 948
526.51/526.62	c learnt constraints deletion: 1875 -> 943
528.70/528.83	c learnt constraints deletion: 1874 -> 945
530.80/530.94	c learnt constraints deletion: 1865 -> 938
533.11/533.21	c learnt constraints deletion: 1871 -> 941
535.20/535.35	c learnt constraints deletion: 1873 -> 946
537.40/537.57	c learnt constraints deletion: 1871 -> 943
539.60/539.79	c learnt constraints deletion: 1864 -> 940
541.70/541.83	c learnt constraints deletion: 1866 -> 936
543.70/543.87	c learnt constraints deletion: 1868 -> 941
545.90/546.03	c learnt constraints deletion: 1871 -> 940
548.00/548.10	c learnt constraints deletion: 1872 -> 943
549.91/550.09	c learnt constraints deletion: 1872 -> 940
552.01/552.14	c learnt constraints deletion: 1878 -> 944
554.10/554.25	c learnt constraints deletion: 1874 -> 947
556.30/556.42	c learnt constraints deletion: 1869 -> 943
558.40/558.56	c learnt constraints deletion: 1882 -> 952
560.70/560.80	c learnt constraints deletion: 1865 -> 936
562.90/563.09	c learnt constraints deletion: 1873 -> 943
565.20/565.32	c learnt constraints deletion: 1867 -> 938
567.30/567.49	c learnt constraints deletion: 1881 -> 950
569.50/569.67	c learnt constraints deletion: 1865 -> 939
572.00/572.13	c learnt constraints deletion: 1874 -> 942
574.19/574.34	c learnt constraints deletion: 1868 -> 942
576.49/576.67	c learnt constraints deletion: 1875 -> 946
578.80/578.93	c learnt constraints deletion: 1880 -> 950
581.09/581.30	c learnt constraints deletion: 1870 -> 937
583.39/583.57	c learnt constraints deletion: 1876 -> 944
585.69/585.83	c learnt constraints deletion: 1864 -> 936
587.89/588.00	c learnt constraints deletion: 1874 -> 942
589.99/590.19	c learnt constraints deletion: 1864 -> 938
592.19/592.38	c learnt constraints deletion: 1865 -> 938
594.59/594.75	c learnt constraints deletion: 1878 -> 948
596.89/597.06	c learnt constraints deletion: 1873 -> 941
599.09/599.24	c learnt constraints deletion: 1871 -> 943
601.29/601.45	c learnt constraints deletion: 1872 -> 943
603.49/603.67	c learnt constraints deletion: 1872 -> 944
605.79/605.99	c learnt constraints deletion: 1868 -> 940
608.10/608.21	c learnt constraints deletion: 1868 -> 941
610.30/610.48	c learnt constraints deletion: 1869 -> 942
612.50/612.70	c learnt constraints deletion: 1872 -> 943
614.79/614.93	c learnt constraints deletion: 1874 -> 942
617.19/617.32	c learnt constraints deletion: 1873 -> 944
619.29/619.44	c learnt constraints deletion: 1868 -> 941
621.49/621.60	c learnt constraints deletion: 1869 -> 939
623.59/623.79	c learnt constraints deletion: 1875 -> 945
625.80/625.95	c learnt constraints deletion: 1871 -> 941
628.08/628.21	c learnt constraints deletion: 1870 -> 941
630.28/630.44	c learnt constraints deletion: 1867 -> 941
632.59/632.74	c learnt constraints deletion: 1871 -> 940
634.59/634.75	c learnt constraints deletion: 1861 -> 936
636.79/636.92	c learnt constraints deletion: 1870 -> 941
639.00/639.17	c learnt constraints deletion: 1870 -> 941
641.09/641.30	c learnt constraints deletion: 1872 -> 944
643.29/643.43	c learnt constraints deletion: 1866 -> 935
645.38/645.55	c learnt constraints deletion: 1858 -> 930
647.58/647.73	c learnt constraints deletion: 1857 -> 931
649.68/649.86	c learnt constraints deletion: 1864 -> 936
651.78/651.98	c learnt constraints deletion: 1861 -> 934
654.18/654.31	c learnt constraints deletion: 1864 -> 936
656.38/656.53	c learnt constraints deletion: 1866 -> 936
658.58/658.79	c learnt constraints deletion: 1866 -> 936
660.78/660.92	c learnt constraints deletion: 1868 -> 939
663.08/663.22	c learnt constraints deletion: 1875 -> 943
665.18/665.34	c learnt constraints deletion: 1861 -> 933
667.38/667.56	c learnt constraints deletion: 1870 -> 938
669.48/669.62	c learnt constraints deletion: 1863 -> 934
671.68/671.87	c learnt constraints deletion: 1863 -> 935
673.88/674.01	c learnt constraints deletion: 1868 -> 940
676.48/676.61	c learnt constraints deletion: 2032 -> 1020
678.88/679.02	c learnt constraints deletion: 2025 -> 1016
681.38/681.53	c learnt constraints deletion: 2022 -> 1011
684.28/684.41	c learnt constraints deletion: 2024 -> 1014
686.78/686.93	c learnt constraints deletion: 2023 -> 1014
689.28/689.45	c learnt constraints deletion: 2023 -> 1012
691.87/692.03	c learnt constraints deletion: 2028 -> 1015
694.38/694.54	c learnt constraints deletion: 2029 -> 1018
697.19/697.34	c learnt constraints deletion: 2024 -> 1014
699.58/699.74	c learnt constraints deletion: 2031 -> 1019
702.18/702.38	c learnt constraints deletion: 2036 -> 1021
704.47/704.66	c learnt constraints deletion: 2024 -> 1013
706.77/706.94	c learnt constraints deletion: 2025 -> 1016
709.28/709.44	c learnt constraints deletion: 2035 -> 1022
711.67/711.89	c learnt constraints deletion: 2029 -> 1018
714.17/714.37	c learnt constraints deletion: 2030 -> 1019
716.57/716.77	c learnt constraints deletion: 2036 -> 1022
718.97/719.12	c learnt constraints deletion: 2027 -> 1018
721.48/721.66	c learnt constraints deletion: 2034 -> 1020
723.87/724.01	c learnt constraints deletion: 2030 -> 1019
726.37/726.56	c learnt constraints deletion: 2036 -> 1023
728.87/729.05	c learnt constraints deletion: 2030 -> 1020
731.28/731.42	c learnt constraints deletion: 2032 -> 1022
733.67/733.82	c learnt constraints deletion: 2033 -> 1020
735.87/736.07	c learnt constraints deletion: 2023 -> 1015
738.27/738.45	c learnt constraints deletion: 2031 -> 1021
740.47/740.68	c learnt constraints deletion: 2030 -> 1019
742.77/742.94	c learnt constraints deletion: 2031 -> 1021
745.16/745.33	c learnt constraints deletion: 2029 -> 1018
747.47/747.64	c learnt constraints deletion: 2030 -> 1019
749.76/749.95	c learnt constraints deletion: 2027 -> 1015
752.06/752.25	c learnt constraints deletion: 2027 -> 1015
754.47/754.62	c learnt constraints deletion: 2023 -> 1012
756.57/756.73	c learnt constraints deletion: 2024 -> 1014
758.47/758.69	c learnt constraints deletion: 2030 -> 1016
760.37/760.50	c learnt constraints deletion: 2022 -> 1013
762.47/762.68	c learnt constraints deletion: 2025 -> 1014
764.66/764.85	c learnt constraints deletion: 2030 -> 1018
766.87/767.04	c learnt constraints deletion: 2029 -> 1018
768.97/769.19	c learnt constraints deletion: 2026 -> 1015
771.07/771.22	c learnt constraints deletion: 2027 -> 1015
773.07/773.27	c learnt constraints deletion: 2021 -> 1013
775.06/775.26	c learnt constraints deletion: 2026 -> 1015
777.06/777.22	c learnt constraints deletion: 2031 -> 1018
779.06/779.29	c learnt constraints deletion: 2029 -> 1018
781.36/781.59	c learnt constraints deletion: 2030 -> 1019
783.76/783.90	c learnt constraints deletion: 2025 -> 1015
786.27/786.49	c learnt constraints deletion: 2030 -> 1020
788.86/789.06	c learnt constraints deletion: 2028 -> 1018
791.26/791.49	c learnt constraints deletion: 2031 -> 1023
793.86/794.02	c learnt constraints deletion: 2030 -> 1019
796.36/796.54	c learnt constraints deletion: 2031 -> 1023
798.86/799.03	c learnt constraints deletion: 2035 -> 1023
801.36/801.53	c learnt constraints deletion: 2035 -> 1023
803.87/804.02	c learnt constraints deletion: 2038 -> 1023
806.36/806.50	c learnt constraints deletion: 2033 -> 1022
808.75/808.91	c learnt constraints deletion: 2030 -> 1020
811.06/811.26	c learnt constraints deletion: 2024 -> 1014
813.76/813.96	c learnt constraints deletion: 2027 -> 1017
816.25/816.47	c learnt constraints deletion: 2026 -> 1017
819.27/819.47	c learnt constraints deletion: 2027 -> 1020
821.66/821.86	c learnt constraints deletion: 2025 -> 1016
823.85/824.04	c learnt constraints deletion: 2022 -> 1014
826.35/826.52	c learnt constraints deletion: 2026 -> 1016
828.66/828.87	c learnt constraints deletion: 2030 -> 1018
830.95/831.15	c learnt constraints deletion: 2032 -> 1018
833.25/833.41	c learnt constraints deletion: 2034 -> 1020
835.45/835.64	c learnt constraints deletion: 2026 -> 1017
837.75/837.98	c learnt constraints deletion: 2029 -> 1019
840.36/840.58	c learnt constraints deletion: 2028 -> 1020
842.66/842.83	c learnt constraints deletion: 2027 -> 1019
845.46/845.64	c learnt constraints deletion: 2031 -> 1019
847.75/847.95	c learnt constraints deletion: 2031 -> 1020
850.16/850.37	c learnt constraints deletion: 2037 -> 1027
852.56/852.70	c learnt constraints deletion: 2028 -> 1017
854.85/855.05	c learnt constraints deletion: 2032 -> 1020
857.25/857.47	c learnt constraints deletion: 2029 -> 1019
859.85/860.00	c learnt constraints deletion: 2029 -> 1021
862.16/862.39	c learnt constraints deletion: 2033 -> 1023
864.65/864.88	c learnt constraints deletion: 2028 -> 1018
867.35/867.52	c learnt constraints deletion: 2031 -> 1021
869.55/869.77	c learnt constraints deletion: 2028 -> 1018
871.75/871.94	c learnt constraints deletion: 2033 -> 1022
873.75/873.99	c learnt constraints deletion: 2027 -> 1017
875.85/876.09	c learnt constraints deletion: 2020 -> 1013
877.95/878.19	c learnt constraints deletion: 2027 -> 1016
880.15/880.34	c learnt constraints deletion: 2032 -> 1019
882.24/882.47	c learnt constraints deletion: 2032 -> 1021
884.35/884.56	c learnt constraints deletion: 2028 -> 1018
886.46/886.69	c learnt constraints deletion: 2021 -> 1011
888.04/888.29	c learnt constraints deletion: 2022 -> 1013
889.94/890.19	c learnt constraints deletion: 2027 -> 1015
891.95/892.11	c learnt constraints deletion: 2025 -> 1015
893.85/894.09	c learnt constraints deletion: 2024 -> 1014
895.75/895.96	c learnt constraints deletion: 2025 -> 1015
897.54/897.77	c learnt constraints deletion: 2025 -> 1015
899.55/899.70	c learnt constraints deletion: 2024 -> 1014
901.34/901.59	c learnt constraints deletion: 2027 -> 1018
903.35/903.55	c learnt constraints deletion: 2025 -> 1016
905.24/905.47	c learnt constraints deletion: 2026 -> 1016
907.14/907.35	c learnt constraints deletion: 2026 -> 1015
909.04/909.20	c learnt constraints deletion: 2031 -> 1018
910.95/911.10	c learnt constraints deletion: 2027 -> 1018
912.95/913.18	c learnt constraints deletion: 2028 -> 1017
914.85/915.02	c learnt constraints deletion: 2029 -> 1018
916.85/917.05	c learnt constraints deletion: 2033 -> 1021
918.84/919.09	c learnt constraints deletion: 2026 -> 1016
920.84/921.01	c learnt constraints deletion: 2024 -> 1015
922.65/922.85	c learnt constraints deletion: 2024 -> 1015
924.44/924.62	c learnt constraints deletion: 2029 -> 1021
926.14/926.35	c learnt constraints deletion: 2031 -> 1022
928.04/928.21	c learnt constraints deletion: 2033 -> 1021
929.74/929.98	c learnt constraints deletion: 2029 -> 1019
931.74/931.93	c learnt constraints deletion: 2029 -> 1019
933.54/933.74	c learnt constraints deletion: 2031 -> 1023
935.54/935.76	c learnt constraints deletion: 2034 -> 1024
937.74/937.93	c learnt constraints deletion: 2026 -> 1016
939.54/939.74	c learnt constraints deletion: 2027 -> 1017
941.54/941.70	c learnt constraints deletion: 2026 -> 1017
943.54/943.78	c learnt constraints deletion: 2031 -> 1021
945.53/945.75	c learnt constraints deletion: 2030 -> 1016
947.74/947.95	c learnt constraints deletion: 2026 -> 1015
950.04/950.28	c learnt constraints deletion: 2022 -> 1014
952.34/952.56	c learnt constraints deletion: 2028 -> 1017
954.64/954.82	c learnt constraints deletion: 2033 -> 1021
957.13/957.32	c learnt constraints deletion: 2033 -> 1023
959.43/959.64	c learnt constraints deletion: 2027 -> 1018
961.63/961.83	c learnt constraints deletion: 2036 -> 1022
963.93/964.12	c learnt constraints deletion: 2018 -> 1013
966.33/966.56	c learnt constraints deletion: 2028 -> 1018
968.73/968.92	c learnt constraints deletion: 2028 -> 1020
970.94/971.18	c learnt constraints deletion: 2033 -> 1020
973.14/973.40	c learnt constraints deletion: 2029 -> 1019
975.54/975.76	c learnt constraints deletion: 2027 -> 1018
978.23/978.40	c learnt constraints deletion: 2030 -> 1020
980.53/980.78	c learnt constraints deletion: 2033 -> 1022
982.83/983.04	c learnt constraints deletion: 2035 -> 1024
985.23/985.49	c learnt constraints deletion: 2031 -> 1019
987.83/988.07	c learnt constraints deletion: 2028 -> 1018
990.13/990.36	c learnt constraints deletion: 2021 -> 1014
992.23/992.41	c learnt constraints deletion: 2036 -> 1023
994.43/994.60	c learnt constraints deletion: 2031 -> 1021
996.73/996.97	c learnt constraints deletion: 2026 -> 1018
999.23/999.42	c learnt constraints deletion: 2031 -> 1022
1001.73/1001.94	c learnt constraints deletion: 2032 -> 1023
1004.22/1004.40	c learnt constraints deletion: 2034 -> 1021
1006.83/1007.02	c learnt constraints deletion: 2219 -> 1114
1009.32/1009.59	c learnt constraints deletion: 2206 -> 1108
1012.03/1012.23	c learnt constraints deletion: 2212 -> 1113
1014.73/1014.95	c learnt constraints deletion: 2212 -> 1111
1017.12/1017.34	c learnt constraints deletion: 2214 -> 1113
1019.92/1020.14	c learnt constraints deletion: 2216 -> 1115
1022.43/1022.69	c learnt constraints deletion: 2203 -> 1102
1024.73/1024.94	c learnt constraints deletion: 2200 -> 1102
1027.13/1027.35	c learnt constraints deletion: 2210 -> 1107
1029.53/1029.78	c learnt constraints deletion: 2212 -> 1109
1032.22/1032.43	c learnt constraints deletion: 2205 -> 1104
1034.22/1034.43	c learnt constraints deletion: 2210 -> 1107
1036.62/1036.88	c learnt constraints deletion: 2207 -> 1108
1039.03/1039.20	c learnt constraints deletion: 2208 -> 1107
1041.22/1041.44	c learnt constraints deletion: 2211 -> 1111
1043.52/1043.79	c learnt constraints deletion: 2210 -> 1109
1046.12/1046.37	c learnt constraints deletion: 2210 -> 1110
1048.62/1048.82	c learnt constraints deletion: 2207 -> 1105
1050.92/1051.12	c learnt constraints deletion: 2213 -> 1110
1053.42/1053.61	c learnt constraints deletion: 2207 -> 1107
1055.72/1055.96	c learnt constraints deletion: 2208 -> 1109
1058.11/1058.31	c learnt constraints deletion: 2210 -> 1108
1060.62/1060.84	c learnt constraints deletion: 2202 -> 1105
1063.22/1063.47	c learnt constraints deletion: 2212 -> 1111
1065.92/1066.13	c learnt constraints deletion: 2212 -> 1110
1068.32/1068.59	c learnt constraints deletion: 2212 -> 1110
1070.71/1070.98	c learnt constraints deletion: 2212 -> 1111
1073.12/1073.31	c learnt constraints deletion: 2204 -> 1103
1075.42/1075.62	c learnt constraints deletion: 2209 -> 1107
1077.62/1077.83	c learnt constraints deletion: 2209 -> 1109
1079.72/1079.91	c learnt constraints deletion: 2204 -> 1105
1081.92/1082.18	c learnt constraints deletion: 2209 -> 1110
1084.02/1084.26	c learnt constraints deletion: 2210 -> 1109
1086.31/1086.54	c learnt constraints deletion: 2212 -> 1111
1088.72/1088.93	c learnt constraints deletion: 2207 -> 1107
1091.11/1091.39	c learnt constraints deletion: 2208 -> 1107
1093.61/1093.84	c learnt constraints deletion: 2212 -> 1112
1096.42/1096.67	c learnt constraints deletion: 2210 -> 1110
1099.41/1099.62	c learnt constraints deletion: 2213 -> 1114
1101.31/1101.50	c learnt constraints deletion: 2207 -> 1108
1103.71/1103.91	c learnt constraints deletion: 2205 -> 1108
1106.21/1106.40	c learnt constraints deletion: 2212 -> 1111
1108.81/1109.01	c learnt constraints deletion: 2217 -> 1116
1111.41/1111.65	c learnt constraints deletion: 2214 -> 1113
1114.22/1114.43	c learnt constraints deletion: 2208 -> 1111
1116.61/1116.89	c learnt constraints deletion: 2213 -> 1111
1119.21/1119.47	c learnt constraints deletion: 2207 -> 1108
1122.01/1122.25	c learnt constraints deletion: 2218 -> 1114
1124.61/1124.84	c learnt constraints deletion: 2213 -> 1114
1127.41/1127.67	c learnt constraints deletion: 2214 -> 1112
1129.91/1130.18	c learnt constraints deletion: 2207 -> 1110
1132.72/1132.98	c learnt constraints deletion: 2210 -> 1111
1135.41/1135.63	c learnt constraints deletion: 2211 -> 1113
1138.10/1138.35	c learnt constraints deletion: 2205 -> 1107
1140.41/1140.67	c learnt constraints deletion: 2204 -> 1102
1142.91/1143.11	c learnt constraints deletion: 2210 -> 1107
1145.20/1145.47	c learnt constraints deletion: 2210 -> 1107
1147.80/1148.09	c learnt constraints deletion: 2205 -> 1106
1150.41/1150.65	c learnt constraints deletion: 2200 -> 1101
1152.80/1153.07	c learnt constraints deletion: 2209 -> 1107
1155.30/1155.54	c learnt constraints deletion: 2201 -> 1104
1157.90/1158.12	c learnt constraints deletion: 2210 -> 1109
1160.51/1160.72	c learnt constraints deletion: 2211 -> 1112
1162.91/1163.13	c learnt constraints deletion: 2208 -> 1106
1165.40/1165.64	c learnt constraints deletion: 2201 -> 1103
1168.01/1168.27	c learnt constraints deletion: 2209 -> 1109
1170.70/1170.98	c learnt constraints deletion: 2219 -> 1115
1173.30/1173.53	c learnt constraints deletion: 2211 -> 1109
1176.00/1176.20	c learnt constraints deletion: 2211 -> 1109
1178.50/1178.72	c learnt constraints deletion: 2207 -> 1109
1181.30/1181.58	c learnt constraints deletion: 2208 -> 1108
1183.80/1184.03	c learnt constraints deletion: 2209 -> 1109
1186.61/1186.86	c learnt constraints deletion: 2213 -> 1113
1189.40/1189.65	c learnt constraints deletion: 2209 -> 1110
1192.20/1192.44	c learnt constraints deletion: 2210 -> 1110
1194.80/1195.05	c learnt constraints deletion: 2215 -> 1116
1197.39/1197.65	c learnt constraints deletion: 2205 -> 1105
1200.10/1200.32	c learnt constraints deletion: 2209 -> 1108
1202.90/1203.10	c learnt constraints deletion: 2207 -> 1106
1205.59/1205.89	c learnt constraints deletion: 2212 -> 1109
1208.39/1208.64	c learnt constraints deletion: 2211 -> 1111
1211.19/1211.45	c learnt constraints deletion: 2209 -> 1110
1213.90/1214.11	c learnt constraints deletion: 2207 -> 1106
1216.09/1216.33	c learnt constraints deletion: 2207 -> 1106
1218.09/1218.37	c learnt constraints deletion: 2204 -> 1106
1220.39/1220.60	c learnt constraints deletion: 2211 -> 1109
1222.59/1222.85	c learnt constraints deletion: 2211 -> 1111
1224.79/1225.00	c learnt constraints deletion: 2208 -> 1108
1226.60/1226.88	c learnt constraints deletion: 2212 -> 1112
1228.69/1228.97	c learnt constraints deletion: 2209 -> 1110
1230.99/1231.23	c learnt constraints deletion: 2208 -> 1109
1233.69/1233.92	c learnt constraints deletion: 2213 -> 1113
1236.39/1236.63	c learnt constraints deletion: 2209 -> 1110
1239.19/1239.46	c learnt constraints deletion: 2210 -> 1112
1241.99/1242.27	c learnt constraints deletion: 2208 -> 1105
1244.59/1244.86	c learnt constraints deletion: 2209 -> 1107
1247.29/1247.50	c learnt constraints deletion: 2212 -> 1109
1249.89/1250.19	c learnt constraints deletion: 2211 -> 1112
1252.79/1253.00	c learnt constraints deletion: 2207 -> 1107
1255.09/1255.36	c learnt constraints deletion: 2213 -> 1111
1257.79/1258.05	c learnt constraints deletion: 2209 -> 1108
1260.29/1260.53	c learnt constraints deletion: 2205 -> 1107
1262.78/1263.08	c learnt constraints deletion: 2204 -> 1105
1265.39/1265.65	c learnt constraints deletion: 2206 -> 1108
1267.99/1268.27	c learnt constraints deletion: 2216 -> 1113
1270.68/1270.96	c learnt constraints deletion: 2209 -> 1111
1273.59/1273.85	c learnt constraints deletion: 2212 -> 1112
1275.99/1276.26	c learnt constraints deletion: 2206 -> 1105
1278.68/1278.91	c learnt constraints deletion: 2200 -> 1104
1281.19/1281.44	c learnt constraints deletion: 2206 -> 1106
1283.78/1284.04	c learnt constraints deletion: 2209 -> 1109
1286.28/1286.52	c learnt constraints deletion: 2210 -> 1110
1288.69/1288.95	c learnt constraints deletion: 2214 -> 1112
1291.19/1291.42	c learnt constraints deletion: 2216 -> 1115
1293.69/1293.94	c learnt constraints deletion: 2214 -> 1113
1296.18/1296.47	c learnt constraints deletion: 2211 -> 1109
1298.79/1299.02	c learnt constraints deletion: 2198 -> 1102
1301.38/1301.68	c learnt constraints deletion: 2206 -> 1107
1303.88/1304.12	c learnt constraints deletion: 2220 -> 1116
1306.28/1306.54	c learnt constraints deletion: 2218 -> 1116
1308.79/1309.06	c learnt constraints deletion: 2209 -> 1110
1311.38/1311.62	c learnt constraints deletion: 2212 -> 1111
1314.08/1314.34	c learnt constraints deletion: 2218 -> 1115
1316.88/1317.12	c learnt constraints deletion: 2204 -> 1105
1319.58/1319.85	c learnt constraints deletion: 2212 -> 1110
1322.58/1322.85	c learnt constraints deletion: 2218 -> 1113
1325.28/1325.51	c learnt constraints deletion: 2214 -> 1113
1327.98/1328.21	c learnt constraints deletion: 2209 -> 1112
1330.58/1330.90	c learnt constraints deletion: 2219 -> 1117
1333.28/1333.59	c learnt constraints deletion: 2214 -> 1112
1335.98/1336.21	c learnt constraints deletion: 2219 -> 1117
1338.39/1338.70	c learnt constraints deletion: 2212 -> 1112
1340.78/1341.04	c learnt constraints deletion: 2210 -> 1111
1342.98/1343.28	c learnt constraints deletion: 2214 -> 1115
1345.67/1345.94	c learnt constraints deletion: 2214 -> 1114
1348.38/1348.64	c learnt constraints deletion: 2215 -> 1117
1350.88/1351.19	c learnt constraints deletion: 2210 -> 1108
1353.38/1353.60	c learnt constraints deletion: 2211 -> 1111
1355.77/1356.03	c learnt constraints deletion: 2210 -> 1109
1358.18/1358.47	c learnt constraints deletion: 2217 -> 1115
1360.57/1360.86	c learnt constraints deletion: 2209 -> 1111
1362.98/1363.25	c learnt constraints deletion: 2220 -> 1116
1365.48/1365.71	c learnt constraints deletion: 2216 -> 1114
1367.87/1368.17	c learnt constraints deletion: 2214 -> 1112
1370.27/1370.56	c learnt constraints deletion: 2217 -> 1114
1372.77/1373.04	c learnt constraints deletion: 2214 -> 1112
1375.07/1375.36	c learnt constraints deletion: 2212 -> 1111
1377.37/1377.60	c learnt constraints deletion: 2218 -> 1115
1379.77/1380.01	c learnt constraints deletion: 2220 -> 1116
1382.26/1382.52	c learnt constraints deletion: 2216 -> 1115
1384.87/1385.19	c learnt constraints deletion: 2218 -> 1117
1387.47/1387.77	c learnt constraints deletion: 2216 -> 1115
1390.17/1390.42	c learnt constraints deletion: 2202 -> 1104
1392.57/1392.87	c learnt constraints deletion: 2219 -> 1115
1394.96/1395.25	c learnt constraints deletion: 2219 -> 1116
1397.16/1397.49	c learnt constraints deletion: 2215 -> 1113
1399.57/1399.82	c learnt constraints deletion: 2214 -> 1114
1401.97/1402.20	c learnt constraints deletion: 2212 -> 1113
1404.37/1404.67	c learnt constraints deletion: 2216 -> 1113
1406.76/1407.04	c learnt constraints deletion: 2215 -> 1113
1409.16/1409.43	c learnt constraints deletion: 2214 -> 1113
1411.77/1412.01	c learnt constraints deletion: 2226 -> 1121
1414.37/1414.67	c learnt constraints deletion: 2210 -> 1111
1417.07/1417.36	c learnt constraints deletion: 2221 -> 1119
1419.57/1419.82	c learnt constraints deletion: 2212 -> 1112
1421.86/1422.10	c learnt constraints deletion: 2219 -> 1116
1424.17/1424.47	c learnt constraints deletion: 2216 -> 1115
1426.67/1426.93	c learnt constraints deletion: 2210 -> 1111
1428.96/1429.29	c learnt constraints deletion: 2213 -> 1114
1431.76/1432.01	c learnt constraints deletion: 2215 -> 1115
1434.26/1434.51	c learnt constraints deletion: 2210 -> 1112
1436.86/1437.12	c learnt constraints deletion: 2213 -> 1116
1439.36/1439.66	c learnt constraints deletion: 2212 -> 1112
1442.06/1442.30	c learnt constraints deletion: 2215 -> 1115
1444.56/1444.82	c learnt constraints deletion: 2222 -> 1120
1447.27/1447.52	c learnt constraints deletion: 2218 -> 1117
1450.26/1450.50	c learnt constraints deletion: 2214 -> 1114
1453.26/1453.50	c learnt constraints deletion: 2216 -> 1115
1456.07/1456.38	c learnt constraints deletion: 2207 -> 1106
1458.96/1459.20	c learnt constraints deletion: 2205 -> 1106
1461.45/1461.79	c learnt constraints deletion: 2206 -> 1108
1464.26/1464.57	c learnt constraints deletion: 2216 -> 1114
1466.96/1467.29	c learnt constraints deletion: 2209 -> 1111
1469.86/1470.18	c learnt constraints deletion: 2215 -> 1113
1472.75/1473.00	c learnt constraints deletion: 2210 -> 1109
1475.66/1475.91	c learnt constraints deletion: 2211 -> 1111
1478.55/1478.81	c learnt constraints deletion: 2214 -> 1114
1481.36/1481.64	c learnt constraints deletion: 2211 -> 1110
1484.36/1484.69	c learnt constraints deletion: 2216 -> 1114
1487.26/1487.53	c learnt constraints deletion: 2217 -> 1116
1489.95/1490.22	c learnt constraints deletion: 2214 -> 1113
1492.76/1493.05	c learnt constraints deletion: 2212 -> 1114
1495.55/1495.85	c learnt constraints deletion: 2217 -> 1112
1497.96/1498.27	c learnt constraints deletion: 2212 -> 1110
1500.55/1500.87	c learnt constraints deletion: 2209 -> 1111
1503.36/1503.63	c learnt constraints deletion: 2209 -> 1110
1506.05/1506.31	c learnt constraints deletion: 2216 -> 1113
1508.55/1508.81	c learnt constraints deletion: 2216 -> 1113
1511.25/1511.55	c learnt constraints deletion: 2215 -> 1115
1513.95/1514.28	c learnt constraints deletion: 2220 -> 1114
1517.05/1517.36	c learnt constraints deletion: 2412 -> 1212
1519.85/1520.17	c learnt constraints deletion: 2414 -> 1213
1522.85/1523.15	c learnt constraints deletion: 2415 -> 1213
1525.74/1526.00	c learnt constraints deletion: 2409 -> 1211
1528.75/1529.07	c learnt constraints deletion: 2413 -> 1214
1531.75/1532.09	c learnt constraints deletion: 2408 -> 1204
1534.64/1534.96	c learnt constraints deletion: 2405 -> 1204
1537.46/1537.78	c learnt constraints deletion: 2408 -> 1207
1540.24/1540.50	c learnt constraints deletion: 2402 -> 1202
1543.14/1543.47	c learnt constraints deletion: 2407 -> 1205
1546.04/1546.39	c learnt constraints deletion: 2415 -> 1210
1548.94/1549.24	c learnt constraints deletion: 2403 -> 1206
1551.95/1552.27	c learnt constraints deletion: 2407 -> 1207
1554.74/1555.09	c learnt constraints deletion: 2411 -> 1210
1557.54/1557.85	c learnt constraints deletion: 2412 -> 1210
1560.44/1560.73	c learnt constraints deletion: 2413 -> 1213
1563.34/1563.65	c learnt constraints deletion: 2405 -> 1207
1566.35/1566.62	c learnt constraints deletion: 2411 -> 1211
1569.24/1569.56	c learnt constraints deletion: 2404 -> 1208
1571.94/1572.23	c learnt constraints deletion: 2406 -> 1205
1574.74/1575.10	c learnt constraints deletion: 2421 -> 1215
1577.54/1577.88	c learnt constraints deletion: 2410 -> 1208
1580.35/1580.66	c learnt constraints deletion: 2409 -> 1208
1583.14/1583.46	c learnt constraints deletion: 2414 -> 1211
1585.95/1586.28	c learnt constraints deletion: 2404 -> 1206
1588.83/1589.19	c learnt constraints deletion: 2417 -> 1214
1591.84/1592.12	c learnt constraints deletion: 2406 -> 1205
1594.64/1595.00	c learnt constraints deletion: 2412 -> 1211
1597.44/1597.77	c learnt constraints deletion: 2410 -> 1208
1600.24/1600.51	c learnt constraints deletion: 2409 -> 1208
1602.93/1603.21	c learnt constraints deletion: 2413 -> 1212
1605.54/1605.89	c learnt constraints deletion: 2414 -> 1210
1608.23/1608.54	c learnt constraints deletion: 2408 -> 1209
1610.84/1611.15	c learnt constraints deletion: 2406 -> 1209
1613.44/1613.73	c learnt constraints deletion: 2411 -> 1212
1616.03/1616.31	c learnt constraints deletion: 2410 -> 1210
1618.63/1618.93	c learnt constraints deletion: 2423 -> 1221
1621.14/1621.44	c learnt constraints deletion: 2409 -> 1211
1623.73/1624.09	c learnt constraints deletion: 2411 -> 1212
1626.43/1626.76	c learnt constraints deletion: 2414 -> 1213
1629.23/1629.59	c learnt constraints deletion: 2418 -> 1214
1632.13/1632.47	c learnt constraints deletion: 2413 -> 1213
1635.13/1635.40	c learnt constraints deletion: 2397 -> 1201
1637.82/1638.11	c learnt constraints deletion: 2404 -> 1204
1640.53/1640.84	c learnt constraints deletion: 2414 -> 1210
1643.33/1643.69	c learnt constraints deletion: 2408 -> 1207
1646.33/1646.62	c learnt constraints deletion: 2404 -> 1204
1649.12/1649.49	c learnt constraints deletion: 2399 -> 1200
1652.12/1652.48	c learnt constraints deletion: 2401 -> 1202
1655.03/1655.34	c learnt constraints deletion: 2412 -> 1210
1658.03/1658.31	c learnt constraints deletion: 2401 -> 1203
1660.93/1661.25	c learnt constraints deletion: 2406 -> 1207
1663.94/1664.29	c learnt constraints deletion: 2407 -> 1205
1667.13/1667.46	c learnt constraints deletion: 2413 -> 1211
1670.03/1670.34	c learnt constraints deletion: 2410 -> 1208
1672.92/1673.24	c learnt constraints deletion: 2414 -> 1210
1676.03/1676.31	c learnt constraints deletion: 2415 -> 1214
1678.82/1679.12	c learnt constraints deletion: 2410 -> 1210
1681.72/1682.01	c learnt constraints deletion: 2408 -> 1206
1684.62/1684.94	c learnt constraints deletion: 2412 -> 1210
1687.32/1687.70	c learnt constraints deletion: 2403 -> 1205
1690.12/1690.49	c learnt constraints deletion: 2404 -> 1207
1693.22/1693.50	c learnt constraints deletion: 2406 -> 1208
1695.93/1696.29	c learnt constraints deletion: 2408 -> 1209
1698.81/1699.15	c learnt constraints deletion: 2411 -> 1212
1701.62/1701.90	c learnt constraints deletion: 2407 -> 1207
1704.42/1704.76	c learnt constraints deletion: 2408 -> 1208
1707.12/1707.48	c learnt constraints deletion: 2415 -> 1213
1710.02/1710.30	c learnt constraints deletion: 2404 -> 1205
1712.82/1713.18	c learnt constraints deletion: 2407 -> 1207
1715.73/1716.07	c learnt constraints deletion: 2412 -> 1210
1718.42/1718.78	c learnt constraints deletion: 2405 -> 1205
1721.32/1721.61	c learnt constraints deletion: 2405 -> 1206
1724.11/1724.45	c learnt constraints deletion: 2404 -> 1206
1727.11/1727.45	c learnt constraints deletion: 2409 -> 1211
1730.22/1730.53	c learnt constraints deletion: 2397 -> 1202
1733.01/1733.30	c learnt constraints deletion: 2409 -> 1210
1735.81/1736.15	c learnt constraints deletion: 2415 -> 1214
1738.72/1739.02	c learnt constraints deletion: 2420 -> 1218
1741.41/1741.70	c learnt constraints deletion: 2401 -> 1202
1744.22/1744.56	c learnt constraints deletion: 2402 -> 1202
1746.81/1747.18	c learnt constraints deletion: 2406 -> 1205
1749.61/1749.93	c learnt constraints deletion: 2410 -> 1209
1752.21/1752.53	c learnt constraints deletion: 2411 -> 1209
1754.81/1755.12	c learnt constraints deletion: 2409 -> 1210
1757.52/1757.85	c learnt constraints deletion: 2407 -> 1208
1760.41/1760.70	c learnt constraints deletion: 2410 -> 1211
1763.41/1763.79	c learnt constraints deletion: 2404 -> 1203
1766.22/1766.51	c learnt constraints deletion: 2410 -> 1207
1769.01/1769.30	c learnt constraints deletion: 2408 -> 1207
1771.61/1771.95	c learnt constraints deletion: 2409 -> 1211
1774.50/1774.84	c learnt constraints deletion: 2407 -> 1208
1777.50/1777.87	c learnt constraints deletion: 2415 -> 1214
1780.31/1780.65	c learnt constraints deletion: 2409 -> 1208
1783.20/1783.59	c learnt constraints deletion: 2407 -> 1210
1786.01/1786.37	c learnt constraints deletion: 2406 -> 1205
1788.91/1789.23	c learnt constraints deletion: 2406 -> 1206
1791.81/1792.14	c learnt constraints deletion: 2410 -> 1209
1794.71/1795.00	c learnt constraints deletion: 2410 -> 1208
1797.50/1797.85	c learnt constraints deletion: 2410 -> 1209

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-3706729-1338113043/watcher-3706729-1338113043 -o /tmp/evaluation-result-3706729-1338113043/solver-3706729-1338113043 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706729-1338113043.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: 1.12 1.64 1.85 3/172 10940
/proc/meminfo: memFree=30578308/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=7232 CPUtime=0 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 828 0 0 0 0 0 0 0 20 0 1 0 277432828 7405568 749 33554432000 4194304 8973514 140736203520384 140733438619704 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 1808 749 416 1167 0 589 0

[startup+0.018494 s]
/proc/loadavg: 1.12 1.64 1.85 3/172 10940
/proc/meminfo: memFree=30578308/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=7232 CPUtime=0.01 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 1074 0 0 0 1 0 0 0 20 0 1 0 277432828 7405568 995 33554432000 4194304 8973514 140736203520384 140733438619704 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 1808 995 417 1167 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7232

[startup+0.100209 s]
/proc/loadavg: 1.12 1.64 1.85 3/172 10940
/proc/meminfo: memFree=30578308/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=9280 CPUtime=0.09 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 1453 0 0 0 9 0 0 0 20 0 1 0 277432828 9502720 1374 33554432000 4194304 8973514 140736203520384 140733438619704 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 2320 1374 457 1167 0 1101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9280

[startup+0.300176 s]
/proc/loadavg: 1.12 1.64 1.85 3/172 10940
/proc/meminfo: memFree=30578308/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=10304 CPUtime=0.29 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 1887 0 0 0 29 0 0 0 20 0 1 0 277432828 10551296 1808 33554432000 4194304 8973514 140736203520384 140733438619704 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 2576 1808 457 1167 0 1357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10304

[startup+0.700204 s]
/proc/loadavg: 1.12 1.64 1.85 3/172 10940
/proc/meminfo: memFree=30578308/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=11328 CPUtime=0.69 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 2143 0 0 0 68 1 0 0 20 0 1 0 277432828 11599872 2064 33554432000 4194304 8973514 140736203520384 140736203519880 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 2832 2064 457 1167 0 1613 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11328

[startup+1.50022 s]
/proc/loadavg: 1.12 1.64 1.85 3/177 10945
/proc/meminfo: memFree=30564760/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=12352 CPUtime=1.49 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 2400 0 0 0 148 1 0 0 20 0 1 0 277432828 12648448 2321 33554432000 4194304 8973514 140736203520384 140736203519880 4439988 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 3088 2321 458 1167 0 1869 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12352

[startup+3.10031 s]
/proc/loadavg: 1.19 1.65 1.86 3/177 10945
/proc/meminfo: memFree=30560644/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=15424 CPUtime=3.09 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 3168 0 0 0 308 1 0 0 20 0 1 0 277432828 15794176 3089 33554432000 4194304 8973514 140736203520384 140736203519648 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 3856 3089 458 1167 0 2637 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15424

[startup+6.30033 s]
/proc/loadavg: 1.19 1.65 1.86 3/177 10945
/proc/meminfo: memFree=30554072/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=18496 CPUtime=6.29 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 3937 0 0 0 626 3 0 0 20 0 1 0 277432828 18939904 3858 33554432000 4194304 8973514 140736203520384 140736203519880 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 4624 3858 458 1167 0 3405 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18496

[startup+12.7003 s]
/proc/loadavg: 1.31 1.66 1.86 3/177 10945
/proc/meminfo: memFree=30546128/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=20544 CPUtime=12.69 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 4454 0 0 0 1264 5 0 0 20 0 1 0 277432828 21037056 4370 33554432000 4194304 8973514 140736203520384 140736203519880 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 5136 4370 458 1167 0 3917 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20544

[startup+25.5003 s]
/proc/loadavg: 1.50 1.68 1.86 3/177 10945
/proc/meminfo: memFree=30543416/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=23616 CPUtime=25.48 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 5222 0 0 0 2539 9 0 0 20 0 1 0 277432828 24182784 5138 33554432000 4194304 8973514 140736203520384 140736203519880 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 5904 5138 458 1167 0 4685 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23616

[startup+51.1003 s]
/proc/loadavg: 1.67 1.71 1.87 3/177 10945
/proc/meminfo: memFree=30535344/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=25664 CPUtime=51.08 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 5736 0 0 0 5086 22 0 0 20 0 1 0 277432828 26279936 5650 33554432000 4194304 8973514 140736203520384 140736203519880 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 6416 5650 458 1167 0 5197 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25664

[startup+102.307 s]
/proc/loadavg: 1.87 1.75 1.87 3/177 10945
/proc/meminfo: memFree=30527404/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=28736 CPUtime=102.27 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 6504 0 0 0 10181 46 0 0 20 0 1 0 277432828 29425664 6418 33554432000 4194304 8973514 140736203520384 140736203519880 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 7184 6418 458 1167 0 5965 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 28736

[startup+162.3 s]
/proc/loadavg: 2.02 1.83 1.89 3/177 10945
/proc/meminfo: memFree=30525600/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=29760 CPUtime=162.26 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 8043 0 0 0 16156 70 0 0 20 0 1 0 277432828 30474240 6674 33554432000 4194304 8973514 140736203520384 140736203519880 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 7440 6674 458 1167 0 6221 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 29760

[startup+222.3 s]
/proc/loadavg: 2.01 1.85 1.89 3/177 10945
/proc/meminfo: memFree=30524728/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=29760 CPUtime=222.25 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 8043 0 0 0 22130 95 0 0 20 0 1 0 277432828 30474240 6674 33554432000 4194304 8973514 140736203520384 140736203519648 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 7440 6674 458 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.04 1.89 1.90 3/177 10946
/proc/meminfo: memFree=30524540/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=29760 CPUtime=282.25 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 8555 0 0 0 28104 121 0 0 20 0 1 0 277432828 30474240 6674 33554432000 4194304 8973514 140736203520384 140736203519880 4214379 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 7440 6674 458 1167 0 6221 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 29760

[startup+342.3 s]
/proc/loadavg: 2.01 1.91 1.91 3/177 10946
/proc/meminfo: memFree=30517280/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=33856 CPUtime=342.24 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 10351 0 0 0 34077 147 0 0 20 0 1 0 277432828 34668544 7698 33554432000 4194304 8973514 140736203520384 140736203519648 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 8464 7698 458 1167 0 7245 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 33856

[startup+402.3 s]
/proc/loadavg: 2.00 1.92 1.91 3/178 10949
/proc/meminfo: memFree=30517700/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=33856 CPUtime=402.22 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 10351 0 0 0 40052 170 0 0 20 0 1 0 277432828 34668544 7698 33554432000 4194304 8973514 140736203520384 140736203519880 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 8464 7698 458 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.93 1.91 3/177 10949
/proc/meminfo: memFree=30514544/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=34880 CPUtime=462.21 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 10607 0 0 0 46026 195 0 0 20 0 1 0 277432828 35717120 7954 33554432000 4194304 8973514 140736203520384 140736203519648 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 8720 7954 458 1167 0 7501 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 34880

[startup+522.3 s]
/proc/loadavg: 2.05 1.96 1.91 3/177 10949
/proc/meminfo: memFree=30515040/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=36928 CPUtime=522.21 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 11119 0 0 0 52000 221 0 0 20 0 1 0 277432828 37814272 8466 33554432000 4194304 8973514 140736203520384 140736203519880 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 9232 8466 458 1167 0 8013 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 36928

[startup+582.3 s]
/proc/loadavg: 2.01 1.96 1.91 3/177 10950
/proc/meminfo: memFree=30517144/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=34880 CPUtime=582.2 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 11633 0 0 0 57977 243 0 0 20 0 1 0 277432828 35717120 7954 33554432000 4194304 8973514 140736203520384 140736203519880 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 8720 7954 458 1167 0 7501 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 34880

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 10951
/proc/meminfo: memFree=30509744/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=37952 CPUtime=882.14 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 14963 0 0 0 87841 373 0 0 20 0 1 0 277432828 38862848 8722 33554432000 4194304 8973514 140736203520384 140736203519880 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 9488 8722 458 1167 0 8269 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 37952

[startup+942.3 s]
/proc/loadavg: 2.09 2.03 1.94 3/177 10951
/proc/meminfo: memFree=30509496/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=37952 CPUtime=942.13 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 15219 0 0 0 93814 399 0 0 20 0 1 0 277432828 38862848 8722 33554432000 4194304 8973514 140736203520384 140736203519648 4213743 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 9488 8722 458 1167 0 8269 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 37952

[startup+1002.3 s]
/proc/loadavg: 2.03 2.02 1.94 3/178 10954
/proc/meminfo: memFree=30509236/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=37952 CPUtime=1002.13 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 15220 0 0 0 99790 423 0 0 20 0 1 0 277432828 38862848 8722 33554432000 4194304 8973514 140736203520384 140736203519648 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 9488 8722 458 1167 0 8269 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 37952

[startup+1062.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/177 10954
/proc/meminfo: memFree=30502480/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=45120 CPUtime=1062.12 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 17012 0 0 0 105766 446 0 0 20 0 1 0 277432828 46202880 10514 33554432000 4194304 8973514 140736203520384 140736203519880 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 11280 10514 458 1167 0 10061 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 45120

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 10954
/proc/meminfo: memFree=30509300/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=40000 CPUtime=1122.11 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 18548 0 0 0 111740 471 0 0 20 0 1 0 277432828 40960000 9234 33554432000 4194304 8973514 140736203520384 140736203519880 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 10000 9234 458 1167 0 8781 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 40000

[startup+1182.3 s]
/proc/loadavg: 2.04 2.02 1.95 3/177 10955
/proc/meminfo: memFree=30510164/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=37952 CPUtime=1182.1 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 19574 0 0 0 117716 494 0 0 20 0 1 0 277432828 38862848 8722 33554432000 4194304 8973514 140736203520384 140736203519880 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 9488 8722 458 1167 0 8269 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 37952

[startup+1242.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/177 10955
/proc/meminfo: memFree=30508424/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=38976 CPUtime=1242.09 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 20086 0 0 0 123689 520 0 0 20 0 1 0 277432828 39911424 8978 33554432000 4194304 8973514 140736203520384 140736203519880 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 9744 8978 458 1167 0 8525 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 38976

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/177 10955
/proc/meminfo: memFree=30503768/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=41024 CPUtime=1302.09 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 21366 0 0 0 129663 546 0 0 20 0 1 0 277432828 42008576 9490 33554432000 4194304 8973514 140736203520384 140736203519880 4372552 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 10256 9490 458 1167 0 9037 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 41024

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 10955
/proc/meminfo: memFree=30506000/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=41024 CPUtime=1362.08 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 21366 0 0 0 135640 568 0 0 20 0 1 0 277432828 42008576 9490 33554432000 4194304 8973514 140736203520384 140736203519648 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 10256 9490 458 1167 0 9037 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 41024

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 10955
/proc/meminfo: memFree=30500664/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=41024 CPUtime=1422.07 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 21366 0 0 0 141619 588 0 0 20 0 1 0 277432828 42008576 9490 33554432000 4194304 8973514 140736203520384 140736203518400 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 10256 9490 458 1167 0 9037 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 41024

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 10955
/proc/meminfo: memFree=30504448/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=38976 CPUtime=1482.05 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 21623 0 0 0 147595 610 0 0 20 0 1 0 277432828 39911424 8978 33554432000 4194304 8973514 140736203520384 140736203519880 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 9744 8978 458 1167 0 8525 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 38976

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 10956
/proc/meminfo: memFree=30500776/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=42048 CPUtime=1542.04 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 22903 0 0 0 153570 634 0 0 20 0 1 0 277432828 43057152 9746 33554432000 4194304 8973514 140736203520384 140736203519880 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 10512 9746 458 1167 0 9293 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 42048

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10959
/proc/meminfo: memFree=30497420/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=46144 CPUtime=1602.03 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 24951 0 0 0 159542 661 0 0 20 0 1 0 277432828 47251456 10770 33554432000 4194304 8973514 140736203520384 140736203519648 4213733 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 11536 10770 458 1167 0 10317 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 46144

[startup+1662.3 s]
/proc/loadavg: 2.09 2.03 1.96 3/177 10959
/proc/meminfo: memFree=30504928/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=37952 CPUtime=1662.03 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 25464 0 0 0 165518 685 0 0 20 0 1 0 277432828 38862848 8722 33554432000 4194304 8973514 140736203520384 140736203519648 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 9488 8722 458 1167 0 8269 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 37952

[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 1.96 3/177 10959
/proc/meminfo: memFree=30501888/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=44096 CPUtime=1722.01 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 27001 0 0 0 171491 710 0 0 20 0 1 0 277432828 45154304 10258 33554432000 4194304 8973514 140736203520384 140736203519880 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 11024 10258 458 1167 0 9805 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 44096

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.96 3/177 10959
/proc/meminfo: memFree=30502196/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=42048 CPUtime=1782 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 28794 0 0 0 177465 735 0 0 20 0 1 0 277432828 43057152 9746 33554432000 4194304 8973514 140736203520384 140736203519648 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 10512 9746 458 1167 0 9293 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 42048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.01 2.01 1.96 4/177 10960
/proc/meminfo: memFree=30500520/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=43072 CPUtime=1800.01 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 29050 0 0 0 179258 743 0 0 20 0 1 0 277432828 44105728 10002 33554432000 4194304 8973514 140736203520384 140736203519880 4208816 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 10768 10002 458 1167 0 9549 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 43072

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.01 2.01 1.96 4/177 10960
/proc/meminfo: memFree=30500520/32873844 swapFree=7108/7108
[pid=10940] ppid=10937 vsize=43072 CPUtime=1800.01 cores=1,3,5,7
/proc/10940/stat : 10940 (toysat) R 10937 10940 7054 0 -1 4202496 29050 0 0 0 179258 743 0 0 20 0 1 0 277432828 44105728 10002 33554432000 4194304 8973514 140736203520384 140736203519880 4208816 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/10940/statm: 10768 10002 458 1167 0 9549 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 43072

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.58
system time used= 7.43887
maximum resident set size= 44104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29050
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= 28
involuntary context switches= 1846

runsolver used 3.65144 second user time and 10.4644 second system time

The end

Launcher Data 

Begin job on node102 at 2012-05-27 12:04:03
IDJOB=3706729
IDBENCH=1955
IDSOLVER=2285
FILE ID=node102/3706729-1338113043
RUNJOBID= node102-1338113043-10917
PBS_JOBID= 14624443
Free space on /tmp= 71540 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_21.opb.PB06.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706729-1338113043/watcher-3706729-1338113043 -o /tmp/evaluation-result-3706729-1338113043/solver-3706729-1338113043 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3706729-1338113043.opb

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

MD5SUM BENCH= 85de1910ead9431952046fc8a55b274b
RANDOM SEED=1859237240

node102.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		: 2667.178
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	: 5334.35
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		: 2667.178
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.90
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		: 2667.178
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.91
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		: 2667.178
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		: 2667.178
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		: 2667.178
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	: 5438.54
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		: 2667.178
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		: 2667.178
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:        30579316 kB
Buffers:          334656 kB
Cached:          1119572 kB
SwapCached:            0 kB
Active:           865372 kB
Inactive:         598644 kB
Active(anon):       2044 kB
Inactive(anon):    11040 kB
Active(file):     863328 kB
Inactive(file):   587604 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             14764 kB
Writeback:            32 kB
AnonPages:         17088 kB
Mapped:            13676 kB
Shmem:               200 kB
Slab:             689736 kB
SReclaimable:     132192 kB
SUnreclaim:       557544 kB
KernelStack:        1408 kB
PageTables:         3524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     102808 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= 71524 MiB
End job on node102 at 2012-05-27 12:34:05