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-16 | SAT (TO) | 1240 | 2520.58 | 646.59 |
| 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-4399374-1568699004.xml" -tl '2520s' -p 4 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4399374-1568699004.xml, -tl, 2520s, -p, 4] 0.34/0.22 c 4 solvers in parallel 0.34/0.28 c parse instance... 10.16/4.02 c solve instance... 14.05/5.08 o 3814 14.42/5.14 o 2604 15.38/5.41 o 2588 15.38/5.42 o 2562 17.09/6.27 o 2546 17.09/6.28 o 2543 17.26/6.34 o 2524 17.26/6.34 o 2521 17.50/6.41 o 2520 17.50/6.48 o 2518 17.73/6.53 o 2516 17.73/6.54 o 2513 17.73/6.55 o 2502 17.73/6.56 o 2494 17.73/6.56 o 2491 17.73/6.58 o 2488 17.73/6.58 o 2485 18.01/6.65 o 2483 18.13/6.74 o 2480 18.13/6.74 o 2477 18.13/6.74 o 2475 18.28/6.83 o 2474 18.28/6.84 o 2471 18.28/6.84 o 2469 43.95/13.46 o 2467 67.64/19.83 o 2465 73.61/21.40 o 2464 78.45/22.92 o 2463 84.72/24.55 o 2462 85.38/24.78 o 2461 100.32/28.58 o 2460 106.08/30.02 o 2458 106.80/30.23 o 2457 109.36/31.12 o 2456 109.69/31.25 o 2455 218.73/58.63 o 2042 218.73/58.63 o 2035 218.73/58.64 o 2014 221.93/59.92 o 1999 221.93/59.92 o 1995 221.93/59.93 o 1992 221.93/60.01 o 1977 222.27/60.10 o 1968 223.41/60.37 o 1956 227.63/61.89 o 1925 227.75/61.90 o 1922 227.75/61.91 o 1921 227.75/61.91 o 1915 227.75/61.92 o 1911 227.75/61.93 o 1910 227.75/61.93 o 1906 227.75/61.94 o 1905 227.75/61.95 o 1897 230.84/62.73 o 1889 230.84/62.76 o 1888 231.62/62.90 o 1883 231.62/62.92 o 1872 233.18/63.33 o 1871 235.65/64.45 o 1870 235.65/64.48 o 1867 238.64/65.23 o 1861 238.64/65.24 o 1859 238.64/65.26 o 1857 239.01/65.32 o 1856 239.01/65.34 o 1853 239.38/65.46 o 1841 246.69/67.32 o 1839 246.69/67.38 o 1834 246.69/67.39 o 1832 247.01/67.41 o 1824 252.55/68.80 o 1810 252.55/68.81 o 1806 252.55/68.81 o 1804 252.55/68.82 o 1802 252.55/68.83 o 1794 252.55/68.84 o 1793 252.55/68.87 o 1791 252.90/68.94 o 1790 252.90/68.95 o 1788 257.70/70.17 o 1782 258.44/70.34 o 1781 263.60/71.67 o 1775 263.60/71.68 o 1771 268.74/72.92 o 1760 268.74/72.95 o 1758 269.55/73.16 o 1752 270.32/73.34 o 1750 306.51/82.46 o 1747 306.51/82.49 o 1745 309.69/83.24 o 1727 312.68/84.27 o 1718 312.68/84.28 o 1717 312.68/84.30 o 1715 312.87/84.34 o 1714 313.25/84.46 o 1699 317.23/85.42 o 1686 317.23/85.42 o 1683 317.23/85.43 o 1681 317.23/85.44 o 1678 319.61/86.09 o 1662 319.61/86.10 o 1650 323.18/87.34 o 1649 328.63/88.74 o 1647 329.43/89.00 o 1635 342.94/92.34 o 1632 347.72/93.53 o 1629 351.68/94.53 o 1627 351.68/94.56 o 1624 353.68/95.10 o 1610 356.82/95.80 o 1609 360.78/96.89 o 1605 361.74/97.13 o 1603 364.50/97.87 o 1591 364.90/97.98 o 1588 365.29/98.01 o 1580 365.29/98.02 o 1568 366.83/98.42 o 1567 370.00/99.25 o 1566 373.11/100.36 o 1564 386.61/103.97 o 1552 388.00/104.37 o 1551 438.14/116.98 o 1547 438.14/116.98 o 1540 438.14/116.99 o 1537 450.19/120.36 o 1536 450.39/120.40 o 1533 457.18/122.12 o 1532 474.64/126.55 o 1529 477.53/127.42 o 1525 485.41/129.47 o 1523 485.41/129.49 o 1522 486.12/129.67 o 1521 486.97/130.42 o 1519 489.30/131.01 o 1510 489.30/131.10 o 1507 492.46/131.82 o 1506 493.67/132.12 o 1501 493.67/132.17 o 1500 511.46/136.89 o 1499 513.97/137.57 o 1496 525.93/140.51 o 1495 532.64/142.21 o 1494 532.64/142.24 o 1492 540.58/144.28 o 1484 542.97/144.88 o 1480 546.15/145.60 o 1469 561.27/149.41 o 1468 562.86/149.87 o 1467 568.32/151.46 o 1466 568.51/151.50 o 1465 568.89/151.68 o 1462 568.89/151.69 o 1461 578.02/153.94 o 1459 618.64/164.13 o 1458 630.93/167.22 o 1455 657.18/173.87 o 1452 842.25/220.35 o 1451 847.78/222.14 o 1450 889.91/232.89 o 1447 892.41/233.58 o 1443 892.81/233.68 o 1442 907.09/237.26 o 1441 907.09/237.27 o 1439 907.09/237.27 o 1437 913.84/238.97 o 1434 945.67/246.96 o 1432 945.67/246.96 o 1427 947.23/247.32 o 1426 985.85/257.06 o 1423 1007.45/262.72 o 1420 1010.57/263.54 o 1419 1010.57/263.57 o 1414 1033.16/269.75 o 1407 1107.04/288.40 o 1404 1107.40/288.48 o 1402 1114.94/290.35 o 1397 1115.28/290.41 o 1395 1117.65/291.09 o 1394 1130.07/294.56 o 1393 1130.07/294.59 o 1391 1130.19/294.60 o 1387 1186.29/308.70 o 1381 1213.74/315.65 o 1380 1217.85/316.89 o 1375 1217.99/316.91 o 1373 1224.33/318.50 o 1372 1246.65/324.18 o 1366 1266.14/329.10 o 1360 1267.29/329.33 o 1359 1270.10/330.02 o 1356 1282.78/333.24 o 1343 1283.95/333.59 o 1330 1297.34/337.00 o 1324 1410.77/365.51 o 1322 1415.50/366.73 o 1320 1580.30/408.12 o 1317 1794.89/462.57 o 1316 1798.23/463.41 o 1302 1798.23/463.43 o 1301 1801.03/464.18 o 1300 1805.36/465.25 o 1299 1815.30/467.74 o 1298 1815.30/467.75 o 1297 1863.43/479.81 o 1295 1886.89/485.96 o 1294 1893.06/487.54 o 1293 1896.23/488.39 o 1287 1906.19/490.81 o 1286 1915.73/493.22 o 1283 1926.89/496.09 o 1282 1929.24/496.63 o 1281 1945.25/500.78 o 1279 2078.00/534.13 o 1277 2092.29/537.74 o 1276 2115.76/543.62 o 1275 2130.86/547.43 o 1274 2135.21/548.50 o 1273 2150.32/552.32 o 1271 2229.19/572.12 o 1265 2253.77/578.37 o 1263 2254.15/578.45 o 1261 2266.45/581.92 o 1259 2266.45/581.96 o 1258 2280.69/585.57 o 1257 2280.69/585.59 o 1255 2281.47/585.77 o 1253 2281.84/585.81 o 1250 2291.36/588.21 o 1249 2293.34/588.74 o 1247 2296.49/589.58 o 1246 2296.49/589.59 o 1245 2296.88/589.61 o 1244 2468.60/632.97 o 1242 2497.64/640.81 o 1241 2499.17/641.25 o 1240 2520.26/646.57 s SATISFIABLE 2520.26/646.57 v <instantiation> 2520.26/646.57 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.26/646.57 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 40 1 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 19 7 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 20 55 48 44 41 35 36 66 42 60 58 65 63 80 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 19 11 13 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 3 4 4 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 6 12 3 1 10 2 1 11 27 10 1 3 18 13 7 1 </values> 2520.26/646.57 v </instantiation> 2520.26/646.57 c Unexpected resolution interruption!
OK 1240
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 (14799 MiB free)
memory of node 1: 16384 MiB (15584 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399374-1568699004/watcher-4399374-1568699004 -o /tmp/evaluation-result-4399374-1568699004/solver-4399374-1568699004 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568698598-24720 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1988247511 HOME/instance-4399374-1568699004.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
solver pid=24965, runsolver pid=24962
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 8.47 6.27 3.57 8/235 24981
/proc/meminfo: memFree=31096388/32770624 swapFree=66938236/67108860
[pid=24965] ppid=24962 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24965/stat : 24965 (xcsp3-exec) S 24962 24965 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446171766 115843072 363 33554432000 4194304 5098028 140735238284608 140735238282712 140118010749564 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25530368 140735238288250 140735238288493 140735238288493 140735238291402 0
/proc/24965/statm: 28282 363 304 221 0 87 0
[pid=24967] ppid=24965 vsize=15144776 memory=29296 CPUtime=0.13 cores=1,3,5,7
/proc/24967/stat : 24967 (java) S 24965 24965 24688 0 -1 1077944320 5713 0 0 0 12 1 0 0 20 0 15 0 446171766 15508250624 7324 33554432000 4194304 4196468 140722183409760 140722183392304 139742644571895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
/proc/24967/statm: 3786194 7324 3167 1 0 3748377 0
[pid=24967/tid=24968] ppid=24965 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/24967/task/24968/stat : 24968 (java) R 24965 24965 24688 0 -1 4202560 3565 0 0 0 8 1 0 0 20 0 15 0 446171766 15508250624 7324 33554432000 4194304 4196468 140722183409760 139742648794592 139742644583830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24969] ppid=24965 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24969/stat : 24969 (java) S 24965 24965 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446171767 15508250624 7324 33554432000 4194304 4196468 140722183409760 139742601124112 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24970] ppid=24965 vsize=15144776 memory=140627113023104 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24970/stat : 24970 (java) S 24965 24965 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446171767 15508250624 7324 33554432000 4194304 4196468 140722183409760 139742235777424 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24971] ppid=24965 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24971/stat : 24971 (java) S 24965 24965 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446171767 15508250624 7324 33554432000 4194304 4196468 140722183409760 139742234724880 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24972] ppid=24965 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24972/stat : 24972 (java) S 24965 24965 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446171767 15508250624 7324 33554432000 4194304 4196468 140722183409760 139742233672336 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24973] ppid=24965 vsize=15144776 memory=140627113023104 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24973/stat : 24973 (java) S 24965 24965 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446171768 15508250624 7324 33554432000 4194304 4196468 140722183409760 139742113004016 139742644583042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24974] ppid=24965 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24974/stat : 24974 (java) S 24965 24965 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446171769 15508250624 7324 33554432000 4194304 4196468 140722183409760 139742111950240 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24975] ppid=24965 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24975/stat : 24975 (java) S 24965 24965 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446171769 15508250624 7324 33554432000 4194304 4196468 140722183409760 139742110897648 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24976] ppid=24965 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24976/stat : 24976 (java) S 24965 24965 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446171771 15508250624 7324 33554432000 4194304 4196468 140722183409760 139742109846224 139742644590491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24977] ppid=24965 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24977/stat : 24977 (java) R 24965 24965 24688 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 15 0 446171771 15508250624 7324 33554432000 4194304 4196468 140722183409760 139742108792816 139742644583042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24978] ppid=24965 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24978/stat : 24978 (java) R 24965 24965 24688 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 15 0 446171771 15508250624 7324 33554432000 4194304 4196468 140722183409760 139742107740368 139742644593242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24979] ppid=24965 vsize=15144776 memory=140627113023104 CPUtime=0.02 cores=1,3,5,7
/proc/24967/task/24979/stat : 24979 (java) R 24965 24965 24688 0 -1 4202560 396 0 0 0 2 0 0 0 20 0 15 0 446171771 15508250624 7324 33554432000 4194304 4196468 140722183409760 139742106687728 139742644583830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24980] ppid=24965 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24980/stat : 24980 (java) S 24965 24965 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446171771 15508250624 7324 33554432000 4194304 4196468 140722183409760 139742105635424 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24981] ppid=24965 vsize=15144776 memory=140627113023104 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24981/stat : 24981 (java) S 24965 24965 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446171772 15508250624 7324 33554432000 4194304 4196468 140722183409760 139742104582960 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30748 KiB
[startup+0.210993 s]*
/proc/loadavg: 8.47 6.27 3.57 8/235 24981
/proc/meminfo: memFree=31083016/32770624 swapFree=66938236/67108860
[pid=24965] ppid=24962 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24965/stat : 24965 (xcsp3-exec) S 24962 24965 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446171766 115843072 363 33554432000 4194304 5098028 140735238284608 140735238282712 140118010749564 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25530368 140735238288250 140735238288493 140735238288493 140735238291402 0
/proc/24965/statm: 28282 363 304 221 0 87 0
[pid=24967] ppid=24965 vsize=15144776 memory=41108 CPUtime=0.34 cores=1,3,5,7
/proc/24967/stat : 24967 (java) S 24965 24965 24688 0 -1 1077944320 9474 0 0 0 31 3 0 0 20 0 15 0 446171766 15508250624 10277 33554432000 4194304 4196468 140722183409760 140722183392304 139742644571895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
/proc/24967/statm: 3786194 10277 3307 1 0 3748377 0
[pid=24967/tid=24968] ppid=24965 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/24967/task/24968/stat : 24968 (java) R 24965 24965 24688 0 -1 4202560 6609 0 0 0 18 2 0 0 20 0 15 0 446171766 15508250624 10277 33554432000 4194304 4196468 140722183409760 139742648806880 139742628652382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24969] ppid=24965 vsize=15144776 memory=2964504 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24969/stat : 24969 (java) S 24965 24965 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446171767 15508250624 10277 33554432000 4194304 4196468 140722183409760 139742601124112 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24970] ppid=24965 vsize=15144776 memory=140627113047567 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24970/stat : 24970 (java) S 24965 24965 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446171767 15508250624 10277 33554432000 4194304 4196468 140722183409760 139742235777424 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24971] ppid=24965 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24971/stat : 24971 (java) S 24965 24965 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446171767 15508250624 10277 33554432000 4194304 4196468 140722183409760 139742234724880 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24972] ppid=24965 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24972/stat : 24972 (java) S 24965 24965 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446171767 15508250624 10277 33554432000 4194304 4196468 140722183409760 139742233672336 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24973] ppid=24965 vsize=15144776 memory=140627113023104 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24973/stat : 24973 (java) S 24965 24965 24688 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446171768 15508250624 10277 33554432000 4194304 4196468 140722183409760 139742113004016 139742644583042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24974] ppid=24965 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24974/stat : 24974 (java) S 24965 24965 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446171769 15508250624 10277 33554432000 4194304 4196468 140722183409760 139742111950240 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24975] ppid=24965 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24975/stat : 24975 (java) S 24965 24965 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446171769 15508250624 10277 33554432000 4194304 4196468 140722183409760 139742110897648 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24976] ppid=24965 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24976/stat : 24976 (java) S 24965 24965 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446171771 15508250624 10277 33554432000 4194304 4196468 140722183409760 139742109846224 139742644590491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24977] ppid=24965 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24967/task/24977/stat : 24977 (java) S 24965 24965 24688 0 -1 1077944384 539 0 0 0 2 0 0 0 20 0 15 0 446171771 15508250624 10277 33554432000 4194304 4196468 140722183409760 139742108792816 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24978] ppid=24965 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24967/task/24978/stat : 24978 (java) S 24965 24965 24688 0 -1 1077944384 216 0 0 0 2 0 0 0 20 0 15 0 446171771 15508250624 10277 33554432000 4194304 4196468 140722183409760 139742107740272 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24979] ppid=24965 vsize=15144776 memory=140627113023104 CPUtime=0.08 cores=1,3,5,7
/proc/24967/task/24979/stat : 24979 (java) S 24965 24965 24688 0 -1 1077944384 806 0 0 0 8 0 0 0 20 0 15 0 446171771 15508250624 10277 33554432000 4194304 4196468 140722183409760 139742106687728 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24980] ppid=24965 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24980/stat : 24980 (java) S 24965 24965 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446171771 15508250624 10277 33554432000 4194304 4196468 140722183409760 139742105635424 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24981] ppid=24965 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24981/stat : 24981 (java) S 24965 24965 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446171772 15508250624 10277 33554432000 4194304 4196468 140722183409760 139742104582960 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42560 KiB
[startup+0.315134 s]*
/proc/loadavg: 8.47 6.27 3.57 7/235 24981
/proc/meminfo: memFree=31076352/32770624 swapFree=66938236/67108860
[pid=24965] ppid=24962 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24965/stat : 24965 (xcsp3-exec) S 24962 24965 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446171766 115843072 363 33554432000 4194304 5098028 140735238284608 140735238282712 140118010749564 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25530368 140735238288250 140735238288493 140735238288493 140735238291402 0
/proc/24965/statm: 28282 363 304 221 0 87 0
[pid=24967] ppid=24965 vsize=15149032 memory=50660 CPUtime=0.54 cores=1,3,5,7
/proc/24967/stat : 24967 (java) S 24965 24965 24688 0 -1 1077944320 10974 0 0 0 50 4 0 0 20 0 15 0 446171766 15512608768 12665 33554432000 4194304 4196468 140722183409760 140722183392304 139742644571895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
/proc/24967/statm: 3787258 12665 3347 1 0 3748377 0
[pid=24967/tid=24968] ppid=24965 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/24967/task/24968/stat : 24968 (java) R 24965 24965 24688 0 -1 4202560 7853 0 0 0 27 3 0 0 20 0 15 0 446171766 15512608768 12665 33554432000 4194304 4196468 140722183409760 139742648803008 139742626148615 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24969] ppid=24965 vsize=15149032 memory=2964848 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24969/stat : 24969 (java) S 24965 24965 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446171767 15512608768 12665 33554432000 4194304 4196468 140722183409760 139742601124112 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24970] ppid=24965 vsize=15149032 memory=4049356400856683961 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24970/stat : 24970 (java) S 24965 24965 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446171767 15512608768 12665 33554432000 4194304 4196468 140722183409760 139742235777424 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24971] ppid=24965 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24971/stat : 24971 (java) S 24965 24965 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446171767 15512608768 12665 33554432000 4194304 4196468 140722183409760 139742234724880 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24972] ppid=24965 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24972/stat : 24972 (java) S 24965 24965 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446171767 15512608768 12665 33554432000 4194304 4196468 140722183409760 139742233672336 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24973] ppid=24965 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24973/stat : 24973 (java) S 24965 24965 24688 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446171768 15512608768 12665 33554432000 4194304 4196468 140722183409760 139742113004016 139742644583042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24974] ppid=24965 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24974/stat : 24974 (java) S 24965 24965 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446171769 15512608768 12665 33554432000 4194304 4196468 140722183409760 139742111950240 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24975] ppid=24965 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24975/stat : 24975 (java) S 24965 24965 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446171769 15512608768 12665 33554432000 4194304 4196468 140722183409760 139742110897648 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24976] ppid=24965 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24976/stat : 24976 (java) S 24965 24965 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446171771 15512608768 12665 33554432000 4194304 4196468 140722183409760 139742109846224 139742644590491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24977] ppid=24965 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/24967/task/24977/stat : 24977 (java) R 24965 24965 24688 0 -1 1077944384 676 0 0 0 6 0 0 0 20 0 15 0 446171771 15512608768 12665 33554432000 4194304 4196468 140722183409760 139742108792816 139742644583042 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24978] ppid=24965 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24967/task/24978/stat : 24978 (java) S 24965 24965 24688 0 -1 1077944384 246 0 0 0 3 0 0 0 20 0 15 0 446171771 15512608768 12665 33554432000 4194304 4196468 140722183409760 139742107740272 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24979] ppid=24965 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24967/task/24979/stat : 24979 (java) R 24965 24965 24688 0 -1 4202560 893 0 0 0 12 0 0 0 20 0 15 0 446171771 15512608768 12665 33554432000 4194304 4196468 140722183409760 139742106687728 139742644583830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24980] ppid=24965 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24980/stat : 24980 (java) S 24965 24965 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446171771 15512608768 12665 33554432000 4194304 4196468 140722183409760 139742105635424 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24981] ppid=24965 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24981/stat : 24981 (java) S 24965 24965 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446171772 15512608768 12665 33554432000 4194304 4196468 140722183409760 139742104582960 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52112 KiB
[startup+0.701153 s]
/proc/loadavg: 8.47 6.27 3.57 8/235 24981
/proc/meminfo: memFree=31045012/32770624 swapFree=66938236/67108860
[pid=24965] ppid=24962 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24965/stat : 24965 (xcsp3-exec) S 24962 24965 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446171766 115843072 363 33554432000 4194304 5098028 140735238284608 140735238282712 140118010749564 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25530368 140735238288250 140735238288493 140735238288493 140735238291402 0
/proc/24965/statm: 28282 363 304 221 0 87 0
[pid=24967] ppid=24965 vsize=15151156 memory=136008 CPUtime=1.63 cores=1,3,5,7
/proc/24967/stat : 24967 (java) S 24965 24965 24688 0 -1 1077944320 14890 0 0 0 156 7 0 0 20 0 15 0 446171766 15514783744 34002 33554432000 4194304 4196468 140722183409760 140722183392304 139742644571895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
/proc/24967/statm: 3787789 34002 3449 1 0 3748889 0
[pid=24967/tid=24968] ppid=24965 vsize=15151156 memory=12024 CPUtime=0.68 cores=1,3,5,7
/proc/24967/task/24968/stat : 24968 (java) R 24965 24965 24688 0 -1 4202560 9009 0 0 0 63 5 0 0 20 0 15 0 446171766 15514783744 34002 33554432000 4194304 4196468 140722183409760 139742648809400 139742284365343 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24969] ppid=24965 vsize=15151156 memory=504 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24969/stat : 24969 (java) S 24965 24965 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446171767 15514783744 34002 33554432000 4194304 4196468 140722183409760 139742601124112 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24970] ppid=24965 vsize=15151156 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24970/stat : 24970 (java) S 24965 24965 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446171767 15514783744 34002 33554432000 4194304 4196468 140722183409760 139742235777424 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24971] ppid=24965 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24971/stat : 24971 (java) S 24965 24965 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446171767 15514783744 34002 33554432000 4194304 4196468 140722183409760 139742234724880 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24972] ppid=24965 vsize=15151156 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24972/stat : 24972 (java) S 24965 24965 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446171767 15514783744 34002 33554432000 4194304 4196468 140722183409760 139742233672336 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24973] ppid=24965 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24973/stat : 24973 (java) S 24965 24965 24688 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446171768 15514783744 34002 33554432000 4194304 4196468 140722183409760 139742113004016 139742644583042 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24974] ppid=24965 vsize=15151156 memory=2532 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24974/stat : 24974 (java) S 24965 24965 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446171769 15514783744 34002 33554432000 4194304 4196468 140722183409760 139742111950240 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24975] ppid=24965 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24975/stat : 24975 (java) S 24965 24965 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446171769 15514783744 34002 33554432000 4194304 4196468 140722183409760 139742110897648 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24976] ppid=24965 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24976/stat : 24976 (java) S 24965 24965 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446171771 15514783744 34002 33554432000 4194304 4196468 140722183409760 139742109846224 139742644590491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24977] ppid=24965 vsize=15151156 memory=1772 CPUtime=0.32 cores=1,3,5,7
/proc/24967/task/24977/stat : 24977 (java) S 24965 24965 24688 0 -1 1077944384 1553 0 0 0 32 0 0 0 20 0 15 0 446171771 15514783744 34002 33554432000 4194304 4196468 140722183409760 139742108792816 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24978] ppid=24965 vsize=15151156 memory=111632 CPUtime=0.29 cores=1,3,5,7
/proc/24967/task/24978/stat : 24978 (java) S 24965 24965 24688 0 -1 1077944384 1279 0 0 0 29 0 0 0 20 0 15 0 446171771 15514783744 34002 33554432000 4194304 4196468 140722183409760 139742107740272 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24979] ppid=24965 vsize=15151156 memory=804 CPUtime=0.3 cores=1,3,5,7
/proc/24967/task/24979/stat : 24979 (java) R 24965 24965 24688 0 -1 4202560 1743 0 0 0 30 0 0 0 20 0 15 0 446171771 15514783744 34002 33554432000 4194304 4196468 140722183409760 139742106687728 139742636809022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24980] ppid=24965 vsize=15151156 memory=1768 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24980/stat : 24980 (java) S 24965 24965 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446171771 15514783744 34002 33554432000 4194304 4196468 140722183409760 139742105635424 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24981] ppid=24965 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24981/stat : 24981 (java) S 24965 24965 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446171772 15514783744 34002 33554432000 4194304 4196468 140722183409760 139742104582960 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 137460 KiB
[startup+1.50081 s]
/proc/loadavg: 8.47 6.27 3.57 9/235 24981
/proc/meminfo: memFree=30756748/32770624 swapFree=66938236/67108860
[pid=24965] ppid=24962 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24965/stat : 24965 (xcsp3-exec) S 24962 24965 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446171766 115843072 363 33554432000 4194304 5098028 140735238284608 140735238282712 140118010749564 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25530368 140735238288250 140735238288493 140735238288493 140735238291402 0
/proc/24965/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/24967/stat : 24967 (java) S 24965 24965 24688 0 -1 1077944320 2029144 0 0 0 249891 464 0 0 20 0 19 0 446171766 16130334720 694913 33554432000 4194304 4196468 140722183409760 140722183392304 139742644571895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
/proc/24967/statm: 3938070 694913 3550 1 0 3899170 0
[pid=24967/tid=24968] ppid=24965 vsize=15752280 memory=2779644 CPUtime=2.29 cores=1,3,5,7
/proc/24967/task/24968/stat : 24968 (java) S 24965 24965 24688 0 -1 1077944384 28166 0 0 0 218 11 0 0 20 0 19 0 446171766 16130334720 694913 33554432000 4194304 4196468 140722183409760 139742648812704 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24969] ppid=24965 vsize=15752280 memory=2977660 CPUtime=3.69 cores=1,3,5,7
/proc/24967/task/24969/stat : 24969 (java) S 24965 24965 24688 0 -1 1077944384 42541 0 0 0 297 72 0 0 20 0 19 0 446171767 16130334720 694913 33554432000 4194304 4196468 140722183409760 139742601124112 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24970] ppid=24965 vsize=15752280 memory=1452 CPUtime=3.72 cores=1,3,5,7
/proc/24967/task/24970/stat : 24970 (java) S 24965 24965 24688 0 -1 1077944384 39897 0 0 0 296 76 0 0 20 0 19 0 446171767 16130334720 694913 33554432000 4194304 4196468 140722183409760 139742235777424 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24971] ppid=24965 vsize=15752280 memory=3049460 CPUtime=3.73 cores=1,3,5,7
/proc/24967/task/24971/stat : 24971 (java) S 24965 24965 24688 0 -1 1077944384 41957 0 0 0 299 74 0 0 20 0 19 0 446171767 16130334720 694913 33554432000 4194304 4196468 140722183409760 139742234724880 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24972] ppid=24965 vsize=15752280 memory=1452 CPUtime=3.74 cores=1,3,5,7
/proc/24967/task/24972/stat : 24972 (java) S 24965 24965 24688 0 -1 1077944384 51478 0 0 0 299 75 0 0 20 0 19 0 446171767 16130334720 694913 33554432000 4194304 4196468 140722183409760 139742233672336 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24973] ppid=24965 vsize=15752280 memory=3049664 CPUtime=0.42 cores=1,3,5,7
/proc/24967/task/24973/stat : 24973 (java) S 24965 24965 24688 0 -1 1077944384 15472 0 0 0 39 3 0 0 20 0 19 0 446171768 16130334720 694913 33554432000 4194304 4196468 140722183409760 139742113004016 139742644583042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24974] ppid=24965 vsize=15752280 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24974/stat : 24974 (java) S 24965 24965 24688 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 446171769 16130334720 694913 33554432000 4194304 4196468 140722183409760 139742111950304 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24975] ppid=24965 vsize=15752280 memory=2908548 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24975/stat : 24975 (java) S 24965 24965 24688 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 19 0 446171769 16130334720 694913 33554432000 4194304 4196468 140722183409760 139742110897664 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24976] ppid=24965 vsize=15752280 memory=2908608 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24976/stat : 24976 (java) S 24965 24965 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446171771 16130334720 694913 33554432000 4194304 4196468 140722183409760 139742109846224 139742644590491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24977] ppid=24965 vsize=15752280 memory=2841408 CPUtime=3.66 cores=1,3,5,7
/proc/24967/task/24977/stat : 24977 (java) S 24965 24965 24688 0 -1 1077944384 35387 0 0 0 364 2 0 0 20 0 19 0 446171771 16130334720 694913 33554432000 4194304 4196468 140722183409760 139742108792816 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24978] ppid=24965 vsize=15752280 memory=2779712 CPUtime=4.25 cores=1,3,5,7
/proc/24967/task/24978/stat : 24978 (java) S 24965 24965 24688 0 -1 1077944384 31127 0 0 0 422 3 0 0 20 0 19 0 446171771 16130334720 694913 33554432000 4194304 4196468 140722183409760 139742107740272 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24979] ppid=24965 vsize=15752280 memory=2779796 CPUtime=1.09 cores=1,3,5,7
/proc/24967/task/24979/stat : 24979 (java) S 24965 24965 24688 0 -1 1077944384 32301 0 0 0 105 4 0 0 20 0 19 0 446171771 16130334720 694913 33554432000 4194304 4196468 140722183409760 139742106687728 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24980] ppid=24965 vsize=15752280 memory=2779856 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24980/stat : 24980 (java) S 24965 24965 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446171771 16130334720 694913 33554432000 4194304 4196468 140722183409760 139742105635424 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24981] ppid=24965 vsize=15752280 memory=2779644 CPUtime=0.43 cores=1,3,5,7
/proc/24967/task/24981/stat : 24981 (java) S 24965 24965 24688 0 -1 1077944384 5842 0 0 0 18 25 0 0 20 0 19 0 446171772 16130334720 694913 33554432000 4194304 4196468 140722183409760 139742104582960 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=26710] ppid=24965 vsize=15752280 memory=1452 CPUtime=1.04 cores=1,3,5,7
/proc/24967/task/26710/stat : 26710 (java) R 24965 24965 24688 0 -1 4202560 49 0 0 0 104 0 0 0 20 0 19 0 446235891 16130334720 694913 33554432000 4194304 4196468 140722183409760 139742093499512 139742288219614 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=26711] ppid=24965 vsize=15752280 memory=1452 CPUtime=1.04 cores=1,3,5,7
/proc/24967/task/26711/stat : 26711 (java) R 24965 24965 24688 0 -1 4202560 24 0 0 0 104 0 0 0 20 0 19 0 446235891 16130334720 694913 33554432000 4194304 4196468 140722183409760 139742095606632 139742286816605 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=26712] ppid=24965 vsize=15752280 memory=2779856 CPUtime=1.02 cores=1,3,5,7
/proc/24967/task/26712/stat : 26712 (java) R 24965 24965 24688 0 -1 4202560 2600 0 0 0 102 0 0 0 20 0 19 0 446235891 16130334720 694913 33554432000 4194304 4196468 140722183409760 139742087187528 139742286816650 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=26713] ppid=24965 vsize=15752280 memory=12024 CPUtime=1.04 cores=1,3,5,7
/proc/24967/task/26713/stat : 26713 (java) R 24965 24965 24688 0 -1 4202560 5 0 0 0 104 0 0 0 20 0 19 0 446235891 16130334720 694913 33554432000 4194304 4196468 140722183409760 139742092451016 139742287909963 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
Current children cumulated CPU time: 2503.55 s
Current children cumulated vsize: 15865408 KiB
Current children cumulated memory: 2781104 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+646.501 s]
/proc/loadavg: 7.18 6.62 5.20 9/235 26713
/proc/meminfo: memFree=16028632/32770624 swapFree=66938240/67108860
[pid=24965] ppid=24962 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24965/stat : 24965 (xcsp3-exec) S 24962 24965 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446171766 115843072 363 33554432000 4194304 5098028 140735238284608 140735238282712 140118010749564 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25530368 140735238288250 140735238288493 140735238288493 140735238291402 0
/proc/24965/statm: 28282 363 304 221 0 87 0
[pid=24967] ppid=24965 vsize=15752280 memory=2779856 CPUtime=2520.26 cores=1,3,5,7
/proc/24967/stat : 24967 (java) S 24965 24965 24688 0 -1 1077944320 2038879 0 0 0 251562 464 0 0 20 0 19 0 446171766 16130334720 694964 33554432000 4194304 4196468 140722183409760 140722183392304 139742644571895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
/proc/24967/statm: 3938070 694964 3550 1 0 3899170 0
[pid=24967/tid=24968] ppid=24965 vsize=15752280 memory=2779856 CPUtime=2.29 cores=1,3,5,7
/proc/24967/task/24968/stat : 24968 (java) S 24965 24965 24688 0 -1 1077944384 28166 0 0 0 218 11 0 0 20 0 19 0 446171766 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742648812704 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24969] ppid=24965 vsize=15752280 memory=2779796 CPUtime=3.69 cores=1,3,5,7
/proc/24967/task/24969/stat : 24969 (java) S 24965 24965 24688 0 -1 1077944384 42541 0 0 0 297 72 0 0 20 0 19 0 446171767 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742601124112 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24970] ppid=24965 vsize=15752280 memory=2779712 CPUtime=3.72 cores=1,3,5,7
/proc/24967/task/24970/stat : 24970 (java) S 24965 24965 24688 0 -1 1077944384 39897 0 0 0 296 76 0 0 20 0 19 0 446171767 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742235777424 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24971] ppid=24965 vsize=15752280 memory=2841408 CPUtime=3.73 cores=1,3,5,7
/proc/24967/task/24971/stat : 24971 (java) S 24965 24965 24688 0 -1 1077944384 41957 0 0 0 299 74 0 0 20 0 19 0 446171767 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742234724880 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24972] ppid=24965 vsize=15752280 memory=2908608 CPUtime=3.74 cores=1,3,5,7
/proc/24967/task/24972/stat : 24972 (java) S 24965 24965 24688 0 -1 1077944384 51478 0 0 0 299 75 0 0 20 0 19 0 446171767 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742233672336 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24973] ppid=24965 vsize=15752280 memory=2908548 CPUtime=0.42 cores=1,3,5,7
/proc/24967/task/24973/stat : 24973 (java) S 24965 24965 24688 0 -1 1077944384 15482 0 0 0 39 3 0 0 20 0 19 0 446171768 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742113004016 139742644583042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24974] ppid=24965 vsize=15752280 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24974/stat : 24974 (java) S 24965 24965 24688 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 446171769 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742111950304 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24975] ppid=24965 vsize=15752280 memory=3049664 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24975/stat : 24975 (java) S 24965 24965 24688 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 19 0 446171769 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742110897664 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24976] ppid=24965 vsize=15752280 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24976/stat : 24976 (java) S 24965 24965 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446171771 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742109846224 139742644590491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24977] ppid=24965 vsize=15752280 memory=3049460 CPUtime=3.66 cores=1,3,5,7
/proc/24967/task/24977/stat : 24977 (java) S 24965 24965 24688 0 -1 1077944384 35387 0 0 0 364 2 0 0 20 0 19 0 446171771 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742108792816 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24978] ppid=24965 vsize=15752280 memory=1452 CPUtime=4.25 cores=1,3,5,7
/proc/24967/task/24978/stat : 24978 (java) S 24965 24965 24688 0 -1 1077944384 31127 0 0 0 422 3 0 0 20 0 19 0 446171771 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742107740272 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24979] ppid=24965 vsize=15752280 memory=2977660 CPUtime=1.09 cores=1,3,5,7
/proc/24967/task/24979/stat : 24979 (java) S 24965 24965 24688 0 -1 1077944384 32301 0 0 0 105 4 0 0 20 0 19 0 446171771 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742106687728 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24980] ppid=24965 vsize=15752280 memory=2779644 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24980/stat : 24980 (java) S 24965 24965 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446171771 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742105635424 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24981] ppid=24965 vsize=15752280 memory=2779736 CPUtime=0.43 cores=1,3,5,7
/proc/24967/task/24981/stat : 24981 (java) S 24965 24965 24688 0 -1 1077944384 5884 0 0 0 18 25 0 0 20 0 19 0 446171772 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742104582960 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=26710] ppid=24965 vsize=15752280 memory=2779856 CPUtime=5.24 cores=1,3,5,7
/proc/24967/task/26710/stat : 26710 (java) R 24965 24965 24688 0 -1 4202560 573 0 0 0 524 0 0 0 20 0 19 0 446235891 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742093499512 139742286628268 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=26711] ppid=24965 vsize=15752280 memory=1452 CPUtime=5.24 cores=1,3,5,7
/proc/24967/task/26711/stat : 26711 (java) R 24965 24965 24688 0 -1 4202560 525 0 0 0 524 0 0 0 20 0 19 0 446235891 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742095606632 139742286628259 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=26712] ppid=24965 vsize=15752280 memory=6791534058613427641 CPUtime=5.14 cores=1,3,5,7
/proc/24967/task/26712/stat : 26712 (java) R 24965 24965 24688 0 -1 4202560 10562 0 0 0 514 0 0 0 20 0 19 0 446235891 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742087187528 139742287381363 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=26713] ppid=24965 vsize=15752280 memory=2779856 CPUtime=5.24 cores=1,3,5,7
/proc/24967/task/26713/stat : 26713 (java) R 24965 24965 24688 0 -1 4202560 701 0 0 0 524 0 0 0 20 0 19 0 446235891 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742092451016 139742283489003 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
Current children cumulated CPU time: 2520.26 s
Current children cumulated vsize: 15865408 KiB
Current children cumulated memory: 2781308 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+646.518 s]
# the end of solver process 24965 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002136 s, system=0.000759 s
[startup+646.59 s]
# the end of solver process 24967 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.92 s, system=4.66302 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+646.501 s]
/proc/loadavg: 7.18 6.62 5.20 9/235 26713
/proc/meminfo: memFree=16028632/32770624 swapFree=66938240/67108860
[pid=24965] ppid=24962 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24965/stat : 24965 (xcsp3-exec) S 24962 24965 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446171766 115843072 363 33554432000 4194304 5098028 140735238284608 140735238282712 140118010749564 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 25530368 140735238288250 140735238288493 140735238288493 140735238291402 0
/proc/24965/statm: 28282 363 304 221 0 87 0
[pid=24967] ppid=24965 vsize=15752280 memory=2779856 CPUtime=2520.26 cores=1,3,5,7
/proc/24967/stat : 24967 (java) S 24965 24965 24688 0 -1 1077944320 2038879 0 0 0 251562 464 0 0 20 0 19 0 446171766 16130334720 694964 33554432000 4194304 4196468 140722183409760 140722183392304 139742644571895 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
/proc/24967/statm: 3938070 694964 3550 1 0 3899170 0
[pid=24967/tid=24968] ppid=24965 vsize=15752280 memory=2779856 CPUtime=2.29 cores=1,3,5,7
/proc/24967/task/24968/stat : 24968 (java) S 24965 24965 24688 0 -1 1077944384 28166 0 0 0 218 11 0 0 20 0 19 0 446171766 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742648812704 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24969] ppid=24965 vsize=15752280 memory=2779796 CPUtime=3.69 cores=1,3,5,7
/proc/24967/task/24969/stat : 24969 (java) S 24965 24965 24688 0 -1 1077944384 42541 0 0 0 297 72 0 0 20 0 19 0 446171767 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742601124112 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24970] ppid=24965 vsize=15752280 memory=2779712 CPUtime=3.72 cores=1,3,5,7
/proc/24967/task/24970/stat : 24970 (java) S 24965 24965 24688 0 -1 1077944384 39897 0 0 0 296 76 0 0 20 0 19 0 446171767 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742235777424 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24971] ppid=24965 vsize=15752280 memory=2841408 CPUtime=3.73 cores=1,3,5,7
/proc/24967/task/24971/stat : 24971 (java) S 24965 24965 24688 0 -1 1077944384 41957 0 0 0 299 74 0 0 20 0 19 0 446171767 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742234724880 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24972] ppid=24965 vsize=15752280 memory=2908608 CPUtime=3.74 cores=1,3,5,7
/proc/24967/task/24972/stat : 24972 (java) S 24965 24965 24688 0 -1 1077944384 51478 0 0 0 299 75 0 0 20 0 19 0 446171767 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742233672336 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24973] ppid=24965 vsize=15752280 memory=2908548 CPUtime=0.42 cores=1,3,5,7
/proc/24967/task/24973/stat : 24973 (java) S 24965 24965 24688 0 -1 1077944384 15482 0 0 0 39 3 0 0 20 0 19 0 446171768 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742113004016 139742644583042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24974] ppid=24965 vsize=15752280 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24974/stat : 24974 (java) S 24965 24965 24688 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 446171769 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742111950304 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24975] ppid=24965 vsize=15752280 memory=3049664 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24975/stat : 24975 (java) S 24965 24965 24688 0 -1 1077944384 110 0 0 0 0 0 0 0 20 0 19 0 446171769 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742110897664 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24976] ppid=24965 vsize=15752280 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24976/stat : 24976 (java) S 24965 24965 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446171771 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742109846224 139742644590491 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24977] ppid=24965 vsize=15752280 memory=3049460 CPUtime=3.66 cores=1,3,5,7
/proc/24967/task/24977/stat : 24977 (java) S 24965 24965 24688 0 -1 1077944384 35387 0 0 0 364 2 0 0 20 0 19 0 446171771 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742108792816 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24978] ppid=24965 vsize=15752280 memory=1452 CPUtime=4.25 cores=1,3,5,7
/proc/24967/task/24978/stat : 24978 (java) S 24965 24965 24688 0 -1 1077944384 31127 0 0 0 422 3 0 0 20 0 19 0 446171771 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742107740272 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24979] ppid=24965 vsize=15752280 memory=2977660 CPUtime=1.09 cores=1,3,5,7
/proc/24967/task/24979/stat : 24979 (java) S 24965 24965 24688 0 -1 1077944384 32301 0 0 0 105 4 0 0 20 0 19 0 446171771 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742106687728 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24980] ppid=24965 vsize=15752280 memory=2779644 CPUtime=0 cores=1,3,5,7
/proc/24967/task/24980/stat : 24980 (java) S 24965 24965 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446171771 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742105635424 139742644582101 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=24981] ppid=24965 vsize=15752280 memory=2779736 CPUtime=0.43 cores=1,3,5,7
/proc/24967/task/24981/stat : 24981 (java) S 24965 24965 24688 0 -1 1077944384 5884 0 0 0 18 25 0 0 20 0 19 0 446171772 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742104582960 139742644583042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=26710] ppid=24965 vsize=15752280 memory=2779856 CPUtime=5.24 cores=1,3,5,7
/proc/24967/task/26710/stat : 26710 (java) R 24965 24965 24688 0 -1 4202560 573 0 0 0 524 0 0 0 20 0 19 0 446235891 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742093499512 139742286628268 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=26711] ppid=24965 vsize=15752280 memory=1452 CPUtime=5.24 cores=1,3,5,7
/proc/24967/task/26711/stat : 26711 (java) R 24965 24965 24688 0 -1 4202560 525 0 0 0 524 0 0 0 20 0 19 0 446235891 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742095606632 139742286628259 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=26712] ppid=24965 vsize=15752280 memory=6791534058613427641 CPUtime=5.14 cores=1,3,5,7
/proc/24967/task/26712/stat : 26712 (java) R 24965 24965 24688 0 -1 4202560 10562 0 0 0 514 0 0 0 20 0 19 0 446235891 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742087187528 139742287381363 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
[pid=24967/tid=26713] ppid=24965 vsize=15752280 memory=2779856 CPUtime=5.24 cores=1,3,5,7
/proc/24967/task/26713/stat : 26713 (java) R 24965 24965 24688 0 -1 4202560 701 0 0 0 524 0 0 0 20 0 19 0 446235891 16130334720 694964 33554432000 4194304 4196468 140722183409760 139742092451016 139742283489003 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8495104 140722183414767 140722183414938 140722183414938 140722183417807 0
Current children cumulated CPU time: 2520.26 s
Current children cumulated vsize: 15865408 KiB
Current children cumulated memory: 2781308 KiB
Child status: 143
Real time (s): 646.59
CPU time (s): 2520.58
CPU user time (s): 2515.92
CPU system time (s): 4.66302
CPU usage (%): 389.827
Max. virtual memory (cumulated for all children) (KiB): 15865408
Max. memory (cumulated for all children) (KiB): 3475172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.92
system time used= 4.66302
maximum resident set size= 3473724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2040272
page faults= 0
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26548
involuntary context switches= 35248
# summary of solver processes directly reported to runsolver:
# pid: 24965,24967
# total CPU time (s): 2520.58
# total CPU user time (s): 2515.92
# total CPU system time (s): 4.66302
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.31986 second user time and 7.54536 second system time
The end
Begin job on node151 at 2019-09-17 07:42:44 IDJOB=4399374 IDBENCH=135802 IDSOLVER=2853 FILE ID=node151/4399374-1568699004 RUNJOBID= node151-1568698598-24720 PBS_JOBID= 21703816 Free space on /tmp= 59284 MiB SOLVER NAME= choco-solver 2019-09-16 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-4399374-1568699004/watcher-4399374-1568699004 -o /tmp/evaluation-result-4399374-1568699004/solver-4399374-1568699004 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568698598-24720 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1988247511 HOME/instance-4399374-1568699004.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d698eba466bb4d42bacc008ef87467ee RANDOM SEED=1988247511 node151.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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 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.53 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 : 5335.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31113124 kB MemAvailable: 31436272 kB Buffers: 80908 kB Cached: 544868 kB SwapCached: 68696 kB Active: 764696 kB Inactive: 345380 kB Active(anon): 416360 kB Inactive(anon): 111640 kB Active(file): 348336 kB Inactive(file): 233740 kB Unevictable: 109584 kB Mlocked: 109584 kB SwapTotal: 67108860 kB SwapFree: 66938236 kB Dirty: 26512 kB Writeback: 0 kB AnonPages: 525960 kB Mapped: 56812 kB Shmem: 35216 kB Slab: 142412 kB SReclaimable: 113812 kB SUnreclaim: 28600 kB KernelStack: 3808 kB PageTables: 6732 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1483060 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 436224 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 59256 MiB End job on node151 at 2019-09-17 07:53:31