Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-24 parallel | SAT (TO) | 1020 | 19774.5 | 2520.12 |
| Name | TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-13.xml |
| MD5SUM | d698eba466bb4d42bacc008ef87467ee |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 549 |
| Best CPU time to get the best result obtained on this benchmark | 20119.1 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 300 |
| Number of constraints | 151 |
| Number of domains | 2 |
| Minimum domain size | 66 |
| Maximum domain size | 150 |
| Distribution of domain sizes | [{"size":66,"count":150},{"size":150,"count":150}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":150},{"degree":3,"count":150}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 150 |
| Distribution of constraint arities | [{"arity":3,"count":150},{"arity":150,"count":1}] |
| Number of extensional constraints | 150 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":150},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407174-1569356024.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407174-1569356024.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 29.25/6.72 c solve instance... 37.58/7.81 o 3814 38.33/7.95 o 2604 40.20/8.23 o 2588 40.77/8.30 o 2562 40.77/8.35 o 2546 41.75/8.55 o 2543 43.29/9.57 o 2524 43.42/9.62 o 2521 43.42/9.68 o 2520 43.68/9.74 o 2518 43.68/9.79 o 2516 43.98/9.80 o 2513 43.98/9.84 o 2502 44.24/9.91 o 2494 46.94/10.30 o 2491 46.94/10.39 o 2488 46.94/10.40 o 2485 47.17/10.48 o 2483 47.54/10.58 o 2480 47.70/10.67 o 2477 47.85/10.77 o 2475 48.05/10.85 o 2474 48.05/10.86 o 2471 48.29/10.95 o 2469 136.48/22.72 o 2467 162.11/26.84 o 2465 171.47/28.64 o 2464 390.55/56.26 o 2463 426.74/60.94 o 2461 427.89/61.95 o 2459 428.12/62.09 o 2458 428.12/62.10 o 2455 428.27/62.11 o 2453 428.38/62.25 o 2451 483.91/69.57 o 2450 486.87/70.02 o 2448 487.52/70.19 o 2447 491.54/71.55 o 2446 546.12/78.48 o 2445 547.53/79.42 o 2443 548.82/79.67 o 2442 548.82/79.68 o 2440 549.79/79.88 o 2439 588.86/85.54 o 2437 589.00/85.67 o 2435 595.59/86.55 o 2434 608.10/88.14 o 2425 614.80/89.44 o 2424 614.80/89.48 o 2422 621.25/91.00 o 2420 621.51/91.14 o 2418 623.53/91.50 o 2417 638.92/93.53 o 2416 654.46/95.51 o 2411 671.65/97.77 o 2398 687.86/99.87 o 2386 696.58/101.20 o 1889 696.67/101.21 o 1888 696.88/101.34 o 1880 697.02/101.48 o 1876 698.02/101.66 o 1869 716.27/104.17 o 1867 717.31/104.37 o 1866 724.95/105.41 o 1860 735.35/107.09 o 1859 735.69/107.23 o 1852 736.24/107.39 o 1850 738.78/107.72 o 1848 739.19/107.86 o 1847 739.53/108.00 o 1846 740.50/108.14 o 1845 740.64/108.24 o 1842 748.07/109.23 o 1840 749.15/110.30 o 1832 749.80/110.41 o 1829 750.49/110.54 o 1821 758.09/111.51 o 1818 758.09/111.54 o 1817 758.09/111.58 o 1816 758.65/111.60 o 1815 759.19/111.87 o 1811 759.59/112.11 o 1802 759.95/112.33 o 1801 775.80/114.41 o 1785 775.95/114.56 o 1782 777.00/114.78 o 1773 777.28/114.93 o 1770 777.45/115.08 o 1769 791.58/117.53 o 1768 792.02/117.64 o 1759 792.29/117.74 o 1755 792.73/117.84 o 1753 803.50/119.23 o 1742 803.50/119.28 o 1734 803.74/119.33 o 1721 804.89/119.50 o 1714 804.89/119.57 o 1713 805.42/119.63 o 1709 812.61/121.41 o 1708 814.88/121.72 o 1698 818.80/122.29 o 1697 819.53/122.31 o 1687 819.53/122.33 o 1685 819.53/122.36 o 1679 820.14/122.48 o 1677 825.04/123.03 o 1662 825.04/123.05 o 1660 827.15/123.35 o 1659 833.47/124.50 o 1655 858.03/127.92 o 1652 858.37/128.15 o 1650 863.56/128.86 o 1645 864.71/129.08 o 1644 867.30/129.44 o 1643 867.87/129.61 o 1642 872.55/130.23 o 1619 872.71/130.38 o 1617 872.96/130.52 o 1613 874.22/130.74 o 1603 874.79/130.90 o 1602 884.33/132.46 o 1586 884.72/132.58 o 1582 884.90/132.68 o 1581 901.11/134.74 o 1576 912.46/136.67 o 1572 912.76/136.74 o 1562 921.43/137.81 o 1559 921.43/137.82 o 1558 928.48/138.77 o 1555 941.52/140.44 o 1551 954.93/142.28 o 1550 958.44/142.89 o 1548 970.41/144.78 o 1545 970.56/144.80 o 1543 983.27/146.46 o 1538 987.96/147.14 o 1536 1012.35/150.24 o 1529 1047.30/154.67 o 1523 1050.12/155.02 o 1519 1121.75/164.37 o 1502 1128.59/165.69 o 1499 1132.59/166.16 o 1496 1139.66/167.02 o 1489 1139.66/167.03 o 1487 1141.00/167.24 o 1484 1148.91/168.21 o 1483 1157.08/169.58 o 1465 1171.66/171.48 o 1463 1188.19/173.78 o 1462 1194.79/174.66 o 1460 1195.56/174.75 o 1457 1196.32/174.89 o 1456 1201.83/175.54 o 1454 1201.83/175.59 o 1453 1202.39/175.62 o 1451 1217.49/178.07 o 1447 1222.06/178.73 o 1445 1230.61/179.87 o 1443 1240.97/181.17 o 1438 1241.46/181.31 o 1433 1259.67/183.69 o 1421 1299.86/188.78 o 1420 1300.55/188.82 o 1419 1302.88/189.12 o 1415 1314.66/190.69 o 1414 1315.49/190.77 o 1412 1320.98/192.12 o 1409 1336.01/194.04 o 1405 1336.70/194.19 o 1402 1346.17/196.01 o 1401 1375.58/200.17 o 1398 1375.80/200.21 o 1396 1375.80/200.25 o 1394 1561.36/223.53 o 1393 1562.90/223.74 o 1392 1590.59/227.82 o 1379 1658.11/236.31 o 1376 1748.61/247.73 o 1372 1840.74/259.37 o 1371 1867.36/263.53 o 1368 1873.83/264.41 o 1365 1879.38/265.16 o 1363 1888.59/266.36 o 1362 1895.43/267.20 o 1361 1906.57/268.69 o 1354 1906.78/268.73 o 1353 1918.62/270.21 o 1349 1962.38/275.75 o 1344 1971.80/276.91 o 1338 1972.62/277.02 o 1336 1993.20/279.70 o 1330 2007.51/281.57 o 1329 2018.44/283.04 o 1324 2019.62/283.28 o 1323 2052.28/287.41 o 1321 2080.92/291.10 o 1319 2204.99/306.61 o 1315 2282.31/316.33 o 1312 2282.31/316.37 o 1311 2294.41/318.60 o 1308 2317.02/321.58 o 1305 2323.19/323.15 o 1304 2330.84/324.16 o 1303 2348.45/326.40 o 1302 2398.70/332.86 o 1289 2438.77/337.92 o 1283 2439.47/338.08 o 1281 2495.84/345.13 o 1273 2502.11/345.95 o 1271 2537.91/350.48 o 1268 2560.06/353.34 o 1267 2618.78/360.74 o 1266 2618.78/360.79 o 1261 2665.70/366.76 o 1260 2949.11/402.38 o 1259 3181.04/431.47 o 1255 3181.74/431.51 o 1254 3181.74/431.52 o 1251 3181.74/431.53 o 1248 3203.87/434.40 o 1247 3272.03/442.96 o 1246 3291.85/445.54 o 1245 3375.33/456.03 o 1241 3379.92/456.68 o 1240 3444.39/464.74 o 1237 3456.13/466.22 o 1235 3462.42/467.06 o 1234 3499.64/471.76 o 1233 3517.68/474.43 o 1228 3684.85/495.47 o 1227 3690.33/496.18 o 1213 3696.53/496.99 o 1209 3750.84/503.95 o 1201 3760.08/505.19 o 1200 3771.03/506.51 o 1199 3771.59/506.60 o 1198 3784.64/509.01 o 1189 3785.22/509.11 o 1187 3834.50/515.40 o 1186 3972.38/532.69 o 1185 3972.92/532.72 o 1183 3974.37/533.01 o 1178 4006.18/536.97 o 1168 4163.03/556.64 o 1167 4485.05/597.06 o 1166 4562.74/606.88 o 1162 4578.20/609.14 o 1160 4654.46/619.35 o 1159 4654.61/619.41 o 1154 4654.61/619.43 o 1153 4701.46/625.39 o 1151 4796.22/637.34 o 1146 4805.52/639.12 o 1144 4913.77/652.73 o 1143 5011.80/665.10 o 1140 5012.46/665.13 o 1136 5013.07/665.55 o 1133 5082.07/674.24 o 1132 5108.15/677.57 o 1130 5554.56/733.57 o 1125 5690.80/750.69 o 1122 6087.77/800.71 o 1120 6087.77/800.74 o 1117 6853.26/896.78 o 1115 6946.33/908.46 o 1113 6946.57/908.64 o 1112 6990.94/914.25 o 1110 7274.75/949.82 o 1109 7290.66/951.84 o 1099 7844.50/1021.34 o 1098 8480.62/1101.13 o 1094 8492.43/1102.68 o 1093 8811.25/1142.60 o 1092 9059.15/1173.76 o 1085 9070.62/1175.63 o 1083 9080.74/1176.93 o 1081 9142.03/1184.70 o 1080 9148.28/1185.46 o 1079 9148.28/1185.49 o 1077 9304.72/1205.30 o 1073 9309.44/1205.96 o 1072 9429.87/1221.02 o 1071 9429.87/1221.04 o 1068 9890.57/1278.82 o 1066 10501.65/1355.70 o 1062 10508.78/1356.64 o 1061 10579.58/1365.55 o 1060 10588.17/1366.64 o 1057 10707.62/1381.69 o 1055 10751.33/1387.16 o 1052 11291.84/1454.97 o 1050 11291.84/1454.98 o 1049 11292.54/1455.07 o 1047 11444.68/1474.51 o 1045 11971.67/1540.63 o 1043 11971.67/1540.69 o 1041 12443.50/1599.92 o 1039 12822.05/1647.44 o 1037 13460.27/1727.94 o 1036 13839.40/1775.56 o 1035 13839.64/1775.76 o 1033 14533.06/1862.76 o 1032 15970.26/2043.01 o 1031 18287.71/2333.61 o 1030 18293.20/2334.35 o 1029 19352.24/2467.15 o 1020 19773.88/2520.07 s SATISFIABLE 19773.88/2520.07 v <instantiation> 19773.88/2520.07 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> 19773.88/2520.07 v <values>63 79 85 88 125 124 128 98 41 34 25 14 0 27 81 91 101 102 99 94 118 122 126 111 108 89 105 110 107 117 121 145 149 147 148 146 129 112 103 95 92 97 104 93 87 69 66 31 16 11 4 10 20 30 44 48 57 28 29 38 42 55 54 52 49 68 75 76 82 86 133 139 134 135 140 144 141 136 132 80 83 96 109 113 130 137 142 143 138 123 106 100 65 67 40 39 26 23 59 77 84 115 127 131 120 119 116 114 90 78 62 46 43 32 47 70 53 72 73 61 33 22 17 21 12 5 6 24 45 51 58 60 56 13 8 3 2 1 15 19 7 9 18 36 35 37 50 71 74 64 5 2 6 17 5 1 16 29 4 3 4 12 11 35 4 2 6 3 1 32 2 1 7 2 5 29 10 3 4 2 8 10 11 21 3 8 8 2 2 1 8 2 3 2 16 3 22 4 1 2 4 4 4 7 1 5 14 2 6 3 17 1 4 1 11 4 2 3 2 24 8 2 6 1 1 3 1 3 32 8 7 5 3 8 3 1 1 7 7 12 2 12 2 21 2 21 1 20 6 4 11 7 2 3 3 1 1 20 7 5 7 1 4 6 9 10 13 7 4 11 6 2 1 7 4 5 5 8 2 2 1 3 13 1 6 1 8 8 3 4 1 3 6 1 5 16 18 8 9 2 </values> 19773.88/2520.07 v </instantiation> 19773.88/2520.07 c Unexpected resolution interruption!
OK 1020
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 (10973 MiB free)
memory of node 1: 16384 MiB (12788 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407174-1569356024/watcher-4407174-1569356024 -o /var/tmp/evaluation-result-4407174-1569356024/solver-4407174-1569356024 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569350609-20271 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2133760298 HOME/instance-4407174-1569356024.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
solver pid=21332, runsolver pid=21329
Starting watchdog thread
Current StackSize limit: 8192 KiB
[startup+0.100128 s]*
/proc/loadavg: 7.65 8.01 8.19 3/218 21353
/proc/meminfo: memFree=24314780/32770624 swapFree=67002968/67108860
[pid=21332] ppid=21329 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21332/stat : 21332 (xcsp3-exec) S 21329 21332 20244 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511841932 115843072 362 33554432000 4194304 5098028 140735463713600 140735463711704 139911992898172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27635712 140735463719761 140735463720021 140735463720021 140735463722950 0
/proc/21332/statm: 28282 362 304 221 0 87 0
[pid=21334] ppid=21332 vsize=28227396 memory=28900 CPUtime=0.12 cores=0-7
/proc/21334/stat : 21334 (java) S 21332 21332 20244 0 -1 1077944320 5711 0 0 0 11 1 0 0 20 0 20 0 511841933 28904853504 7225 33554432000 4194304 4196468 140729238652176 140729238634720 140365957058295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
/proc/21334/statm: 7056849 7225 3119 1 0 7019032 0
[pid=21334/tid=21335] ppid=21332 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/21334/task/21335/stat : 21335 (java) R 21332 21332 20244 0 -1 4202560 3611 0 0 0 8 1 0 0 20 0 20 0 511841933 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365961290224 140365588126752 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21336] ppid=21332 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21334/task/21336/stat : 21336 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365909678480 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21337] ppid=21332 vsize=28227396 memory=140495155242624 CPUtime=0 cores=0-7
/proc/21334/task/21337/stat : 21337 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365908625680 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21338] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21338/stat : 21338 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365505878672 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21339] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21339/stat : 21339 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365504825872 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21340] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21340/stat : 21340 (java) S 21332 21332 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511841934 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365503773584 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21341] ppid=21332 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21334/task/21341/stat : 21341 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365502720784 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21342] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21342/stat : 21342 (java) S 21332 21332 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511841934 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365501668496 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21343] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21343/stat : 21343 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365500615696 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21344] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21344/stat : 21344 (java) S 21332 21332 20244 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 511841935 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365341788272 140365957069442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21345] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21345/stat : 21345 (java) S 21332 21332 20244 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511841936 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365340734240 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21346] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21346/stat : 21346 (java) S 21332 21332 20244 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511841936 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365339681904 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21347] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21347/stat : 21347 (java) S 21332 21332 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511841938 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365338630224 140365957076891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21348] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21348/stat : 21348 (java) S 21332 21332 20244 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 511841938 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365337578096 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21349] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21349/stat : 21349 (java) S 21332 21332 20244 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 511841938 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365336525296 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21350] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21350/stat : 21350 (java) R 21332 21332 20244 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 20 0 511841938 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365335473008 140365942476240 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21351] ppid=21332 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/21334/task/21351/stat : 21351 (java) R 21332 21332 20244 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 20 0 511841938 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365334420208 140365949295422 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21352] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21352/stat : 21352 (java) S 21332 21332 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511841939 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365333367136 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21353] ppid=21332 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21334/task/21353/stat : 21353 (java) S 21332 21332 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511841939 28904853504 7225 33554432000 4194304 4196468 140729238652176 140365332314416 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30348 KiB
[startup+0.210932 s]*
/proc/loadavg: 7.65 8.01 8.19 3/218 21353
/proc/meminfo: memFree=24301520/32770624 swapFree=67002968/67108860
[pid=21332] ppid=21329 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21332/stat : 21332 (xcsp3-exec) S 21329 21332 20244 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511841932 115843072 362 33554432000 4194304 5098028 140735463713600 140735463711704 139911992898172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27635712 140735463719761 140735463720021 140735463720021 140735463722950 0
/proc/21332/statm: 28282 362 304 221 0 87 0
[pid=21334] ppid=21332 vsize=28227396 memory=41008 CPUtime=0.34 cores=0-7
/proc/21334/stat : 21334 (java) S 21332 21332 20244 0 -1 1077944320 9507 0 0 0 31 3 0 0 20 0 20 0 511841933 28904853504 10252 33554432000 4194304 4196468 140729238652176 140729238634720 140365957058295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
/proc/21334/statm: 7056849 10252 3300 1 0 7019032 0
[pid=21334/tid=21335] ppid=21332 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/21334/task/21335/stat : 21335 (java) R 21332 21332 20244 0 -1 4202560 6629 0 0 0 18 2 0 0 20 0 20 0 511841933 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365961289728 140365589100384 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21336] ppid=21332 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/21334/task/21336/stat : 21336 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365909678480 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21337] ppid=21332 vsize=28227396 memory=140495159070972 CPUtime=0 cores=0-7
/proc/21334/task/21337/stat : 21337 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365908625680 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21338] ppid=21332 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21334/task/21338/stat : 21338 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365505878672 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21339] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21339/stat : 21339 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365504825872 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21340] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21340/stat : 21340 (java) S 21332 21332 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511841934 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365503773584 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21341] ppid=21332 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21334/task/21341/stat : 21341 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365502720784 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21342] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21342/stat : 21342 (java) S 21332 21332 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511841934 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365501668496 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21343] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21343/stat : 21343 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365500615696 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21344] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21344/stat : 21344 (java) S 21332 21332 20244 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 511841935 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365341788272 140365957069442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21345] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21345/stat : 21345 (java) S 21332 21332 20244 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511841936 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365340734240 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21346] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21346/stat : 21346 (java) S 21332 21332 20244 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511841936 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365339681904 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21347] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21347/stat : 21347 (java) S 21332 21332 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511841938 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365338630224 140365957076891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21348] ppid=21332 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/21334/task/21348/stat : 21348 (java) S 21332 21332 20244 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 20 0 511841938 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365337578096 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21349] ppid=21332 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/21334/task/21349/stat : 21349 (java) S 21332 21332 20244 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 20 0 511841938 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365336525296 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21350] ppid=21332 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/21334/task/21350/stat : 21350 (java) S 21332 21332 20244 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 20 0 511841938 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365335473008 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21351] ppid=21332 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/21334/task/21351/stat : 21351 (java) R 21332 21332 20244 0 -1 4202560 779 0 0 0 8 0 0 0 20 0 20 0 511841938 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365334420208 140365941138782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21352] ppid=21332 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21352/stat : 21352 (java) S 21332 21332 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511841939 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365333367136 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21353] ppid=21332 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21334/task/21353/stat : 21353 (java) S 21332 21332 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511841939 28904853504 10252 33554432000 4194304 4196468 140729238652176 140365332314416 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42456 KiB
[startup+0.310841 s]*
/proc/loadavg: 7.65 8.01 8.19 4/218 21353
/proc/meminfo: memFree=24295108/32770624 swapFree=67002968/67108860
[pid=21332] ppid=21329 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21332/stat : 21332 (xcsp3-exec) S 21329 21332 20244 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511841932 115843072 362 33554432000 4194304 5098028 140735463713600 140735463711704 139911992898172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27635712 140735463719761 140735463720021 140735463720021 140735463722950 0
/proc/21332/statm: 28282 362 304 221 0 87 0
[pid=21334] ppid=21332 vsize=28231652 memory=49752 CPUtime=0.52 cores=0-7
/proc/21334/stat : 21334 (java) S 21332 21332 20244 0 -1 1077944320 10896 0 0 0 49 3 0 0 20 0 20 0 511841933 28909211648 12438 33554432000 4194304 4196468 140729238652176 140729238634720 140365957058295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
/proc/21334/statm: 7057913 12438 3347 1 0 7019032 0
[pid=21334/tid=21335] ppid=21332 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/21334/task/21335/stat : 21335 (java) R 21332 21332 20244 0 -1 4202560 7818 0 0 0 27 3 0 0 20 0 20 0 511841933 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365961289408 140365941138782 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21336] ppid=21332 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21336/stat : 21336 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365909678480 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21337] ppid=21332 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21337/stat : 21337 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365908625680 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21338] ppid=21332 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21338/stat : 21338 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365505878672 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21339] ppid=21332 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21339/stat : 21339 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365504825872 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21340] ppid=21332 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/21334/task/21340/stat : 21340 (java) S 21332 21332 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511841934 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365503773584 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21341] ppid=21332 vsize=28231652 memory=140495024124847 CPUtime=0 cores=0-7
/proc/21334/task/21341/stat : 21341 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365502720784 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21342] ppid=21332 vsize=28231652 memory=140495024127152 CPUtime=0 cores=0-7
/proc/21334/task/21342/stat : 21342 (java) S 21332 21332 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511841934 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365501668496 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21343] ppid=21332 vsize=28231652 memory=140495024129456 CPUtime=0 cores=0-7
/proc/21334/task/21343/stat : 21343 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365500615696 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21344] ppid=21332 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21344/stat : 21344 (java) S 21332 21332 20244 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 511841935 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365341788272 140365957069442 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21345] ppid=21332 vsize=28231652 memory=280990048265872 CPUtime=0 cores=0-7
/proc/21334/task/21345/stat : 21345 (java) S 21332 21332 20244 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511841936 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365340734240 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21346] ppid=21332 vsize=28231652 memory=280990048272784 CPUtime=0 cores=0-7
/proc/21334/task/21346/stat : 21346 (java) S 21332 21332 20244 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511841936 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365339681904 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21347] ppid=21332 vsize=28231652 memory=280990048214064 CPUtime=0 cores=0-7
/proc/21334/task/21347/stat : 21347 (java) S 21332 21332 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511841938 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365338630224 140365957076891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21348] ppid=21332 vsize=28231652 memory=280990048286608 CPUtime=0.03 cores=0-7
/proc/21334/task/21348/stat : 21348 (java) R 21332 21332 20244 0 -1 4202560 452 0 0 0 3 0 0 0 20 0 20 0 511841938 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365337578096 140365942184592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21349] ppid=21332 vsize=28231652 memory=280990048293520 CPUtime=0.02 cores=0-7
/proc/21334/task/21349/stat : 21349 (java) S 21332 21332 20244 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 20 0 511841938 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365336525296 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21350] ppid=21332 vsize=28231652 memory=280990048291216 CPUtime=0.03 cores=0-7
/proc/21334/task/21350/stat : 21350 (java) S 21332 21332 20244 0 -1 1077944384 240 0 0 0 3 0 0 0 20 0 20 0 511841938 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365335473008 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21351] ppid=21332 vsize=28231652 memory=280990048307376 CPUtime=0.13 cores=0-7
/proc/21334/task/21351/stat : 21351 (java) S 21332 21332 20244 0 -1 1077944384 866 0 0 0 13 0 0 0 20 0 20 0 511841938 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365334420208 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21352] ppid=21332 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21352/stat : 21352 (java) S 21332 21332 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511841939 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365333367136 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21353] ppid=21332 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/21334/task/21353/stat : 21353 (java) S 21332 21332 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511841939 28909211648 12506 33554432000 4194304 4196468 140729238652176 140365332314416 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51200 KiB
[startup+0.701011 s]
/proc/loadavg: 7.65 8.01 8.19 5/218 21353
/proc/meminfo: memFree=24261364/32770624 swapFree=67002968/67108860
[pid=21332] ppid=21329 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21332/stat : 21332 (xcsp3-exec) S 21329 21332 20244 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511841932 115843072 362 33554432000 4194304 5098028 140735463713600 140735463711704 139911992898172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27635712 140735463719761 140735463720021 140735463720021 140735463722950 0
/proc/21332/statm: 28282 362 304 221 0 87 0
[pid=21334] ppid=21332 vsize=28233776 memory=155536 CPUtime=1.81 cores=0-7
/proc/21334/stat : 21334 (java) S 21332 21332 20244 0 -1 1077944320 16062 0 0 0 175 6 0 0 20 0 20 0 511841933 28911386624 38884 33554432000 4194304 4196468 140729238652176 140729238634720 140365957058295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
/proc/21334/statm: 7058444 38884 3442 1 0 7019544 0
[pid=21334/tid=21335] ppid=21332 vsize=28233776 memory=280990048665264 CPUtime=0.68 cores=0-7
/proc/21334/task/21335/stat : 21335 (java) R 21332 21332 20244 0 -1 4202560 8997 0 0 0 64 4 0 0 20 0 20 0 511841933 28911386624 38884 33554432000 4194304 4196468 140729238652176 140365961293872 140365591531877 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21336] ppid=21332 vsize=28233776 memory=140495024333680 CPUtime=0 cores=0-7
/proc/21334/task/21336/stat : 21336 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28911386624 38884 33554432000 4194304 4196468 140729238652176 140365909678480 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21337] ppid=21332 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/21334/task/21337/stat : 21337 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28911386624 38884 33554432000 4194304 4196468 140729238652176 140365908625680 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21338] ppid=21332 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/21334/task/21338/stat : 21338 (java) S 21332 21332 20244 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511841934 28911386624 38884 33554432000 4194304 4196468 140729238652176 140365505878672 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
################
# More data... #
################
[pid=21334/tid=23989] ppid=21332 vsize=29034592 memory=1448 CPUtime=107.82 cores=0-7
/proc/21334/task/23989/stat : 23989 (java) R 21332 21332 20244 0 -1 4202560 4351 0 0 0 10767 15 0 0 20 0 28 0 512075368 29731422208 1038061 33554432000 4194304 4196468 140729238652176 140365313621816 140365595202869 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
Current children cumulated CPU time: 19154.3 s
Current children cumulated vsize: 29147720 KiB
Current children cumulated memory: 4153692 KiB
[startup+2502.3 s]
/proc/loadavg: 8.31 8.38 8.31 10/224 24009
/proc/meminfo: memFree=20178584/32770624 swapFree=67002968/67108860
[pid=21332] ppid=21329 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21332/stat : 21332 (xcsp3-exec) S 21329 21332 20244 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511841932 115843072 362 33554432000 4194304 5098028 140735463713600 140735463711704 139911992898172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27635712 140735463719761 140735463720021 140735463720021 140735463722950 0
/proc/21332/statm: 28282 362 304 221 0 87 0
[pid=21334] ppid=21332 vsize=29034592 memory=4153856 CPUtime=19632.6 cores=0-7
/proc/21334/stat : 21334 (java) S 21332 21332 20244 0 -1 1077944320 2236629 0 0 0 1958209 5054 0 0 20 0 28 0 511841933 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140729238634720 140365957058295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
/proc/21334/statm: 7258648 1038464 3550 1 0 7219748 0
[pid=21334/tid=21335] ppid=21332 vsize=29034592 memory=1448 CPUtime=3.43 cores=0-7
/proc/21334/task/21335/stat : 21335 (java) S 21332 21332 20244 0 -1 1077944384 42239 0 0 0 326 17 0 0 20 0 28 0 511841933 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365961298992 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21336] ppid=21332 vsize=29034592 memory=1768 CPUtime=8.13 cores=0-7
/proc/21334/task/21336/stat : 21336 (java) S 21332 21332 20244 0 -1 1077944384 99971 0 0 0 613 200 0 0 20 0 28 0 511841934 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365909678480 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21337] ppid=21332 vsize=29034592 memory=1448 CPUtime=8.1 cores=0-7
/proc/21334/task/21337/stat : 21337 (java) S 21332 21332 20244 0 -1 1077944384 101966 0 0 0 617 193 0 0 20 0 28 0 511841934 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365908625680 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21338] ppid=21332 vsize=29034592 memory=4153856 CPUtime=8.17 cores=0-7
/proc/21334/task/21338/stat : 21338 (java) S 21332 21332 20244 0 -1 1077944384 102321 0 0 0 618 199 0 0 20 0 28 0 511841934 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365505878672 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21339] ppid=21332 vsize=29034592 memory=4153856 CPUtime=8.07 cores=0-7
/proc/21334/task/21339/stat : 21339 (java) S 21332 21332 20244 0 -1 1077944384 97270 0 0 0 614 193 0 0 20 0 28 0 511841934 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365504825872 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 31 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21340] ppid=21332 vsize=29034592 memory=4153856 CPUtime=8.09 cores=0-7
/proc/21334/task/21340/stat : 21340 (java) S 21332 21332 20244 0 -1 1077944384 102492 0 0 0 622 187 0 0 20 0 28 0 511841934 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365503773584 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21341] ppid=21332 vsize=29034592 memory=4153356 CPUtime=8.13 cores=0-7
/proc/21334/task/21341/stat : 21341 (java) S 21332 21332 20244 0 -1 1077944384 101783 0 0 0 613 200 0 0 20 0 28 0 511841934 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365502720784 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21342] ppid=21332 vsize=29034592 memory=4153356 CPUtime=8.11 cores=0-7
/proc/21334/task/21342/stat : 21342 (java) S 21332 21332 20244 0 -1 1077944384 103670 0 0 0 616 195 0 0 20 0 28 0 511841934 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365501668496 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21343] ppid=21332 vsize=29034592 memory=4153356 CPUtime=8.13 cores=0-7
/proc/21334/task/21343/stat : 21343 (java) S 21332 21332 20244 0 -1 1077944384 99313 0 0 0 617 196 0 0 20 0 28 0 511841934 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365500615696 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21344] ppid=21332 vsize=29034592 memory=1448 CPUtime=1.23 cores=0-7
/proc/21334/task/21344/stat : 21344 (java) S 21332 21332 20244 0 -1 1077944384 48076 0 0 0 113 10 0 0 20 0 28 0 511841935 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365341788272 140365957069442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21345] ppid=21332 vsize=29034592 memory=4153296 CPUtime=0 cores=0-7
/proc/21334/task/21345/stat : 21345 (java) S 21332 21332 20244 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 511841936 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365340734304 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21346] ppid=21332 vsize=29034592 memory=1448 CPUtime=0 cores=0-7
/proc/21334/task/21346/stat : 21346 (java) S 21332 21332 20244 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 511841936 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365339681920 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21347] ppid=21332 vsize=29034592 memory=4153296 CPUtime=0 cores=0-7
/proc/21334/task/21347/stat : 21347 (java) S 21332 21332 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511841938 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365338630224 140365957076891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21348] ppid=21332 vsize=29034592 memory=1716 CPUtime=3.58 cores=0-7
/proc/21334/task/21348/stat : 21348 (java) S 21332 21332 20244 0 -1 1077944384 35203 0 0 0 352 6 0 0 20 0 28 0 511841938 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365337578096 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21349] ppid=21332 vsize=29034592 memory=1428 CPUtime=3.21 cores=0-7
/proc/21334/task/21349/stat : 21349 (java) S 21332 21332 20244 0 -1 1077944384 35343 0 0 0 313 8 0 0 20 0 28 0 511841938 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365336525296 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21350] ppid=21332 vsize=29034592 memory=2052 CPUtime=3.43 cores=0-7
/proc/21334/task/21350/stat : 21350 (java) S 21332 21332 20244 0 -1 1077944384 32324 0 0 0 336 7 0 0 20 0 28 0 511841938 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365335473008 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21351] ppid=21332 vsize=29034592 memory=988 CPUtime=1.24 cores=0-7
/proc/21334/task/21351/stat : 21351 (java) S 21332 21332 20244 0 -1 1077944384 49626 0 0 0 116 8 0 0 20 0 28 0 511841938 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365334420208 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21352] ppid=21332 vsize=29034592 memory=64328 CPUtime=0 cores=0-7
/proc/21334/task/21352/stat : 21352 (java) S 21332 21332 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511841939 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365333367136 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21353] ppid=21332 vsize=29034592 memory=4152868 CPUtime=1.12 cores=0-7
/proc/21334/task/21353/stat : 21353 (java) S 21332 21332 20244 0 -1 1077944384 13368 0 0 0 52 60 0 0 20 0 28 0 511841939 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365332314416 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=23998] ppid=21332 vsize=29034592 memory=3280 CPUtime=35.01 cores=0-7
/proc/21334/task/23998/stat : 23998 (java) R 21332 21332 20244 0 -1 4202560 2050 0 0 0 3498 3 0 0 20 0 28 0 512088647 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365312567840 140365595438201 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=23999] ppid=21332 vsize=29034592 memory=4152572 CPUtime=35.11 cores=0-7
/proc/21334/task/23999/stat : 23999 (java) R 21332 21332 20244 0 -1 4202560 2094 0 0 0 3502 9 0 0 20 0 28 0 512088647 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365318887728 140365595202525 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=24000] ppid=21332 vsize=29034592 memory=1448 CPUtime=34.61 cores=0-7
/proc/21334/task/24000/stat : 24000 (java) R 21332 21332 20244 0 -1 4202560 1863 0 0 0 3452 9 0 0 20 0 28 0 512088647 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365313622376 140365594334051 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=24001] ppid=21332 vsize=29034592 memory=4152572 CPUtime=35.09 cores=0-7
/proc/21334/task/24001/stat : 24001 (java) R 21332 21332 20244 0 -1 4202560 3921 0 0 0 3506 3 0 0 20 0 28 0 512088647 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365314677256 140365595201784 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=24002] ppid=21332 vsize=29034592 memory=4147404 CPUtime=34.99 cores=0-7
/proc/21334/task/24002/stat : 24002 (java) R 21332 21332 20244 0 -1 4202560 2930 0 0 0 3497 2 0 0 20 0 28 0 512088647 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365311517080 140365595202625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=24003] ppid=21332 vsize=29034592 memory=4146472 CPUtime=35.1 cores=0-7
/proc/21334/task/24003/stat : 24003 (java) R 21332 21332 20244 0 -1 4202560 1771 0 0 0 3503 7 0 0 20 0 28 0 512088647 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365323096424 140365594334051 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=24004] ppid=21332 vsize=29034592 memory=4146332 CPUtime=35.1 cores=0-7
/proc/21334/task/24004/stat : 24004 (java) R 21332 21332 20244 0 -1 4202560 2329 0 0 0 3508 2 0 0 20 0 28 0 512088647 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365320990568 140365588147075 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=24005] ppid=21332 vsize=29034592 memory=4153856 CPUtime=35.01 cores=0-7
/proc/21334/task/24005/stat : 24005 (java) R 21332 21332 20244 0 -1 4202560 2739 0 0 0 3489 12 0 0 20 0 28 0 512088648 29731422208 1038464 33554432000 4194304 4196468 140729238652176 140365317832344 140365595335160 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
Current children cumulated CPU time: 19632.6 s
Current children cumulated vsize: 29147720 KiB
Current children cumulated memory: 4155304 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 8.22 8.36 8.30 9/223 24010
/proc/meminfo: memFree=20178280/32770624 swapFree=67002968/67108860
[pid=21332] ppid=21329 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21332/stat : 21332 (xcsp3-exec) S 21329 21332 20244 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 511841932 115843072 362 33554432000 4194304 5098028 140735463713600 140735463711704 139911992898172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 27635712 140735463719761 140735463720021 140735463720021 140735463722950 0
/proc/21332/statm: 28282 362 304 221 0 87 0
[pid=21334] ppid=21332 vsize=29034592 memory=4154028 CPUtime=19773.9 cores=0-7
/proc/21334/stat : 21334 (java) S 21332 21332 20244 0 -1 1077944320 2248360 0 0 0 1972327 5061 0 0 20 0 28 0 511841933 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140729238634720 140365957058295 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
/proc/21334/statm: 7258648 1038507 3550 1 0 7219748 0
[pid=21334/tid=21335] ppid=21332 vsize=29034592 memory=928 CPUtime=3.43 cores=0-7
/proc/21334/task/21335/stat : 21335 (java) S 21332 21332 20244 0 -1 1077944384 42239 0 0 0 326 17 0 0 20 0 28 0 511841933 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365961298992 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21336] ppid=21332 vsize=29034592 memory=1744 CPUtime=8.14 cores=0-7
/proc/21334/task/21336/stat : 21336 (java) S 21332 21332 20244 0 -1 1077944384 100641 0 0 0 614 200 0 0 20 0 28 0 511841934 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365909678480 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 29 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21337] ppid=21332 vsize=29034592 memory=4872558044660077418 CPUtime=8.11 cores=0-7
/proc/21334/task/21337/stat : 21337 (java) S 21332 21332 20244 0 -1 1077944384 102745 0 0 0 618 193 0 0 20 0 28 0 511841934 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365908625680 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21338] ppid=21332 vsize=29034592 memory=4126316290023845779 CPUtime=8.19 cores=0-7
/proc/21334/task/21338/stat : 21338 (java) S 21332 21332 20244 0 -1 1077944384 104072 0 0 0 619 200 0 0 20 0 28 0 511841934 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365505878672 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 29 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21339] ppid=21332 vsize=29034592 memory=1984 CPUtime=8.08 cores=0-7
/proc/21334/task/21339/stat : 21339 (java) S 21332 21332 20244 0 -1 1077944384 98387 0 0 0 615 193 0 0 20 0 28 0 511841934 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365504825872 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21340] ppid=21332 vsize=29034592 memory=2376 CPUtime=8.11 cores=0-7
/proc/21334/task/21340/stat : 21340 (java) S 21332 21332 20244 0 -1 1077944384 103421 0 0 0 623 188 0 0 20 0 28 0 511841934 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365503773584 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21341] ppid=21332 vsize=29034592 memory=1768 CPUtime=8.14 cores=0-7
/proc/21334/task/21341/stat : 21341 (java) S 21332 21332 20244 0 -1 1077944384 102720 0 0 0 614 200 0 0 20 0 28 0 511841934 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365502720784 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21342] ppid=21332 vsize=29034592 memory=111628 CPUtime=8.11 cores=0-7
/proc/21334/task/21342/stat : 21342 (java) S 21332 21332 20244 0 -1 1077944384 104759 0 0 0 616 195 0 0 20 0 28 0 511841934 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365501668496 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21343] ppid=21332 vsize=29034592 memory=804 CPUtime=8.14 cores=0-7
/proc/21334/task/21343/stat : 21343 (java) S 21332 21332 20244 0 -1 1077944384 99973 0 0 0 618 196 0 0 20 0 28 0 511841934 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365500615696 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21344] ppid=21332 vsize=29034592 memory=4154028 CPUtime=1.23 cores=0-7
/proc/21334/task/21344/stat : 21344 (java) S 21332 21332 20244 0 -1 1077944384 48385 0 0 0 113 10 0 0 20 0 28 0 511841935 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365341788272 140365957069442 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21345] ppid=21332 vsize=29034592 memory=111628 CPUtime=0 cores=0-7
/proc/21334/task/21345/stat : 21345 (java) S 21332 21332 20244 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 511841936 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365340734304 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21346] ppid=21332 vsize=29034592 memory=804 CPUtime=0 cores=0-7
/proc/21334/task/21346/stat : 21346 (java) S 21332 21332 20244 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 28 0 511841936 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365339681920 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21347] ppid=21332 vsize=29034592 memory=1660 CPUtime=0 cores=0-7
/proc/21334/task/21347/stat : 21347 (java) S 21332 21332 20244 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511841938 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365338630224 140365957076891 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21348] ppid=21332 vsize=29034592 memory=1808 CPUtime=3.58 cores=0-7
/proc/21334/task/21348/stat : 21348 (java) S 21332 21332 20244 0 -1 1077944384 35206 0 0 0 352 6 0 0 20 0 28 0 511841938 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365337578096 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21349] ppid=21332 vsize=29034592 memory=924 CPUtime=3.21 cores=0-7
/proc/21334/task/21349/stat : 21349 (java) S 21332 21332 20244 0 -1 1077944384 35346 0 0 0 313 8 0 0 20 0 28 0 511841938 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365336525296 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21350] ppid=21332 vsize=29034592 memory=4744 CPUtime=3.43 cores=0-7
/proc/21334/task/21350/stat : 21350 (java) S 21332 21332 20244 0 -1 1077944384 32333 0 0 0 336 7 0 0 20 0 28 0 511841938 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365335473008 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21351] ppid=21332 vsize=29034592 memory=6791534058613427641 CPUtime=1.24 cores=0-7
/proc/21334/task/21351/stat : 21351 (java) S 21332 21332 20244 0 -1 1077944384 49630 0 0 0 116 8 0 0 20 0 28 0 511841938 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365334420208 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21352] ppid=21332 vsize=29034592 memory=7811326704469174375 CPUtime=0 cores=0-7
/proc/21334/task/21352/stat : 21352 (java) S 21332 21332 20244 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511841939 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365333367136 140365957068501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=21353] ppid=21332 vsize=29034592 memory=7451276383477065586 CPUtime=1.13 cores=0-7
/proc/21334/task/21353/stat : 21353 (java) S 21332 21332 20244 0 -1 1077944384 13394 0 0 0 52 61 0 0 20 0 28 0 511841939 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365332314416 140365957069442 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=23998] ppid=21332 vsize=29034592 memory=7451276383477065586 CPUtime=52.31 cores=0-7
/proc/21334/task/23998/stat : 23998 (java) R 21332 21332 20244 0 -1 4202560 2312 0 0 0 5228 3 0 0 20 0 28 0 512088647 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365312568296 140365595343242 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=23999] ppid=21332 vsize=29034592 memory=7451276383477065586 CPUtime=52.79 cores=0-7
/proc/21334/task/23999/stat : 23999 (java) R 21332 21332 20244 0 -1 4202560 2563 0 0 0 5269 10 0 0 20 0 28 0 512088647 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365318887728 140365595200744 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=24000] ppid=21332 vsize=29034592 memory=7811326704469174375 CPUtime=52.3 cores=0-7
/proc/21334/task/24000/stat : 24000 (java) R 21332 21332 20244 0 -1 4202560 2150 0 0 0 5221 9 0 0 20 0 28 0 512088647 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365313622376 140365595955174 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=24001] ppid=21332 vsize=29034592 memory=7738992201069257832 CPUtime=52.78 cores=0-7
/proc/21334/task/24001/stat : 24001 (java) R 21332 21332 20244 0 -1 4202560 4781 0 0 0 5273 5 0 0 20 0 28 0 512088647 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365314674568 140365594333690 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=24002] ppid=21332 vsize=29034592 memory=7450733155980176230 CPUtime=52.69 cores=0-7
/proc/21334/task/24002/stat : 24002 (java) R 21332 21332 20244 0 -1 4202560 3444 0 0 0 5266 3 0 0 20 0 28 0 512088647 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365311517384 140365594334023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=24003] ppid=21332 vsize=29034592 memory=7373048338841298540 CPUtime=52.8 cores=0-7
/proc/21334/task/24003/stat : 24003 (java) R 21332 21332 20244 0 -1 4202560 1981 0 0 0 5272 8 0 0 20 0 28 0 512088647 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365323096456 140365596628940 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=24004] ppid=21332 vsize=29034592 memory=1448 CPUtime=52.79 cores=0-7
/proc/21334/task/24004/stat : 24004 (java) R 21332 21332 20244 0 -1 4202560 2770 0 0 0 5276 3 0 0 20 0 28 0 512088647 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365320990664 140365595201441 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
[pid=21334/tid=24005] ppid=21332 vsize=29034592 memory=4154028 CPUtime=52.71 cores=0-7
/proc/21334/task/24005/stat : 24005 (java) R 21332 21332 20244 0 -1 4202560 3141 0 0 0 5259 12 0 0 20 0 28 0 512088648 29731422208 1038507 33554432000 4194304 4196468 140729238652176 140365317831936 140365595373903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25329664 140729238660054 140729238660230 140729238660230 140729238663119 0
Current children cumulated CPU time: 19773.9 s
Current children cumulated vsize: 29147720 KiB
Current children cumulated memory: 4155476 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.04 s]
# the end of solver process 21332 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001182 s, system=0.001182 s
[startup+2520.12 s]
# the end of solver process 21334 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19723.9 s, system=50.6465 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): 19774.5
CPU user time (s): 19723.9
CPU system time (s): 50.6465
CPU usage (%): 784.668
Max. virtual memory (cumulated for all children) (KiB): 29147720
Max. memory (cumulated for all children) (KiB): 5995756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19723.9
system time used= 50.6465
maximum resident set size= 5994308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2249559
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116261
involuntary context switches= 242144
# summary of solver processes directly reported to runsolver:
# pid: 21332,21334
# total CPU time (s): 19774.5
# total CPU user time (s): 19723.9
# total CPU system time (s): 50.6465
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.512 second user time and 32.5215 second system time
The end
Begin job on node133 at 2019-09-24 22:13:04 IDJOB=4407174 IDBENCH=135802 IDSOLVER=2871 FILE ID=node133/4407174-1569356024 RUNJOBID= node133-1569350609-20271 PBS_JOBID= 21705096 Free space on /var/tmp= 13488 MiB SOLVER NAME= choco-solver 2019-09-24 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-4407174-1569356024/watcher-4407174-1569356024 -o /var/tmp/evaluation-result-4407174-1569356024/solver-4407174-1569356024 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1569350609-20271 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2133760298 HOME/instance-4407174-1569356024.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d698eba466bb4d42bacc008ef87467ee RANDOM SEED=2133760298 node133.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.18 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.18 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.18 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.18 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: 24332568 kB MemAvailable: 31841444 kB Buffers: 146804 kB Cached: 7416836 kB SwapCached: 5156 kB Active: 3735032 kB Inactive: 3835960 kB Active(anon): 5356 kB Inactive(anon): 57204 kB Active(file): 3729676 kB Inactive(file): 3778756 kB Unevictable: 110964 kB Mlocked: 110964 kB SwapTotal: 67108860 kB SwapFree: 67002968 kB Dirty: 26460 kB Writeback: 0 kB AnonPages: 124388 kB Mapped: 57188 kB Shmem: 46820 kB Slab: 457824 kB SReclaimable: 428904 kB SUnreclaim: 28920 kB KernelStack: 3824 kB PageTables: 5396 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 514912 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: 122240 kB DirectMap2M: 33423360 kB Free space on /var/tmp at the end= 13460 MiB End job on node133 at 2019-09-24 22:55:04