Trace number 4404782

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-20 parallelSAT (TO)2043084 19835.8 2520.11

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-4404782-1569011287.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404782-1569011287.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
2.87/0.96	c solve instance...
3.41/1.09	o 472042 
4.10/1.19	o 947044 
5.29/1.37	o 949948 
7.67/1.64	o 952681 
9.97/2.01	o 953072 
12.31/2.24	o 955412 
13.95/2.46	o 1051878 
14.61/2.56	o 1056190 
15.18/2.68	o 1058446 
15.98/2.78	o 1058601 
16.82/2.88	o 1089890 
17.57/2.92	o 1092311 
17.57/3.00	o 1093888 
18.31/3.05	o 1094379 
18.97/3.19	o 1094451 
19.58/3.23	o 1094907 
20.19/3.35	o 1095254 
20.79/3.40	o 1096285 
21.50/3.50	o 1101498 
21.50/3.55	o 1104650 
22.04/3.65	o 1106174 
22.04/3.69	o 1112275 
23.19/3.83	o 1114951 
24.66/4.04	o 1117165 
24.66/4.09	o 1136151 
26.46/4.36	o 1137609 
26.46/4.36	o 1138714 
26.46/4.36	o 1139297 
27.20/4.42	o 1139649 
27.87/4.55	o 1140621 
27.87/4.60	o 1168070 
28.91/4.75	o 1209790 
29.41/4.86	o 1210273 
30.19/4.99	o 1210380 
30.90/5.04	o 1216844 
31.61/5.16	o 1219693 
33.83/5.41	o 1220224 
34.50/5.52	o 1220240 
35.25/5.66	o 1228664 
35.92/5.71	o 1231789 
35.92/5.76	o 1231793 
37.22/5.90	o 1232508 
38.83/6.14	o 1233722 
40.20/6.37	o 1233733 
41.56/6.52	o 1234694 
41.56/6.56	o 1234789 
41.91/6.61	o 1246516 
42.67/6.74	o 1247261 
42.67/6.79	o 1247548 
43.25/6.88	o 1247874 
43.70/6.92	o 1255952 
43.70/7.01	o 1255999 
44.24/7.04	o 1258167 
44.86/7.13	o 1262138 
44.86/7.19	o 1265828 
45.11/7.28	o 1268718 
45.65/7.33	o 1269492 
47.02/7.53	o 1273225 
47.02/7.57	o 1273685 
47.40/7.67	o 1274983 
47.95/7.78	o 1275348 
48.70/7.83	o 1276297 
49.25/7.92	o 1277068 
49.25/7.98	o 1286854 
49.94/8.08	o 1287551 
50.41/8.12	o 1288317 
51.02/8.28	o 1292319 
51.48/8.32	o 1292976 
52.85/8.51	o 1293479 
52.85/8.56	o 1295660 
53.32/8.64	o 1295858 
53.32/8.69	o 1296576 
53.80/8.78	o 1298649 
54.33/8.83	o 1300213 
54.33/8.88	o 1301253 
54.93/8.99	o 1303896 
55.79/9.05	o 1322815 
55.79/9.11	o 1325572 
57.04/9.25	o 1326603 
57.52/9.31	o 1330053 
57.52/9.36	o 1350638 
58.87/9.53	o 1357506 
60.25/9.78	o 1360693 
60.91/9.89	o 1361093 
62.45/10.03	o 1361216 
63.08/10.17	o 1363078 
64.42/10.33	o 1364265 
64.42/10.39	o 1364922 
66.52/10.68	o 1365263 
68.68/10.94	o 1366506 
69.41/11.06	o 1369460 
70.80/11.26	o 1372253 
72.91/11.50	o 1372329 
73.66/11.65	o 1375561 
74.22/11.76	o 1375795 
76.61/12.02	o 1376033 
78.11/12.27	o 1377844 
79.40/12.41	o 1378515 
80.13/12.52	o 1379129 
80.67/12.60	o 1396778 
81.44/12.73	o 1398198 
82.07/12.85	o 1398672 
82.77/12.95	o 1401444 
85.95/13.37	o 1409552 
87.26/13.52	o 1409826 
87.71/13.60	o 1416877 
87.71/13.65	o 1433102 
89.19/13.89	o 1433722 
90.84/14.05	o 1434702 
91.41/14.15	o 1435207 
92.92/14.32	o 1435350 
95.23/14.66	o 1436190 
96.80/14.88	o 1436819 
97.49/14.94	o 1437494 
98.12/15.02	o 1439005 
100.32/15.38	o 1439869 
101.69/15.51	o 1440918 
102.42/15.64	o 1443125 
103.01/15.79	o 1448808 
104.33/15.93	o 1451085 
107.16/16.32	o 1451352 
107.82/16.43	o 1452180 
108.60/16.56	o 1452200 
110.15/16.79	o 1460399 
112.36/17.02	o 1462023 
113.05/17.16	o 1462071 
114.35/17.40	o 1462490 
115.75/17.52	o 1467538 
118.78/17.93	o 1469450 
118.78/17.97	o 1473544 
120.17/18.12	o 1473760 
120.80/18.25	o 1474829 
122.19/18.45	o 1475210 
122.77/18.55	o 1479965 
124.34/18.77	o 1480446 
127.58/19.14	o 1480489 
129.68/19.42	o 1489223 
130.34/19.54	o 1489299 
131.02/19.67	o 1489578 
132.39/19.83	o 1492017 
133.01/19.91	o 1499511 
133.78/20.03	o 1499598 
134.48/20.19	o 1507429 
135.95/20.34	o 1507929 
138.08/20.69	o 1507961 
139.46/20.82	o 1509700 
140.15/20.97	o 1509747 
140.79/21.10	o 1510912 
142.19/21.24	o 1511602 
142.76/21.38	o 1512788 
143.46/21.50	o 1513667 
145.78/21.77	o 1514150 
146.28/21.87	o 1518809 
147.07/21.99	o 1519593 
149.39/22.22	o 1524731 
150.93/22.44	o 1526224 
151.60/22.58	o 1528461 
153.89/22.84	o 1528745 
159.41/23.54	o 1528824 
160.06/23.67	o 1530204 
162.34/23.92	o 1536201 
163.02/24.04	o 1537527 
165.91/24.42	o 1539368 
166.39/24.50	o 1543504 
166.85/24.60	o 1548150 
167.64/24.72	o 1548210 
168.30/24.86	o 1554210 
168.95/24.99	o 1557441 
170.46/25.11	o 1558177 
170.46/25.19	o 1563387 
171.74/25.37	o 1564302 
172.20/25.45	o 1567808 
172.73/25.58	o 1567934 
174.14/25.70	o 1568702 
174.91/25.86	o 1569030 
176.28/26.10	o 1569505 
177.73/26.25	o 1574627 
179.80/26.51	o 1575426 
180.51/26.63	o 1576321 
181.21/26.76	o 1577139 
181.97/26.88	o 1579380 
182.71/26.93	o 1584590 
182.71/27.00	o 1598354 
184.76/27.26	o 1600785 
185.41/27.33	o 1604034 
185.92/27.49	o 1604486 
187.23/27.64	o 1605120 
189.38/27.98	o 1605419 
190.23/28.10	o 1606424 
194.05/28.55	o 1607421 
194.73/28.65	o 1607743 
195.53/28.75	o 1608457 
196.91/28.91	o 1610316 
197.67/29.02	o 1614071 
199.14/29.26	o 1615292 
199.90/29.39	o 1615793 
202.17/29.65	o 1619407 
203.62/29.87	o 1620939 
205.14/30.03	o 1623732 
205.76/30.17	o 1624126 
206.94/30.32	o 1627137 
207.59/30.44	o 1627147 
208.33/30.57	o 1627417 
209.05/30.69	o 1627772 
210.56/30.81	o 1629747 
211.28/30.93	o 1632479 
212.07/31.04	o 1635752 
212.80/31.19	o 1636327 
213.32/31.27	o 1637311 
215.42/31.53	o 1637330 
216.00/31.65	o 1649715 
216.74/31.78	o 1649825 
218.08/31.94	o 1653050 
219.71/32.17	o 1655825 
220.33/32.30	o 1657833 
223.49/32.63	o 1658115 
224.25/32.76	o 1660918 
224.85/32.89	o 1661931 
227.91/33.28	o 1662450 
229.21/33.41	o 1663050 
230.68/33.63	o 1664011 
233.04/33.97	o 1664373 
237.78/34.55	o 1665584 
239.25/34.78	o 1666772 
240.78/34.90	o 1668032 
241.60/35.02	o 1668568 
243.11/35.26	o 1669481 
244.43/35.40	o 1669629 
245.18/35.58	o 1670613 
245.73/35.66	o 1676384 
248.82/36.03	o 1676975 
249.48/36.16	o 1677154 
250.01/36.27	o 1677712 
256.41/37.05	o 1679173 
257.13/37.18	o 1679608 
259.32/37.40	o 1681354 
260.09/37.50	o 1681776 
262.45/37.86	o 1683064 
263.20/37.98	o 1684072 
266.36/38.36	o 1685421 
268.38/38.62	o 1686581 
269.00/38.74	o 1687672 
269.76/38.86	o 1689910 
270.41/38.98	o 1689952 
271.21/39.10	o 1691666 
272.67/39.22	o 1691777 
273.45/39.34	o 1692964 
274.16/39.49	o 1693693 
277.15/39.80	o 1697269 
279.55/40.12	o 1697648 
291.42/41.67	o 1698513 
295.39/42.11	o 1707768 
298.48/42.57	o 1708046 
302.17/44.13	o 1708217 
305.68/45.24	o 1712533 
308.56/46.52	o 1712989 
310.27/46.86	o 1713566 
310.61/46.98	o 1714700 
313.72/47.32	o 1715684 
316.89/47.78	o 1716295 
320.02/48.17	o 1719742 
322.90/48.51	o 1720112 
329.83/49.40	o 1721971 
330.57/49.58	o 1724934 
332.86/49.82	o 1725039 
332.86/49.88	o 1729351 
335.10/50.12	o 1731137 
335.71/50.23	o 1731604 
345.25/51.43	o 1735051 
349.23/52.00	o 1736871 
353.29/52.52	o 1737421 
353.94/52.63	o 1739656 
354.72/52.78	o 1740643 
365.63/54.11	o 1740707 
367.11/54.37	o 1741691 
367.74/54.49	o 1742240 
369.32/54.61	o 1742308 
370.02/54.77	o 1744839 
371.37/55.00	o 1745433 
372.97/55.16	o 1746297 
375.01/55.41	o 1747912 
375.72/55.53	o 1747919 
376.44/55.65	o 1748354 
377.98/55.87	o 1751600 
379.43/56.01	o 1756553 
381.72/56.39	o 1760539 
383.14/56.51	o 1761757 
383.14/56.56	o 1766069 
387.89/57.12	o 1766325 
388.56/57.24	o 1770265 
389.26/57.39	o 1770269 
391.35/57.63	o 1771033 
394.39/58.08	o 1771111 
399.07/58.63	o 1771709 
401.31/58.91	o 1772415 
403.58/59.27	o 1773781 
404.99/59.49	o 1775640 
408.10/59.86	o 1775937 
411.03/60.21	o 1781206 
418.96/61.24	o 1783401 
419.51/61.38	o 1783760 
420.92/61.54	o 1784227 
422.27/61.78	o 1785841 
424.57/62.10	o 1786308 
434.82/63.38	o 1786670 
446.98/64.95	o 1786689 
449.96/65.32	o 1787453 
454.34/65.95	o 1788271 
459.51/66.69	o 1789967 
461.89/66.90	o 1797619 
466.62/67.55	o 1799363 
467.38/67.68	o 1800347 
491.21/70.62	o 1800905 
495.25/71.18	o 1801445 
496.47/71.40	o 1801457 
498.04/71.55	o 1801825 
503.37/72.23	o 1802122 
507.97/72.81	o 1803284 
508.69/72.96	o 1803364 
509.90/73.11	o 1803714 
510.57/73.22	o 1804286 
512.16/73.45	o 1806680 
512.95/73.58	o 1812669 
514.42/73.71	o 1812891 
515.10/73.85	o 1814654 
515.65/73.99	o 1816016 
517.21/74.12	o 1816685 
517.86/74.25	o 1821895 
522.47/74.85	o 1825033 
523.93/75.07	o 1826017 
525.42/75.29	o 1827022 
530.19/75.86	o 1830500 
532.37/76.17	o 1832286 
532.79/76.28	o 1832753 
534.32/76.42	o 1835888 
535.76/76.64	o 1837407 
538.14/76.96	o 1839193 
558.81/79.57	o 1839739 
560.16/79.71	o 1841027 
593.54/83.96	o 1843997 
596.53/84.31	o 1844984 
604.45/85.35	o 1845968 
621.24/87.58	o 1847384 
627.02/88.34	o 1847630 
632.62/89.07	o 1850685 
640.25/90.04	o 1852047 
650.53/91.36	o 1852139 
652.88/91.68	o 1852880 
658.40/92.36	o 1855632 
660.79/92.68	o 1855636 
662.33/92.82	o 1857563 
663.84/93.04	o 1858030 
666.76/93.41	o 1858703 
669.86/93.88	o 1859017 
672.85/94.24	o 1859021 
673.51/94.39	o 1859491 
675.60/94.64	o 1860309 
696.20/97.22	o 1860996 
724.75/100.80	o 1863439 
742.30/103.04	o 1864042 
743.81/103.27	o 1864422 
749.39/104.00	o 1865743 
755.67/104.72	o 1866430 
771.20/106.81	o 1866677 
783.02/108.31	o 1866846 
789.38/109.19	o 1867264 
795.62/110.01	o 1868563 
798.59/110.35	o 1868815 
805.74/111.24	o 1869799 
806.51/111.38	o 1870486 
896.32/122.65	o 1870626 
906.36/124.00	o 1870894 
913.25/124.83	o 1871464 
913.81/124.98	o 1875016 
914.56/125.08	o 1875506 
919.11/125.65	o 1882373 
920.48/125.87	o 1882840 
921.26/125.99	o 1882899 
922.85/126.14	o 1883218 
927.39/126.75	o 1884278 
929.61/127.10	o 1888728 
931.03/127.25	o 1892940 
940.94/128.51	o 1893995 
941.61/128.66	o 1894211 
942.97/128.89	o 1894730 
946.04/129.22	o 1896175 
947.57/129.46	o 1896921 
948.29/129.60	o 1898157 
955.37/130.44	o 1900477 
959.13/130.91	o 1903465 
1032.04/140.18	o 1904995 
1032.99/140.31	o 1905520 
1037.74/141.01	o 1906207 
1038.48/141.13	o 1906882 
1056.58/143.45	o 1907569 
1059.43/143.81	o 1909577 
1127.74/152.40	o 1911684 
1134.86/153.33	o 1919925 
1136.36/153.59	o 1921959 
1139.38/153.97	o 1923084 
1148.00/155.05	o 1924798 
1251.43/168.16	o 1926399 
1269.05/170.46	o 1926405 
1361.87/182.13	o 1927134 
1382.24/184.76	o 1927441 
1386.01/185.29	o 1928704 
1389.19/185.66	o 1928752 
1390.64/185.89	o 1929947 
1392.17/186.04	o 1930192 
1395.81/186.50	o 1933089 
1398.12/186.85	o 1935097 
1398.91/186.98	o 1942855 
1401.26/187.23	o 1943179 
1401.97/187.35	o 1946585 
1404.97/187.71	o 1949064 
1405.69/187.86	o 1949112 
1406.18/188.00	o 1950096 
1407.72/188.13	o 1950471 
1408.27/188.25	o 1951833 
1409.83/188.48	o 1952254 
1413.76/188.93	o 1952877 
1416.04/189.27	o 1954113 
1419.44/189.72	o 1954159 
1421.71/190.03	o 1954729 
1422.50/190.19	o 1955475 
1427.18/190.77	o 1971345 
1431.00/191.24	o 1972633 
1511.72/201.48	o 1973448 
1516.40/202.04	o 1979221 
1612.90/214.31	o 1980935 
1623.11/215.69	o 1981755 
2150.15/282.23	o 1985493 
2152.32/282.58	o 1987356 
2154.62/282.84	o 1988718 
2823.77/367.49	o 1988819 
2829.23/368.19	o 1994839 
5033.68/646.97	o 1996495 
5042.23/648.05	o 1996814 
5395.06/692.71	o 1997187 
5430.48/697.23	o 2004184 
5568.80/714.79	o 2005218 
5575.75/715.65	o 2009929 
5581.04/716.36	o 2009950 
5582.67/716.63	o 2010566 
5584.01/716.88	o 2011574 
5587.45/717.37	o 2012091 
5591.43/717.90	o 2012558 
5592.47/718.16	o 2014530 
5657.58/726.50	o 2014877 
5661.36/726.99	o 2015882 
5678.16/729.12	o 2024223 
5805.10/745.23	o 2024331 
6501.17/833.45	o 2025584 
6508.21/834.34	o 2025779 
8959.42/1144.58	o 2026098 
8961.74/1144.88	o 2026844 
10706.87/1365.24	o 2026866 
10713.37/1366.06	o 2027333 
10713.93/1366.19	o 2028020 
10719.32/1366.85	o 2034702 
10736.89/1369.08	o 2035081 
10741.45/1369.68	o 2035600 
10754.93/1371.48	o 2036346 
12053.35/1536.09	o 2036862 
13687.49/1742.72	o 2037375 
13689.07/1742.97	o 2037684 
13696.68/1743.90	o 2038371 
13779.42/1754.46	o 2042460 
17636.66/2242.20	o 2043084 
19835.14/2520.07	s SATISFIABLE
19835.14/2520.07	v <instantiation>
19835.14/2520.07	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>
19835.14/2520.07	v 	<values>0 1 0 0 0 1 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 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 1 0 0 0 0 0 1 0 1 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 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 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 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 1 0 1 0 0 0 0 0 0 0 0 0 0 1 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 0 0 1 0 0 0 0 0 1 1 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 1 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 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 1 1 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 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 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 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 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 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 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 1 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 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 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 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 1 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 0 0 0 1 0 0 0 1 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 0 0 0 0 0 0 0 1 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 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 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 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 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 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 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 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 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 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 1 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 1 0 0 0 1 0 1 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 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 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 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 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 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 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 1 0 0 0 0 0 0 0 0 0 0 1 1 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 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 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 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 1 0 </values>
19835.14/2520.07	v </instantiation>
19835.14/2520.07	c Unexpected resolution interruption!

Verifier Data 

OK	2043084

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 (11975 MiB free)
  memory of node 1: 16384 MiB (11544 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404782-1569011287/watcher-4404782-1569011287 -o /var/tmp/evaluation-result-4404782-1569011287/solver-4404782-1569011287 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569004999-28844 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 789818878 HOME/instance-4404782-1569011287.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
Current StackSize limit: 8192 KiB

solver pid=30358, runsolver pid=30355

[startup+0.100138 s]*
/proc/loadavg: 7.74 8.19 8.25 3/212 30379
/proc/meminfo: memFree=24069512/32770624 swapFree=66993732/67108860
[pid=30358] ppid=30355 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/30358/stat : 30358 (xcsp3-exec) S 30355 30358 28817 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477396515 115843072 362 33554432000 4194304 5098028 140725053821296 140725053819400 140696607453820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37961728 140725053829970 140725053830229 140725053830229 140725053833158 0
/proc/30358/statm: 28282 362 304 221 0 87 0
[pid=30360] ppid=30358 vsize=28227396 memory=29180 CPUtime=0.12 cores=0-7
/proc/30360/stat : 30360 (java) S 30358 30358 28817 0 -1 1077944320 5689 0 0 0 11 1 0 0 20 0 20 0 477396515 28904853504 7295 33554432000 4194304 4196468 140729017448544 140729017431088 140694254931703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
/proc/30360/statm: 7056849 7295 3156 1 0 7019032 0
[pid=30360/tid=30361] ppid=30358 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/30360/task/30361/stat : 30361 (java) R 30358 30358 28817 0 -1 4202560 3606 0 0 0 8 1 0 0 20 0 20 0 477396515 28904853504 7295 33554432000 4194304 4196468 140729017448544 140694259164496 140694254943638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30362] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30362/stat : 30362 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477396516 28904853504 7295 33554432000 4194304 4196468 140729017448544 140694207552656 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30363] ppid=30358 vsize=28227396 memory=139944816909832 CPUtime=0 cores=0-7
/proc/30360/task/30363/stat : 30363 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477396516 28904853504 7295 33554432000 4194304 4196468 140729017448544 140694206499856 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30364] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30364/stat : 30364 (java) S 30358 30358 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477396516 28904853504 7295 33554432000 4194304 4196468 140729017448544 140694205447056 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30365] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30365/stat : 30365 (java) S 30358 30358 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477396516 28904853504 7295 33554432000 4194304 4196468 140729017448544 140694204394256 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30366] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30366/stat : 30366 (java) S 30358 30358 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477396516 28904853504 7295 33554432000 4194304 4196468 140729017448544 140693802441360 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30367] ppid=30358 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30360/task/30367/stat : 30367 (java) S 30358 30358 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477396516 28904853504 7295 33554432000 4194304 4196468 140729017448544 140693801388560 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30368] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30368/stat : 30368 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477396516 28904853504 7295 33554432000 4194304 4196468 140729017448544 140693800335760 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30369] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30369/stat : 30369 (java) S 30358 30358 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477396516 28904853504 7295 33554432000 4194304 4196468 140729017448544 140693799282960 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30370] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30370/stat : 30370 (java) S 30358 30358 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477396518 28904853504 7295 33554432000 4194304 4196468 140729017448544 140693757918064 140694254942850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30371] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30371/stat : 30371 (java) S 30358 30358 28817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477396518 28904853504 7295 33554432000 4194304 4196468 140729017448544 140693756864032 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30372] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30372/stat : 30372 (java) S 30358 30358 28817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477396518 28904853504 7295 33554432000 4194304 4196468 140729017448544 140693755811184 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30373] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30373/stat : 30373 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477396521 28904853504 7295 33554432000 4194304 4196468 140729017448544 140693754759504 140694254950299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30374] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30374/stat : 30374 (java) S 30358 30358 28817 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 20 0 477396521 28904853504 7295 33554432000 4194304 4196468 140729017448544 140693753706864 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30375] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30375/stat : 30375 (java) S 30358 30358 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477396521 28904853504 7295 33554432000 4194304 4196468 140729017448544 140693752654064 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30376] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30376/stat : 30376 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477396521 28904853504 7295 33554432000 4194304 4196468 140729017448544 140693751601264 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30377] ppid=30358 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/30360/task/30377/stat : 30377 (java) R 30358 30358 28817 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 20 0 477396521 28904853504 7295 33554432000 4194304 4196468 140729017448544 140693750548464 140694233580899 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30378] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30378/stat : 30378 (java) S 30358 30358 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477396521 28904853504 7295 33554432000 4194304 4196468 140729017448544 140693749496928 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30379] ppid=30358 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30360/task/30379/stat : 30379 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477396521 28904853504 7295 33554432000 4194304 4196468 140729017448544 140693748444208 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30628 KiB

[startup+0.21024 s]*
/proc/loadavg: 7.74 8.19 8.25 2/212 30379
/proc/meminfo: memFree=24057404/32770624 swapFree=66993732/67108860
[pid=30358] ppid=30355 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/30358/stat : 30358 (xcsp3-exec) S 30355 30358 28817 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477396515 115843072 362 33554432000 4194304 5098028 140725053821296 140725053819400 140696607453820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37961728 140725053829970 140725053830229 140725053830229 140725053833158 0
/proc/30358/statm: 28282 362 304 221 0 87 0
[pid=30360] ppid=30358 vsize=28227396 memory=40880 CPUtime=0.33 cores=0-7
/proc/30360/stat : 30360 (java) S 30358 30358 28817 0 -1 1077944320 9397 0 0 0 31 2 0 0 20 0 20 0 477396515 28904853504 10220 33554432000 4194304 4196468 140729017448544 140729017431088 140694254931703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
/proc/30360/statm: 7056849 10220 3316 1 0 7019032 0
[pid=30360/tid=30361] ppid=30358 vsize=28227396 memory=8316850467074736180 CPUtime=0.2 cores=0-7
/proc/30360/task/30361/stat : 30361 (java) R 30358 30358 28817 0 -1 4202560 6619 0 0 0 18 2 0 0 20 0 20 0 477396515 28904853504 10220 33554432000 4194304 4196468 140729017448544 140694259164432 140694239012190 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30362] ppid=30358 vsize=28227396 memory=9329 CPUtime=0 cores=0-7
/proc/30360/task/30362/stat : 30362 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477396516 28904853504 10220 33554432000 4194304 4196468 140729017448544 140694207552656 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30363] ppid=30358 vsize=28227396 memory=288370320968595072 CPUtime=0 cores=0-7
/proc/30360/task/30363/stat : 30363 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477396516 28904853504 10220 33554432000 4194304 4196468 140729017448544 140694206499856 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30364] ppid=30358 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30360/task/30364/stat : 30364 (java) S 30358 30358 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477396516 28904853504 10220 33554432000 4194304 4196468 140729017448544 140694205447056 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30365] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30365/stat : 30365 (java) S 30358 30358 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477396516 28904853504 10220 33554432000 4194304 4196468 140729017448544 140694204394256 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30366] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30366/stat : 30366 (java) S 30358 30358 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477396516 28904853504 10220 33554432000 4194304 4196468 140729017448544 140693802441360 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30367] ppid=30358 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30360/task/30367/stat : 30367 (java) S 30358 30358 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477396516 28904853504 10220 33554432000 4194304 4196468 140729017448544 140693801388560 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30368] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30368/stat : 30368 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477396516 28904853504 10220 33554432000 4194304 4196468 140729017448544 140693800335760 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30369] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30369/stat : 30369 (java) S 30358 30358 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477396516 28904853504 10220 33554432000 4194304 4196468 140729017448544 140693799282960 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30370] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30370/stat : 30370 (java) S 30358 30358 28817 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477396518 28904853504 10220 33554432000 4194304 4196468 140729017448544 140693757918064 140694254942850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30371] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30371/stat : 30371 (java) S 30358 30358 28817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477396518 28904853504 10220 33554432000 4194304 4196468 140729017448544 140693756864032 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30372] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30372/stat : 30372 (java) S 30358 30358 28817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477396518 28904853504 10220 33554432000 4194304 4196468 140729017448544 140693755811184 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30373] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30373/stat : 30373 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477396521 28904853504 10220 33554432000 4194304 4196468 140729017448544 140693754759504 140694254950299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30374] ppid=30358 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30360/task/30374/stat : 30374 (java) S 30358 30358 28817 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 20 0 477396521 28904853504 10220 33554432000 4194304 4196468 140729017448544 140693753706864 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30375] ppid=30358 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/30360/task/30375/stat : 30375 (java) S 30358 30358 28817 0 -1 1077944384 85 0 0 0 2 0 0 0 20 0 20 0 477396521 28904853504 10220 33554432000 4194304 4196468 140729017448544 140693752654064 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30376] ppid=30358 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/30360/task/30376/stat : 30376 (java) S 30358 30358 28817 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 20 0 477396521 28904853504 10220 33554432000 4194304 4196468 140729017448544 140693751601264 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30377] ppid=30358 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/30360/task/30377/stat : 30377 (java) S 30358 30358 28817 0 -1 1077944384 799 0 0 0 8 0 0 0 20 0 20 0 477396521 28904853504 10220 33554432000 4194304 4196468 140729017448544 140693750548464 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30378] ppid=30358 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30378/stat : 30378 (java) S 30358 30358 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477396521 28904853504 10220 33554432000 4194304 4196468 140729017448544 140693749496928 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30379] ppid=30358 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30360/task/30379/stat : 30379 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477396521 28904853504 10220 33554432000 4194304 4196468 140729017448544 140693748444208 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42328 KiB

[startup+0.309678 s]*
/proc/loadavg: 7.74 8.19 8.25 3/212 30379
/proc/meminfo: memFree=24052532/32770624 swapFree=66993732/67108860
[pid=30358] ppid=30355 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/30358/stat : 30358 (xcsp3-exec) S 30355 30358 28817 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477396515 115843072 362 33554432000 4194304 5098028 140725053821296 140725053819400 140696607453820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37961728 140725053829970 140725053830229 140725053830229 140725053833158 0
/proc/30358/statm: 28282 362 304 221 0 87 0
[pid=30360] ppid=30358 vsize=28231652 memory=49572 CPUtime=0.52 cores=0-7
/proc/30360/stat : 30360 (java) S 30358 30358 28817 0 -1 1077944320 10758 0 0 0 49 3 0 0 20 0 20 0 477396515 28909211648 12393 33554432000 4194304 4196468 140729017448544 140729017431088 140694254931703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
/proc/30360/statm: 7057913 12393 3352 1 0 7019032 0
[pid=30360/tid=30361] ppid=30358 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/30360/task/30361/stat : 30361 (java) R 30358 30358 28817 0 -1 4202560 7709 0 0 0 27 2 0 0 20 0 20 0 477396515 28909211648 12393 33554432000 4194304 4196468 140729017448544 140694259162816 140694239012190 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30362] ppid=30358 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30362/stat : 30362 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477396516 28909211648 12393 33554432000 4194304 4196468 140729017448544 140694207552656 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30363] ppid=30358 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30363/stat : 30363 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477396516 28909211648 12393 33554432000 4194304 4196468 140729017448544 140694206499856 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30364] ppid=30358 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30364/stat : 30364 (java) S 30358 30358 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477396516 28909211648 12393 33554432000 4194304 4196468 140729017448544 140694205447056 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30365] ppid=30358 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30365/stat : 30365 (java) S 30358 30358 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477396516 28909211648 12393 33554432000 4194304 4196468 140729017448544 140694204394256 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30366] ppid=30358 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30366/stat : 30366 (java) S 30358 30358 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477396516 28909211648 12393 33554432000 4194304 4196468 140729017448544 140693802441360 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30367] ppid=30358 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30367/stat : 30367 (java) S 30358 30358 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477396516 28909211648 12393 33554432000 4194304 4196468 140729017448544 140693801388560 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30368] ppid=30358 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30368/stat : 30368 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477396516 28909211648 12393 33554432000 4194304 4196468 140729017448544 140693800335760 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30369] ppid=30358 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30369/stat : 30369 (java) S 30358 30358 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477396516 28909211648 12393 33554432000 4194304 4196468 140729017448544 140693799282960 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30370] ppid=30358 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30370/stat : 30370 (java) S 30358 30358 28817 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477396518 28909211648 12393 33554432000 4194304 4196468 140729017448544 140693757918064 140694254942850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30371] ppid=30358 vsize=28231652 memory=279889328676224 CPUtime=0 cores=0-7
/proc/30360/task/30371/stat : 30371 (java) S 30358 30358 28817 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477396518 28909211648 12393 33554432000 4194304 4196468 140729017448544 140693756864032 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30372] ppid=30358 vsize=28231652 memory=279889328680832 CPUtime=0 cores=0-7
/proc/30360/task/30372/stat : 30372 (java) S 30358 30358 28817 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477396518 28909211648 12393 33554432000 4194304 4196468 140729017448544 140693755811184 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30373] ppid=30358 vsize=28231652 memory=279889328685440 CPUtime=0 cores=0-7
/proc/30360/task/30373/stat : 30373 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477396521 28909211648 12393 33554432000 4194304 4196468 140729017448544 140693754759504 140694254950299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30374] ppid=30358 vsize=28231652 memory=279889328690048 CPUtime=0.01 cores=0-7
/proc/30360/task/30374/stat : 30374 (java) S 30358 30358 28817 0 -1 1077944384 519 0 0 0 1 0 0 0 20 0 20 0 477396521 28909211648 12393 33554432000 4194304 4196468 140729017448544 140693753706864 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30375] ppid=30358 vsize=28231652 memory=279889328694656 CPUtime=0.02 cores=0-7
/proc/30360/task/30375/stat : 30375 (java) S 30358 30358 28817 0 -1 1077944384 94 0 0 0 2 0 0 0 20 0 20 0 477396521 28909211648 12393 33554432000 4194304 4196468 140729017448544 140693752654064 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30376] ppid=30358 vsize=28231652 memory=279889328699264 CPUtime=0.03 cores=0-7
/proc/30360/task/30376/stat : 30376 (java) R 30358 30358 28817 0 -1 4202560 166 0 0 0 3 0 0 0 20 0 20 0 477396521 28909211648 12393 33554432000 4194304 4196468 140729017448544 140693751599664 140694235632000 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30377] ppid=30358 vsize=28231652 memory=279889328703872 CPUtime=0.13 cores=0-7
/proc/30360/task/30377/stat : 30377 (java) S 30358 30358 28817 0 -1 1077944384 969 0 0 0 13 0 0 0 20 0 20 0 477396521 28909211648 12393 33554432000 4194304 4196468 140729017448544 140693750548464 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30378] ppid=30358 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30378/stat : 30378 (java) S 30358 30358 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477396521 28909211648 12393 33554432000 4194304 4196468 140729017448544 140693749496928 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30379] ppid=30358 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/30360/task/30379/stat : 30379 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477396521 28909211648 12393 33554432000 4194304 4196468 140729017448544 140693748444208 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51020 KiB

[startup+0.70092 s]
/proc/loadavg: 7.74 8.19 8.25 5/212 30379
/proc/meminfo: memFree=24027176/32770624 swapFree=66993732/67108860
[pid=30358] ppid=30355 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/30358/stat : 30358 (xcsp3-exec) S 30355 30358 28817 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477396515 115843072 362 33554432000 4194304 5098028 140725053821296 140725053819400 140696607453820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37961728 140725053829970 140725053830229 140725053830229 140725053833158 0
/proc/30358/statm: 28282 362 304 221 0 87 0
[pid=30360] ppid=30358 vsize=28233776 memory=114480 CPUtime=1.99 cores=0-7
/proc/30360/stat : 30360 (java) S 30358 30358 28817 0 -1 1077944320 17183 0 0 0 193 6 0 0 20 0 20 0 477396515 28911386624 28620 33554432000 4194304 4196468 140729017448544 140729017431088 140694254931703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
/proc/30360/statm: 7058444 28620 3466 1 0 7019544 0
[pid=30360/tid=30361] ppid=30358 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/30360/task/30361/stat : 30361 (java) R 30358 30358 28817 0 -1 4202560 9308 0 0 0 64 4 0 0 20 0 20 0 477396515 28911386624 28620 33554432000 4194304 4196468 140729017448544 140694259169856 140693884483925 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30362] ppid=30358 vsize=28233776 memory=139944664540032 CPUtime=0 cores=0-7
/proc/30360/task/30362/stat : 30362 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477396516 28911386624 28620 33554432000 4194304 4196468 140729017448544 140694207552656 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30363] ppid=30358 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/30360/task/30363/stat : 30363 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477396516 28911386624 28620 33554432000 4194304 4196468 140729017448544 140694206499856 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30364] ppid=30358 vsize=28233776 memory=1228 CPUtime=0 cores=0-7
/proc/30360/task/30364/stat : 30364 (java) S 30358 30358 28817 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477396516 28911386624 28620 33554432000 4194304 4196468 140729017448544 140694205447056 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0

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

[pid=30360/tid=1944] ppid=30358 vsize=28769364 memory=1448 CPUtime=195.92 cores=0-7
/proc/30360/task/1944/stat : 1944 (java) R 30358 30358 28817 0 -1 4202560 2777 0 0 0 19588 4 0 0 20 0 28 0 477620735 29459828736 370625 33554432000 4194304 4196468 140729017448544 140693737120640 140693890679097 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
Current children cumulated CPU time: 19219.1 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 1483948 KiB

[startup+2502.3 s]
/proc/loadavg: 8.23 8.15 8.16 10/219 1960
/proc/meminfo: memFree=22574752/32770624 swapFree=66993776/67108860
[pid=30358] ppid=30355 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/30358/stat : 30358 (xcsp3-exec) S 30355 30358 28817 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477396515 115843072 362 33554432000 4194304 5098028 140725053821296 140725053819400 140696607453820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37961728 140725053829970 140725053830229 140725053830229 140725053833158 0
/proc/30358/statm: 28282 362 304 221 0 87 0
[pid=30360] ppid=30358 vsize=28769364 memory=1512924 CPUtime=19694.9 cores=0-7
/proc/30360/stat : 30360 (java) S 30358 30358 28817 0 -1 1077944320 1922502 0 0 0 1967208 2282 0 0 20 0 28 0 477396515 29459828736 378231 33554432000 4194304 4196468 140729017448544 140729017431088 140694254931703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
/proc/30360/statm: 7192341 378231 3542 1 0 7153441 0
[pid=30360/tid=30361] ppid=30358 vsize=28769364 memory=1389752 CPUtime=1.37 cores=0-7
/proc/30360/task/30361/stat : 30361 (java) S 30358 30358 28817 0 -1 1077944384 18697 0 0 0 128 9 0 0 20 0 28 0 477396515 29459828736 378231 33554432000 4194304 4196468 140729017448544 140694259172416 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30362] ppid=30358 vsize=28769364 memory=1552920 CPUtime=13.95 cores=0-7
/proc/30360/task/30362/stat : 30362 (java) S 30358 30358 28817 0 -1 1077944384 89232 0 0 0 1333 62 0 0 20 0 28 0 477396516 29459828736 378231 33554432000 4194304 4196468 140729017448544 140694207552656 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30363] ppid=30358 vsize=28769364 memory=1895428 CPUtime=13.94 cores=0-7
/proc/30360/task/30363/stat : 30363 (java) S 30358 30358 28817 0 -1 1077944384 94294 0 0 0 1328 66 0 0 20 0 28 0 477396516 29459828736 378231 33554432000 4194304 4196468 140729017448544 140694206499856 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30364] ppid=30358 vsize=28769364 memory=1896964 CPUtime=13.97 cores=0-7
/proc/30360/task/30364/stat : 30364 (java) S 30358 30358 28817 0 -1 1077944384 101018 0 0 0 1337 60 0 0 20 0 28 0 477396516 29459828736 378231 33554432000 4194304 4196468 140729017448544 140694205447056 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30365] ppid=30358 vsize=28769364 memory=1900008 CPUtime=13.93 cores=0-7
/proc/30360/task/30365/stat : 30365 (java) S 30358 30358 28817 0 -1 1077944384 110024 0 0 0 1328 65 0 0 20 0 28 0 477396516 29459828736 378231 33554432000 4194304 4196468 140729017448544 140694204394256 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30366] ppid=30358 vsize=28769364 memory=2020872 CPUtime=14.01 cores=0-7
/proc/30360/task/30366/stat : 30366 (java) S 30358 30358 28817 0 -1 1077944384 93346 0 0 0 1340 61 0 0 20 0 28 0 477396516 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693802441360 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30367] ppid=30358 vsize=28769364 memory=2021900 CPUtime=13.99 cores=0-7
/proc/30360/task/30367/stat : 30367 (java) S 30358 30358 28817 0 -1 1077944384 88995 0 0 0 1332 67 0 0 20 0 28 0 477396516 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693801388560 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30368] ppid=30358 vsize=28769364 memory=2024968 CPUtime=13.91 cores=0-7
/proc/30360/task/30368/stat : 30368 (java) S 30358 30358 28817 0 -1 1077944384 88345 0 0 0 1330 61 0 0 20 0 28 0 477396516 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693800335760 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30369] ppid=30358 vsize=28769364 memory=1308320 CPUtime=13.93 cores=0-7
/proc/30360/task/30369/stat : 30369 (java) S 30358 30358 28817 0 -1 1077944384 83984 0 0 0 1325 68 0 0 20 0 28 0 477396516 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693799282960 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30370] ppid=30358 vsize=28769364 memory=1307292 CPUtime=18.97 cores=0-7
/proc/30360/task/30370/stat : 30370 (java) S 30358 30358 28817 0 -1 1077944384 449559 0 0 0 829 1068 0 0 20 0 28 0 477396518 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693757918064 140694254942850 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30371] ppid=30358 vsize=28769364 memory=1159212 CPUtime=0 cores=0-7
/proc/30360/task/30371/stat : 30371 (java) S 30358 30358 28817 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 477396518 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693756864096 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30372] ppid=30358 vsize=28769364 memory=1273288 CPUtime=0 cores=0-7
/proc/30360/task/30372/stat : 30372 (java) S 30358 30358 28817 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 477396518 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693755811200 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30373] ppid=30358 vsize=28769364 memory=1510192 CPUtime=0 cores=0-7
/proc/30360/task/30373/stat : 30373 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477396521 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693754759504 140694254950299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30374] ppid=30358 vsize=28769364 memory=1518880 CPUtime=3.31 cores=0-7
/proc/30360/task/30374/stat : 30374 (java) S 30358 30358 28817 0 -1 1077944384 14319 0 0 0 329 2 0 0 20 0 28 0 477396521 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693753706864 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30375] ppid=30358 vsize=28769364 memory=1512924 CPUtime=2.54 cores=0-7
/proc/30360/task/30375/stat : 30375 (java) S 30358 30358 28817 0 -1 1077944384 14624 0 0 0 250 4 0 0 20 0 28 0 477396521 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693752654064 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30376] ppid=30358 vsize=28769364 memory=1512924 CPUtime=3.06 cores=0-7
/proc/30360/task/30376/stat : 30376 (java) S 30358 30358 28817 0 -1 1077944384 11424 0 0 0 304 2 0 0 20 0 28 0 477396521 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693751601264 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30377] ppid=30358 vsize=28769364 memory=1512924 CPUtime=0.98 cores=0-7
/proc/30360/task/30377/stat : 30377 (java) S 30358 30358 28817 0 -1 1077944384 11552 0 0 0 95 3 0 0 20 0 28 0 477396521 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693750548464 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30378] ppid=30358 vsize=28769364 memory=1448 CPUtime=0 cores=0-7
/proc/30360/task/30378/stat : 30378 (java) S 30358 30358 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477396521 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693749496928 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30379] ppid=30358 vsize=28769364 memory=3608 CPUtime=0.84 cores=0-7
/proc/30360/task/30379/stat : 30379 (java) S 30358 30358 28817 0 -1 1077944384 12188 0 0 0 51 33 0 0 20 0 28 0 477396521 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693748444208 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=1937] ppid=30358 vsize=28769364 memory=1448 CPUtime=254.12 cores=0-7
/proc/30360/task/1937/stat : 1937 (java) R 30358 30358 28817 0 -1 4202560 7476 0 0 0 25403 9 0 0 20 0 28 0 477620735 29459828736 378231 33554432000 4194304 4196468 140729017448544 140692872318216 140693890967143 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=1938] ppid=30358 vsize=28769364 memory=2004 CPUtime=254.4 cores=0-7
/proc/30360/task/1938/stat : 1938 (java) R 30358 30358 28817 0 -1 4202560 5086 0 0 0 25433 7 0 0 20 0 28 0 477620735 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693739225912 140693890296464 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=1939] ppid=30358 vsize=28769364 memory=1428 CPUtime=255.58 cores=0-7
/proc/30360/task/1939/stat : 1939 (java) R 30358 30358 28817 0 -1 4202560 6519 0 0 0 25554 4 0 0 20 0 28 0 477620735 29459828736 378231 33554432000 4194304 4196468 140729017448544 140692875468608 140693890967323 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=1940] ppid=30358 vsize=28769364 memory=6791534058613427641 CPUtime=254.77 cores=0-7
/proc/30360/task/1940/stat : 1940 (java) R 30358 30358 28817 0 -1 4202560 19223 0 0 0 25462 15 0 0 20 0 28 0 477620735 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693735014584 140693892864357 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=1941] ppid=30358 vsize=28769364 memory=1398722017469774279 CPUtime=255.74 cores=0-7
/proc/30360/task/1941/stat : 1941 (java) R 30358 30358 28817 0 -1 4202560 24522 0 0 0 25561 13 0 0 20 0 28 0 477620735 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693738172112 140693892724281 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=1942] ppid=30358 vsize=28769364 memory=2672 CPUtime=255.64 cores=0-7
/proc/30360/task/1942/stat : 1942 (java) R 30358 30358 28817 0 -1 4202560 21628 0 0 0 25552 12 0 0 20 0 28 0 477620735 29459828736 378231 33554432000 4194304 4196468 140729017448544 140692876521208 140693892724400 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=1943] ppid=30358 vsize=28769364 memory=1440 CPUtime=256.9 cores=0-7
/proc/30360/task/1943/stat : 1943 (java) R 30358 30358 28817 0 -1 4202560 30177 0 0 0 25664 26 0 0 20 0 28 0 477620735 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693736070576 140693892593885 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=1944] ppid=30358 vsize=28769364 memory=1448 CPUtime=255.04 cores=0-7
/proc/30360/task/1944/stat : 1944 (java) R 30358 30358 28817 0 -1 4202560 5233 0 0 0 25496 8 0 0 20 0 28 0 477620735 29459828736 378231 33554432000 4194304 4196468 140729017448544 140693737120776 140693891588473 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
Current children cumulated CPU time: 19694.9 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 1514372 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.38 8.19 8.17 9/219 1960
/proc/meminfo: memFree=22559416/32770624 swapFree=66993776/67108860
[pid=30358] ppid=30355 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/30358/stat : 30358 (xcsp3-exec) S 30355 30358 28817 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477396515 115843072 362 33554432000 4194304 5098028 140725053821296 140725053819400 140696607453820 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37961728 140725053829970 140725053830229 140725053830229 140725053833158 0
/proc/30358/statm: 28282 362 304 221 0 87 0
[pid=30360] ppid=30358 vsize=28769364 memory=1527256 CPUtime=19835.1 cores=0-7
/proc/30360/stat : 30360 (java) S 30358 30358 28817 0 -1 1077944320 1930509 0 0 0 1981218 2296 0 0 20 0 28 0 477396515 29459828736 381814 33554432000 4194304 4196468 140729017448544 140729017431088 140694254931703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
/proc/30360/statm: 7192341 381814 3542 1 0 7153441 0
[pid=30360/tid=30361] ppid=30358 vsize=28769364 memory=1398722017469774279 CPUtime=1.37 cores=0-7
/proc/30360/task/30361/stat : 30361 (java) S 30358 30358 28817 0 -1 1077944384 18697 0 0 0 128 9 0 0 20 0 28 0 477396515 29459828736 381814 33554432000 4194304 4196468 140729017448544 140694259172416 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30362] ppid=30358 vsize=28769364 memory=6092 CPUtime=14.05 cores=0-7
/proc/30360/task/30362/stat : 30362 (java) S 30358 30358 28817 0 -1 1077944384 89668 0 0 0 1342 63 0 0 20 0 28 0 477396516 29459828736 381814 33554432000 4194304 4196468 140729017448544 140694207552656 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30363] ppid=30358 vsize=28769364 memory=772 CPUtime=14.03 cores=0-7
/proc/30360/task/30363/stat : 30363 (java) S 30358 30358 28817 0 -1 1077944384 94850 0 0 0 1337 66 0 0 20 0 28 0 477396516 29459828736 381814 33554432000 4194304 4196468 140729017448544 140694206499856 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30364] ppid=30358 vsize=28769364 memory=952 CPUtime=14.08 cores=0-7
/proc/30360/task/30364/stat : 30364 (java) S 30358 30358 28817 0 -1 1077944384 101444 0 0 0 1347 61 0 0 20 0 28 0 477396516 29459828736 381814 33554432000 4194304 4196468 140729017448544 140694205447056 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30365] ppid=30358 vsize=28769364 memory=13992 CPUtime=14.03 cores=0-7
/proc/30360/task/30365/stat : 30365 (java) S 30358 30358 28817 0 -1 1077944384 110376 0 0 0 1338 65 0 0 20 0 28 0 477396516 29459828736 381814 33554432000 4194304 4196468 140729017448544 140694204394256 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30366] ppid=30358 vsize=28769364 memory=24328 CPUtime=14.1 cores=0-7
/proc/30360/task/30366/stat : 30366 (java) S 30358 30358 28817 0 -1 1077944384 93604 0 0 0 1349 61 0 0 20 0 28 0 477396516 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693802441360 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30367] ppid=30358 vsize=28769364 memory=3608 CPUtime=14.07 cores=0-7
/proc/30360/task/30367/stat : 30367 (java) S 30358 30358 28817 0 -1 1077944384 89250 0 0 0 1340 67 0 0 20 0 28 0 477396516 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693801388560 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30368] ppid=30358 vsize=28769364 memory=46080 CPUtime=14.02 cores=0-7
/proc/30360/task/30368/stat : 30368 (java) S 30358 30358 28817 0 -1 1077944384 88505 0 0 0 1340 62 0 0 20 0 28 0 477396516 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693800335760 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30369] ppid=30358 vsize=28769364 memory=984 CPUtime=14.03 cores=0-7
/proc/30360/task/30369/stat : 30369 (java) S 30358 30358 28817 0 -1 1077944384 84246 0 0 0 1335 68 0 0 20 0 28 0 477396516 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693799282960 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30370] ppid=30358 vsize=28769364 memory=2004 CPUtime=19.11 cores=0-7
/proc/30360/task/30370/stat : 30370 (java) S 30358 30358 28817 0 -1 1077944384 452003 0 0 0 834 1077 0 0 20 0 28 0 477396518 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693757918064 140694254942850 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30371] ppid=30358 vsize=28769364 memory=1428 CPUtime=0 cores=0-7
/proc/30360/task/30371/stat : 30371 (java) S 30358 30358 28817 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 477396518 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693756864096 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30372] ppid=30358 vsize=28769364 memory=1060 CPUtime=0 cores=0-7
/proc/30360/task/30372/stat : 30372 (java) S 30358 30358 28817 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 477396518 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693755811200 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30373] ppid=30358 vsize=28769364 memory=740 CPUtime=0 cores=0-7
/proc/30360/task/30373/stat : 30373 (java) S 30358 30358 28817 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477396521 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693754759504 140694254950299 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30374] ppid=30358 vsize=28769364 memory=1228 CPUtime=3.31 cores=0-7
/proc/30360/task/30374/stat : 30374 (java) S 30358 30358 28817 0 -1 1077944384 14323 0 0 0 329 2 0 0 20 0 28 0 477396521 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693753706864 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30375] ppid=30358 vsize=28769364 memory=9520 CPUtime=2.54 cores=0-7
/proc/30360/task/30375/stat : 30375 (java) S 30358 30358 28817 0 -1 1077944384 14628 0 0 0 250 4 0 0 20 0 28 0 477396521 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693752654064 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30376] ppid=30358 vsize=28769364 memory=1448 CPUtime=3.06 cores=0-7
/proc/30360/task/30376/stat : 30376 (java) S 30358 30358 28817 0 -1 1077944384 11428 0 0 0 304 2 0 0 20 0 28 0 477396521 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693751601264 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30377] ppid=30358 vsize=28769364 memory=4076 CPUtime=0.98 cores=0-7
/proc/30360/task/30377/stat : 30377 (java) S 30358 30358 28817 0 -1 1077944384 11556 0 0 0 95 3 0 0 20 0 28 0 477396521 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693750548464 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30378] ppid=30358 vsize=28769364 memory=2836 CPUtime=0 cores=0-7
/proc/30360/task/30378/stat : 30378 (java) S 30358 30358 28817 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477396521 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693749496928 140694254941909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=30379] ppid=30358 vsize=28769364 memory=1540 CPUtime=0.84 cores=0-7
/proc/30360/task/30379/stat : 30379 (java) S 30358 30358 28817 0 -1 1077944384 12201 0 0 0 51 33 0 0 20 0 28 0 477396521 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693748444208 140694254942850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=1937] ppid=30358 vsize=28769364 memory=1732 CPUtime=271.56 cores=0-7
/proc/30360/task/1937/stat : 1937 (java) R 30358 30358 28817 0 -1 4202560 7709 0 0 0 27147 9 0 0 20 0 28 0 477620735 29459828736 381814 33554432000 4194304 4196468 140729017448544 140692872317888 140693891312709 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=1938] ppid=30358 vsize=28769364 memory=6092 CPUtime=271.75 cores=0-7
/proc/30360/task/1938/stat : 1938 (java) R 30358 30358 28817 0 -1 4202560 5230 0 0 0 27168 7 0 0 20 0 28 0 477620735 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693739225864 140693890185642 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=1939] ppid=30358 vsize=28769364 memory=772 CPUtime=273.03 cores=0-7
/proc/30360/task/1939/stat : 1939 (java) R 30358 30358 28817 0 -1 4202560 6712 0 0 0 27298 5 0 0 20 0 28 0 477620735 29459828736 381814 33554432000 4194304 4196468 140729017448544 140692875468392 140693890304348 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=1940] ppid=30358 vsize=28769364 memory=952 CPUtime=272.15 cores=0-7
/proc/30360/task/1940/stat : 1940 (java) R 30358 30358 28817 0 -1 4202560 20468 0 0 0 27199 16 0 0 20 0 28 0 477620735 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693735014264 140693892864188 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=1941] ppid=30358 vsize=28769364 memory=13992 CPUtime=273.18 cores=0-7
/proc/30360/task/1941/stat : 1941 (java) R 30358 30358 28817 0 -1 4202560 24644 0 0 0 27305 13 0 0 20 0 28 0 477620735 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693738172160 140693892724164 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=1942] ppid=30358 vsize=28769364 memory=24328 CPUtime=273.08 cores=0-7
/proc/30360/task/1942/stat : 1942 (java) R 30358 30358 28817 0 -1 4202560 22028 0 0 0 27296 12 0 0 20 0 28 0 477620735 29459828736 381814 33554432000 4194304 4196468 140729017448544 140692876521104 140693891586411 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=1943] ppid=30358 vsize=28769364 memory=2116 CPUtime=274.47 cores=0-7
/proc/30360/task/1943/stat : 1943 (java) R 30358 30358 28817 0 -1 4202560 30524 0 0 0 27420 27 0 0 20 0 28 0 477620735 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693736070576 140693892723735 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
[pid=30360/tid=1944] ppid=30358 vsize=28769364 memory=12028 CPUtime=272.29 cores=0-7
/proc/30360/task/1944/stat : 1944 (java) R 30358 30358 28817 0 -1 4202560 5378 0 0 0 27221 8 0 0 20 0 28 0 477620735 29459828736 381814 33554432000 4194304 4196468 140729017448544 140693737120824 140693891587048 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 35459072 140729017451478 140729017451654 140729017451654 140729017454543 0
Current children cumulated CPU time: 19835.1 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 1528704 KiB

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

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

[startup+2520.11 s]
# the end of solver process 30360 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19812.9 s, system=22.9774 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

Child status: 143
Real time (s): 2520.11
CPU time (s): 19835.8
CPU user time (s): 19812.9
CPU system time (s): 22.9774
CPU usage (%): 787.102
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 2572580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19812.9
system time used= 22.9774
maximum resident set size= 2574668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1931638
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 279122
involuntary context switches= 236999


# summary of solver processes directly reported to runsolver:
#   pid: 30358,30360
#   total CPU time (s): 19835.8
#   total CPU user time (s): 19812.9
#   total CPU system time (s): 22.9774

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.8916 second user time and 28.0322 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-20 22:27:29
IDJOB=4404782
IDBENCH=141154
IDSOLVER=2865
FILE ID=node126/4404782-1569011287
RUNJOBID= node126-1569004999-28844
PBS_JOBID= 21704747
Free space on /var/tmp= 13512 MiB

SOLVER NAME= choco-solver 2019-09-20 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 /var/tmp/evaluation-result-4404782-1569011287/watcher-4404782-1569011287 -o /var/tmp/evaluation-result-4404782-1569011287/solver-4404782-1569011287 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node126-1569004999-28844 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 789818878 HOME/instance-4404782-1569011287.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=789818878

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        24084784 kB
MemAvailable:   31855744 kB
Buffers:           58340 kB
Cached:          7945896 kB
SwapCached:         7300 kB
Active:          3983336 kB
Inactive:        4032008 kB
Active(anon):       4424 kB
Inactive(anon):    45040 kB
Active(file):    3978912 kB
Inactive(file):  3986968 kB
Unevictable:      109452 kB
Mlocked:          109452 kB
SwapTotal:      67108860 kB
SwapFree:       66993732 kB
Dirty:             26188 kB
Writeback:             0 kB
AnonPages:        113584 kB
Mapped:            47964 kB
Shmem:             30124 kB
Slab:             261860 kB
SReclaimable:     233540 kB
SUnreclaim:        28320 kB
KernelStack:        3392 kB
PageTables:         6356 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     507152 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:      130432 kB
DirectMap2M:    33415168 kB

Free space on /var/tmp at the end= 13484 MiB
End job on node126 at 2019-09-20 23:09:30