Trace number 4407182

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-24 parallelSAT (TO)2042294 19196.2 2520.13

General information on the benchmark

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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407182-1569363489.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407182-1569363489.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
2.85/0.96	c solve instance...
3.41/1.10	o 472042 
4.10/1.12	o 947044 
5.63/1.39	o 949948 
6.96/1.60	o 952681 
7.69/1.66	o 959327 
8.34/1.74	o 966688 
8.34/1.78	o 967177 
10.99/2.15	o 995531 
11.43/2.27	o 1005301 
12.09/2.33	o 1005591 
12.09/2.37	o 1024163 
12.38/2.43	o 1027721 
12.38/2.49	o 1142823 
13.36/2.62	o 1144960 
13.36/2.66	o 1146167 
13.75/2.78	o 1147380 
14.55/2.84	o 1149791 
15.32/2.93	o 1153685 
15.32/2.97	o 1153861 
15.83/3.09	o 1180371 
17.10/3.22	o 1188600 
17.92/3.33	o 1203995 
18.63/3.45	o 1204280 
19.16/3.50	o 1204357 
20.48/3.81	o 1205406 
20.48/3.81	o 1205592 
20.48/3.81	o 1211426 
20.48/3.82	o 1211575 
22.68/4.13	o 1223415 
23.22/4.25	o 1223755 
23.67/4.32	o 1226176 
24.20/4.43	o 1230410 
24.20/4.48	o 1230998 
24.59/4.53	o 1232784 
24.59/4.58	o 1232844 
24.85/4.63	o 1236115 
24.85/4.63	o 1236653 
25.33/4.73	o 1237901 
25.33/4.78	o 1238942 
25.64/4.84	o 1239038 
25.64/4.89	o 1244178 
25.64/4.89	o 1247538 
26.98/5.03	o 1251081 
27.75/5.15	o 1251274 
28.23/5.21	o 1252751 
28.85/5.31	o 1258994 
30.38/5.56	o 1260948 
30.90/5.61	o 1262058 
30.90/5.67	o 1263951 
31.57/5.74	o 1287512 
32.24/5.81	o 1292734 
33.00/5.97	o 1299029 
33.60/6.07	o 1299761 
34.24/6.17	o 1300542 
34.76/6.22	o 1300582 
34.76/6.27	o 1302368 
35.25/6.31	o 1303328 
35.78/6.42	o 1303879 
36.36/6.57	o 1304037 
37.07/6.66	o 1305050 
37.78/6.79	o 1307395 
38.54/6.84	o 1309328 
39.97/7.07	o 1309804 
40.29/7.12	o 1311221 
40.29/7.17	o 1313907 
40.54/7.28	o 1315667 
41.12/7.35	o 1324442 
41.80/7.45	o 1325874 
42.28/7.57	o 1327084 
42.97/7.61	o 1330894 
43.53/7.72	o 1335695 
43.53/7.78	o 1335868 
43.88/7.83	o 1337260 
43.88/7.89	o 1340900 
44.53/7.95	o 1344943 
45.00/8.05	o 1347106 
45.00/8.11	o 1347534 
45.94/8.22	o 1351479 
46.49/8.33	o 1355892 
46.49/8.38	o 1356339 
47.57/8.51	o 1357033 
47.57/8.57	o 1357886 
48.08/8.66	o 1359957 
48.49/8.73	o 1362179 
49.05/8.83	o 1365800 
49.05/8.90	o 1366487 
50.41/9.01	o 1370109 
50.41/9.07	o 1371093 
51.18/9.18	o 1378598 
51.88/9.24	o 1397296 
52.41/9.33	o 1398915 
52.41/9.39	o 1398938 
52.77/9.45	o 1398942 
53.47/9.59	o 1401254 
54.15/9.64	o 1401322 
54.63/9.75	o 1403645 
55.14/9.85	o 1407179 
55.80/9.98	o 1407403 
56.52/10.02	o 1408519 
57.18/10.14	o 1408524 
57.88/10.20	o 1410383 
58.35/10.30	o 1417151 
59.87/10.58	o 1417657 
61.23/10.71	o 1417987 
61.96/10.88	o 1428017 
64.10/11.19	o 1442517 
66.23/11.48	o 1443185 
67.64/11.61	o 1444261 
68.41/11.78	o 1446649 
70.62/12.05	o 1446650 
77.57/12.92	o 1448517 
82.18/13.60	o 1450737 
82.97/13.66	o 1451501 
84.47/13.80	o 1453371 
85.19/13.98	o 1453446 
87.27/14.25	o 1455585 
88.70/14.42	o 1456032 
91.71/14.83	o 1456351 
92.44/14.98	o 1457018 
94.61/15.24	o 1457447 
96.89/15.51	o 1460350 
97.67/15.69	o 1472889 
98.94/15.84	o 1476549 
99.49/16.00	o 1480258 
100.11/16.06	o 1484244 
101.57/16.21	o 1486134 
103.06/16.48	o 1488461 
103.83/16.59	o 1490320 
105.12/16.79	o 1498328 
105.83/16.86	o 1498730 
106.51/16.92	o 1503283 
107.35/17.07	o 1504286 
107.99/17.12	o 1505104 
109.51/17.39	o 1507785 
110.25/17.44	o 1509927 
111.81/17.66	o 1510614 
113.04/17.81	o 1511169 
113.70/17.96	o 1515955 
115.97/18.27	o 1515994 
116.55/18.37	o 1516461 
118.62/18.66	o 1517657 
119.85/18.82	o 1518679 
120.47/18.99	o 1522028 
124.10/19.43	o 1522092 
126.11/19.70	o 1522611 
126.91/19.85	o 1523538 
127.52/19.97	o 1524554 
129.88/20.28	o 1527235 
131.12/20.46	o 1533621 
132.37/20.60	o 1535079 
133.95/20.86	o 1537097 
134.67/21.00	o 1538333 
136.73/21.21	o 1539079 
137.45/21.34	o 1539811 
138.16/21.48	o 1541543 
140.36/21.76	o 1541938 
141.66/21.92	o 1543655 
144.69/22.34	o 1544735 
147.58/22.72	o 1547462 
148.36/22.86	o 1547722 
149.74/23.01	o 1550161 
151.26/23.29	o 1550292 
156.73/23.94	o 1550306 
159.07/24.23	o 1551179 
159.80/24.37	o 1552232 
161.27/24.52	o 1553219 
162.41/24.70	o 1553733 
163.20/24.85	o 1555317 
163.84/25.00	o 1555867 
168.49/25.57	o 1557103 
172.22/26.04	o 1557622 
172.88/26.19	o 1558545 
175.13/26.45	o 1560596 
177.44/26.72	o 1565508 
178.10/26.87	o 1565927 
179.48/27.02	o 1566276 
181.61/27.30	o 1569491 
182.35/27.44	o 1569615 
182.35/27.50	o 1575931 
183.79/27.64	o 1576764 
184.49/27.79	o 1577532 
188.34/28.21	o 1577551 
189.06/28.35	o 1579356 
189.66/28.46	o 1589665 
190.19/28.54	o 1591903 
192.32/28.84	o 1592204 
192.92/28.99	o 1592287 
195.92/29.39	o 1592638 
197.40/29.54	o 1594089 
199.68/29.82	o 1594841 
200.34/30.00	o 1594884 
200.89/30.09	o 1598014 
202.20/30.27	o 1598044 
203.54/30.41	o 1599307 
204.25/30.55	o 1605767 
205.66/30.70	o 1605856 
206.42/30.85	o 1606265 
207.14/31.00	o 1609297 
209.35/31.26	o 1609630 
210.08/31.35	o 1618784 
212.24/31.64	o 1620072 
212.79/31.77	o 1620272 
214.34/31.94	o 1620352 
214.99/32.09	o 1621794 
216.36/32.23	o 1626189 
217.88/32.49	o 1628197 
219.43/32.66	o 1628813 
225.53/33.44	o 1629557 
226.97/33.60	o 1630746 
227.73/33.75	o 1633539 
229.26/33.99	o 1634656 
230.88/34.14	o 1634660 
232.93/34.40	o 1638244 
234.46/34.67	o 1639787 
239.97/35.35	o 1640250 
240.48/35.46	o 1643589 
242.06/35.63	o 1643847 
242.61/35.78	o 1643866 
243.92/35.95	o 1650546 
244.61/36.09	o 1652040 
246.01/36.25	o 1652162 
248.97/36.66	o 1653476 
250.19/36.83	o 1657283 
251.62/37.02	o 1658408 
253.61/37.30	o 1659465 
256.67/37.71	o 1660740 
257.39/37.85	o 1661059 
257.95/37.99	o 1661177 
261.02/38.31	o 1661923 
261.80/38.45	o 1665909 
262.37/38.58	o 1666239 
263.86/38.70	o 1669578 
265.43/38.98	o 1674869 
267.65/39.24	o 1675388 
268.35/39.37	o 1678349 
270.70/39.63	o 1680511 
273.87/40.03	o 1684063 
278.50/40.68	o 1684582 
279.83/40.82	o 1685159 
281.44/41.06	o 1686002 
284.54/41.46	o 1687017 
294.07/42.62	o 1688110 
298.69/44.28	o 1689396 
301.59/45.32	o 1691772 
304.66/46.60	o 1692501 
312.44/49.95	o 1692554 
316.19/51.96	o 1692794 
322.21/54.30	o 1693428 
330.11/59.67	o 1693677 
331.16/59.81	o 1694364 
331.86/59.95	o 1694883 
333.26/60.13	o 1697126 
350.66/73.92	o 1698985 
355.30/74.54	o 1700346 
360.65/75.20	o 1701971 
411.71/117.06	o 1703786 
421.94/123.75	o 1704532 
444.00/130.88	o 1706026 
463.16/145.73	o 1706032 
473.29/147.04	o 1706757 
479.48/147.80	o 1709438 
483.39/148.36	o 1709505 
495.80/149.90	o 1710422 
497.43/150.19	o 1711079 
498.80/150.34	o 1715270 
500.04/150.51	o 1717075 
500.73/150.64	o 1717305 
503.07/150.94	o 1718424 
505.07/151.28	o 1723190 
506.10/151.45	o 1723691 
508.18/151.72	o 1724627 
509.68/151.97	o 1727436 
511.27/152.14	o 1728724 
511.75/152.28	o 1729153 
516.39/152.88	o 1729703 
518.29/153.15	o 1730009 
518.81/153.28	o 1730149 
524.35/153.91	o 1730626 
525.94/154.18	o 1731012 
528.22/154.45	o 1731325 
528.78/154.59	o 1731790 
531.12/154.89	o 1732424 
532.50/155.07	o 1733360 
533.73/155.22	o 1734056 
534.40/155.37	o 1734298 
538.14/155.86	o 1736068 
539.52/156.02	o 1736618 
540.92/156.29	o 1737732 
543.19/156.55	o 1738231 
546.30/156.97	o 1738750 
560.48/158.77	o 1742672 
588.05/162.24	o 1743042 
589.36/162.42	o 1743641 
597.15/163.47	o 1745758 
604.22/164.37	o 1745810 
647.09/169.73	o 1748117 
650.10/170.12	o 1750482 
652.09/170.40	o 1751054 
652.85/170.53	o 1752146 
653.63/170.66	o 1752422 
654.31/170.74	o 1755552 
654.97/170.87	o 1755695 
657.57/171.23	o 1761196 
658.13/171.37	o 1762877 
660.37/171.62	o 1763982 
661.12/171.79	o 1764048 
662.42/171.96	o 1767094 
663.69/172.15	o 1768971 
665.73/172.41	o 1769829 
666.50/172.54	o 1770028 
667.23/172.69	o 1775873 
668.73/172.82	o 1776062 
670.95/173.16	o 1777025 
672.09/173.34	o 1777540 
673.16/173.50	o 1779326 
673.94/173.63	o 1780216 
674.70/173.77	o 1780957 
678.59/174.27	o 1781476 
680.98/174.54	o 1782708 
681.68/174.61	o 1784513 
683.20/174.85	o 1784956 
686.72/175.34	o 1786833 
688.69/175.60	o 1787251 
689.47/175.77	o 1787815 
690.75/175.93	o 1787864 
694.50/176.42	o 1788225 
695.27/176.57	o 1789836 
698.31/176.97	o 1790297 
699.74/177.13	o 1792155 
700.29/177.29	o 1792782 
704.06/177.80	o 1794641 
705.49/177.94	o 1795142 
718.06/179.59	o 1796582 
721.85/180.03	o 1796631 
741.68/182.57	o 1798330 
742.37/182.68	o 1798629 
743.95/182.86	o 1799179 
746.12/183.13	o 1799698 
750.70/183.75	o 1799867 
761.81/185.16	o 1802934 
768.14/185.96	o 1808948 
778.92/187.35	o 1809495 
780.93/187.61	o 1813300 
782.47/187.88	o 1815047 
784.73/188.18	o 1816423 
786.63/188.43	o 1817350 
788.88/188.73	o 1817817 
797.99/189.90	o 1818646 
799.63/190.18	o 1822624 
800.13/190.26	o 1824302 
801.42/190.44	o 1824413 
801.94/190.56	o 1825686 
803.47/190.70	o 1826974 
810.56/191.64	o 1828234 
816.71/192.43	o 1828904 
822.83/193.24	o 1829229 
823.36/193.36	o 1829748 
827.27/193.89	o 1831523 
828.76/194.03	o 1832621 
831.03/194.39	o 1835296 
832.56/194.56	o 1835945 
833.77/194.72	o 1836626 
837.58/195.27	o 1836979 
838.92/195.41	o 1837610 
840.41/195.66	o 1838807 
842.79/195.90	o 1838834 
843.63/196.03	o 1839881 
844.37/196.17	o 1839930 
845.71/196.30	o 1840449 
846.45/196.47	o 1841080 
850.24/196.98	o 1842205 
860.49/198.21	o 1842745 
866.83/199.08	o 1843097 
868.90/199.38	o 1843209 
870.91/199.63	o 1843728 
874.90/200.11	o 1843859 
876.41/200.38	o 1844644 
897.82/203.05	o 1846018 
900.66/203.41	o 1846652 
937.27/208.06	o 1846892 
944.13/208.94	o 1847249 
948.79/209.54	o 1847883 
950.24/209.77	o 1849662 
966.91/211.83	o 1853067 
968.45/212.08	o 1853687 
1025.35/219.23	o 1856128 
1035.43/220.58	o 1856573 
1043.30/221.51	o 1857986 
1106.40/229.58	o 1858817 
1114.90/230.62	o 1858910 
1115.56/230.79	o 1859099 
1116.88/230.93	o 1859993 
1119.94/231.32	o 1861131 
1121.42/231.60	o 1861765 
1125.10/232.08	o 1864990 
1133.32/233.17	o 1866226 
1149.05/235.13	o 1867450 
1152.04/235.55	o 1868995 
1155.71/236.10	o 1869447 
1157.00/236.26	o 1870834 
1160.24/236.71	o 1871580 
1160.93/236.85	o 1871629 
1165.22/237.42	o 1872263 
1173.78/238.59	o 1872375 
1180.47/239.44	o 1872894 
1193.08/241.07	o 1874699 
1255.72/249.01	o 1875454 
1261.15/249.73	o 1877426 
1263.30/250.03	o 1878046 
2167.36/364.09	o 1878380 
2185.26/366.35	o 1878874 
2187.22/366.62	o 1880733 
2206.14/369.08	o 1881727 
2211.63/369.76	o 1881858 
2216.01/370.37	o 1887440 
2218.55/370.71	o 1887722 
2220.83/371.10	o 1887771 
2229.53/372.13	o 1888907 
2230.84/372.38	o 1890021 
2236.35/373.09	o 1894625 
2238.61/373.34	o 1895756 
2241.64/373.73	o 1896992 
2242.41/373.85	o 1897123 
2243.17/373.98	o 1897203 
2244.77/374.14	o 1903768 
2246.83/374.49	o 1903886 
2250.70/374.91	o 1905855 
2252.25/375.15	o 1906322 
2254.36/375.45	o 1906679 
2256.31/375.72	o 1906735 
2261.63/376.46	o 1909828 
2263.14/376.64	o 1909937 
2263.64/376.75	o 1910831 
2264.43/376.89	o 1911945 
2266.75/377.13	o 1912024 
2268.93/377.45	o 1912574 
2270.84/377.70	o 1914020 
2277.70/378.64	o 1916813 
2278.20/378.80	o 1918948 
2281.11/379.19	o 1921064 
2284.04/379.58	o 1922048 
2285.09/379.70	o 1922473 
2289.04/380.21	o 1924442 
2297.05/381.32	o 1924961 
2298.49/381.51	o 1925010 
2363.14/389.79	o 1925179 
3063.88/478.27	o 1930180 
3066.55/478.65	o 1931309 
3071.92/479.38	o 1931440 
3107.38/483.83	o 1932412 
3107.96/483.99	o 1933158 
3110.85/484.35	o 1933845 
3112.19/484.55	o 1934689 
3157.54/490.37	o 1934907 
3181.13/493.38	o 1936915 
3192.62/494.80	o 1937214 
3211.18/497.22	o 1937345 
3345.53/514.29	o 1938600 
3349.30/514.74	o 1940391 
3349.75/514.84	o 1943466 
3479.02/531.21	o 1944735 
3483.69/531.85	o 1946870 
3484.93/532.02	o 1948740 
3484.93/532.09	o 1950939 
3485.51/532.18	o 1952797 
3487.73/532.55	o 1956891 
3492.69/533.22	o 1956940 
3493.18/533.31	o 1958909 
3496.90/533.81	o 1959678 
3503.01/534.63	o 1961483 
3505.92/535.04	o 1961623 
3538.93/539.27	o 1961917 
3542.83/539.78	o 1962467 
3548.10/540.48	o 1962948 
3689.78/558.34	o 1964410 
3690.45/558.48	o 1965698 
4610.39/674.57	o 1967068 
4628.10/676.81	o 1967269 
4633.61/677.53	o 1967703 
4634.21/677.66	o 1968253 
4642.83/678.73	o 1968720 
7198.89/1001.83	o 1970566 
7199.44/1001.97	o 1974118 
7351.51/1021.21	o 1975094 
7357.40/1022.05	o 1979692 
7364.97/1023.09	o 1980379 
7522.50/1043.01	o 1981319 
7563.49/1048.54	o 1983924 
7566.38/1048.97	o 1984344 
7567.56/1049.12	o 1986789 
7569.93/1049.53	o 1987476 
7570.53/1049.64	o 1987491 
7588.58/1051.90	o 1989676 
7589.47/1052.05	o 1990964 
7598.02/1053.19	o 1992548 
7599.40/1053.36	o 1994665 
7629.24/1057.19	o 1997732 
7643.27/1058.97	o 1998605 
7650.68/1059.99	o 1999292 
7656.10/1060.66	o 2000276 
7837.83/1083.97	o 2000792 
10164.12/1377.62	o 2000893 
10170.52/1378.53	o 2002862 
10177.48/1379.40	o 2004720 
10299.88/1394.92	o 2005211 
11069.94/1492.07	o 2005927 
11105.25/1496.55	o 2007785 
11655.94/1566.11	o 2009056 
11663.09/1567.07	o 2014623 
11667.77/1567.62	o 2016482 
13909.83/1851.08	o 2021863 
13930.22/1853.70	o 2022847 
14058.27/1870.12	o 2027635 
17735.04/2334.64	o 2029928 
17778.76/2340.39	o 2030174 
17780.34/2340.54	o 2030733 
17785.12/2341.19	o 2033652 
17790.39/2342.14	o 2035744 
17790.81/2342.29	o 2037752 
17794.68/2342.70	o 2040185 
17796.26/2343.00	o 2041169 
17796.88/2343.07	o 2042294 
19195.58/2520.06	s SATISFIABLE
19195.58/2520.06	v <instantiation>
19195.58/2520.06	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>
19195.58/2520.06	v 	<values>0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 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 1 1 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 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 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 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 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 0 0 0 0 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 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 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
19195.58/2520.06	v </instantiation>
19195.58/2520.06	c Unexpected resolution interruption!

Verifier Data 

OK	2042294

Watcher Data 

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407182-1569363489/watcher-4407182-1569363489 -o /var/tmp/evaluation-result-4407182-1569363489/solver-4407182-1569363489 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node105-1569352967-7589 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1333004381 HOME/instance-4407182-1569363489.xml 

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

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


[startup+0.100136 s]*
/proc/loadavg: 1.29 1.92 4.38 2/210 9365
/proc/meminfo: memFree=26161344/32770624 swapFree=66956868/67108860
[pid=9344] ppid=9341 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9344/stat : 9344 (xcsp3-exec) S 9341 9344 7562 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512606694 115843072 362 33554432000 4194304 5098028 140720647713648 140720647711752 140677560267388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14487552 140720647721809 140720647722069 140720647722069 140720647724998 0
/proc/9344/statm: 28282 362 304 221 0 87 0
[pid=9346] ppid=9344 vsize=28227396 memory=29084 CPUtime=0.12 cores=0-7
/proc/9346/stat : 9346 (java) S 9344 9344 7562 0 -1 1077944320 5745 0 0 0 11 1 0 0 20 0 20 0 512606694 28904853504 7271 33554432000 4194304 4196468 140734813220560 140734813203104 139959938555639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
/proc/9346/statm: 7056849 7271 3122 1 0 7019032 0
[pid=9346/tid=9347] ppid=9344 vsize=28227396 memory=8317482817917895235 CPUtime=0.08 cores=0-7
/proc/9346/task/9347/stat : 9347 (java) R 9344 9344 7562 0 -1 4202560 3661 0 0 0 8 0 0 0 20 0 20 0 512606695 28904853504 7271 33554432000 4194304 4196468 140734813220560 139959942788912 139959938577565 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9348] ppid=9344 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9346/task/9348/stat : 9348 (java) S 9344 9344 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512606695 28904853504 7271 33554432000 4194304 4196468 140734813220560 139959899515792 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9349] ppid=9344 vsize=28227396 memory=139938953426560 CPUtime=0 cores=0-7
/proc/9346/task/9349/stat : 9349 (java) S 9344 9344 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512606695 28904853504 7271 33554432000 4194304 4196468 140734813220560 139959488912144 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9350] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9350/stat : 9350 (java) S 9344 9344 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512606695 28904853504 7271 33554432000 4194304 4196468 140734813220560 139959487859856 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9351] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9351/stat : 9351 (java) S 9344 9344 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512606695 28904853504 7271 33554432000 4194304 4196468 140734813220560 139959486807056 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9352] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9352/stat : 9352 (java) S 9344 9344 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512606695 28904853504 7271 33554432000 4194304 4196468 140734813220560 139959485753744 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9353] ppid=9344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9346/task/9353/stat : 9353 (java) S 9344 9344 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512606695 28904853504 7271 33554432000 4194304 4196468 140734813220560 139959484700944 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9354] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9354/stat : 9354 (java) S 9344 9344 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512606695 28904853504 7271 33554432000 4194304 4196468 140734813220560 139959483648656 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9355] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9355/stat : 9355 (java) S 9344 9344 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512606695 28904853504 7271 33554432000 4194304 4196468 140734813220560 139959482595856 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9356] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9356/stat : 9356 (java) S 9344 9344 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512606697 28904853504 7271 33554432000 4194304 4196468 140734813220560 139958335462000 139959938566786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9357] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9357/stat : 9357 (java) S 9344 9344 7562 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512606697 28904853504 7271 33554432000 4194304 4196468 140734813220560 139958334407968 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9358] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9358/stat : 9358 (java) S 9344 9344 7562 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512606697 28904853504 7271 33554432000 4194304 4196468 140734813220560 139958333355632 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9359] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9359/stat : 9359 (java) S 9344 9344 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512606700 28904853504 7271 33554432000 4194304 4196468 140734813220560 139958332303952 139959938574235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9360] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9360/stat : 9360 (java) S 9344 9344 7562 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 20 0 512606700 28904853504 7271 33554432000 4194304 4196468 140734813220560 139958331250800 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9361] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9361/stat : 9361 (java) S 9344 9344 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512606700 28904853504 7271 33554432000 4194304 4196468 140734813220560 139958330198000 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9362] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9362/stat : 9362 (java) S 9344 9344 7562 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 512606700 28904853504 7271 33554432000 4194304 4196468 140734813220560 139958329145712 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9363] ppid=9344 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/9346/task/9363/stat : 9363 (java) R 9344 9344 7562 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 20 0 512606700 28904853504 7271 33554432000 4194304 4196468 140734813220560 139958328092912 139959938576986 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9364] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9364/stat : 9364 (java) S 9344 9344 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512606700 28904853504 7271 33554432000 4194304 4196468 140734813220560 139958327040864 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9365] ppid=9344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9346/task/9365/stat : 9365 (java) S 9344 9344 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512606700 28904853504 7271 33554432000 4194304 4196468 140734813220560 139958325988144 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30532 KiB

[startup+0.211179 s]*
/proc/loadavg: 1.29 1.92 4.38 3/210 9365
/proc/meminfo: memFree=26148616/32770624 swapFree=66956868/67108860
[pid=9344] ppid=9341 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9344/stat : 9344 (xcsp3-exec) S 9341 9344 7562 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512606694 115843072 362 33554432000 4194304 5098028 140720647713648 140720647711752 140677560267388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14487552 140720647721809 140720647722069 140720647722069 140720647724998 0
/proc/9344/statm: 28282 362 304 221 0 87 0
[pid=9346] ppid=9344 vsize=28227396 memory=41048 CPUtime=0.34 cores=0-7
/proc/9346/stat : 9346 (java) S 9344 9344 7562 0 -1 1077944320 9570 0 0 0 31 3 0 0 20 0 20 0 512606694 28904853504 10262 33554432000 4194304 4196468 140734813220560 140734813203104 139959938555639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
/proc/9346/statm: 7056849 10262 3293 1 0 7019032 0
[pid=9346/tid=9347] ppid=9344 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/9346/task/9347/stat : 9347 (java) R 9344 9344 7562 0 -1 4202560 6684 0 0 0 18 1 0 0 20 0 20 0 512606695 28904853504 10262 33554432000 4194304 4196468 140734813220560 139959942790336 139959938576986 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9348] ppid=9344 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/9346/task/9348/stat : 9348 (java) S 9344 9344 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512606695 28904853504 10262 33554432000 4194304 4196468 140734813220560 139959899515792 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9349] ppid=9344 vsize=28227396 memory=139938953439877 CPUtime=0 cores=0-7
/proc/9346/task/9349/stat : 9349 (java) S 9344 9344 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512606695 28904853504 10262 33554432000 4194304 4196468 140734813220560 139959488912144 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9350] ppid=9344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9346/task/9350/stat : 9350 (java) S 9344 9344 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512606695 28904853504 10262 33554432000 4194304 4196468 140734813220560 139959487859856 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9351] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9351/stat : 9351 (java) S 9344 9344 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512606695 28904853504 10262 33554432000 4194304 4196468 140734813220560 139959486807056 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9352] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9352/stat : 9352 (java) S 9344 9344 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512606695 28904853504 10262 33554432000 4194304 4196468 140734813220560 139959485753744 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9353] ppid=9344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9346/task/9353/stat : 9353 (java) S 9344 9344 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512606695 28904853504 10262 33554432000 4194304 4196468 140734813220560 139959484700944 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9354] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9354/stat : 9354 (java) S 9344 9344 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512606695 28904853504 10262 33554432000 4194304 4196468 140734813220560 139959483648656 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9355] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9355/stat : 9355 (java) S 9344 9344 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512606695 28904853504 10262 33554432000 4194304 4196468 140734813220560 139959482595856 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9356] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9356/stat : 9356 (java) S 9344 9344 7562 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512606697 28904853504 10262 33554432000 4194304 4196468 140734813220560 139958335462000 139959938566786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9357] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9357/stat : 9357 (java) S 9344 9344 7562 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512606697 28904853504 10262 33554432000 4194304 4196468 140734813220560 139958334407968 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9358] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9358/stat : 9358 (java) S 9344 9344 7562 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512606697 28904853504 10262 33554432000 4194304 4196468 140734813220560 139958333355632 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9359] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9359/stat : 9359 (java) S 9344 9344 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512606700 28904853504 10262 33554432000 4194304 4196468 140734813220560 139958332303952 139959938574235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9360] ppid=9344 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9346/task/9360/stat : 9360 (java) S 9344 9344 7562 0 -1 1077944384 377 0 0 0 1 0 0 0 20 0 20 0 512606700 28904853504 10262 33554432000 4194304 4196468 140734813220560 139958331250800 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9361] ppid=9344 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9346/task/9361/stat : 9361 (java) S 9344 9344 7562 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 20 0 512606700 28904853504 10262 33554432000 4194304 4196468 140734813220560 139958330198000 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9362] ppid=9344 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/9346/task/9362/stat : 9362 (java) S 9344 9344 7562 0 -1 1077944384 315 0 0 0 1 0 0 0 20 0 20 0 512606700 28904853504 10262 33554432000 4194304 4196468 140734813220560 139958329145712 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9363] ppid=9344 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/9346/task/9363/stat : 9363 (java) R 9344 9344 7562 0 -1 4202560 779 0 0 0 8 0 0 0 20 0 20 0 512606700 28904853504 10262 33554432000 4194304 4196468 140734813220560 139958328092720 139959938569526 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9364] ppid=9344 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9364/stat : 9364 (java) S 9344 9344 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512606700 28904853504 10262 33554432000 4194304 4196468 140734813220560 139958327040864 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9365] ppid=9344 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9346/task/9365/stat : 9365 (java) S 9344 9344 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512606700 28904853504 10262 33554432000 4194304 4196468 140734813220560 139958325988144 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42496 KiB

[startup+0.31322 s]*
/proc/loadavg: 1.29 1.92 4.38 3/210 9365
/proc/meminfo: memFree=26140612/32770624 swapFree=66956868/67108860
[pid=9344] ppid=9341 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9344/stat : 9344 (xcsp3-exec) S 9341 9344 7562 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512606694 115843072 362 33554432000 4194304 5098028 140720647713648 140720647711752 140677560267388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14487552 140720647721809 140720647722069 140720647722069 140720647724998 0
/proc/9344/statm: 28282 362 304 221 0 87 0
[pid=9346] ppid=9344 vsize=28231652 memory=50004 CPUtime=0.53 cores=0-7
/proc/9346/stat : 9346 (java) S 9344 9344 7562 0 -1 1077944320 10896 0 0 0 49 4 0 0 20 0 20 0 512606694 28909211648 12501 33554432000 4194304 4196468 140734813220560 140734813203104 139959938555639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
/proc/9346/statm: 7057913 12501 3348 1 0 7019032 0
[pid=9346/tid=9347] ppid=9344 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/9346/task/9347/stat : 9347 (java) R 9344 9344 7562 0 -1 4202560 7836 0 0 0 27 2 0 0 20 0 20 0 512606695 28909211648 12501 33554432000 4194304 4196468 140734813220560 139959942786752 139959922636126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9348] ppid=9344 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9348/stat : 9348 (java) S 9344 9344 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512606695 28909211648 12501 33554432000 4194304 4196468 140734813220560 139959899515792 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9349] ppid=9344 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9349/stat : 9349 (java) S 9344 9344 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512606695 28909211648 12501 33554432000 4194304 4196468 140734813220560 139959488912144 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9350] ppid=9344 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9350/stat : 9350 (java) S 9344 9344 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512606695 28909211648 12501 33554432000 4194304 4196468 140734813220560 139959487859856 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9351] ppid=9344 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9351/stat : 9351 (java) S 9344 9344 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512606695 28909211648 12501 33554432000 4194304 4196468 140734813220560 139959486807056 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9352] ppid=9344 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9352/stat : 9352 (java) S 9344 9344 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512606695 28909211648 12501 33554432000 4194304 4196468 140734813220560 139959485753744 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9353] ppid=9344 vsize=28231652 memory=139938825857711 CPUtime=0 cores=0-7
/proc/9346/task/9353/stat : 9353 (java) S 9344 9344 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512606695 28909211648 12501 33554432000 4194304 4196468 140734813220560 139959484700944 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9354] ppid=9344 vsize=28231652 memory=139938825860016 CPUtime=0 cores=0-7
/proc/9346/task/9354/stat : 9354 (java) S 9344 9344 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512606695 28909211648 12501 33554432000 4194304 4196468 140734813220560 139959483648656 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9355] ppid=9344 vsize=28231652 memory=139938825862320 CPUtime=0 cores=0-7
/proc/9346/task/9355/stat : 9355 (java) S 9344 9344 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512606695 28909211648 12501 33554432000 4194304 4196468 140734813220560 139959482595856 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9356] ppid=9344 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9356/stat : 9356 (java) S 9344 9344 7562 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 512606697 28909211648 12501 33554432000 4194304 4196468 140734813220560 139958335462000 139959938566786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9357] ppid=9344 vsize=28231652 memory=279877651738512 CPUtime=0 cores=0-7
/proc/9346/task/9357/stat : 9357 (java) S 9344 9344 7562 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 512606697 28909211648 12501 33554432000 4194304 4196468 140734813220560 139958334407968 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9358] ppid=9344 vsize=28231652 memory=279877651736208 CPUtime=0 cores=0-7
/proc/9346/task/9358/stat : 9358 (java) S 9344 9344 7562 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512606697 28909211648 12501 33554432000 4194304 4196468 140734813220560 139958333355632 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9359] ppid=9344 vsize=28231652 memory=279877651743120 CPUtime=0 cores=0-7
/proc/9346/task/9359/stat : 9359 (java) S 9344 9344 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512606700 28909211648 12501 33554432000 4194304 4196468 140734813220560 139958332303952 139959938574235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9360] ppid=9344 vsize=28231652 memory=279877651684400 CPUtime=0.03 cores=0-7
/proc/9346/task/9360/stat : 9360 (java) R 9344 9344 7562 0 -1 4202560 482 0 0 0 3 0 0 0 20 0 20 0 512606700 28909211648 12501 33554432000 4194304 4196468 140734813220560 139958331242256 139959923681899 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9361] ppid=9344 vsize=28231652 memory=279877651756944 CPUtime=0.02 cores=0-7
/proc/9346/task/9361/stat : 9361 (java) S 9344 9344 7562 0 -1 1077944384 103 0 0 0 2 0 0 0 20 0 20 0 512606700 28909211648 12501 33554432000 4194304 4196468 140734813220560 139958330198000 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9362] ppid=9344 vsize=28231652 memory=279877651763856 CPUtime=0.02 cores=0-7
/proc/9346/task/9362/stat : 9362 (java) S 9344 9344 7562 0 -1 1077944384 318 0 0 0 2 0 0 0 20 0 20 0 512606700 28909211648 12501 33554432000 4194304 4196468 140734813220560 139958329145712 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9363] ppid=9344 vsize=28231652 memory=279877651761552 CPUtime=0.12 cores=0-7
/proc/9346/task/9363/stat : 9363 (java) S 9344 9344 7562 0 -1 1077944384 857 0 0 0 12 0 0 0 20 0 20 0 512606700 28909211648 12501 33554432000 4194304 4196468 140734813220560 139958328092912 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9364] ppid=9344 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9364/stat : 9364 (java) S 9344 9344 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512606700 28909211648 12501 33554432000 4194304 4196468 140734813220560 139958327040864 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9365] ppid=9344 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/9346/task/9365/stat : 9365 (java) S 9344 9344 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512606700 28909211648 12501 33554432000 4194304 4196468 140734813220560 139958325988144 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51452 KiB

[startup+0.701038 s]
/proc/loadavg: 1.29 1.92 4.38 5/210 9365
/proc/meminfo: memFree=26118972/32770624 swapFree=66956868/67108860
[pid=9344] ppid=9341 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9344/stat : 9344 (xcsp3-exec) S 9341 9344 7562 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512606694 115843072 362 33554432000 4194304 5098028 140720647713648 140720647711752 140677560267388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14487552 140720647721809 140720647722069 140720647722069 140720647724998 0
/proc/9344/statm: 28282 362 304 221 0 87 0
[pid=9346] ppid=9344 vsize=28233776 memory=126708 CPUtime=2 cores=0-7
/proc/9346/stat : 9346 (java) S 9344 9344 7562 0 -1 1077944320 18796 0 0 0 193 7 0 0 20 0 20 0 512606694 28911386624 31677 33554432000 4194304 4196468 140734813220560 140734813203104 139959938555639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
/proc/9346/statm: 7058444 31677 3456 1 0 7019544 0
[pid=9346/tid=9347] ppid=9344 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/9346/task/9347/stat : 9347 (java) R 9344 9344 7562 0 -1 4202560 9152 0 0 0 64 4 0 0 20 0 20 0 512606695 28911386624 31677 33554432000 4194304 4196468 140734813220560 139959942792368 139959577969870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9348] ppid=9344 vsize=28233776 memory=139938826068848 CPUtime=0 cores=0-7
/proc/9346/task/9348/stat : 9348 (java) S 9344 9344 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512606695 28911386624 31677 33554432000 4194304 4196468 140734813220560 139959899515792 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9349] ppid=9344 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/9346/task/9349/stat : 9349 (java) S 9344 9344 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512606695 28911386624 31677 33554432000 4194304 4196468 140734813220560 139959488912144 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9350] ppid=9344 vsize=28233776 memory=784 CPUtime=0 cores=0-7
/proc/9346/task/9350/stat : 9350 (java) S 9344 9344 7562 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512606695 28911386624 31677 33554432000 4194304 4196468 140734813220560 139959487859856 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0

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

[pid=9346/tid=13740] ppid=9344 vsize=28769364 memory=2054812 CPUtime=97.19 cores=0-7
/proc/9346/task/13740/stat : 13740 (java) R 9344 9344 7562 0 -1 4202560 6949 0 0 0 9709 10 0 0 20 0 28 0 512841001 29459828736 511493 33554432000 4194304 4196468 140734813220560 139958310453880 139959581546456 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
Current children cumulated CPU time: 18582 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 2047420 KiB

[startup+2502.31 s]
/proc/loadavg: 8.04 8.12 7.81 9/218 13750
/proc/meminfo: memFree=24356792/32770624 swapFree=66956872/67108860
[pid=9344] ppid=9341 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9344/stat : 9344 (xcsp3-exec) S 9341 9344 7562 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512606694 115843072 362 33554432000 4194304 5098028 140720647713648 140720647711752 140677560267388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14487552 140720647721809 140720647722069 140720647722069 140720647724998 0
/proc/9344/statm: 28282 362 304 221 0 87 0
[pid=9346] ppid=9344 vsize=28769364 memory=1825152 CPUtime=19056 cores=0-7
/proc/9346/stat : 9346 (java) S 9344 9344 7562 0 -1 1077944320 1935789 0 0 0 1903388 2212 0 0 20 0 28 0 512606694 29459828736 456288 33554432000 4194304 4196468 140734813220560 140734813203104 139959938555639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
/proc/9346/statm: 7192341 456288 3543 1 0 7153441 0
[pid=9346/tid=9347] ppid=9344 vsize=28769364 memory=1821588 CPUtime=1.41 cores=0-7
/proc/9346/task/9347/stat : 9347 (java) S 9344 9344 7562 0 -1 1077944384 24075 0 0 0 130 11 0 0 20 0 28 0 512606695 29459828736 456288 33554432000 4194304 4196468 140734813220560 139959942796352 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9348] ppid=9344 vsize=28769364 memory=2055836 CPUtime=14.78 cores=0-7
/proc/9346/task/9348/stat : 9348 (java) R 9344 9344 7562 0 -1 1077944384 85657 0 0 0 1419 59 0 0 20 0 28 0 512606695 29459828736 456288 33554432000 4194304 4196468 140734813220560 139959899515792 139959938565845 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9349] ppid=9344 vsize=28769364 memory=2057888 CPUtime=14.75 cores=0-7
/proc/9346/task/9349/stat : 9349 (java) S 9344 9344 7562 0 -1 1077944384 96360 0 0 0 1414 61 0 0 20 0 28 0 512606695 29459828736 456288 33554432000 4194304 4196468 140734813220560 139959488912144 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9350] ppid=9344 vsize=28769364 memory=1801944 CPUtime=14.74 cores=0-7
/proc/9346/task/9350/stat : 9350 (java) S 9344 9344 7562 0 -1 1077944384 94294 0 0 0 1417 57 0 0 20 0 28 0 512606695 29459828736 456288 33554432000 4194304 4196468 140734813220560 139959487859856 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9351] ppid=9344 vsize=28769364 memory=1634700 CPUtime=14.85 cores=0-7
/proc/9346/task/9351/stat : 9351 (java) S 9344 9344 7562 0 -1 1077944384 101657 0 0 0 1423 62 0 0 20 0 28 0 512606695 29459828736 456288 33554432000 4194304 4196468 140734813220560 139959486807056 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9352] ppid=9344 vsize=28769364 memory=1623756 CPUtime=14.8 cores=0-7
/proc/9346/task/9352/stat : 9352 (java) S 9344 9344 7562 0 -1 1077944384 87803 0 0 0 1422 58 0 0 20 0 28 0 512606695 29459828736 456288 33554432000 4194304 4196468 140734813220560 139959485753744 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9353] ppid=9344 vsize=28769364 memory=1621948 CPUtime=14.67 cores=0-7
/proc/9346/task/9353/stat : 9353 (java) S 9344 9344 7562 0 -1 1077944384 86030 0 0 0 1409 58 0 0 20 0 28 0 512606695 29459828736 456288 33554432000 4194304 4196468 140734813220560 139959484700944 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9354] ppid=9344 vsize=28769364 memory=1807776 CPUtime=14.74 cores=0-7
/proc/9346/task/9354/stat : 9354 (java) S 9344 9344 7562 0 -1 1077944384 95486 0 0 0 1416 58 0 0 20 0 28 0 512606695 29459828736 456288 33554432000 4194304 4196468 140734813220560 139959483648656 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9355] ppid=9344 vsize=28769364 memory=1807252 CPUtime=14.81 cores=0-7
/proc/9346/task/9355/stat : 9355 (java) S 9344 9344 7562 0 -1 1077944384 92522 0 0 0 1416 65 0 0 20 0 28 0 512606695 29459828736 456288 33554432000 4194304 4196468 140734813220560 139959482595856 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9356] ppid=9344 vsize=28769364 memory=1808276 CPUtime=16.64 cores=0-7
/proc/9346/task/9356/stat : 9356 (java) S 9344 9344 7562 0 -1 1077944384 386651 0 0 0 726 938 0 0 20 0 28 0 512606697 29459828736 456288 33554432000 4194304 4196468 140734813220560 139958335462000 139959938566786 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9357] ppid=9344 vsize=28769364 memory=1808272 CPUtime=0 cores=0-7
/proc/9346/task/9357/stat : 9357 (java) S 9344 9344 7562 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 512606697 29459828736 456288 33554432000 4194304 4196468 140734813220560 139958334408032 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9358] ppid=9344 vsize=28769364 memory=1750056 CPUtime=0 cores=0-7
/proc/9346/task/9358/stat : 9358 (java) S 9344 9344 7562 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 512606697 29459828736 456288 33554432000 4194304 4196468 140734813220560 139958333355648 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9359] ppid=9344 vsize=28769364 memory=2052760 CPUtime=0 cores=0-7
/proc/9346/task/9359/stat : 9359 (java) S 9344 9344 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512606700 29459828736 456288 33554432000 4194304 4196468 140734813220560 139958332303952 139959938574235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9360] ppid=9344 vsize=28769364 memory=1448 CPUtime=3.31 cores=0-7
/proc/9346/task/9360/stat : 9360 (java) S 9344 9344 7562 0 -1 1077944384 26528 0 0 0 326 5 0 0 20 0 28 0 512606700 29459828736 456288 33554432000 4194304 4196468 140734813220560 139958331250800 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9361] ppid=9344 vsize=28769364 memory=1827596 CPUtime=2.67 cores=0-7
/proc/9346/task/9361/stat : 9361 (java) S 9344 9344 7562 0 -1 1077944384 13027 0 0 0 265 2 0 0 20 0 28 0 512606700 29459828736 456288 33554432000 4194304 4196468 140734813220560 139958330198000 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9362] ppid=9344 vsize=28769364 memory=1827596 CPUtime=2.55 cores=0-7
/proc/9346/task/9362/stat : 9362 (java) S 9344 9344 7562 0 -1 1077944384 10955 0 0 0 253 2 0 0 20 0 28 0 512606700 29459828736 456288 33554432000 4194304 4196468 140734813220560 139958329145712 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9363] ppid=9344 vsize=28769364 memory=1816824 CPUtime=0.99 cores=0-7
/proc/9346/task/9363/stat : 9363 (java) S 9344 9344 7562 0 -1 1077944384 18991 0 0 0 96 3 0 0 20 0 28 0 512606700 29459828736 456288 33554432000 4194304 4196468 140734813220560 139958328092912 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9364] ppid=9344 vsize=28769364 memory=1821588 CPUtime=0 cores=0-7
/proc/9346/task/9364/stat : 9364 (java) S 9344 9344 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512606700 29459828736 456288 33554432000 4194304 4196468 140734813220560 139958327040864 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9365] ppid=9344 vsize=28769364 memory=1448 CPUtime=0.78 cores=0-7
/proc/9346/task/9365/stat : 9365 (java) S 9344 9344 7562 0 -1 1077944384 13922 0 0 0 21 57 0 0 20 0 28 0 512606700 29459828736 456288 33554432000 4194304 4196468 140734813220560 139958325988144 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=13733] ppid=9344 vsize=28769364 memory=1448 CPUtime=156.22 cores=0-7
/proc/9346/task/13733/stat : 13733 (java) R 9344 9344 7562 0 -1 4202560 4075 0 0 0 15620 2 0 0 20 0 28 0 512841001 29459828736 456288 33554432000 4194304 4196468 140734813220560 139958313609728 139959581801748 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=13734] ppid=9344 vsize=28769364 memory=1753636 CPUtime=156.33 cores=0-7
/proc/9346/task/13734/stat : 13734 (java) R 9344 9344 7562 0 -1 4202560 2972 0 0 0 15632 1 0 0 20 0 28 0 512841001 29459828736 456288 33554432000 4194304 4196468 140734813220560 139958306251776 139959580558706 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=13735] ppid=9344 vsize=28769364 memory=1448 CPUtime=156.31 cores=0-7
/proc/9346/task/13735/stat : 13735 (java) R 9344 9344 7562 0 -1 4202560 3378 0 0 0 15628 3 0 0 20 0 28 0 512841001 29459828736 456288 33554432000 4194304 4196468 140734813220560 139958311505664 139959581478560 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=13736] ppid=9344 vsize=28769364 memory=1823632 CPUtime=155.89 cores=0-7
/proc/9346/task/13736/stat : 13736 (java) R 9344 9344 7562 0 -1 4202560 14226 0 0 0 15576 13 0 0 20 0 28 0 512841001 29459828736 456288 33554432000 4194304 4196468 140734813220560 139958315717000 139959582388545 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=13737] ppid=9344 vsize=28769364 memory=1819556 CPUtime=156.41 cores=0-7
/proc/9346/task/13737/stat : 13737 (java) R 9344 9344 7562 0 -1 4202560 9323 0 0 0 15630 11 0 0 20 0 28 0 512841001 29459828736 456288 33554432000 4194304 4196468 140734813220560 139958316769056 139959583479269 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=13738] ppid=9344 vsize=28769364 memory=1448 CPUtime=156.52 cores=0-7
/proc/9346/task/13738/stat : 13738 (java) R 9344 9344 7562 0 -1 4202560 10721 0 0 0 15631 21 0 0 20 0 28 0 512841001 29459828736 456288 33554432000 4194304 4196468 140734813220560 139958309403776 139959583479341 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=13739] ppid=9344 vsize=28769364 memory=1816824 CPUtime=155.56 cores=0-7
/proc/9346/task/13739/stat : 13739 (java) R 9344 9344 7562 0 -1 4202560 2819 0 0 0 15555 1 0 0 20 0 28 0 512841001 29459828736 456288 33554432000 4194304 4196468 140734813220560 139958314664320 139959581022275 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=13740] ppid=9344 vsize=28769364 memory=1829688 CPUtime=155.46 cores=0-7
/proc/9346/task/13740/stat : 13740 (java) R 9344 9344 7562 0 -1 4202560 11379 0 0 0 15532 14 0 0 20 0 28 0 512841001 29459828736 456288 33554432000 4194304 4196468 140734813220560 139958310452912 139959583367389 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
Current children cumulated CPU time: 19056 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 1826600 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.03 8.11 7.82 9/218 13752
/proc/meminfo: memFree=24356528/32770624 swapFree=66956872/67108860
[pid=9344] ppid=9341 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9344/stat : 9344 (xcsp3-exec) S 9341 9344 7562 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 512606694 115843072 362 33554432000 4194304 5098028 140720647713648 140720647711752 140677560267388 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14487552 140720647721809 140720647722069 140720647722069 140720647724998 0
/proc/9344/statm: 28282 362 304 221 0 87 0
[pid=9346] ppid=9344 vsize=28769364 memory=1823568 CPUtime=19195.6 cores=0-7
/proc/9346/stat : 9346 (java) S 9344 9344 7562 0 -1 1077944320 1936930 0 0 0 1917324 2234 0 0 20 0 28 0 512606694 29459828736 455892 33554432000 4194304 4196468 140734813220560 140734813203104 139959938555639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
/proc/9346/statm: 7192341 455892 3543 1 0 7153441 0
[pid=9346/tid=9347] ppid=9344 vsize=28769364 memory=8317482817917895235 CPUtime=1.41 cores=0-7
/proc/9346/task/9347/stat : 9347 (java) S 9344 9344 7562 0 -1 1077944384 24075 0 0 0 130 11 0 0 20 0 28 0 512606695 29459828736 455892 33554432000 4194304 4196468 140734813220560 139959942796352 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9348] ppid=9344 vsize=28769364 memory=4872558044660077418 CPUtime=14.86 cores=0-7
/proc/9346/task/9348/stat : 9348 (java) S 9344 9344 7562 0 -1 1077944384 85954 0 0 0 1427 59 0 0 20 0 28 0 512606695 29459828736 455892 33554432000 4194304 4196468 140734813220560 139959899515792 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9349] ppid=9344 vsize=28769364 memory=804 CPUtime=14.84 cores=0-7
/proc/9346/task/9349/stat : 9349 (java) S 9344 9344 7562 0 -1 1077944384 96423 0 0 0 1422 62 0 0 20 0 28 0 512606695 29459828736 455892 33554432000 4194304 4196468 140734813220560 139959488912144 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9350] ppid=9344 vsize=28769364 memory=111632 CPUtime=14.83 cores=0-7
/proc/9346/task/9350/stat : 9350 (java) S 9344 9344 7562 0 -1 1077944384 94311 0 0 0 1425 58 0 0 20 0 28 0 512606695 29459828736 455892 33554432000 4194304 4196468 140734813220560 139959487859856 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9351] ppid=9344 vsize=28769364 memory=804 CPUtime=14.93 cores=0-7
/proc/9346/task/9351/stat : 9351 (java) S 9344 9344 7562 0 -1 1077944384 101670 0 0 0 1431 62 0 0 20 0 28 0 512606695 29459828736 455892 33554432000 4194304 4196468 140734813220560 139959486807056 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9352] ppid=9344 vsize=28769364 memory=1808 CPUtime=14.88 cores=0-7
/proc/9346/task/9352/stat : 9352 (java) S 9344 9344 7562 0 -1 1077944384 87844 0 0 0 1430 58 0 0 20 0 28 0 512606695 29459828736 455892 33554432000 4194304 4196468 140734813220560 139959485753744 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9353] ppid=9344 vsize=28769364 memory=1448 CPUtime=14.75 cores=0-7
/proc/9346/task/9353/stat : 9353 (java) S 9344 9344 7562 0 -1 1077944384 86043 0 0 0 1417 58 0 0 20 0 28 0 512606695 29459828736 455892 33554432000 4194304 4196468 140734813220560 139959484700944 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9354] ppid=9344 vsize=28769364 memory=0 CPUtime=14.82 cores=0-7
/proc/9346/task/9354/stat : 9354 (java) S 9344 9344 7562 0 -1 1077944384 95523 0 0 0 1424 58 0 0 20 0 28 0 512606695 29459828736 455892 33554432000 4194304 4196468 140734813220560 139959483648656 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9355] ppid=9344 vsize=28769364 memory=7100839861465685612 CPUtime=14.9 cores=0-7
/proc/9346/task/9355/stat : 9355 (java) S 9344 9344 7562 0 -1 1077944384 92549 0 0 0 1424 66 0 0 20 0 28 0 512606695 29459828736 455892 33554432000 4194304 4196468 140734813220560 139959482595856 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9356] ppid=9344 vsize=28769364 memory=0 CPUtime=16.92 cores=0-7
/proc/9346/task/9356/stat : 9356 (java) S 9344 9344 7562 0 -1 1077944384 386725 0 0 0 736 956 0 0 20 0 28 0 512606697 29459828736 455892 33554432000 4194304 4196468 140734813220560 139958335462000 139959938566786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9357] ppid=9344 vsize=28769364 memory=7228675873634542182 CPUtime=0 cores=0-7
/proc/9346/task/9357/stat : 9357 (java) S 9344 9344 7562 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 512606697 29459828736 455892 33554432000 4194304 4196468 140734813220560 139958334408032 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9358] ppid=9344 vsize=28769364 memory=279877651529968 CPUtime=0 cores=0-7
/proc/9346/task/9358/stat : 9358 (java) S 9344 9344 7562 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 512606697 29459828736 455892 33554432000 4194304 4196468 140734813220560 139958333355648 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9359] ppid=9344 vsize=28769364 memory=279877651529968 CPUtime=0 cores=0-7
/proc/9346/task/9359/stat : 9359 (java) S 9344 9344 7562 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 512606700 29459828736 455892 33554432000 4194304 4196468 140734813220560 139958332303952 139959938574235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9360] ppid=9344 vsize=28769364 memory=5868301796470056548 CPUtime=3.31 cores=0-7
/proc/9346/task/9360/stat : 9360 (java) S 9344 9344 7562 0 -1 1077944384 26530 0 0 0 326 5 0 0 20 0 28 0 512606700 29459828736 455892 33554432000 4194304 4196468 140734813220560 139958331250800 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9361] ppid=9344 vsize=28769364 memory=6515465389265 CPUtime=2.67 cores=0-7
/proc/9346/task/9361/stat : 9361 (java) S 9344 9344 7562 0 -1 1077944384 13029 0 0 0 265 2 0 0 20 0 28 0 512606700 29459828736 455892 33554432000 4194304 4196468 140734813220560 139958330198000 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9362] ppid=9344 vsize=28769364 memory=-1664385933527490352 CPUtime=2.55 cores=0-7
/proc/9346/task/9362/stat : 9362 (java) S 9344 9344 7562 0 -1 1077944384 10957 0 0 0 253 2 0 0 20 0 28 0 512606700 29459828736 455892 33554432000 4194304 4196468 140734813220560 139958329145712 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9363] ppid=9344 vsize=28769364 memory=6196 CPUtime=0.99 cores=0-7
/proc/9346/task/9363/stat : 9363 (java) S 9344 9344 7562 0 -1 1077944384 18993 0 0 0 96 3 0 0 20 0 28 0 512606700 29459828736 455892 33554432000 4194304 4196468 140734813220560 139958328092912 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9364] ppid=9344 vsize=28769364 memory=784 CPUtime=0 cores=0-7
/proc/9346/task/9364/stat : 9364 (java) S 9344 9344 7562 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 512606700 29459828736 455892 33554432000 4194304 4196468 140734813220560 139958327040864 139959938565845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=9365] ppid=9344 vsize=28769364 memory=1060 CPUtime=0.78 cores=0-7
/proc/9346/task/9365/stat : 9365 (java) S 9344 9344 7562 0 -1 1077944384 13924 0 0 0 21 57 0 0 20 0 28 0 512606700 29459828736 455892 33554432000 4194304 4196468 140734813220560 139958325988144 139959938566786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=13733] ppid=9344 vsize=28769364 memory=14012 CPUtime=173.44 cores=0-7
/proc/9346/task/13733/stat : 13733 (java) R 9344 9344 7562 0 -1 4202560 4134 0 0 0 17342 2 0 0 20 0 28 0 512841001 29459828736 455892 33554432000 4194304 4196468 140734813220560 139958313609864 139959582325537 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=13734] ppid=9344 vsize=28769364 memory=25440 CPUtime=173.67 cores=0-7
/proc/9346/task/13734/stat : 13734 (java) R 9344 9344 7562 0 -1 4202560 3013 0 0 0 17366 1 0 0 20 0 28 0 512841001 29459828736 455892 33554432000 4194304 4196468 140734813220560 139958306251912 139959581023014 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=13735] ppid=9344 vsize=28769364 memory=14056 CPUtime=173.64 cores=0-7
/proc/9346/task/13735/stat : 13735 (java) R 9344 9344 7562 0 -1 4202560 3430 0 0 0 17361 3 0 0 20 0 28 0 512841001 29459828736 455892 33554432000 4194304 4196468 140734813220560 139958311508368 139959581478633 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=13736] ppid=9344 vsize=28769364 memory=2116 CPUtime=173.16 cores=0-7
/proc/9346/task/13736/stat : 13736 (java) R 9344 9344 7562 0 -1 4202560 14280 0 0 0 17303 13 0 0 20 0 28 0 512841001 29459828736 455892 33554432000 4194304 4196468 140734813220560 139958315716424 139959581823835 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=13737] ppid=9344 vsize=28769364 memory=516 CPUtime=173.76 cores=0-7
/proc/9346/task/13737/stat : 13737 (java) R 9344 9344 7562 0 -1 4202560 9352 0 0 0 17365 11 0 0 20 0 28 0 512841001 29459828736 455892 33554432000 4194304 4196468 140734813220560 139958316769224 139959583367129 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=13738] ppid=9344 vsize=28769364 memory=1556 CPUtime=173.96 cores=0-7
/proc/9346/task/13738/stat : 13738 (java) R 9344 9344 7562 0 -1 4202560 10913 0 0 0 17375 21 0 0 20 0 28 0 512841001 29459828736 455892 33554432000 4194304 4196468 140734813220560 139958309400120 139959583479341 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=13739] ppid=9344 vsize=28769364 memory=3624 CPUtime=172.91 cores=0-7
/proc/9346/task/13739/stat : 13739 (java) R 9344 9344 7562 0 -1 4202560 2856 0 0 0 17289 2 0 0 20 0 28 0 512841001 29459828736 455892 33554432000 4194304 4196468 140734813220560 139958314664568 139959581020602 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
[pid=9346/tid=13740] ppid=9344 vsize=28769364 memory=54144 CPUtime=172.8 cores=0-7
/proc/9346/task/13740/stat : 13740 (java) R 9344 9344 7562 0 -1 4202560 11464 0 0 0 17266 14 0 0 20 0 28 0 512841001 29459828736 455892 33554432000 4194304 4196468 140734813220560 139958310453744 139959580944812 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 10809344 140734813225942 140734813226118 140734813226118 140734813229007 0
Current children cumulated CPU time: 19195.6 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 1825016 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.13
CPU time (s): 19196.2
CPU user time (s): 19173.9
CPU system time (s): 22.3805
CPU usage (%): 761.716
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 2741208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19173.9
system time used= 22.3805
maximum resident set size= 2740284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1937771
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 241631
involuntary context switches= 219192


# summary of solver processes directly reported to runsolver:
#   pid: 9344,9346
#   total CPU time (s): 19196.2
#   total CPU user time (s): 19173.9
#   total CPU system time (s): 22.3805

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.4024 second user time and 24.37 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-24 23:16:28
IDJOB=4407182
IDBENCH=141154
IDSOLVER=2871
FILE ID=node105/4407182-1569363489
RUNJOBID= node105-1569352967-7589
PBS_JOBID= 21705104
Free space on /var/tmp= 13176 MiB

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

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=1333004381

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.00
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26177740 kB
MemAvailable:   31797628 kB
Buffers:          131136 kB
Cached:          5616724 kB
SwapCached:        48352 kB
Active:          2863060 kB
Inactive:        2934684 kB
Active(anon):       4488 kB
Inactive(anon):    99620 kB
Active(file):    2858572 kB
Inactive(file):  2835064 kB
Unevictable:      110908 kB
Mlocked:          110908 kB
SwapTotal:      67108860 kB
SwapFree:       66956868 kB
Dirty:             26296 kB
Writeback:             0 kB
AnonPages:        113216 kB
Mapped:            54672 kB
Shmem:             45944 kB
Slab:             383980 kB
SReclaimable:     354712 kB
SUnreclaim:        29268 kB
KernelStack:        3408 kB
PageTables:         6088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /var/tmp at the end= 13152 MiB
End job on node105 at 2019-09-24 23:58:28