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) | 1244 | 2400.63 | 616.399 |
| Name | TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-13.xml |
| MD5SUM | d698eba466bb4d42bacc008ef87467ee |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 549 |
| Best CPU time to get the best result obtained on this benchmark | 2009.97 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 300 |
| Number of constraints | 151 |
| Number of domains | 2 |
| Minimum domain size | 66 |
| Maximum domain size | 150 |
| Distribution of domain sizes | [{"size":66,"count":150},{"size":150,"count":150}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":150},{"degree":3,"count":150}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 150 |
| Distribution of constraint arities | [{"arity":3,"count":150},{"arity":150,"count":1}] |
| Number of extensional constraints | 150 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":150},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400574-1568694957.xml" -tl '2400s' -p 4 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4400574-1568694957.xml, -tl, 2400s, -p, 4] 0.34/0.22 c 4 solvers in parallel 0.34/0.29 c parse instance... 10.62/3.95 c solve instance... 14.82/5.07 o 2604 15.87/5.37 o 2588 15.87/5.38 o 2562 15.87/5.39 o 2546 18.02/6.31 o 2543 18.02/6.32 o 2524 18.02/6.37 o 2521 18.27/6.45 o 2520 18.55/6.51 o 2518 18.55/6.58 o 2516 18.55/6.58 o 2513 18.55/6.59 o 2502 18.74/6.60 o 2494 18.74/6.60 o 2491 18.74/6.61 o 2488 18.74/6.62 o 2485 18.74/6.67 o 2483 18.74/6.68 o 2480 18.74/6.69 o 2477 18.74/6.69 o 2475 19.06/6.70 o 2474 19.06/6.71 o 2471 19.06/6.71 o 2469 41.59/12.57 o 2467 65.46/18.67 o 2465 71.36/20.30 o 2464 76.10/21.84 o 2463 82.57/23.52 o 2462 83.29/23.77 o 2461 97.91/27.41 o 2460 103.45/28.80 o 2458 103.83/28.93 o 2457 106.68/30.22 o 2456 107.01/30.37 o 2455 215.62/57.84 o 2042 215.62/57.87 o 2035 215.62/57.88 o 2014 217.86/58.43 o 1999 217.86/58.47 o 1995 217.86/58.50 o 1992 218.65/58.61 o 1977 218.65/58.67 o 1968 220.88/59.77 o 1956 224.24/60.61 o 1925 224.24/60.62 o 1922 224.24/60.62 o 1921 224.24/60.62 o 1915 224.24/60.63 o 1911 224.24/60.63 o 1910 224.24/60.64 o 1906 224.24/60.65 o 1905 224.24/60.65 o 1897 227.98/61.91 o 1889 227.98/61.94 o 1888 228.35/62.08 o 1883 228.35/62.09 o 1872 229.89/62.48 o 1871 231.88/62.90 o 1870 231.88/62.92 o 1867 235.07/64.07 o 1861 235.07/64.08 o 1859 235.07/64.10 o 1857 235.27/64.15 o 1856 235.27/64.18 o 1853 235.59/64.29 o 1841 243.86/66.79 o 1839 244.00/66.85 o 1834 244.00/66.86 o 1832 244.00/66.87 o 1824 249.57/68.24 o 1810 249.57/68.26 o 1806 249.57/68.26 o 1804 249.57/68.27 o 1802 249.57/68.28 o 1794 249.57/68.29 o 1793 249.89/68.32 o 1791 249.89/68.38 o 1790 249.89/68.38 o 1788 255.17/69.81 o 1782 255.54/69.98 o 1781 260.69/71.27 o 1775 260.69/71.28 o 1771 265.89/72.65 o 1760 265.89/72.68 o 1758 266.50/72.89 o 1752 267.34/73.07 o 1750 302.71/81.93 o 1747 302.71/81.96 o 1745 305.45/82.68 o 1727 308.97/84.02 o 1718 308.97/84.04 o 1717 308.97/84.05 o 1715 308.97/84.09 o 1714 309.66/84.20 o 1699 313.28/85.14 o 1686 313.28/85.15 o 1683 313.28/85.16 o 1681 313.28/85.17 o 1678 315.60/85.79 o 1662 316.14/85.90 o 1650 319.01/86.83 o 1649 324.47/88.22 o 1647 325.28/88.47 o 1635 339.17/92.31 o 1632 343.49/93.45 o 1629 347.47/94.44 o 1627 347.77/94.56 o 1624 350.25/95.48 o 1610 352.80/96.18 o 1609 357.12/97.27 o 1605 358.31/97.51 o 1603 361.53/98.55 o 1591 361.53/98.55 o 1588 361.53/98.58 o 1580 361.53/98.59 o 1568 362.98/98.99 o 1567 366.52/99.82 o 1566 368.88/100.41 o 1564 381.62/103.64 o 1552 383.24/104.03 o 1551 432.57/116.49 o 1547 432.57/116.50 o 1540 432.95/116.53 o 1537 444.07/119.30 o 1536 444.07/119.33 o 1533 450.42/120.94 o 1532 468.39/125.76 o 1529 470.59/126.38 o 1525 479.54/129.04 o 1523 479.54/129.05 o 1522 479.86/129.14 o 1521 479.86/129.16 o 1519 482.15/129.74 o 1510 482.54/129.84 o 1507 485.31/130.58 o 1506 486.87/131.00 o 1501 487.30/131.06 o 1500 505.04/135.98 o 1499 507.56/136.67 o 1496 519.39/139.66 o 1495 525.57/141.22 o 1494 525.57/141.25 o 1492 533.51/143.26 o 1484 535.88/143.85 o 1480 538.66/144.57 o 1469 553.78/148.33 o 1468 555.73/148.87 o 1467 560.91/150.24 o 1466 560.91/150.28 o 1465 561.59/150.45 o 1462 561.59/150.46 o 1461 570.31/152.67 o 1459 610.12/162.66 o 1458 622.45/165.76 o 1455 649.11/172.43 o 1452 830.21/218.00 o 1451 835.25/219.75 o 1450 876.24/230.17 o 1447 878.79/230.84 o 1443 879.21/230.94 o 1442 893.10/234.49 o 1441 893.10/234.50 o 1439 893.48/234.51 o 1437 900.23/236.20 o 1434 931.29/244.02 o 1432 931.29/244.03 o 1427 932.47/244.37 o 1426 970.24/253.85 o 1423 991.72/259.21 o 1420 995.59/260.72 o 1419 995.59/260.78 o 1414 1016.64/266.07 o 1407 1089.81/284.47 o 1404 1090.20/284.56 o 1402 1098.20/286.90 o 1397 1098.20/286.94 o 1395 1100.97/287.65 o 1394 1113.45/291.21 o 1393 1113.45/291.22 o 1391 1113.45/291.23 o 1387 1167.91/305.00 o 1381 1195.77/311.99 o 1380 1199.34/312.87 o 1375 1199.73/312.91 o 1373 1206.05/314.50 o 1372 1228.73/320.22 o 1366 1248.28/325.35 o 1360 1248.92/325.58 o 1359 1251.67/326.28 o 1356 1264.01/329.39 o 1343 1265.58/329.72 o 1330 1278.68/333.15 o 1324 1389.19/360.99 o 1322 1394.69/362.53 o 1320 1556.60/403.29 o 1317 1772.48/457.73 o 1316 1775.57/458.56 o 1302 1775.57/458.59 o 1301 1778.75/459.35 o 1300 1783.12/460.42 o 1299 1792.67/462.88 o 1298 1792.67/462.89 o 1297 1839.21/474.58 o 1295 1862.62/480.55 o 1294 1868.87/482.12 o 1293 1872.01/482.97 o 1287 1881.54/485.37 o 1286 1891.07/487.80 o 1283 1902.61/490.66 o 1282 1904.62/491.20 o 1281 1920.13/495.11 o 1279 2048.27/527.25 o 1277 2062.61/530.82 o 1276 2085.28/536.55 o 1275 2099.99/540.20 o 1274 2103.96/541.24 o 1273 2118.69/544.91 o 1271 2197.84/564.82 o 1265 2222.48/571.05 o 1263 2222.85/571.13 o 1261 2233.95/574.00 o 1259 2234.36/574.04 o 1258 2249.66/578.35 o 1257 2249.66/578.39 o 1255 2250.27/578.57 o 1253 2250.27/578.59 o 1250 2259.78/580.96 o 1249 2262.11/581.51 o 1247 2265.48/582.43 o 1246 2265.48/582.44 o 1245 2265.48/582.47 o 1244 2400.28/616.37 s SATISFIABLE 2400.28/616.37 v <instantiation> 2400.28/616.37 v <list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] </list> 2400.28/616.37 v <values>69 76 75 68 53 57 59 50 56 61 73 87 122 86 89 108 126 129 123 119 127 115 112 142 143 133 139 134 131 138 147 105 106 110 100 94 88 19 7 9 18 37 111 146 148 118 54 27 30 39 6 24 117 121 145 149 98 77 26 23 25 2 3 12 8 5 13 101 125 136 141 132 102 90 103 95 92 96 84 71 51 29 11 10 16 22 21 4 15 20 1 0 14 32 34 43 46 47 64 72 74 99 52 49 62 78 82 83 144 140 135 124 128 120 114 116 137 130 97 109 113 104 93 85 17 38 33 45 67 81 91 107 79 28 31 40 55 48 44 41 35 36 80 42 60 58 65 63 66 70 5 2 4 13 4 1 8 15 6 4 14 20 12 1 5 7 2 23 2 3 7 14 13 1 7 8 2 3 8 2 17 6 4 4 3 5 29 4 1 3 5 28 12 3 10 25 9 1 6 25 5 32 2 8 10 19 11 22 1 2 34 1 6 1 2 2 29 9 4 1 3 10 32 4 2 1 1 11 23 7 14 4 3 3 6 3 5 11 4 6 16 12 5 3 4 1 4 25 3 8 9 29 1 10 5 2 3 39 1 1 4 1 6 6 1 15 3 12 5 3 3 3 6 24 7 4 5 8 6 4 4 21 18 2 3 10 3 1 10 2 1 17 25 10 1 3 18 15 2 1 </values> 2400.28/616.37 v </instantiation> 2400.28/616.37 c Unexpected resolution interruption!
OK 1244
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15348 MiB free)
memory of node 1: 16384 MiB (14033 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400574-1568694957/watcher-4400574-1568694957 -o /tmp/evaluation-result-4400574-1568694957/solver-4400574-1568694957 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568694456-7912 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 460891360 HOME/instance-4400574-1568694957.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=11293, runsolver pid=11290
[startup+0.100439 s]*
/proc/loadavg: 8.18 6.61 3.73 7/233 11309
/proc/meminfo: memFree=30072412/32770624 swapFree=66988564/67108860
[pid=11293] ppid=11290 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (xcsp3-exec) S 11290 11293 7881 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445763524 115843072 362 33554432000 4194304 5098028 140729688661600 140729688659704 140108762272380 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40747008 140729688667003 140729688667245 140729688667245 140729688670154 0
/proc/11293/statm: 28282 362 304 221 0 87 0
[pid=11295] ppid=11293 vsize=15144776 memory=27240 CPUtime=0.13 cores=0,2,4,6
/proc/11295/stat : 11295 (java) S 11293 11293 7881 0 -1 1077944320 5778 0 0 0 12 1 0 0 20 0 15 0 445763525 15508250624 6810 33554432000 4194304 4196468 140728614878352 140728614860896 139790275350263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
/proc/11295/statm: 3786194 6810 3119 1 0 3748377 0
[pid=11295/tid=11296] ppid=11293 vsize=15144776 memory=8324486588775410251 CPUtime=0.08 cores=0,2,4,6
/proc/11295/task/11296/stat : 11296 (java) R 11293 11293 7881 0 -1 4202560 3621 0 0 0 8 0 0 0 20 0 15 0 445763525 15508250624 6810 33554432000 4194304 4196468 140728614878352 139790279584400 139790267587390 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11297] ppid=11293 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11297/stat : 11297 (java) S 11293 11293 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763526 15508250624 6810 33554432000 4194304 4196468 140728614878352 139789867780368 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11298] ppid=11293 vsize=15144776 memory=140258379585152 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11298/stat : 11298 (java) S 11293 11293 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445763526 15508250624 6876 33554432000 4194304 4196468 140728614878352 139789866727824 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11299] ppid=11293 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11299/stat : 11299 (java) S 11293 11293 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445763526 15508250624 6876 33554432000 4194304 4196468 140728614878352 139789865675280 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11300] ppid=11293 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11300/stat : 11300 (java) S 11293 11293 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763526 15508250624 6876 33554432000 4194304 4196468 140728614878352 139789864622736 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11301] ppid=11293 vsize=15144776 memory=140258379585152 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11301/stat : 11301 (java) S 11293 11293 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445763527 15508250624 6876 33554432000 4194304 4196468 140728614878352 139789609757168 139790275361410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11302] ppid=11293 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11302/stat : 11302 (java) S 11293 11293 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445763528 15508250624 6876 33554432000 4194304 4196468 140728614878352 139789608703392 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11303] ppid=11293 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11303/stat : 11303 (java) S 11293 11293 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445763528 15508250624 6876 33554432000 4194304 4196468 140728614878352 139789607650800 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11304] ppid=11293 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11304/stat : 11304 (java) S 11293 11293 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445763530 15508250624 6876 33554432000 4194304 4196468 140728614878352 139789606599376 139790275368859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11305] ppid=11293 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11305/stat : 11305 (java) R 11293 11293 7881 0 -1 4202560 338 0 0 0 0 0 0 0 20 0 15 0 445763530 15508250624 6876 33554432000 4194304 4196468 140728614878352 139789605545968 139790259319873 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11306] ppid=11293 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11306/stat : 11306 (java) R 11293 11293 7881 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 445763530 15508250624 6876 33554432000 4194304 4196468 140728614878352 139789604493424 139790275361410 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11307] ppid=11293 vsize=15144776 memory=140258379585152 CPUtime=0.02 cores=0,2,4,6
/proc/11295/task/11307/stat : 11307 (java) R 11293 11293 7881 0 -1 4202560 415 0 0 0 2 0 0 0 20 0 15 0 445763530 15508250624 6876 33554432000 4194304 4196468 140728614878352 139789603440880 139790259533408 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11308] ppid=11293 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11308/stat : 11308 (java) S 11293 11293 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445763530 15508250624 6876 33554432000 4194304 4196468 140728614878352 139789602388576 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11309] ppid=11293 vsize=15144776 memory=140258379585152 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11309/stat : 11309 (java) S 11293 11293 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763531 15508250624 6876 33554432000 4194304 4196468 140728614878352 139789601336112 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28688 KiB
[startup+0.210798 s]*
/proc/loadavg: 8.18 6.61 3.73 6/233 11309
/proc/meminfo: memFree=30058684/32770624 swapFree=66988564/67108860
[pid=11293] ppid=11290 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (xcsp3-exec) S 11290 11293 7881 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445763524 115843072 362 33554432000 4194304 5098028 140729688661600 140729688659704 140108762272380 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40747008 140729688667003 140729688667245 140729688667245 140729688670154 0
/proc/11293/statm: 28282 362 304 221 0 87 0
[pid=11295] ppid=11293 vsize=15144776 memory=39856 CPUtime=0.34 cores=0,2,4,6
/proc/11295/stat : 11295 (java) S 11293 11293 7881 0 -1 1077944320 9704 0 0 0 32 2 0 0 20 0 15 0 445763525 15508250624 9964 33554432000 4194304 4196468 140728614878352 140728614860896 139790275350263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
/proc/11295/statm: 3786194 9964 3306 1 0 3748377 0
[pid=11295/tid=11296] ppid=11293 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/11295/task/11296/stat : 11296 (java) R 11293 11293 7881 0 -1 4202560 6662 0 0 0 18 2 0 0 20 0 15 0 445763525 15508250624 9964 33554432000 4194304 4196468 140728614878352 139790279587328 139790257639584 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11297] ppid=11293 vsize=15144776 memory=8996 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11297/stat : 11297 (java) S 11293 11293 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763526 15508250624 9964 33554432000 4194304 4196468 140728614878352 139789867780368 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11298] ppid=11293 vsize=15144776 memory=4123240904094406304 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11298/stat : 11298 (java) S 11293 11293 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445763526 15508250624 9964 33554432000 4194304 4196468 140728614878352 139789866727824 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11299] ppid=11293 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11299/stat : 11299 (java) S 11293 11293 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445763526 15508250624 9964 33554432000 4194304 4196468 140728614878352 139789865675280 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11300] ppid=11293 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11300/stat : 11300 (java) S 11293 11293 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763526 15508250624 9964 33554432000 4194304 4196468 140728614878352 139789864622736 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11301] ppid=11293 vsize=15144776 memory=140258379585152 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11301/stat : 11301 (java) S 11293 11293 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445763527 15508250624 9964 33554432000 4194304 4196468 140728614878352 139789609757168 139790275361410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11302] ppid=11293 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11302/stat : 11302 (java) S 11293 11293 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445763528 15508250624 9964 33554432000 4194304 4196468 140728614878352 139789608703392 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11303] ppid=11293 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11303/stat : 11303 (java) S 11293 11293 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445763528 15508250624 9964 33554432000 4194304 4196468 140728614878352 139789607650800 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11304] ppid=11293 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11304/stat : 11304 (java) S 11293 11293 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445763530 15508250624 9964 33554432000 4194304 4196468 140728614878352 139789606599376 139790275368859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11305] ppid=11293 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11295/task/11305/stat : 11305 (java) S 11293 11293 7881 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 15 0 445763530 15508250624 9964 33554432000 4194304 4196468 140728614878352 139789605545968 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11306] ppid=11293 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11295/task/11306/stat : 11306 (java) S 11293 11293 7881 0 -1 1077944384 392 0 0 0 2 0 0 0 20 0 15 0 445763530 15508250624 9964 33554432000 4194304 4196468 140728614878352 139789604493424 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11307] ppid=11293 vsize=15144776 memory=140258379585152 CPUtime=0.08 cores=0,2,4,6
/proc/11295/task/11307/stat : 11307 (java) R 11293 11293 7881 0 -1 4202560 874 0 0 0 8 0 0 0 20 0 15 0 445763530 15508250624 9964 33554432000 4194304 4196468 140728614878352 139789603440880 139790259430750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11308] ppid=11293 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11308/stat : 11308 (java) S 11293 11293 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445763530 15508250624 9964 33554432000 4194304 4196468 140728614878352 139789602388576 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11309] ppid=11293 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11309/stat : 11309 (java) S 11293 11293 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763531 15508250624 9964 33554432000 4194304 4196468 140728614878352 139789601336112 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41304 KiB
[startup+0.310601 s]*
/proc/loadavg: 8.18 6.61 3.73 6/233 11309
/proc/meminfo: memFree=30053708/32770624 swapFree=66988564/67108860
[pid=11293] ppid=11290 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (xcsp3-exec) S 11290 11293 7881 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445763524 115843072 362 33554432000 4194304 5098028 140729688661600 140729688659704 140108762272380 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40747008 140729688667003 140729688667245 140729688667245 140729688670154 0
/proc/11293/statm: 28282 362 304 221 0 87 0
[pid=11295] ppid=11293 vsize=15149032 memory=48648 CPUtime=0.53 cores=0,2,4,6
/proc/11295/stat : 11295 (java) S 11293 11293 7881 0 -1 1077944320 11024 0 0 0 50 3 0 0 20 0 15 0 445763525 15512608768 12162 33554432000 4194304 4196468 140728614878352 140728614860896 139790275350263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
/proc/11295/statm: 3787258 12162 3359 1 0 3748377 0
[pid=11295/tid=11296] ppid=11293 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/11295/task/11296/stat : 11296 (java) R 11293 11293 7881 0 -1 4202560 7747 0 0 0 27 3 0 0 20 0 15 0 445763525 15512608768 12228 33554432000 4194304 4196468 140728614878352 139790279581376 139790254913659 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11297] ppid=11293 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11297/stat : 11297 (java) S 11293 11293 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763526 15512608768 12228 33554432000 4194304 4196468 140728614878352 139789867780368 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11298] ppid=11293 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11298/stat : 11298 (java) S 11293 11293 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445763526 15512608768 12228 33554432000 4194304 4196468 140728614878352 139789866727824 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11299] ppid=11293 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11299/stat : 11299 (java) S 11293 11293 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445763526 15512608768 12228 33554432000 4194304 4196468 140728614878352 139789865675280 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11300] ppid=11293 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11300/stat : 11300 (java) S 11293 11293 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763526 15512608768 12228 33554432000 4194304 4196468 140728614878352 139789864622736 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11301] ppid=11293 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11301/stat : 11301 (java) S 11293 11293 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445763527 15512608768 12228 33554432000 4194304 4196468 140728614878352 139789609757168 139790275361410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11302] ppid=11293 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11302/stat : 11302 (java) S 11293 11293 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445763528 15512608768 12228 33554432000 4194304 4196468 140728614878352 139789608703392 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11303] ppid=11293 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11303/stat : 11303 (java) S 11293 11293 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445763528 15512608768 12228 33554432000 4194304 4196468 140728614878352 139789607650800 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11304] ppid=11293 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11304/stat : 11304 (java) S 11293 11293 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445763530 15512608768 12228 33554432000 4194304 4196468 140728614878352 139789606599376 139790275368859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11305] ppid=11293 vsize=15149032 memory=4426089072227881875 CPUtime=0.04 cores=0,2,4,6
/proc/11295/task/11305/stat : 11305 (java) R 11293 11293 7881 0 -1 1077944384 492 0 0 0 4 0 0 0 20 0 15 0 445763530 15512608768 12228 33554432000 4194304 4196468 140728614878352 139789605545968 139790275361410 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11306] ppid=11293 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11295/task/11306/stat : 11306 (java) R 11293 11293 7881 0 -1 4202560 511 0 0 0 4 0 0 0 20 0 15 0 445763530 15512608768 12228 33554432000 4194304 4196468 140728614878352 139789604493520 139790258881791 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11307] ppid=11293 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/11295/task/11307/stat : 11307 (java) S 11293 11293 7881 0 -1 1077944384 1035 0 0 0 13 0 0 0 20 0 15 0 445763530 15512608768 12228 33554432000 4194304 4196468 140728614878352 139789603440880 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11308] ppid=11293 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11308/stat : 11308 (java) S 11293 11293 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445763530 15512608768 12228 33554432000 4194304 4196468 140728614878352 139789602388576 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11309] ppid=11293 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11309/stat : 11309 (java) S 11293 11293 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763531 15512608768 12228 33554432000 4194304 4196468 140728614878352 139789601336112 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50096 KiB
[startup+0.705554 s]
/proc/loadavg: 8.18 6.61 3.73 8/233 11309
/proc/meminfo: memFree=30027820/32770624 swapFree=66988564/67108860
[pid=11293] ppid=11290 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (xcsp3-exec) S 11290 11293 7881 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445763524 115843072 362 33554432000 4194304 5098028 140729688661600 140729688659704 140108762272380 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40747008 140729688667003 140729688667245 140729688667245 140729688670154 0
/proc/11293/statm: 28282 362 304 221 0 87 0
[pid=11295] ppid=11293 vsize=15151156 memory=118524 CPUtime=1.66 cores=0,2,4,6
/proc/11295/stat : 11295 (java) S 11293 11293 7881 0 -1 1077944320 14650 0 0 0 160 6 0 0 20 0 15 0 445763525 15514783744 29631 33554432000 4194304 4196468 140728614878352 140728614860896 139790275350263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
/proc/11295/statm: 3787789 29631 3452 1 0 3748889 0
[pid=11295/tid=11296] ppid=11293 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/11295/task/11296/stat : 11296 (java) R 11293 11293 7881 0 -1 4202560 9053 0 0 0 63 5 0 0 20 0 15 0 445763525 15514783744 29631 33554432000 4194304 4196468 140728614878352 139790279589184 139789912776130 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11297] ppid=11293 vsize=15151156 memory=33 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11297/stat : 11297 (java) S 11293 11293 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763526 15514783744 29631 33554432000 4194304 4196468 140728614878352 139789867780368 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11298] ppid=11293 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11298/stat : 11298 (java) S 11293 11293 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445763526 15514783744 29631 33554432000 4194304 4196468 140728614878352 139789866727824 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11299] ppid=11293 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11299/stat : 11299 (java) S 11293 11293 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445763526 15514783744 29631 33554432000 4194304 4196468 140728614878352 139789865675280 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11300] ppid=11293 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11300/stat : 11300 (java) S 11293 11293 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763526 15514783744 29631 33554432000 4194304 4196468 140728614878352 139789864622736 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11301] ppid=11293 vsize=15151156 memory=38660 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11301/stat : 11301 (java) S 11293 11293 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445763527 15514783744 29631 33554432000 4194304 4196468 140728614878352 139789609757168 139790275361410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11302] ppid=11293 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11302/stat : 11302 (java) S 11293 11293 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445763528 15514783744 29631 33554432000 4194304 4196468 140728614878352 139789608703392 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11303] ppid=11293 vsize=15151156 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11303/stat : 11303 (java) S 11293 11293 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445763528 15514783744 29631 33554432000 4194304 4196468 140728614878352 139789607650800 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11304] ppid=11293 vsize=15151156 memory=1212 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11304/stat : 11304 (java) S 11293 11293 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445763530 15514783744 29631 33554432000 4194304 4196468 140728614878352 139789606599376 139790275368859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11305] ppid=11293 vsize=15151156 memory=1060 CPUtime=0.31 cores=0,2,4,6
/proc/11295/task/11305/stat : 11305 (java) S 11293 11293 7881 0 -1 1077944384 1261 0 0 0 31 0 0 0 20 0 15 0 445763530 15514783744 29631 33554432000 4194304 4196468 140728614878352 139789605545968 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11306] ppid=11293 vsize=15151156 memory=740 CPUtime=0.32 cores=0,2,4,6
/proc/11295/task/11306/stat : 11306 (java) R 11293 11293 7881 0 -1 4202560 1304 0 0 0 32 0 0 0 20 0 15 0 445763530 15514783744 29631 33554432000 4194304 4196468 140728614878352 139789604493720 139790255043355 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11307] ppid=11293 vsize=15151156 memory=1228 CPUtime=0.31 cores=0,2,4,6
/proc/11295/task/11307/stat : 11307 (java) S 11293 11293 7881 0 -1 1077944384 1724 0 0 0 31 0 0 0 20 0 15 0 445763530 15514783744 29631 33554432000 4194304 4196468 140728614878352 139789603440880 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11308] ppid=11293 vsize=15151156 memory=9520 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11308/stat : 11308 (java) S 11293 11293 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445763530 15514783744 29631 33554432000 4194304 4196468 140728614878352 139789602388576 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11309] ppid=11293 vsize=15151156 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11309/stat : 11309 (java) S 11293 11293 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445763531 15514783744 29631 33554432000 4194304 4196468 140728614878352 139789601336112 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 119972 KiB
[startup+1.50085 s]
/proc/loadavg: 8.18 6.61 3.73 9/233 11309
/proc/meminfo: memFree=29728632/32770624 swapFree=66988564/67108860
[pid=11293] ppid=11290 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (xcsp3-exec) S 11290 11293 7881 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445763524 115843072 362 33554432000 4194304 5098028 140729688661600 140729688659704 140108762272380 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40747008 140729688667003 140729688667245 140729688667245 140729688670154 0
/proc/11293/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/11295/stat : 11295 (java) S 11293 11293 7881 0 -1 1077944320 505452 0 0 0 226120 404 0 0 20 0 19 0 445763525 15926902784 682208 33554432000 4194304 4196468 140728614878352 140728614860896 139790275350263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
/proc/11295/statm: 3888404 682208 3551 1 0 3849504 0
[pid=11295/tid=11296] ppid=11293 vsize=15553616 memory=2728832 CPUtime=2.08 cores=0,2,4,6
/proc/11295/task/11296/stat : 11296 (java) S 11293 11293 7881 0 -1 1077944384 28215 0 0 0 197 11 0 0 20 0 19 0 445763525 15926902784 682208 33554432000 4194304 4196468 140728614878352 139790279591072 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11297] ppid=11293 vsize=15553616 memory=1448 CPUtime=3.88 cores=0,2,4,6
/proc/11295/task/11297/stat : 11297 (java) S 11293 11293 7881 0 -1 1077944384 23075 0 0 0 307 81 0 0 20 0 19 0 445763526 15926902784 682208 33554432000 4194304 4196468 140728614878352 139789867780368 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11298] ppid=11293 vsize=15553616 memory=2728832 CPUtime=3.92 cores=0,2,4,6
/proc/11295/task/11298/stat : 11298 (java) S 11293 11293 7881 0 -1 1077944384 20424 0 0 0 308 84 0 0 20 0 19 0 445763526 15926902784 682208 33554432000 4194304 4196468 140728614878352 139789866727824 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11299] ppid=11293 vsize=15553616 memory=2728832 CPUtime=3.88 cores=0,2,4,6
/proc/11295/task/11299/stat : 11299 (java) S 11293 11293 7881 0 -1 1077944384 20094 0 0 0 305 83 0 0 20 0 19 0 445763526 15926902784 682208 33554432000 4194304 4196468 140728614878352 139789865675280 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11300] ppid=11293 vsize=15553616 memory=2913188 CPUtime=3.91 cores=0,2,4,6
/proc/11295/task/11300/stat : 11300 (java) S 11293 11293 7881 0 -1 1077944384 19520 0 0 0 309 82 0 0 20 0 19 0 445763526 15926902784 682208 33554432000 4194304 4196468 140728614878352 139789864622736 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11301] ppid=11293 vsize=15553616 memory=3044512 CPUtime=0.38 cores=0,2,4,6
/proc/11295/task/11301/stat : 11301 (java) S 11293 11293 7881 0 -1 1077944384 14472 0 0 0 36 2 0 0 20 0 19 0 445763527 15926902784 682208 33554432000 4194304 4196468 140728614878352 139789609757168 139790275361410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11302] ppid=11293 vsize=15553616 memory=3110984 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11302/stat : 11302 (java) S 11293 11293 7881 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 445763528 15926902784 682208 33554432000 4194304 4196468 140728614878352 139789608703456 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11303] ppid=11293 vsize=15553616 memory=3111192 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11303/stat : 11303 (java) S 11293 11293 7881 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 445763528 15926902784 682208 33554432000 4194304 4196468 140728614878352 139789607650816 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11304] ppid=11293 vsize=15553616 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11304/stat : 11304 (java) S 11293 11293 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445763530 15926902784 682208 33554432000 4194304 4196468 140728614878352 139789606599376 139790275368859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11305] ppid=11293 vsize=15553616 memory=3111132 CPUtime=4.02 cores=0,2,4,6
/proc/11295/task/11305/stat : 11305 (java) S 11293 11293 7881 0 -1 1077944384 35521 0 0 0 399 3 0 0 20 0 19 0 445763530 15926902784 682208 33554432000 4194304 4196468 140728614878352 139789605545968 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11306] ppid=11293 vsize=15553616 memory=2789064 CPUtime=4.59 cores=0,2,4,6
/proc/11295/task/11306/stat : 11306 (java) S 11293 11293 7881 0 -1 1077944384 39550 0 0 0 456 3 0 0 20 0 19 0 445763530 15926902784 682208 33554432000 4194304 4196468 140728614878352 139789604493424 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11307] ppid=11293 vsize=15553616 memory=2728976 CPUtime=1.1 cores=0,2,4,6
/proc/11295/task/11307/stat : 11307 (java) S 11293 11293 7881 0 -1 1077944384 33170 0 0 0 107 3 0 0 20 0 19 0 445763530 15926902784 682208 33554432000 4194304 4196468 140728614878352 139789603440880 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11308] ppid=11293 vsize=15553616 memory=2728976 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11308/stat : 11308 (java) S 11293 11293 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445763530 15926902784 682208 33554432000 4194304 4196468 140728614878352 139789602388576 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11309] ppid=11293 vsize=15553616 memory=2789000 CPUtime=0.23 cores=0,2,4,6
/proc/11295/task/11309/stat : 11309 (java) S 11293 11293 7881 0 -1 1077944384 5121 0 0 0 0 23 0 0 20 0 19 0 445763531 15926902784 682208 33554432000 4194304 4196468 140728614878352 139789601336112 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=12662] ppid=11293 vsize=15553616 memory=2728916 CPUtime=0.78 cores=0,2,4,6
/proc/11295/task/12662/stat : 12662 (java) R 11293 11293 7881 0 -1 4202560 28 0 0 0 78 0 0 0 20 0 19 0 445821676 15926902784 682208 33554432000 4194304 4196468 140728614878352 139789591068280 139789919117751 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=12663] ppid=11293 vsize=15553616 memory=2729040 CPUtime=0.76 cores=0,2,4,6
/proc/11295/task/12663/stat : 12663 (java) R 11293 11293 7881 0 -1 4202560 15 0 0 0 76 0 0 0 20 0 19 0 445821676 15926902784 682208 33554432000 4194304 4196468 140728614878352 139789586859368 139789918640700 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=12664] ppid=11293 vsize=15553616 memory=38668 CPUtime=0.78 cores=0,2,4,6
/proc/11295/task/12664/stat : 12664 (java) R 11293 11293 7881 0 -1 4202560 33 0 0 0 78 0 0 0 20 0 19 0 445821676 15926902784 682208 33554432000 4194304 4196468 140728614878352 139789590019656 139789918641185 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=12665] ppid=11293 vsize=15553616 memory=2729040 CPUtime=0.78 cores=0,2,4,6
/proc/11295/task/12665/stat : 12665 (java) R 11293 11293 7881 0 -1 4202560 4 0 0 0 78 0 0 0 20 0 19 0 445821676 15926902784 682208 33554432000 4194304 4196468 140728614878352 139789585808072 139789920235663 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
Current children cumulated CPU time: 2265.24 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 2730280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+616.302 s]
/proc/loadavg: 8.62 8.26 6.06 9/238 12680
/proc/meminfo: memFree=26504028/32770624 swapFree=66988572/67108860
[pid=11293] ppid=11290 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (xcsp3-exec) S 11290 11293 7881 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445763524 115843072 362 33554432000 4194304 5098028 140729688661600 140729688659704 140108762272380 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40747008 140729688667003 140729688667245 140729688667245 140729688670154 0
/proc/11293/statm: 28282 362 304 221 0 87 0
[pid=11295] ppid=11293 vsize=15553616 memory=2567532 CPUtime=2400.28 cores=0,2,4,6
/proc/11295/stat : 11295 (java) S 11293 11293 7881 0 -1 1077944320 522421 0 0 0 239622 406 0 0 20 0 19 0 445763525 15926902784 641883 33554432000 4194304 4196468 140728614878352 140728614860896 139790275350263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
/proc/11295/statm: 3888404 641883 3551 1 0 3849504 0
[pid=11295/tid=11296] ppid=11293 vsize=15553616 memory=2567532 CPUtime=2.08 cores=0,2,4,6
/proc/11295/task/11296/stat : 11296 (java) S 11293 11293 7881 0 -1 1077944384 28224 0 0 0 197 11 0 0 20 0 19 0 445763525 15926902784 641883 33554432000 4194304 4196468 140728614878352 139790279591072 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11297] ppid=11293 vsize=15553616 memory=2567532 CPUtime=3.9 cores=0,2,4,6
/proc/11295/task/11297/stat : 11297 (java) S 11293 11293 7881 0 -1 1077944384 24627 0 0 0 309 81 0 0 20 0 19 0 445763526 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789867780368 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11298] ppid=11293 vsize=15553616 memory=2913188 CPUtime=3.95 cores=0,2,4,6
/proc/11295/task/11298/stat : 11298 (java) S 11293 11293 7881 0 -1 1077944384 21925 0 0 0 311 84 0 0 20 0 19 0 445763526 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789866727824 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11299] ppid=11293 vsize=15553616 memory=3044512 CPUtime=3.9 cores=0,2,4,6
/proc/11295/task/11299/stat : 11299 (java) S 11293 11293 7881 0 -1 1077944384 22405 0 0 0 307 83 0 0 20 0 19 0 445763526 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789865675280 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11300] ppid=11293 vsize=15553616 memory=3110984 CPUtime=3.93 cores=0,2,4,6
/proc/11295/task/11300/stat : 11300 (java) S 11293 11293 7881 0 -1 1077944384 21749 0 0 0 311 82 0 0 20 0 19 0 445763526 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789864622736 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11301] ppid=11293 vsize=15553616 memory=3111192 CPUtime=0.39 cores=0,2,4,6
/proc/11295/task/11301/stat : 11301 (java) S 11293 11293 7881 0 -1 1077944384 15269 0 0 0 36 3 0 0 20 0 19 0 445763527 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789609757168 139790275361410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11302] ppid=11293 vsize=15553616 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11302/stat : 11302 (java) S 11293 11293 7881 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 445763528 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789608703456 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11303] ppid=11293 vsize=15553616 memory=3111132 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11303/stat : 11303 (java) S 11293 11293 7881 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 445763528 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789607650816 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11304] ppid=11293 vsize=15553616 memory=2789064 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11304/stat : 11304 (java) S 11293 11293 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445763530 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789606599376 139790275368859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11305] ppid=11293 vsize=15553616 memory=2728976 CPUtime=4.02 cores=0,2,4,6
/proc/11295/task/11305/stat : 11305 (java) S 11293 11293 7881 0 -1 1077944384 35533 0 0 0 399 3 0 0 20 0 19 0 445763530 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789605545968 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11306] ppid=11293 vsize=15553616 memory=2619848 CPUtime=4.59 cores=0,2,4,6
/proc/11295/task/11306/stat : 11306 (java) S 11293 11293 7881 0 -1 1077944384 39582 0 0 0 456 3 0 0 20 0 19 0 445763530 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789604493424 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11307] ppid=11293 vsize=15553616 memory=1448 CPUtime=1.1 cores=0,2,4,6
/proc/11295/task/11307/stat : 11307 (java) S 11293 11293 7881 0 -1 1077944384 33186 0 0 0 107 3 0 0 20 0 19 0 445763530 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789603440880 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11308] ppid=11293 vsize=15553616 memory=2567532 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11308/stat : 11308 (java) S 11293 11293 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445763530 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789602388576 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11309] ppid=11293 vsize=15553616 memory=1448 CPUtime=0.25 cores=0,2,4,6
/proc/11295/task/11309/stat : 11309 (java) R 11293 11293 7881 0 -1 1077944384 5249 0 0 0 0 25 0 0 20 0 19 0 445763531 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789601336112 139790275361410 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=12674] ppid=11293 vsize=15553616 memory=2567532 CPUtime=33.52 cores=0,2,4,6
/proc/11295/task/12674/stat : 12674 (java) R 11293 11293 7881 0 -1 4202560 1961 0 0 0 3352 0 0 0 20 0 19 0 445821772 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789586852272 139789918996810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=12675] ppid=11293 vsize=15553616 memory=2567532 CPUtime=33.77 cores=0,2,4,6
/proc/11295/task/12675/stat : 12675 (java) R 11293 11293 7881 0 -1 4202560 2010 0 0 0 3377 0 0 0 20 0 19 0 445821772 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789591066848 139789919117473 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=12676] ppid=11293 vsize=15553616 memory=14008 CPUtime=33.78 cores=0,2,4,6
/proc/11295/task/12676/stat : 12676 (java) R 11293 11293 7881 0 -1 4202560 2197 0 0 0 3378 0 0 0 20 0 19 0 445821772 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789590011960 139789918643544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=12677] ppid=11293 vsize=15553616 memory=1448 CPUtime=33.46 cores=0,2,4,6
/proc/11295/task/12677/stat : 12677 (java) R 11293 11293 7881 0 -1 4202560 2110 0 0 0 3346 0 0 0 20 0 19 0 445821772 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789585801336 139789920351927 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
Current children cumulated CPU time: 2400.28 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 2568980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+616.336 s]
# the end of solver process 11293 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00115 s, system=0.00115 s
[startup+616.399 s]
# the end of solver process 11295 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.55 s, system=4.08102 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+616.302 s]
/proc/loadavg: 8.62 8.26 6.06 9/238 12680
/proc/meminfo: memFree=26504028/32770624 swapFree=66988572/67108860
[pid=11293] ppid=11290 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11293/stat : 11293 (xcsp3-exec) S 11290 11293 7881 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445763524 115843072 362 33554432000 4194304 5098028 140729688661600 140729688659704 140108762272380 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40747008 140729688667003 140729688667245 140729688667245 140729688670154 0
/proc/11293/statm: 28282 362 304 221 0 87 0
[pid=11295] ppid=11293 vsize=15553616 memory=2567532 CPUtime=2400.28 cores=0,2,4,6
/proc/11295/stat : 11295 (java) S 11293 11293 7881 0 -1 1077944320 522421 0 0 0 239622 406 0 0 20 0 19 0 445763525 15926902784 641883 33554432000 4194304 4196468 140728614878352 140728614860896 139790275350263 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
/proc/11295/statm: 3888404 641883 3551 1 0 3849504 0
[pid=11295/tid=11296] ppid=11293 vsize=15553616 memory=2567532 CPUtime=2.08 cores=0,2,4,6
/proc/11295/task/11296/stat : 11296 (java) S 11293 11293 7881 0 -1 1077944384 28224 0 0 0 197 11 0 0 20 0 19 0 445763525 15926902784 641883 33554432000 4194304 4196468 140728614878352 139790279591072 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11297] ppid=11293 vsize=15553616 memory=2567532 CPUtime=3.9 cores=0,2,4,6
/proc/11295/task/11297/stat : 11297 (java) S 11293 11293 7881 0 -1 1077944384 24627 0 0 0 309 81 0 0 20 0 19 0 445763526 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789867780368 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11298] ppid=11293 vsize=15553616 memory=2913188 CPUtime=3.95 cores=0,2,4,6
/proc/11295/task/11298/stat : 11298 (java) S 11293 11293 7881 0 -1 1077944384 21925 0 0 0 311 84 0 0 20 0 19 0 445763526 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789866727824 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11299] ppid=11293 vsize=15553616 memory=3044512 CPUtime=3.9 cores=0,2,4,6
/proc/11295/task/11299/stat : 11299 (java) S 11293 11293 7881 0 -1 1077944384 22405 0 0 0 307 83 0 0 20 0 19 0 445763526 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789865675280 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11300] ppid=11293 vsize=15553616 memory=3110984 CPUtime=3.93 cores=0,2,4,6
/proc/11295/task/11300/stat : 11300 (java) S 11293 11293 7881 0 -1 1077944384 21749 0 0 0 311 82 0 0 20 0 19 0 445763526 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789864622736 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11301] ppid=11293 vsize=15553616 memory=3111192 CPUtime=0.39 cores=0,2,4,6
/proc/11295/task/11301/stat : 11301 (java) S 11293 11293 7881 0 -1 1077944384 15269 0 0 0 36 3 0 0 20 0 19 0 445763527 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789609757168 139790275361410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11302] ppid=11293 vsize=15553616 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11302/stat : 11302 (java) S 11293 11293 7881 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 445763528 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789608703456 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11303] ppid=11293 vsize=15553616 memory=3111132 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11303/stat : 11303 (java) S 11293 11293 7881 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 445763528 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789607650816 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11304] ppid=11293 vsize=15553616 memory=2789064 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11304/stat : 11304 (java) S 11293 11293 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445763530 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789606599376 139790275368859 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11305] ppid=11293 vsize=15553616 memory=2728976 CPUtime=4.02 cores=0,2,4,6
/proc/11295/task/11305/stat : 11305 (java) S 11293 11293 7881 0 -1 1077944384 35533 0 0 0 399 3 0 0 20 0 19 0 445763530 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789605545968 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11306] ppid=11293 vsize=15553616 memory=2619848 CPUtime=4.59 cores=0,2,4,6
/proc/11295/task/11306/stat : 11306 (java) S 11293 11293 7881 0 -1 1077944384 39582 0 0 0 456 3 0 0 20 0 19 0 445763530 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789604493424 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11307] ppid=11293 vsize=15553616 memory=1448 CPUtime=1.1 cores=0,2,4,6
/proc/11295/task/11307/stat : 11307 (java) S 11293 11293 7881 0 -1 1077944384 33186 0 0 0 107 3 0 0 20 0 19 0 445763530 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789603440880 139790275361410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11308] ppid=11293 vsize=15553616 memory=2567532 CPUtime=0 cores=0,2,4,6
/proc/11295/task/11308/stat : 11308 (java) S 11293 11293 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445763530 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789602388576 139790275360469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=11309] ppid=11293 vsize=15553616 memory=1448 CPUtime=0.25 cores=0,2,4,6
/proc/11295/task/11309/stat : 11309 (java) R 11293 11293 7881 0 -1 1077944384 5249 0 0 0 0 25 0 0 20 0 19 0 445763531 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789601336112 139790275361410 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=12674] ppid=11293 vsize=15553616 memory=2567532 CPUtime=33.52 cores=0,2,4,6
/proc/11295/task/12674/stat : 12674 (java) R 11293 11293 7881 0 -1 4202560 1961 0 0 0 3352 0 0 0 20 0 19 0 445821772 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789586852272 139789918996810 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=12675] ppid=11293 vsize=15553616 memory=2567532 CPUtime=33.77 cores=0,2,4,6
/proc/11295/task/12675/stat : 12675 (java) R 11293 11293 7881 0 -1 4202560 2010 0 0 0 3377 0 0 0 20 0 19 0 445821772 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789591066848 139789919117473 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=12676] ppid=11293 vsize=15553616 memory=14008 CPUtime=33.78 cores=0,2,4,6
/proc/11295/task/12676/stat : 12676 (java) R 11293 11293 7881 0 -1 4202560 2197 0 0 0 3378 0 0 0 20 0 19 0 445821772 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789590011960 139789918643544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
[pid=11295/tid=12677] ppid=11293 vsize=15553616 memory=1448 CPUtime=33.46 cores=0,2,4,6
/proc/11295/task/12677/stat : 12677 (java) R 11293 11293 7881 0 -1 4202560 2110 0 0 0 3346 0 0 0 20 0 19 0 445821772 15926902784 641883 33554432000 4194304 4196468 140728614878352 139789585801336 139789920351927 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31940608 140728614884335 140728614884506 140728614884506 140728614887375 0
Current children cumulated CPU time: 2400.28 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 2568980 KiB
Child status: 143
Real time (s): 616.399
CPU time (s): 2400.63
CPU user time (s): 2396.55
CPU system time (s): 4.08102
CPU usage (%): 389.461
Max. virtual memory (cumulated for all children) (KiB): 15666744
Max. memory (cumulated for all children) (KiB): 3315560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.55
system time used= 4.08102
maximum resident set size= 3314112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 523628
page faults= 0
swaps= 0
block input operations= 0
block output operations= 896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24597
involuntary context switches= 44387
# summary of solver processes directly reported to runsolver:
# pid: 11293,11295
# total CPU time (s): 2400.63
# total CPU user time (s): 2396.55
# total CPU system time (s): 4.08102
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.95258 second user time and 7.08855 second system time
The end
Begin job on node126 at 2019-09-17 06:35:19 IDJOB=4400574 IDBENCH=135802 IDSOLVER=2856 FILE ID=node126/4400574-1568694957 RUNJOBID= node126-1568694456-7912 PBS_JOBID= 21703806 Free space on /tmp= 55680 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-4400574-1568694957/watcher-4400574-1568694957 -o /tmp/evaluation-result-4400574-1568694957/solver-4400574-1568694957 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568694456-7912 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 460891360 HOME/instance-4400574-1568694957.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d698eba466bb4d42bacc008ef87467ee RANDOM SEED=460891360 node126.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.45 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.56 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.45 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.56 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.45 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.56 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.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30087276 kB MemAvailable: 30882064 kB Buffers: 64604 kB Cached: 998836 kB SwapCached: 8176 kB Active: 1664308 kB Inactive: 422264 kB Active(anon): 1033312 kB Inactive(anon): 23240 kB Active(file): 630996 kB Inactive(file): 399024 kB Unevictable: 107804 kB Mlocked: 107804 kB SwapTotal: 67108860 kB SwapFree: 66988564 kB Dirty: 25964 kB Writeback: 0 kB AnonPages: 1132024 kB Mapped: 55968 kB Shmem: 24932 kB Slab: 191284 kB SReclaimable: 161204 kB SUnreclaim: 30080 kB KernelStack: 4064 kB PageTables: 8616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2282684 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1032192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 55656 MiB End job on node126 at 2019-09-17 06:45:36