Trace number 4399982

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
choco-solver 2019-09-16 parallelSAT (TO)2003378 19266.5 2520.16

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay300_c18.xml
MD5SUM125d0999a88baf20181d93552da446ae
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark2106819
Best CPU time to get the best result obtained on this benchmark2520.13
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints300
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree32
Distribution of variable degrees[{"degree":2,"count":246},{"degree":3,"count":424},{"degree":4,"count":324},{"degree":5,"count":234},{"degree":6,"count":177},{"degree":7,"count":133},{"degree":8,"count":113},{"degree":9,"count":81},{"degree":10,"count":53},{"degree":11,"count":33},{"degree":12,"count":38},{"degree":13,"count":40},{"degree":14,"count":26},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":11},{"degree":18,"count":9},{"degree":19,"count":2},{"degree":20,"count":5},{"degree":21,"count":1},{"degree":22,"count":3},{"degree":23,"count":1},{"degree":24,"count":4},{"degree":25,"count":2},{"degree":26,"count":3},{"degree":27,"count":2},{"degree":28,"count":1},{"degree":29,"count":1},{"degree":32,"count":1}]
Minimum constraint arity17
Maximum constraint arity46
Distribution of constraint arities[{"arity":17,"count":1},{"arity":19,"count":3},{"arity":20,"count":2},{"arity":21,"count":2},{"arity":22,"count":4},{"arity":23,"count":5},{"arity":24,"count":9},{"arity":25,"count":14},{"arity":26,"count":7},{"arity":27,"count":15},{"arity":28,"count":18},{"arity":29,"count":21},{"arity":30,"count":20},{"arity":31,"count":26},{"arity":32,"count":22},{"arity":33,"count":26},{"arity":34,"count":14},{"arity":35,"count":17},{"arity":36,"count":11},{"arity":37,"count":14},{"arity":38,"count":15},{"arity":39,"count":10},{"arity":40,"count":5},{"arity":41,"count":6},{"arity":42,"count":4},{"arity":43,"count":5},{"arity":45,"count":2},{"arity":46,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":300}]
Optimization problemYES
Type of objectivemax SUM

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.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399982-1568717435.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399982-1568717435.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
2.86/0.96	c solve instance...
3.41/1.11	o 472042 
4.16/1.13	o 947044 
5.62/1.38	o 949948 
7.76/1.66	o 959327 
7.76/1.66	o 966428 
8.43/1.80	o 966688 
9.17/1.83	o 966983 
9.17/1.89	o 1017275 
9.86/1.95	o 1017324 
10.56/2.08	o 1030420 
10.96/2.13	o 1042559 
11.47/2.23	o 1056946 
11.47/2.27	o 1056947 
11.87/2.35	o 1097597 
13.42/2.51	o 1098672 
14.04/2.60	o 1127691 
15.59/2.85	o 1129821 
16.32/2.96	o 1129892 
16.32/3.00	o 1129893 
16.76/3.11	o 1167430 
18.03/3.24	o 1167434 
18.03/3.24	o 1170146 
18.69/3.36	o 1170796 
19.47/3.47	o 1171342 
20.20/3.53	o 1172210 
20.74/3.65	o 1178310 
21.10/3.71	o 1178440 
21.10/3.77	o 1205589 
22.33/4.00	o 1206094 
22.89/4.09	o 1207733 
23.31/4.14	o 1208138 
23.31/4.19	o 1212286 
24.26/4.31	o 1212457 
24.77/4.41	o 1214316 
25.45/4.52	o 1216095 
26.13/4.67	o 1232858 
27.67/4.86	o 1236782 
29.76/5.19	o 1236903 
30.35/5.29	o 1243962 
30.89/5.34	o 1244789 
31.44/5.45	o 1244808 
31.44/5.50	o 1248650 
31.81/5.55	o 1249361 
32.28/5.61	o 1250161 
33.04/5.74	o 1255316 
33.68/5.87	o 1255561 
34.30/5.92	o 1267129 
34.30/5.98	o 1276795 
34.96/6.09	o 1277336 
35.74/6.14	o 1279156 
36.25/6.20	o 1288561 
36.25/6.25	o 1288681 
36.48/6.31	o 1293846 
37.15/6.43	o 1296133 
37.15/6.49	o 1298365 
37.49/6.59	o 1303696 
38.09/6.64	o 1309181 
38.09/6.65	o 1311035 
38.61/6.78	o 1311768 
40.14/6.90	o 1312029 
40.14/6.90	o 1313083 
40.94/7.09	o 1313280 
41.84/7.21	o 1315237 
42.58/7.34	o 1317416 
44.05/7.57	o 1322995 
46.34/7.88	o 1323660 
48.51/8.14	o 1324940 
48.96/8.21	o 1326909 
48.96/8.27	o 1336911 
49.55/8.31	o 1337580 
49.55/8.38	o 1342181 
50.20/8.44	o 1343795 
50.72/8.55	o 1344866 
51.21/8.69	o 1347412 
51.91/8.75	o 1347655 
54.03/9.02	o 1353763 
54.03/9.07	o 1371157 
54.71/9.14	o 1376788 
55.36/9.27	o 1376789 
56.07/9.32	o 1382420 
56.83/9.45	o 1382519 
57.61/9.52	o 1388803 
58.43/9.69	o 1390712 
59.73/9.83	o 1393755 
60.42/9.97	o 1394868 
61.25/10.08	o 1396332 
63.19/10.34	o 1396718 
63.76/10.48	o 1398809 
65.30/10.66	o 1406623 
65.71/10.71	o 1413412 
66.49/10.84	o 1415761 
67.24/10.96	o 1416196 
68.72/11.12	o 1420099 
69.35/11.23	o 1420921 
70.13/11.39	o 1422407 
71.46/11.51	o 1423207 
72.22/11.63	o 1424933 
72.93/11.73	o 1430947 
73.48/11.86	o 1431292 
76.65/12.24	o 1431968 
77.88/12.41	o 1433422 
79.42/12.68	o 1442874 
81.54/12.95	o 1443849 
83.64/13.24	o 1449210 
84.18/13.36	o 1449319 
88.08/13.84	o 1452090 
90.49/14.14	o 1452460 
90.99/14.26	o 1452821 
92.40/14.40	o 1453066 
92.40/14.46	o 1457378 
93.16/14.52	o 1465364 
94.75/14.78	o 1467683 
97.03/15.04	o 1476147 
98.15/15.20	o 1476292 
98.93/15.35	o 1476709 
101.08/15.61	o 1477150 
101.76/15.77	o 1477349 
103.09/15.95	o 1480525 
103.71/16.08	o 1481401 
105.16/16.24	o 1482596 
106.57/16.48	o 1483785 
108.10/16.65	o 1485862 
108.64/16.80	o 1486624 
109.40/16.86	o 1487376 
110.15/16.99	o 1487752 
112.42/17.25	o 1491470 
112.96/17.39	o 1491711 
114.46/17.53	o 1492749 
115.00/17.68	o 1493515 
116.45/17.85	o 1493605 
116.99/17.96	o 1494242 
116.99/18.01	o 1495706 
118.64/18.16	o 1496136 
120.70/18.45	o 1498069 
121.19/18.58	o 1498516 
122.69/18.73	o 1499489 
123.92/18.91	o 1504541 
124.65/19.05	o 1505327 
125.35/19.11	o 1506791 
126.06/19.29	o 1507512 
127.31/19.43	o 1508979 
127.31/19.49	o 1513467 
129.59/19.76	o 1514352 
130.96/19.90	o 1518306 
132.59/20.19	o 1522782 
134.65/20.46	o 1524886 
136.06/20.62	o 1528388 
137.52/20.89	o 1530543 
139.01/21.06	o 1532781 
139.55/21.15	o 1534532 
140.58/21.31	o 1535335 
141.31/21.47	o 1536152 
143.51/21.73	o 1536692 
147.41/22.26	o 1536943 
149.72/22.50	o 1537689 
150.50/22.65	o 1538074 
151.74/22.82	o 1540732 
153.25/23.10	o 1542570 
156.27/23.49	o 1542949 
157.81/23.67	o 1544614 
159.17/23.84	o 1545932 
159.59/23.93	o 1548613 
160.77/24.11	o 1549071 
161.46/24.28	o 1549274 
162.77/24.41	o 1551246 
164.31/24.67	o 1551304 
165.08/24.79	o 1551730 
166.64/24.91	o 1553952 
167.46/25.06	o 1555433 
168.21/25.20	o 1555758 
169.55/25.33	o 1557384 
171.67/25.61	o 1558620 
172.40/25.74	o 1559525 
173.14/25.89	o 1569089 
174.71/26.05	o 1572262 
175.78/26.22	o 1576897 
176.41/26.35	o 1578944 
177.19/26.49	o 1588563 
178.65/26.66	o 1589078 
179.88/26.82	o 1593136 
180.53/26.99	o 1593641 
181.88/27.16	o 1594250 
182.32/27.29	o 1594918 
185.24/27.61	o 1598189 
189.19/28.18	o 1598489 
189.83/28.24	o 1603710 
191.26/28.41	o 1603761 
191.95/28.57	o 1604286 
193.26/28.73	o 1609093 
193.83/28.89	o 1609799 
195.34/29.03	o 1609921 
196.10/29.18	o 1615847 
197.41/29.38	o 1617658 
200.55/29.72	o 1618522 
201.07/29.80	o 1619935 
201.82/29.98	o 1620117 
203.14/30.15	o 1620711 
204.30/30.30	o 1620947 
205.05/30.48	o 1621287 
206.27/30.62	o 1624126 
206.94/30.79	o 1624230 
208.25/30.93	o 1625052 
208.99/31.10	o 1625694 
210.29/31.24	o 1626808 
210.95/31.39	o 1627654 
212.38/31.52	o 1627785 
213.15/31.67	o 1627934 
214.48/31.80	o 1633635 
215.25/31.95	o 1634540 
215.96/32.10	o 1634608 
218.16/32.34	o 1637157 
218.93/32.47	o 1637550 
220.46/32.63	o 1639363 
221.01/32.76	o 1643198 
222.52/32.91	o 1646549 
223.35/33.09	o 1649840 
223.80/33.17	o 1651809 
225.14/33.35	o 1653203 
227.99/33.70	o 1660597 
230.14/34.01	o 1660681 
231.64/34.29	o 1661327 
240.28/35.37	o 1662388 
243.19/35.79	o 1668013 
244.60/35.96	o 1670406 
245.10/36.11	o 1671064 
246.58/36.26	o 1671390 
248.01/36.44	o 1671877 
248.52/36.56	o 1673113 
250.02/36.71	o 1674373 
250.71/36.88	o 1675926 
254.49/37.31	o 1679056 
257.64/37.73	o 1679821 
258.41/37.89	o 1680152 
259.80/38.02	o 1681143 
261.31/38.30	o 1684137 
263.64/38.57	o 1687157 
266.02/38.88	o 1688238 
267.27/39.06	o 1690493 
268.50/39.24	o 1691457 
270.60/39.53	o 1692181 
272.72/39.82	o 1692449 
274.26/40.08	o 1693307 
275.77/40.26	o 1694530 
276.20/40.39	o 1695744 
277.77/40.53	o 1696263 
278.50/40.69	o 1696974 
281.61/41.10	o 1698642 
283.01/41.25	o 1698887 
284.30/41.43	o 1700014 
284.84/41.57	o 1700309 
286.41/41.72	o 1700383 
287.11/41.89	o 1701174 
288.50/42.01	o 1701473 
290.72/42.31	o 1702895 
291.39/42.45	o 1703026 
294.57/42.82	o 1703444 
295.30/42.97	o 1707750 
297.50/43.26	o 1709016 
298.91/43.43	o 1709041 
300.16/43.60	o 1709535 
301.73/43.87	o 1709601 
304.11/44.13	o 1711609 
304.79/44.28	o 1712099 
306.33/44.44	o 1712715 
306.85/44.59	o 1714022 
308.24/44.75	o 1716486 
309.55/44.92	o 1717229 
310.25/45.04	o 1717350 
311.00/45.18	o 1717896 
316.42/45.83	o 1718446 
317.12/45.99	o 1719046 
319.98/46.30	o 1719408 
324.21/47.63	o 1720081 
324.67/47.73	o 1721008 
326.51/48.67	o 1721944 
328.68/49.94	o 1722491 
334.81/53.26	o 1724322 
340.39/55.27	o 1724493 
343.75/57.55	o 1726501 
350.95/62.93	o 1728618 
351.58/63.05	o 1729002 
352.42/63.20	o 1729622 
354.59/63.46	o 1731548 
356.01/63.60	o 1732366 
371.56/77.27	o 1734806 
373.44/77.52	o 1737135 
374.13/77.69	o 1737266 
375.38/77.87	o 1738012 
379.87/78.42	o 1738184 
381.32/78.67	o 1738443 
427.07/119.99	o 1739592 
435.02/126.81	o 1741305 
443.00/133.93	o 1741406 
446.76/134.45	o 1743122 
449.10/134.71	o 1743672 
450.60/134.98	o 1743850 
452.74/135.24	o 1744786 
456.59/135.74	o 1745573 
462.10/136.40	o 1747435 
465.19/136.84	o 1748264 
465.72/136.97	o 1748509 
468.84/137.37	o 1749895 
471.87/137.80	o 1753933 
474.05/138.06	o 1760639 
477.13/138.47	o 1760807 
478.61/138.61	o 1761057 
480.12/138.88	o 1761607 
481.68/139.05	o 1764360 
482.78/139.23	o 1764540 
494.52/140.76	o 1764792 
495.98/140.91	o 1765088 
499.07/141.30	o 1765846 
500.62/141.57	o 1769610 
502.08/141.73	o 1770594 
510.23/142.88	o 1771980 
519.28/144.03	o 1772340 
520.56/144.23	o 1773465 
521.09/144.36	o 1775215 
522.63/144.52	o 1775685 
527.31/145.18	o 1779607 
529.50/145.44	o 1780692 
530.23/145.51	o 1781312 
532.25/145.80	o 1781560 
533.89/146.07	o 1782674 
535.32/146.24	o 1785235 
537.43/146.50	o 1787045 
539.00/146.76	o 1788053 
541.25/147.02	o 1788485 
545.06/147.53	o 1792219 
545.84/147.70	o 1792908 
550.26/148.29	o 1796823 
554.99/148.81	o 1797039 
558.92/149.31	o 1798227 
559.68/149.48	o 1798652 
560.24/149.56	o 1806351 
562.45/149.81	o 1808359 
564.88/150.19	o 1809484 
567.12/150.49	o 1811316 
570.00/150.88	o 1812780 
576.92/151.80	o 1813115 
579.13/152.08	o 1815913 
581.31/152.35	o 1816463 
583.60/152.61	o 1816949 
588.36/153.24	o 1818074 
590.60/153.52	o 1818460 
594.49/154.08	o 1821215 
595.11/154.19	o 1821734 
609.39/155.96	o 1822201 
637.26/159.43	o 1822402 
645.86/160.51	o 1823150 
655.37/161.75	o 1823776 
658.54/162.15	o 1828683 
662.36/162.68	o 1829317 
670.83/163.70	o 1829854 
670.83/163.76	o 1830781 
674.04/164.16	o 1831118 
676.34/164.46	o 1834178 
685.46/165.62	o 1836498 
686.09/165.78	o 1836999 
686.58/165.89	o 1843376 
687.13/165.99	o 1844360 
699.57/167.52	o 1844816 
732.11/171.63	o 1845050 
749.40/173.82	o 1845762 
756.31/174.72	o 1847022 
756.93/174.88	o 1850319 
759.24/175.18	o 1850953 
766.14/176.06	o 1851110 
766.90/176.13	o 1852094 
783.56/178.21	o 1853306 
801.84/180.54	o 1854668 
805.86/181.06	o 1854919 
808.04/181.35	o 1856615 
810.11/181.66	o 1858587 
810.51/181.79	o 1858906 
815.21/182.33	o 1859231 
815.99/182.47	o 1859619 
822.17/183.27	o 1863177 
826.61/183.84	o 1863308 
902.02/193.34	o 1865811 
905.17/193.79	o 1866500 
909.60/194.32	o 1866819 
911.84/194.67	o 1867048 
921.39/195.84	o 1867881 
922.82/196.01	o 1868106 
924.31/196.29	o 1869570 
925.82/196.43	o 1871881 
936.15/197.75	o 1872013 
937.74/197.91	o 1876006 
938.52/198.08	o 1877510 
940.54/198.32	o 1880191 
941.83/198.51	o 1880194 
944.85/198.91	o 1883254 
946.45/199.17	o 1883970 
948.73/199.44	o 1884101 
955.74/200.39	o 1885520 
961.08/201.09	o 1886159 
962.59/201.23	o 1887167 
963.28/201.38	o 1887402 
968.75/202.04	o 1887693 
975.00/202.84	o 1888012 
977.34/203.14	o 1891934 
978.49/203.31	o 1892187 
978.90/203.40	o 1892382 
980.45/203.67	o 1892556 
982.80/203.92	o 1893681 
984.43/204.18	o 1894427 
993.07/205.27	o 1897292 
997.77/205.81	o 1900195 
1002.53/206.45	o 1900514 
1014.41/207.95	o 1901064 
1089.02/217.39	o 1901100 
1092.54/217.81	o 1901326 
1095.60/218.23	o 1908109 
1116.18/220.86	o 1910347 
1162.93/226.73	o 1911571 
1176.29/228.46	o 1917213 
1176.83/228.59	o 1917344 
1247.39/237.41	o 1917663 
1253.59/238.22	o 1917720 
1259.02/238.90	o 1918409 
1353.24/250.80	o 1919842 
1498.92/269.20	o 1920880 
1501.08/269.45	o 1921381 
1503.41/269.74	o 1922324 
1507.16/270.26	o 1924441 
1518.25/271.64	o 1926094 
1520.36/271.93	o 1930528 
1555.42/276.35	o 1935482 
1608.82/283.09	o 1936223 
1754.60/301.41	o 1937254 
1776.09/304.19	o 1939920 
1790.05/305.98	o 1942995 
2027.65/336.00	o 1943523 
2029.12/336.16	o 1944783 
4537.61/653.40	o 1945484 
4539.86/653.84	o 1945764 
4540.37/653.99	o 1946231 
4545.34/654.60	o 1948944 
4546.89/654.87	o 1951606 
4548.41/655.02	o 1952125 
4549.10/655.18	o 1953978 
4576.64/658.62	o 1954109 
4581.98/659.38	o 1954576 
5056.19/719.29	o 1956605 
5108.89/726.00	o 1956916 
5110.23/726.16	o 1957589 
5114.82/726.75	o 1959513 
5115.97/726.91	o 1960202 
5118.12/727.24	o 1961666 
5332.95/754.46	o 1965547 
5409.78/764.32	o 1967227 
5413.60/764.88	o 1967999 
5433.29/767.35	o 1969235 
5694.64/800.35	o 1971244 
5702.44/801.38	o 1971920 
5711.15/802.44	o 1973008 
5712.35/802.62	o 1975125 
5714.50/802.94	o 1975837 
5734.84/805.57	o 1976408 
5739.14/806.11	o 1976630 
5741.21/806.43	o 1977097 
9390.75/1267.85	o 1979015 
9396.88/1268.67	o 1979534 
9401.39/1269.36	o 1983789 
9404.91/1269.87	o 1985151 
9425.06/1272.42	o 1985282 
9431.23/1273.30	o 1988588 
9442.34/1274.73	o 1989241 
9459.07/1276.91	o 1989719 
9470.71/1278.44	o 1990186 
9474.39/1278.97	o 1990705 
12355.76/1643.12	o 1994837 
12361.28/1644.42	o 1996633 
13813.01/1827.86	o 1997442 
13816.53/1828.40	o 1997573 
17536.51/2298.70	o 1997670 
17538.95/2299.26	o 1997673 
17540.83/2300.11	o 1999642 
17550.57/2301.78	o 2001501 
19021.02/2488.24	o 2002451 
19028.19/2489.90	o 2003378 
19265.61/2520.09	s SATISFIABLE
19265.61/2520.09	v <instantiation>
19265.61/2520.09	v 	<list>b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] </list>
19265.61/2520.09	v 	<values>0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 </values>
19265.61/2520.09	v </instantiation>
19265.61/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	2003378

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14532 MiB free)
  memory of node 1: 16384 MiB (14112 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399982-1568717435/watcher-4399982-1568717435 -o /tmp/evaluation-result-4399982-1568717435/solver-4399982-1568717435 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568711035-16420 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 609887524 HOME/instance-4399982-1568717435.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18254, runsolver pid=18251
Current StackSize limit: 8192 KiB


[startup+0.100158 s]*
/proc/loadavg: 6.62 7.69 8.10 2/211 18275
/proc/meminfo: memFree=29315736/32770624 swapFree=66939908/67108860
[pid=18254] ppid=18251 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18254/stat : 18254 (xcsp3-exec) S 18251 18254 16393 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447658384 115843072 364 33554432000 4194304 5098028 140730317333648 140730317331752 140564655673980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35368960 140730317337462 140730317337705 140730317337705 140730317340618 0
/proc/18254/statm: 28282 364 305 221 0 87 0
[pid=18256] ppid=18254 vsize=28227396 memory=29548 CPUtime=0.12 cores=0-7
/proc/18256/stat : 18256 (java) S 18254 18254 16393 0 -1 1077944320 5873 0 0 0 11 1 0 0 20 0 20 0 447658384 28904853504 7387 33554432000 4194304 4196468 140727193447248 140727193429792 139975083597559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
/proc/18256/statm: 7056849 7387 3125 1 0 7019032 0
[pid=18256/tid=18257] ppid=18254 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/18256/task/18257/stat : 18257 (java) R 18254 18254 16393 0 -1 4202560 3821 0 0 0 8 0 0 0 20 0 20 0 447658385 28904853504 7387 33554432000 4194304 4196468 140727193447248 139975087831152 139975067641189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18258] ppid=18254 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/18256/task/18258/stat : 18258 (java) S 18254 18254 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447658385 28904853504 7387 33554432000 4194304 4196468 140727193447248 139975003450512 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18259] ppid=18254 vsize=28227396 memory=139706957260416 CPUtime=0 cores=0-7
/proc/18256/task/18259/stat : 18259 (java) S 18254 18254 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447658385 28904853504 7387 33554432000 4194304 4196468 140727193447248 139975002397712 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18260] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18260/stat : 18260 (java) S 18254 18254 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447658385 28904853504 7387 33554432000 4194304 4196468 140727193447248 139975001344912 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18261] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18261/stat : 18261 (java) S 18254 18254 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447658385 28904853504 7387 33554432000 4194304 4196468 140727193447248 139975000292112 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18262] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18262/stat : 18262 (java) S 18254 18254 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447658385 28904853504 7387 33554432000 4194304 4196468 140727193447248 139974999239312 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18263] ppid=18254 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18256/task/18263/stat : 18263 (java) S 18254 18254 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447658385 28904853504 7387 33554432000 4194304 4196468 140727193447248 139974629513744 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18264] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18264/stat : 18264 (java) S 18254 18254 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447658385 28904853504 7387 33554432000 4194304 4196468 140727193447248 139974628460944 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18265] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18265/stat : 18265 (java) S 18254 18254 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447658385 28904853504 7387 33554432000 4194304 4196468 140727193447248 139974627408144 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18266] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18266/stat : 18266 (java) S 18254 18254 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447658387 28904853504 7387 33554432000 4194304 4196468 140727193447248 139974467996528 139975083608706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18267] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18267/stat : 18267 (java) S 18254 18254 16393 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447658387 28904853504 7387 33554432000 4194304 4196468 140727193447248 139974466942496 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18268] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18268/stat : 18268 (java) S 18254 18254 16393 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447658388 28904853504 7387 33554432000 4194304 4196468 140727193447248 139974465889648 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18269] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18269/stat : 18269 (java) S 18254 18254 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447658390 28904853504 7387 33554432000 4194304 4196468 140727193447248 139974464837968 139975083616155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18270] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18270/stat : 18270 (java) S 18254 18254 16393 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 447658390 28904853504 7387 33554432000 4194304 4196468 140727193447248 139974463785328 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18271] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18271/stat : 18271 (java) R 18254 18254 16393 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 20 0 447658390 28904853504 7387 33554432000 4194304 4196468 140727193447248 139974462732528 139975076582601 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18272] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18272/stat : 18272 (java) S 18254 18254 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447658390 28904853504 7387 33554432000 4194304 4196468 140727193447248 139974461679728 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18273] ppid=18254 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/18256/task/18273/stat : 18273 (java) R 18254 18254 16393 0 -1 4202560 320 0 0 0 2 0 0 0 20 0 20 0 447658390 28904853504 7387 33554432000 4194304 4196468 140727193447248 139974393456624 139975062297760 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18274] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18274/stat : 18274 (java) S 18254 18254 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447658390 28904853504 7387 33554432000 4194304 4196468 140727193447248 139974392405088 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18275] ppid=18254 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18256/task/18275/stat : 18275 (java) S 18254 18254 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447658391 28904853504 7387 33554432000 4194304 4196468 140727193447248 139974391352368 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31004 KiB

[startup+0.210728 s]*
/proc/loadavg: 6.62 7.69 8.10 3/211 18275
/proc/meminfo: memFree=29303500/32770624 swapFree=66939908/67108860
[pid=18254] ppid=18251 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18254/stat : 18254 (xcsp3-exec) S 18251 18254 16393 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447658384 115843072 364 33554432000 4194304 5098028 140730317333648 140730317331752 140564655673980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35368960 140730317337462 140730317337705 140730317337705 140730317340618 0
/proc/18254/statm: 28282 364 305 221 0 87 0
[pid=18256] ppid=18254 vsize=28227396 memory=41492 CPUtime=0.34 cores=0-7
/proc/18256/stat : 18256 (java) S 18254 18254 16393 0 -1 1077944320 9551 0 0 0 31 3 0 0 20 0 20 0 447658384 28904853504 10373 33554432000 4194304 4196468 140727193447248 140727193429792 139975083597559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
/proc/18256/statm: 7056849 10373 3314 1 0 7019032 0
[pid=18256/tid=18257] ppid=18254 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/18256/task/18257/stat : 18257 (java) R 18254 18254 16393 0 -1 4202560 6673 0 0 0 18 2 0 0 20 0 20 0 447658385 28904853504 10373 33554432000 4194304 4196468 140727193447248 139975087834320 139975067678046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18258] ppid=18254 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/18256/task/18258/stat : 18258 (java) S 18254 18254 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447658385 28904853504 10373 33554432000 4194304 4196468 140727193447248 139975003450512 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18259] ppid=18254 vsize=28227396 memory=4122963301511685792 CPUtime=0 cores=0-7
/proc/18256/task/18259/stat : 18259 (java) S 18254 18254 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447658385 28904853504 10373 33554432000 4194304 4196468 140727193447248 139975002397712 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18260] ppid=18254 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18256/task/18260/stat : 18260 (java) S 18254 18254 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447658385 28904853504 10373 33554432000 4194304 4196468 140727193447248 139975001344912 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18261] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18261/stat : 18261 (java) S 18254 18254 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447658385 28904853504 10373 33554432000 4194304 4196468 140727193447248 139975000292112 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18262] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18262/stat : 18262 (java) S 18254 18254 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447658385 28904853504 10373 33554432000 4194304 4196468 140727193447248 139974999239312 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18263] ppid=18254 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18256/task/18263/stat : 18263 (java) S 18254 18254 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447658385 28904853504 10373 33554432000 4194304 4196468 140727193447248 139974629513744 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18264] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18264/stat : 18264 (java) S 18254 18254 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447658385 28904853504 10373 33554432000 4194304 4196468 140727193447248 139974628460944 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18265] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18265/stat : 18265 (java) S 18254 18254 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447658385 28904853504 10373 33554432000 4194304 4196468 140727193447248 139974627408144 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18266] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18266/stat : 18266 (java) S 18254 18254 16393 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447658387 28904853504 10373 33554432000 4194304 4196468 140727193447248 139974467996528 139975083608706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18267] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18267/stat : 18267 (java) S 18254 18254 16393 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447658387 28904853504 10373 33554432000 4194304 4196468 140727193447248 139974466942496 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18268] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18268/stat : 18268 (java) S 18254 18254 16393 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447658388 28904853504 10373 33554432000 4194304 4196468 140727193447248 139974465889648 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18269] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18269/stat : 18269 (java) S 18254 18254 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447658390 28904853504 10373 33554432000 4194304 4196468 140727193447248 139974464837968 139975083616155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18270] ppid=18254 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/18256/task/18270/stat : 18270 (java) S 18254 18254 16393 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 20 0 447658390 28904853504 10373 33554432000 4194304 4196468 140727193447248 139974463785328 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18271] ppid=18254 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/18256/task/18271/stat : 18271 (java) S 18254 18254 16393 0 -1 1077944384 463 0 0 0 1 0 0 0 20 0 20 0 447658390 28904853504 10373 33554432000 4194304 4196468 140727193447248 139974462732528 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18272] ppid=18254 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/18256/task/18272/stat : 18272 (java) S 18254 18254 16393 0 -1 1077944384 101 0 0 0 1 0 0 0 20 0 20 0 447658390 28904853504 10373 33554432000 4194304 4196468 140727193447248 139974461679728 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18273] ppid=18254 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/18256/task/18273/stat : 18273 (java) S 18254 18254 16393 0 -1 1077944384 667 0 0 0 8 0 0 0 20 0 20 0 447658390 28904853504 10373 33554432000 4194304 4196468 140727193447248 139974393456624 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18274] ppid=18254 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18274/stat : 18274 (java) S 18254 18254 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447658390 28904853504 10373 33554432000 4194304 4196468 140727193447248 139974392405088 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18275] ppid=18254 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18256/task/18275/stat : 18275 (java) S 18254 18254 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447658391 28904853504 10373 33554432000 4194304 4196468 140727193447248 139974391352368 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42948 KiB

[startup+0.310589 s]*
/proc/loadavg: 6.62 7.69 8.10 5/211 18275
/proc/meminfo: memFree=29295496/32770624 swapFree=66939908/67108860
[pid=18254] ppid=18251 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18254/stat : 18254 (xcsp3-exec) S 18251 18254 16393 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447658384 115843072 364 33554432000 4194304 5098028 140730317333648 140730317331752 140564655673980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35368960 140730317337462 140730317337705 140730317337705 140730317340618 0
/proc/18254/statm: 28282 364 305 221 0 87 0
[pid=18256] ppid=18254 vsize=28231652 memory=50216 CPUtime=0.52 cores=0-7
/proc/18256/stat : 18256 (java) S 18254 18254 16393 0 -1 1077944320 10944 0 0 0 49 3 0 0 20 0 20 0 447658384 28909211648 12554 33554432000 4194304 4196468 140727193447248 140727193429792 139975083597559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
/proc/18256/statm: 7057913 12554 3356 1 0 7019032 0
[pid=18256/tid=18257] ppid=18254 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/18256/task/18257/stat : 18257 (java) R 18254 18254 16393 0 -1 4202560 7846 0 0 0 27 2 0 0 20 0 20 0 447658385 28909211648 12554 33554432000 4194304 4196468 140727193447248 139975087828672 139975083619485 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18258] ppid=18254 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18258/stat : 18258 (java) S 18254 18254 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447658385 28909211648 12554 33554432000 4194304 4196468 140727193447248 139975003450512 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18259] ppid=18254 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18259/stat : 18259 (java) S 18254 18254 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447658385 28909211648 12554 33554432000 4194304 4196468 140727193447248 139975002397712 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18260] ppid=18254 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18260/stat : 18260 (java) S 18254 18254 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447658385 28909211648 12554 33554432000 4194304 4196468 140727193447248 139975001344912 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18261] ppid=18254 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18261/stat : 18261 (java) S 18254 18254 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447658385 28909211648 12554 33554432000 4194304 4196468 140727193447248 139975000292112 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18262] ppid=18254 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18262/stat : 18262 (java) S 18254 18254 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447658385 28909211648 12554 33554432000 4194304 4196468 140727193447248 139974999239312 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18263] ppid=18254 vsize=28231652 memory=139706830514863 CPUtime=0 cores=0-7
/proc/18256/task/18263/stat : 18263 (java) S 18254 18254 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447658385 28909211648 12554 33554432000 4194304 4196468 140727193447248 139974629513744 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18264] ppid=18254 vsize=28231652 memory=139706830517168 CPUtime=0 cores=0-7
/proc/18256/task/18264/stat : 18264 (java) S 18254 18254 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447658385 28909211648 12554 33554432000 4194304 4196468 140727193447248 139974628460944 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18265] ppid=18254 vsize=28231652 memory=139706830519472 CPUtime=0 cores=0-7
/proc/18256/task/18265/stat : 18265 (java) S 18254 18254 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447658385 28909211648 12554 33554432000 4194304 4196468 140727193447248 139974627408144 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18266] ppid=18254 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18266/stat : 18266 (java) S 18254 18254 16393 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447658387 28909211648 12554 33554432000 4194304 4196468 140727193447248 139974467996528 139975083608706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18267] ppid=18254 vsize=28231652 memory=279413661052816 CPUtime=0 cores=0-7
/proc/18256/task/18267/stat : 18267 (java) S 18254 18254 16393 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447658387 28909211648 12554 33554432000 4194304 4196468 140727193447248 139974466942496 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18268] ppid=18254 vsize=28231652 memory=279413661050512 CPUtime=0 cores=0-7
/proc/18256/task/18268/stat : 18268 (java) S 18254 18254 16393 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447658388 28909211648 12554 33554432000 4194304 4196468 140727193447248 139974465889648 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18269] ppid=18254 vsize=28231652 memory=279413661057424 CPUtime=0 cores=0-7
/proc/18256/task/18269/stat : 18269 (java) S 18254 18254 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447658390 28909211648 12554 33554432000 4194304 4196468 140727193447248 139974464837968 139975083616155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18270] ppid=18254 vsize=28231652 memory=279413660998704 CPUtime=0.03 cores=0-7
/proc/18256/task/18270/stat : 18270 (java) R 18254 18254 16393 0 -1 4202560 444 0 0 0 3 0 0 0 20 0 20 0 447658390 28909211648 12554 33554432000 4194304 4196468 140727193447248 139974463775712 139975065118773 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18271] ppid=18254 vsize=28231652 memory=279413661071248 CPUtime=0.03 cores=0-7
/proc/18256/task/18271/stat : 18271 (java) S 18254 18254 16393 0 -1 1077944384 496 0 0 0 3 0 0 0 20 0 20 0 447658390 28909211648 12554 33554432000 4194304 4196468 140727193447248 139974462732528 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18272] ppid=18254 vsize=28231652 memory=279413661078160 CPUtime=0.02 cores=0-7
/proc/18256/task/18272/stat : 18272 (java) S 18254 18254 16393 0 -1 1077944384 101 0 0 0 2 0 0 0 20 0 20 0 447658390 28909211648 12554 33554432000 4194304 4196468 140727193447248 139974461679728 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18273] ppid=18254 vsize=28231652 memory=279413661075856 CPUtime=0.13 cores=0-7
/proc/18256/task/18273/stat : 18273 (java) S 18254 18254 16393 0 -1 1077944384 755 0 0 0 13 0 0 0 20 0 20 0 447658390 28909211648 12554 33554432000 4194304 4196468 140727193447248 139974393456624 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18274] ppid=18254 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18274/stat : 18274 (java) S 18254 18254 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447658390 28909211648 12619 33554432000 4194304 4196468 140727193447248 139974392405088 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18275] ppid=18254 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/18256/task/18275/stat : 18275 (java) S 18254 18254 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447658391 28909211648 12619 33554432000 4194304 4196468 140727193447248 139974391352368 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51672 KiB

[startup+0.700996 s]
/proc/loadavg: 6.62 7.69 8.10 6/211 18275
/proc/meminfo: memFree=29271344/32770624 swapFree=66939908/67108860
[pid=18254] ppid=18251 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18254/stat : 18254 (xcsp3-exec) S 18251 18254 16393 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447658384 115843072 364 33554432000 4194304 5098028 140730317333648 140730317331752 140564655673980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35368960 140730317337462 140730317337705 140730317337705 140730317340618 0
/proc/18254/statm: 28282 364 305 221 0 87 0
[pid=18256] ppid=18254 vsize=28233776 memory=127796 CPUtime=2.02 cores=0-7
/proc/18256/stat : 18256 (java) S 18254 18254 16393 0 -1 1077944320 18413 0 0 0 196 6 0 0 20 0 20 0 447658384 28911386624 31949 33554432000 4194304 4196468 140727193447248 140727193429792 139975083597559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
/proc/18256/statm: 7058444 31949 3458 1 0 7019544 0
[pid=18256/tid=18257] ppid=18254 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/18256/task/18257/stat : 18257 (java) R 18254 18254 16393 0 -1 4202560 9084 0 0 0 64 3 0 0 20 0 20 0 447658385 28911386624 31949 33554432000 4194304 4196468 140727193447248 139975087832704 139974683079264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18258] ppid=18254 vsize=28233776 memory=139706830726000 CPUtime=0 cores=0-7
/proc/18256/task/18258/stat : 18258 (java) S 18254 18254 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447658385 28911386624 31949 33554432000 4194304 4196468 140727193447248 139975003450512 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18259] ppid=18254 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/18256/task/18259/stat : 18259 (java) S 18254 18254 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447658385 28911386624 31949 33554432000 4194304 4196468 140727193447248 139975002397712 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18260] ppid=18254 vsize=28233776 memory=1256 CPUtime=0 cores=0-7
/proc/18256/task/18260/stat : 18260 (java) S 18254 18254 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447658385 28911386624 31949 33554432000 4194304 4196468 140727193447248 139975001344912 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0

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

/proc/18256/stat : 18256 (java) S 18254 18254 16393 0 -1 1077944320 1976553 0 0 0 1910269 2309 0 0 20 0 28 0 447658384 29459828736 462483 33554432000 4194304 4196468 140727193447248 140727193429792 139975083597559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
/proc/18256/statm: 7192341 462483 3543 1 0 7153441 0
[pid=18256/tid=18257] ppid=18254 vsize=28769364 memory=1849932 CPUtime=1.36 cores=0-7
/proc/18256/task/18257/stat : 18257 (java) S 18254 18254 16393 0 -1 1077944384 18456 0 0 0 126 10 0 0 20 0 28 0 447658385 29459828736 462483 33554432000 4194304 4196468 140727193447248 139975087838272 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18258] ppid=18254 vsize=28769364 memory=1871812 CPUtime=14.03 cores=0-7
/proc/18256/task/18258/stat : 18258 (java) S 18254 18254 16393 0 -1 1077944384 83833 0 0 0 1360 43 0 0 20 0 28 0 447658385 29459828736 462483 33554432000 4194304 4196468 140727193447248 139975003450512 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18259] ppid=18254 vsize=28769364 memory=1843104 CPUtime=14.14 cores=0-7
/proc/18256/task/18259/stat : 18259 (java) S 18254 18254 16393 0 -1 1077944384 90570 0 0 0 1372 42 0 0 20 0 28 0 447658385 29459828736 462483 33554432000 4194304 4196468 140727193447248 139975002397712 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18260] ppid=18254 vsize=28769364 memory=1836808 CPUtime=14.05 cores=0-7
/proc/18256/task/18260/stat : 18260 (java) S 18254 18254 16393 0 -1 1077944384 85677 0 0 0 1364 41 0 0 20 0 28 0 447658385 29459828736 462483 33554432000 4194304 4196468 140727193447248 139975001344912 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18261] ppid=18254 vsize=28769364 memory=1739396 CPUtime=14.05 cores=0-7
/proc/18256/task/18261/stat : 18261 (java) S 18254 18254 16393 0 -1 1077944384 77200 0 0 0 1364 41 0 0 20 0 28 0 447658385 29459828736 462483 33554432000 4194304 4196468 140727193447248 139975000292112 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18262] ppid=18254 vsize=28769364 memory=1834252 CPUtime=14.15 cores=0-7
/proc/18256/task/18262/stat : 18262 (java) S 18254 18254 16393 0 -1 1077944384 91488 0 0 0 1370 45 0 0 20 0 28 0 447658385 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974999239312 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18263] ppid=18254 vsize=28769364 memory=1834252 CPUtime=14.1 cores=0-7
/proc/18256/task/18263/stat : 18263 (java) S 18254 18254 16393 0 -1 1077944384 92160 0 0 0 1370 40 0 0 20 0 28 0 447658385 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974629513744 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18264] ppid=18254 vsize=28769364 memory=1733240 CPUtime=14.06 cores=0-7
/proc/18256/task/18264/stat : 18264 (java) S 18254 18254 16393 0 -1 1077944384 90844 0 0 0 1362 44 0 0 20 0 28 0 447658385 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974628460944 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18265] ppid=18254 vsize=28769364 memory=1456 CPUtime=14.09 cores=0-7
/proc/18256/task/18265/stat : 18265 (java) S 18254 18254 16393 0 -1 1077944384 85343 0 0 0 1365 44 0 0 20 0 28 0 447658385 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974627408144 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18266] ppid=18254 vsize=28769364 memory=1736832 CPUtime=18.76 cores=0-7
/proc/18256/task/18266/stat : 18266 (java) S 18254 18254 16393 0 -1 1077944384 410495 0 0 0 817 1059 0 0 20 0 28 0 447658387 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974467996528 139975083608706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18267] ppid=18254 vsize=28769364 memory=1737856 CPUtime=0 cores=0-7
/proc/18256/task/18267/stat : 18267 (java) S 18254 18254 16393 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 447658387 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974466942560 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18268] ppid=18254 vsize=28769364 memory=1740424 CPUtime=0 cores=0-7
/proc/18256/task/18268/stat : 18268 (java) S 18254 18254 16393 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 447658388 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974465889664 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18269] ppid=18254 vsize=28769364 memory=1734004 CPUtime=0 cores=0-7
/proc/18256/task/18269/stat : 18269 (java) S 18254 18254 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447658390 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974464837968 139975083616155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18270] ppid=18254 vsize=28769364 memory=1737084 CPUtime=2.01 cores=0-7
/proc/18256/task/18270/stat : 18270 (java) S 18254 18254 16393 0 -1 1077944384 11585 0 0 0 199 2 0 0 20 0 28 0 447658390 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974463785328 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18271] ppid=18254 vsize=28769364 memory=1739052 CPUtime=2.44 cores=0-7
/proc/18256/task/18271/stat : 18271 (java) S 18254 18254 16393 0 -1 1077944384 11924 0 0 0 243 1 0 0 20 0 28 0 447658390 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974462732528 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18272] ppid=18254 vsize=28769364 memory=1739540 CPUtime=2.24 cores=0-7
/proc/18256/task/18272/stat : 18272 (java) S 18254 18254 16393 0 -1 1077944384 11913 0 0 0 222 2 0 0 20 0 28 0 447658390 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974461679728 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18273] ppid=18254 vsize=28769364 memory=1742732 CPUtime=0.98 cores=0-7
/proc/18256/task/18273/stat : 18273 (java) S 18254 18254 16393 0 -1 1077944384 12296 0 0 0 97 1 0 0 20 0 28 0 447658390 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974393456624 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18274] ppid=18254 vsize=28769364 memory=1871956 CPUtime=0 cores=0-7
/proc/18256/task/18274/stat : 18274 (java) S 18254 18254 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447658390 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974392405088 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18275] ppid=18254 vsize=28769364 memory=1861220 CPUtime=0.76 cores=0-7
/proc/18256/task/18275/stat : 18275 (java) S 18254 18254 16393 0 -1 1077944384 12090 0 0 0 27 49 0 0 20 0 28 0 447658391 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974391352368 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=22349] ppid=18254 vsize=28769364 memory=1851472 CPUtime=12.06 cores=0-7
/proc/18256/task/22349/stat : 22349 (java) R 18254 18254 16393 0 -1 4202560 546 0 0 0 1206 0 0 0 20 0 28 0 447907375 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974382372912 139974681667960 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=22350] ppid=18254 vsize=28769364 memory=1849932 CPUtime=12.06 cores=0-7
/proc/18256/task/22350/stat : 22350 (java) R 18254 18254 16393 0 -1 4202560 728 0 0 0 1206 0 0 0 20 0 28 0 447907375 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974375003080 139974686772743 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=22351] ppid=18254 vsize=28769364 memory=1456 CPUtime=12.06 cores=0-7
/proc/18256/task/22351/stat : 22351 (java) R 18254 18254 16393 0 -1 4202560 795 0 0 0 1206 0 0 0 20 0 28 0 447907375 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974380265624 139974685590477 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=22352] ppid=18254 vsize=28769364 memory=1851472 CPUtime=12.06 cores=0-7
/proc/18256/task/22352/stat : 22352 (java) R 18254 18254 16393 0 -1 4202560 4147 0 0 0 1203 3 0 0 20 0 28 0 447907375 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974378160184 139974685834347 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=22353] ppid=18254 vsize=28769364 memory=3504 CPUtime=12.02 cores=0-7
/proc/18256/task/22353/stat : 22353 (java) R 18254 18254 16393 0 -1 4202560 2674 0 0 0 1201 1 0 0 20 0 28 0 447907375 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974377107344 139974687372452 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=22354] ppid=18254 vsize=28769364 memory=1456 CPUtime=12.07 cores=0-7
/proc/18256/task/22354/stat : 22354 (java) R 18254 18254 16393 0 -1 4202560 1918 0 0 0 1206 1 0 0 20 0 28 0 447907375 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974379212776 139974685130048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=22355] ppid=18254 vsize=28769364 memory=1843104 CPUtime=12.14 cores=0-7
/proc/18256/task/22355/stat : 22355 (java) R 18254 18254 16393 0 -1 4202560 3000 0 0 0 1210 4 0 0 20 0 28 0 447907375 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974381318472 139974684465572 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=22356] ppid=18254 vsize=28769364 memory=668 CPUtime=11.91 cores=0-7
/proc/18256/task/22356/stat : 22356 (java) R 18254 18254 16393 0 -1 4202560 271 0 0 0 1191 0 0 0 20 0 28 0 447907375 29459828736 462483 33554432000 4194304 4196468 140727193447248 139974376056136 139974684750651 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
Current children cumulated CPU time: 19125.8 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 1851388 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 7.92 7.93 8.04 9/220 22358
/proc/meminfo: memFree=27518680/32770624 swapFree=66939908/67108860
[pid=18254] ppid=18251 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18254/stat : 18254 (xcsp3-exec) S 18251 18254 16393 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447658384 115843072 364 33554432000 4194304 5098028 140730317333648 140730317331752 140564655673980 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35368960 140730317337462 140730317337705 140730317337705 140730317340618 0
/proc/18254/statm: 28282 364 305 221 0 87 0
[pid=18256] ppid=18254 vsize=28769364 memory=1817084 CPUtime=19265.6 cores=0-7
/proc/18256/stat : 18256 (java) S 18254 18254 16393 0 -1 1077944320 1998768 0 0 0 1924220 2341 0 0 20 0 28 0 447658384 29459828736 454271 33554432000 4194304 4196468 140727193447248 140727193429792 139975083597559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
/proc/18256/statm: 7192341 454271 3543 1 0 7153441 0
[pid=18256/tid=18257] ppid=18254 vsize=28769364 memory=776 CPUtime=1.36 cores=0-7
/proc/18256/task/18257/stat : 18257 (java) S 18254 18254 16393 0 -1 1077944384 18456 0 0 0 126 10 0 0 20 0 28 0 447658385 29459828736 454271 33554432000 4194304 4196468 140727193447248 139975087838272 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18258] ppid=18254 vsize=28769364 memory=2832 CPUtime=14.09 cores=0-7
/proc/18256/task/18258/stat : 18258 (java) S 18254 18254 16393 0 -1 1077944384 84651 0 0 0 1366 43 0 0 20 0 28 0 447658385 29459828736 454271 33554432000 4194304 4196468 140727193447248 139975003450512 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18259] ppid=18254 vsize=28769364 memory=668 CPUtime=14.19 cores=0-7
/proc/18256/task/18259/stat : 18259 (java) S 18254 18254 16393 0 -1 1077944384 91277 0 0 0 1377 42 0 0 20 0 28 0 447658385 29459828736 454271 33554432000 4194304 4196468 140727193447248 139975002397712 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18260] ppid=18254 vsize=28769364 memory=4126316290023845779 CPUtime=14.1 cores=0-7
/proc/18256/task/18260/stat : 18260 (java) S 18254 18254 16393 0 -1 1077944384 85872 0 0 0 1369 41 0 0 20 0 28 0 447658385 29459828736 454271 33554432000 4194304 4196468 140727193447248 139975001344912 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18261] ppid=18254 vsize=28769364 memory=1984 CPUtime=14.1 cores=0-7
/proc/18256/task/18261/stat : 18261 (java) S 18254 18254 16393 0 -1 1077944384 77847 0 0 0 1369 41 0 0 20 0 28 0 447658385 29459828736 454271 33554432000 4194304 4196468 140727193447248 139975000292112 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18262] ppid=18254 vsize=28769364 memory=1440 CPUtime=14.2 cores=0-7
/proc/18256/task/18262/stat : 18262 (java) S 18254 18254 16393 0 -1 1077944384 92623 0 0 0 1375 45 0 0 20 0 28 0 447658385 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974999239312 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18263] ppid=18254 vsize=28769364 memory=816 CPUtime=14.15 cores=0-7
/proc/18256/task/18263/stat : 18263 (java) S 18254 18254 16393 0 -1 1077944384 92564 0 0 0 1375 40 0 0 20 0 28 0 447658385 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974629513744 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18264] ppid=18254 vsize=28769364 memory=2580 CPUtime=14.12 cores=0-7
/proc/18256/task/18264/stat : 18264 (java) S 18254 18254 16393 0 -1 1077944384 91457 0 0 0 1367 45 0 0 20 0 28 0 447658385 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974628460944 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18265] ppid=18254 vsize=28769364 memory=1760 CPUtime=14.13 cores=0-7
/proc/18256/task/18265/stat : 18265 (java) S 18254 18254 16393 0 -1 1077944384 85692 0 0 0 1369 44 0 0 20 0 28 0 447658385 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974627408144 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18266] ppid=18254 vsize=28769364 memory=111636 CPUtime=18.96 cores=0-7
/proc/18256/task/18266/stat : 18266 (java) S 18254 18254 16393 0 -1 1077944384 411473 0 0 0 825 1071 0 0 20 0 28 0 447658387 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974467996528 139975083608706 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18267] ppid=18254 vsize=28769364 memory=808 CPUtime=0 cores=0-7
/proc/18256/task/18267/stat : 18267 (java) S 18254 18254 16393 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 447658387 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974466942560 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18268] ppid=18254 vsize=28769364 memory=1817084 CPUtime=0 cores=0-7
/proc/18256/task/18268/stat : 18268 (java) S 18254 18254 16393 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 447658388 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974465889664 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18269] ppid=18254 vsize=28769364 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/18256/task/18269/stat : 18269 (java) S 18254 18254 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447658390 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974464837968 139975083616155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18270] ppid=18254 vsize=28769364 memory=2008 CPUtime=2.01 cores=0-7
/proc/18256/task/18270/stat : 18270 (java) S 18254 18254 16393 0 -1 1077944384 11591 0 0 0 199 2 0 0 20 0 28 0 447658390 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974463785328 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18271] ppid=18254 vsize=28769364 memory=1436 CPUtime=2.44 cores=0-7
/proc/18256/task/18271/stat : 18271 (java) S 18254 18254 16393 0 -1 1077944384 11928 0 0 0 243 1 0 0 20 0 28 0 447658390 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974462732528 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18272] ppid=18254 vsize=28769364 memory=4152 CPUtime=2.24 cores=0-7
/proc/18256/task/18272/stat : 18272 (java) S 18254 18254 16393 0 -1 1077944384 11919 0 0 0 222 2 0 0 20 0 28 0 447658390 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974461679728 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18273] ppid=18254 vsize=28769364 memory=1548 CPUtime=0.98 cores=0-7
/proc/18256/task/18273/stat : 18273 (java) S 18254 18254 16393 0 -1 1077944384 12302 0 0 0 97 1 0 0 20 0 28 0 447658390 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974393456624 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18274] ppid=18254 vsize=28769364 memory=1728 CPUtime=0 cores=0-7
/proc/18256/task/18274/stat : 18274 (java) S 18254 18254 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447658390 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974392405088 139975083607765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=18275] ppid=18254 vsize=28769364 memory=8072 CPUtime=0.76 cores=0-7
/proc/18256/task/18275/stat : 18275 (java) S 18254 18254 16393 0 -1 1077944384 12149 0 0 0 27 49 0 0 20 0 28 0 447658391 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974391352368 139975083608706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=22349] ppid=18254 vsize=28769364 memory=9580 CPUtime=29.48 cores=0-7
/proc/18256/task/22349/stat : 22349 (java) R 18254 18254 16393 0 -1 4202560 1480 0 0 0 2947 1 0 0 20 0 28 0 447907375 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974382370072 139974685495146 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=22350] ppid=18254 vsize=28769364 memory=1052 CPUtime=29.48 cores=0-7
/proc/18256/task/22350/stat : 22350 (java) R 18254 18254 16393 0 -1 4202560 1345 0 0 0 2948 0 0 0 20 0 28 0 447907375 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974375003208 139975076418470 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=22351] ppid=18254 vsize=28769364 memory=1548 CPUtime=29.48 cores=0-7
/proc/18256/task/22351/stat : 22351 (java) R 18254 18254 16393 0 -1 4202560 1598 0 0 0 2947 1 0 0 20 0 28 0 447907375 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974380264976 139974684465591 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=22352] ppid=18254 vsize=28769364 memory=1728 CPUtime=29.23 cores=0-7
/proc/18256/task/22352/stat : 22352 (java) R 18254 18254 16393 0 -1 4202560 8542 0 0 0 2916 7 0 0 20 0 28 0 447907375 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974378160360 139974685834946 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=22353] ppid=18254 vsize=28769364 memory=8072 CPUtime=29.41 cores=0-7
/proc/18256/task/22353/stat : 22353 (java) R 18254 18254 16393 0 -1 4202560 6471 0 0 0 2937 4 0 0 20 0 28 0 447907375 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974377110384 139974687114262 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=22354] ppid=18254 vsize=28769364 memory=1456 CPUtime=29.49 cores=0-7
/proc/18256/task/22354/stat : 22354 (java) R 18254 18254 16393 0 -1 4202560 4968 0 0 0 2943 6 0 0 20 0 28 0 447907375 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974379212600 139974687372435 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=22355] ppid=18254 vsize=28769364 memory=1819648 CPUtime=29.68 cores=0-7
/proc/18256/task/22355/stat : 22355 (java) R 18254 18254 16393 0 -1 4202560 5095 0 0 0 2961 7 0 0 20 0 28 0 447907375 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974381318200 139974687372418 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
[pid=18256/tid=22356] ppid=18254 vsize=28769364 memory=776 CPUtime=29.33 cores=0-7
/proc/18256/task/22356/stat : 22356 (java) R 18254 18254 16393 0 -1 4202560 868 0 0 0 2933 0 0 0 20 0 28 0 447907375 29459828736 454271 33554432000 4194304 4196468 140727193447248 139974376056008 139974684750651 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
Current children cumulated CPU time: 19265.6 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 1818540 KiB

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

[startup+2520.04 s]
# the end of solver process 18254 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001139 s, system=0.001139 s

[startup+2520.16 s]
# the end of solver process 18256 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19243 s, system=23.4473 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2520.13 s]*
/proc/loadavg: 7.92 7.93 8.04 3/219 22360
/proc/meminfo: memFree=27518544/32770624 swapFree=66939908/67108860
[pid=18256] ppid=18251 vsize=28901464 memory=1817260 CPUtime=19266.5 cores=0-7
/proc/18256/stat : 18256 (java) S 18251 18254 16393 0 -1 1077944320 1999381 0 0 0 1924304 2343 0 0 20 0 28 0 447658384 29595099136 454315 33554432000 4194304 4196468 140727193447248 140727193429792 139975083597559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30134272 140727193449450 140727193449622 140727193449622 140727193452495 0
/proc/18256/statm: 7225366 454315 3543 1 0 7186466 0
[pid=18256/tid=22349] ppid=18251 vsize=0 memory=8317482817917895235 CPUtime=29.58 cores=0-7
/proc/18256/task/22349/stat : 22349 (java) R 18251 18254 16393 0 -1 4203588 1481 0 0 0 2957 1 0 0 20 0 2 0 447907375 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0 0 0 0 0 0 0 0 0 0 0
Current cumulated CPU time of completed processes: 0.002278 s
Current children cumulated CPU time: 19266.5 s
Current children cumulated vsize: 28901464 KiB
Current children cumulated memory: 1817260 KiB

Child status: 143
Real time (s): 2520.16
CPU time (s): 19266.5
CPU user time (s): 19243
CPU system time (s): 23.4473
CPU usage (%): 764.496
Max. virtual memory (cumulated for all children) (KiB): 28901464
Max. memory (cumulated for all children) (KiB): 3415796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19243
system time used= 23.4473
maximum resident set size= 3416392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1999953
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 228000
involuntary context switches= 229878


# summary of solver processes directly reported to runsolver:
#   pid: 18254,18256
#   total CPU time (s): 19266.5
#   total CPU user time (s): 19243
#   total CPU system time (s): 23.4473

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.0711 second user time and 30.2735 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-17 12:49:55
IDJOB=4399982
IDBENCH=141154
IDSOLVER=2854
FILE ID=node119/4399982-1568717435
RUNJOBID= node119-1568711035-16420
PBS_JOBID= 21703922
Free space on /tmp= 61344 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399982-1568717435/watcher-4399982-1568717435 -o /tmp/evaluation-result-4399982-1568717435/solver-4399982-1568717435 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568711035-16420 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 609887524 HOME/instance-4399982-1568717435.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=609887524

node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29332908 kB
MemAvailable:   31821256 kB
Buffers:          133372 kB
Cached:          2638292 kB
SwapCached:        61072 kB
Active:          1403480 kB
Inactive:        1432896 kB
Active(anon):       3424 kB
Inactive(anon):   110908 kB
Active(file):    1400056 kB
Inactive(file):  1321988 kB
Unevictable:      107484 kB
Mlocked:          107484 kB
SwapTotal:      67108860 kB
SwapFree:       66939908 kB
Dirty:             26024 kB
Writeback:             0 kB
AnonPages:        113024 kB
Mapped:            48936 kB
Shmem:             41008 kB
Slab:             193448 kB
SReclaimable:     164276 kB
SUnreclaim:        29172 kB
KernelStack:        3312 kB
PageTables:         5100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61320 MiB
End job on node119 at 2019-09-17 13:31:55