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-20 | SAT (TO) | 1244 | 2400.73 | 620.112 |
| 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 | 2009.97 |
| 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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404174-1568991683.xml" -tl '2400s' -p 4 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4404174-1568991683.xml, -tl, 2400s, -p, 4] 0.34/0.22 c 4 solvers in parallel 0.34/0.28 c parse instance... 10.05/3.85 c solve instance... 15.04/5.16 o 2604 15.37/5.25 o 2588 15.37/5.27 o 2562 16.08/5.46 o 2546 17.72/6.34 o 2543 17.92/6.40 o 2524 17.92/6.47 o 2521 18.18/6.54 o 2520 18.40/6.63 o 2518 18.65/6.74 o 2516 18.86/6.83 o 2513 19.02/6.92 o 2502 19.02/6.94 o 2494 19.31/7.04 o 2491 19.49/7.14 o 2488 19.63/7.22 o 2485 19.87/7.32 o 2483 20.08/7.41 o 2480 20.08/7.48 o 2477 20.28/7.58 o 2475 20.42/7.67 o 2474 20.59/7.79 o 2471 20.72/7.88 o 2469 45.84/14.40 o 2467 69.35/20.93 o 2465 75.12/22.54 o 2464 80.00/24.13 o 2463 86.35/25.83 o 2462 87.08/26.08 o 2461 101.69/29.78 o 2460 107.24/31.20 o 2458 107.94/31.34 o 2457 109.85/31.88 o 2456 111.42/32.72 o 2455 219.78/60.32 o 2042 219.78/60.37 o 2035 220.07/60.40 o 2014 222.48/61.06 o 1999 222.48/61.10 o 1995 222.89/61.14 o 1992 223.22/61.23 o 1977 223.61/61.32 o 1968 225.63/62.38 o 1956 228.97/63.22 o 1925 228.97/63.24 o 1922 228.97/63.26 o 1921 228.97/63.29 o 1915 229.36/63.31 o 1911 229.36/63.33 o 1910 229.36/63.35 o 1906 229.36/63.39 o 1905 229.76/63.42 o 1897 233.36/64.56 o 1889 233.59/64.61 o 1888 233.99/64.76 o 1883 233.99/64.79 o 1872 236.31/65.33 o 1871 237.90/65.77 o 1870 237.90/65.80 o 1867 241.56/67.20 o 1861 241.65/67.22 o 1859 241.65/67.25 o 1857 242.03/67.32 o 1856 242.03/67.35 o 1853 242.42/67.47 o 1841 250.12/69.77 o 1839 250.28/69.85 o 1834 250.28/69.87 o 1832 250.68/69.90 o 1824 256.23/71.32 o 1810 256.23/71.34 o 1806 256.23/71.36 o 1804 256.23/71.38 o 1802 256.60/71.41 o 1794 256.60/71.44 o 1793 256.60/71.48 o 1791 256.94/71.56 o 1790 256.94/71.58 o 1788 262.10/72.87 o 1782 262.91/73.04 o 1781 268.44/74.40 o 1775 268.44/74.43 o 1771 273.46/75.75 o 1760 273.46/75.79 o 1758 274.10/76.00 o 1752 274.92/76.19 o 1750 310.34/85.04 o 1747 310.34/85.08 o 1745 313.48/85.84 o 1727 316.34/86.60 o 1718 317.22/87.45 o 1717 317.22/87.47 o 1715 317.47/87.53 o 1714 317.86/87.65 o 1699 321.81/88.61 o 1686 321.81/88.63 o 1683 321.81/88.66 o 1681 321.81/88.68 o 1678 324.82/89.43 o 1662 325.75/90.28 o 1650 328.30/90.97 o 1649 333.85/92.39 o 1647 335.04/92.68 o 1635 348.07/95.93 o 1632 353.03/97.33 o 1629 356.93/98.33 o 1627 357.32/98.48 o 1624 359.72/99.05 o 1610 363.49/100.55 o 1609 367.32/101.52 o 1605 368.12/101.77 o 1603 371.96/103.17 o 1591 371.96/103.19 o 1588 372.15/103.24 o 1580 372.15/103.27 o 1568 373.71/103.67 o 1567 377.26/104.50 o 1566 379.68/105.13 o 1564 392.38/108.34 o 1552 393.97/108.79 o 1551 443.67/121.26 o 1547 443.67/121.30 o 1540 444.03/121.32 o 1537 455.21/124.14 o 1536 455.21/124.19 o 1533 462.70/126.54 o 1532 479.71/130.89 o 1529 482.47/131.54 o 1525 490.83/133.61 o 1523 490.83/133.63 o 1522 491.21/133.75 o 1521 491.21/133.78 o 1519 493.96/134.41 o 1510 494.35/134.53 o 1507 497.10/135.28 o 1506 498.29/135.58 o 1501 498.69/135.65 o 1500 515.79/139.92 o 1499 519.00/141.08 o 1496 531.15/144.24 o 1495 537.39/145.85 o 1494 537.76/145.90 o 1492 545.92/148.08 o 1484 548.06/148.69 o 1480 551.26/149.46 o 1469 566.76/153.32 o 1468 568.30/153.78 o 1467 573.50/155.03 o 1466 573.50/155.08 o 1465 574.24/155.28 o 1462 575.34/156.09 o 1461 584.22/158.35 o 1459 624.82/168.58 o 1458 637.17/171.63 o 1455 663.53/178.55 o 1452 841.29/223.26 o 1451 845.26/224.28 o 1450 886.25/234.51 o 1447 888.68/235.20 o 1443 889.42/235.32 o 1442 904.13/239.06 o 1441 904.13/239.09 o 1439 904.13/239.11 o 1437 910.86/240.79 o 1434 941.91/248.58 o 1432 942.30/248.60 o 1427 943.48/248.95 o 1426 981.29/258.42 o 1423 1003.33/264.55 o 1420 1006.37/265.33 o 1419 1006.76/265.41 o 1414 1027.46/270.69 o 1407 1099.91/288.80 o 1404 1100.30/288.90 o 1402 1107.91/291.13 o 1397 1107.91/291.19 o 1395 1110.60/291.88 o 1394 1122.61/295.02 o 1393 1122.61/295.05 o 1391 1122.61/295.07 o 1387 1177.02/308.76 o 1381 1203.87/315.57 o 1380 1208.33/317.14 o 1375 1208.58/317.20 o 1373 1214.56/318.79 o 1372 1237.21/324.42 o 1366 1256.30/329.26 o 1360 1257.09/329.49 o 1359 1261.06/331.01 o 1356 1273.41/334.12 o 1343 1274.55/334.48 o 1330 1287.29/337.68 o 1324 1398.59/366.28 o 1322 1403.13/367.49 o 1320 1564.35/407.91 o 1317 1777.70/461.57 o 1316 1781.28/462.41 o 1302 1781.28/462.46 o 1301 1785.32/464.07 o 1300 1789.51/465.14 o 1299 1799.02/467.56 o 1298 1799.02/467.58 o 1297 1845.59/479.25 o 1295 1868.69/485.01 o 1294 1875.03/486.60 o 1293 1878.20/487.47 o 1287 1887.75/489.87 o 1286 1897.27/492.27 o 1283 1908.46/495.08 o 1282 1910.80/495.66 o 1281 1926.25/499.53 o 1279 2052.86/531.32 o 1277 2067.19/534.90 o 1276 2090.27/540.73 o 1275 2105.23/544.63 o 1274 2109.53/545.72 o 1273 2124.22/549.47 o 1271 2203.36/569.32 o 1265 2228.03/575.51 o 1263 2228.03/575.60 o 1261 2240.03/578.68 o 1259 2240.19/578.73 o 1258 2254.51/582.36 o 1257 2255.64/583.23 o 1255 2256.35/583.41 o 1253 2256.35/583.45 o 1250 2265.86/585.90 o 1249 2268.23/586.44 o 1247 2272.25/587.81 o 1246 2272.25/587.83 o 1245 2272.25/587.86 o 1244 2400.39/620.07 s SATISFIABLE 2400.39/620.07 v <instantiation> 2400.39/620.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> 2400.39/620.07 v <values>69 76 75 68 53 57 59 50 56 61 73 87 122 86 89 108 126 129 123 119 127 115 112 142 143 133 139 134 131 138 147 105 106 110 100 94 88 19 7 9 18 37 111 146 148 118 54 27 30 39 6 24 117 121 145 149 98 77 26 23 25 2 3 12 8 5 13 101 125 136 141 132 102 90 103 95 92 96 84 71 51 29 11 10 16 22 21 4 15 20 1 0 14 32 34 43 46 47 64 72 74 99 52 49 62 78 82 83 144 140 135 124 128 120 114 116 137 130 97 109 113 104 93 85 17 38 33 45 67 81 91 107 79 28 31 40 55 48 44 41 35 36 80 42 60 58 65 63 66 70 5 2 4 13 4 1 8 15 6 4 14 20 12 1 5 7 2 23 2 3 7 14 13 1 7 8 2 3 8 2 17 6 4 4 3 5 29 4 1 3 5 28 12 3 10 25 9 1 6 25 5 32 2 8 10 19 11 22 1 2 34 1 6 1 2 2 29 9 4 1 3 10 32 4 2 1 1 11 23 7 14 4 3 3 6 3 5 11 4 6 16 12 5 3 4 1 4 25 3 8 9 29 1 10 5 2 3 39 1 1 4 1 6 6 1 15 3 12 5 3 3 3 6 24 7 4 5 8 6 4 4 21 18 2 3 10 3 1 10 2 1 17 25 10 1 3 18 15 2 1 </values> 2400.39/620.07 v </instantiation> 2400.39/620.07 c Unexpected resolution interruption!
OK 1244
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 (3475 MiB free)
memory of node 1: 16384 MiB (2909 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404174-1568991683/watcher-4404174-1568991683 -o /var/tmp/evaluation-result-4404174-1568991683/solver-4404174-1568991683 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568988386-31611 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1475335395 HOME/instance-4404174-1568991683.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6785, runsolver pid=6782
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 8.72 8.40 8.19 7/235 6801
/proc/meminfo: memFree=6520896/32770624 swapFree=66976740/67108860
[pid=6785] ppid=6782 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6785/stat : 6785 (xcsp3-exec) S 6782 6785 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475108451 115843072 363 33554432000 4194304 5098028 140725740293472 140725740291576 140481462923900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27848704 140725740294998 140725740295257 140725740295257 140725740298182 0
/proc/6785/statm: 28282 363 305 221 0 87 0
[pid=6787] ppid=6785 vsize=15144776 memory=31820 CPUtime=0.13 cores=0,2,4,6
/proc/6787/stat : 6787 (java) S 6785 6785 31580 0 -1 1077944320 5837 0 0 0 12 1 0 0 20 0 15 0 475108451 15508250624 7955 33554432000 4194304 4196468 140731389058896 140731389041440 139755416411895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
/proc/6787/statm: 3786194 7955 3157 1 0 3748377 0
[pid=6787/tid=6788] ppid=6785 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/6787/task/6788/stat : 6788 (java) R 6785 6785 31580 0 -1 4202560 3807 0 0 0 9 0 0 0 20 0 15 0 475108452 15508250624 7955 33554432000 4194304 4196468 140731389058896 139755420633360 139755416433242 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6789] ppid=6785 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6789/stat : 6789 (java) S 6785 6785 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475108452 15508250624 7955 33554432000 4194304 4196468 140731389058896 139755352648464 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6790] ppid=6785 vsize=15144776 memory=140060614526592 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6790/stat : 6790 (java) S 6785 6785 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475108452 15508250624 7955 33554432000 4194304 4196468 140731389058896 139755351595920 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6791] ppid=6785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6791/stat : 6791 (java) S 6785 6785 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475108452 15508250624 7955 33554432000 4194304 4196468 140731389058896 139755006778384 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6792] ppid=6785 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6792/stat : 6792 (java) S 6785 6785 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475108452 15508250624 7955 33554432000 4194304 4196468 140731389058896 139755005725840 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6793] ppid=6785 vsize=15144776 memory=140060614526592 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6793/stat : 6793 (java) S 6785 6785 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475108454 15508250624 7955 33554432000 4194304 4196468 140731389058896 139754952263664 139755416423042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6794] ppid=6785 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6794/stat : 6794 (java) S 6785 6785 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475108454 15508250624 7955 33554432000 4194304 4196468 140731389058896 139754951209888 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6795] ppid=6785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6795/stat : 6795 (java) S 6785 6785 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475108454 15508250624 7955 33554432000 4194304 4196468 140731389058896 139754950157296 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6796] ppid=6785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6796/stat : 6796 (java) S 6785 6785 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475108457 15508250624 7955 33554432000 4194304 4196468 140731389058896 139754949105872 139755416430491 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6797] ppid=6785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6797/stat : 6797 (java) R 6785 6785 31580 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 475108457 15508250624 7955 33554432000 4194304 4196468 140731389058896 139754285820400 139755416423042 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6798] ppid=6785 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6798/stat : 6798 (java) R 6785 6785 31580 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 15 0 475108457 15508250624 7955 33554432000 4194304 4196468 140731389058896 139754284766928 139755394244752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6799] ppid=6785 vsize=15144776 memory=140060614526592 CPUtime=0.02 cores=0,2,4,6
/proc/6787/task/6799/stat : 6799 (java) R 6785 6785 31580 0 -1 4202560 326 0 0 0 2 0 0 0 20 0 15 0 475108457 15508250624 7955 33554432000 4194304 4196468 140731389058896 139754283712328 139755395803253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6800] ppid=6785 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6800/stat : 6800 (java) S 6785 6785 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475108457 15508250624 7955 33554432000 4194304 4196468 140731389058896 139754282663008 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6801] ppid=6785 vsize=15144776 memory=140060614526592 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6801/stat : 6801 (java) S 6785 6785 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475108457 15508250624 7955 33554432000 4194304 4196468 140731389058896 139754281609520 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 33272 KiB
[startup+0.211673 s]*
/proc/loadavg: 8.72 8.40 8.19 8/235 6801
/proc/meminfo: memFree=6509180/32770624 swapFree=66976740/67108860
[pid=6785] ppid=6782 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6785/stat : 6785 (xcsp3-exec) S 6782 6785 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475108451 115843072 363 33554432000 4194304 5098028 140725740293472 140725740291576 140481462923900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27848704 140725740294998 140725740295257 140725740295257 140725740298182 0
/proc/6785/statm: 28282 363 305 221 0 87 0
[pid=6787] ppid=6785 vsize=15144776 memory=42492 CPUtime=0.34 cores=0,2,4,6
/proc/6787/stat : 6787 (java) S 6785 6785 31580 0 -1 1077944320 9333 0 0 0 31 3 0 0 20 0 15 0 475108451 15508250624 10623 33554432000 4194304 4196468 140731389058896 140731389041440 139755416411895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
/proc/6787/statm: 3786194 10623 3310 1 0 3748377 0
[pid=6787/tid=6788] ppid=6785 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/6787/task/6788/stat : 6788 (java) R 6785 6785 31580 0 -1 4202560 6611 0 0 0 18 1 0 0 20 0 15 0 475108452 15508250624 10623 33554432000 4194304 4196468 140731389058896 139755420649712 139755398280273 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6789] ppid=6785 vsize=15144776 memory=4296933242 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6789/stat : 6789 (java) S 6785 6785 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475108452 15508250624 10623 33554432000 4194304 4196468 140731389058896 139755352648464 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6790] ppid=6785 vsize=15144776 memory=288370436766238336 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6790/stat : 6790 (java) S 6785 6785 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475108452 15508250624 10623 33554432000 4194304 4196468 140731389058896 139755351595920 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6791] ppid=6785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6791/stat : 6791 (java) S 6785 6785 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475108452 15508250624 10623 33554432000 4194304 4196468 140731389058896 139755006778384 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6792] ppid=6785 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6792/stat : 6792 (java) S 6785 6785 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475108452 15508250624 10623 33554432000 4194304 4196468 140731389058896 139755005725840 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6793] ppid=6785 vsize=15144776 memory=140060614526592 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6793/stat : 6793 (java) S 6785 6785 31580 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475108454 15508250624 10623 33554432000 4194304 4196468 140731389058896 139754952263664 139755416423042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6794] ppid=6785 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6794/stat : 6794 (java) S 6785 6785 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475108454 15508250624 10623 33554432000 4194304 4196468 140731389058896 139754951209888 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6795] ppid=6785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6795/stat : 6795 (java) S 6785 6785 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475108454 15508250624 10623 33554432000 4194304 4196468 140731389058896 139754950157296 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6796] ppid=6785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6796/stat : 6796 (java) S 6785 6785 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475108457 15508250624 10623 33554432000 4194304 4196468 140731389058896 139754949105872 139755416430491 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6797] ppid=6785 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6787/task/6797/stat : 6797 (java) S 6785 6785 31580 0 -1 1077944384 539 0 0 0 2 0 0 0 20 0 15 0 475108457 15508250624 10623 33554432000 4194304 4196468 140731389058896 139754285820400 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6798] ppid=6785 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/6787/task/6798/stat : 6798 (java) S 6785 6785 31580 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 15 0 475108457 15508250624 10623 33554432000 4194304 4196468 140731389058896 139754284767856 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6799] ppid=6785 vsize=15144776 memory=140060614526592 CPUtime=0.08 cores=0,2,4,6
/proc/6787/task/6799/stat : 6799 (java) R 6785 6785 31580 0 -1 4202560 779 0 0 0 8 0 0 0 20 0 15 0 475108457 15508250624 10623 33554432000 4194304 4196468 140731389058896 139754283715312 139755416433242 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6800] ppid=6785 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6800/stat : 6800 (java) S 6785 6785 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475108457 15508250624 10623 33554432000 4194304 4196468 140731389058896 139754282663008 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6801] ppid=6785 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6801/stat : 6801 (java) S 6785 6785 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475108457 15508250624 10623 33554432000 4194304 4196468 140731389058896 139754281609520 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43944 KiB
[startup+0.31047 s]*
/proc/loadavg: 8.72 8.40 8.19 7/235 6801
/proc/meminfo: memFree=6502044/32770624 swapFree=66976740/67108860
[pid=6785] ppid=6782 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6785/stat : 6785 (xcsp3-exec) S 6782 6785 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475108451 115843072 363 33554432000 4194304 5098028 140725740293472 140725740291576 140481462923900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27848704 140725740294998 140725740295257 140725740295257 140725740298182 0
/proc/6785/statm: 28282 363 305 221 0 87 0
[pid=6787] ppid=6785 vsize=15149032 memory=51668 CPUtime=0.53 cores=0,2,4,6
/proc/6787/stat : 6787 (java) S 6785 6785 31580 0 -1 1077944320 10725 0 0 0 50 3 0 0 20 0 15 0 475108451 15512608768 12917 33554432000 4194304 4196468 140731389058896 140731389041440 139755416411895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
/proc/6787/statm: 3787258 12917 3363 1 0 3748377 0
[pid=6787/tid=6788] ppid=6785 vsize=15149032 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/6787/task/6788/stat : 6788 (java) R 6785 6785 31580 0 -1 4202560 7758 0 0 0 27 2 0 0 20 0 15 0 475108452 15512608768 12917 33554432000 4194304 4196468 140731389058896 139755420643008 139755400492382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6789] ppid=6785 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6789/stat : 6789 (java) S 6785 6785 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475108452 15512608768 12917 33554432000 4194304 4196468 140731389058896 139755352648464 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6790] ppid=6785 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6790/stat : 6790 (java) S 6785 6785 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475108452 15512608768 12917 33554432000 4194304 4196468 140731389058896 139755351595920 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6791] ppid=6785 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6791/stat : 6791 (java) S 6785 6785 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475108452 15512608768 12917 33554432000 4194304 4196468 140731389058896 139755006778384 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6792] ppid=6785 vsize=15149032 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6792/stat : 6792 (java) S 6785 6785 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475108452 15512608768 12917 33554432000 4194304 4196468 140731389058896 139755005725840 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6793] ppid=6785 vsize=15149032 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6793/stat : 6793 (java) S 6785 6785 31580 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475108454 15512608768 12917 33554432000 4194304 4196468 140731389058896 139754952263664 139755416423042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6794] ppid=6785 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6794/stat : 6794 (java) S 6785 6785 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475108454 15512608768 12917 33554432000 4194304 4196468 140731389058896 139754951209888 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6795] ppid=6785 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6795/stat : 6795 (java) S 6785 6785 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475108454 15512608768 12917 33554432000 4194304 4196468 140731389058896 139754950157296 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6796] ppid=6785 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6796/stat : 6796 (java) S 6785 6785 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475108457 15512608768 12917 33554432000 4194304 4196468 140731389058896 139754949105872 139755416430491 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6797] ppid=6785 vsize=15149032 memory=7595127701544005784 CPUtime=0.04 cores=0,2,4,6
/proc/6787/task/6797/stat : 6797 (java) S 6785 6785 31580 0 -1 1077944384 548 0 0 0 4 0 0 0 20 0 15 0 475108457 15512608768 12917 33554432000 4194304 4196468 140731389058896 139754285820400 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6798] ppid=6785 vsize=15149032 memory=6944656425123485561 CPUtime=0.04 cores=0,2,4,6
/proc/6787/task/6798/stat : 6798 (java) R 6785 6785 31580 0 -1 4202560 196 0 0 0 4 0 0 0 20 0 15 0 475108457 15512608768 12917 33554432000 4194304 4196468 140731389058896 139754284767952 139755401528444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6799] ppid=6785 vsize=15149032 memory=-7739291672887926688 CPUtime=0.13 cores=0,2,4,6
/proc/6787/task/6799/stat : 6799 (java) S 6785 6785 31580 0 -1 1077944384 936 0 0 0 13 0 0 0 20 0 15 0 475108457 15512608768 12917 33554432000 4194304 4196468 140731389058896 139754283715312 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6800] ppid=6785 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6800/stat : 6800 (java) S 6785 6785 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475108457 15512608768 12917 33554432000 4194304 4196468 140731389058896 139754282663008 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6801] ppid=6785 vsize=15149032 memory=4628975428865778067 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6801/stat : 6801 (java) S 6785 6785 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475108457 15512608768 12917 33554432000 4194304 4196468 140731389058896 139754281609520 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 53120 KiB
[startup+0.701396 s]
/proc/loadavg: 8.72 8.40 8.19 8/235 6801
/proc/meminfo: memFree=6469472/32770624 swapFree=66976740/67108860
[pid=6785] ppid=6782 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6785/stat : 6785 (xcsp3-exec) S 6782 6785 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475108451 115843072 363 33554432000 4194304 5098028 140725740293472 140725740291576 140481462923900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27848704 140725740294998 140725740295257 140725740295257 140725740298182 0
/proc/6785/statm: 28282 363 305 221 0 87 0
[pid=6787] ppid=6785 vsize=15151156 memory=123104 CPUtime=1.68 cores=0,2,4,6
/proc/6787/stat : 6787 (java) S 6785 6785 31580 0 -1 1077944320 14633 0 0 0 162 6 0 0 20 0 15 0 475108451 15514783744 30776 33554432000 4194304 4196468 140731389058896 140731389041440 139755416411895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
/proc/6787/statm: 3787789 30776 3448 1 0 3748889 0
[pid=6787/tid=6788] ppid=6785 vsize=15151156 memory=-9110635228796802480 CPUtime=0.67 cores=0,2,4,6
/proc/6787/task/6788/stat : 6788 (java) R 6785 6785 31580 0 -1 4202560 8862 0 0 0 63 4 0 0 20 0 15 0 475108452 15514783744 30776 33554432000 4194304 4196468 140731389058896 139755420649160 139755035215519 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6789] ppid=6785 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6789/stat : 6789 (java) S 6785 6785 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475108452 15514783744 30776 33554432000 4194304 4196468 140731389058896 139755352648464 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6790] ppid=6785 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6790/stat : 6790 (java) S 6785 6785 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475108452 15514783744 30776 33554432000 4194304 4196468 140731389058896 139755351595920 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6791] ppid=6785 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6791/stat : 6791 (java) S 6785 6785 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475108452 15514783744 30776 33554432000 4194304 4196468 140731389058896 139755006778384 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6792] ppid=6785 vsize=15151156 memory=56 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6792/stat : 6792 (java) S 6785 6785 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475108452 15514783744 30776 33554432000 4194304 4196468 140731389058896 139755005725840 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6793] ppid=6785 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6793/stat : 6793 (java) S 6785 6785 31580 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475108454 15514783744 30776 33554432000 4194304 4196468 140731389058896 139754952263664 139755416423042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6794] ppid=6785 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6794/stat : 6794 (java) S 6785 6785 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475108454 15514783744 30776 33554432000 4194304 4196468 140731389058896 139754951209888 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6795] ppid=6785 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6795/stat : 6795 (java) S 6785 6785 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475108454 15514783744 30776 33554432000 4194304 4196468 140731389058896 139754950157296 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6796] ppid=6785 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6796/stat : 6796 (java) S 6785 6785 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475108457 15514783744 30776 33554432000 4194304 4196468 140731389058896 139754949105872 139755416430491 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6797] ppid=6785 vsize=15151156 memory=1660 CPUtime=0.32 cores=0,2,4,6
/proc/6787/task/6797/stat : 6797 (java) R 6785 6785 31580 0 -1 4202560 1807 0 0 0 32 0 0 0 20 0 15 0 475108457 15514783744 30776 33554432000 4194304 4196468 140731389058896 139754285812048 139755397933080 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6798] ppid=6785 vsize=15151156 memory=55864 CPUtime=0.34 cores=0,2,4,6
/proc/6787/task/6798/stat : 6798 (java) R 6785 6785 31580 0 -1 4202560 839 0 0 0 34 0 0 0 20 0 15 0 475108457 15514783744 30776 33554432000 4194304 4196468 140731389058896 139754284749920 139755394006752 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6799] ppid=6785 vsize=15151156 memory=988 CPUtime=0.31 cores=0,2,4,6
/proc/6787/task/6799/stat : 6799 (java) S 6785 6785 31580 0 -1 1077944384 1816 0 0 0 31 0 0 0 20 0 15 0 475108457 15514783744 30776 33554432000 4194304 4196468 140731389058896 139754283715312 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6800] ppid=6785 vsize=15151156 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6800/stat : 6800 (java) S 6785 6785 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475108457 15514783744 30776 33554432000 4194304 4196468 140731389058896 139754282663008 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6801] ppid=6785 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6801/stat : 6801 (java) S 6785 6785 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475108457 15514783744 30776 33554432000 4194304 4196468 140731389058896 139754281609520 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 124556 KiB
[startup+1.50144 s]
/proc/loadavg: 8.59 8.38 8.18 10/236 6802
/proc/meminfo: memFree=6170392/32770624 swapFree=66976740/67108860
[pid=6785] ppid=6782 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6785/stat : 6785 (xcsp3-exec) S 6782 6785 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475108451 115843072 363 33554432000 4194304 5098028 140725740293472 140725740291576 140481462923900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27848704 140725740294998 140725740295257 140725740295257 140725740298182 0
/proc/6785/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/6787/stat : 6787 (java) S 6785 6785 31580 0 -1 1077944320 2152407 0 0 0 201235 467 0 0 20 0 19 0 475108451 15858741248 850510 33554432000 4194304 4196468 140731389058896 140731389041440 139755416411895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
/proc/6787/statm: 3871763 850510 3549 1 0 3832863 0
[pid=6787/tid=6788] ppid=6785 vsize=15487052 memory=3402040 CPUtime=2.1 cores=0,2,4,6
/proc/6787/task/6788/stat : 6788 (java) S 6785 6785 31580 0 -1 1077944384 24629 0 0 0 200 10 0 0 20 0 19 0 475108452 15858741248 850510 33554432000 4194304 4196468 140731389058896 139755420652704 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6789] ppid=6785 vsize=15487052 memory=3402040 CPUtime=3.76 cores=0,2,4,6
/proc/6787/task/6789/stat : 6789 (java) S 6785 6785 31580 0 -1 1077944384 42033 0 0 0 297 79 0 0 20 0 19 0 475108452 15858741248 850510 33554432000 4194304 4196468 140731389058896 139755352648464 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6790] ppid=6785 vsize=15487052 memory=3402040 CPUtime=3.73 cores=0,2,4,6
/proc/6787/task/6790/stat : 6790 (java) S 6785 6785 31580 0 -1 1077944384 23428 0 0 0 294 79 0 0 20 0 19 0 475108452 15858741248 850510 33554432000 4194304 4196468 140731389058896 139755351595920 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6791] ppid=6785 vsize=15487052 memory=3401976 CPUtime=3.76 cores=0,2,4,6
/proc/6787/task/6791/stat : 6791 (java) S 6785 6785 31580 0 -1 1077944384 42691 0 0 0 296 80 0 0 20 0 19 0 475108452 15858741248 850510 33554432000 4194304 4196468 140731389058896 139755006778384 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6792] ppid=6785 vsize=15487052 memory=55884 CPUtime=3.75 cores=0,2,4,6
/proc/6787/task/6792/stat : 6792 (java) S 6785 6785 31580 0 -1 1077944384 41648 0 0 0 292 83 0 0 20 0 19 0 475108452 15858741248 850510 33554432000 4194304 4196468 140731389058896 139755005725840 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6793] ppid=6785 vsize=15487052 memory=3474172 CPUtime=0.41 cores=0,2,4,6
/proc/6787/task/6793/stat : 6793 (java) S 6785 6785 31580 0 -1 1077944384 11775 0 0 0 39 2 0 0 20 0 19 0 475108454 15858741248 850510 33554432000 4194304 4196468 140731389058896 139754952263664 139755416423042 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6794] ppid=6785 vsize=15487052 memory=3474100 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6794/stat : 6794 (java) S 6785 6785 31580 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 475108454 15858741248 850510 33554432000 4194304 4196468 140731389058896 139754951209952 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6795] ppid=6785 vsize=15487052 memory=3474312 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6795/stat : 6795 (java) S 6785 6785 31580 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 475108454 15858741248 850510 33554432000 4194304 4196468 140731389058896 139754950157312 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6796] ppid=6785 vsize=15487052 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6796/stat : 6796 (java) S 6785 6785 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475108457 15858741248 850510 33554432000 4194304 4196468 140731389058896 139754949105872 139755416430491 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6797] ppid=6785 vsize=15487052 memory=3484480 CPUtime=4.66 cores=0,2,4,6
/proc/6787/task/6797/stat : 6797 (java) S 6785 6785 31580 0 -1 1077944384 39433 0 0 0 463 3 0 0 20 0 19 0 475108457 15858741248 850510 33554432000 4194304 4196468 140731389058896 139754285820400 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6798] ppid=6785 vsize=15487052 memory=3417416 CPUtime=4.39 cores=0,2,4,6
/proc/6787/task/6798/stat : 6798 (java) S 6785 6785 31580 0 -1 1077944384 40476 0 0 0 436 3 0 0 20 0 19 0 475108457 15858741248 850510 33554432000 4194304 4196468 140731389058896 139754284767856 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6799] ppid=6785 vsize=15487052 memory=3449952 CPUtime=1.1 cores=0,2,4,6
/proc/6787/task/6799/stat : 6799 (java) S 6785 6785 31580 0 -1 1077944384 34451 0 0 0 107 3 0 0 20 0 19 0 475108457 15858741248 850510 33554432000 4194304 4196468 140731389058896 139754283715312 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6800] ppid=6785 vsize=15487052 memory=3450148 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6800/stat : 6800 (java) S 6785 6785 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475108457 15858741248 850510 33554432000 4194304 4196468 140731389058896 139754282663008 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6801] ppid=6785 vsize=15487052 memory=3474308 CPUtime=0.2 cores=0,2,4,6
/proc/6787/task/6801/stat : 6801 (java) S 6785 6785 31580 0 -1 1077944384 5941 0 0 0 7 13 0 0 20 0 19 0 475108457 15858741248 850510 33554432000 4194304 4196468 140731389058896 139754281609520 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=7791] ppid=6785 vsize=15487052 memory=3402040 CPUtime=22.34 cores=0,2,4,6
/proc/6787/task/7791/stat : 7791 (java) R 6785 6785 31580 0 -1 4202560 2563 0 0 0 2234 0 0 0 20 0 19 0 475158404 15858741248 850510 33554432000 4194304 4196468 140731389058896 139753959425488 139755038262298 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=7792] ppid=6785 vsize=15487052 memory=3402040 CPUtime=22.73 cores=0,2,4,6
/proc/6787/task/7792/stat : 7792 (java) R 6785 6785 31580 0 -1 4202560 3721 0 0 0 2273 0 0 0 20 0 19 0 475158404 15858741248 850510 33554432000 4194304 4196468 140731389058896 139753962582648 139755037558650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=7793] ppid=6785 vsize=15487052 memory=1452 CPUtime=22.7 cores=0,2,4,6
/proc/6787/task/7793/stat : 7793 (java) R 6785 6785 31580 0 -1 4202560 141740 0 0 0 2264 6 0 0 20 0 19 0 475158404 15858741248 850510 33554432000 4194304 4196468 140731389058896 139753961530024 139755038490672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=7794] ppid=6785 vsize=15487052 memory=3620 CPUtime=22.74 cores=0,2,4,6
/proc/6787/task/7794/stat : 7794 (java) R 6785 6785 31580 0 -1 4202560 3022 0 0 0 2274 0 0 0 20 0 19 0 475158404 15858741248 850510 33554432000 4194304 4196468 140731389058896 139753960475872 139755039256434 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
Current children cumulated CPU time: 2017.02 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 3403492 KiB
[startup+582.301 s]
/proc/loadavg: 8.81 8.51 8.29 9/239 7851
/proc/meminfo: memFree=3328096/32770624 swapFree=66976740/67108860
[pid=6785] ppid=6782 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6785/stat : 6785 (xcsp3-exec) S 6782 6785 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475108451 115843072 363 33554432000 4194304 5098028 140725740293472 140725740291576 140481462923900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27848704 140725740294998 140725740295257 140725740295257 140725740298182 0
/proc/6785/statm: 28282 363 305 221 0 87 0
[pid=6787] ppid=6785 vsize=15487052 memory=3174740 CPUtime=2254.51 cores=0,2,4,6
/proc/6787/stat : 6787 (java) S 6785 6785 31580 0 -1 1077944320 2523504 0 0 0 224954 497 0 0 20 0 19 0 475108451 15858741248 793685 33554432000 4194304 4196468 140731389058896 140731389041440 139755416411895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
/proc/6787/statm: 3871763 793685 3549 1 0 3832863 0
[pid=6787/tid=6788] ppid=6785 vsize=15487052 memory=3174680 CPUtime=2.1 cores=0,2,4,6
/proc/6787/task/6788/stat : 6788 (java) S 6785 6785 31580 0 -1 1077944384 26361 0 0 0 200 10 0 0 20 0 19 0 475108452 15858741248 793685 33554432000 4194304 4196468 140731389058896 139755420652704 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6789] ppid=6785 vsize=15487052 memory=3174528 CPUtime=3.78 cores=0,2,4,6
/proc/6787/task/6789/stat : 6789 (java) S 6785 6785 31580 0 -1 1077944384 44194 0 0 0 299 79 0 0 20 0 19 0 475108452 15858741248 793685 33554432000 4194304 4196468 140731389058896 139755352648464 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6790] ppid=6785 vsize=15487052 memory=3174528 CPUtime=3.75 cores=0,2,4,6
/proc/6787/task/6790/stat : 6790 (java) S 6785 6785 31580 0 -1 1077944384 27578 0 0 0 296 79 0 0 20 0 19 0 475108452 15858741248 793685 33554432000 4194304 4196468 140731389058896 139755351595920 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6791] ppid=6785 vsize=15487052 memory=3174680 CPUtime=3.79 cores=0,2,4,6
/proc/6787/task/6791/stat : 6791 (java) S 6785 6785 31580 0 -1 1077944384 45256 0 0 0 299 80 0 0 20 0 19 0 475108452 15858741248 793685 33554432000 4194304 4196468 140731389058896 139755006778384 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6792] ppid=6785 vsize=15487052 memory=1452 CPUtime=3.77 cores=0,2,4,6
/proc/6787/task/6792/stat : 6792 (java) S 6785 6785 31580 0 -1 1077944384 43256 0 0 0 294 83 0 0 20 0 19 0 475108452 15858741248 793685 33554432000 4194304 4196468 140731389058896 139755005725840 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6793] ppid=6785 vsize=15487052 memory=3250656 CPUtime=0.41 cores=0,2,4,6
/proc/6787/task/6793/stat : 6793 (java) S 6785 6785 31580 0 -1 1077944384 12632 0 0 0 39 2 0 0 20 0 19 0 475108454 15858741248 793685 33554432000 4194304 4196468 140731389058896 139754952263664 139755416423042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6794] ppid=6785 vsize=15487052 memory=3325936 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6794/stat : 6794 (java) S 6785 6785 31580 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 475108454 15858741248 793685 33554432000 4194304 4196468 140731389058896 139754951209952 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6795] ppid=6785 vsize=15487052 memory=3325996 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6795/stat : 6795 (java) S 6785 6785 31580 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 475108454 15858741248 793685 33554432000 4194304 4196468 140731389058896 139754950157312 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6796] ppid=6785 vsize=15487052 memory=3325996 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6796/stat : 6796 (java) S 6785 6785 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475108457 15858741248 793685 33554432000 4194304 4196468 140731389058896 139754949105872 139755416430491 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6797] ppid=6785 vsize=15487052 memory=3402040 CPUtime=4.67 cores=0,2,4,6
/proc/6787/task/6797/stat : 6797 (java) S 6785 6785 31580 0 -1 1077944384 40134 0 0 0 463 4 0 0 20 0 19 0 475108457 15858741248 793685 33554432000 4194304 4196468 140731389058896 139754285820400 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6798] ppid=6785 vsize=15487052 memory=3325852 CPUtime=4.41 cores=0,2,4,6
/proc/6787/task/6798/stat : 6798 (java) S 6785 6785 31580 0 -1 1077944384 41370 0 0 0 438 3 0 0 20 0 19 0 475108457 15858741248 793685 33554432000 4194304 4196468 140731389058896 139754284767856 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6799] ppid=6785 vsize=15487052 memory=3325852 CPUtime=1.1 cores=0,2,4,6
/proc/6787/task/6799/stat : 6799 (java) S 6785 6785 31580 0 -1 1077944384 34876 0 0 0 107 3 0 0 20 0 19 0 475108457 15858741248 793685 33554432000 4194304 4196468 140731389058896 139754283715312 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6800] ppid=6785 vsize=15487052 memory=3174680 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6800/stat : 6800 (java) S 6785 6785 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475108457 15858741248 793685 33554432000 4194304 4196468 140731389058896 139754282663008 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6801] ppid=6785 vsize=15487052 memory=3174680 CPUtime=0.22 cores=0,2,4,6
/proc/6787/task/6801/stat : 6801 (java) S 6785 6785 31580 0 -1 1077944384 6553 0 0 0 8 14 0 0 20 0 19 0 475108457 15858741248 793685 33554432000 4194304 4196468 140731389058896 139754281609520 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=7848] ppid=6785 vsize=15487052 memory=1452 CPUtime=3.56 cores=0,2,4,6
/proc/6787/task/7848/stat : 7848 (java) R 6785 6785 31580 0 -1 4202560 392 0 0 0 356 0 0 0 20 0 19 0 475166325 15858741248 793685 33554432000 4194304 4196468 140731389058896 139753960479864 139755038167982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=7849] ppid=6785 vsize=15487052 memory=3174740 CPUtime=3.49 cores=0,2,4,6
/proc/6787/task/7849/stat : 7849 (java) R 6785 6785 31580 0 -1 4202560 556 0 0 0 349 0 0 0 20 0 19 0 475166325 15858741248 793685 33554432000 4194304 4196468 140731389058896 139753959429064 139755037558986 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=7850] ppid=6785 vsize=15487052 memory=1060 CPUtime=3.55 cores=0,2,4,6
/proc/6787/task/7850/stat : 7850 (java) R 6785 6785 31580 0 -1 4202560 16559 0 0 0 355 0 0 0 20 0 19 0 475166325 15858741248 793685 33554432000 4194304 4196468 140731389058896 139753962589256 139755037558110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=7851] ppid=6785 vsize=15487052 memory=2828 CPUtime=3.56 cores=0,2,4,6
/proc/6787/task/7851/stat : 7851 (java) R 6785 6785 31580 0 -1 4202560 611 0 0 0 356 0 0 0 20 0 19 0 475166325 15858741248 793685 33554432000 4194304 4196468 140731389058896 139753961536712 139755039069168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
Current children cumulated CPU time: 2254.51 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 3176192 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+620.001 s]*
/proc/loadavg: 8.69 8.52 8.30 10/239 7890
/proc/meminfo: memFree=3462128/32770624 swapFree=66976740/67108860
[pid=6785] ppid=6782 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6785/stat : 6785 (xcsp3-exec) S 6782 6785 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475108451 115843072 363 33554432000 4194304 5098028 140725740293472 140725740291576 140481462923900 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27848704 140725740294998 140725740295257 140725740295257 140725740298182 0
/proc/6785/statm: 28282 363 305 221 0 87 0
[pid=6787] ppid=6785 vsize=15487052 memory=3029124 CPUtime=2400.39 cores=0,2,4,6
/proc/6787/stat : 6787 (java) S 6785 6785 31580 0 -1 1077944320 2662656 0 0 0 239530 509 0 0 20 0 19 0 475108451 15858741248 757281 33554432000 4194304 4196468 140731389058896 140731389041440 139755416411895 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
/proc/6787/statm: 3871763 757281 3549 1 0 3832863 0
[pid=6787/tid=6788] ppid=6785 vsize=15487052 memory=4336 CPUtime=2.11 cores=0,2,4,6
/proc/6787/task/6788/stat : 6788 (java) S 6785 6785 31580 0 -1 1077944384 26900 0 0 0 201 10 0 0 20 0 19 0 475108452 15858741248 757281 33554432000 4194304 4196468 140731389058896 139755420652704 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6789] ppid=6785 vsize=15487052 memory=4126316290023845779 CPUtime=3.8 cores=0,2,4,6
/proc/6787/task/6789/stat : 6789 (java) S 6785 6785 31580 0 -1 1077944384 45955 0 0 0 301 79 0 0 20 0 19 0 475108452 15858741248 757281 33554432000 4194304 4196468 140731389058896 139755352648464 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6790] ppid=6785 vsize=15487052 memory=776 CPUtime=3.76 cores=0,2,4,6
/proc/6787/task/6790/stat : 6790 (java) S 6785 6785 31580 0 -1 1077944384 29248 0 0 0 297 79 0 0 20 0 19 0 475108452 15858741248 757281 33554432000 4194304 4196468 140731389058896 139755351595920 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6791] ppid=6785 vsize=15487052 memory=1216 CPUtime=3.81 cores=0,2,4,6
/proc/6787/task/6791/stat : 6791 (java) S 6785 6785 31580 0 -1 1077944384 46444 0 0 0 301 80 0 0 20 0 19 0 475108452 15858741248 757281 33554432000 4194304 4196468 140731389058896 139755006778384 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6792] ppid=6785 vsize=15487052 memory=984 CPUtime=3.79 cores=0,2,4,6
/proc/6787/task/6792/stat : 6792 (java) S 6785 6785 31580 0 -1 1077944384 45466 0 0 0 296 83 0 0 20 0 19 0 475108452 15858741248 757281 33554432000 4194304 4196468 140731389058896 139755005725840 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6793] ppid=6785 vsize=15487052 memory=14004 CPUtime=0.41 cores=0,2,4,6
/proc/6787/task/6793/stat : 6793 (java) S 6785 6785 31580 0 -1 1077944384 13188 0 0 0 39 2 0 0 20 0 19 0 475108454 15858741248 757281 33554432000 4194304 4196468 140731389058896 139754952263664 139755416423042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6794] ppid=6785 vsize=15487052 memory=30040 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6794/stat : 6794 (java) S 6785 6785 31580 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 475108454 15858741248 757281 33554432000 4194304 4196468 140731389058896 139754951209952 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6795] ppid=6785 vsize=15487052 memory=14048 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6795/stat : 6795 (java) S 6785 6785 31580 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 19 0 475108454 15858741248 757281 33554432000 4194304 4196468 140731389058896 139754950157312 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6796] ppid=6785 vsize=15487052 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6796/stat : 6796 (java) S 6785 6785 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475108457 15858741248 757281 33554432000 4194304 4196468 140731389058896 139754949105872 139755416430491 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6797] ppid=6785 vsize=15487052 memory=500 CPUtime=4.67 cores=0,2,4,6
/proc/6787/task/6797/stat : 6797 (java) S 6785 6785 31580 0 -1 1077944384 40156 0 0 0 463 4 0 0 20 0 19 0 475108457 15858741248 757281 33554432000 4194304 4196468 140731389058896 139754285820400 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6798] ppid=6785 vsize=15487052 memory=1556 CPUtime=4.42 cores=0,2,4,6
/proc/6787/task/6798/stat : 6798 (java) S 6785 6785 31580 0 -1 1077944384 42498 0 0 0 439 3 0 0 20 0 19 0 475108457 15858741248 757281 33554432000 4194304 4196468 140731389058896 139754284767856 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6799] ppid=6785 vsize=15487052 memory=928 CPUtime=1.11 cores=0,2,4,6
/proc/6787/task/6799/stat : 6799 (java) S 6785 6785 31580 0 -1 1077944384 35624 0 0 0 108 3 0 0 20 0 19 0 475108457 15858741248 757281 33554432000 4194304 4196468 140731389058896 139754283715312 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6800] ppid=6785 vsize=15487052 memory=1772 CPUtime=0 cores=0,2,4,6
/proc/6787/task/6800/stat : 6800 (java) S 6785 6785 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475108457 15858741248 757281 33554432000 4194304 4196468 140731389058896 139754282663008 139755416422101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=6801] ppid=6785 vsize=15487052 memory=3636 CPUtime=0.24 cores=0,2,4,6
/proc/6787/task/6801/stat : 6801 (java) S 6785 6785 31580 0 -1 1077944384 6708 0 0 0 10 14 0 0 20 0 19 0 475108457 15858741248 757281 33554432000 4194304 4196468 140731389058896 139754281609520 139755416423042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=7886] ppid=6785 vsize=15487052 memory=776 CPUtime=32.12 cores=0,2,4,6
/proc/6787/task/7886/stat : 7886 (java) R 6785 6785 31580 0 -1 4202560 2585 0 0 0 3212 0 0 0 20 0 19 0 475167238 15858741248 757281 33554432000 4194304 4196468 140731389058896 139753962581128 139755038168264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=7887] ppid=6785 vsize=15487052 memory=1564 CPUtime=32.08 cores=0,2,4,6
/proc/6787/task/7887/stat : 7887 (java) R 6785 6785 31580 0 -1 4202560 2858 0 0 0 3208 0 0 0 20 0 19 0 475167238 15858741248 757281 33554432000 4194304 4196468 140731389058896 139753960479440 139755037558630 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=7888] ppid=6785 vsize=15487052 memory=6088 CPUtime=31.54 cores=0,2,4,6
/proc/6787/task/7888/stat : 7888 (java) R 6785 6785 31580 0 -1 4202560 85369 0 0 0 3149 5 0 0 20 0 19 0 475167238 15858741248 757281 33554432000 4194304 4196468 140731389058896 139753961529432 139755038169408 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
[pid=6787/tid=7889] ppid=6785 vsize=15487052 memory=1060 CPUtime=32.11 cores=0,2,4,6
/proc/6787/task/7889/stat : 7889 (java) R 6785 6785 31580 0 -1 4202560 1788 0 0 0 3211 0 0 0 20 0 19 0 475167238 15858741248 757281 33554432000 4194304 4196468 140731389058896 139753959423520 139755038260480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19841024 140731389064155 140731389064330 140731389064330 140731389067215 0
Current children cumulated CPU time: 2400.39 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 3030576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+620.037 s]
# the end of solver process 6785 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001172 s, system=0.001172 s
[startup+620.112 s]
# the end of solver process 6787 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.61 s, system=5.12026 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): 620.112
CPU time (s): 2400.73
CPU user time (s): 2395.61
CPU system time (s): 5.12026
CPU usage (%): 387.145
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 3486368
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.61
system time used= 5.12026
maximum resident set size= 3484940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2664038
page faults= 0
swaps= 0
block input operations= 0
block output operations= 888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25639
involuntary context switches= 44217
# summary of solver processes directly reported to runsolver:
# pid: 6785,6787
# total CPU time (s): 2400.73
# total CPU user time (s): 2395.61
# total CPU system time (s): 5.12026
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.05733 second user time and 6.96026 second system time
The end
Begin job on node124 at 2019-09-20 17:00:43 IDJOB=4404174 IDBENCH=135802 IDSOLVER=2864 FILE ID=node124/4404174-1568991683 RUNJOBID= node124-1568988386-31611 PBS_JOBID= 21704644 Free space on /var/tmp= 13488 MiB SOLVER NAME= choco-solver 2019-09-20 BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n150/TravellingSalesman-150-50-13.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404174-1568991683/watcher-4404174-1568991683 -o /var/tmp/evaluation-result-4404174-1568991683/solver-4404174-1568991683 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568988386-31611 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1475335395 HOME/instance-4404174-1568991683.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d698eba466bb4d42bacc008ef87467ee RANDOM SEED=1475335395 node124.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: 6539612 kB MemAvailable: 31650000 kB Buffers: 156056 kB Cached: 24884336 kB SwapCached: 28940 kB Active: 12603332 kB Inactive: 12643708 kB Active(anon): 174436 kB Inactive(anon): 81972 kB Active(file): 12428896 kB Inactive(file): 12561736 kB Unevictable: 108088 kB Mlocked: 108088 kB SwapTotal: 67108860 kB SwapFree: 66976740 kB Dirty: 26172 kB Writeback: 0 kB AnonPages: 377780 kB Mapped: 65724 kB Shmem: 40884 kB Slab: 577764 kB SReclaimable: 548216 kB SUnreclaim: 29548 kB KernelStack: 4096 kB PageTables: 6204 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1433580 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 272384 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /var/tmp at the end= 13460 MiB End job on node124 at 2019-09-20 17:11:03