Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-24 | SAT (TO) | 999 | 2400.08 | 2390.91 |
| 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-4406574-1569402097.xml" -tl '2400s' -p 1 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4406574-1569402097.xml, -tl, 2400s, -p, 1] 0.34/0.22 c simple solver 0.34/0.28 c parse instance... 3.16/1.33 c solve instance... 50.59/45.22 o 1805 50.59/45.23 o 1786 50.84/45.37 o 1775 51.50/45.72 o 1771 51.50/45.73 o 1763 51.50/45.73 o 1758 52.98/46.82 o 1752 53.19/47.07 o 1745 53.51/47.37 o 1742 54.37/48.01 o 1741 55.59/49.05 o 1740 55.59/49.06 o 1735 56.56/49.95 o 1733 56.97/50.39 o 1731 57.07/50.40 o 1725 57.61/50.97 o 1719 57.61/50.98 o 1718 57.61/50.99 o 1715 57.61/50.99 o 1714 58.22/51.50 o 1711 58.22/51.50 o 1705 58.32/51.61 o 1703 58.32/51.61 o 1702 59.82/53.08 o 1700 61.41/54.65 o 1695 62.01/55.29 o 1693 62.93/56.15 o 1677 63.62/56.83 o 1676 64.12/57.39 o 1668 67.03/60.22 o 1665 67.24/60.44 o 1662 67.24/60.45 o 1656 67.54/60.71 o 1655 68.65/61.89 o 1654 68.65/61.89 o 1653 68.96/62.15 o 1648 70.25/63.41 o 1635 70.25/63.42 o 1630 70.85/63.86 o 1629 71.45/64.48 o 1628 74.35/67.20 o 1595 74.35/67.21 o 1593 76.27/69.18 o 1591 76.27/69.18 o 1586 76.27/69.19 o 1573 76.66/69.55 o 1569 77.27/70.15 o 1564 77.97/70.82 o 1563 78.57/71.42 o 1561 87.18/80.04 o 1560 97.67/90.55 o 1553 98.37/91.27 o 1551 98.37/91.27 o 1546 98.87/91.71 o 1530 98.97/91.87 o 1526 98.97/91.87 o 1521 99.97/92.86 o 1515 100.07/92.94 o 1514 101.88/94.73 o 1512 102.28/95.13 o 1509 102.28/95.13 o 1507 102.28/95.13 o 1501 105.24/98.06 o 1500 105.93/98.76 o 1498 107.83/100.68 o 1495 107.83/100.69 o 1494 108.13/100.90 o 1491 108.64/101.46 o 1488 109.65/102.44 o 1483 110.04/102.81 o 1482 110.25/103.08 o 1476 114.25/107.07 o 1472 114.25/107.07 o 1467 114.44/107.23 o 1464 114.44/107.24 o 1463 117.85/110.60 o 1462 117.85/110.60 o 1458 117.85/110.62 o 1455 117.85/110.62 o 1453 117.85/110.69 o 1447 117.95/110.77 o 1440 118.27/111.06 o 1423 119.68/112.43 o 1422 120.18/112.91 o 1420 128.60/121.33 o 1417 129.60/122.37 o 1410 129.70/122.46 o 1404 130.50/123.20 o 1401 130.60/123.35 o 1400 131.60/124.32 o 1396 139.10/131.82 o 1395 139.10/131.87 o 1392 139.10/131.87 o 1390 149.02/141.76 o 1388 149.12/141.82 o 1386 149.43/142.15 o 1385 188.13/180.87 o 1365 188.13/180.88 o 1346 188.34/181.09 o 1340 189.73/182.44 o 1330 191.73/184.47 o 1326 192.44/185.16 o 1325 192.44/185.16 o 1323 193.23/185.96 o 1319 196.04/188.79 o 1317 196.04/188.79 o 1313 196.24/188.96 o 1312 206.34/198.92 o 1311 206.45/199.10 o 1308 207.84/200.45 o 1300 210.14/202.75 o 1298 213.64/206.23 o 1295 216.95/209.54 o 1293 217.05/209.63 o 1291 220.56/213.19 o 1290 220.65/213.24 o 1286 225.65/218.22 o 1284 235.46/228.01 o 1283 235.46/228.01 o 1282 235.65/228.21 o 1278 236.05/228.69 o 1270 238.36/230.90 o 1268 245.57/238.13 o 1265 249.11/241.64 o 1262 249.11/241.65 o 1257 254.52/247.10 o 1252 255.62/248.15 o 1240 255.62/248.15 o 1238 256.02/248.54 o 1237 260.02/252.58 o 1233 261.12/253.65 o 1232 261.22/253.74 o 1228 262.42/254.96 o 1227 262.42/254.96 o 1225 262.42/254.96 o 1223 263.92/256.44 o 1220 265.42/257.99 o 1219 265.42/257.99 o 1218 310.73/303.22 o 1217 370.02/362.49 o 1216 370.73/363.17 o 1215 371.42/363.89 o 1209 372.32/364.75 o 1208 373.12/365.51 o 1200 373.43/365.83 o 1199 378.23/370.63 o 1194 386.57/378.98 o 1191 389.37/381.78 o 1187 391.78/384.18 o 1185 397.38/389.72 o 1183 401.79/394.14 o 1178 419.59/411.93 o 1177 421.89/414.26 o 1174 427.09/419.43 o 1172 429.59/421.97 o 1171 450.60/442.97 o 1165 456.60/448.98 o 1163 471.72/464.05 o 1161 483.52/475.86 o 1158 497.62/489.91 o 1156 498.62/490.94 o 1155 498.62/490.95 o 1150 517.59/509.81 o 1148 518.29/510.53 o 1146 523.69/515.94 o 1144 532.80/525.06 o 1143 541.19/533.40 o 1142 541.19/533.47 o 1141 564.70/556.91 o 1134 564.70/556.95 o 1129 575.05/567.29 o 1127 579.05/571.27 o 1126 579.05/571.27 o 1125 579.05/571.27 o 1124 597.06/589.22 o 1119 614.56/606.72 o 1118 614.76/606.97 o 1107 614.76/606.98 o 1103 825.67/817.79 o 1102 836.28/828.34 o 1101 837.38/829.42 o 1100 838.38/830.47 o 1098 847.68/839.74 o 1097 870.96/862.94 o 1096 881.37/873.35 o 1094 884.57/876.57 o 1093 885.47/877.43 o 1090 892.67/884.66 o 1089 893.27/885.29 o 1088 909.09/901.04 o 1083 909.09/901.04 o 1082 917.28/909.29 o 1076 1036.48/1028.31 o 1075 1040.38/1032.26 o 1074 1050.48/1042.32 o 1069 1064.49/1056.35 o 1067 1180.68/1172.42 o 1066 1216.25/1208.00 o 1056 1242.06/1233.79 o 1054 1249.97/1241.64 o 1052 1264.17/1255.81 o 1045 1272.43/1264.10 o 1044 1272.43/1264.10 o 1043 1315.94/1307.54 o 1042 1316.64/1308.20 o 1040 1476.37/1467.87 o 1038 1808.15/1799.45 o 1037 1818.99/1810.23 o 1033 1819.29/1810.55 o 1029 1819.29/1810.57 o 1028 1834.31/1825.51 o 1027 1836.01/1827.29 o 1021 1840.81/1832.01 o 1016 1922.56/1913.71 o 1015 1923.16/1914.37 o 1014 1923.16/1914.37 o 1013 1982.30/1973.49 o 1011 2059.35/2050.46 o 1008 2074.86/2066.00 o 1007 2165.23/2156.21 o 1006 2211.15/2202.15 o 1005 2232.05/2223.01 o 1003 2246.96/2237.95 o 1001 2279.67/2270.64 o 999 2400.06/2390.90 s SATISFIABLE 2400.06/2390.90 v <instantiation> 2400.06/2390.90 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.06/2390.90 v <values>99 106 125 136 132 124 128 47 32 25 14 23 0 7 30 101 91 81 67 71 73 79 82 86 89 108 111 78 70 140 145 141 144 135 114 115 109 112 103 95 92 96 130 104 97 63 50 57 55 54 48 44 49 19 15 27 20 10 1 4 3 2 31 39 59 66 69 76 62 68 88 94 100 102 107 117 121 110 74 64 77 80 83 90 113 142 137 146 148 143 138 133 37 36 52 84 87 93 98 105 120 116 119 123 127 131 134 149 139 147 129 126 122 118 75 46 43 41 40 61 56 42 38 29 21 45 51 58 60 65 33 24 6 5 13 8 12 22 17 11 16 28 9 18 26 34 35 53 72 85 3 9 4 3 3 1 45 6 3 4 4 9 4 8 35 2 4 6 2 9 7 24 2 1 5 2 11 6 40 5 3 3 2 14 4 9 6 2 2 1 1 11 11 2 13 5 6 2 1 2 1 4 11 3 3 4 4 3 4 5 1 10 4 9 9 3 5 4 2 29 5 3 1 6 4 2 7 14 9 10 4 8 4 12 11 1 15 3 14 7 2 36 4 8 14 2 2 5 7 6 4 1 2 1 2 3 4 5 7 19 2 1 2 16 10 1 6 22 12 6 7 3 6 2 14 2 2 1 2 11 8 5 5 2 1 1 4 2 4 1 3 17 3 7 4 4 12 13 4 12 </values> 2400.06/2390.90 v </instantiation> 2400.06/2390.90 c Unexpected resolution interruption!
OK 999
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 (12679 MiB free)
memory of node 1: 16384 MiB (13759 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406574-1569402097/watcher-4406574-1569402097 -o /var/tmp/evaluation-result-4406574-1569402097/solver-4406574-1569402097 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1569396631-700 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1898939242 HOME/instance-4406574-1569402097.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=2064, runsolver pid=2061
[startup+0.101531 s]*
/proc/loadavg: 1.76 1.63 1.68 3/230 2080
/proc/meminfo: memFree=27056516/32770624 swapFree=66957876/67108860
[pid=2064] ppid=2061 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2064/stat : 2064 (xcsp3-exec) S 2061 2064 669 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516448334 115843072 363 33554432000 4194304 5098028 140721897074048 140721897072152 140502938079868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24690688 140721897075542 140721897075801 140721897075801 140721897078726 0
/proc/2064/statm: 28282 363 305 221 0 87 0
[pid=2066] ppid=2064 vsize=15144776 memory=29928 CPUtime=0.13 cores=0,2,4,6
/proc/2066/stat : 2066 (java) S 2064 2064 669 0 -1 1077944320 5449 0 0 0 12 1 0 0 20 0 15 0 516448334 15508250624 7482 33554432000 4194304 4196468 140737246308448 140737246290992 140099780669175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
/proc/2066/statm: 3786194 7482 3137 1 0 3748377 0
[pid=2066/tid=2067] ppid=2064 vsize=15144776 memory=7022364632946311227 CPUtime=0.09 cores=0,2,4,6
/proc/2066/task/2067/stat : 2067 (java) S 2064 2064 669 0 -1 1077944384 3342 0 0 0 9 0 0 0 20 0 15 0 516448334 15508250624 7482 33554432000 4194304 4196468 140737246308448 140099784898928 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2068] ppid=2064 vsize=15144776 memory=4296910620 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2068/stat : 2068 (java) S 2064 2064 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516448335 15508250624 7482 33554432000 4194304 4196468 140737246308448 140099692325776 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2069] ppid=2064 vsize=15144776 memory=140305273390720 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2069/stat : 2069 (java) S 2064 2064 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516448335 15508250624 7482 33554432000 4194304 4196468 140737246308448 140099691272976 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2070] ppid=2064 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2070/stat : 2070 (java) S 2064 2064 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516448335 15508250624 7482 33554432000 4194304 4196468 140737246308448 140099690220688 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2071] ppid=2064 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2071/stat : 2071 (java) S 2064 2064 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516448335 15508250624 7482 33554432000 4194304 4196468 140737246308448 140099689167888 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2072] ppid=2064 vsize=15144776 memory=140305273374336 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2072/stat : 2072 (java) S 2064 2064 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516448336 15508250624 7482 33554432000 4194304 4196468 140737246308448 140099249002608 140099780680322 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2073] ppid=2064 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2073/stat : 2073 (java) S 2064 2064 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516448337 15508250624 7482 33554432000 4194304 4196468 140737246308448 140099247948576 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2074] ppid=2064 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2074/stat : 2074 (java) S 2064 2064 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516448337 15508250624 7482 33554432000 4194304 4196468 140737246308448 140099246896240 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2075] ppid=2064 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2075/stat : 2075 (java) S 2064 2064 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516448339 15508250624 7482 33554432000 4194304 4196468 140737246308448 140099245844560 140099780687771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2076] ppid=2064 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2076/stat : 2076 (java) R 2064 2064 669 0 -1 4202560 365 0 0 0 0 0 0 0 20 0 15 0 516448339 15508250624 7482 33554432000 4194304 4196468 140737246308448 140099244792432 140099764169373 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2077] ppid=2064 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2077/stat : 2077 (java) R 2064 2064 669 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 516448339 15508250624 7482 33554432000 4194304 4196468 140737246308448 140099243739632 140099780680322 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2078] ppid=2064 vsize=15144776 memory=140305273374336 CPUtime=0.02 cores=0,2,4,6
/proc/2066/task/2078/stat : 2078 (java) S 2064 2064 669 0 -1 1077944384 318 0 0 0 2 0 0 0 20 0 15 0 516448339 15508250624 7482 33554432000 4194304 4196468 140737246308448 140099242687344 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2079] ppid=2064 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2079/stat : 2079 (java) S 2064 2064 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516448339 15508250624 7482 33554432000 4194304 4196468 140737246308448 140099241634784 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2080] ppid=2064 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2080/stat : 2080 (java) S 2064 2064 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516448340 15508250624 7482 33554432000 4194304 4196468 140737246308448 140099240581552 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31380 KiB
[startup+0.210743 s]*
/proc/loadavg: 1.76 1.63 1.68 4/230 2080
/proc/meminfo: memFree=27044288/32770624 swapFree=66957876/67108860
[pid=2064] ppid=2061 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2064/stat : 2064 (xcsp3-exec) S 2061 2064 669 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516448334 115843072 363 33554432000 4194304 5098028 140721897074048 140721897072152 140502938079868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24690688 140721897075542 140721897075801 140721897075801 140721897078726 0
/proc/2064/statm: 28282 363 305 221 0 87 0
[pid=2066] ppid=2064 vsize=15144776 memory=40472 CPUtime=0.34 cores=0,2,4,6
/proc/2066/stat : 2066 (java) S 2064 2064 669 0 -1 1077944320 8844 0 0 0 32 2 0 0 20 0 15 0 516448334 15508250624 10118 33554432000 4194304 4196468 140737246308448 140737246290992 140099780669175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
/proc/2066/statm: 3786194 10118 3290 1 0 3748377 0
[pid=2066/tid=2067] ppid=2064 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/2066/task/2067/stat : 2067 (java) R 2064 2064 669 0 -1 4202560 6103 0 0 0 18 2 0 0 20 0 15 0 516448334 15508250624 10118 33554432000 4194304 4196468 140737246308448 140099784903232 140099764749662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2068] ppid=2064 vsize=15144776 memory=4296910620 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2068/stat : 2068 (java) S 2064 2064 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516448335 15508250624 10118 33554432000 4194304 4196468 140737246308448 140099692325776 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2069] ppid=2064 vsize=15144776 memory=140305273390720 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2069/stat : 2069 (java) S 2064 2064 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516448335 15508250624 10118 33554432000 4194304 4196468 140737246308448 140099691272976 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2070] ppid=2064 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2070/stat : 2070 (java) S 2064 2064 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516448335 15508250624 10118 33554432000 4194304 4196468 140737246308448 140099690220688 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2071] ppid=2064 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2071/stat : 2071 (java) S 2064 2064 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516448335 15508250624 10118 33554432000 4194304 4196468 140737246308448 140099689167888 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2072] ppid=2064 vsize=15144776 memory=140305273374336 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2072/stat : 2072 (java) S 2064 2064 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516448336 15508250624 10118 33554432000 4194304 4196468 140737246308448 140099249002608 140099780680322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2073] ppid=2064 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2073/stat : 2073 (java) S 2064 2064 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516448337 15508250624 10118 33554432000 4194304 4196468 140737246308448 140099247948576 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2074] ppid=2064 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2074/stat : 2074 (java) S 2064 2064 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516448337 15508250624 10118 33554432000 4194304 4196468 140737246308448 140099246896240 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2075] ppid=2064 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2075/stat : 2075 (java) S 2064 2064 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516448339 15508250624 10118 33554432000 4194304 4196468 140737246308448 140099245844560 140099780687771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2076] ppid=2064 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2066/task/2076/stat : 2076 (java) S 2064 2064 669 0 -1 1077944384 459 0 0 0 2 0 0 0 20 0 15 0 516448339 15508250624 10118 33554432000 4194304 4196468 140737246308448 140099244792432 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2077] ppid=2064 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2066/task/2077/stat : 2077 (java) S 2064 2064 669 0 -1 1077944384 202 0 0 0 2 0 0 0 20 0 15 0 516448339 15508250624 10118 33554432000 4194304 4196468 140737246308448 140099243739632 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2078] ppid=2064 vsize=15144776 memory=140305273374336 CPUtime=0.08 cores=0,2,4,6
/proc/2066/task/2078/stat : 2078 (java) S 2064 2064 669 0 -1 1077944384 775 0 0 0 8 0 0 0 20 0 15 0 516448339 15508250624 10118 33554432000 4194304 4196468 140737246308448 140099242687344 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2079] ppid=2064 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2079/stat : 2079 (java) S 2064 2064 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516448339 15508250624 10118 33554432000 4194304 4196468 140737246308448 140099241634784 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2080] ppid=2064 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2080/stat : 2080 (java) S 2064 2064 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516448340 15508250624 10118 33554432000 4194304 4196468 140737246308448 140099240581552 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41924 KiB
[startup+0.316111 s]*
/proc/loadavg: 1.76 1.63 1.68 4/230 2080
/proc/meminfo: memFree=27037076/32770624 swapFree=66957876/67108860
[pid=2064] ppid=2061 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2064/stat : 2064 (xcsp3-exec) S 2061 2064 669 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516448334 115843072 363 33554432000 4194304 5098028 140721897074048 140721897072152 140502938079868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24690688 140721897075542 140721897075801 140721897075801 140721897078726 0
/proc/2064/statm: 28282 363 305 221 0 87 0
[pid=2066] ppid=2064 vsize=15149032 memory=49848 CPUtime=0.53 cores=0,2,4,6
/proc/2066/stat : 2066 (java) S 2064 2064 669 0 -1 1077944320 10340 0 0 0 50 3 0 0 20 0 15 0 516448334 15512608768 12462 33554432000 4194304 4196468 140737246308448 140737246290992 140099780669175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
/proc/2066/statm: 3787258 12462 3357 1 0 3748377 0
[pid=2066/tid=2067] ppid=2064 vsize=15149032 memory=1399051139730258233 CPUtime=0.31 cores=0,2,4,6
/proc/2066/task/2067/stat : 2067 (java) R 2064 2064 669 0 -1 4202560 7311 0 0 0 28 3 0 0 20 0 15 0 516448334 15512608768 12527 33554432000 4194304 4196468 140737246308448 140099784902960 140099764749662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2068] ppid=2064 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2068/stat : 2068 (java) S 2064 2064 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516448335 15512608768 12527 33554432000 4194304 4196468 140737246308448 140099692325776 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2069] ppid=2064 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2069/stat : 2069 (java) S 2064 2064 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516448335 15512608768 12527 33554432000 4194304 4196468 140737246308448 140099691272976 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2070] ppid=2064 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2070/stat : 2070 (java) S 2064 2064 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516448335 15512608768 12527 33554432000 4194304 4196468 140737246308448 140099690220688 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2071] ppid=2064 vsize=15149032 memory=-1807685287725067907 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2071/stat : 2071 (java) S 2064 2064 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516448335 15512608768 12527 33554432000 4194304 4196468 140737246308448 140099689167888 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2072] ppid=2064 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2072/stat : 2072 (java) S 2064 2064 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516448336 15512608768 12527 33554432000 4194304 4196468 140737246308448 140099249002608 140099780680322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2073] ppid=2064 vsize=15149032 memory=-2127767799640501289 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2073/stat : 2073 (java) S 2064 2064 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516448337 15512608768 12527 33554432000 4194304 4196468 140737246308448 140099247948576 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2074] ppid=2064 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2074/stat : 2074 (java) S 2064 2064 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516448337 15512608768 12527 33554432000 4194304 4196468 140737246308448 140099246896240 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2075] ppid=2064 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2075/stat : 2075 (java) S 2064 2064 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516448339 15512608768 12527 33554432000 4194304 4196468 140737246308448 140099245844560 140099780687771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2076] ppid=2064 vsize=15149032 memory=6944656592455359580 CPUtime=0.05 cores=0,2,4,6
/proc/2066/task/2076/stat : 2076 (java) S 2064 2064 669 0 -1 1077944384 579 0 0 0 5 0 0 0 20 0 15 0 516448339 15512608768 12527 33554432000 4194304 4196468 140737246308448 140099244792432 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2077] ppid=2064 vsize=15149032 memory=-6896061313178951780 CPUtime=0.03 cores=0,2,4,6
/proc/2066/task/2077/stat : 2077 (java) S 2064 2064 669 0 -1 1077944384 240 0 0 0 3 0 0 0 20 0 15 0 516448339 15512608768 12527 33554432000 4194304 4196468 140737246308448 140099243739632 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2078] ppid=2064 vsize=15149032 memory=-6876588628787748224 CPUtime=0.12 cores=0,2,4,6
/proc/2066/task/2078/stat : 2078 (java) R 2064 2064 669 0 -1 4202560 915 0 0 0 12 0 0 0 20 0 15 0 516448339 15512608768 12527 33554432000 4194304 4196468 140737246308448 140099242687344 140099759194899 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2079] ppid=2064 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2079/stat : 2079 (java) S 2064 2064 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516448339 15512608768 12527 33554432000 4194304 4196468 140737246308448 140099241634784 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2080] ppid=2064 vsize=15149032 memory=3054156605267021953 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2080/stat : 2080 (java) S 2064 2064 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516448340 15512608768 12527 33554432000 4194304 4196468 140737246308448 140099240581552 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51300 KiB
[startup+0.701155 s]
/proc/loadavg: 1.76 1.63 1.68 5/230 2080
/proc/meminfo: memFree=27008984/32770624 swapFree=66957876/67108860
[pid=2064] ppid=2061 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2064/stat : 2064 (xcsp3-exec) S 2061 2064 669 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516448334 115843072 363 33554432000 4194304 5098028 140721897074048 140721897072152 140502938079868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24690688 140721897075542 140721897075801 140721897075801 140721897078726 0
/proc/2064/statm: 28282 363 305 221 0 87 0
[pid=2066] ppid=2064 vsize=15151156 memory=121524 CPUtime=1.63 cores=0,2,4,6
/proc/2066/stat : 2066 (java) S 2064 2064 669 0 -1 1077944320 14235 0 0 0 158 5 0 0 20 0 15 0 516448334 15514783744 30381 33554432000 4194304 4196468 140737246308448 140737246290992 140099780669175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
/proc/2066/statm: 3787789 30381 3452 1 0 3748889 0
[pid=2066/tid=2067] ppid=2064 vsize=15151156 memory=5782692679075529345 CPUtime=0.67 cores=0,2,4,6
/proc/2066/task/2067/stat : 2067 (java) R 2064 2064 669 0 -1 4202560 8358 0 0 0 64 3 0 0 20 0 15 0 516448334 15514783744 30381 33554432000 4194304 4196468 140737246308448 140099784904000 140099370804395 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2068] ppid=2064 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2068/stat : 2068 (java) S 2064 2064 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516448335 15514783744 30381 33554432000 4194304 4196468 140737246308448 140099692325776 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2069] ppid=2064 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2069/stat : 2069 (java) S 2064 2064 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516448335 15514783744 30381 33554432000 4194304 4196468 140737246308448 140099691272976 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2070] ppid=2064 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2070/stat : 2070 (java) S 2064 2064 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516448335 15514783744 30381 33554432000 4194304 4196468 140737246308448 140099690220688 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2071] ppid=2064 vsize=15151156 memory=6168 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2071/stat : 2071 (java) S 2064 2064 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516448335 15514783744 30381 33554432000 4194304 4196468 140737246308448 140099689167888 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2072] ppid=2064 vsize=15151156 memory=624 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2072/stat : 2072 (java) S 2064 2064 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516448336 15514783744 30381 33554432000 4194304 4196468 140737246308448 140099249002608 140099780680322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2073] ppid=2064 vsize=15151156 memory=3636 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2073/stat : 2073 (java) S 2064 2064 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516448337 15514783744 30381 33554432000 4194304 4196468 140737246308448 140099247948576 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2074] ppid=2064 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2074/stat : 2074 (java) S 2064 2064 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516448337 15514783744 30381 33554432000 4194304 4196468 140737246308448 140099246896240 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2075] ppid=2064 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2075/stat : 2075 (java) S 2064 2064 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516448339 15514783744 30381 33554432000 4194304 4196468 140737246308448 140099245844560 140099780687771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2076] ppid=2064 vsize=15151156 memory=1808 CPUtime=0.31 cores=0,2,4,6
/proc/2066/task/2076/stat : 2076 (java) R 2064 2064 669 0 -1 4202560 1369 0 0 0 31 0 0 0 20 0 15 0 516448339 15514783744 30381 33554432000 4194304 4196468 140737246308448 140099244779520 140099764565242 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2077] ppid=2064 vsize=15151156 memory=924 CPUtime=0.31 cores=0,2,4,6
/proc/2066/task/2077/stat : 2077 (java) R 2064 2064 669 0 -1 4202560 1146 0 0 0 31 0 0 0 20 0 15 0 516448339 15514783744 30381 33554432000 4194304 4196468 140737246308448 140099243727872 140099764642864 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2078] ppid=2064 vsize=15151156 memory=3848 CPUtime=0.3 cores=0,2,4,6
/proc/2066/task/2078/stat : 2078 (java) S 2064 2064 669 0 -1 1077944384 2054 0 0 0 30 0 0 0 20 0 15 0 516448339 15514783744 30381 33554432000 4194304 4196468 140737246308448 140099242687344 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2079] ppid=2064 vsize=15151156 memory=2888 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2079/stat : 2079 (java) S 2064 2064 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516448339 15514783744 30381 33554432000 4194304 4196468 140737246308448 140099241634784 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2080] ppid=2064 vsize=15151156 memory=2664 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2080/stat : 2080 (java) S 2064 2064 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516448340 15514783744 30381 33554432000 4194304 4196468 140737246308448 140099240581552 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 122976 KiB
[startup+1.50115 s]
/proc/loadavg: 1.76 1.63 1.68 6/230 2080
/proc/meminfo: memFree=26694404/32770624 swapFree=66957876/67108860
[pid=2064] ppid=2061 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2064/stat : 2064 (xcsp3-exec) S 2061 2064 669 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516448334 115843072 363 33554432000 4194304 5098028 140721897074048 140721897072152 140502938079868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24690688 140721897075542 140721897075801 140721897075801 140721897078726 0
/proc/2064/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/2066/task/2074/stat : 2074 (java) S 2064 2064 669 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 516448337 15514783744 286972 33554432000 4194304 4196468 140737246308448 140099246896256 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2075] ppid=2064 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2075/stat : 2075 (java) S 2064 2064 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516448339 15514783744 286972 33554432000 4194304 4196468 140737246308448 140099245844560 140099780687771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2076] ppid=2064 vsize=15151156 memory=11632 CPUtime=2.72 cores=0,2,4,6
/proc/2066/task/2076/stat : 2076 (java) S 2064 2064 669 0 -1 1077944384 14853 0 0 0 271 1 0 0 20 0 15 0 516448339 15514783744 286972 33554432000 4194304 4196468 140737246308448 140099244792432 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2077] ppid=2064 vsize=15151156 memory=1732 CPUtime=3.06 cores=0,2,4,6
/proc/2066/task/2077/stat : 2077 (java) S 2064 2064 669 0 -1 1077944384 17235 0 0 0 304 2 0 0 20 0 15 0 516448339 15514783744 286972 33554432000 4194304 4196468 140737246308448 140099243739632 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2078] ppid=2064 vsize=15151156 memory=1428 CPUtime=0.66 cores=0,2,4,6
/proc/2066/task/2078/stat : 2078 (java) S 2064 2064 669 0 -1 1077944384 11004 0 0 0 64 2 0 0 20 0 15 0 516448339 15514783744 286972 33554432000 4194304 4196468 140737246308448 140099242687344 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2079] ppid=2064 vsize=15151156 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2079/stat : 2079 (java) S 2064 2064 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516448339 15514783744 286972 33554432000 4194304 4196468 140737246308448 140099241634784 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2080] ppid=2064 vsize=15151156 memory=1732 CPUtime=0.65 cores=0,2,4,6
/proc/2066/task/2080/stat : 2080 (java) S 2064 2064 669 0 -1 1077944384 1296 0 0 0 30 35 0 0 20 0 15 0 516448340 15514783744 286972 33554432000 4194304 4196468 140737246308448 140099240581552 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
Current children cumulated CPU time: 2331.44 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1149340 KiB
[startup+2382.3 s]
/proc/loadavg: 1.90 1.88 1.87 3/229 2411
/proc/meminfo: memFree=26152880/32770624 swapFree=66957880/67108860
[pid=2064] ppid=2061 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2064/stat : 2064 (xcsp3-exec) S 2061 2064 669 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516448334 115843072 363 33554432000 4194304 5098028 140721897074048 140721897072152 140502938079868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24690688 140721897075542 140721897075801 140721897075801 140721897078726 0
/proc/2064/statm: 28282 363 305 221 0 87 0
[pid=2066] ppid=2064 vsize=15151156 memory=1128392 CPUtime=2391.46 cores=0,2,4,6
/proc/2066/stat : 2066 (java) S 2064 2064 669 0 -1 1077944320 119948 0 0 0 239019 127 0 0 20 0 15 0 516448334 15514783744 282098 33554432000 4194304 4196468 140737246308448 140737246290992 140099780669175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
/proc/2066/statm: 3787789 282098 3532 1 0 3748889 0
[pid=2066/tid=2067] ppid=2064 vsize=15151156 memory=1128392 CPUtime=2381.39 cores=0,2,4,6
/proc/2066/task/2067/stat : 2067 (java) R 2064 2064 669 0 -1 4202560 47503 0 0 0 238122 17 0 0 20 0 15 0 516448334 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099784908688 140099374144018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2068] ppid=2064 vsize=15151156 memory=1452 CPUtime=0.69 cores=0,2,4,6
/proc/2066/task/2068/stat : 2068 (java) S 2064 2064 669 0 -1 1077944384 5335 0 0 0 50 19 0 0 20 0 15 0 516448335 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099692325776 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2069] ppid=2064 vsize=15151156 memory=1128392 CPUtime=0.69 cores=0,2,4,6
/proc/2066/task/2069/stat : 2069 (java) S 2064 2064 669 0 -1 1077944384 5345 0 0 0 50 19 0 0 20 0 15 0 516448335 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099691272976 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2070] ppid=2064 vsize=15151156 memory=1147888 CPUtime=0.69 cores=0,2,4,6
/proc/2066/task/2070/stat : 2070 (java) S 2064 2064 669 0 -1 1077944384 5350 0 0 0 50 19 0 0 20 0 15 0 516448335 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099690220688 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2071] ppid=2064 vsize=15151156 memory=6168 CPUtime=0.68 cores=0,2,4,6
/proc/2066/task/2071/stat : 2071 (java) S 2064 2064 669 0 -1 1077944384 5255 0 0 0 50 18 0 0 20 0 15 0 516448335 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099689167888 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2072] ppid=2064 vsize=15151156 memory=1147888 CPUtime=0.12 cores=0,2,4,6
/proc/2066/task/2072/stat : 2072 (java) S 2064 2064 669 0 -1 1077944384 5398 0 0 0 11 1 0 0 20 0 15 0 516448336 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099249002608 140099780680322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2073] ppid=2064 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2073/stat : 2073 (java) S 2064 2064 669 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 516448337 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099247948640 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2074] ppid=2064 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2074/stat : 2074 (java) S 2064 2064 669 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 516448337 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099246896256 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2075] ppid=2064 vsize=15151156 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2075/stat : 2075 (java) S 2064 2064 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516448339 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099245844560 140099780687771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2076] ppid=2064 vsize=15151156 memory=1452 CPUtime=2.72 cores=0,2,4,6
/proc/2066/task/2076/stat : 2076 (java) S 2064 2064 669 0 -1 1077944384 14855 0 0 0 271 1 0 0 20 0 15 0 516448339 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099244792432 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2077] ppid=2064 vsize=15151156 memory=1452 CPUtime=3.06 cores=0,2,4,6
/proc/2066/task/2077/stat : 2077 (java) S 2064 2064 669 0 -1 1077944384 17238 0 0 0 304 2 0 0 20 0 15 0 516448339 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099243739632 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2078] ppid=2064 vsize=15151156 memory=3304 CPUtime=0.66 cores=0,2,4,6
/proc/2066/task/2078/stat : 2078 (java) S 2064 2064 669 0 -1 1077944384 11006 0 0 0 64 2 0 0 20 0 15 0 516448339 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099242687344 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2079] ppid=2064 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2079/stat : 2079 (java) S 2064 2064 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516448339 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099241634784 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2080] ppid=2064 vsize=15151156 memory=3620 CPUtime=0.66 cores=0,2,4,6
/proc/2066/task/2080/stat : 2080 (java) S 2064 2064 669 0 -1 1077944384 1317 0 0 0 30 36 0 0 20 0 15 0 516448340 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099240581552 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
Current children cumulated CPU time: 2391.46 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1129844 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2390.9 s]
/proc/loadavg: 1.83 1.87 1.87 3/229 2411
/proc/meminfo: memFree=26152912/32770624 swapFree=66957880/67108860
[pid=2064] ppid=2061 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2064/stat : 2064 (xcsp3-exec) S 2061 2064 669 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516448334 115843072 363 33554432000 4194304 5098028 140721897074048 140721897072152 140502938079868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24690688 140721897075542 140721897075801 140721897075801 140721897078726 0
/proc/2064/statm: 28282 363 305 221 0 87 0
[pid=2066] ppid=2064 vsize=15151156 memory=1128392 CPUtime=2400.06 cores=0,2,4,6
/proc/2066/stat : 2066 (java) S 2064 2064 669 0 -1 1077944320 119998 0 0 0 239879 127 0 0 20 0 15 0 516448334 15514783744 282098 33554432000 4194304 4196468 140737246308448 140737246290992 140099780669175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
/proc/2066/statm: 3787789 282098 3532 1 0 3748889 0
[pid=2066/tid=2067] ppid=2064 vsize=15151156 memory=1452 CPUtime=2389.99 cores=0,2,4,6
/proc/2066/task/2067/stat : 2067 (java) R 2064 2064 669 0 -1 4202560 47553 0 0 0 238982 17 0 0 20 0 15 0 516448334 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099784908688 140099373396384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2068] ppid=2064 vsize=15151156 memory=1128392 CPUtime=0.69 cores=0,2,4,6
/proc/2066/task/2068/stat : 2068 (java) S 2064 2064 669 0 -1 1077944384 5335 0 0 0 50 19 0 0 20 0 15 0 516448335 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099692325776 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2069] ppid=2064 vsize=15151156 memory=1128392 CPUtime=0.69 cores=0,2,4,6
/proc/2066/task/2069/stat : 2069 (java) S 2064 2064 669 0 -1 1077944384 5345 0 0 0 50 19 0 0 20 0 15 0 516448335 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099691272976 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2070] ppid=2064 vsize=15151156 memory=1452 CPUtime=0.69 cores=0,2,4,6
/proc/2066/task/2070/stat : 2070 (java) S 2064 2064 669 0 -1 1077944384 5350 0 0 0 50 19 0 0 20 0 15 0 516448335 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099690220688 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2071] ppid=2064 vsize=15151156 memory=1128392 CPUtime=0.68 cores=0,2,4,6
/proc/2066/task/2071/stat : 2071 (java) S 2064 2064 669 0 -1 1077944384 5255 0 0 0 50 18 0 0 20 0 15 0 516448335 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099689167888 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2072] ppid=2064 vsize=15151156 memory=1452 CPUtime=0.12 cores=0,2,4,6
/proc/2066/task/2072/stat : 2072 (java) S 2064 2064 669 0 -1 1077944384 5398 0 0 0 11 1 0 0 20 0 15 0 516448336 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099249002608 140099780680322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2073] ppid=2064 vsize=15151156 memory=1147888 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2073/stat : 2073 (java) S 2064 2064 669 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 516448337 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099247948640 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2074] ppid=2064 vsize=15151156 memory=280610346834608 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2074/stat : 2074 (java) S 2064 2064 669 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 516448337 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099246896256 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2075] ppid=2064 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2075/stat : 2075 (java) S 2064 2064 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516448339 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099245844560 140099780687771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2076] ppid=2064 vsize=15151156 memory=1128392 CPUtime=2.72 cores=0,2,4,6
/proc/2066/task/2076/stat : 2076 (java) S 2064 2064 669 0 -1 1077944384 14855 0 0 0 271 1 0 0 20 0 15 0 516448339 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099244792432 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2077] ppid=2064 vsize=15151156 memory=1128392 CPUtime=3.06 cores=0,2,4,6
/proc/2066/task/2077/stat : 2077 (java) S 2064 2064 669 0 -1 1077944384 17238 0 0 0 304 2 0 0 20 0 15 0 516448339 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099243739632 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2078] ppid=2064 vsize=15151156 memory=1452 CPUtime=0.66 cores=0,2,4,6
/proc/2066/task/2078/stat : 2078 (java) S 2064 2064 669 0 -1 1077944384 11006 0 0 0 64 2 0 0 20 0 15 0 516448339 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099242687344 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2079] ppid=2064 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2079/stat : 2079 (java) S 2064 2064 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516448339 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099241634784 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2080] ppid=2064 vsize=15151156 memory=1128392 CPUtime=0.66 cores=0,2,4,6
/proc/2066/task/2080/stat : 2080 (java) S 2064 2064 669 0 -1 1077944384 1317 0 0 0 30 36 0 0 20 0 15 0 516448340 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099240581552 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1129844 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2390.91 s]
# the end of solver process 2064 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002334 s, system=0 s
[startup+2390.91 s]
# the end of solver process 2066 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.81 s, system=1.27616 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+2390.9 s]
/proc/loadavg: 1.83 1.87 1.87 3/229 2411
/proc/meminfo: memFree=26152912/32770624 swapFree=66957880/67108860
[pid=2064] ppid=2061 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2064/stat : 2064 (xcsp3-exec) S 2061 2064 669 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516448334 115843072 363 33554432000 4194304 5098028 140721897074048 140721897072152 140502938079868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24690688 140721897075542 140721897075801 140721897075801 140721897078726 0
/proc/2064/statm: 28282 363 305 221 0 87 0
[pid=2066] ppid=2064 vsize=15151156 memory=1128392 CPUtime=2400.06 cores=0,2,4,6
/proc/2066/stat : 2066 (java) S 2064 2064 669 0 -1 1077944320 119998 0 0 0 239879 127 0 0 20 0 15 0 516448334 15514783744 282098 33554432000 4194304 4196468 140737246308448 140737246290992 140099780669175 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
/proc/2066/statm: 3787789 282098 3532 1 0 3748889 0
[pid=2066/tid=2067] ppid=2064 vsize=15151156 memory=1452 CPUtime=2389.99 cores=0,2,4,6
/proc/2066/task/2067/stat : 2067 (java) R 2064 2064 669 0 -1 4202560 47553 0 0 0 238982 17 0 0 20 0 15 0 516448334 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099784908688 140099373396384 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2068] ppid=2064 vsize=15151156 memory=1128392 CPUtime=0.69 cores=0,2,4,6
/proc/2066/task/2068/stat : 2068 (java) S 2064 2064 669 0 -1 1077944384 5335 0 0 0 50 19 0 0 20 0 15 0 516448335 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099692325776 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2069] ppid=2064 vsize=15151156 memory=1128392 CPUtime=0.69 cores=0,2,4,6
/proc/2066/task/2069/stat : 2069 (java) S 2064 2064 669 0 -1 1077944384 5345 0 0 0 50 19 0 0 20 0 15 0 516448335 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099691272976 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2070] ppid=2064 vsize=15151156 memory=1452 CPUtime=0.69 cores=0,2,4,6
/proc/2066/task/2070/stat : 2070 (java) S 2064 2064 669 0 -1 1077944384 5350 0 0 0 50 19 0 0 20 0 15 0 516448335 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099690220688 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2071] ppid=2064 vsize=15151156 memory=1128392 CPUtime=0.68 cores=0,2,4,6
/proc/2066/task/2071/stat : 2071 (java) S 2064 2064 669 0 -1 1077944384 5255 0 0 0 50 18 0 0 20 0 15 0 516448335 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099689167888 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2072] ppid=2064 vsize=15151156 memory=1452 CPUtime=0.12 cores=0,2,4,6
/proc/2066/task/2072/stat : 2072 (java) S 2064 2064 669 0 -1 1077944384 5398 0 0 0 11 1 0 0 20 0 15 0 516448336 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099249002608 140099780680322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2073] ppid=2064 vsize=15151156 memory=1147888 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2073/stat : 2073 (java) S 2064 2064 669 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 516448337 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099247948640 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2074] ppid=2064 vsize=15151156 memory=280610346834608 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2074/stat : 2074 (java) S 2064 2064 669 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 516448337 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099246896256 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2075] ppid=2064 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2075/stat : 2075 (java) S 2064 2064 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516448339 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099245844560 140099780687771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2076] ppid=2064 vsize=15151156 memory=1128392 CPUtime=2.72 cores=0,2,4,6
/proc/2066/task/2076/stat : 2076 (java) S 2064 2064 669 0 -1 1077944384 14855 0 0 0 271 1 0 0 20 0 15 0 516448339 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099244792432 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2077] ppid=2064 vsize=15151156 memory=1128392 CPUtime=3.06 cores=0,2,4,6
/proc/2066/task/2077/stat : 2077 (java) S 2064 2064 669 0 -1 1077944384 17238 0 0 0 304 2 0 0 20 0 15 0 516448339 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099243739632 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2078] ppid=2064 vsize=15151156 memory=1452 CPUtime=0.66 cores=0,2,4,6
/proc/2066/task/2078/stat : 2078 (java) S 2064 2064 669 0 -1 1077944384 11006 0 0 0 64 2 0 0 20 0 15 0 516448339 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099242687344 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2079] ppid=2064 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2066/task/2079/stat : 2079 (java) S 2064 2064 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516448339 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099241634784 140099780679381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
[pid=2066/tid=2080] ppid=2064 vsize=15151156 memory=1128392 CPUtime=0.66 cores=0,2,4,6
/proc/2066/task/2080/stat : 2080 (java) S 2064 2064 669 0 -1 1077944384 1317 0 0 0 30 36 0 0 20 0 15 0 516448340 15514783744 282098 33554432000 4194304 4196468 140737246308448 140099240581552 140099780680322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22282240 140737246311387 140737246311562 140737246311562 140737246314447 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1129844 KiB
Child status: 143
Real time (s): 2390.91
CPU time (s): 2400.08
CPU user time (s): 2398.81
CPU system time (s): 1.27616
CPU usage (%): 100.384
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 1361800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.81
system time used= 1.27616
maximum resident set size= 1364456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120842
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55692
involuntary context switches= 1043
# summary of solver processes directly reported to runsolver:
# pid: 2064,2066
# total CPU time (s): 2400.08
# total CPU user time (s): 2398.81
# total CPU system time (s): 1.27616
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.2337 second user time and 20.5632 second system time
The end
Begin job on node149 at 2019-09-25 11:00:59 IDJOB=4406574 IDBENCH=135802 IDSOLVER=2870 FILE ID=node149/4406574-1569402097 RUNJOBID= node149-1569396631-700 PBS_JOBID= 21705676 Free space on /var/tmp= 13456 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n150/TravellingSalesman-150-50-13.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406574-1569402097/watcher-4406574-1569402097 -o /var/tmp/evaluation-result-4406574-1569402097/solver-4406574-1569402097 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1569396631-700 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1898939242 HOME/instance-4406574-1569402097.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d698eba466bb4d42bacc008ef87467ee RANDOM SEED=1898939242 node149.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.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27074432 kB MemAvailable: 31369280 kB Buffers: 139484 kB Cached: 4244512 kB SwapCached: 42452 kB Active: 3501572 kB Inactive: 1366240 kB Active(anon): 441172 kB Inactive(anon): 96508 kB Active(file): 3060400 kB Inactive(file): 1269732 kB Unevictable: 107544 kB Mlocked: 107544 kB SwapTotal: 67108860 kB SwapFree: 66957876 kB Dirty: 25984 kB Writeback: 0 kB AnonPages: 616832 kB Mapped: 71300 kB Shmem: 45020 kB Slab: 422492 kB SReclaimable: 393176 kB SUnreclaim: 29316 kB KernelStack: 4016 kB PageTables: 7156 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1312000 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 559104 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /var/tmp at the end= 13428 MiB End job on node149 at 2019-09-25 11:40:50