Trace number 4400282

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-16 parallelSAT (TO)1962874 1861.36 252.12

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 benchmark2400.05
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-4400282-1568720358.xml"  -tl '2016s' -p 8
0.11/0.20	c Choco e747e1e
0.11/0.20	c [HOME/instance-4400282-1568720358.xml, -tl, 2016s, -p, 8]
0.33/0.25	c 8 solvers in parallel
0.33/0.32	c parse instance...
3.20/1.06	c solve instance...
3.70/1.17	o 472042 
4.36/1.29	o 947044 
5.55/1.43	o 949948 
5.55/1.48	o 949949 
6.18/1.58	o 958756 
7.54/1.77	o 959898 
7.96/1.82	o 1024147 
10.45/2.22	o 1024683 
11.13/2.36	o 1026287 
12.65/2.51	o 1031613 
12.65/2.56	o 1043458 
13.03/2.61	o 1052296 
13.03/2.67	o 1055316 
14.46/2.87	o 1055606 
15.99/3.04	o 1074370 
16.50/3.11	o 1077398 
16.50/3.18	o 1081612 
17.03/3.23	o 1081921 
19.28/3.65	o 1082142 
19.28/3.65	o 1135622 
19.28/3.65	o 1162171 
19.28/3.65	o 1162549 
20.00/3.77	o 1162740 
21.58/3.92	o 1165341 
22.29/4.09	o 1166385 
23.54/4.22	o 1166720 
26.69/4.65	o 1167386 
29.03/4.97	o 1175454 
29.72/5.09	o 1175689 
32.42/5.41	o 1176944 
33.08/5.54	o 1177546 
34.56/5.71	o 1180865 
34.56/5.77	o 1186854 
35.03/5.83	o 1204208 
35.58/5.96	o 1213682 
35.82/6.02	o 1214584 
36.46/6.16	o 1215062 
37.55/6.30	o 1215359 
37.55/6.36	o 1216753 
38.01/6.43	o 1218722 
38.01/6.49	o 1219466 
39.08/6.61	o 1223127 
39.08/6.68	o 1225512 
39.31/6.75	o 1230479 
39.72/6.88	o 1231238 
40.07/6.93	o 1232833 
40.07/7.00	o 1234669 
40.70/7.07	o 1235403 
42.08/7.24	o 1259453 
42.08/7.29	o 1260259 
42.28/7.35	o 1260437 
42.69/7.48	o 1266279 
43.34/7.53	o 1269479 
43.93/7.64	o 1269924 
43.93/7.69	o 1271937 
44.73/7.81	o 1272166 
44.73/7.86	o 1273081 
45.18/7.98	o 1279632 
45.62/8.02	o 1280839 
45.62/8.02	o 1285389 
45.62/8.08	o 1297494 
46.74/8.20	o 1299996 
47.38/8.31	o 1307545 
48.04/8.44	o 1310344 
48.79/8.57	o 1319363 
49.36/8.62	o 1319380 
49.99/8.73	o 1319717 
50.57/8.87	o 1325104 
51.04/8.93	o 1326546 
51.04/8.98	o 1332103 
51.29/9.06	o 1334400 
51.77/9.12	o 1335051 
51.77/9.19	o 1336515 
52.30/9.24	o 1339018 
52.87/9.34	o 1343234 
52.87/9.39	o 1354285 
53.21/9.45	o 1357732 
53.74/9.50	o 1360105 
54.39/9.62	o 1360861 
54.39/9.66	o 1367211 
54.91/9.78	o 1367714 
55.43/9.87	o 1368258 
55.94/9.98	o 1368778 
56.53/10.03	o 1376471 
57.18/10.14	o 1376496 
57.18/10.19	o 1379898 
57.54/10.26	o 1379950 
58.22/10.37	o 1380525 
58.66/10.42	o 1382359 
58.66/10.48	o 1387390 
58.86/10.55	o 1387699 
59.41/10.61	o 1388648 
60.13/10.73	o 1389393 
60.90/10.87	o 1391227 
61.46/10.94	o 1393684 
62.62/11.14	o 1396025 
62.62/11.19	o 1396389 
63.47/11.32	o 1396898 
63.47/11.38	o 1399479 
64.58/11.52	o 1400413 
65.22/11.64	o 1402035 
65.73/11.71	o 1418305 
67.24/11.97	o 1420409 
68.51/12.11	o 1427117 
68.51/12.12	o 1430958 
69.19/12.24	o 1432265 
69.96/12.35	o 1433131 
70.26/12.40	o 1434955 
70.26/12.46	o 1438513 
70.81/12.51	o 1439046 
71.46/12.63	o 1440921 
72.00/12.77	o 1441996 
72.76/12.89	o 1442552 
73.56/12.95	o 1443400 
74.07/13.08	o 1443543 
74.42/13.13	o 1447349 
74.98/13.26	o 1448192 
75.80/13.39	o 1449606 
76.16/13.45	o 1450603 
76.64/13.58	o 1450967 
77.96/13.70	o 1455181 
78.73/13.83	o 1459191 
79.52/13.97	o 1468762 
80.37/14.10	o 1468893 
81.23/14.17	o 1476245 
83.32/14.45	o 1478431 
85.52/14.79	o 1478883 
86.89/14.91	o 1481498 
88.45/15.18	o 1482849 
89.94/15.31	o 1483063 
89.94/15.37	o 1484214 
89.94/15.37	o 1484741 
91.17/15.50	o 1487831 
91.17/15.56	o 1489690 
91.94/15.67	o 1492556 
92.38/15.72	o 1493696 
93.80/15.92	o 1495273 
93.80/15.97	o 1498267 
94.30/16.08	o 1499228 
94.81/16.14	o 1499594 
95.33/16.28	o 1502585 
96.04/16.38	o 1503022 
96.57/16.43	o 1504093 
97.23/16.50	o 1504097 
97.97/16.65	o 1504489 
97.97/16.65	o 1506951 
98.74/16.78	o 1506957 
99.51/16.85	o 1507556 
99.51/16.86	o 1509378 
99.90/16.98	o 1512940 
101.55/17.18	o 1513535 
102.38/17.30	o 1518307 
103.16/17.45	o 1519645 
103.57/17.50	o 1524499 
104.19/17.62	o 1525065 
104.19/17.67	o 1525545 
105.39/17.81	o 1527236 
106.10/17.93	o 1527828 
106.10/17.98	o 1529276 
106.56/18.11	o 1529836 
106.99/18.18	o 1529840 
108.25/18.30	o 1531528 
108.25/18.36	o 1532164 
108.71/18.48	o 1532883 
110.18/18.63	o 1535419 
110.18/18.68	o 1537324 
111.38/18.82	o 1538689 
112.05/18.96	o 1540615 
113.35/19.16	o 1540616 
113.90/19.28	o 1541913 
114.39/19.32	o 1543684 
115.00/19.44	o 1545360 
115.00/19.49	o 1546787 
115.95/19.61	o 1547272 
116.66/19.75	o 1549077 
117.13/19.81	o 1551325 
117.82/19.94	o 1551514 
117.82/19.99	o 1552418 
118.69/20.12	o 1553159 
118.69/20.17	o 1554927 
119.07/20.28	o 1555004 
119.67/20.34	o 1558274 
120.14/20.48	o 1561280 
120.86/20.55	o 1566031 
122.36/20.71	o 1573999 
123.65/20.90	o 1576386 
124.49/21.03	o 1576835 
124.49/21.11	o 1582757 
126.35/21.31	o 1582911 
129.43/21.71	o 1583112 
130.63/21.90	o 1583506 
131.45/22.06	o 1586016 
132.90/22.24	o 1586046 
133.37/22.31	o 1591368 
134.57/22.51	o 1591613 
134.57/22.58	o 1591617 
136.04/22.72	o 1591793 
136.76/22.87	o 1594416 
138.39/23.05	o 1603659 
139.54/23.24	o 1612175 
142.37/23.67	o 1612598 
143.87/23.81	o 1615236 
145.47/24.09	o 1618408 
149.37/24.53	o 1620232 
150.64/24.72	o 1621310 
151.28/24.86	o 1622829 
152.04/24.99	o 1622960 
153.70/25.19	o 1623724 
157.20/25.65	o 1624055 
157.83/25.79	o 1624574 
159.38/25.97	o 1630837 
160.73/26.16	o 1631624 
163.52/26.55	o 1632432 
165.00/26.73	o 1632796 
166.20/26.92	o 1636602 
167.43/27.11	o 1637696 
168.13/27.25	o 1638004 
171.28/27.66	o 1639805 
172.69/27.83	o 1640693 
173.24/27.99	o 1645097 
174.84/28.18	o 1647813 
177.37/28.50	o 1648547 
178.15/28.64	o 1649857 
183.63/29.35	o 1650374 
184.37/29.49	o 1650951 
188.19/29.96	o 1653652 
188.79/30.10	o 1653881 
190.03/30.22	o 1658442 
190.66/30.37	o 1658821 
192.21/30.51	o 1659169 
195.32/30.95	o 1660042 
196.81/31.15	o 1660346 
198.02/31.30	o 1661942 
198.77/31.47	o 1664928 
200.25/31.60	o 1665936 
202.55/31.93	o 1666044 
203.16/32.08	o 1669340 
206.04/32.40	o 1670549 
206.79/32.59	o 1670794 
208.86/32.89	o 1671838 
210.45/33.07	o 1673701 
211.76/33.24	o 1674808 
212.33/33.31	o 1677075 
213.88/33.58	o 1677268 
215.39/33.72	o 1681953 
216.17/33.87	o 1682215 
217.78/34.06	o 1690578 
218.33/34.13	o 1698939 
219.02/34.27	o 1698943 
220.58/34.44	o 1699970 
223.56/34.88	o 1700670 
225.16/35.04	o 1708312 
226.57/35.23	o 1711261 
227.12/35.40	o 1716299 
228.59/35.58	o 1717848 
229.95/35.78	o 1721476 
231.30/35.91	o 1723743 
232.09/36.10	o 1726137 
234.85/36.47	o 1727215 
235.95/36.64	o 1727532 
237.17/36.83	o 1727804 
237.72/36.98	o 1728096 
241.61/37.41	o 1728166 
244.76/37.88	o 1730254 
245.27/37.99	o 1730817 
246.59/38.15	o 1735258 
248.73/38.47	o 1737912 
254.19/39.18	o 1738783 
255.65/39.32	o 1739961 
258.02/39.65	o 1740702 
259.33/39.80	o 1745351 
261.55/40.13	o 1750735 
262.08/40.29	o 1754372 
263.60/40.46	o 1755246 
264.95/40.63	o 1757771 
267.17/40.92	o 1758841 
269.51/41.22	o 1759635 
272.65/41.63	o 1760201 
274.86/41.92	o 1760580 
277.87/42.35	o 1761623 
278.59/42.48	o 1764683 
280.15/42.61	o 1764745 
281.71/42.89	o 1765127 
283.36/43.06	o 1766063 
285.40/43.35	o 1767635 
286.85/43.54	o 1768062 
288.01/43.71	o 1770541 
291.20/44.19	o 1773373 
294.72/44.63	o 1776031 
298.43/45.13	o 1778636 
300.56/45.44	o 1779129 
301.98/45.63	o 1779422 
306.54/46.24	o 1782466 
308.72/46.52	o 1784198 
310.03/46.70	o 1784808 
310.78/46.86	o 1784977 
312.39/47.07	o 1787551 
313.58/47.21	o 1788677 
317.54/47.77	o 1791773 
319.08/47.95	o 1791980 
319.72/48.11	o 1792968 
321.02/48.28	o 1793030 
322.39/48.44	o 1796653 
324.67/48.76	o 1797017 
325.14/48.82	o 1801971 
325.87/49.00	o 1803177 
329.55/49.43	o 1806729 
330.91/49.62	o 1808248 
333.12/49.92	o 1813398 
333.83/50.08	o 1813529 
335.06/50.24	o 1814265 
336.48/50.40	o 1815793 
338.71/50.71	o 1817670 
340.19/50.98	o 1817970 
341.86/51.15	o 1819628 
343.90/51.45	o 1820928 
346.25/51.78	o 1821246 
348.82/52.11	o 1823053 
349.49/52.28	o 1825407 
350.93/52.40	o 1825874 
351.78/52.55	o 1826017 
352.50/52.68	o 1827499 
355.63/54.26	o 1828692 
359.08/55.51	o 1829619 
361.52/56.91	o 1831420 
368.14/60.65	o 1833253 
370.21/60.99	o 1834680 
373.04/62.52	o 1835664 
376.03/62.95	o 1835807 
378.16/63.21	o 1838876 
382.10/63.79	o 1841931 
383.64/63.96	o 1842319 
384.26/64.09	o 1844232 
385.77/64.27	o 1844363 
387.83/64.56	o 1844718 
394.87/65.46	o 1846679 
395.31/65.59	o 1850612 
402.37/66.41	o 1855657 
404.65/66.73	o 1857468 
407.65/67.18	o 1858319 
409.81/67.50	o 1858836 
412.39/67.81	o 1859134 
413.08/67.95	o 1859601 
416.19/68.38	o 1862175 
417.77/68.50	o 1862694 
437.49/71.03	o 1863982 
439.64/71.35	o 1864125 
442.40/71.75	o 1864592 
445.65/72.18	o 1864723 
470.94/75.39	o 1866468 
474.60/75.84	o 1868139 
475.10/76.00	o 1869066 
476.64/76.19	o 1869381 
477.76/76.36	o 1872577 
481.67/76.88	o 1874388 
484.55/77.21	o 1876322 
485.28/77.35	o 1880668 
486.77/77.52	o 1880779 
489.79/77.96	o 1881813 
498.56/79.10	o 1883671 
513.47/80.97	o 1884202 
518.24/81.60	o 1886847 
523.79/82.32	o 1890072 
524.42/82.46	o 1890561 
528.24/82.90	o 1891028 
533.63/83.63	o 1891441 
544.64/85.04	o 1893378 
548.46/85.59	o 1893616 
550.02/85.78	o 1902923 
551.23/85.92	o 1903262 
552.05/86.09	o 1903616 
554.67/86.41	o 1904552 
566.54/87.91	o 1906893 
570.49/88.48	o 1907639 
572.02/88.64	o 1908103 
575.10/89.06	o 1910210 
577.33/89.36	o 1911710 
578.83/89.54	o 1912456 
580.03/89.72	o 1918708 
581.19/89.92	o 1918923 
582.70/90.19	o 1919669 
591.20/91.21	o 1920677 
602.88/92.71	o 1921845 
609.16/93.58	o 1922591 
612.20/93.99	o 1922722 
628.89/96.05	o 1922925 
639.69/97.46	o 1923483 
642.58/97.89	o 1925762 
645.03/98.17	o 1928000 
646.45/98.33	o 1928968 
648.67/98.63	o 1929469 
654.13/99.35	o 1930610 
656.41/99.68	o 1931077 
658.46/99.96	o 1933259 
697.40/104.86	o 1935703 
743.48/110.63	o 1938124 
853.38/124.47	o 1939167 
926.53/133.66	o 1939173 
1131.13/159.39	o 1939476 
1135.53/159.94	o 1940259 
1154.22/162.30	o 1940378 
1166.14/163.83	o 1941506 
1174.81/165.00	o 1943826 
1185.05/166.27	o 1944810 
1231.88/172.19	o 1946243 
1269.72/177.00	o 1947812 
1280.00/178.25	o 1948571 
1291.08/179.67	o 1949532 
1294.18/180.08	o 1950073 
1298.42/180.62	o 1950204 
1314.60/182.72	o 1950671 
1327.16/184.37	o 1951334 
1329.14/184.68	o 1953645 
1331.35/184.98	o 1953734 
1419.92/196.17	o 1954929 
1421.37/196.38	o 1955079 
1422.21/196.51	o 1958154 
1427.64/197.24	o 1959138 
1495.90/205.99	o 1962874 
1860.69/252.07	s SATISFIABLE
1860.69/252.07	v <instantiation>
1860.69/252.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>
1860.69/252.07	v 	<values>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 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 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 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 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 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 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 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 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 1 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 1 0 1 0 0 1 0 0 1 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 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 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 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 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 </values>
1860.69/252.07	v </instantiation>
1860.69/252.07	c Unexpected resolution interruption!

Verifier Data 

OK	1962874

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400282-1568720358/watcher-4400282-1568720358 -o /tmp/evaluation-result-4400282-1568720358/solver-4400282-1568720358 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568711923-28952 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1440675028 HOME/instance-4400282-1568720358.xml 

running on 8 cores: 0-7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=30173, runsolver pid=30170

[startup+0.100163 s]*
/proc/loadavg: 8.09 8.32 8.30 2/212 30194
/proc/meminfo: memFree=30561060/32770688 swapFree=66961216/67108860
[pid=30173] ppid=30170 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30173/stat : 30173 (xcsp3-exec) S 30170 30173 28925 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447977487 115843072 363 33554432000 4194304 5098028 140731581421680 140731581419784 140692540211836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12414976 140731581424507 140731581424750 140731581424750 140731581427658 0
/proc/30173/statm: 28282 363 304 221 0 87 0
[pid=30175] ppid=30173 vsize=28227396 memory=28356 CPUtime=0.11 cores=0-7
/proc/30175/stat : 30175 (java) S 30173 30173 28925 0 -1 1077944320 5623 0 0 0 10 1 0 0 20 0 20 0 447977487 28904853504 7089 33554432000 4194304 4196468 140736540820352 140736540802896 140492575751927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
/proc/30175/statm: 7056849 7089 3090 1 0 7019032 0
[pid=30175/tid=30176] ppid=30173 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30175/task/30176/stat : 30176 (java) R 30173 30173 28925 0 -1 4202560 3627 0 0 0 8 1 0 0 20 0 20 0 447977487 28904853504 7089 33554432000 4194304 4196468 140736540820352 140492579974384 140492575773853 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30177] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30177/stat : 30177 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977488 28904853504 7089 33554432000 4194304 4196468 140736540820352 140492127643920 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30178] ppid=30173 vsize=28227396 memory=140085933979264 CPUtime=0 cores=0-7
/proc/30175/task/30178/stat : 30178 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977488 28904853504 7089 33554432000 4194304 4196468 140736540820352 140492126591376 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30179] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30179/stat : 30179 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977488 28904853504 7089 33554432000 4194304 4196468 140736540820352 140492125538832 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30180] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30180/stat : 30180 (java) S 30173 30173 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447977488 28904853504 7089 33554432000 4194304 4196468 140736540820352 140492124486288 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30181] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30181/stat : 30181 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977488 28904853504 7089 33554432000 4194304 4196468 140736540820352 140492123433744 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30182] ppid=30173 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30175/task/30182/stat : 30182 (java) S 30173 30173 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447977488 28904853504 7089 33554432000 4194304 4196468 140736540820352 140492122381200 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30183] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30183/stat : 30183 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977488 28904853504 7089 33554432000 4194304 4196468 140736540820352 140492121328656 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30184] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30184/stat : 30184 (java) S 30173 30173 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447977488 28904853504 7089 33554432000 4194304 4196468 140736540820352 140492120276112 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30185] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30185/stat : 30185 (java) S 30173 30173 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447977490 28904853504 7089 33554432000 4194304 4196468 140736540820352 140490771412976 140492575763074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30186] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30186/stat : 30186 (java) S 30173 30173 28925 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447977490 28904853504 7089 33554432000 4194304 4196468 140736540820352 140490770359200 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30187] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30187/stat : 30187 (java) S 30173 30173 28925 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447977491 28904853504 7089 33554432000 4194304 4196468 140736540820352 140490769306608 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30188] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30188/stat : 30188 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977493 28904853504 7089 33554432000 4194304 4196468 140736540820352 140490768255184 140492575770523 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30189] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30189/stat : 30189 (java) S 30173 30173 28925 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 447977493 28904853504 7089 33554432000 4194304 4196468 140736540820352 140490767202800 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30190] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30190/stat : 30190 (java) S 30173 30173 28925 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 447977493 28904853504 7089 33554432000 4194304 4196468 140736540820352 140490766150256 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30191] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30191/stat : 30191 (java) S 30173 30173 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447977493 28904853504 7089 33554432000 4194304 4196468 140736540820352 140490765097712 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30192] ppid=30173 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30175/task/30192/stat : 30192 (java) S 30173 30173 28925 0 -1 1077944384 243 0 0 0 1 0 0 0 20 0 20 0 447977493 28904853504 7089 33554432000 4194304 4196468 140736540820352 140490764045168 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30193] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30193/stat : 30193 (java) S 30173 30173 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447977494 28904853504 7089 33554432000 4194304 4196468 140736540820352 140490762991840 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30194] ppid=30173 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30175/task/30194/stat : 30194 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977494 28904853504 7089 33554432000 4194304 4196468 140736540820352 140490761939376 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 29808 KiB

[startup+0.211624 s]*
/proc/loadavg: 8.09 8.32 8.30 2/212 30194
/proc/meminfo: memFree=30546932/32770688 swapFree=66961216/67108860
[pid=30173] ppid=30170 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30173/stat : 30173 (xcsp3-exec) S 30170 30173 28925 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447977487 115843072 363 33554432000 4194304 5098028 140731581421680 140731581419784 140692540211836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12414976 140731581424507 140731581424750 140731581424750 140731581427658 0
/proc/30173/statm: 28282 363 304 221 0 87 0
[pid=30175] ppid=30173 vsize=28227396 memory=40288 CPUtime=0.33 cores=0-7
/proc/30175/stat : 30175 (java) S 30173 30173 28925 0 -1 1077944320 9374 0 0 0 30 3 0 0 20 0 20 0 447977487 28904853504 10072 33554432000 4194304 4196468 140736540820352 140736540802896 140492575751927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
/proc/30175/statm: 7056849 10072 3295 1 0 7019032 0
[pid=30175/tid=30176] ppid=30173 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30175/task/30176/stat : 30176 (java) R 30173 30173 28925 0 -1 4202560 6586 0 0 0 17 2 0 0 20 0 20 0 447977487 28904853504 10072 33554432000 4194304 4196468 140736540820352 140492579990000 140492575773853 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30177] ppid=30173 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/30175/task/30177/stat : 30177 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977488 28904853504 10072 33554432000 4194304 4196468 140736540820352 140492127643920 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30178] ppid=30173 vsize=28227396 memory=140085937294201 CPUtime=0 cores=0-7
/proc/30175/task/30178/stat : 30178 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977488 28904853504 10072 33554432000 4194304 4196468 140736540820352 140492126591376 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30179] ppid=30173 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30175/task/30179/stat : 30179 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977488 28904853504 10072 33554432000 4194304 4196468 140736540820352 140492125538832 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30180] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30180/stat : 30180 (java) S 30173 30173 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447977488 28904853504 10072 33554432000 4194304 4196468 140736540820352 140492124486288 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30181] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30181/stat : 30181 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977488 28904853504 10072 33554432000 4194304 4196468 140736540820352 140492123433744 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30182] ppid=30173 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30175/task/30182/stat : 30182 (java) S 30173 30173 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447977488 28904853504 10072 33554432000 4194304 4196468 140736540820352 140492122381200 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30183] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30183/stat : 30183 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977488 28904853504 10072 33554432000 4194304 4196468 140736540820352 140492121328656 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30184] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30184/stat : 30184 (java) S 30173 30173 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447977488 28904853504 10072 33554432000 4194304 4196468 140736540820352 140492120276112 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30185] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30185/stat : 30185 (java) S 30173 30173 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447977490 28904853504 10072 33554432000 4194304 4196468 140736540820352 140490771412976 140492575763074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30186] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30186/stat : 30186 (java) S 30173 30173 28925 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447977490 28904853504 10072 33554432000 4194304 4196468 140736540820352 140490770359200 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30187] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30187/stat : 30187 (java) S 30173 30173 28925 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447977491 28904853504 10072 33554432000 4194304 4196468 140736540820352 140490769306608 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30188] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30188/stat : 30188 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977493 28904853504 10072 33554432000 4194304 4196468 140736540820352 140490768255184 140492575770523 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30189] ppid=30173 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/30175/task/30189/stat : 30189 (java) S 30173 30173 28925 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 20 0 447977493 28904853504 10072 33554432000 4194304 4196468 140736540820352 140490767202800 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30190] ppid=30173 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30175/task/30190/stat : 30190 (java) S 30173 30173 28925 0 -1 1077944384 168 0 0 0 1 0 0 0 20 0 20 0 447977493 28904853504 10072 33554432000 4194304 4196468 140736540820352 140490766150256 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30191] ppid=30173 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/30175/task/30191/stat : 30191 (java) S 30173 30173 28925 0 -1 1077944384 109 0 0 0 1 0 0 0 20 0 20 0 447977493 28904853504 10072 33554432000 4194304 4196468 140736540820352 140490765097712 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30192] ppid=30173 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/30175/task/30192/stat : 30192 (java) S 30173 30173 28925 0 -1 1077944384 785 0 0 0 7 0 0 0 20 0 20 0 447977493 28904853504 10072 33554432000 4194304 4196468 140736540820352 140490764045168 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30193] ppid=30173 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30193/stat : 30193 (java) S 30173 30173 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447977494 28904853504 10072 33554432000 4194304 4196468 140736540820352 140490762991840 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30194] ppid=30173 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30175/task/30194/stat : 30194 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977494 28904853504 10072 33554432000 4194304 4196468 140736540820352 140490761939376 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41740 KiB

[startup+0.311409 s]*
/proc/loadavg: 8.09 8.32 8.30 5/212 30194
/proc/meminfo: memFree=30541596/32770688 swapFree=66961216/67108860
[pid=30173] ppid=30170 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30173/stat : 30173 (xcsp3-exec) S 30170 30173 28925 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447977487 115843072 363 33554432000 4194304 5098028 140731581421680 140731581419784 140692540211836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12414976 140731581424507 140731581424750 140731581424750 140731581427658 0
/proc/30173/statm: 28282 363 304 221 0 87 0
[pid=30175] ppid=30173 vsize=28231652 memory=46768 CPUtime=0.52 cores=0-7
/proc/30175/stat : 30175 (java) S 30173 30173 28925 0 -1 1077944320 10551 0 0 0 48 4 0 0 20 0 20 0 447977487 28909211648 11692 33554432000 4194304 4196468 140736540820352 140736540802896 140492575751927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
/proc/30175/statm: 7057913 11692 3338 1 0 7019032 0
[pid=30175/tid=30176] ppid=30173 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/30175/task/30176/stat : 30176 (java) R 30173 30173 28925 0 -1 4202560 7568 0 0 0 26 3 0 0 20 0 20 0 447977487 28909211648 11692 33554432000 4194304 4196468 140736540820352 140492579982624 140492559832414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30177] ppid=30173 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30177/stat : 30177 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977488 28909211648 11692 33554432000 4194304 4196468 140736540820352 140492127643920 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30178] ppid=30173 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30178/stat : 30178 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977488 28909211648 11692 33554432000 4194304 4196468 140736540820352 140492126591376 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30179] ppid=30173 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30179/stat : 30179 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977488 28909211648 11692 33554432000 4194304 4196468 140736540820352 140492125538832 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30180] ppid=30173 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30180/stat : 30180 (java) S 30173 30173 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447977488 28909211648 11692 33554432000 4194304 4196468 140736540820352 140492124486288 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30181] ppid=30173 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/30175/task/30181/stat : 30181 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977488 28909211648 11692 33554432000 4194304 4196468 140736540820352 140492123433744 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30182] ppid=30173 vsize=28231652 memory=140085794272175 CPUtime=0 cores=0-7
/proc/30175/task/30182/stat : 30182 (java) S 30173 30173 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447977488 28909211648 11692 33554432000 4194304 4196468 140736540820352 140492122381200 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30183] ppid=30173 vsize=28231652 memory=140085794274480 CPUtime=0 cores=0-7
/proc/30175/task/30183/stat : 30183 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977488 28909211648 11692 33554432000 4194304 4196468 140736540820352 140492121328656 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30184] ppid=30173 vsize=28231652 memory=140085794276784 CPUtime=0 cores=0-7
/proc/30175/task/30184/stat : 30184 (java) S 30173 30173 28925 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447977488 28909211648 11692 33554432000 4194304 4196468 140736540820352 140492120276112 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30185] ppid=30173 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30185/stat : 30185 (java) S 30173 30173 28925 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447977490 28909211648 11692 33554432000 4194304 4196468 140736540820352 140490771412976 140492575763074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30186] ppid=30173 vsize=28231652 memory=280171588560528 CPUtime=0 cores=0-7
/proc/30175/task/30186/stat : 30186 (java) S 30173 30173 28925 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447977490 28909211648 11692 33554432000 4194304 4196468 140736540820352 140490770359200 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30187] ppid=30173 vsize=28231652 memory=280171588567440 CPUtime=0 cores=0-7
/proc/30175/task/30187/stat : 30187 (java) S 30173 30173 28925 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447977491 28909211648 11692 33554432000 4194304 4196468 140736540820352 140490769306608 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30188] ppid=30173 vsize=28231652 memory=280171588508688 CPUtime=0 cores=0-7
/proc/30175/task/30188/stat : 30188 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977493 28909211648 11692 33554432000 4194304 4196468 140736540820352 140490768255184 140492575770523 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30189] ppid=30173 vsize=28231652 memory=280171588581264 CPUtime=0.02 cores=0-7
/proc/30175/task/30189/stat : 30189 (java) S 30173 30173 28925 0 -1 1077944384 433 0 0 0 2 0 0 0 20 0 20 0 447977493 28909211648 11692 33554432000 4194304 4196468 140736540820352 140490767202800 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30190] ppid=30173 vsize=28231652 memory=280171588588176 CPUtime=0.02 cores=0-7
/proc/30175/task/30190/stat : 30190 (java) S 30173 30173 28925 0 -1 1077944384 204 0 0 0 2 0 0 0 20 0 20 0 447977493 28909211648 11692 33554432000 4194304 4196468 140736540820352 140490766150256 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30191] ppid=30173 vsize=28231652 memory=280171588585872 CPUtime=0.02 cores=0-7
/proc/30175/task/30191/stat : 30191 (java) S 30173 30173 28925 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 20 0 447977493 28909211648 11692 33554432000 4194304 4196468 140736540820352 140490765097712 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30192] ppid=30173 vsize=28231652 memory=280171588602032 CPUtime=0.13 cores=0-7
/proc/30175/task/30192/stat : 30192 (java) S 30173 30173 28925 0 -1 1077944384 923 0 0 0 13 0 0 0 20 0 20 0 447977493 28909211648 11692 33554432000 4194304 4196468 140736540820352 140490764045168 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30193] ppid=30173 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30193/stat : 30193 (java) S 30173 30173 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447977494 28909211648 11692 33554432000 4194304 4196468 140736540820352 140490762991840 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30194] ppid=30173 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/30175/task/30194/stat : 30194 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977494 28909211648 11692 33554432000 4194304 4196468 140736540820352 140490761939376 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 48220 KiB

[startup+0.701108 s]
/proc/loadavg: 8.09 8.32 8.30 4/212 30194
/proc/meminfo: memFree=30529000/32770688 swapFree=66961216/67108860
[pid=30173] ppid=30170 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30173/stat : 30173 (xcsp3-exec) S 30170 30173 28925 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447977487 115843072 363 33554432000 4194304 5098028 140731581421680 140731581419784 140692540211836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12414976 140731581424507 140731581424750 140731581424750 140731581427658 0
/proc/30173/statm: 28282 363 304 221 0 87 0
[pid=30175] ppid=30173 vsize=28233776 memory=97504 CPUtime=1.86 cores=0-7
/proc/30175/stat : 30175 (java) S 30173 30173 28925 0 -1 1077944320 17082 0 0 0 180 6 0 0 20 0 20 0 447977487 28911386624 24376 33554432000 4194304 4196468 140736540820352 140736540802896 140492575751927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
/proc/30175/statm: 7058444 24376 3455 1 0 7019544 0
[pid=30175/tid=30176] ppid=30173 vsize=28233776 memory=280171588959920 CPUtime=0.67 cores=0-7
/proc/30175/task/30176/stat : 30176 (java) R 30173 30173 28925 0 -1 4202560 9213 0 0 0 63 4 0 0 20 0 20 0 447977487 28911386624 24376 33554432000 4194304 4196468 140736540820352 140492579974384 140492559832414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30177] ppid=30173 vsize=28233776 memory=140085794481008 CPUtime=0 cores=0-7
/proc/30175/task/30177/stat : 30177 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977488 28911386624 24376 33554432000 4194304 4196468 140736540820352 140492127643920 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30178] ppid=30173 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/30175/task/30178/stat : 30178 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977488 28911386624 24376 33554432000 4194304 4196468 140736540820352 140492126591376 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30179] ppid=30173 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/30175/task/30179/stat : 30179 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447977488 28911386624 24376 33554432000 4194304 4196468 140736540820352 140492125538832 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0

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

[pid=30175/tid=1001] ppid=30173 vsize=28769364 memory=3988 CPUtime=2.31 cores=0-7
/proc/30175/task/1001/stat : 1001 (java) D 30173 30173 28925 0 -1 4202560 217 0 0 0 231 0 0 0 20 0 28 0 447993481 29459828736 564311 33554432000 4194304 4196468 140736540820352 140490749567952 140492220626688 0 4 0 16800975 18446744071582151416 0 0 -1 0 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
Current children cumulated CPU time: 1154.22 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 2258696 KiB

[startup+222.301 s]
/proc/loadavg: 8.10 8.04 8.17 9/219 1158
/proc/meminfo: memFree=28204780/32770688 swapFree=66961216/67108860
[pid=30173] ppid=30170 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30173/stat : 30173 (xcsp3-exec) S 30170 30173 28925 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447977487 115843072 363 33554432000 4194304 5098028 140731581421680 140731581419784 140692540211836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12414976 140731581424507 140731581424750 140731581424750 140731581427658 0
/proc/30173/statm: 28282 363 304 221 0 87 0
[pid=30175] ppid=30173 vsize=28769364 memory=2376572 CPUtime=1625.57 cores=0-7
/proc/30175/stat : 30175 (java) S 30173 30173 28925 0 -1 1077944320 239617 0 0 0 162260 297 0 0 20 0 28 0 447977487 29459828736 594143 33554432000 4194304 4196468 140736540820352 140736540802896 140492575751927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
/proc/30175/statm: 7192341 594143 3528 1 0 7153441 0
[pid=30175/tid=30176] ppid=30173 vsize=28769364 memory=1452 CPUtime=1.4 cores=0-7
/proc/30175/task/30176/stat : 30176 (java) S 30173 30173 28925 0 -1 1077944384 14854 0 0 0 131 9 0 0 20 0 28 0 447977487 29459828736 594143 33554432000 4194304 4196468 140736540820352 140492579992640 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30177] ppid=30173 vsize=28769364 memory=2368676 CPUtime=0.53 cores=0-7
/proc/30175/task/30177/stat : 30177 (java) S 30173 30173 28925 0 -1 1077944384 4490 0 0 0 40 13 0 0 20 0 28 0 447977488 29459828736 594143 33554432000 4194304 4196468 140736540820352 140492127643920 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30178] ppid=30173 vsize=28769364 memory=2364576 CPUtime=0.51 cores=0-7
/proc/30175/task/30178/stat : 30178 (java) S 30173 30173 28925 0 -1 1077944384 6735 0 0 0 38 13 0 0 20 0 28 0 447977488 29459828736 594143 33554432000 4194304 4196468 140736540820352 140492126591376 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30179] ppid=30173 vsize=28769364 memory=1452 CPUtime=0.51 cores=0-7
/proc/30175/task/30179/stat : 30179 (java) S 30173 30173 28925 0 -1 1077944384 6400 0 0 0 38 13 0 0 20 0 28 0 447977488 29459828736 594143 33554432000 4194304 4196468 140736540820352 140492125538832 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30180] ppid=30173 vsize=28769364 memory=2350284 CPUtime=0.53 cores=0-7
/proc/30175/task/30180/stat : 30180 (java) S 30173 30173 28925 0 -1 1077944384 6032 0 0 0 40 13 0 0 20 0 28 0 447977488 29459828736 594143 33554432000 4194304 4196468 140736540820352 140492124486288 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30181] ppid=30173 vsize=28769364 memory=2314640 CPUtime=0.53 cores=0-7
/proc/30175/task/30181/stat : 30181 (java) S 30173 30173 28925 0 -1 1077944384 5605 0 0 0 40 13 0 0 20 0 28 0 447977488 29459828736 594143 33554432000 4194304 4196468 140736540820352 140492123433744 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30182] ppid=30173 vsize=28769364 memory=1452 CPUtime=0.54 cores=0-7
/proc/30175/task/30182/stat : 30182 (java) S 30173 30173 28925 0 -1 1077944384 6611 0 0 0 42 12 0 0 20 0 28 0 447977488 29459828736 594143 33554432000 4194304 4196468 140736540820352 140492122381200 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30183] ppid=30173 vsize=28769364 memory=2308272 CPUtime=0.54 cores=0-7
/proc/30175/task/30183/stat : 30183 (java) S 30173 30173 28925 0 -1 1077944384 5391 0 0 0 42 12 0 0 20 0 28 0 447977488 29459828736 594143 33554432000 4194304 4196468 140736540820352 140492121328656 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30184] ppid=30173 vsize=28769364 memory=2284268 CPUtime=0.54 cores=0-7
/proc/30175/task/30184/stat : 30184 (java) S 30173 30173 28925 0 -1 1077944384 4959 0 0 0 41 13 0 0 20 0 28 0 447977488 29459828736 594143 33554432000 4194304 4196468 140736540820352 140492120276112 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30185] ppid=30173 vsize=28769364 memory=2264844 CPUtime=0.35 cores=0-7
/proc/30175/task/30185/stat : 30185 (java) S 30173 30173 28925 0 -1 1077944384 22246 0 0 0 22 13 0 0 20 0 28 0 447977490 29459828736 594143 33554432000 4194304 4196468 140736540820352 140490771412976 140492575763074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30186] ppid=30173 vsize=28769364 memory=2266896 CPUtime=0 cores=0-7
/proc/30175/task/30186/stat : 30186 (java) S 30173 30173 28925 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447977490 29459828736 594143 33554432000 4194304 4196468 140736540820352 140490770359264 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30187] ppid=30173 vsize=28769364 memory=2243040 CPUtime=0 cores=0-7
/proc/30175/task/30187/stat : 30187 (java) S 30173 30173 28925 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 447977491 29459828736 594143 33554432000 4194304 4196468 140736540820352 140490769306624 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30188] ppid=30173 vsize=28769364 memory=2243564 CPUtime=0 cores=0-7
/proc/30175/task/30188/stat : 30188 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447977493 29459828736 594143 33554432000 4194304 4196468 140736540820352 140490768255184 140492575770523 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30189] ppid=30173 vsize=28769364 memory=2234884 CPUtime=2.91 cores=0-7
/proc/30175/task/30189/stat : 30189 (java) S 30173 30173 28925 0 -1 1077944384 13283 0 0 0 289 2 0 0 20 0 28 0 447977493 29459828736 594143 33554432000 4194304 4196468 140736540820352 140490767202800 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30190] ppid=30173 vsize=28769364 memory=2236436 CPUtime=2.74 cores=0-7
/proc/30175/task/30190/stat : 30190 (java) S 30173 30173 28925 0 -1 1077944384 12168 0 0 0 271 3 0 0 20 0 28 0 447977493 29459828736 594143 33554432000 4194304 4196468 140736540820352 140490766150256 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30191] ppid=30173 vsize=28769364 memory=2367816 CPUtime=2.45 cores=0-7
/proc/30175/task/30191/stat : 30191 (java) S 30173 30173 28925 0 -1 1077944384 6744 0 0 0 244 1 0 0 20 0 28 0 447977493 29459828736 594143 33554432000 4194304 4196468 140736540820352 140490765097712 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30192] ppid=30173 vsize=28769364 memory=1452 CPUtime=1.02 cores=0-7
/proc/30175/task/30192/stat : 30192 (java) S 30173 30173 28925 0 -1 1077944384 9099 0 0 0 101 1 0 0 20 0 28 0 447977493 29459828736 594143 33554432000 4194304 4196468 140736540820352 140490764045168 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30193] ppid=30173 vsize=28769364 memory=2377084 CPUtime=0 cores=0-7
/proc/30175/task/30193/stat : 30193 (java) S 30173 30173 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447977494 29459828736 594143 33554432000 4194304 4196468 140736540820352 140490762991840 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30194] ppid=30173 vsize=28769364 memory=1452 CPUtime=0.06 cores=0-7
/proc/30175/task/30194/stat : 30194 (java) S 30173 30173 28925 0 -1 1077944384 2773 0 0 0 5 1 0 0 20 0 28 0 447977494 29459828736 594143 33554432000 4194304 4196468 140736540820352 140490761939376 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=1150] ppid=30173 vsize=28769364 memory=1556 CPUtime=16.1 cores=0-7
/proc/30175/task/1150/stat : 1150 (java) R 30173 30173 28925 0 -1 4202560 789 0 0 0 1610 0 0 0 20 0 28 0 447998087 29459828736 594143 33554432000 4194304 4196468 140736540820352 140490745350760 140492221700000 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=1151] ppid=30173 vsize=28769364 memory=1452 CPUtime=16.04 cores=0-7
/proc/30175/task/1151/stat : 1151 (java) R 30173 30173 28925 0 -1 4202560 615 0 0 0 1604 0 0 0 20 0 28 0 447998087 29459828736 594143 33554432000 4194304 4196468 140736540820352 140490749566328 140492219373320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=1152] ppid=30173 vsize=28769364 memory=1452 CPUtime=16.07 cores=0-7
/proc/30175/task/1152/stat : 1152 (java) R 30173 30173 28925 0 -1 4202560 1072 0 0 0 1607 0 0 0 20 0 28 0 447998087 29459828736 594143 33554432000 4194304 4196468 140736540820352 140490748510184 140492220568867 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=1153] ppid=30173 vsize=28769364 memory=2279660 CPUtime=16.13 cores=0-7
/proc/30175/task/1153/stat : 1153 (java) R 30173 30173 28925 0 -1 4202560 709 0 0 0 1613 0 0 0 20 0 28 0 447998087 29459828736 594143 33554432000 4194304 4196468 140736540820352 140490747458512 140492221082229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=1154] ppid=30173 vsize=28769364 memory=2307312 CPUtime=15.93 cores=0-7
/proc/30175/task/1154/stat : 1154 (java) R 30173 30173 28925 0 -1 4202560 715 0 0 0 1593 0 0 0 20 0 28 0 447998087 29459828736 594143 33554432000 4194304 4196468 140736540820352 140490746405248 140492221755433 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=1155] ppid=30173 vsize=28769364 memory=1056 CPUtime=15.97 cores=0-7
/proc/30175/task/1155/stat : 1155 (java) R 30173 30173 28925 0 -1 4202560 875 0 0 0 1597 0 0 0 20 0 28 0 447998087 29459828736 594143 33554432000 4194304 4196468 140736540820352 140490751668704 140492219997383 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=1156] ppid=30173 vsize=28769364 memory=3612 CPUtime=15.98 cores=0-7
/proc/30175/task/1156/stat : 1156 (java) R 30173 30173 28925 0 -1 4202560 814 0 0 0 1597 1 0 0 20 0 28 0 447998087 29459828736 594143 33554432000 4194304 4196468 140736540820352 140490752720368 140492220682478 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=1158] ppid=30173 vsize=28769364 memory=47300 CPUtime=16.09 cores=0-7
/proc/30175/task/1158/stat : 1158 (java) R 30173 30173 28925 0 -1 4202560 533 0 0 0 1609 0 0 0 20 0 28 0 447998087 29459828736 594143 33554432000 4194304 4196468 140736540820352 140490750619184 140492219501329 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
Current children cumulated CPU time: 1625.57 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 2378024 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.12 8.05 8.17 9/220 1161
/proc/meminfo: memFree=28117284/32770688 swapFree=66961216/67108860
[pid=30173] ppid=30170 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30173/stat : 30173 (xcsp3-exec) S 30170 30173 28925 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447977487 115843072 363 33554432000 4194304 5098028 140731581421680 140731581419784 140692540211836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 12414976 140731581424507 140731581424750 140731581424750 140731581427658 0
/proc/30173/statm: 28282 363 304 221 0 87 0
[pid=30175] ppid=30173 vsize=28769364 memory=2466684 CPUtime=1860.69 cores=0-7
/proc/30175/stat : 30175 (java) S 30173 30173 28925 0 -1 1077944320 265431 0 0 0 185750 319 0 0 20 0 28 0 447977487 29459828736 616671 33554432000 4194304 4196468 140736540820352 140736540802896 140492575751927 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
/proc/30175/statm: 7192341 616671 3528 1 0 7153441 0
[pid=30175/tid=30176] ppid=30173 vsize=28769364 memory=6791534058613427641 CPUtime=1.4 cores=0-7
/proc/30175/task/30176/stat : 30176 (java) S 30173 30173 28925 0 -1 1077944384 14854 0 0 0 131 9 0 0 20 0 28 0 447977487 29459828736 616671 33554432000 4194304 4196468 140736540820352 140492579992640 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30177] ppid=30173 vsize=28769364 memory=280171591477216 CPUtime=0.69 cores=0-7
/proc/30175/task/30177/stat : 30177 (java) S 30173 30173 28925 0 -1 1077944384 6090 0 0 0 55 14 0 0 20 0 28 0 447977488 29459828736 616671 33554432000 4194304 4196468 140736540820352 140492127643920 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30178] ppid=30173 vsize=28769364 memory=3988 CPUtime=0.69 cores=0-7
/proc/30175/task/30178/stat : 30178 (java) S 30173 30173 28925 0 -1 1077944384 7857 0 0 0 54 15 0 0 20 0 28 0 447977488 29459828736 616671 33554432000 4194304 4196468 140736540820352 140492126591376 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30179] ppid=30173 vsize=28769364 memory=3612 CPUtime=0.67 cores=0-7
/proc/30175/task/30179/stat : 30179 (java) S 30173 30173 28925 0 -1 1077944384 7535 0 0 0 52 15 0 0 20 0 28 0 447977488 29459828736 616671 33554432000 4194304 4196468 140736540820352 140492125538832 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30180] ppid=30173 vsize=28769364 memory=47300 CPUtime=0.69 cores=0-7
/proc/30175/task/30180/stat : 30180 (java) S 30173 30173 28925 0 -1 1077944384 7260 0 0 0 54 15 0 0 20 0 28 0 447977488 29459828736 616671 33554432000 4194304 4196468 140736540820352 140492124486288 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30181] ppid=30173 vsize=28769364 memory=288230574492221466 CPUtime=0.7 cores=0-7
/proc/30175/task/30181/stat : 30181 (java) S 30173 30173 28925 0 -1 1077944384 6623 0 0 0 56 14 0 0 20 0 28 0 447977488 29459828736 616671 33554432000 4194304 4196468 140736540820352 140492123433744 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30182] ppid=30173 vsize=28769364 memory=288230596050944315 CPUtime=0.73 cores=0-7
/proc/30175/task/30182/stat : 30182 (java) S 30173 30173 28925 0 -1 1077944384 8072 0 0 0 59 14 0 0 20 0 28 0 447977488 29459828736 616671 33554432000 4194304 4196468 140736540820352 140492122381200 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30183] ppid=30173 vsize=28769364 memory=14698491322567293 CPUtime=0.7 cores=0-7
/proc/30175/task/30183/stat : 30183 (java) S 30173 30173 28925 0 -1 1077944384 7034 0 0 0 57 13 0 0 20 0 28 0 447977488 29459828736 616671 33554432000 4194304 4196468 140736540820352 140492121328656 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30184] ppid=30173 vsize=28769364 memory=4156 CPUtime=0.71 cores=0-7
/proc/30175/task/30184/stat : 30184 (java) S 30173 30173 28925 0 -1 1077944384 6801 0 0 0 56 15 0 0 20 0 28 0 447977488 29459828736 616671 33554432000 4194304 4196468 140736540820352 140492120276112 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30185] ppid=30173 vsize=28769364 memory=4108 CPUtime=0.49 cores=0-7
/proc/30175/task/30185/stat : 30185 (java) S 30173 30173 28925 0 -1 1077944384 26542 0 0 0 30 19 0 0 20 0 28 0 447977490 29459828736 616671 33554432000 4194304 4196468 140736540820352 140490771412976 140492575763074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30186] ppid=30173 vsize=28769364 memory=1412 CPUtime=0 cores=0-7
/proc/30175/task/30186/stat : 30186 (java) S 30173 30173 28925 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 447977490 29459828736 616671 33554432000 4194304 4196468 140736540820352 140490770359264 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30187] ppid=30173 vsize=28769364 memory=1452 CPUtime=0 cores=0-7
/proc/30175/task/30187/stat : 30187 (java) S 30173 30173 28925 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 447977491 29459828736 616671 33554432000 4194304 4196468 140736540820352 140490769306624 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30188] ppid=30173 vsize=28769364 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/30175/task/30188/stat : 30188 (java) S 30173 30173 28925 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447977493 29459828736 616671 33554432000 4194304 4196468 140736540820352 140490768255184 140492575770523 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30189] ppid=30173 vsize=28769364 memory=14689699524512548 CPUtime=2.91 cores=0-7
/proc/30175/task/30189/stat : 30189 (java) S 30173 30173 28925 0 -1 1077944384 13297 0 0 0 289 2 0 0 20 0 28 0 447977493 29459828736 616671 33554432000 4194304 4196468 140736540820352 140490767202800 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30190] ppid=30173 vsize=28769364 memory=2464636 CPUtime=2.74 cores=0-7
/proc/30175/task/30190/stat : 30190 (java) S 30173 30173 28925 0 -1 1077944384 12181 0 0 0 271 3 0 0 20 0 28 0 447977493 29459828736 616671 33554432000 4194304 4196468 140736540820352 140490766150256 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30191] ppid=30173 vsize=28769364 memory=1452 CPUtime=2.45 cores=0-7
/proc/30175/task/30191/stat : 30191 (java) S 30173 30173 28925 0 -1 1077944384 6759 0 0 0 244 1 0 0 20 0 28 0 447977493 29459828736 616671 33554432000 4194304 4196468 140736540820352 140490765097712 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30192] ppid=30173 vsize=28769364 memory=2458488 CPUtime=1.02 cores=0-7
/proc/30175/task/30192/stat : 30192 (java) S 30173 30173 28925 0 -1 1077944384 9111 0 0 0 101 1 0 0 20 0 28 0 447977493 29459828736 616671 33554432000 4194304 4196468 140736540820352 140490764045168 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30193] ppid=30173 vsize=28769364 memory=800 CPUtime=0 cores=0-7
/proc/30175/task/30193/stat : 30193 (java) S 30173 30173 28925 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447977494 29459828736 616671 33554432000 4194304 4196468 140736540820352 140490762991840 140492575762133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=30194] ppid=30173 vsize=28769364 memory=1756 CPUtime=0.08 cores=0-7
/proc/30175/task/30194/stat : 30194 (java) S 30173 30173 28925 0 -1 1077944384 3006 0 0 0 6 2 0 0 20 0 28 0 447977494 29459828736 616671 33554432000 4194304 4196468 140736540820352 140490761939376 140492575763074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=1150] ppid=30173 vsize=28769364 memory=1808 CPUtime=45.39 cores=0-7
/proc/30175/task/1150/stat : 1150 (java) R 30173 30173 28925 0 -1 4202560 2337 0 0 0 4538 1 0 0 20 0 28 0 447998087 29459828736 616671 33554432000 4194304 4196468 140736540820352 140490745350392 140492220568816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=1151] ppid=30173 vsize=28769364 memory=920 CPUtime=45.22 cores=0-7
/proc/30175/task/1151/stat : 1151 (java) R 30173 30173 28925 0 -1 4202560 1675 0 0 0 4521 1 0 0 20 0 28 0 447998087 29459828736 616671 33554432000 4194304 4196468 140736540820352 140490749563064 140492219500720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=1152] ppid=30173 vsize=28769364 memory=4156 CPUtime=45.3 cores=0-7
/proc/30175/task/1152/stat : 1152 (java) R 30173 30173 28925 0 -1 4202560 2518 0 0 0 4530 0 0 0 20 0 28 0 447998087 29459828736 616671 33554432000 4194304 4196468 140736540820352 140490748513624 140492219547980 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=1153] ppid=30173 vsize=28769364 memory=4108 CPUtime=45.39 cores=0-7
/proc/30175/task/1153/stat : 1153 (java) R 30173 30173 28925 0 -1 4202560 1808 0 0 0 4538 1 0 0 20 0 28 0 447998087 29459828736 616671 33554432000 4194304 4196468 140736540820352 140490747457976 140492221082151 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=1154] ppid=30173 vsize=28769364 memory=1412 CPUtime=45.04 cores=0-7
/proc/30175/task/1154/stat : 1154 (java) R 30173 30173 28925 0 -1 4202560 1821 0 0 0 4503 1 0 0 20 0 28 0 447998087 29459828736 616671 33554432000 4194304 4196468 140736540820352 140490746408896 140492219901041 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=1155] ppid=30173 vsize=28769364 memory=5124 CPUtime=45.16 cores=0-7
/proc/30175/task/1155/stat : 1155 (java) R 30173 30173 28925 0 -1 4202560 2465 0 0 0 4515 1 0 0 20 0 28 0 447998087 29459828736 616671 33554432000 4194304 4196468 140736540820352 140490751672384 140492219860386 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=1156] ppid=30173 vsize=28769364 memory=1452 CPUtime=45.12 cores=0-7
/proc/30175/task/1156/stat : 1156 (java) R 30173 30173 28925 0 -1 4202560 2319 0 0 0 4510 2 0 0 20 0 28 0 447998087 29459828736 616671 33554432000 4194304 4196468 140736540820352 140490752720496 140492219861533 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
[pid=30175/tid=1158] ppid=30173 vsize=28769364 memory=1564 CPUtime=45.31 cores=0-7
/proc/30175/task/1158/stat : 1158 (java) R 30173 30173 28925 0 -1 4202560 1361 0 0 0 4531 0 0 0 20 0 28 0 447998087 29459828736 616671 33554432000 4194304 4196468 140736540820352 140490750618744 140492219501530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21581824 140736540828656 140736540828827 140736540828827 140736540831695 0
Current children cumulated CPU time: 1860.69 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 2468136 KiB

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

[startup+252.04 s]
# the end of solver process 30173 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000877 s, system=0.001754 s

[startup+252.12 s]
# the end of solver process 30175 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1858.15 s, system=3.21869 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): 252.12
CPU time (s): 1861.36
CPU user time (s): 1858.15
CPU system time (s): 3.21869
CPU usage (%): 738.285
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 2468136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1858.15
system time used= 3.21869
maximum resident set size= 2467328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267083
page faults= 0
swaps= 0
block input operations= 0
block output operations= 656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51113
involuntary context switches= 23058


# summary of solver processes directly reported to runsolver:
#   pid: 30173,30175
#   total CPU time (s): 1861.36
#   total CPU user time (s): 1858.15
#   total CPU system time (s): 3.21869

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.90676 second user time and 3.52456 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-17 13:38:37
IDJOB=4400282
IDBENCH=141154
IDSOLVER=2855
FILE ID=node116/4400282-1568720358
RUNJOBID= node116-1568711923-28952
PBS_JOBID= 21703942
Free space on /tmp= 61232 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay300_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400282-1568720358/watcher-4400282-1568720358 -o /tmp/evaluation-result-4400282-1568720358/solver-4400282-1568720358 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568711923-28952 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1440675028 HOME/instance-4400282-1568720358.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=1440675028

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 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		: 2667.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        30578260 kB
MemAvailable:   31848108 kB
Buffers:          156456 kB
Cached:          1407884 kB
SwapCached:        46580 kB
Active:          1028336 kB
Inactive:         586036 kB
Active(anon):       3724 kB
Inactive(anon):    95244 kB
Active(file):    1024612 kB
Inactive(file):   490792 kB
Unevictable:      110288 kB
Mlocked:          110288 kB
SwapTotal:      67108860 kB
SwapFree:       66961216 kB
Dirty:             26004 kB
Writeback:             0 kB
AnonPages:        112572 kB
Mapped:            48144 kB
Shmem:             40300 kB
Slab:             168912 kB
SReclaimable:     140560 kB
SUnreclaim:        28352 kB
KernelStack:        3456 kB
PageTables:         5184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     505816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 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:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61208 MiB
End job on node116 at 2019-09-17 13:42:49