Trace number 4407482

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)1898058 1900.59 252.115

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407482-1569349820.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4407482-1569349820.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
2.86/0.96	c solve instance...
3.46/1.09	o 472042 
4.69/1.25	o 947044 
5.86/1.42	o 949948 
5.86/1.43	o 949949 
6.55/1.57	o 958756 
7.08/1.68	o 959898 
7.79/1.75	o 1024147 
8.35/1.85	o 1024683 
8.97/1.92	o 1026287 
9.69/2.01	o 1027077 
9.69/2.06	o 1031613 
9.69/2.11	o 1041495 
10.89/2.24	o 1044515 
10.89/2.29	o 1045006 
11.17/2.38	o 1046906 
11.75/2.43	o 1049891 
11.75/2.43	o 1051507 
11.75/2.48	o 1053449 
12.32/2.57	o 1057169 
12.92/2.63	o 1057890 
12.92/2.67	o 1059393 
13.30/2.72	o 1063994 
13.97/2.80	o 1063998 
14.69/2.90	o 1064127 
14.69/2.99	o 1065735 
15.34/3.03	o 1070069 
15.83/3.12	o 1074121 
15.83/3.17	o 1076951 
16.28/3.26	o 1077968 
16.65/3.31	o 1084354 
17.37/3.42	o 1084612 
18.55/3.61	o 1085236 
18.55/3.61	o 1126423 
19.33/3.71	o 1127901 
20.01/3.84	o 1127902 
20.74/3.95	o 1129006 
20.74/3.99	o 1132529 
22.17/4.14	o 1138289 
22.17/4.19	o 1139328 
22.44/4.28	o 1139903 
23.00/4.34	o 1145790 
23.00/4.38	o 1148285 
23.25/4.47	o 1149235 
23.62/4.52	o 1150649 
24.34/4.70	o 1150657 
24.74/4.75	o 1152561 
25.27/4.85	o 1153068 
26.57/5.02	o 1162828 
27.28/5.17	o 1164390 
27.69/5.22	o 1165407 
28.32/5.34	o 1166691 
28.32/5.39	o 1176451 
29.05/5.44	o 1177796 
29.60/5.56	o 1179429 
30.13/5.60	o 1179885 
30.13/5.61	o 1183351 
30.86/5.72	o 1183512 
30.86/5.77	o 1185970 
31.31/5.87	o 1188409 
31.73/5.91	o 1189391 
31.73/5.91	o 1195481 
32.47/6.03	o 1201623 
33.05/6.11	o 1210749 
33.05/6.16	o 1210964 
33.24/6.20	o 1213526 
33.95/6.38	o 1224644 
36.00/6.61	o 1226056 
36.77/6.73	o 1226303 
36.77/6.77	o 1226441 
37.38/6.87	o 1229462 
37.81/6.91	o 1229500 
38.35/7.01	o 1240365 
39.13/7.12	o 1241614 
39.83/7.29	o 1246781 
40.45/7.39	o 1247678 
40.98/7.43	o 1248286 
40.98/7.48	o 1249747 
41.51/7.59	o 1250019 
42.07/7.64	o 1250443 
42.53/7.70	o 1265614 
43.30/7.83	o 1273988 
46.34/8.21	o 1275359 
48.66/8.57	o 1277331 
49.35/8.67	o 1283302 
50.76/8.84	o 1283679 
51.33/9.00	o 1283758 
51.98/9.05	o 1283787 
54.03/9.33	o 1288238 
54.03/9.38	o 1289139 
54.35/9.43	o 1289658 
54.35/9.48	o 1292998 
54.93/9.58	o 1294022 
55.47/9.63	o 1295730 
56.00/9.74	o 1295926 
56.00/9.79	o 1297684 
56.42/9.89	o 1298650 
56.99/9.95	o 1298835 
56.99/9.99	o 1308176 
57.98/10.11	o 1308951 
58.64/10.29	o 1314293 
59.08/10.34	o 1315879 
59.57/10.44	o 1315880 
59.57/10.48	o 1317600 
60.46/10.60	o 1318855 
60.46/10.66	o 1321427 
60.91/10.79	o 1323619 
61.62/10.88	o 1330924 
62.15/11.00	o 1332652 
62.92/11.06	o 1374208 
63.48/11.15	o 1374364 
64.61/11.31	o 1375676 
65.28/11.49	o 1379355 
66.08/11.53	o 1381154 
66.60/11.64	o 1384213 
67.10/11.77	o 1384826 
67.62/11.81	o 1385855 
68.13/11.92	o 1388577 
68.13/11.97	o 1388805 
68.59/12.03	o 1390674 
70.02/12.25	o 1391003 
70.72/12.37	o 1393862 
72.29/12.51	o 1394291 
72.29/12.51	o 1395602 
73.05/12.66	o 1398150 
73.58/12.76	o 1398400 
74.17/12.84	o 1407284 
75.66/13.06	o 1407328 
76.00/13.12	o 1408523 
76.00/13.16	o 1413415 
76.33/13.27	o 1413666 
76.89/13.33	o 1419232 
77.61/13.49	o 1419710 
78.15/13.54	o 1421004 
78.63/13.64	o 1421404 
79.16/13.76	o 1421677 
79.95/13.89	o 1425274 
81.60/14.01	o 1434658 
81.60/14.06	o 1435780 
82.07/14.19	o 1436465 
83.44/14.31	o 1436628 
84.18/14.44	o 1436685 
84.86/14.54	o 1436962 
85.48/14.66	o 1437224 
86.24/14.79	o 1437429 
87.81/14.91	o 1441846 
87.81/14.96	o 1444025 
88.31/15.05	o 1444172 
88.96/15.17	o 1446996 
88.96/15.17	o 1448143 
89.65/15.29	o 1448334 
91.22/15.41	o 1450151 
91.22/15.46	o 1451777 
91.70/15.56	o 1451878 
92.14/15.60	o 1452203 
92.67/15.71	o 1454675 
93.33/15.88	o 1455181 
93.92/15.94	o 1456859 
95.51/16.18	o 1457227 
97.00/16.36	o 1457232 
97.48/16.46	o 1457536 
97.87/16.51	o 1457699 
99.34/16.74	o 1460708 
99.91/16.87	o 1460986 
100.59/16.92	o 1463016 
101.17/17.03	o 1463528 
101.82/17.16	o 1463548 
102.27/17.21	o 1465168 
103.03/17.33	o 1465280 
103.03/17.33	o 1467497 
103.76/17.45	o 1468175 
104.23/17.51	o 1468266 
104.23/17.56	o 1469274 
104.73/17.61	o 1469627 
105.31/17.70	o 1470272 
105.31/17.75	o 1471978 
105.84/17.86	o 1472657 
106.15/17.91	o 1480104 
106.89/18.07	o 1480815 
107.22/18.11	o 1481727 
107.90/18.29	o 1482056 
109.07/18.41	o 1482949 
109.81/18.59	o 1486438 
110.44/18.69	o 1491670 
111.69/18.82	o 1492936 
112.46/18.98	o 1499705 
113.03/19.09	o 1500126 
113.80/19.19	o 1501061 
115.13/19.31	o 1501343 
115.89/19.48	o 1501771 
118.00/19.72	o 1505284 
118.00/19.77	o 1507143 
119.52/19.99	o 1507295 
120.25/20.04	o 1510143 
120.81/20.14	o 1510793 
121.96/20.31	o 1513656 
122.65/20.43	o 1513788 
123.41/20.54	o 1514017 
123.41/20.59	o 1514469 
123.72/20.68	o 1515199 
124.28/20.78	o 1521143 
124.85/20.85	o 1521895 
125.58/20.96	o 1523143 
125.58/21.00	o 1523531 
126.68/21.13	o 1526809 
127.31/21.29	o 1528771 
127.86/21.35	o 1528788 
128.33/21.44	o 1530632 
128.92/21.52	o 1530951 
129.45/21.62	o 1531034 
130.09/21.78	o 1532112 
130.59/21.88	o 1533835 
131.12/22.00	o 1536032 
132.72/22.16	o 1537075 
133.33/22.28	o 1537664 
135.50/22.50	o 1537999 
135.50/22.54	o 1539214 
136.07/22.64	o 1539353 
137.35/22.81	o 1544711 
138.04/22.97	o 1545135 
138.62/23.10	o 1551050 
139.38/23.14	o 1551130 
140.64/23.36	o 1551429 
141.13/23.41	o 1554019 
142.61/23.63	o 1555841 
142.61/23.67	o 1556638 
143.19/23.80	o 1557079 
143.91/23.89	o 1561234 
144.49/23.95	o 1561837 
145.04/24.08	o 1563301 
145.83/24.18	o 1563638 
147.08/24.30	o 1567210 
147.83/24.42	o 1576616 
149.39/24.65	o 1578029 
152.55/25.09	o 1579391 
153.73/25.21	o 1579650 
157.66/25.74	o 1583820 
158.21/25.87	o 1584059 
158.92/25.99	o 1584998 
161.26/26.22	o 1585310 
161.26/26.28	o 1592879 
162.77/26.49	o 1593605 
163.47/26.53	o 1600449 
164.01/26.64	o 1600678 
164.01/26.68	o 1603686 
165.94/26.98	o 1603799 
167.26/27.12	o 1604092 
167.26/27.13	o 1604852 
167.89/27.25	o 1607194 
168.67/27.31	o 1612416 
169.39/27.43	o 1612725 
170.18/27.58	o 1614229 
170.75/27.63	o 1614918 
170.75/27.69	o 1615385 
172.24/27.81	o 1616127 
172.24/27.86	o 1618866 
172.72/27.97	o 1619035 
173.20/28.02	o 1622352 
173.74/28.12	o 1622719 
173.74/28.17	o 1624690 
174.06/28.27	o 1625122 
174.60/28.31	o 1625808 
175.17/28.41	o 1627416 
175.89/28.53	o 1627725 
175.89/28.57	o 1628146 
176.39/28.68	o 1632282 
176.95/28.73	o 1632471 
177.54/28.85	o 1633692 
178.27/28.94	o 1635269 
179.00/29.05	o 1639075 
179.00/29.10	o 1640275 
179.53/29.15	o 1640742 
179.95/29.21	o 1641138 
181.38/29.43	o 1641729 
181.38/29.47	o 1641785 
183.27/29.71	o 1641992 
183.93/29.87	o 1644253 
184.33/29.92	o 1644691 
184.92/30.02	o 1644942 
185.60/30.15	o 1645080 
185.60/30.19	o 1646596 
186.04/30.24	o 1648060 
186.04/30.29	o 1648269 
187.33/30.41	o 1650348 
188.04/30.58	o 1650374 
188.50/30.69	o 1650537 
189.32/30.74	o 1651122 
190.61/30.99	o 1652493 
192.04/31.11	o 1655101 
192.73/31.24	o 1659775 
193.39/31.37	o 1659780 
194.07/31.47	o 1660875 
195.35/31.60	o 1661508 
195.35/31.65	o 1661622 
195.83/31.70	o 1662089 
195.83/31.75	o 1667700 
196.87/31.90	o 1670121 
196.87/31.95	o 1670143 
197.47/32.07	o 1671189 
198.99/32.30	o 1672992 
201.87/32.65	o 1673976 
204.23/32.99	o 1674809 
206.54/33.27	o 1674871 
207.07/33.33	o 1675338 
207.07/33.37	o 1675895 
209.16/33.60	o 1676802 
209.91/33.76	o 1677315 
211.32/34.00	o 1678677 
212.82/34.12	o 1679894 
213.44/34.21	o 1683988 
214.12/34.34	o 1684324 
217.20/34.70	o 1688455 
217.20/34.74	o 1689518 
217.69/34.86	o 1690122 
218.39/34.96	o 1690313 
219.84/35.19	o 1690819 
220.59/35.23	o 1693560 
221.96/35.46	o 1698955 
222.67/35.56	o 1699679 
223.19/35.68	o 1699818 
223.85/35.73	o 1699845 
223.85/35.78	o 1704172 
224.10/35.87	o 1704611 
224.59/35.92	o 1705838 
225.31/36.06	o 1706808 
225.86/36.18	o 1708221 
226.54/36.27	o 1709004 
227.23/36.39	o 1709335 
228.83/36.52	o 1709755 
229.52/36.64	o 1711914 
229.52/36.64	o 1712402 
230.27/36.76	o 1713452 
230.89/36.80	o 1716537 
230.89/36.86	o 1717004 
231.59/36.93	o 1719685 
234.50/37.32	o 1721346 
235.09/37.44	o 1721434 
235.82/37.56	o 1721744 
236.60/37.61	o 1722433 
237.30/37.79	o 1722486 
239.38/38.02	o 1724598 
240.07/38.14	o 1725271 
240.77/38.26	o 1727230 
243.88/38.63	o 1727672 
244.50/38.75	o 1728199 
247.65/39.15	o 1729591 
248.07/39.27	o 1730110 
252.02/39.78	o 1730248 
253.48/39.92	o 1730617 
255.13/40.19	o 1731983 
256.30/40.32	o 1732795 
256.99/40.48	o 1735991 
258.30/40.60	o 1748566 
259.83/40.83	o 1749121 
261.47/41.07	o 1749387 
262.22/41.18	o 1749922 
262.93/41.28	o 1751894 
266.12/41.62	o 1755050 
267.61/41.83	o 1757994 
268.39/41.95	o 1759439 
273.12/42.55	o 1759488 
273.74/42.67	o 1760675 
274.46/42.79	o 1760724 
276.04/42.91	o 1761479 
280.71/43.52	o 1762674 
281.34/43.63	o 1764255 
285.99/44.21	o 1765331 
289.05/44.66	o 1765962 
293.78/45.26	o 1766011 
323.17/49.32	o 1768575 
325.76/50.30	o 1769035 
329.34/51.51	o 1769890 
339.27/54.16	o 1777517 
341.22/54.49	o 1778148 
347.49/55.26	o 1779710 
352.04/55.86	o 1780177 
352.53/55.97	o 1782495 
355.68/56.30	o 1783357 
357.18/56.53	o 1783671 
362.62/57.22	o 1783720 
364.05/57.48	o 1785297 
371.68/58.42	o 1785756 
374.71/58.86	o 1786861 
375.47/58.97	o 1786992 
379.43/59.43	o 1787969 
380.16/59.57	o 1790077 
383.92/60.03	o 1792805 
390.16/60.86	o 1793436 
401.31/62.27	o 1797018 
406.00/62.86	o 1797020 
407.38/63.08	o 1797175 
412.84/63.76	o 1797313 
415.90/64.15	o 1797327 
416.34/64.27	o 1797956 
417.85/64.41	o 1799688 
420.71/64.81	o 1800544 
421.37/64.98	o 1805145 
422.96/65.13	o 1805227 
426.51/65.60	o 1805276 
451.20/68.72	o 1806824 
457.41/69.50	o 1807026 
458.19/69.66	o 1807478 
462.70/70.22	o 1807762 
463.37/70.35	o 1812519 
464.62/70.51	o 1814315 
470.90/71.40	o 1815146 
475.32/71.90	o 1815681 
482.46/72.82	o 1817540 
489.44/73.73	o 1817644 
490.96/73.94	o 1818111 
493.29/74.27	o 1818430 
499.73/75.03	o 1820957 
502.84/75.48	o 1823351 
510.76/76.44	o 1824097 
529.55/78.89	o 1824238 
530.29/79.00	o 1824240 
531.91/79.11	o 1826661 
532.61/79.23	o 1827688 
533.34/79.35	o 1828327 
534.91/79.59	o 1840010 
536.41/79.71	o 1841676 
537.14/79.89	o 1844548 
537.90/80.01	o 1845235 
539.49/80.13	o 1845952 
544.06/80.71	o 1848517 
547.20/81.17	o 1849504 
549.44/81.42	o 1849635 
562.06/83.04	o 1850154 
592.20/86.86	o 1852610 
600.05/87.88	o 1853129 
613.40/89.50	o 1854229 
615.78/89.87	o 1855343 
630.77/91.78	o 1855810 
748.59/106.58	o 1859234 
772.37/109.57	o 1859854 
804.91/113.67	o 1871063 
806.27/113.83	o 1873502 
806.84/113.95	o 1874194 
807.61/114.06	o 1874472 
810.67/114.41	o 1874775 
820.19/115.68	o 1877087 
824.96/116.21	o 1878945 
921.32/128.33	o 1879976 
1004.32/138.81	o 1881342 
1008.06/139.30	o 1881844 
1008.80/139.42	o 1881975 
1012.66/139.90	o 1882241 
1014.30/140.14	o 1884213 
1019.69/140.83	o 1884900 
1149.18/157.11	o 1886934 
1155.36/157.92	o 1887259 
1163.12/158.91	o 1888381 
1164.77/159.17	o 1888848 
1166.86/159.43	o 1890825 
1168.21/159.65	o 1891292 
1186.46/162.00	o 1892406 
1230.14/167.48	o 1893082 
1238.86/168.53	o 1894941 
1257.50/170.92	o 1896200 
1261.26/171.41	o 1898058 
1899.88/252.07	s SATISFIABLE
1899.88/252.07	v <instantiation>
1899.88/252.07	v 	<list>b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] </list>
1899.88/252.07	v 	<values>0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 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 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 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 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
1899.88/252.07	v </instantiation>
1899.88/252.07	c Unexpected resolution interruption!

Verifier Data 

OK	1898058

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407482-1569349820/watcher-4407482-1569349820 -o /var/tmp/evaluation-result-4407482-1569349820/solver-4407482-1569349820 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569335935-15195 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1428284258 HOME/instance-4407482-1569349820.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=18974, runsolver pid=18971

[startup+0.100162 s]*
/proc/loadavg: 6.44 7.47 7.89 2/211 18995
/proc/meminfo: memFree=25199932/32770624 swapFree=66935948/67108860
[pid=18974] ppid=18971 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18974/stat : 18974 (xcsp3-exec) S 18971 18974 15168 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510895751 115843072 364 33554432000 4194304 5098028 140722867697424 140722867695528 139740798091900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15556608 140722867704663 140722867704922 140722867704922 140722867707846 0
/proc/18974/statm: 28282 364 305 221 0 87 0
[pid=18976] ppid=18974 vsize=28227396 memory=28892 CPUtime=0.12 cores=0-7
/proc/18976/stat : 18976 (java) S 18974 18974 15168 0 -1 1077944320 5700 0 0 0 11 1 0 0 20 0 20 0 510895752 28904853504 7223 33554432000 4194304 4196468 140722394005952 140722393988496 140095590895351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
/proc/18976/statm: 7056849 7223 3115 1 0 7019032 0
[pid=18976/tid=18977] ppid=18974 vsize=28227396 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/18976/task/18977/stat : 18977 (java) R 18974 18974 15168 0 -1 4202560 3606 0 0 0 8 0 0 0 20 0 20 0 510895752 28904853504 7223 33554432000 4194304 4196468 140722394005952 140095595129632 140095590917277 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18978] ppid=18974 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/18976/task/18978/stat : 18978 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28904853504 7223 33554432000 4194304 4196468 140722394005952 140095543516304 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18979] ppid=18974 vsize=28227396 memory=140448817895040 CPUtime=0 cores=0-7
/proc/18976/task/18979/stat : 18979 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28904853504 7223 33554432000 4194304 4196468 140722394005952 140095542463504 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18980] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18980/stat : 18980 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28904853504 7223 33554432000 4194304 4196468 140722394005952 140095541410704 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18981] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18981/stat : 18981 (java) S 18974 18974 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510895753 28904853504 7223 33554432000 4194304 4196468 140722394005952 140095540357904 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18982] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18982/stat : 18982 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28904853504 7223 33554432000 4194304 4196468 140722394005952 140095539305104 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18983] ppid=18974 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18976/task/18983/stat : 18983 (java) S 18974 18974 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510895753 28904853504 7223 33554432000 4194304 4196468 140722394005952 140095538252304 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18984] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18984/stat : 18984 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28904853504 7223 33554432000 4194304 4196468 140722394005952 140095537199504 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18985] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18985/stat : 18985 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28904853504 7223 33554432000 4194304 4196468 140722394005952 140095536146704 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18986] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18986/stat : 18986 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895754 28904853504 7223 33554432000 4194304 4196468 140722394005952 140094189157232 140095590906498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18987] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18987/stat : 18987 (java) S 18974 18974 15168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510895755 28904853504 7223 33554432000 4194304 4196468 140722394005952 140094188103200 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18988] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18988/stat : 18988 (java) S 18974 18974 15168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510895755 28904853504 7223 33554432000 4194304 4196468 140722394005952 140094187050352 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18989] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18989/stat : 18989 (java) S 18974 18974 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510895757 28904853504 7223 33554432000 4194304 4196468 140722394005952 140094185998672 140095590913947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18990] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18990/stat : 18990 (java) S 18974 18974 15168 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 510895757 28904853504 7223 33554432000 4194304 4196468 140722394005952 140094184946032 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18991] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18991/stat : 18991 (java) R 18974 18974 15168 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 510895757 28904853504 7223 33554432000 4194304 4196468 140722394005952 140094183893232 140095583880393 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18992] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18992/stat : 18992 (java) R 18974 18974 15168 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 510895757 28904853504 7223 33554432000 4194304 4196468 140722394005952 140093981452400 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18993] ppid=18974 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/18976/task/18993/stat : 18993 (java) R 18974 18974 15168 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 20 0 510895757 28904853504 7223 33554432000 4194304 4196468 140722394005952 140093980399600 140095590907286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18994] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18994/stat : 18994 (java) S 18974 18974 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510895758 28904853504 7223 33554432000 4194304 4196468 140722394005952 140093979348064 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18995] ppid=18974 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18976/task/18995/stat : 18995 (java) S 18974 18974 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510895758 28904853504 7223 33554432000 4194304 4196468 140722394005952 140093978295344 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30348 KiB

[startup+0.210519 s]*
/proc/loadavg: 6.44 7.47 7.89 2/211 18995
/proc/meminfo: memFree=25186484/32770624 swapFree=66935948/67108860
[pid=18974] ppid=18971 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18974/stat : 18974 (xcsp3-exec) S 18971 18974 15168 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510895751 115843072 364 33554432000 4194304 5098028 140722867697424 140722867695528 139740798091900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15556608 140722867704663 140722867704922 140722867704922 140722867707846 0
/proc/18974/statm: 28282 364 305 221 0 87 0
[pid=18976] ppid=18974 vsize=28227396 memory=40332 CPUtime=0.33 cores=0-7
/proc/18976/stat : 18976 (java) S 18974 18974 15168 0 -1 1077944320 9338 0 0 0 31 2 0 0 20 0 20 0 510895752 28904853504 10083 33554432000 4194304 4196468 140722394005952 140722393988496 140095590895351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
/proc/18976/statm: 7056849 10083 3255 1 0 7019032 0
[pid=18976/tid=18977] ppid=18974 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/18976/task/18977/stat : 18977 (java) R 18974 18974 15168 0 -1 4202560 6589 0 0 0 18 2 0 0 20 0 20 0 510895752 28904853504 10083 33554432000 4194304 4196468 140722394005952 140095595128320 140095568897959 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18978] ppid=18974 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/18976/task/18978/stat : 18978 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28904853504 10083 33554432000 4194304 4196468 140722394005952 140095543516304 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18979] ppid=18974 vsize=28227396 memory=140448821739047 CPUtime=0 cores=0-7
/proc/18976/task/18979/stat : 18979 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28904853504 10083 33554432000 4194304 4196468 140722394005952 140095542463504 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18980] ppid=18974 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18976/task/18980/stat : 18980 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28904853504 10083 33554432000 4194304 4196468 140722394005952 140095541410704 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18981] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18981/stat : 18981 (java) S 18974 18974 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510895753 28904853504 10083 33554432000 4194304 4196468 140722394005952 140095540357904 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18982] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18982/stat : 18982 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28904853504 10083 33554432000 4194304 4196468 140722394005952 140095539305104 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18983] ppid=18974 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18976/task/18983/stat : 18983 (java) S 18974 18974 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510895753 28904853504 10083 33554432000 4194304 4196468 140722394005952 140095538252304 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18984] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18984/stat : 18984 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28904853504 10083 33554432000 4194304 4196468 140722394005952 140095537199504 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18985] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18985/stat : 18985 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28904853504 10083 33554432000 4194304 4196468 140722394005952 140095536146704 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18986] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18986/stat : 18986 (java) S 18974 18974 15168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510895754 28904853504 10083 33554432000 4194304 4196468 140722394005952 140094189157232 140095590906498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18987] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18987/stat : 18987 (java) S 18974 18974 15168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510895755 28904853504 10083 33554432000 4194304 4196468 140722394005952 140094188103200 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18988] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18988/stat : 18988 (java) S 18974 18974 15168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510895755 28904853504 10083 33554432000 4194304 4196468 140722394005952 140094187050352 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18989] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18989/stat : 18989 (java) S 18974 18974 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510895757 28904853504 10083 33554432000 4194304 4196468 140722394005952 140094185998672 140095590913947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18990] ppid=18974 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/18976/task/18990/stat : 18990 (java) S 18974 18974 15168 0 -1 1077944384 438 0 0 0 2 0 0 0 20 0 20 0 510895757 28904853504 10083 33554432000 4194304 4196468 140722394005952 140094184946032 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18991] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18991/stat : 18991 (java) S 18974 18974 15168 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 510895757 28904853504 10083 33554432000 4194304 4196468 140722394005952 140094183893232 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18992] ppid=18974 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/18976/task/18992/stat : 18992 (java) S 18974 18974 15168 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 20 0 510895757 28904853504 10083 33554432000 4194304 4196468 140722394005952 140093981452400 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18993] ppid=18974 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/18976/task/18993/stat : 18993 (java) R 18974 18974 15168 0 -1 4202560 802 0 0 0 7 0 0 0 20 0 20 0 510895757 28904853504 10083 33554432000 4194304 4196468 140722394005952 140093980399408 140095574252040 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18994] ppid=18974 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18994/stat : 18994 (java) S 18974 18974 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510895758 28904853504 10083 33554432000 4194304 4196468 140722394005952 140093979348064 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18995] ppid=18974 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18976/task/18995/stat : 18995 (java) S 18974 18974 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510895758 28904853504 10083 33554432000 4194304 4196468 140722394005952 140093978295344 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41788 KiB

[startup+0.309955 s]*
/proc/loadavg: 6.44 7.47 7.89 4/211 18995
/proc/meminfo: memFree=25179632/32770624 swapFree=66935948/67108860
[pid=18974] ppid=18971 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18974/stat : 18974 (xcsp3-exec) S 18971 18974 15168 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510895751 115843072 364 33554432000 4194304 5098028 140722867697424 140722867695528 139740798091900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15556608 140722867704663 140722867704922 140722867704922 140722867707846 0
/proc/18974/statm: 28282 364 305 221 0 87 0
[pid=18976] ppid=18974 vsize=28231652 memory=49484 CPUtime=0.52 cores=0-7
/proc/18976/stat : 18976 (java) S 18974 18974 15168 0 -1 1077944320 10759 0 0 0 49 3 0 0 20 0 20 0 510895752 28909211648 12371 33554432000 4194304 4196468 140722394005952 140722393988496 140095590895351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
/proc/18976/statm: 7057913 12371 3324 1 0 7019032 0
[pid=18976/tid=18977] ppid=18974 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18976/task/18977/stat : 18977 (java) R 18974 18974 15168 0 -1 4202560 7733 0 0 0 27 2 0 0 20 0 20 0 510895752 28909211648 12409 33554432000 4194304 4196468 140722394005952 140095595126464 140095574975838 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18978] ppid=18974 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18978/stat : 18978 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28909211648 12409 33554432000 4194304 4196468 140722394005952 140095543516304 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18979] ppid=18974 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18979/stat : 18979 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28909211648 12409 33554432000 4194304 4196468 140722394005952 140095542463504 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18980] ppid=18974 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18980/stat : 18980 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28909211648 12409 33554432000 4194304 4196468 140722394005952 140095541410704 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18981] ppid=18974 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18981/stat : 18981 (java) S 18974 18974 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510895753 28909211648 12409 33554432000 4194304 4196468 140722394005952 140095540357904 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18982] ppid=18974 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/18976/task/18982/stat : 18982 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28909211648 12409 33554432000 4194304 4196468 140722394005952 140095539305104 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18983] ppid=18974 vsize=28231652 memory=140448719008687 CPUtime=0 cores=0-7
/proc/18976/task/18983/stat : 18983 (java) S 18974 18974 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510895753 28909211648 12409 33554432000 4194304 4196468 140722394005952 140095538252304 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18984] ppid=18974 vsize=28231652 memory=140448719010992 CPUtime=0 cores=0-7
/proc/18976/task/18984/stat : 18984 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28909211648 12409 33554432000 4194304 4196468 140722394005952 140095537199504 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18985] ppid=18974 vsize=28231652 memory=140448719013296 CPUtime=0 cores=0-7
/proc/18976/task/18985/stat : 18985 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28909211648 12409 33554432000 4194304 4196468 140722394005952 140095536146704 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18986] ppid=18974 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18986/stat : 18986 (java) S 18974 18974 15168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510895754 28909211648 12409 33554432000 4194304 4196468 140722394005952 140094189157232 140095590906498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18987] ppid=18974 vsize=28231652 memory=280897438033552 CPUtime=0 cores=0-7
/proc/18976/task/18987/stat : 18987 (java) S 18974 18974 15168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510895755 28909211648 12409 33554432000 4194304 4196468 140722394005952 140094188103200 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18988] ppid=18974 vsize=28231652 memory=280897438040464 CPUtime=0 cores=0-7
/proc/18976/task/18988/stat : 18988 (java) S 18974 18974 15168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510895755 28909211648 12409 33554432000 4194304 4196468 140722394005952 140094187050352 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18989] ppid=18974 vsize=28231652 memory=280897437981744 CPUtime=0 cores=0-7
/proc/18976/task/18989/stat : 18989 (java) S 18974 18974 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510895757 28909211648 12409 33554432000 4194304 4196468 140722394005952 140094185998672 140095590913947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18990] ppid=18974 vsize=28231652 memory=280897438054288 CPUtime=0.03 cores=0-7
/proc/18976/task/18990/stat : 18990 (java) S 18974 18974 15168 0 -1 1077944384 444 0 0 0 3 0 0 0 20 0 20 0 510895757 28909211648 12409 33554432000 4194304 4196468 140722394005952 140094184946032 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18991] ppid=18974 vsize=28231652 memory=280897438061200 CPUtime=0.02 cores=0-7
/proc/18976/task/18991/stat : 18991 (java) R 18974 18974 15168 0 -1 4202560 168 0 0 0 2 0 0 0 20 0 20 0 510895757 28909211648 12409 33554432000 4194304 4196468 140722394005952 140094183883616 140095570141956 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18992] ppid=18974 vsize=28231652 memory=280897438058896 CPUtime=0.02 cores=0-7
/proc/18976/task/18992/stat : 18992 (java) S 18974 18974 15168 0 -1 1077944384 156 0 0 0 2 0 0 0 20 0 20 0 510895757 28909211648 12409 33554432000 4194304 4196468 140722394005952 140093981452400 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18993] ppid=18974 vsize=28231652 memory=280897438075056 CPUtime=0.12 cores=0-7
/proc/18976/task/18993/stat : 18993 (java) S 18974 18974 15168 0 -1 1077944384 949 0 0 0 12 0 0 0 20 0 20 0 510895757 28909211648 12409 33554432000 4194304 4196468 140722394005952 140093980399600 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18994] ppid=18974 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18994/stat : 18994 (java) S 18974 18974 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510895758 28909211648 12409 33554432000 4194304 4196468 140722394005952 140093979348064 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18995] ppid=18974 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/18976/task/18995/stat : 18995 (java) S 18974 18974 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510895758 28909211648 12409 33554432000 4194304 4196468 140722394005952 140093978295344 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50940 KiB

[startup+0.701002 s]
/proc/loadavg: 6.44 7.47 7.89 6/211 18995
/proc/meminfo: memFree=25157296/32770624 swapFree=66935948/67108860
[pid=18974] ppid=18971 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18974/stat : 18974 (xcsp3-exec) S 18971 18974 15168 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510895751 115843072 364 33554432000 4194304 5098028 140722867697424 140722867695528 139740798091900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15556608 140722867704663 140722867704922 140722867704922 140722867707846 0
/proc/18974/statm: 28282 364 305 221 0 87 0
[pid=18976] ppid=18974 vsize=28233776 memory=124500 CPUtime=2 cores=0-7
/proc/18976/stat : 18976 (java) S 18974 18974 15168 0 -1 1077944320 19323 0 0 0 193 7 0 0 20 0 20 0 510895752 28911386624 31125 33554432000 4194304 4196468 140722394005952 140722393988496 140095590895351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
/proc/18976/statm: 7058444 31125 3456 1 0 7019544 0
[pid=18976/tid=18977] ppid=18974 vsize=28233776 memory=280897438432944 CPUtime=0.68 cores=0-7
/proc/18976/task/18977/stat : 18977 (java) R 18974 18974 15168 0 -1 4202560 9175 0 0 0 64 4 0 0 20 0 20 0 510895752 28911386624 31125 33554432000 4194304 4196468 140722394005952 140095595131904 140095210031259 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18978] ppid=18974 vsize=28233776 memory=140448719217520 CPUtime=0 cores=0-7
/proc/18976/task/18978/stat : 18978 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28911386624 31125 33554432000 4194304 4196468 140722394005952 140095543516304 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18979] ppid=18974 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/18976/task/18979/stat : 18979 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28911386624 31125 33554432000 4194304 4196468 140722394005952 140095542463504 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18980] ppid=18974 vsize=28233776 memory=1128 CPUtime=0 cores=0-7
/proc/18976/task/18980/stat : 18980 (java) S 18974 18974 15168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510895753 28911386624 31125 33554432000 4194304 4196468 140722394005952 140095541410704 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0

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

[pid=18976/tid=22663] ppid=18974 vsize=28968028 memory=1456 CPUtime=0.27 cores=0-7
/proc/18976/task/22663/stat : 22663 (java) R 18974 18974 15168 0 -1 4202560 3 0 0 0 27 0 0 0 20 0 28 0 510911952 29663260672 562383 33554432000 4194304 4196468 140722394005952 140093969077352 140095207349311 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
Current children cumulated CPU time: 1189.6 s
Current children cumulated vsize: 29081156 KiB
Current children cumulated memory: 2250988 KiB

[startup+222.301 s]
/proc/loadavg: 8.00 7.59 7.83 9/220 22700
/proc/meminfo: memFree=22885888/32770624 swapFree=66935948/67108860
[pid=18974] ppid=18971 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18974/stat : 18974 (xcsp3-exec) S 18971 18974 15168 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510895751 115843072 364 33554432000 4194304 5098028 140722867697424 140722867695528 139740798091900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15556608 140722867704663 140722867704922 140722867704922 140722867707846 0
/proc/18974/statm: 28282 364 305 221 0 87 0
[pid=18976] ppid=18974 vsize=28968028 memory=2335176 CPUtime=1664.7 cores=0-7
/proc/18976/stat : 18976 (java) S 18974 18974 15168 0 -1 1077944320 239698 0 0 0 166176 294 0 0 20 0 28 0 510895752 29663260672 583794 33554432000 4194304 4196468 140722394005952 140722393988496 140095590895351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
/proc/18976/statm: 7242007 583794 3527 1 0 7203107 0
[pid=18976/tid=18977] ppid=18974 vsize=28968028 memory=2334152 CPUtime=1.32 cores=0-7
/proc/18976/task/18977/stat : 18977 (java) S 18974 18974 15168 0 -1 1077944384 13746 0 0 0 122 10 0 0 20 0 28 0 510895752 29663260672 583794 33554432000 4194304 4196468 140722394005952 140095595136064 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18978] ppid=18974 vsize=28968028 memory=2336160 CPUtime=0.57 cores=0-7
/proc/18976/task/18978/stat : 18978 (java) S 18974 18974 15168 0 -1 1077944384 4644 0 0 0 44 13 0 0 20 0 28 0 510895753 29663260672 583794 33554432000 4194304 4196468 140722394005952 140095543516304 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18979] ppid=18974 vsize=28968028 memory=2221888 CPUtime=0.55 cores=0-7
/proc/18976/task/18979/stat : 18979 (java) S 18974 18974 15168 0 -1 1077944384 3885 0 0 0 44 11 0 0 20 0 28 0 510895753 29663260672 583794 33554432000 4194304 4196468 140722394005952 140095542463504 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18980] ppid=18974 vsize=28968028 memory=2224504 CPUtime=0.57 cores=0-7
/proc/18976/task/18980/stat : 18980 (java) S 18974 18974 15168 0 -1 1077944384 5545 0 0 0 44 13 0 0 20 0 28 0 510895753 29663260672 583794 33554432000 4194304 4196468 140722394005952 140095541410704 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18981] ppid=18974 vsize=28968028 memory=2224504 CPUtime=0.53 cores=0-7
/proc/18976/task/18981/stat : 18981 (java) S 18974 18974 15168 0 -1 1077944384 5603 0 0 0 42 11 0 0 20 0 28 0 510895753 29663260672 583794 33554432000 4194304 4196468 140722394005952 140095540357904 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18982] ppid=18974 vsize=28968028 memory=2224972 CPUtime=0.57 cores=0-7
/proc/18976/task/18982/stat : 18982 (java) S 18974 18974 15168 0 -1 1077944384 7529 0 0 0 44 13 0 0 20 0 28 0 510895753 29663260672 583794 33554432000 4194304 4196468 140722394005952 140095539305104 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18983] ppid=18974 vsize=28968028 memory=2233840 CPUtime=0.58 cores=0-7
/proc/18976/task/18983/stat : 18983 (java) S 18974 18974 15168 0 -1 1077944384 6749 0 0 0 44 14 0 0 20 0 28 0 510895753 29663260672 583794 33554432000 4194304 4196468 140722394005952 140095538252304 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18984] ppid=18974 vsize=28968028 memory=1456 CPUtime=0.56 cores=0-7
/proc/18976/task/18984/stat : 18984 (java) S 18974 18974 15168 0 -1 1077944384 4299 0 0 0 42 14 0 0 20 0 28 0 510895753 29663260672 583794 33554432000 4194304 4196468 140722394005952 140095537199504 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18985] ppid=18974 vsize=28968028 memory=2233272 CPUtime=0.57 cores=0-7
/proc/18976/task/18985/stat : 18985 (java) S 18974 18974 15168 0 -1 1077944384 5667 0 0 0 44 13 0 0 20 0 28 0 510895753 29663260672 583794 33554432000 4194304 4196468 140722394005952 140095536146704 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18986] ppid=18974 vsize=28968028 memory=2230112 CPUtime=0.34 cores=0-7
/proc/18976/task/18986/stat : 18986 (java) S 18974 18974 15168 0 -1 1077944384 22386 0 0 0 21 13 0 0 20 0 28 0 510895754 29663260672 583794 33554432000 4194304 4196468 140722394005952 140094189157232 140095590906498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18987] ppid=18974 vsize=28968028 memory=2236336 CPUtime=0 cores=0-7
/proc/18976/task/18987/stat : 18987 (java) S 18974 18974 15168 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 510895755 29663260672 583794 33554432000 4194304 4196468 140722394005952 140094188103264 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18988] ppid=18974 vsize=28968028 memory=2237740 CPUtime=0 cores=0-7
/proc/18976/task/18988/stat : 18988 (java) S 18974 18974 15168 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 510895755 29663260672 583794 33554432000 4194304 4196468 140722394005952 140094187050368 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18989] ppid=18974 vsize=28968028 memory=2244036 CPUtime=0 cores=0-7
/proc/18976/task/18989/stat : 18989 (java) S 18974 18974 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510895757 29663260672 583794 33554432000 4194304 4196468 140722394005952 140094185998672 140095590913947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18990] ppid=18974 vsize=28968028 memory=2245056 CPUtime=2.23 cores=0-7
/proc/18976/task/18990/stat : 18990 (java) S 18974 18974 15168 0 -1 1077944384 13783 0 0 0 220 3 0 0 20 0 28 0 510895757 29663260672 583794 33554432000 4194304 4196468 140722394005952 140094184946032 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18991] ppid=18974 vsize=28968028 memory=2264996 CPUtime=2.42 cores=0-7
/proc/18976/task/18991/stat : 18991 (java) S 18974 18974 15168 0 -1 1077944384 15388 0 0 0 240 2 0 0 20 0 28 0 510895757 29663260672 583794 33554432000 4194304 4196468 140722394005952 140094183893232 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18992] ppid=18974 vsize=28968028 memory=1456 CPUtime=2.27 cores=0-7
/proc/18976/task/18992/stat : 18992 (java) S 18974 18974 15168 0 -1 1077944384 8777 0 0 0 225 2 0 0 20 0 28 0 510895757 29663260672 583794 33554432000 4194304 4196468 140722394005952 140093981452400 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18993] ppid=18974 vsize=28968028 memory=2276868 CPUtime=0.9 cores=0-7
/proc/18976/task/18993/stat : 18993 (java) S 18974 18974 15168 0 -1 1077944384 7512 0 0 0 88 2 0 0 20 0 28 0 510895757 29663260672 583794 33554432000 4194304 4196468 140722394005952 140093980399600 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18994] ppid=18974 vsize=28968028 memory=2306204 CPUtime=0 cores=0-7
/proc/18976/task/18994/stat : 18994 (java) S 18974 18974 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510895758 29663260672 583794 33554432000 4194304 4196468 140722394005952 140093979348064 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18995] ppid=18974 vsize=28968028 memory=2311892 CPUtime=0.06 cores=0-7
/proc/18976/task/18995/stat : 18995 (java) S 18974 18974 15168 0 -1 1077944384 2902 0 0 0 2 4 0 0 20 0 28 0 510895758 29663260672 583794 33554432000 4194304 4196468 140722394005952 140093978295344 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=22688] ppid=18974 vsize=28968028 memory=2334624 CPUtime=50.15 cores=0-7
/proc/18976/task/22688/stat : 22688 (java) R 18974 18974 15168 0 -1 4202560 2597 0 0 0 5014 1 0 0 20 0 28 0 510912893 29663260672 583794 33554432000 4194304 4196468 140722394005952 140093961706400 140095210143725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=22689] ppid=18974 vsize=28968028 memory=2334664 CPUtime=50.36 cores=0-7
/proc/18976/task/22689/stat : 22689 (java) R 18974 18974 15168 0 -1 4202560 1398 0 0 0 5036 0 0 0 20 0 28 0 510912893 29663260672 583794 33554432000 4194304 4196468 140722394005952 140093968024256 140095213812794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=22690] ppid=18974 vsize=28968028 memory=1456 CPUtime=50.27 cores=0-7
/proc/18976/task/22690/stat : 22690 (java) R 18974 18974 15168 0 -1 4202560 2571 0 0 0 5027 0 0 0 20 0 28 0 510912893 29663260672 583794 33554432000 4194304 4196468 140722394005952 140093966970792 140095210143725 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=22691] ppid=18974 vsize=28968028 memory=2335688 CPUtime=49.94 cores=0-7
/proc/18976/task/22691/stat : 22691 (java) R 18974 18974 15168 0 -1 4202560 1444 0 0 0 4994 0 0 0 20 0 28 0 510912893 29663260672 583794 33554432000 4194304 4196468 140722394005952 140093963813448 140095212166213 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=22692] ppid=18974 vsize=28968028 memory=1456 CPUtime=50.24 cores=0-7
/proc/18976/task/22692/stat : 22692 (java) R 18974 18974 15168 0 -1 4202560 1394 0 0 0 5023 1 0 0 20 0 28 0 510912893 29663260672 583794 33554432000 4194304 4196468 140722394005952 140093962762032 140095213928376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=22693] ppid=18974 vsize=28968028 memory=1456 CPUtime=49.93 cores=0-7
/proc/18976/task/22693/stat : 22693 (java) R 18974 18974 15168 0 -1 4202560 1745 0 0 0 4992 1 0 0 20 0 28 0 510912893 29663260672 583794 33554432000 4194304 4196468 140722394005952 140093969078256 140095213689303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=22694] ppid=18974 vsize=28968028 memory=3512 CPUtime=49.94 cores=0-7
/proc/18976/task/22694/stat : 22694 (java) R 18974 18974 15168 0 -1 4202560 1679 0 0 0 4993 1 0 0 20 0 28 0 510912893 29663260672 583794 33554432000 4194304 4196468 140722394005952 140093956452768 140095213144154 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=22695] ppid=18974 vsize=28968028 memory=65172 CPUtime=50.2 cores=0-7
/proc/18976/task/22695/stat : 22695 (java) R 18974 18974 15168 0 -1 4202560 1000 0 0 0 5020 0 0 0 20 0 28 0 510912893 29663260672 583794 33554432000 4194304 4196468 140722394005952 140093957505984 140095213144082 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
Current children cumulated CPU time: 1664.7 s
Current children cumulated vsize: 29081156 KiB
Current children cumulated memory: 2336632 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.48 7.74 7.87 9/220 22700
/proc/meminfo: memFree=22815960/32770624 swapFree=66935948/67108860
[pid=18974] ppid=18971 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18974/stat : 18974 (xcsp3-exec) S 18971 18974 15168 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 510895751 115843072 364 33554432000 4194304 5098028 140722867697424 140722867695528 139740798091900 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15556608 140722867704663 140722867704922 140722867704922 140722867707846 0
/proc/18974/statm: 28282 364 305 221 0 87 0
[pid=18976] ppid=18974 vsize=28968028 memory=2410120 CPUtime=1899.88 cores=0-7
/proc/18976/stat : 18976 (java) S 18974 18974 15168 0 -1 1077944320 246138 0 0 0 189682 306 0 0 20 0 28 0 510895752 29663260672 602530 33554432000 4194304 4196468 140722394005952 140722393988496 140095590895351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
/proc/18976/statm: 7242007 602530 3527 1 0 7203107 0
[pid=18976/tid=18977] ppid=18974 vsize=28968028 memory=6791534058613427641 CPUtime=1.32 cores=0-7
/proc/18976/task/18977/stat : 18977 (java) S 18974 18974 15168 0 -1 1077944384 13746 0 0 0 122 10 0 0 20 0 28 0 510895752 29663260672 602530 33554432000 4194304 4196468 140722394005952 140095595136064 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18978] ppid=18974 vsize=28968028 memory=916 CPUtime=0.74 cores=0-7
/proc/18976/task/18978/stat : 18978 (java) S 18974 18974 15168 0 -1 1077944384 5156 0 0 0 60 14 0 0 20 0 28 0 510895753 29663260672 602530 33554432000 4194304 4196468 140722394005952 140095543516304 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18979] ppid=18974 vsize=28968028 memory=5296 CPUtime=0.7 cores=0-7
/proc/18976/task/18979/stat : 18979 (java) S 18974 18974 15168 0 -1 1077944384 4106 0 0 0 59 11 0 0 20 0 28 0 510895753 29663260672 602530 33554432000 4194304 4196468 140722394005952 140095542463504 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18980] ppid=18974 vsize=28968028 memory=4108 CPUtime=0.73 cores=0-7
/proc/18976/task/18980/stat : 18980 (java) S 18974 18974 15168 0 -1 1077944384 5709 0 0 0 59 14 0 0 20 0 28 0 510895753 29663260672 602530 33554432000 4194304 4196468 140722394005952 140095541410704 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18981] ppid=18974 vsize=28968028 memory=4872558044660077418 CPUtime=0.69 cores=0-7
/proc/18976/task/18981/stat : 18981 (java) S 18974 18974 15168 0 -1 1077944384 5860 0 0 0 57 12 0 0 20 0 28 0 510895753 29663260672 602530 33554432000 4194304 4196468 140722394005952 140095540357904 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18982] ppid=18974 vsize=28968028 memory=2407780 CPUtime=0.73 cores=0-7
/proc/18976/task/18982/stat : 18982 (java) S 18974 18974 15168 0 -1 1077944384 8164 0 0 0 59 14 0 0 20 0 28 0 510895753 29663260672 602530 33554432000 4194304 4196468 140722394005952 140095539305104 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18983] ppid=18974 vsize=28968028 memory=1560 CPUtime=0.73 cores=0-7
/proc/18976/task/18983/stat : 18983 (java) S 18974 18974 15168 0 -1 1077944384 7347 0 0 0 58 15 0 0 20 0 28 0 510895753 29663260672 602530 33554432000 4194304 4196468 140722394005952 140095538252304 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18984] ppid=18974 vsize=28968028 memory=3592 CPUtime=0.72 cores=0-7
/proc/18976/task/18984/stat : 18984 (java) S 18974 18974 15168 0 -1 1077944384 4611 0 0 0 58 14 0 0 20 0 28 0 510895753 29663260672 602530 33554432000 4194304 4196468 140722394005952 140095537199504 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18985] ppid=18974 vsize=28968028 memory=1128 CPUtime=0.71 cores=0-7
/proc/18976/task/18985/stat : 18985 (java) S 18974 18974 15168 0 -1 1077944384 5912 0 0 0 58 13 0 0 20 0 28 0 510895753 29663260672 602530 33554432000 4194304 4196468 140722394005952 140095536146704 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18986] ppid=18974 vsize=28968028 memory=2828 CPUtime=0.45 cores=0-7
/proc/18976/task/18986/stat : 18986 (java) S 18974 18974 15168 0 -1 1077944384 23413 0 0 0 28 17 0 0 20 0 28 0 510895754 29663260672 602530 33554432000 4194304 4196468 140722394005952 140094189157232 140095590906498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18987] ppid=18974 vsize=28968028 memory=1232 CPUtime=0 cores=0-7
/proc/18976/task/18987/stat : 18987 (java) S 18974 18974 15168 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 510895755 29663260672 602530 33554432000 4194304 4196468 140722394005952 140094188103264 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18988] ppid=18974 vsize=28968028 memory=14008 CPUtime=0 cores=0-7
/proc/18976/task/18988/stat : 18988 (java) S 18974 18974 15168 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 510895755 29663260672 602530 33554432000 4194304 4196468 140722394005952 140094187050368 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18989] ppid=18974 vsize=28968028 memory=12040 CPUtime=0 cores=0-7
/proc/18976/task/18989/stat : 18989 (java) S 18974 18974 15168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510895757 29663260672 602530 33554432000 4194304 4196468 140722394005952 140094185998672 140095590913947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18990] ppid=18974 vsize=28968028 memory=2124 CPUtime=2.23 cores=0-7
/proc/18976/task/18990/stat : 18990 (java) S 18974 18974 15168 0 -1 1077944384 13787 0 0 0 220 3 0 0 20 0 28 0 510895757 29663260672 602530 33554432000 4194304 4196468 140722394005952 140094184946032 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18991] ppid=18974 vsize=28968028 memory=2407780 CPUtime=2.42 cores=0-7
/proc/18976/task/18991/stat : 18991 (java) S 18974 18974 15168 0 -1 1077944384 15392 0 0 0 240 2 0 0 20 0 28 0 510895757 29663260672 602530 33554432000 4194304 4196468 140722394005952 140094183893232 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18992] ppid=18974 vsize=28968028 memory=6056 CPUtime=2.27 cores=0-7
/proc/18976/task/18992/stat : 18992 (java) S 18974 18974 15168 0 -1 1077944384 8783 0 0 0 225 2 0 0 20 0 28 0 510895757 29663260672 602530 33554432000 4194304 4196468 140722394005952 140093981452400 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18993] ppid=18974 vsize=28968028 memory=11528 CPUtime=0.9 cores=0-7
/proc/18976/task/18993/stat : 18993 (java) S 18974 18974 15168 0 -1 1077944384 7516 0 0 0 88 2 0 0 20 0 28 0 510895757 29663260672 602530 33554432000 4194304 4196468 140722394005952 140093980399600 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18994] ppid=18974 vsize=28968028 memory=2407896 CPUtime=0 cores=0-7
/proc/18976/task/18994/stat : 18994 (java) S 18974 18974 15168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510895758 29663260672 602530 33554432000 4194304 4196468 140722394005952 140093979348064 140095590905557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=18995] ppid=18974 vsize=28968028 memory=780 CPUtime=0.07 cores=0-7
/proc/18976/task/18995/stat : 18995 (java) S 18974 18974 15168 0 -1 1077944384 2964 0 0 0 2 5 0 0 20 0 28 0 510895758 29663260672 602530 33554432000 4194304 4196468 140722394005952 140093978295344 140095590906498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=22688] ppid=18974 vsize=28968028 memory=776 CPUtime=79.37 cores=0-7
/proc/18976/task/22688/stat : 22688 (java) R 18974 18974 15168 0 -1 4202560 2964 0 0 0 7936 1 0 0 20 0 28 0 510912893 29663260672 602530 33554432000 4194304 4196468 140722394005952 140093961707200 140095214258338 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=22689] ppid=18974 vsize=28968028 memory=1560 CPUtime=79.67 cores=0-7
/proc/18976/task/22689/stat : 22689 (java) R 18974 18974 15168 0 -1 4202560 1673 0 0 0 7967 0 0 0 20 0 28 0 510912893 29663260672 602530 33554432000 4194304 4196468 140722394005952 140093968024392 140095213253169 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=22690] ppid=18974 vsize=28968028 memory=3592 CPUtime=79.61 cores=0-7
/proc/18976/task/22690/stat : 22690 (java) R 18974 18974 15168 0 -1 4202560 3007 0 0 0 7961 0 0 0 20 0 28 0 510912893 29663260672 602530 33554432000 4194304 4196468 140722394005952 140093966974352 140095212292544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=22691] ppid=18974 vsize=28968028 memory=1128 CPUtime=79.14 cores=0-7
/proc/18976/task/22691/stat : 22691 (java) R 18974 18974 15168 0 -1 4202560 1732 0 0 0 7913 1 0 0 20 0 28 0 510912893 29663260672 602530 33554432000 4194304 4196468 140722394005952 140093963813064 140095213689053 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=22692] ppid=18974 vsize=28968028 memory=2828 CPUtime=79.46 cores=0-7
/proc/18976/task/22692/stat : 22692 (java) R 18974 18974 15168 0 -1 4202560 1627 0 0 0 7944 2 0 0 20 0 28 0 510912893 29663260672 602530 33554432000 4194304 4196468 140722394005952 140093962759728 140095213928507 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=22693] ppid=18974 vsize=28968028 memory=1232 CPUtime=79.09 cores=0-7
/proc/18976/task/22693/stat : 22693 (java) R 18974 18974 15168 0 -1 4202560 2102 0 0 0 7908 1 0 0 20 0 28 0 510912893 29663260672 602530 33554432000 4194304 4196468 140722394005952 140093969076216 140095213812769 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=22694] ppid=18974 vsize=28968028 memory=14008 CPUtime=79 cores=0-7
/proc/18976/task/22694/stat : 22694 (java) R 18974 18974 15168 0 -1 4202560 2007 0 0 0 7899 1 0 0 20 0 28 0 510912893 29663260672 602530 33554432000 4194304 4196468 140722394005952 140093956453240 140095214933673 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
[pid=18976/tid=22695] ppid=18974 vsize=28968028 memory=12040 CPUtime=79.47 cores=0-7
/proc/18976/task/22695/stat : 22695 (java) R 18974 18974 15168 0 -1 4202560 1106 0 0 0 7947 0 0 0 20 0 28 0 510912893 29663260672 602530 33554432000 4194304 4196468 140722394005952 140093957508672 140095213144119 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13246464 140722394010588 140722394010763 140722394010763 140722394013647 0
Current children cumulated CPU time: 1899.88 s
Current children cumulated vsize: 29081156 KiB
Current children cumulated memory: 2411576 KiB

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

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

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

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

Child status: 143
Real time (s): 252.115
CPU time (s): 1900.59
CPU user time (s): 1897.51
CPU system time (s): 3.08681
CPU usage (%): 753.859
Max. virtual memory (cumulated for all children) (KiB): 29081156
Max. memory (cumulated for all children) (KiB): 2411576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1897.51
system time used= 3.08681
maximum resident set size= 2410600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248227
page faults= 0
swaps= 0
block input operations= 0
block output operations= 632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54694
involuntary context switches= 23354


# summary of solver processes directly reported to runsolver:
#   pid: 18974,18976
#   total CPU time (s): 1900.59
#   total CPU user time (s): 1897.51
#   total CPU system time (s): 3.08681

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.17039 second user time and 2.95617 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-24 20:29:36
IDJOB=4407482
IDBENCH=141154
IDSOLVER=2872
FILE ID=node147/4407482-1569349820
RUNJOBID= node147-1569335935-15195
PBS_JOBID= 21705050
Free space on /var/tmp= 13508 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-4407482-1569349820/watcher-4407482-1569349820 -o /var/tmp/evaluation-result-4407482-1569349820/solver-4407482-1569349820 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node147-1569335935-15195 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1428284258 HOME/instance-4407482-1569349820.xml

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

MD5SUM BENCH= 125d0999a88baf20181d93552da446ae
RANDOM SEED=1428284258

node147.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.52
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.52
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.52
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.52
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:        25216364 kB
MemAvailable:   31775732 kB
Buffers:          140496 kB
Cached:          6478980 kB
SwapCached:        68688 kB
Active:          3291904 kB
Inactive:        3400452 kB
Active(anon):       3872 kB
Inactive(anon):   126840 kB
Active(file):    3288032 kB
Inactive(file):  3273612 kB
Unevictable:      107772 kB
Mlocked:          107772 kB
SwapTotal:      67108860 kB
SwapFree:       66935948 kB
Dirty:             26484 kB
Writeback:             0 kB
AnonPages:        125444 kB
Mapped:            57524 kB
Shmem:             49088 kB
Slab:             454984 kB
SReclaimable:     426184 kB
SUnreclaim:        28800 kB
KernelStack:        3712 kB
PageTables:         4980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     515664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 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= 13484 MiB
End job on node147 at 2019-09-24 20:33:48