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) | 1242 | 2520.58 | 653.789 |
| 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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403874-1568992381.xml" -tl '2520s' -p 4 0.14/0.18 c Choco 3fb4b153 0.14/0.18 c [HOME/instance-4403874-1568992381.xml, -tl, 2520s, -p, 4] 0.14/0.22 c 4 solvers in parallel 0.34/0.28 c parse instance... 10.32/3.92 c solve instance... 14.15/4.92 o 2604 15.26/5.28 o 2588 15.60/5.36 o 2562 15.60/5.39 o 2546 15.95/5.48 o 2543 16.28/5.51 o 2524 18.11/6.55 o 2521 18.35/6.62 o 2520 18.64/6.71 o 2518 18.64/6.77 o 2516 18.64/6.79 o 2513 19.14/6.90 o 2502 19.14/7.00 o 2494 19.40/7.10 o 2491 19.57/7.20 o 2488 19.76/7.28 o 2485 19.97/7.38 o 2483 20.18/7.48 o 2480 20.34/7.56 o 2477 20.49/7.65 o 2475 20.77/7.74 o 2474 20.99/7.86 o 2471 21.15/7.95 o 2469 45.58/14.17 o 2467 68.39/19.95 o 2465 74.46/21.66 o 2464 79.72/23.42 o 2463 86.35/25.30 o 2462 87.25/25.53 o 2461 101.91/29.21 o 2460 107.91/30.93 o 2458 108.23/31.10 o 2457 110.73/31.70 o 2456 112.09/32.69 o 2455 229.92/62.64 o 2454 230.18/62.73 o 2453 234.62/64.53 o 2451 238.79/66.16 o 2042 239.01/66.20 o 2035 239.01/66.24 o 2014 241.39/66.85 o 1999 241.39/66.89 o 1995 241.78/66.91 o 1992 241.78/66.99 o 1977 242.21/67.08 o 1968 244.50/68.26 o 1956 247.93/69.14 o 1925 247.93/69.16 o 1922 247.93/69.18 o 1921 248.26/69.20 o 1915 248.26/69.22 o 1911 248.26/69.24 o 1910 248.26/69.26 o 1906 248.26/69.27 o 1905 248.62/69.30 o 1897 252.54/70.76 o 1889 252.54/70.80 o 1888 253.14/70.95 o 1883 253.14/70.98 o 1872 255.10/71.45 o 1871 256.67/71.88 o 1870 257.07/71.91 o 1867 260.54/73.32 o 1861 260.54/73.35 o 1859 260.54/73.37 o 1857 260.88/73.46 o 1856 260.88/73.49 o 1853 261.59/73.61 o 1841 269.57/76.00 o 1839 269.68/76.08 o 1834 269.68/76.11 o 1832 270.05/76.14 o 1824 275.98/77.63 o 1810 275.98/77.66 o 1806 275.98/77.68 o 1804 276.35/77.70 o 1802 276.35/77.73 o 1794 276.35/77.76 o 1793 276.68/77.80 o 1791 276.68/77.89 o 1790 277.03/77.91 o 1788 282.21/79.32 o 1782 282.94/79.50 o 1781 288.52/80.92 o 1775 288.52/80.94 o 1771 293.93/82.53 o 1760 293.93/82.57 o 1758 294.62/82.78 o 1752 295.41/82.97 o 1750 331.65/92.06 o 1747 331.65/92.10 o 1745 334.78/92.89 o 1727 337.94/93.66 o 1718 339.04/94.60 o 1717 339.04/94.62 o 1715 339.04/94.68 o 1714 339.83/94.81 o 1699 343.36/95.73 o 1686 343.36/95.75 o 1683 343.36/95.77 o 1681 343.72/95.80 o 1678 346.50/96.51 o 1662 346.50/96.54 o 1650 350.07/97.77 o 1649 355.84/99.26 o 1647 357.01/99.52 o 1635 370.13/102.87 o 1632 375.69/104.25 o 1629 379.98/105.31 o 1627 379.98/105.35 o 1624 382.34/105.94 o 1610 386.27/107.41 o 1609 390.21/108.41 o 1605 391.00/108.65 o 1603 395.21/110.30 o 1591 395.21/110.32 o 1588 395.21/110.37 o 1580 395.21/110.40 o 1568 397.15/110.80 o 1567 400.33/111.66 o 1566 403.08/112.33 o 1564 415.82/115.55 o 1552 417.84/116.02 o 1551 467.55/128.56 o 1547 467.55/128.59 o 1540 467.91/128.61 o 1537 480.30/132.21 o 1536 480.30/132.25 o 1533 487.03/133.99 o 1532 504.92/138.40 o 1529 508.21/139.63 o 1525 517.57/142.63 o 1523 517.57/142.65 o 1522 517.86/142.76 o 1521 517.86/142.79 o 1519 520.59/143.44 o 1510 521.38/143.66 o 1507 524.54/144.45 o 1506 525.71/144.75 o 1501 526.14/144.82 o 1500 543.23/149.19 o 1499 546.99/150.64 o 1496 559.23/154.19 o 1495 565.74/155.87 o 1494 566.11/155.91 o 1492 574.68/158.33 o 1484 576.98/158.99 o 1480 580.15/159.76 o 1469 596.06/163.73 o 1468 597.67/164.19 o 1467 603.83/166.08 o 1466 604.02/166.12 o 1465 604.77/166.32 o 1462 604.77/166.35 o 1461 614.31/168.80 o 1459 655.44/179.12 o 1458 667.73/182.22 o 1455 695.02/189.53 o 1452 872.85/234.22 o 1451 876.80/235.27 o 1450 919.00/245.84 o 1447 921.75/246.57 o 1443 922.15/246.68 o 1442 936.84/250.38 o 1441 937.23/250.40 o 1439 937.23/250.42 o 1437 944.74/252.97 o 1434 977.31/261.61 o 1432 977.31/261.63 o 1427 978.45/261.99 o 1426 1018.68/272.03 o 1423 1040.93/277.97 o 1420 1044.31/278.82 o 1419 1044.31/278.86 o 1414 1065.77/284.21 o 1407 1140.20/302.92 o 1404 1140.60/303.02 o 1402 1148.13/304.95 o 1397 1148.55/305.01 o 1395 1152.41/306.61 o 1394 1164.88/310.19 o 1393 1165.00/310.20 o 1391 1165.00/310.22 o 1387 1221.48/324.43 o 1381 1249.40/331.57 o 1380 1253.15/332.55 o 1375 1253.15/332.58 o 1373 1260.90/335.10 o 1372 1284.91/341.11 o 1366 1305.16/346.23 o 1360 1305.95/346.46 o 1359 1309.10/347.21 o 1356 1321.84/350.45 o 1343 1323.02/350.80 o 1330 1336.59/354.16 o 1324 1447.53/382.03 o 1322 1452.21/383.21 o 1320 1616.96/424.65 o 1317 1832.01/478.80 o 1316 1835.18/479.64 o 1302 1835.18/479.68 o 1301 1838.72/480.51 o 1300 1843.09/481.66 o 1299 1853.42/484.24 o 1298 1853.42/484.26 o 1297 1902.37/496.59 o 1295 1926.17/502.57 o 1294 1932.73/504.28 o 1293 1936.68/505.20 o 1287 1946.88/507.87 o 1286 1956.63/510.32 o 1283 1968.15/513.21 o 1282 1970.49/513.81 o 1281 1986.41/517.89 o 1279 2115.00/550.13 o 1277 2129.68/553.85 o 1276 2153.14/559.79 o 1275 2168.27/563.55 o 1274 2172.63/564.66 o 1273 2187.74/568.46 o 1271 2269.33/588.94 o 1265 2295.98/595.66 o 1263 2296.36/595.75 o 1261 2311.03/600.06 o 1259 2311.27/600.11 o 1258 2327.55/604.25 o 1257 2328.81/605.30 o 1255 2329.22/605.49 o 1253 2329.60/605.54 o 1250 2340.27/608.21 o 1249 2342.23/608.76 o 1247 2345.77/609.62 o 1246 2345.77/609.65 o 1245 2345.77/609.68 o 1244 2515.72/652.58 o 1242 2520.27/653.76 s SATISFIABLE 2520.27/653.76 v <instantiation> 2520.27/653.76 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> 2520.27/653.76 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 116 114 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 4 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> 2520.27/653.76 v </instantiation> 2520.27/653.76 c Unexpected resolution interruption!
OK 1242
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 (8515 MiB free)
memory of node 1: 16384 MiB (7379 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403874-1568992381/watcher-4403874-1568992381 -o /tmp/evaluation-result-4403874-1568992381/solver-4403874-1568992381 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568983762-7722 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1782193200 HOME/instance-4403874-1568992381.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB
solver pid=11977, runsolver pid=11974
[startup+0.100943 s]*
/proc/loadavg: 8.65 8.48 8.24 6/235 11993
/proc/meminfo: memFree=16258416/32770624 swapFree=66986244/67108860
[pid=11977] ppid=11974 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11977/stat : 11977 (xcsp3-exec) S 11974 11977 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475494944 115843072 363 33554432000 4194304 5098028 140732612920464 140732612918568 139898216288892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38928384 140732612924282 140732612924525 140732612924525 140732612927434 0
/proc/11977/statm: 28282 363 304 221 0 87 0
[pid=11979] ppid=11977 vsize=15144776 memory=30360 CPUtime=0.14 cores=1,3,5,7
/proc/11979/stat : 11979 (java) S 11977 11977 7690 0 -1 1077944320 5534 0 0 0 13 1 0 0 20 0 15 0 475494944 15508250624 7590 33554432000 4194304 4196468 140724928443472 140724928426016 139890275258103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
/proc/11979/statm: 3786194 7590 3139 1 0 3748377 0
[pid=11979/tid=11980] ppid=11977 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/11979/task/11980/stat : 11980 (java) R 11977 11977 7690 0 -1 4202560 3414 0 0 0 9 0 0 0 20 0 15 0 475494944 15508250624 7590 33554432000 4194304 4196468 140724928443472 139890279483936 139890275270038 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11981] ppid=11977 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11981/stat : 11981 (java) S 11977 11977 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475494945 15508250624 7590 33554432000 4194304 4196468 140724928443472 139890240539408 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11982] ppid=11977 vsize=15144776 memory=140009448248960 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11982/stat : 11982 (java) S 11977 11977 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475494945 15508250624 7590 33554432000 4194304 4196468 140724928443472 139889866550160 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11983] ppid=11977 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11983/stat : 11983 (java) S 11977 11977 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475494945 15508250624 7590 33554432000 4194304 4196468 140724928443472 139889865497616 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11984] ppid=11977 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11984/stat : 11984 (java) S 11977 11977 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475494945 15508250624 7590 33554432000 4194304 4196468 140724928443472 139889864445072 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11985] ppid=11977 vsize=15144776 memory=140009448248960 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11985/stat : 11985 (java) S 11977 11977 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475494947 15508250624 7590 33554432000 4194304 4196468 140724928443472 139889743845360 139890275269250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11986] ppid=11977 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11986/stat : 11986 (java) S 11977 11977 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475494947 15508250624 7590 33554432000 4194304 4196468 140724928443472 139889742791584 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11987] ppid=11977 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11987/stat : 11987 (java) S 11977 11977 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475494947 15508250624 7590 33554432000 4194304 4196468 140724928443472 139889741738992 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11988] ppid=11977 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11988/stat : 11988 (java) S 11977 11977 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475494950 15508250624 7590 33554432000 4194304 4196468 140724928443472 139889740687568 139890275276699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11989] ppid=11977 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11989/stat : 11989 (java) S 11977 11977 7690 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 475494950 15508250624 7590 33554432000 4194304 4196468 140724928443472 139889739635184 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11990] ppid=11977 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11990/stat : 11990 (java) S 11977 11977 7690 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475494950 15508250624 7590 33554432000 4194304 4196468 140724928443472 139889738582640 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11991] ppid=11977 vsize=15144776 memory=140009448248960 CPUtime=0.02 cores=1,3,5,7
/proc/11979/task/11991/stat : 11991 (java) R 11977 11977 7690 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 475494950 15508250624 7590 33554432000 4194304 4196468 140724928443472 139889737530096 139890254691189 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11992] ppid=11977 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11992/stat : 11992 (java) S 11977 11977 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475494950 15508250624 7590 33554432000 4194304 4196468 140724928443472 139889736477792 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11993] ppid=11977 vsize=15144776 memory=140009448248960 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11993/stat : 11993 (java) S 11977 11977 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475494950 15508250624 7590 33554432000 4194304 4196468 140724928443472 139889735424304 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31812 KiB
[startup+0.212714 s]*
/proc/loadavg: 8.65 8.48 8.24 6/235 11993
/proc/meminfo: memFree=16245808/32770624 swapFree=66986244/67108860
[pid=11977] ppid=11974 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11977/stat : 11977 (xcsp3-exec) S 11974 11977 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475494944 115843072 363 33554432000 4194304 5098028 140732612920464 140732612918568 139898216288892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38928384 140732612924282 140732612924525 140732612924525 140732612927434 0
/proc/11977/statm: 28282 363 304 221 0 87 0
[pid=11979] ppid=11977 vsize=15144776 memory=41256 CPUtime=0.34 cores=1,3,5,7
/proc/11979/stat : 11979 (java) S 11977 11977 7690 0 -1 1077944320 9037 0 0 0 32 2 0 0 20 0 15 0 475494944 15508250624 10314 33554432000 4194304 4196468 140724928443472 140724928426016 139890275258103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
/proc/11979/statm: 3786194 10314 3296 1 0 3748377 0
[pid=11979/tid=11980] ppid=11977 vsize=15144776 memory=7883960649037381690 CPUtime=0.21 cores=1,3,5,7
/proc/11979/task/11980/stat : 11980 (java) R 11977 11977 7690 0 -1 4202560 6230 0 0 0 19 2 0 0 20 0 15 0 475494944 15508250624 10314 33554432000 4194304 4196468 140724928443472 139890279493088 139890259301733 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11981] ppid=11977 vsize=15144776 memory=1898699 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11981/stat : 11981 (java) S 11977 11977 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475494945 15508250624 10314 33554432000 4194304 4196468 140724928443472 139890240539408 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11982] ppid=11977 vsize=15144776 memory=3394629 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11982/stat : 11982 (java) S 11977 11977 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475494945 15508250624 10314 33554432000 4194304 4196468 140724928443472 139889866550160 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11983] ppid=11977 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11983/stat : 11983 (java) S 11977 11977 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475494945 15508250624 10314 33554432000 4194304 4196468 140724928443472 139889865497616 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11984] ppid=11977 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11984/stat : 11984 (java) S 11977 11977 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475494945 15508250624 10314 33554432000 4194304 4196468 140724928443472 139889864445072 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11985] ppid=11977 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11985/stat : 11985 (java) S 11977 11977 7690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475494947 15508250624 10314 33554432000 4194304 4196468 140724928443472 139889743845360 139890275269250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11986] ppid=11977 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11986/stat : 11986 (java) S 11977 11977 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475494947 15508250624 10314 33554432000 4194304 4196468 140724928443472 139889742791584 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11987] ppid=11977 vsize=15144776 memory=140009448248960 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11987/stat : 11987 (java) S 11977 11977 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475494947 15508250624 10314 33554432000 4194304 4196468 140724928443472 139889741738992 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11988] ppid=11977 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11988/stat : 11988 (java) S 11977 11977 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475494950 15508250624 10314 33554432000 4194304 4196468 140724928443472 139889740687568 139890275276699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11989] ppid=11977 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/11979/task/11989/stat : 11989 (java) S 11977 11977 7690 0 -1 1077944384 528 0 0 0 2 0 0 0 20 0 15 0 475494950 15508250624 10314 33554432000 4194304 4196468 140724928443472 139889739635184 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11990] ppid=11977 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11979/task/11990/stat : 11990 (java) S 11977 11977 7690 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 15 0 475494950 15508250624 10314 33554432000 4194304 4196468 140724928443472 139889738582640 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11991] ppid=11977 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/11979/task/11991/stat : 11991 (java) R 11977 11977 7690 0 -1 4202560 751 0 0 0 8 0 0 0 20 0 15 0 475494950 15508250624 10314 33554432000 4194304 4196468 140724928443472 139889737530096 139890254616641 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11992] ppid=11977 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11992/stat : 11992 (java) S 11977 11977 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475494950 15508250624 10314 33554432000 4194304 4196468 140724928443472 139889736477792 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11993] ppid=11977 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11993/stat : 11993 (java) S 11977 11977 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475494950 15508250624 10314 33554432000 4194304 4196468 140724928443472 139889735424304 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42708 KiB
[startup+0.310837 s]*
/proc/loadavg: 8.65 8.48 8.24 6/235 11993
/proc/meminfo: memFree=16239384/32770624 swapFree=66986244/67108860
[pid=11977] ppid=11974 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11977/stat : 11977 (xcsp3-exec) S 11974 11977 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475494944 115843072 363 33554432000 4194304 5098028 140732612920464 140732612918568 139898216288892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38928384 140732612924282 140732612924525 140732612924525 140732612927434 0
/proc/11977/statm: 28282 363 304 221 0 87 0
[pid=11979] ppid=11977 vsize=15149032 memory=50148 CPUtime=0.52 cores=1,3,5,7
/proc/11979/stat : 11979 (java) S 11977 11977 7690 0 -1 1077944320 10326 0 0 0 49 3 0 0 20 0 15 0 475494944 15512608768 12537 33554432000 4194304 4196468 140724928443472 140724928426016 139890275258103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
/proc/11979/statm: 3787258 12537 3354 1 0 3748377 0
[pid=11979/tid=11980] ppid=11977 vsize=15149032 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/11979/task/11980/stat : 11980 (java) R 11977 11977 7690 0 -1 4202560 7382 0 0 0 28 2 0 0 20 0 15 0 475494944 15512608768 12537 33554432000 4194304 4196468 140724928443472 139890279489216 139890259338590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11981] ppid=11977 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11981/stat : 11981 (java) S 11977 11977 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475494945 15512608768 12537 33554432000 4194304 4196468 140724928443472 139890240539408 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11982] ppid=11977 vsize=15149032 memory=3394379 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11982/stat : 11982 (java) S 11977 11977 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475494945 15512608768 12537 33554432000 4194304 4196468 140724928443472 139889866550160 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11983] ppid=11977 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11983/stat : 11983 (java) S 11977 11977 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475494945 15512608768 12537 33554432000 4194304 4196468 140724928443472 139889865497616 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11984] ppid=11977 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11984/stat : 11984 (java) S 11977 11977 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475494945 15512608768 12537 33554432000 4194304 4196468 140724928443472 139889864445072 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11985] ppid=11977 vsize=15149032 memory=140009448248960 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11985/stat : 11985 (java) S 11977 11977 7690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475494947 15512608768 12537 33554432000 4194304 4196468 140724928443472 139889743845360 139890275269250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11986] ppid=11977 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11986/stat : 11986 (java) S 11977 11977 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475494947 15512608768 12537 33554432000 4194304 4196468 140724928443472 139889742791584 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11987] ppid=11977 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11987/stat : 11987 (java) S 11977 11977 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475494947 15512608768 12537 33554432000 4194304 4196468 140724928443472 139889741738992 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11988] ppid=11977 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11988/stat : 11988 (java) S 11977 11977 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475494950 15512608768 12537 33554432000 4194304 4196468 140724928443472 139889740687568 139890275276699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11989] ppid=11977 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/11979/task/11989/stat : 11989 (java) S 11977 11977 7690 0 -1 1077944384 566 0 0 0 4 0 0 0 20 0 15 0 475494950 15512608768 12537 33554432000 4194304 4196468 140724928443472 139889739635184 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11990] ppid=11977 vsize=15149032 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/11979/task/11990/stat : 11990 (java) S 11977 11977 7690 0 -1 1077944384 232 0 0 0 3 0 0 0 20 0 15 0 475494950 15512608768 12537 33554432000 4194304 4196468 140724928443472 139889738582640 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11991] ppid=11977 vsize=15149032 memory=140009448248960 CPUtime=0.13 cores=1,3,5,7
/proc/11979/task/11991/stat : 11991 (java) S 11977 11977 7690 0 -1 1077944384 850 0 0 0 13 0 0 0 20 0 15 0 475494950 15512608768 12537 33554432000 4194304 4196468 140724928443472 139889737530096 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11992] ppid=11977 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11992/stat : 11992 (java) S 11977 11977 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475494950 15512608768 12537 33554432000 4194304 4196468 140724928443472 139889736477792 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11993] ppid=11977 vsize=15149032 memory=140009448248960 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11993/stat : 11993 (java) S 11977 11977 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475494950 15512608768 12537 33554432000 4194304 4196468 140724928443472 139889735424304 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51600 KiB
[startup+0.700818 s]
/proc/loadavg: 8.65 8.48 8.24 8/235 11993
/proc/meminfo: memFree=16210164/32770624 swapFree=66986244/67108860
[pid=11977] ppid=11974 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11977/stat : 11977 (xcsp3-exec) S 11974 11977 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475494944 115843072 363 33554432000 4194304 5098028 140732612920464 140732612918568 139898216288892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38928384 140732612924282 140732612924525 140732612924525 140732612927434 0
/proc/11977/statm: 28282 363 304 221 0 87 0
[pid=11979] ppid=11977 vsize=15151156 memory=126984 CPUtime=1.64 cores=1,3,5,7
/proc/11979/stat : 11979 (java) S 11977 11977 7690 0 -1 1077944320 14182 0 0 0 159 5 0 0 20 0 15 0 475494944 15514783744 31746 33554432000 4194304 4196468 140724928443472 140724928426016 139890275258103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
/proc/11979/statm: 3787789 31746 3450 1 0 3748889 0
[pid=11979/tid=11980] ppid=11977 vsize=15151156 memory=2120 CPUtime=0.67 cores=1,3,5,7
/proc/11979/task/11980/stat : 11980 (java) R 11977 11977 7690 0 -1 4202560 8547 0 0 0 63 4 0 0 20 0 15 0 475494944 15514783744 31746 33554432000 4194304 4196468 140724928443472 139890279494672 139889911789019 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11981] ppid=11977 vsize=15151156 memory=532 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11981/stat : 11981 (java) S 11977 11977 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475494945 15514783744 31746 33554432000 4194304 4196468 140724928443472 139890240539408 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11982] ppid=11977 vsize=15151156 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11982/stat : 11982 (java) S 11977 11977 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475494945 15514783744 31746 33554432000 4194304 4196468 140724928443472 139889866550160 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11983] ppid=11977 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11983/stat : 11983 (java) S 11977 11977 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475494945 15514783744 31746 33554432000 4194304 4196468 140724928443472 139889865497616 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11984] ppid=11977 vsize=15151156 memory=1680 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11984/stat : 11984 (java) S 11977 11977 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475494945 15514783744 31746 33554432000 4194304 4196468 140724928443472 139889864445072 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11985] ppid=11977 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11985/stat : 11985 (java) S 11977 11977 7690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475494947 15514783744 31746 33554432000 4194304 4196468 140724928443472 139889743845360 139890275269250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11986] ppid=11977 vsize=15151156 memory=912 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11986/stat : 11986 (java) S 11977 11977 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475494947 15514783744 31746 33554432000 4194304 4196468 140724928443472 139889742791584 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11987] ppid=11977 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11987/stat : 11987 (java) S 11977 11977 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475494947 15514783744 31746 33554432000 4194304 4196468 140724928443472 139889741738992 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11988] ppid=11977 vsize=15151156 memory=7086240636095582563 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11988/stat : 11988 (java) S 11977 11977 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475494950 15514783744 31746 33554432000 4194304 4196468 140724928443472 139889740687568 139890275276699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11989] ppid=11977 vsize=15151156 memory=7453282923444726100 CPUtime=0.32 cores=1,3,5,7
/proc/11979/task/11989/stat : 11989 (java) S 11977 11977 7690 0 -1 1077944384 1361 0 0 0 32 0 0 0 20 0 15 0 475494950 15514783744 31746 33554432000 4194304 4196468 140724928443472 139889739635184 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11990] ppid=11977 vsize=15151156 memory=4639059877604708710 CPUtime=0.32 cores=1,3,5,7
/proc/11979/task/11990/stat : 11990 (java) S 11977 11977 7690 0 -1 1077944384 1302 0 0 0 32 0 0 0 20 0 15 0 475494950 15514783744 31746 33554432000 4194304 4196468 140724928443472 139889738582640 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11991] ppid=11977 vsize=15151156 memory=8514726395715219869 CPUtime=0.3 cores=1,3,5,7
/proc/11979/task/11991/stat : 11991 (java) S 11977 11977 7690 0 -1 1077944384 1664 0 0 0 30 0 0 0 20 0 15 0 475494950 15514783744 31746 33554432000 4194304 4196468 140724928443472 139889737530096 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11992] ppid=11977 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11992/stat : 11992 (java) S 11977 11977 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475494950 15514783744 31746 33554432000 4194304 4196468 140724928443472 139889736477792 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11993] ppid=11977 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11993/stat : 11993 (java) S 11977 11977 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475494950 15514783744 31746 33554432000 4194304 4196468 140724928443472 139889735424304 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 128436 KiB
[startup+1.50082 s]
/proc/loadavg: 8.65 8.48 8.24 9/235 11993
/proc/meminfo: memFree=15888012/32770624 swapFree=66986244/67108860
[pid=11977] ppid=11974 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11977/stat : 11977 (xcsp3-exec) S 11974 11977 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475494944 115843072 363 33554432000 4194304 5098028 140732612920464 140732612918568 139898216288892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38928384 140732612924282 140732612924525 140732612924525 140732612927434 0
/proc/11977/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/11979/stat : 11979 (java) S 11977 11977 7690 0 -1 1077944320 563748 0 0 0 247247 340 0 0 20 0 19 0 475494944 16062173184 638157 33554432000 4194304 4196468 140724928443472 140724928426016 139890275258103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
/proc/11979/statm: 3921429 638157 3555 1 0 3882529 0
[pid=11979/tid=11980] ppid=11977 vsize=15685716 memory=2552628 CPUtime=2.09 cores=1,3,5,7
/proc/11979/task/11980/stat : 11980 (java) S 11977 11977 7690 0 -1 1077944384 25443 0 0 0 198 11 0 0 20 0 19 0 475494944 16062173184 638157 33554432000 4194304 4196468 140724928443472 139890279498912 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11981] ppid=11977 vsize=15685716 memory=2552628 CPUtime=3.84 cores=1,3,5,7
/proc/11979/task/11981/stat : 11981 (java) S 11977 11977 7690 0 -1 1077944384 25734 0 0 0 316 68 0 0 20 0 19 0 475494945 16062173184 638157 33554432000 4194304 4196468 140724928443472 139890240539408 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11982] ppid=11977 vsize=15685716 memory=2714500 CPUtime=3.82 cores=1,3,5,7
/proc/11979/task/11982/stat : 11982 (java) S 11977 11977 7690 0 -1 1077944384 22023 0 0 0 317 65 0 0 20 0 19 0 475494945 16062173184 638157 33554432000 4194304 4196468 140724928443472 139889866550160 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11983] ppid=11977 vsize=15685716 memory=3092024 CPUtime=3.78 cores=1,3,5,7
/proc/11979/task/11983/stat : 11983 (java) S 11977 11977 7690 0 -1 1077944384 27075 0 0 0 313 65 0 0 20 0 19 0 475494945 16062173184 638157 33554432000 4194304 4196468 140724928443472 139889865497616 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11984] ppid=11977 vsize=15685716 memory=3160008 CPUtime=3.75 cores=1,3,5,7
/proc/11979/task/11984/stat : 11984 (java) S 11977 11977 7690 0 -1 1077944384 25832 0 0 0 310 65 0 0 20 0 19 0 475494945 16062173184 638157 33554432000 4194304 4196468 140724928443472 139889864445072 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11985] ppid=11977 vsize=15685716 memory=3159944 CPUtime=0.39 cores=1,3,5,7
/proc/11979/task/11985/stat : 11985 (java) S 11977 11977 7690 0 -1 1077944384 15329 0 0 0 36 3 0 0 20 0 19 0 475494947 16062173184 638157 33554432000 4194304 4196468 140724928443472 139889743845360 139890275269250 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11986] ppid=11977 vsize=15685716 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11986/stat : 11986 (java) S 11977 11977 7690 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 475494947 16062173184 638157 33554432000 4194304 4196468 140724928443472 139889742791648 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11987] ppid=11977 vsize=15685716 memory=3092024 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11987/stat : 11987 (java) S 11977 11977 7690 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 475494947 16062173184 638157 33554432000 4194304 4196468 140724928443472 139889741739008 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11988] ppid=11977 vsize=15685716 memory=2896148 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11988/stat : 11988 (java) S 11977 11977 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475494950 16062173184 638157 33554432000 4194304 4196468 140724928443472 139889740687568 139890275276699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11989] ppid=11977 vsize=15685716 memory=2833708 CPUtime=4.38 cores=1,3,5,7
/proc/11979/task/11989/stat : 11989 (java) S 11977 11977 7690 0 -1 1077944384 35682 0 0 0 435 3 0 0 20 0 19 0 475494950 16062173184 638157 33554432000 4194304 4196468 140724928443472 139889739635184 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11990] ppid=11977 vsize=15685716 memory=2604948 CPUtime=4.16 cores=1,3,5,7
/proc/11979/task/11990/stat : 11990 (java) S 11977 11977 7690 0 -1 1077944384 41150 0 0 0 414 2 0 0 20 0 19 0 475494950 16062173184 638157 33554432000 4194304 4196468 140724928443472 139889738582640 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11991] ppid=11977 vsize=15685716 memory=2552628 CPUtime=1.1 cores=1,3,5,7
/proc/11979/task/11991/stat : 11991 (java) S 11977 11977 7690 0 -1 1077944384 32270 0 0 0 106 4 0 0 20 0 19 0 475494950 16062173184 638157 33554432000 4194304 4196468 140724928443472 139889737530096 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11992] ppid=11977 vsize=15685716 memory=2552628 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11992/stat : 11992 (java) S 11977 11977 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475494950 16062173184 638157 33554432000 4194304 4196468 140724928443472 139889736477792 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11993] ppid=11977 vsize=15685716 memory=1452 CPUtime=0.27 cores=1,3,5,7
/proc/11979/task/11993/stat : 11993 (java) S 11977 11977 7690 0 -1 1077944384 6206 0 0 0 13 14 0 0 20 0 19 0 475494950 16062173184 638157 33554432000 4194304 4196468 140724928443472 139889735424304 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=13200] ppid=11977 vsize=15685716 memory=280018584452192 CPUtime=32.55 cores=1,3,5,7
/proc/11979/task/13200/stat : 13200 (java) R 11977 11977 7690 0 -1 4202560 1604 0 0 0 3255 0 0 0 20 0 19 0 475555913 16062173184 638157 33554432000 4194304 4196468 140724928443472 139889717791232 139889918733262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=13201] ppid=11977 vsize=15685716 memory=1452 CPUtime=32.08 cores=1,3,5,7
/proc/11979/task/13201/stat : 13201 (java) R 11977 11977 7690 0 -1 4202560 3232 0 0 0 3208 0 0 0 20 0 19 0 475555913 16062173184 638157 33554432000 4194304 4196468 140724928443472 139889716742384 139889917393384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=13202] ppid=11977 vsize=15685716 memory=2552628 CPUtime=32.44 cores=1,3,5,7
/proc/11979/task/13202/stat : 13202 (java) R 11977 11977 7690 0 -1 4202560 2655 0 0 0 3244 0 0 0 20 0 19 0 475555913 16062173184 638157 33554432000 4194304 4196468 140724928443472 139889723050280 139889918571762 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=13203] ppid=11977 vsize=15685716 memory=6791534058613427641 CPUtime=32.57 cores=1,3,5,7
/proc/11979/task/13203/stat : 13203 (java) R 11977 11977 7690 0 -1 4202560 1673 0 0 0 3257 0 0 0 20 0 19 0 475555913 16062173184 638157 33554432000 4194304 4196468 140724928443472 139889721995384 139889917393404 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
Current children cumulated CPU time: 2475.87 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 2554080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+653.701 s]
/proc/loadavg: 8.24 8.28 8.23 10/237 13209
/proc/meminfo: memFree=13911928/32770624 swapFree=66986244/67108860
[pid=11977] ppid=11974 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11977/stat : 11977 (xcsp3-exec) S 11974 11977 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475494944 115843072 363 33554432000 4194304 5098028 140732612920464 140732612918568 139898216288892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38928384 140732612924282 140732612924525 140732612924525 140732612927434 0
/proc/11977/statm: 28282 363 304 221 0 87 0
[pid=11979] ppid=11977 vsize=15685716 memory=2503244 CPUtime=2520.27 cores=1,3,5,7
/proc/11979/stat : 11979 (java) S 11977 11977 7690 0 -1 1077944320 569973 0 0 0 251686 341 0 0 20 0 19 0 475494944 16062173184 625811 33554432000 4194304 4196468 140724928443472 140724928426016 139890275258103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
/proc/11979/statm: 3921429 625811 3555 1 0 3882529 0
[pid=11979/tid=11980] ppid=11977 vsize=15685716 memory=2833708 CPUtime=2.09 cores=1,3,5,7
/proc/11979/task/11980/stat : 11980 (java) S 11977 11977 7690 0 -1 1077944384 25625 0 0 0 198 11 0 0 20 0 19 0 475494944 16062173184 625811 33554432000 4194304 4196468 140724928443472 139890279498912 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11981] ppid=11977 vsize=15685716 memory=2896148 CPUtime=3.84 cores=1,3,5,7
/proc/11979/task/11981/stat : 11981 (java) S 11977 11977 7690 0 -1 1077944384 26826 0 0 0 316 68 0 0 20 0 19 0 475494945 16062173184 625811 33554432000 4194304 4196468 140724928443472 139890240539408 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11982] ppid=11977 vsize=15685716 memory=3092024 CPUtime=3.83 cores=1,3,5,7
/proc/11979/task/11982/stat : 11982 (java) S 11977 11977 7690 0 -1 1077944384 22763 0 0 0 318 65 0 0 20 0 19 0 475494945 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889866550160 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11983] ppid=11977 vsize=15685716 memory=1452 CPUtime=3.79 cores=1,3,5,7
/proc/11979/task/11983/stat : 11983 (java) S 11977 11977 7690 0 -1 1077944384 27716 0 0 0 314 65 0 0 20 0 19 0 475494945 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889865497616 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11984] ppid=11977 vsize=15685716 memory=3159944 CPUtime=3.76 cores=1,3,5,7
/proc/11979/task/11984/stat : 11984 (java) S 11977 11977 7690 0 -1 1077944384 26272 0 0 0 311 65 0 0 20 0 19 0 475494945 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889864445072 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11985] ppid=11977 vsize=15685716 memory=3160008 CPUtime=0.39 cores=1,3,5,7
/proc/11979/task/11985/stat : 11985 (java) S 11977 11977 7690 0 -1 1077944384 15617 0 0 0 36 3 0 0 20 0 19 0 475494947 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889743845360 139890275269250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11986] ppid=11977 vsize=15685716 memory=3092024 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11986/stat : 11986 (java) S 11977 11977 7690 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 475494947 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889742791648 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11987] ppid=11977 vsize=15685716 memory=2714500 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11987/stat : 11987 (java) S 11977 11977 7690 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 475494947 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889741739008 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11988] ppid=11977 vsize=15685716 memory=2552628 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11988/stat : 11988 (java) S 11977 11977 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475494950 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889740687568 139890275276699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11989] ppid=11977 vsize=15685716 memory=2503384 CPUtime=4.38 cores=1,3,5,7
/proc/11979/task/11989/stat : 11989 (java) S 11977 11977 7690 0 -1 1077944384 35690 0 0 0 435 3 0 0 20 0 19 0 475494950 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889739635184 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11990] ppid=11977 vsize=15685716 memory=1452 CPUtime=4.16 cores=1,3,5,7
/proc/11979/task/11990/stat : 11990 (java) S 11977 11977 7690 0 -1 1077944384 41152 0 0 0 414 2 0 0 20 0 19 0 475494950 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889738582640 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11991] ppid=11977 vsize=15685716 memory=1452 CPUtime=1.1 cores=1,3,5,7
/proc/11979/task/11991/stat : 11991 (java) S 11977 11977 7690 0 -1 1077944384 32275 0 0 0 106 4 0 0 20 0 19 0 475494950 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889737530096 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11992] ppid=11977 vsize=15685716 memory=2503172 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11992/stat : 11992 (java) S 11977 11977 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475494950 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889736477792 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11993] ppid=11977 vsize=15685716 memory=1452 CPUtime=0.28 cores=1,3,5,7
/proc/11979/task/11993/stat : 11993 (java) S 11977 11977 7690 0 -1 1077944384 6228 0 0 0 14 14 0 0 20 0 19 0 475494950 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889735424304 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=13206] ppid=11977 vsize=15685716 memory=4104 CPUtime=1.11 cores=1,3,5,7
/proc/11979/task/13206/stat : 13206 (java) R 11977 11977 7690 0 -1 4202560 86 0 0 0 111 0 0 0 20 0 19 0 475560202 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889716743800 139889918567633 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=13207] ppid=11977 vsize=15685716 memory=2004 CPUtime=1.1 cores=1,3,5,7
/proc/11979/task/13207/stat : 13207 (java) R 11977 11977 7690 0 -1 4202560 24 0 0 0 110 0 0 0 20 0 19 0 475560202 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889722000744 139889920711349 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=13208] ppid=11977 vsize=15685716 memory=1416 CPUtime=1.11 cores=1,3,5,7
/proc/11979/task/13208/stat : 13208 (java) R 11977 11977 7690 0 -1 4202560 150 0 0 0 111 0 0 0 20 0 19 0 475560202 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889723055688 139889917393384 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=13209] ppid=11977 vsize=15685716 memory=1452 CPUtime=1.11 cores=1,3,5,7
/proc/11979/task/13209/stat : 13209 (java) R 11977 11977 7690 0 -1 4202560 13 0 0 0 111 0 0 0 20 0 19 0 475560202 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889717799624 139889917393384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
Current children cumulated CPU time: 2520.27 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 2504696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+653.735 s]
# the end of solver process 11977 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00215 s, system=0 s
[startup+653.789 s]
# the end of solver process 11979 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.15 s, system=3.425 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
[startup+653.701 s]
/proc/loadavg: 8.24 8.28 8.23 10/237 13209
/proc/meminfo: memFree=13911928/32770624 swapFree=66986244/67108860
[pid=11977] ppid=11974 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11977/stat : 11977 (xcsp3-exec) S 11974 11977 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475494944 115843072 363 33554432000 4194304 5098028 140732612920464 140732612918568 139898216288892 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 38928384 140732612924282 140732612924525 140732612924525 140732612927434 0
/proc/11977/statm: 28282 363 304 221 0 87 0
[pid=11979] ppid=11977 vsize=15685716 memory=2503244 CPUtime=2520.27 cores=1,3,5,7
/proc/11979/stat : 11979 (java) S 11977 11977 7690 0 -1 1077944320 569973 0 0 0 251686 341 0 0 20 0 19 0 475494944 16062173184 625811 33554432000 4194304 4196468 140724928443472 140724928426016 139890275258103 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
/proc/11979/statm: 3921429 625811 3555 1 0 3882529 0
[pid=11979/tid=11980] ppid=11977 vsize=15685716 memory=2833708 CPUtime=2.09 cores=1,3,5,7
/proc/11979/task/11980/stat : 11980 (java) S 11977 11977 7690 0 -1 1077944384 25625 0 0 0 198 11 0 0 20 0 19 0 475494944 16062173184 625811 33554432000 4194304 4196468 140724928443472 139890279498912 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11981] ppid=11977 vsize=15685716 memory=2896148 CPUtime=3.84 cores=1,3,5,7
/proc/11979/task/11981/stat : 11981 (java) S 11977 11977 7690 0 -1 1077944384 26826 0 0 0 316 68 0 0 20 0 19 0 475494945 16062173184 625811 33554432000 4194304 4196468 140724928443472 139890240539408 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11982] ppid=11977 vsize=15685716 memory=3092024 CPUtime=3.83 cores=1,3,5,7
/proc/11979/task/11982/stat : 11982 (java) S 11977 11977 7690 0 -1 1077944384 22763 0 0 0 318 65 0 0 20 0 19 0 475494945 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889866550160 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11983] ppid=11977 vsize=15685716 memory=1452 CPUtime=3.79 cores=1,3,5,7
/proc/11979/task/11983/stat : 11983 (java) S 11977 11977 7690 0 -1 1077944384 27716 0 0 0 314 65 0 0 20 0 19 0 475494945 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889865497616 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11984] ppid=11977 vsize=15685716 memory=3159944 CPUtime=3.76 cores=1,3,5,7
/proc/11979/task/11984/stat : 11984 (java) S 11977 11977 7690 0 -1 1077944384 26272 0 0 0 311 65 0 0 20 0 19 0 475494945 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889864445072 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11985] ppid=11977 vsize=15685716 memory=3160008 CPUtime=0.39 cores=1,3,5,7
/proc/11979/task/11985/stat : 11985 (java) S 11977 11977 7690 0 -1 1077944384 15617 0 0 0 36 3 0 0 20 0 19 0 475494947 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889743845360 139890275269250 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11986] ppid=11977 vsize=15685716 memory=3092024 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11986/stat : 11986 (java) S 11977 11977 7690 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 475494947 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889742791648 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11987] ppid=11977 vsize=15685716 memory=2714500 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11987/stat : 11987 (java) S 11977 11977 7690 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 475494947 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889741739008 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11988] ppid=11977 vsize=15685716 memory=2552628 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11988/stat : 11988 (java) S 11977 11977 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475494950 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889740687568 139890275276699 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11989] ppid=11977 vsize=15685716 memory=2503384 CPUtime=4.38 cores=1,3,5,7
/proc/11979/task/11989/stat : 11989 (java) S 11977 11977 7690 0 -1 1077944384 35690 0 0 0 435 3 0 0 20 0 19 0 475494950 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889739635184 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11990] ppid=11977 vsize=15685716 memory=1452 CPUtime=4.16 cores=1,3,5,7
/proc/11979/task/11990/stat : 11990 (java) S 11977 11977 7690 0 -1 1077944384 41152 0 0 0 414 2 0 0 20 0 19 0 475494950 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889738582640 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11991] ppid=11977 vsize=15685716 memory=1452 CPUtime=1.1 cores=1,3,5,7
/proc/11979/task/11991/stat : 11991 (java) S 11977 11977 7690 0 -1 1077944384 32275 0 0 0 106 4 0 0 20 0 19 0 475494950 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889737530096 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11992] ppid=11977 vsize=15685716 memory=2503172 CPUtime=0 cores=1,3,5,7
/proc/11979/task/11992/stat : 11992 (java) S 11977 11977 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475494950 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889736477792 139890275268309 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=11993] ppid=11977 vsize=15685716 memory=1452 CPUtime=0.28 cores=1,3,5,7
/proc/11979/task/11993/stat : 11993 (java) S 11977 11977 7690 0 -1 1077944384 6228 0 0 0 14 14 0 0 20 0 19 0 475494950 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889735424304 139890275269250 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 19 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=13206] ppid=11977 vsize=15685716 memory=4104 CPUtime=1.11 cores=1,3,5,7
/proc/11979/task/13206/stat : 13206 (java) R 11977 11977 7690 0 -1 4202560 86 0 0 0 111 0 0 0 20 0 19 0 475560202 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889716743800 139889918567633 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=13207] ppid=11977 vsize=15685716 memory=2004 CPUtime=1.1 cores=1,3,5,7
/proc/11979/task/13207/stat : 13207 (java) R 11977 11977 7690 0 -1 4202560 24 0 0 0 110 0 0 0 20 0 19 0 475560202 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889722000744 139889920711349 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=13208] ppid=11977 vsize=15685716 memory=1416 CPUtime=1.11 cores=1,3,5,7
/proc/11979/task/13208/stat : 13208 (java) R 11977 11977 7690 0 -1 4202560 150 0 0 0 111 0 0 0 20 0 19 0 475560202 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889723055688 139889917393384 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
[pid=11979/tid=13209] ppid=11977 vsize=15685716 memory=1452 CPUtime=1.11 cores=1,3,5,7
/proc/11979/task/13209/stat : 13209 (java) R 11977 11977 7690 0 -1 4202560 13 0 0 0 111 0 0 0 20 0 19 0 475560202 16062173184 625811 33554432000 4194304 4196468 140724928443472 139889717799624 139889917393384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140724928451567 140724928451738 140724928451738 140724928454607 0
Current children cumulated CPU time: 2520.27 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 2504696 KiB
Child status: 143
Real time (s): 653.789
CPU time (s): 2520.58
CPU user time (s): 2517.15
CPU system time (s): 3.425
CPU usage (%): 385.533
Max. virtual memory (cumulated for all children) (KiB): 15798844
Max. memory (cumulated for all children) (KiB): 3324340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.15
system time used= 3.425
maximum resident set size= 3322928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 570966
page faults= 0
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25954
involuntary context switches= 41767
# summary of solver processes directly reported to runsolver:
# pid: 11977,11979
# total CPU time (s): 2520.58
# total CPU user time (s): 2517.15
# total CPU system time (s): 3.425
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.13701 second user time and 7.62482 second system time
The end
Begin job on node104 at 2019-09-20 16:02:40 IDJOB=4403874 IDBENCH=135802 IDSOLVER=2863 FILE ID=node104/4403874-1568992381 RUNJOBID= node104-1568983762-7722 PBS_JOBID= 21704640 Free space on /tmp= 9560 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 /tmp/evaluation-result-4403874-1568992381/watcher-4403874-1568992381 -o /tmp/evaluation-result-4403874-1568992381/solver-4403874-1568992381 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568983762-7722 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1782193200 HOME/instance-4403874-1568992381.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d698eba466bb4d42bacc008ef87467ee RANDOM SEED=1782193200 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 16276552 kB MemAvailable: 31418328 kB Buffers: 95168 kB Cached: 14947628 kB SwapCached: 22652 kB Active: 7902628 kB Inactive: 7577036 kB Active(anon): 411480 kB Inactive(anon): 74632 kB Active(file): 7491148 kB Inactive(file): 7502404 kB Unevictable: 109712 kB Mlocked: 109712 kB SwapTotal: 67108860 kB SwapFree: 66986244 kB Dirty: 26048 kB Writeback: 0 kB AnonPages: 525056 kB Mapped: 65408 kB Shmem: 40708 kB Slab: 607400 kB SReclaimable: 576684 kB SUnreclaim: 30716 kB KernelStack: 3808 kB PageTables: 6724 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1340952 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 428032 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 9780 MiB End job on node104 at 2019-09-20 16:13:34