Trace number 4404774

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-20 parallelSAT (TO)1047 19747.6 2520.12

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n150/
TravellingSalesman-150-50-13.xml
MD5SUMd698eba466bb4d42bacc008ef87467ee
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark549
Best CPU time to get the best result obtained on this benchmark20119.1
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints151
Number of domains2
Minimum domain size66
Maximum domain size150
Distribution of domain sizes[{"size":66,"count":150},{"size":150,"count":150}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":150},{"degree":3,"count":150}]
Minimum constraint arity3
Maximum constraint arity150
Distribution of constraint arities[{"arity":3,"count":150},{"arity":150,"count":1}]
Number of extensional constraints150
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":150},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin 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-4404774-1569005484.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4404774-1569005484.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
34.18/7.53	c solve instance...
47.05/9.24	o 2604 
48.37/9.53	o 2588 
50.60/10.96	o 2562 
50.89/11.04	o 2546 
51.20/11.11	o 2543 
51.20/11.18	o 2524 
51.55/11.26	o 2521 
51.97/11.35	o 2520 
52.48/11.47	o 2518 
52.93/11.59	o 2516 
53.30/11.69	o 2513 
53.53/11.78	o 2502 
53.84/11.89	o 2494 
54.09/11.98	o 2491 
54.40/12.10	o 2488 
55.91/12.37	o 2485 
56.44/12.49	o 2483 
57.08/12.61	o 2480 
57.40/12.72	o 2477 
57.72/12.85	o 2475 
58.13/12.96	o 2474 
58.58/13.10	o 2471 
58.90/13.25	o 2469 
105.48/19.92	o 2467 
151.96/26.60	o 2465 
165.25/28.91	o 2464 
175.27/30.93	o 2463 
188.53/33.13	o 2462 
189.89/33.38	o 2461 
220.17/37.75	o 2460 
232.28/39.81	o 2458 
232.97/39.97	o 2457 
236.83/40.50	o 2456 
238.76/40.71	o 2455 
412.83/63.15	o 2084 
413.19/63.27	o 2058 
413.48/63.38	o 2057 
413.75/63.49	o 2051 
413.98/63.59	o 2046 
414.32/63.71	o 2045 
414.84/63.84	o 2036 
415.11/63.96	o 2026 
415.34/64.05	o 2022 
457.77/69.45	o 2021 
457.77/69.48	o 2012 
458.29/69.70	o 2005 
458.69/69.87	o 2002 
459.44/70.10	o 1994 
465.11/70.86	o 1972 
465.59/71.03	o 1963 
467.43/71.34	o 1962 
469.06/72.70	o 1954 
474.57/73.42	o 1950 
474.79/73.54	o 1943 
475.07/73.67	o 1942 
475.32/73.78	o 1941 
476.15/73.91	o 1940 
477.56/74.11	o 1911 
485.86/75.21	o 1907 
487.67/76.41	o 1906 
488.46/76.54	o 1894 
488.74/76.62	o 1892 
488.74/76.70	o 1885 
489.02/76.78	o 1877 
492.74/77.30	o 1836 
503.07/78.58	o 1820 
512.04/80.25	o 1812 
512.47/80.40	o 1811 
537.93/84.45	o 1809 
538.20/84.57	o 1798 
538.80/84.95	o 1794 
539.46/85.31	o 1787 
540.07/85.48	o 1784 
540.32/85.55	o 1781 
547.29/86.50	o 1779 
549.97/86.90	o 1773 
555.20/87.62	o 1766 
565.88/89.57	o 1760 
569.94/90.16	o 1758 
778.42/117.35	o 1752 
778.42/117.38	o 1749 
778.84/117.42	o 1747 
784.25/118.17	o 1745 
790.61/118.92	o 1733 
790.61/118.95	o 1724 
790.61/118.97	o 1715 
791.22/119.01	o 1714 
791.22/119.05	o 1713 
791.22/119.09	o 1712 
800.23/120.93	o 1711 
801.58/121.16	o 1699 
803.13/121.40	o 1696 
804.77/121.59	o 1682 
825.51/124.76	o 1668 
825.82/124.88	o 1663 
828.06/125.11	o 1662 
835.19/126.03	o 1637 
835.19/126.07	o 1635 
835.92/126.12	o 1633 
839.91/126.67	o 1628 
845.33/127.39	o 1617 
846.16/127.42	o 1606 
857.69/129.39	o 1604 
862.62/130.09	o 1602 
863.28/130.19	o 1601 
872.61/131.35	o 1600 
878.13/132.04	o 1594 
894.87/134.64	o 1591 
894.87/134.67	o 1587 
936.79/139.92	o 1586 
937.43/140.09	o 1585 
943.76/140.82	o 1584 
943.76/140.89	o 1583 
945.12/141.05	o 1581 
949.73/141.67	o 1570 
950.54/141.75	o 1568 
960.83/144.07	o 1566 
961.88/144.24	o 1565 
961.88/144.27	o 1563 
970.48/145.36	o 1561 
976.63/146.11	o 1560 
976.63/146.19	o 1555 
976.98/146.23	o 1551 
976.98/146.28	o 1541 
1007.75/150.18	o 1540 
1008.38/150.26	o 1528 
1016.26/151.27	o 1526 
1035.63/154.18	o 1524 
1035.86/154.23	o 1523 
1044.50/155.33	o 1522 
1073.92/159.50	o 1521 
1074.11/159.59	o 1520 
1076.27/159.88	o 1518 
1087.36/161.24	o 1517 
1129.52/166.55	o 1513 
1243.28/180.83	o 1504 
1260.87/183.65	o 1497 
1261.14/183.72	o 1496 
1273.74/185.32	o 1494 
1282.52/186.47	o 1493 
1299.35/188.96	o 1488 
1309.52/190.34	o 1486 
1317.21/191.40	o 1484 
1324.99/192.30	o 1477 
1332.94/193.36	o 1476 
1346.42/195.05	o 1475 
1358.13/196.53	o 1471 
1393.75/201.02	o 1469 
1395.29/201.24	o 1468 
1413.58/203.54	o 1466 
1414.94/204.54	o 1465 
1414.94/204.59	o 1464 
1415.21/204.63	o 1463 
1458.05/210.00	o 1442 
1467.59/211.34	o 1440 
1470.41/211.74	o 1438 
1475.12/212.33	o 1437 
1481.30/214.14	o 1435 
1481.30/214.19	o 1434 
1491.26/215.49	o 1428 
1508.64/217.67	o 1426 
1510.51/218.87	o 1425 
1510.74/218.90	o 1424 
1558.53/224.90	o 1422 
1608.72/231.29	o 1419 
1626.21/233.41	o 1414 
1637.74/234.99	o 1413 
1874.44/264.93	o 1408 
1882.99/266.09	o 1407 
1898.90/268.06	o 1404 
1943.71/274.37	o 1402 
1988.63/280.09	o 1392 
2006.68/282.30	o 1391 
2180.47/304.12	o 1390 
2245.02/312.26	o 1385 
2269.63/316.18	o 1384 
2276.20/317.07	o 1376 
2287.37/318.50	o 1375 
2288.13/318.55	o 1374 
2343.85/325.53	o 1371 
2484.86/343.29	o 1363 
2550.22/351.49	o 1361 
2575.80/354.90	o 1360 
2575.80/354.97	o 1356 
2582.05/355.75	o 1355 
2601.11/358.14	o 1350 
2642.52/363.36	o 1345 
2887.70/394.11	o 1342 
2891.12/395.47	o 1340 
3014.15/410.94	o 1338 
3023.65/412.15	o 1336 
3056.03/416.38	o 1335 
3160.01/429.48	o 1334 
3160.65/429.51	o 1327 
3441.18/464.79	o 1326 
3479.75/469.69	o 1324 
3480.69/469.89	o 1322 
3731.53/501.32	o 1320 
3791.97/508.91	o 1318 
3810.82/511.86	o 1316 
3811.17/511.98	o 1314 
3811.59/512.02	o 1313 
3824.28/513.67	o 1311 
3834.39/514.97	o 1307 
4052.08/542.24	o 1299 
4123.64/551.27	o 1297 
4151.21/554.75	o 1291 
4185.88/559.17	o 1289 
4193.65/560.12	o 1283 
4317.10/575.67	o 1282 
4317.61/575.70	o 1280 
4326.36/576.86	o 1275 
4342.78/578.97	o 1271 
4574.36/608.17	o 1269 
5000.60/661.78	o 1264 
5009.86/663.00	o 1261 
5062.78/669.82	o 1259 
5087.02/673.11	o 1258 
5136.33/679.38	o 1255 
5191.04/686.24	o 1249 
5245.96/693.18	o 1248 
5259.73/694.96	o 1246 
5326.18/703.31	o 1242 
5354.75/706.93	o 1238 
5386.20/710.92	o 1235 
5456.19/719.79	o 1234 
5522.95/728.43	o 1227 
5619.22/740.57	o 1226 
5642.24/743.48	o 1224 
5653.22/745.72	o 1223 
5881.06/774.36	o 1220 
5993.11/788.44	o 1219 
6036.86/793.93	o 1213 
6462.71/847.82	o 1209 
6834.99/894.52	o 1207 
6882.08/900.55	o 1206 
7621.04/993.21	o 1204 
7668.76/999.20	o 1202 
7872.06/1024.74	o 1196 
7880.09/1026.88	o 1195 
7949.68/1035.65	o 1193 
8277.32/1076.77	o 1192 
8399.23/1092.05	o 1190 
8424.33/1095.65	o 1188 
8615.37/1119.64	o 1187 
8698.16/1130.90	o 1183 
8712.04/1132.72	o 1182 
8728.73/1134.92	o 1181 
8792.32/1142.95	o 1178 
9169.41/1190.21	o 1177 
9226.74/1197.41	o 1166 
9344.18/1212.80	o 1165 
9355.57/1214.36	o 1164 
9451.64/1226.49	o 1159 
9718.40/1260.05	o 1158 
9783.48/1268.25	o 1156 
10150.90/1314.34	o 1154 
10156.98/1315.22	o 1148 
10184.24/1318.71	o 1143 
10938.60/1413.39	o 1141 
11188.72/1444.81	o 1140 
11339.36/1463.73	o 1138 
11493.14/1483.00	o 1135 
11591.18/1495.40	o 1134 
11687.57/1507.49	o 1133 
11701.04/1509.24	o 1132 
11873.76/1530.98	o 1126 
12140.87/1564.42	o 1124 
12587.39/1620.49	o 1122 
12813.26/1648.84	o 1121 
12972.58/1668.84	o 1120 
13178.23/1694.65	o 1117 
13178.97/1694.87	o 1114 
13311.68/1711.51	o 1113 
13887.39/1783.78	o 1111 
14733.29/1889.80	o 1110 
14733.66/1890.09	o 1109 
14734.24/1890.41	o 1108 
17488.32/2235.78	o 1089 
17500.95/2237.38	o 1086 
18007.50/2300.97	o 1084 
18082.50/2310.43	o 1083 
18205.49/2326.08	o 1082 
18743.96/2393.73	o 1079 
19278.83/2460.89	o 1078 
19279.19/2460.97	o 1069 
19289.16/2462.24	o 1068 
19291.48/2462.51	o 1065 
19354.96/2470.54	o 1064 
19355.43/2470.64	o 1061 
19355.69/2470.72	o 1058 
19355.69/2470.77	o 1057 
19375.63/2473.38	o 1055 
19398.15/2476.27	o 1050 
19414.78/2478.34	o 1049 
19521.31/2491.74	o 1047 
19746.87/2520.06	s SATISFIABLE
19746.87/2520.06	v <instantiation>
19746.87/2520.06	v 	<list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] </list>
19746.87/2520.06	v 	<values>17 24 6 5 8 13 12 3 2 4 1 11 16 21 42 94 99 101 91 81 67 65 60 58 51 45 56 87 84 97 113 104 93 29 22 33 38 61 74 63 64 72 79 73 71 28 31 39 126 122 118 83 76 75 41 35 7 9 18 44 59 107 117 121 145 141 135 140 144 149 134 139 123 120 119 116 96 98 105 128 124 106 100 88 109 108 111 82 78 68 36 37 15 20 10 40 57 85 129 146 148 147 138 143 130 137 142 127 131 133 92 95 103 112 89 86 90 80 26 23 14 25 52 53 54 55 77 114 115 47 34 32 43 46 62 69 70 66 49 48 27 30 50 102 110 125 136 132 19 0 14 5 5 2 1 2 6 1 4 4 5 1 3 7 19 1 9 2 4 6 2 2 1 2 2 4 24 2 5 4 3 3 26 4 6 4 9 4 10 2 3 2 7 9 20 2 4 37 1 2 12 5 2 13 2 11 1 3 9 6 31 4 2 8 3 3 1 1 4 4 2 5 3 3 1 18 15 7 9 1 7 2 9 18 13 2 9 2 3 12 4 10 4 4 8 9 12 26 8 3 21 2 7 5 3 1 14 2 8 18 1 2 2 8 1 4 7 21 1 4 4 15 3 1 1 8 16 4 31 4 3 4 1 7 4 1 2 6 4 8 1 9 23 4 6 4 3 45 8 24 </values>
19746.87/2520.06	v </instantiation>
19746.87/2520.06	c Unexpected resolution interruption!

Verifier Data

OK	1047

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

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

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

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


[startup+0.100152 s]*
/proc/loadavg: 7.77 7.84 7.75 2/213 32630
/proc/meminfo: memFree=23470332/32770624 swapFree=66953204/67108860
[pid=32609] ppid=32606 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/32609/stat : 32609 (xcsp3-exec) S 32606 32609 31939 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476463265 115843072 362 33554432000 4194304 5098028 140723634487472 140723634485576 139913337016956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10993664 140723634496337 140723634496597 140723634496597 140723634499526 0
/proc/32609/statm: 28282 362 304 221 0 87 0
[pid=32611] ppid=32609 vsize=28227396 memory=30104 CPUtime=0.13 cores=0-7
/proc/32611/stat : 32611 (java) S 32609 32609 31939 0 -1 1077944320 5927 0 0 0 11 2 0 0 20 0 20 0 476463265 28904853504 7526 33554432000 4194304 4196468 140724803839424 140724803821968 140032394747639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
/proc/32611/statm: 7056849 7526 3165 1 0 7019032 0
[pid=32611/tid=32612] ppid=32609 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/32611/task/32612/stat : 32612 (java) R 32609 32609 31939 0 -1 4202560 3842 0 0 0 8 1 0 0 20 0 20 0 476463266 28904853504 7526 33554432000 4194304 4196468 140724803839424 140032398975344 140032394769565 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32613] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32613/stat : 32613 (java) S 32609 32609 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476463266 28904853504 7526 33554432000 4194304 4196468 140724803839424 140032314600208 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32614] ppid=32609 vsize=28227396 memory=140158544201344 CPUtime=0 cores=0-7
/proc/32611/task/32614/stat : 32614 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463266 28904853504 7526 33554432000 4194304 4196468 140724803839424 140032313547664 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32615] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32615/stat : 32615 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463266 28904853504 7526 33554432000 4194304 4196468 140724803839424 140032312495120 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32616] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32616/stat : 32616 (java) S 32609 32609 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476463266 28904853504 7526 33554432000 4194304 4196468 140724803839424 140032311442576 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32617] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32617/stat : 32617 (java) S 32609 32609 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476463266 28904853504 7526 33554432000 4194304 4196468 140724803839424 140032310389008 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32618] ppid=32609 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32611/task/32618/stat : 32618 (java) S 32609 32609 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476463266 28904853504 7526 33554432000 4194304 4196468 140724803839424 140031940483472 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32619] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32619/stat : 32619 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463266 28904853504 7526 33554432000 4194304 4196468 140724803839424 140031939430928 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32620] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32620/stat : 32620 (java) S 32609 32609 31939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476463267 28904853504 7526 33554432000 4194304 4196468 140724803839424 140031938378384 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32621] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32621/stat : 32621 (java) S 32609 32609 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476463268 28904853504 7526 33554432000 4194304 4196468 140724803839424 140031778966000 140032394758786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32622] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32622/stat : 32622 (java) S 32609 32609 31939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476463268 28904853504 7526 33554432000 4194304 4196468 140724803839424 140031777912224 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32623] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32623/stat : 32623 (java) S 32609 32609 31939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476463269 28904853504 7526 33554432000 4194304 4196468 140724803839424 140031776859632 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32624] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32624/stat : 32624 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463271 28904853504 7526 33554432000 4194304 4196468 140724803839424 140031775808208 140032394766235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32625] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32625/stat : 32625 (java) R 32609 32609 31939 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 20 0 476463271 28904853504 7526 33554432000 4194304 4196468 140724803839424 140031774754800 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32626] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32626/stat : 32626 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463271 28904853504 7526 33554432000 4194304 4196468 140724803839424 140031773702256 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32627] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32627/stat : 32627 (java) R 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463271 28904853504 7526 33554432000 4194304 4196468 140724803839424 140031772649712 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32628] ppid=32609 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/32611/task/32628/stat : 32628 (java) R 32609 32609 31939 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 20 0 476463271 28904853504 7526 33554432000 4194304 4196468 140724803839424 140031503100272 140032394768986 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32629] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32629/stat : 32629 (java) S 32609 32609 31939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476463271 28904853504 7526 33554432000 4194304 4196468 140724803839424 140031502047968 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32630] ppid=32609 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32611/task/32630/stat : 32630 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463272 28904853504 7526 33554432000 4194304 4196468 140724803839424 140031500995504 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31552 KiB

[startup+0.210941 s]*
/proc/loadavg: 7.77 7.84 7.75 4/213 32630
/proc/meminfo: memFree=23457812/32770624 swapFree=66953204/67108860
[pid=32609] ppid=32606 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/32609/stat : 32609 (xcsp3-exec) S 32606 32609 31939 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476463265 115843072 362 33554432000 4194304 5098028 140723634487472 140723634485576 139913337016956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10993664 140723634496337 140723634496597 140723634496597 140723634499526 0
/proc/32609/statm: 28282 362 304 221 0 87 0
[pid=32611] ppid=32609 vsize=28227396 memory=41056 CPUtime=0.34 cores=0-7
/proc/32611/stat : 32611 (java) S 32609 32609 31939 0 -1 1077944320 9521 0 0 0 31 3 0 0 20 0 20 0 476463265 28904853504 10264 33554432000 4194304 4196468 140724803839424 140724803821968 140032394747639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
/proc/32611/statm: 7056849 10264 3297 1 0 7019032 0
[pid=32611/tid=32612] ppid=32609 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/32611/task/32612/stat : 32612 (java) R 32609 32609 31939 0 -1 4202560 6670 0 0 0 18 2 0 0 20 0 20 0 476463266 28904853504 10264 33554432000 4194304 4196468 140724803839424 140032398977360 140032394759574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32613] ppid=32609 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/32611/task/32613/stat : 32613 (java) S 32609 32609 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476463266 28904853504 10264 33554432000 4194304 4196468 140724803839424 140032314600208 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32614] ppid=32609 vsize=28227396 memory=3761831357995632288 CPUtime=0 cores=0-7
/proc/32611/task/32614/stat : 32614 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463266 28904853504 10264 33554432000 4194304 4196468 140724803839424 140032313547664 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32615] ppid=32609 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32611/task/32615/stat : 32615 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463266 28904853504 10264 33554432000 4194304 4196468 140724803839424 140032312495120 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32616] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32616/stat : 32616 (java) S 32609 32609 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476463266 28904853504 10264 33554432000 4194304 4196468 140724803839424 140032311442576 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32617] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32617/stat : 32617 (java) S 32609 32609 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476463266 28904853504 10264 33554432000 4194304 4196468 140724803839424 140032310389008 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32618] ppid=32609 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32611/task/32618/stat : 32618 (java) S 32609 32609 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476463266 28904853504 10264 33554432000 4194304 4196468 140724803839424 140031940483472 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32619] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32619/stat : 32619 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463266 28904853504 10264 33554432000 4194304 4196468 140724803839424 140031939430928 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32620] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32620/stat : 32620 (java) S 32609 32609 31939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476463267 28904853504 10264 33554432000 4194304 4196468 140724803839424 140031938378384 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32621] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32621/stat : 32621 (java) S 32609 32609 31939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476463268 28904853504 10264 33554432000 4194304 4196468 140724803839424 140031778966000 140032394758786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32622] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32622/stat : 32622 (java) S 32609 32609 31939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476463268 28904853504 10264 33554432000 4194304 4196468 140724803839424 140031777912224 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32623] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32623/stat : 32623 (java) S 32609 32609 31939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476463269 28904853504 10264 33554432000 4194304 4196468 140724803839424 140031776859632 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32624] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32624/stat : 32624 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463271 28904853504 10264 33554432000 4194304 4196468 140724803839424 140031775808208 140032394766235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32625] ppid=32609 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/32611/task/32625/stat : 32625 (java) S 32609 32609 31939 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 20 0 476463271 28904853504 10264 33554432000 4194304 4196468 140724803839424 140031774754800 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32626] ppid=32609 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/32611/task/32626/stat : 32626 (java) S 32609 32609 31939 0 -1 1077944384 243 0 0 0 2 0 0 0 20 0 20 0 476463271 28904853504 10264 33554432000 4194304 4196468 140724803839424 140031773702256 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32627] ppid=32609 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/32611/task/32627/stat : 32627 (java) S 32609 32609 31939 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 20 0 476463271 28904853504 10264 33554432000 4194304 4196468 140724803839424 140031772649712 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32628] ppid=32609 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/32611/task/32628/stat : 32628 (java) R 32609 32609 31939 0 -1 4202560 774 0 0 0 8 0 0 0 20 0 20 0 476463271 28904853504 10264 33554432000 4194304 4196468 140724803839424 140031503100272 140032394759574 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32629] ppid=32609 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32629/stat : 32629 (java) S 32609 32609 31939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476463271 28904853504 10264 33554432000 4194304 4196468 140724803839424 140031502047968 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32630] ppid=32609 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/32611/task/32630/stat : 32630 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463272 28904853504 10264 33554432000 4194304 4196468 140724803839424 140031500995504 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42504 KiB

[startup+0.3108 s]*
/proc/loadavg: 7.77 7.84 7.75 2/213 32630
/proc/meminfo: memFree=23450652/32770624 swapFree=66953204/67108860
[pid=32609] ppid=32606 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/32609/stat : 32609 (xcsp3-exec) S 32606 32609 31939 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476463265 115843072 362 33554432000 4194304 5098028 140723634487472 140723634485576 139913337016956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10993664 140723634496337 140723634496597 140723634496597 140723634499526 0
/proc/32609/statm: 28282 362 304 221 0 87 0
[pid=32611] ppid=32609 vsize=28231652 memory=49500 CPUtime=0.51 cores=0-7
/proc/32611/stat : 32611 (java) S 32609 32609 31939 0 -1 1077944320 10793 0 1 0 48 3 0 0 20 0 20 0 476463265 28909211648 12375 33554432000 4194304 4196468 140724803839424 140724803821968 140032394747639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
/proc/32611/statm: 7057913 12375 3332 1 0 7019032 0
[pid=32611/tid=32612] ppid=32609 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32611/task/32612/stat : 32612 (java) R 32609 32609 31939 0 -1 4202560 7832 0 1 0 27 2 0 0 20 0 20 0 476463266 28909211648 12375 33554432000 4194304 4196468 140724803839424 140032398978752 140032378828126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32613] ppid=32609 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32613/stat : 32613 (java) S 32609 32609 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476463266 28909211648 12375 33554432000 4194304 4196468 140724803839424 140032314600208 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32614] ppid=32609 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32614/stat : 32614 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463266 28909211648 12375 33554432000 4194304 4196468 140724803839424 140032313547664 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32615] ppid=32609 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32615/stat : 32615 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463266 28909211648 12375 33554432000 4194304 4196468 140724803839424 140032312495120 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32616] ppid=32609 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32616/stat : 32616 (java) S 32609 32609 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476463266 28909211648 12375 33554432000 4194304 4196468 140724803839424 140032311442576 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32617] ppid=32609 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/32611/task/32617/stat : 32617 (java) S 32609 32609 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476463266 28909211648 12375 33554432000 4194304 4196468 140724803839424 140032310389008 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32618] ppid=32609 vsize=28231652 memory=140158406063023 CPUtime=0 cores=0-7
/proc/32611/task/32618/stat : 32618 (java) S 32609 32609 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476463266 28909211648 12375 33554432000 4194304 4196468 140724803839424 140031940483472 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32619] ppid=32609 vsize=28231652 memory=140158406065328 CPUtime=0 cores=0-7
/proc/32611/task/32619/stat : 32619 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463266 28909211648 12375 33554432000 4194304 4196468 140724803839424 140031939430928 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32620] ppid=32609 vsize=28231652 memory=140158406067632 CPUtime=0 cores=0-7
/proc/32611/task/32620/stat : 32620 (java) S 32609 32609 31939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476463267 28909211648 12375 33554432000 4194304 4196468 140724803839424 140031938378384 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32621] ppid=32609 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32621/stat : 32621 (java) S 32609 32609 31939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476463268 28909211648 12375 33554432000 4194304 4196468 140724803839424 140031778966000 140032394758786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32622] ppid=32609 vsize=28231652 memory=280316812142224 CPUtime=0 cores=0-7
/proc/32611/task/32622/stat : 32622 (java) S 32609 32609 31939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476463268 28909211648 12375 33554432000 4194304 4196468 140724803839424 140031777912224 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32623] ppid=32609 vsize=28231652 memory=280316812149136 CPUtime=0 cores=0-7
/proc/32611/task/32623/stat : 32623 (java) S 32609 32609 31939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476463269 28909211648 12375 33554432000 4194304 4196468 140724803839424 140031776859632 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32624] ppid=32609 vsize=28231652 memory=280316812090416 CPUtime=0 cores=0-7
/proc/32611/task/32624/stat : 32624 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463271 28909211648 12375 33554432000 4194304 4196468 140724803839424 140031775808208 140032394766235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32625] ppid=32609 vsize=28231652 memory=280316812162960 CPUtime=0.01 cores=0-7
/proc/32611/task/32625/stat : 32625 (java) S 32609 32609 31939 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 20 0 476463271 28909211648 12375 33554432000 4194304 4196468 140724803839424 140031774754800 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32626] ppid=32609 vsize=28231652 memory=280316812169872 CPUtime=0.03 cores=0-7
/proc/32611/task/32626/stat : 32626 (java) S 32609 32609 31939 0 -1 1077944384 264 0 0 0 3 0 0 0 20 0 20 0 476463271 28909211648 12375 33554432000 4194304 4196468 140724803839424 140031773702256 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32627] ppid=32609 vsize=28231652 memory=280316812167568 CPUtime=0.02 cores=0-7
/proc/32611/task/32627/stat : 32627 (java) S 32609 32609 31939 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 20 0 476463271 28909211648 12375 33554432000 4194304 4196468 140724803839424 140031772649712 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32628] ppid=32609 vsize=28231652 memory=280316812183728 CPUtime=0.12 cores=0-7
/proc/32611/task/32628/stat : 32628 (java) S 32609 32609 31939 0 -1 1077944384 856 0 0 0 12 0 0 0 20 0 20 0 476463271 28909211648 12375 33554432000 4194304 4196468 140724803839424 140031503100272 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32629] ppid=32609 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32629/stat : 32629 (java) S 32609 32609 31939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476463271 28909211648 12375 33554432000 4194304 4196468 140724803839424 140031502047968 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32630] ppid=32609 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/32611/task/32630/stat : 32630 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463272 28909211648 12375 33554432000 4194304 4196468 140724803839424 140031500995504 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50948 KiB

[startup+0.70097 s]
/proc/loadavg: 7.77 7.84 7.75 5/213 32630
/proc/meminfo: memFree=23413992/32770624 swapFree=66953204/67108860
[pid=32609] ppid=32606 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/32609/stat : 32609 (xcsp3-exec) S 32606 32609 31939 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476463265 115843072 362 33554432000 4194304 5098028 140723634487472 140723634485576 139913337016956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10993664 140723634496337 140723634496597 140723634496597 140723634499526 0
/proc/32609/statm: 28282 362 304 221 0 87 0
[pid=32611] ppid=32609 vsize=28233776 memory=137484 CPUtime=1.84 cores=0-7
/proc/32611/stat : 32611 (java) S 32609 32609 31939 0 -1 1077944320 16338 0 1 0 178 6 0 0 20 0 20 0 476463265 28911386624 34371 33554432000 4194304 4196468 140724803839424 140724803821968 140032394747639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
/proc/32611/statm: 7058444 34371 3449 1 0 7019544 0
[pid=32611/tid=32612] ppid=32609 vsize=28233776 memory=280316812541616 CPUtime=0.68 cores=0-7
/proc/32611/task/32612/stat : 32612 (java) R 32609 32609 31939 0 -1 4202560 9077 0 1 0 64 4 0 0 20 0 20 0 476463266 28911386624 34371 33554432000 4194304 4196468 140724803839424 140032398985104 140032394759574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32613] ppid=32609 vsize=28233776 memory=140158406271856 CPUtime=0 cores=0-7
/proc/32611/task/32613/stat : 32613 (java) S 32609 32609 31939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476463266 28911386624 34371 33554432000 4194304 4196468 140724803839424 140032314600208 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32614] ppid=32609 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/32611/task/32614/stat : 32614 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463266 28911386624 34371 33554432000 4194304 4196468 140724803839424 140032313547664 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32615] ppid=32609 vsize=28233776 memory=668 CPUtime=0 cores=0-7
/proc/32611/task/32615/stat : 32615 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476463266 28911386624 34371 33554432000 4194304 4196468 140724803839424 140032312495120 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0

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

[pid=32611/tid=2731] ppid=32609 vsize=28769364 memory=3866136 CPUtime=48.47 cores=0-7
/proc/32611/task/2731/stat : 2731 (java) R 32609 32609 31939 0 -1 4202560 2759 0 0 0 4846 1 0 0 20 0 28 0 476702638 29459828736 966534 33554432000 4194304 4196468 140724803839424 140031490961848 140031996229941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
Current children cumulated CPU time: 19131.3 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 3867584 KiB

[startup+2502.3 s]
/proc/loadavg: 8.03 8.24 8.23 9/219 2835
/proc/meminfo: memFree=19617104/32770624 swapFree=66953208/67108860
[pid=32609] ppid=32606 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/32609/stat : 32609 (xcsp3-exec) S 32606 32609 31939 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476463265 115843072 362 33554432000 4194304 5098028 140723634487472 140723634485576 139913337016956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10993664 140723634496337 140723634496597 140723634496597 140723634499526 0
/proc/32609/statm: 28282 362 304 221 0 87 0
[pid=32611] ppid=32609 vsize=28769364 memory=3869968 CPUtime=19605.7 cores=0-7
/proc/32611/stat : 32611 (java) S 32609 32609 31939 0 -1 1077944320 2340449 0 1 0 1955009 5563 0 0 20 0 28 0 476463265 29459828736 967492 33554432000 4194304 4196468 140724803839424 140724803821968 140032394747639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
/proc/32611/statm: 7192341 967492 3551 1 0 7153441 0
[pid=32611/tid=32612] ppid=32609 vsize=28769364 memory=3869904 CPUtime=3.45 cores=0-7
/proc/32611/task/32612/stat : 32612 (java) S 32609 32609 31939 0 -1 1077944384 41510 0 1 0 330 15 0 0 20 0 28 0 476463266 29459828736 967492 33554432000 4194304 4196468 140724803839424 140032398988336 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32613] ppid=32609 vsize=28769364 memory=1448 CPUtime=7.7 cores=0-7
/proc/32611/task/32613/stat : 32613 (java) S 32609 32609 31939 0 -1 1077944384 95129 0 0 0 587 183 0 0 20 0 28 0 476463266 29459828736 967492 33554432000 4194304 4196468 140724803839424 140032314600208 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32614] ppid=32609 vsize=28769364 memory=1448 CPUtime=7.74 cores=0-7
/proc/32611/task/32614/stat : 32614 (java) S 32609 32609 31939 0 -1 1077944384 92175 0 0 0 589 185 0 0 20 0 28 0 476463266 29459828736 967492 33554432000 4194304 4196468 140724803839424 140032313547664 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32615] ppid=32609 vsize=28769364 memory=1448 CPUtime=7.68 cores=0-7
/proc/32611/task/32615/stat : 32615 (java) S 32609 32609 31939 0 -1 1077944384 101019 0 0 0 585 183 0 0 20 0 28 0 476463266 29459828736 967492 33554432000 4194304 4196468 140724803839424 140032312495120 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32616] ppid=32609 vsize=28769364 memory=3869224 CPUtime=7.7 cores=0-7
/proc/32611/task/32616/stat : 32616 (java) S 32609 32609 31939 0 -1 1077944384 99481 0 0 0 584 186 0 0 20 0 28 0 476463266 29459828736 967492 33554432000 4194304 4196468 140724803839424 140032311442576 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32617] ppid=32609 vsize=28769364 memory=3869224 CPUtime=7.65 cores=0-7
/proc/32611/task/32617/stat : 32617 (java) S 32609 32609 31939 0 -1 1077944384 97491 0 0 0 584 181 0 0 20 0 28 0 476463266 29459828736 967492 33554432000 4194304 4196468 140724803839424 140032310389008 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32618] ppid=32609 vsize=28769364 memory=3869392 CPUtime=7.61 cores=0-7
/proc/32611/task/32618/stat : 32618 (java) S 32609 32609 31939 0 -1 1077944384 96429 0 0 0 585 176 0 0 20 0 28 0 476463266 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031940483472 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32619] ppid=32609 vsize=28769364 memory=3869380 CPUtime=7.66 cores=0-7
/proc/32611/task/32619/stat : 32619 (java) S 32609 32609 31939 0 -1 1077944384 99716 0 0 0 587 179 0 0 20 0 28 0 476463266 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031939430928 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32620] ppid=32609 vsize=28769364 memory=3869164 CPUtime=7.62 cores=0-7
/proc/32611/task/32620/stat : 32620 (java) S 32609 32609 31939 0 -1 1077944384 94653 0 0 0 590 172 0 0 20 0 28 0 476463267 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031938378384 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32621] ppid=32609 vsize=28769364 memory=3866780 CPUtime=1.35 cores=0-7
/proc/32611/task/32621/stat : 32621 (java) S 32609 32609 31939 0 -1 1077944384 47357 0 0 0 123 12 0 0 20 0 28 0 476463268 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031778966000 140032394758786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32622] ppid=32609 vsize=28769364 memory=3866860 CPUtime=0 cores=0-7
/proc/32611/task/32622/stat : 32622 (java) S 32609 32609 31939 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 476463268 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031777912288 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32623] ppid=32609 vsize=28769364 memory=3866680 CPUtime=0 cores=0-7
/proc/32611/task/32623/stat : 32623 (java) S 32609 32609 31939 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 476463269 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031776859648 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32624] ppid=32609 vsize=28769364 memory=3867040 CPUtime=0 cores=0-7
/proc/32611/task/32624/stat : 32624 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476463271 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031775808208 140032394766235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32625] ppid=32609 vsize=28769364 memory=3866136 CPUtime=3.16 cores=0-7
/proc/32611/task/32625/stat : 32625 (java) S 32609 32609 31939 0 -1 1077944384 38289 0 0 0 310 6 0 0 20 0 28 0 476463271 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031774754800 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32626] ppid=32609 vsize=28769364 memory=1984 CPUtime=2.9 cores=0-7
/proc/32611/task/32626/stat : 32626 (java) S 32609 32609 31939 0 -1 1077944384 30287 0 0 0 283 7 0 0 20 0 28 0 476463271 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031773702256 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32627] ppid=32609 vsize=28769364 memory=3866136 CPUtime=3.7 cores=0-7
/proc/32611/task/32627/stat : 32627 (java) S 32609 32609 31939 0 -1 1077944384 38694 0 0 0 364 6 0 0 20 0 28 0 476463271 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031772649712 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32628] ppid=32609 vsize=28769364 memory=3869968 CPUtime=1.21 cores=0-7
/proc/32611/task/32628/stat : 32628 (java) S 32609 32609 31939 0 -1 1077944384 51022 0 0 0 112 9 0 0 20 0 28 0 476463271 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031503100272 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32629] ppid=32609 vsize=28769364 memory=1448 CPUtime=0 cores=0-7
/proc/32611/task/32629/stat : 32629 (java) S 32609 32609 31939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476463271 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031502047968 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32630] ppid=32609 vsize=28769364 memory=1448 CPUtime=1.13 cores=0-7
/proc/32611/task/32630/stat : 32630 (java) S 32609 32609 31939 0 -1 1077944384 14412 0 0 0 42 71 0 0 20 0 28 0 476463272 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031500995504 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=2828] ppid=32609 vsize=28769364 memory=1448 CPUtime=10.53 cores=0-7
/proc/32611/task/2828/stat : 2828 (java) R 32609 32609 31939 0 -1 4202560 766 0 0 0 1053 0 0 0 20 0 28 0 476712440 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031487802792 140031996799909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=2829] ppid=32609 vsize=28769364 memory=1448 CPUtime=10.52 cores=0-7
/proc/32611/task/2829/stat : 2829 (java) R 32609 32609 31939 0 -1 4202560 1454 0 0 0 1052 0 0 0 20 0 28 0 476712440 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031485701024 140031996799691 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=2830] ppid=32609 vsize=28769364 memory=3869392 CPUtime=10.53 cores=0-7
/proc/32611/task/2830/stat : 2830 (java) R 32609 32609 31939 0 -1 4202560 642 0 0 0 1053 0 0 0 20 0 28 0 476712440 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031490961128 140031996800084 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=2831] ppid=32609 vsize=28769364 memory=3869224 CPUtime=10.52 cores=0-7
/proc/32611/task/2831/stat : 2831 (java) R 32609 32609 31939 0 -1 4202560 883 0 0 0 1052 0 0 0 20 0 28 0 476712440 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031486750424 140031996229961 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=2832] ppid=32609 vsize=28769364 memory=1448 CPUtime=10.53 cores=0-7
/proc/32611/task/2832/stat : 2832 (java) R 32609 32609 31939 0 -1 4202560 599 0 0 0 1053 0 0 0 20 0 28 0 476712440 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031492013864 140031996801633 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=2833] ppid=32609 vsize=28769364 memory=1448 CPUtime=10.53 cores=0-7
/proc/32611/task/2833/stat : 2833 (java) R 32609 32609 31939 0 -1 4202560 877 0 0 0 1042 11 0 0 20 0 28 0 476712440 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031484645480 140031996229941 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=2834] ppid=32609 vsize=28769364 memory=1448 CPUtime=10.31 cores=0-7
/proc/32611/task/2834/stat : 2834 (java) R 32609 32609 31939 0 -1 4202560 1130 0 0 0 1030 1 0 0 20 0 28 0 476712440 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031488856048 140031996229941 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=2835] ppid=32609 vsize=28769364 memory=2116 CPUtime=10.53 cores=0-7
/proc/32611/task/2835/stat : 2835 (java) R 32609 32609 31939 0 -1 4202560 1460 0 0 0 1043 10 0 0 20 0 28 0 476712440 29459828736 967492 33554432000 4194304 4196468 140724803839424 140031489909096 140031997391560 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
Current children cumulated CPU time: 19605.7 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 3871416 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 8.02 8.23 8.23 9/219 2835
/proc/meminfo: memFree=19611520/32770624 swapFree=66953208/67108860
[pid=32609] ppid=32606 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/32609/stat : 32609 (xcsp3-exec) S 32606 32609 31939 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476463265 115843072 362 33554432000 4194304 5098028 140723634487472 140723634485576 139913337016956 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10993664 140723634496337 140723634496597 140723634496597 140723634499526 0
/proc/32609/statm: 28282 362 304 221 0 87 0
[pid=32611] ppid=32609 vsize=28769364 memory=3875336 CPUtime=19746.9 cores=0-7
/proc/32611/stat : 32611 (java) S 32609 32609 31939 0 -1 1077944320 2359081 0 1 0 1969111 5576 0 0 20 0 28 0 476463265 29459828736 968834 33554432000 4194304 4196468 140724803839424 140724803821968 140032394747639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
/proc/32611/statm: 7192341 968834 3551 1 0 7153441 0
[pid=32611/tid=32612] ppid=32609 vsize=28769364 memory=9580 CPUtime=3.45 cores=0-7
/proc/32611/task/32612/stat : 32612 (java) S 32609 32609 31939 0 -1 1077944384 41510 0 1 0 330 15 0 0 20 0 28 0 476463266 29459828736 968834 33554432000 4194304 4196468 140724803839424 140032398988336 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32613] ppid=32609 vsize=28769364 memory=1052 CPUtime=7.72 cores=0-7
/proc/32611/task/32613/stat : 32613 (java) S 32609 32609 31939 0 -1 1077944384 96076 0 0 0 588 184 0 0 20 0 28 0 476463266 29459828736 968834 33554432000 4194304 4196468 140724803839424 140032314600208 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32614] ppid=32609 vsize=28769364 memory=776 CPUtime=7.76 cores=0-7
/proc/32611/task/32614/stat : 32614 (java) S 32609 32609 31939 0 -1 1077944384 93391 0 0 0 590 186 0 0 20 0 28 0 476463266 29459828736 968834 33554432000 4194304 4196468 140724803839424 140032313547664 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 24 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32615] ppid=32609 vsize=28769364 memory=2832 CPUtime=7.7 cores=0-7
/proc/32611/task/32615/stat : 32615 (java) S 32609 32609 31939 0 -1 1077944384 101803 0 0 0 586 184 0 0 20 0 28 0 476463266 29459828736 968834 33554432000 4194304 4196468 140724803839424 140032312495120 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 26 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32616] ppid=32609 vsize=28769364 memory=668 CPUtime=7.72 cores=0-7
/proc/32611/task/32616/stat : 32616 (java) S 32609 32609 31939 0 -1 1077944384 100536 0 0 0 585 187 0 0 20 0 28 0 476463266 29459828736 968834 33554432000 4194304 4196468 140724803839424 140032311442576 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32617] ppid=32609 vsize=28769364 memory=3500 CPUtime=7.66 cores=0-7
/proc/32611/task/32617/stat : 32617 (java) S 32609 32609 31939 0 -1 1077944384 98939 0 0 0 584 182 0 0 20 0 28 0 476463266 29459828736 968834 33554432000 4194304 4196468 140724803839424 140032310389008 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32618] ppid=32609 vsize=28769364 memory=55652 CPUtime=7.62 cores=0-7
/proc/32611/task/32618/stat : 32618 (java) S 32609 32609 31939 0 -1 1077944384 97618 0 0 0 586 176 0 0 20 0 28 0 476463266 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031940483472 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32619] ppid=32609 vsize=28769364 memory=988 CPUtime=7.68 cores=0-7
/proc/32611/task/32619/stat : 32619 (java) S 32609 32609 31939 0 -1 1077944384 100081 0 0 0 588 180 0 0 20 0 28 0 476463266 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031939430928 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32620] ppid=32609 vsize=28769364 memory=2008 CPUtime=7.63 cores=0-7
/proc/32611/task/32620/stat : 32620 (java) S 32609 32609 31939 0 -1 1077944384 96001 0 0 0 590 173 0 0 20 0 28 0 476463267 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031938378384 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32621] ppid=32609 vsize=28769364 memory=1424 CPUtime=1.36 cores=0-7
/proc/32611/task/32621/stat : 32621 (java) S 32609 32609 31939 0 -1 1077944384 47691 0 0 0 123 13 0 0 20 0 28 0 476463268 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031778966000 140032394758786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32622] ppid=32609 vsize=28769364 memory=3640 CPUtime=0 cores=0-7
/proc/32611/task/32622/stat : 32622 (java) S 32609 32609 31939 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 476463268 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031777912288 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32623] ppid=32609 vsize=28769364 memory=1548 CPUtime=0 cores=0-7
/proc/32611/task/32623/stat : 32623 (java) S 32609 32609 31939 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 476463269 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031776859648 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32624] ppid=32609 vsize=28769364 memory=1256 CPUtime=0 cores=0-7
/proc/32611/task/32624/stat : 32624 (java) S 32609 32609 31939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476463271 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031775808208 140032394766235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32625] ppid=32609 vsize=28769364 memory=1076 CPUtime=3.16 cores=0-7
/proc/32611/task/32625/stat : 32625 (java) S 32609 32609 31939 0 -1 1077944384 38298 0 0 0 310 6 0 0 20 0 28 0 476463271 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031774754800 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32626] ppid=32609 vsize=28769364 memory=13956 CPUtime=2.9 cores=0-7
/proc/32611/task/32626/stat : 32626 (java) S 32609 32609 31939 0 -1 1077944384 30314 0 0 0 283 7 0 0 20 0 28 0 476463271 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031773702256 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32627] ppid=32609 vsize=28769364 memory=30624 CPUtime=3.7 cores=0-7
/proc/32611/task/32627/stat : 32627 (java) S 32609 32609 31939 0 -1 1077944384 38703 0 0 0 364 6 0 0 20 0 28 0 476463271 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031772649712 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32628] ppid=32609 vsize=28769364 memory=14056 CPUtime=1.21 cores=0-7
/proc/32611/task/32628/stat : 32628 (java) S 32609 32609 31939 0 -1 1077944384 51034 0 0 0 112 9 0 0 20 0 28 0 476463271 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031503100272 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32629] ppid=32609 vsize=28769364 memory=2116 CPUtime=0 cores=0-7
/proc/32611/task/32629/stat : 32629 (java) S 32609 32609 31939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476463271 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031502047968 140032394757845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=32630] ppid=32609 vsize=28769364 memory=520 CPUtime=1.14 cores=0-7
/proc/32611/task/32630/stat : 32630 (java) S 32609 32609 31939 0 -1 1077944384 14505 0 0 0 43 71 0 0 20 0 28 0 476463272 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031500995504 140032394758786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=2828] ppid=32609 vsize=28769364 memory=1560 CPUtime=28.2 cores=0-7
/proc/32611/task/2828/stat : 2828 (java) R 32609 32609 31939 0 -1 4202560 1728 0 0 0 2819 1 0 0 20 0 28 0 476712440 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031487802936 140031996229961 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=2829] ppid=32609 vsize=28769364 memory=6791534058613427641 CPUtime=28.19 cores=0-7
/proc/32611/task/2829/stat : 2829 (java) R 32609 32609 31939 0 -1 4202560 2450 0 0 0 2818 1 0 0 20 0 28 0 476712440 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031485698664 140032376396587 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=2830] ppid=32609 vsize=28769364 memory=1448 CPUtime=28.19 cores=0-7
/proc/32611/task/2830/stat : 2830 (java) R 32609 32609 31939 0 -1 4202560 1511 0 0 0 2819 0 0 0 20 0 28 0 476712440 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031490961128 140031996229941 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=2831] ppid=32609 vsize=28769364 memory=3875336 CPUtime=28.2 cores=0-7
/proc/32611/task/2831/stat : 2831 (java) R 32609 32609 31939 0 -1 4202560 2089 0 0 0 2819 1 0 0 20 0 28 0 476712440 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031486750792 140031996801180 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=2832] ppid=32609 vsize=28769364 memory=6791534058613427641 CPUtime=28.2 cores=0-7
/proc/32611/task/2832/stat : 2832 (java) R 32609 32609 31939 0 -1 4202560 1454 0 0 0 2819 1 0 0 20 0 28 0 476712440 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031492014088 140031996799691 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=2833] ppid=32609 vsize=28769364 memory=520 CPUtime=28.2 cores=0-7
/proc/32611/task/2833/stat : 2833 (java) R 32609 32609 31939 0 -1 4202560 2265 0 0 0 2809 11 0 0 20 0 28 0 476712440 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031484647840 140031996229941 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=2834] ppid=32609 vsize=28769364 memory=1560 CPUtime=27.59 cores=0-7
/proc/32611/task/2834/stat : 2834 (java) R 32609 32609 31939 0 -1 4202560 2169 0 0 0 2758 1 0 0 20 0 28 0 476712440 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031488856296 140031997315052 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
[pid=32611/tid=2835] ppid=32609 vsize=28769364 memory=924 CPUtime=28.21 cores=0-7
/proc/32611/task/2835/stat : 2835 (java) R 32609 32609 31939 0 -1 4202560 3942 0 0 0 2807 14 0 0 20 0 28 0 476712440 29459828736 968834 33554432000 4194304 4196468 140724803839424 140031489908832 140031997616197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10084352 140724803843030 140724803843206 140724803843206 140724803846095 0
Current children cumulated CPU time: 19746.9 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 3876784 KiB

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

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

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

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

Child status: 143
Real time (s): 2520.12
CPU time (s): 19747.6
CPU user time (s): 19691.8
CPU system time (s): 55.797
CPU usage (%): 783.598
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 5540080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19691.8
system time used= 55.797
maximum resident set size= 5538664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2360546
page faults= 1
swaps= 0
block input operations= 160
block output operations= 3552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117740
involuntary context switches= 222346


# summary of solver processes directly reported to runsolver:
#   pid: 32609,32611
#   total CPU time (s): 19747.6
#   total CPU user time (s): 19691.8
#   total CPU system time (s): 55.797

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.4615 second user time and 30.3331 second system time

The end

Launcher Data

Begin job on node119 at 2019-09-20 20:50:44
IDJOB=4404774
IDBENCH=135802
IDSOLVER=2865
FILE ID=node119/4404774-1569005484
RUNJOBID= node119-1569004688-31966
PBS_JOBID= 21704741
Free space on /var/tmp= 13512 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n150/TravellingSalesman-150-50-13.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-4404774-1569005484/watcher-4404774-1569005484 -o /var/tmp/evaluation-result-4404774-1569005484/solver-4404774-1569005484 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node119-1569004688-31966 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1782515205 HOME/instance-4404774-1569005484.xml

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

MD5SUM BENCH= d698eba466bb4d42bacc008ef87467ee
RANDOM SEED=1782515205

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23488132 kB
MemAvailable:   31810024 kB
Buffers:          101628 kB
Cached:          8282056 kB
SwapCached:        46584 kB
Active:          4149868 kB
Inactive:        4283780 kB
Active(anon):       1844 kB
Inactive(anon):    96472 kB
Active(file):    4148024 kB
Inactive(file):  4187308 kB
Unevictable:      109132 kB
Mlocked:          109132 kB
SwapTotal:      67108860 kB
SwapFree:       66953204 kB
Dirty:             25888 kB
Writeback:             4 kB
AnonPages:        113412 kB
Mapped:            52104 kB
Shmem:             40128 kB
Slab:             443716 kB
SReclaimable:     415020 kB
SUnreclaim:        28696 kB
KernelStack:        3424 kB
PageTables:         5672 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /var/tmp at the end= 13488 MiB
End job on node119 at 2019-09-20 21:32:44