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) | 992 | 2520.06 | 2511.02 |
| Name | TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-13.xml |
| MD5SUM | d698eba466bb4d42bacc008ef87467ee |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 549 |
| Best CPU time to get the best result obtained on this benchmark | 20119.1 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 300 |
| Number of constraints | 151 |
| Number of domains | 2 |
| Minimum domain size | 66 |
| Maximum domain size | 150 |
| Distribution of domain sizes | [{"size":66,"count":150},{"size":150,"count":150}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":2,"count":150},{"degree":3,"count":150}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 150 |
| Distribution of constraint arities | [{"arity":3,"count":150},{"arity":150,"count":1}] |
| Number of extensional constraints | 150 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":150},{"type":"allDifferent","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406274-1569410953.xml" -tl '2520s' -p 1 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406274-1569410953.xml, -tl, 2520s, -p, 1] 0.34/0.22 c simple solver 0.34/0.28 c parse instance... 3.15/1.31 c solve instance... 49.28/44.31 o 1805 49.28/44.33 o 1786 49.54/44.46 o 1775 50.48/44.83 o 1771 50.48/44.83 o 1763 50.48/44.83 o 1758 51.74/45.94 o 1752 52.07/46.20 o 1745 52.30/46.50 o 1742 53.19/47.14 o 1741 54.47/48.21 o 1740 54.47/48.22 o 1735 55.57/49.14 o 1733 56.00/49.59 o 1731 56.10/49.60 o 1725 56.65/50.18 o 1719 56.65/50.19 o 1718 56.65/50.19 o 1715 56.65/50.19 o 1714 57.25/50.71 o 1711 57.25/50.71 o 1705 57.35/50.82 o 1703 57.35/50.82 o 1702 58.94/52.32 o 1700 60.55/53.92 o 1695 61.15/54.59 o 1693 62.05/55.47 o 1677 62.76/56.17 o 1676 63.35/56.76 o 1668 66.26/59.68 o 1665 66.56/59.91 o 1662 66.56/59.92 o 1656 66.77/60.17 o 1655 67.96/61.39 o 1654 67.96/61.39 o 1653 68.27/61.64 o 1648 69.57/62.92 o 1635 69.57/62.93 o 1630 70.04/63.38 o 1629 70.75/64.01 o 1628 73.52/66.79 o 1595 73.52/66.79 o 1593 75.64/68.83 o 1591 75.64/68.83 o 1586 75.64/68.84 o 1573 76.04/69.21 o 1569 76.64/69.83 o 1564 77.36/70.52 o 1563 77.97/71.13 o 1561 86.88/80.07 o 1560 97.88/91.02 o 1553 98.57/91.74 o 1551 98.57/91.75 o 1546 98.98/92.19 o 1530 99.17/92.36 o 1526 99.17/92.36 o 1521 100.17/93.38 o 1515 100.27/93.46 o 1514 102.07/95.29 o 1512 102.47/95.69 o 1509 102.47/95.69 o 1507 102.47/95.70 o 1501 105.58/98.73 o 1500 106.32/99.44 o 1498 108.32/101.42 o 1495 108.32/101.42 o 1494 108.52/101.64 o 1491 109.13/102.21 o 1488 110.13/103.22 o 1483 110.53/103.60 o 1482 110.73/103.87 o 1476 114.84/108.01 o 1472 114.94/108.01 o 1467 115.05/108.18 o 1464 115.05/108.18 o 1463 118.55/111.66 o 1462 118.55/111.67 o 1458 118.55/111.69 o 1455 118.55/111.69 o 1453 118.65/111.76 o 1447 118.75/111.85 o 1440 119.07/112.14 o 1423 120.48/113.54 o 1422 120.99/114.02 o 1420 129.70/122.73 o 1417 130.70/123.79 o 1410 130.80/123.88 o 1404 131.60/124.63 o 1401 131.70/124.79 o 1400 132.70/125.77 o 1396 140.50/133.55 o 1395 140.50/133.60 o 1392 140.60/133.60 o 1390 150.81/143.86 o 1388 150.91/143.92 o 1386 151.21/144.27 o 1385 191.53/184.54 o 1365 191.53/184.55 o 1346 191.73/184.78 o 1340 193.14/186.15 o 1330 195.23/188.25 o 1326 195.93/188.96 o 1325 195.93/188.96 o 1323 196.73/189.77 o 1319 199.63/192.66 o 1317 199.63/192.67 o 1313 199.83/192.85 o 1312 210.24/203.13 o 1311 210.43/203.32 o 1308 211.84/204.71 o 1300 214.15/207.05 o 1298 217.74/210.67 o 1295 221.16/214.06 o 1293 221.26/214.15 o 1291 224.95/217.81 o 1290 224.95/217.86 o 1286 230.16/223.04 o 1284 240.26/233.19 o 1283 240.26/233.19 o 1282 240.45/233.40 o 1278 240.95/233.88 o 1270 243.26/236.16 o 1268 250.65/243.57 o 1265 254.31/247.17 o 1262 254.31/247.18 o 1257 260.01/252.82 o 1252 261.01/253.89 o 1240 261.12/253.90 o 1238 261.42/254.29 o 1237 265.62/258.43 o 1233 266.72/259.52 o 1232 266.82/259.62 o 1228 268.02/260.85 o 1227 268.02/260.85 o 1225 268.02/260.85 o 1223 269.52/262.37 o 1220 271.13/263.95 o 1219 271.13/263.95 o 1218 318.03/310.85 o 1217 379.76/372.50 o 1216 380.37/373.19 o 1215 381.16/373.93 o 1209 382.06/374.80 o 1208 382.76/375.57 o 1200 383.23/375.92 o 1199 388.13/380.87 o 1194 396.78/389.42 o 1191 399.58/392.29 o 1187 402.08/394.73 o 1185 407.78/400.40 o 1183 412.29/404.90 o 1178 430.69/423.30 o 1177 432.99/425.66 o 1174 438.30/430.97 o 1172 440.90/433.54 o 1171 462.42/455.06 o 1165 468.63/461.29 o 1163 484.33/476.91 o 1161 496.44/489.10 o 1158 510.94/503.50 o 1156 511.94/504.56 o 1155 511.94/504.57 o 1150 531.41/523.92 o 1148 532.11/524.66 o 1146 537.71/530.20 o 1144 547.12/539.62 o 1143 555.72/548.26 o 1142 555.82/548.33 o 1141 579.92/572.41 o 1134 579.92/572.45 o 1129 590.58/583.02 o 1127 594.69/587.12 o 1126 594.69/587.12 o 1125 594.69/587.12 o 1124 613.28/605.75 o 1119 631.39/623.85 o 1118 631.70/624.12 o 1107 631.70/624.12 o 1103 850.71/843.03 o 1102 861.51/853.84 o 1101 862.61/854.95 o 1100 863.72/856.02 o 1098 873.31/865.61 o 1097 897.31/889.51 o 1096 908.12/900.34 o 1094 911.42/903.63 o 1093 912.32/904.51 o 1090 919.72/911.94 o 1089 920.32/912.58 o 1088 936.73/928.91 o 1083 936.73/928.91 o 1082 945.13/937.36 o 1076 1068.22/1060.35 o 1075 1072.22/1064.36 o 1074 1082.62/1074.71 o 1069 1097.04/1089.16 o 1067 1217.63/1209.60 o 1066 1254.22/1246.19 o 1056 1280.92/1272.88 o 1054 1288.92/1280.88 o 1052 1303.42/1295.36 o 1045 1311.82/1303.76 o 1044 1311.82/1303.76 o 1043 1356.80/1348.60 o 1042 1357.40/1349.27 o 1040 1521.52/1513.23 o 1038 1863.22/1854.71 o 1037 1874.23/1865.71 o 1033 1874.54/1866.03 o 1029 1874.54/1866.05 o 1028 1889.87/1881.36 o 1027 1891.68/1883.17 o 1021 1896.58/1888.01 o 1016 1980.25/1971.68 o 1015 1980.96/1972.35 o 1014 1980.96/1972.35 o 1013 2041.28/2032.60 o 1011 2119.64/2110.95 o 1008 2135.58/2126.89 o 1007 2228.61/2219.82 o 1006 2275.87/2267.10 o 1005 2297.47/2288.64 o 1003 2312.78/2303.97 o 1001 2346.70/2337.81 o 999 2474.51/2465.56 o 997 2488.71/2479.70 o 996 2506.72/2497.71 o 992 2520.03/2511.01 s SATISFIABLE 2520.03/2511.01 v <instantiation> 2520.03/2511.01 v <list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] c[45] c[46] c[47] c[48] c[49] c[50] c[51] c[52] c[53] c[54] c[55] c[56] c[57] c[58] c[59] c[60] c[61] c[62] c[63] c[64] c[65] c[66] c[67] c[68] c[69] c[70] c[71] c[72] c[73] c[74] c[75] c[76] c[77] c[78] c[79] c[80] c[81] c[82] c[83] c[84] c[85] c[86] c[87] c[88] c[89] c[90] c[91] c[92] c[93] c[94] c[95] c[96] c[97] c[98] c[99] c[100] c[101] c[102] c[103] c[104] c[105] c[106] c[107] c[108] c[109] c[110] c[111] c[112] c[113] c[114] c[115] c[116] c[117] c[118] c[119] c[120] c[121] c[122] c[123] c[124] c[125] c[126] c[127] c[128] c[129] c[130] c[131] c[132] c[133] c[134] c[135] c[136] c[137] c[138] c[139] c[140] c[141] c[142] c[143] c[144] c[145] c[146] c[147] c[148] c[149] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] </list> 2520.03/2511.01 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 36 19 15 27 20 10 1 4 16 28 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 49 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 33 45 58 60 65 51 24 6 5 13 8 12 22 17 11 3 2 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 9 10 3 3 4 4 3 4 3 3 2 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 5 1 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 9 5 4 1 2 5 10 5 5 2 1 1 4 2 4 6 1 21 3 7 4 4 12 13 4 12 </values> 2520.03/2511.01 v </instantiation> 2520.03/2511.01 c Unexpected resolution interruption!
OK 992
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 (9694 MiB free)
memory of node 1: 16384 MiB (12657 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406274-1569410953/watcher-4406274-1569410953 -o /var/tmp/evaluation-result-4406274-1569410953/solver-4406274-1569410953 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1569396629-3722 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 884761324 HOME/instance-4406274-1569410953.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7905, runsolver pid=7902
[startup+0.100059 s]*
/proc/loadavg: 1.69 1.73 1.69 5/233 7921
/proc/meminfo: memFree=22872384/32770624 swapFree=67003060/67108860
[pid=7905] ppid=7902 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7905/stat : 7905 (xcsp3-exec) S 7902 7905 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517334786 115843072 364 33554432000 4194304 5098028 140731366865952 140731366864056 140338014642812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32985088 140731366867799 140731366868057 140731366868057 140731366870982 0
/proc/7905/statm: 28282 364 306 221 0 87 0
[pid=7907] ppid=7905 vsize=15144776 memory=29640 CPUtime=0.12 cores=1,3,5,7
/proc/7907/stat : 7907 (java) S 7905 7905 3690 0 -1 1077944320 5792 0 0 0 11 1 0 0 20 0 15 0 517334786 15508250624 7410 33554432000 4194304 4196468 140735709742816 140735709725360 140017623535351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
/proc/7907/statm: 3786194 7410 3190 1 0 3748377 0
[pid=7907/tid=7908] ppid=7905 vsize=15144776 memory=8261472670413198171 CPUtime=0.09 cores=1,3,5,7
/proc/7907/task/7908/stat : 7908 (java) R 7905 7905 3690 0 -1 4202560 3709 0 0 0 8 1 0 0 20 0 15 0 517334786 15508250624 7410 33554432000 4194304 4196468 140735709742816 140017627767360 140017615772478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7909] ppid=7905 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7909/stat : 7909 (java) S 7905 7905 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517334787 15508250624 7410 33554432000 4194304 4196468 140735709742816 140017551575824 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7910] ppid=7905 vsize=15144776 memory=140321341453952 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7910/stat : 7910 (java) S 7905 7905 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517334787 15508250624 7410 33554432000 4194304 4196468 140735709742816 140017550523280 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7911] ppid=7905 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7911/stat : 7911 (java) S 7905 7905 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517334787 15508250624 7410 33554432000 4194304 4196468 140735709742816 140017549470736 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7912] ppid=7905 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7912/stat : 7912 (java) S 7905 7905 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517334787 15508250624 7410 33554432000 4194304 4196468 140735709742816 140017548418192 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7913] ppid=7905 vsize=15144776 memory=140321341453952 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7913/stat : 7913 (java) S 7905 7905 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517334788 15508250624 7410 33554432000 4194304 4196468 140735709742816 140017092163568 140017623546498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7914] ppid=7905 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7914/stat : 7914 (java) S 7905 7905 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517334789 15508250624 7410 33554432000 4194304 4196468 140735709742816 140017091109792 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7915] ppid=7905 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7915/stat : 7915 (java) S 7905 7905 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517334789 15508250624 7410 33554432000 4194304 4196468 140735709742816 140017090057200 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7916] ppid=7905 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7916/stat : 7916 (java) S 7905 7905 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517334791 15508250624 7410 33554432000 4194304 4196468 140735709742816 140017089005776 140017623553947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7917] ppid=7905 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7917/stat : 7917 (java) R 7905 7905 3690 0 -1 1077944384 485 0 0 0 0 0 0 0 20 0 15 0 517334791 15508250624 7410 33554432000 4194304 4196468 140735709742816 140017087953392 140017623546498 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7918] ppid=7905 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7918/stat : 7918 (java) S 7905 7905 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517334791 15508250624 7410 33554432000 4194304 4196468 140735709742816 140017086900848 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7919] ppid=7905 vsize=15144776 memory=140321341453952 CPUtime=0.02 cores=1,3,5,7
/proc/7907/task/7919/stat : 7919 (java) R 7905 7905 3690 0 -1 4202560 317 0 0 0 2 0 0 0 20 0 15 0 517334791 15508250624 7410 33554432000 4194304 4196468 140735709742816 140017085848304 140017603851838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7920] ppid=7905 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7920/stat : 7920 (java) S 7905 7905 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517334792 15508250624 7410 33554432000 4194304 4196468 140735709742816 140017084796000 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7921] ppid=7905 vsize=15144776 memory=140321341453952 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7921/stat : 7921 (java) S 7905 7905 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517334792 15508250624 7410 33554432000 4194304 4196468 140735709742816 140017083742512 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31096 KiB
[startup+0.210981 s]*
/proc/loadavg: 1.69 1.73 1.69 4/233 7921
/proc/meminfo: memFree=22859404/32770624 swapFree=67003060/67108860
[pid=7905] ppid=7902 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7905/stat : 7905 (xcsp3-exec) S 7902 7905 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517334786 115843072 364 33554432000 4194304 5098028 140731366865952 140731366864056 140338014642812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32985088 140731366867799 140731366868057 140731366868057 140731366870982 0
/proc/7905/statm: 28282 364 306 221 0 87 0
[pid=7907] ppid=7905 vsize=15144776 memory=40900 CPUtime=0.34 cores=1,3,5,7
/proc/7907/stat : 7907 (java) S 7905 7905 3690 0 -1 1077944320 9485 0 0 0 31 3 0 0 20 0 15 0 517334786 15508250624 10225 33554432000 4194304 4196468 140735709742816 140735709725360 140017623535351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
/proc/7907/statm: 3786194 10225 3307 1 0 3748377 0
[pid=7907/tid=7908] ppid=7905 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/7907/task/7908/stat : 7908 (java) R 7905 7905 3690 0 -1 4202560 6606 0 0 0 18 2 0 0 20 0 15 0 517334786 15508250624 10225 33554432000 4194304 4196468 140735709742816 140017627773168 140017623557277 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7909] ppid=7905 vsize=15144776 memory=13591 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7909/stat : 7909 (java) S 7905 7905 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517334787 15508250624 10225 33554432000 4194304 4196468 140735709742816 140017551575824 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7910] ppid=7905 vsize=15144776 memory=140321345353713 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7910/stat : 7910 (java) S 7905 7905 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517334787 15508250624 10225 33554432000 4194304 4196468 140735709742816 140017550523280 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7911] ppid=7905 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7911/stat : 7911 (java) S 7905 7905 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517334787 15508250624 10225 33554432000 4194304 4196468 140735709742816 140017549470736 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7912] ppid=7905 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7912/stat : 7912 (java) S 7905 7905 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517334787 15508250624 10225 33554432000 4194304 4196468 140735709742816 140017548418192 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7913] ppid=7905 vsize=15144776 memory=140321341453952 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7913/stat : 7913 (java) S 7905 7905 3690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517334788 15508250624 10225 33554432000 4194304 4196468 140735709742816 140017092163568 140017623546498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7914] ppid=7905 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7914/stat : 7914 (java) S 7905 7905 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517334789 15508250624 10225 33554432000 4194304 4196468 140735709742816 140017091109792 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7915] ppid=7905 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7915/stat : 7915 (java) S 7905 7905 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517334789 15508250624 10225 33554432000 4194304 4196468 140735709742816 140017090057200 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7916] ppid=7905 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7916/stat : 7916 (java) S 7905 7905 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517334791 15508250624 10225 33554432000 4194304 4196468 140735709742816 140017089005776 140017623553947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7917] ppid=7905 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7907/task/7917/stat : 7917 (java) S 7905 7905 3690 0 -1 1077944384 807 0 0 0 3 0 0 0 20 0 15 0 517334791 15508250624 10225 33554432000 4194304 4196468 140735709742816 140017087953392 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7918] ppid=7905 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/7907/task/7918/stat : 7918 (java) S 7905 7905 3690 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 15 0 517334791 15508250624 10225 33554432000 4194304 4196468 140735709742816 140017086900848 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7919] ppid=7905 vsize=15144776 memory=140321341453952 CPUtime=0.08 cores=1,3,5,7
/proc/7907/task/7919/stat : 7919 (java) S 7905 7905 3690 0 -1 1077944384 714 0 0 0 8 0 0 0 20 0 15 0 517334791 15508250624 10225 33554432000 4194304 4196468 140735709742816 140017085848304 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7920] ppid=7905 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7920/stat : 7920 (java) S 7905 7905 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517334792 15508250624 10225 33554432000 4194304 4196468 140735709742816 140017084796000 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7921] ppid=7905 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7921/stat : 7921 (java) S 7905 7905 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517334792 15508250624 10225 33554432000 4194304 4196468 140735709742816 140017083742512 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42356 KiB
[startup+0.310797 s]*
/proc/loadavg: 1.69 1.73 1.69 4/233 7921
/proc/meminfo: memFree=22852508/32770624 swapFree=67003060/67108860
[pid=7905] ppid=7902 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7905/stat : 7905 (xcsp3-exec) S 7902 7905 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517334786 115843072 364 33554432000 4194304 5098028 140731366865952 140731366864056 140338014642812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32985088 140731366867799 140731366868057 140731366868057 140731366870982 0
/proc/7905/statm: 28282 364 306 221 0 87 0
[pid=7907] ppid=7905 vsize=15149032 memory=49424 CPUtime=0.52 cores=1,3,5,7
/proc/7907/stat : 7907 (java) S 7905 7905 3690 0 -1 1077944320 10750 0 0 0 47 5 0 0 20 0 15 0 517334786 15512608768 12356 33554432000 4194304 4196468 140735709742816 140735709725360 140017623535351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
/proc/7907/statm: 3787258 12356 3341 1 0 3748377 0
[pid=7907/tid=7908] ppid=7905 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/7907/task/7908/stat : 7908 (java) R 7905 7905 3690 0 -1 4202560 7802 0 0 0 27 3 0 0 20 0 15 0 517334786 15512608768 12425 33554432000 4194304 4196468 140735709742816 140017627766464 140017607615838 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7909] ppid=7905 vsize=15149032 memory=13953 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7909/stat : 7909 (java) S 7905 7905 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517334787 15512608768 12425 33554432000 4194304 4196468 140735709742816 140017551575824 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7910] ppid=7905 vsize=15149032 memory=3902507 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7910/stat : 7910 (java) S 7905 7905 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517334787 15512608768 12425 33554432000 4194304 4196468 140735709742816 140017550523280 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7911] ppid=7905 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7911/stat : 7911 (java) S 7905 7905 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517334787 15512608768 12425 33554432000 4194304 4196468 140735709742816 140017549470736 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7912] ppid=7905 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7912/stat : 7912 (java) S 7905 7905 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517334787 15512608768 12425 33554432000 4194304 4196468 140735709742816 140017548418192 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7913] ppid=7905 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7913/stat : 7913 (java) S 7905 7905 3690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517334788 15512608768 12425 33554432000 4194304 4196468 140735709742816 140017092163568 140017623546498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7914] ppid=7905 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7914/stat : 7914 (java) S 7905 7905 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517334789 15512608768 12425 33554432000 4194304 4196468 140735709742816 140017091109792 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7915] ppid=7905 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7915/stat : 7915 (java) S 7905 7905 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517334789 15512608768 12425 33554432000 4194304 4196468 140735709742816 140017090057200 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7916] ppid=7905 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7916/stat : 7916 (java) S 7905 7905 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517334791 15512608768 12425 33554432000 4194304 4196468 140735709742816 140017089005776 140017623553947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7917] ppid=7905 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7907/task/7917/stat : 7917 (java) S 7905 7905 3690 0 -1 1077944384 827 0 0 0 4 0 0 0 20 0 15 0 517334791 15512608768 12425 33554432000 4194304 4196468 140735709742816 140017087953392 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7918] ppid=7905 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7907/task/7918/stat : 7918 (java) S 7905 7905 3690 0 -1 1077944384 54 0 0 0 3 0 0 0 20 0 15 0 517334791 15512608768 12425 33554432000 4194304 4196468 140735709742816 140017086900848 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7919] ppid=7905 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7907/task/7919/stat : 7919 (java) S 7905 7905 3690 0 -1 1077944384 775 0 0 0 12 0 0 0 20 0 15 0 517334791 15512608768 12425 33554432000 4194304 4196468 140735709742816 140017085848304 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7920] ppid=7905 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7920/stat : 7920 (java) S 7905 7905 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517334792 15512608768 12425 33554432000 4194304 4196468 140735709742816 140017084796000 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7921] ppid=7905 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7921/stat : 7921 (java) S 7905 7905 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517334792 15512608768 12425 33554432000 4194304 4196468 140735709742816 140017083742512 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50880 KiB
[startup+0.700802 s]
/proc/loadavg: 1.69 1.73 1.69 5/233 7921
/proc/meminfo: memFree=22820584/32770624 swapFree=67003060/67108860
[pid=7905] ppid=7902 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7905/stat : 7905 (xcsp3-exec) S 7902 7905 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517334786 115843072 364 33554432000 4194304 5098028 140731366865952 140731366864056 140338014642812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32985088 140731366867799 140731366868057 140731366868057 140731366870982 0
/proc/7905/statm: 28282 364 306 221 0 87 0
[pid=7907] ppid=7905 vsize=15151156 memory=140160 CPUtime=1.63 cores=1,3,5,7
/proc/7907/stat : 7907 (java) S 7905 7905 3690 0 -1 1077944320 14789 0 0 0 156 7 0 0 20 0 15 0 517334786 15514783744 35040 33554432000 4194304 4196468 140735709742816 140735709725360 140017623535351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
/proc/7907/statm: 3787789 35040 3449 1 0 3748889 0
[pid=7907/tid=7908] ppid=7905 vsize=15151156 memory=35712 CPUtime=0.68 cores=1,3,5,7
/proc/7907/task/7908/stat : 7908 (java) R 7905 7905 3690 0 -1 4202560 8863 0 0 0 63 5 0 0 20 0 15 0 517334786 15514783744 35040 33554432000 4194304 4196468 140735709742816 140017627770960 140017229371173 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7909] ppid=7905 vsize=15151156 memory=496 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7909/stat : 7909 (java) S 7905 7905 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517334787 15514783744 35040 33554432000 4194304 4196468 140735709742816 140017551575824 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7910] ppid=7905 vsize=15151156 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7910/stat : 7910 (java) S 7905 7905 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517334787 15514783744 35040 33554432000 4194304 4196468 140735709742816 140017550523280 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7911] ppid=7905 vsize=15151156 memory=928 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7911/stat : 7911 (java) S 7905 7905 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517334787 15514783744 35040 33554432000 4194304 4196468 140735709742816 140017549470736 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7912] ppid=7905 vsize=15151156 memory=1756 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7912/stat : 7912 (java) S 7905 7905 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517334787 15514783744 35040 33554432000 4194304 4196468 140735709742816 140017548418192 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7913] ppid=7905 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7913/stat : 7913 (java) S 7905 7905 3690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 517334788 15514783744 35040 33554432000 4194304 4196468 140735709742816 140017092163568 140017623546498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7914] ppid=7905 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7914/stat : 7914 (java) S 7905 7905 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517334789 15514783744 35040 33554432000 4194304 4196468 140735709742816 140017091109792 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7915] ppid=7905 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7915/stat : 7915 (java) S 7905 7905 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517334789 15514783744 35040 33554432000 4194304 4196468 140735709742816 140017090057200 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7916] ppid=7905 vsize=15151156 memory=2376 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7916/stat : 7916 (java) S 7905 7905 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517334791 15514783744 35040 33554432000 4194304 4196468 140735709742816 140017089005776 140017623553947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7917] ppid=7905 vsize=15151156 memory=1768 CPUtime=0.33 cores=1,3,5,7
/proc/7907/task/7917/stat : 7917 (java) S 7905 7905 3690 0 -1 1077944384 1880 0 0 0 32 1 0 0 20 0 15 0 517334791 15514783744 35040 33554432000 4194304 4196468 140735709742816 140017087953392 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7918] ppid=7905 vsize=15151156 memory=111628 CPUtime=0.3 cores=1,3,5,7
/proc/7907/task/7918/stat : 7918 (java) S 7905 7905 3690 0 -1 1077944384 1080 0 0 0 30 0 0 0 20 0 15 0 517334791 15514783744 35040 33554432000 4194304 4196468 140735709742816 140017086900848 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7919] ppid=7905 vsize=15151156 memory=804 CPUtime=0.29 cores=1,3,5,7
/proc/7907/task/7919/stat : 7919 (java) S 7905 7905 3690 0 -1 1077944384 1656 0 0 0 29 0 0 0 20 0 15 0 517334791 15514783744 35040 33554432000 4194304 4196468 140735709742816 140017085848304 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7920] ppid=7905 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7920/stat : 7920 (java) S 7905 7905 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517334792 15514783744 35040 33554432000 4194304 4196468 140735709742816 140017084796000 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7921] ppid=7905 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7921/stat : 7921 (java) S 7905 7905 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517334792 15514783744 35040 33554432000 4194304 4196468 140735709742816 140017083742512 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 141616 KiB
[startup+1.50144 s]
/proc/loadavg: 1.69 1.73 1.69 6/233 7921
/proc/meminfo: memFree=22466968/32770624 swapFree=67003060/67108860
[pid=7905] ppid=7902 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7905/stat : 7905 (xcsp3-exec) S 7902 7905 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517334786 115843072 364 33554432000 4194304 5098028 140731366865952 140731366864056 140338014642812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32985088 140731366867799 140731366868057 140731366868057 140731366870982 0
/proc/7905/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/7907/task/7915/stat : 7915 (java) S 7905 7905 3690 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 517334789 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017090057216 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7916] ppid=7905 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7916/stat : 7916 (java) S 7905 7905 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517334791 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017089005776 140017623553947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7917] ppid=7905 vsize=15151156 memory=1456 CPUtime=2.66 cores=1,3,5,7
/proc/7907/task/7917/stat : 7917 (java) S 7905 7905 3690 0 -1 1077944384 18259 0 0 0 263 3 0 0 20 0 15 0 517334791 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017087953392 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7918] ppid=7905 vsize=15151156 memory=804 CPUtime=2.79 cores=1,3,5,7
/proc/7907/task/7918/stat : 7918 (java) S 7905 7905 3690 0 -1 1077944384 14819 0 0 0 277 2 0 0 20 0 15 0 517334791 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017086900848 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7919] ppid=7905 vsize=15151156 memory=1808 CPUtime=0.68 cores=1,3,5,7
/proc/7907/task/7919/stat : 7919 (java) S 7905 7905 3690 0 -1 1077944384 11108 0 0 0 66 2 0 0 20 0 15 0 517334791 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017085848304 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7920] ppid=7905 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7920/stat : 7920 (java) S 7905 7905 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517334792 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017084796000 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7921] ppid=7905 vsize=15151156 memory=1456 CPUtime=0.59 cores=1,3,5,7
/proc/7907/task/7921/stat : 7921 (java) S 7905 7905 3690 0 -1 1077944384 1323 0 0 0 26 33 0 0 20 0 15 0 517334792 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017083742512 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
Current children cumulated CPU time: 2391.27 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1154464 KiB
[startup+2442.3 s]
/proc/loadavg: 2.52 2.18 2.05 3/233 8249
/proc/meminfo: memFree=18864112/32770624 swapFree=67003060/67108860
[pid=7905] ppid=7902 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7905/stat : 7905 (xcsp3-exec) S 7902 7905 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517334786 115843072 364 33554432000 4194304 5098028 140731366865952 140731366864056 140338014642812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32985088 140731366867799 140731366868057 140731366868057 140731366870982 0
/proc/7905/statm: 28282 364 306 221 0 87 0
[pid=7907] ppid=7905 vsize=15151156 memory=1153008 CPUtime=2451.29 cores=1,3,5,7
/proc/7907/stat : 7907 (java) S 7905 7905 3690 0 -1 1077944320 137588 0 0 0 244990 139 0 0 20 0 15 0 517334786 15514783744 288252 33554432000 4194304 4196468 140735709742816 140735709725360 140017623535351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
/proc/7907/statm: 3787789 288252 3533 1 0 3748889 0
[pid=7907/tid=7908] ppid=7905 vsize=15151156 memory=1153008 CPUtime=2441.64 cores=1,3,5,7
/proc/7907/task/7908/stat : 7908 (java) R 7905 7905 3690 0 -1 4202560 61622 0 0 0 244140 24 0 0 20 0 15 0 517334786 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017627774384 140017231869788 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7909] ppid=7905 vsize=15151156 memory=1153008 CPUtime=0.68 cores=1,3,5,7
/proc/7907/task/7909/stat : 7909 (java) S 7905 7905 3690 0 -1 1077944384 6235 0 0 0 49 19 0 0 20 0 15 0 517334787 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017551575824 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7910] ppid=7905 vsize=15151156 memory=1153008 CPUtime=0.67 cores=1,3,5,7
/proc/7907/task/7910/stat : 7910 (java) S 7905 7905 3690 0 -1 1077944384 8613 0 0 0 48 19 0 0 20 0 15 0 517334787 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017550523280 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7911] ppid=7905 vsize=15151156 memory=1153008 CPUtime=0.67 cores=1,3,5,7
/proc/7907/task/7911/stat : 7911 (java) S 7905 7905 3690 0 -1 1077944384 5151 0 0 0 49 18 0 0 20 0 15 0 517334787 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017549470736 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7912] ppid=7905 vsize=15151156 memory=1153008 CPUtime=0.68 cores=1,3,5,7
/proc/7907/task/7912/stat : 7912 (java) S 7905 7905 3690 0 -1 1077944384 3202 0 0 0 50 18 0 0 20 0 15 0 517334787 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017548418192 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7913] ppid=7905 vsize=15151156 memory=1153008 CPUtime=0.12 cores=1,3,5,7
/proc/7907/task/7913/stat : 7913 (java) S 7905 7905 3690 0 -1 1077944384 5890 0 0 0 11 1 0 0 20 0 15 0 517334788 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017092163568 140017623546498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7914] ppid=7905 vsize=15151156 memory=1153008 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7914/stat : 7914 (java) S 7905 7905 3690 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 517334789 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017091109856 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7915] ppid=7905 vsize=15151156 memory=1153008 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7915/stat : 7915 (java) S 7905 7905 3690 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 517334789 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017090057216 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7916] ppid=7905 vsize=15151156 memory=1153008 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7916/stat : 7916 (java) S 7905 7905 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517334791 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017089005776 140017623553947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7917] ppid=7905 vsize=15151156 memory=1153008 CPUtime=2.66 cores=1,3,5,7
/proc/7907/task/7917/stat : 7917 (java) S 7905 7905 3690 0 -1 1077944384 18261 0 0 0 263 3 0 0 20 0 15 0 517334791 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017087953392 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7918] ppid=7905 vsize=15151156 memory=1153008 CPUtime=2.79 cores=1,3,5,7
/proc/7907/task/7918/stat : 7918 (java) S 7905 7905 3690 0 -1 1077944384 14821 0 0 0 277 2 0 0 20 0 15 0 517334791 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017086900848 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7919] ppid=7905 vsize=15151156 memory=1153008 CPUtime=0.68 cores=1,3,5,7
/proc/7907/task/7919/stat : 7919 (java) S 7905 7905 3690 0 -1 1077944384 11111 0 0 0 66 2 0 0 20 0 15 0 517334791 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017085848304 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7920] ppid=7905 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7920/stat : 7920 (java) S 7905 7905 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517334792 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017084796000 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7921] ppid=7905 vsize=15151156 memory=1456 CPUtime=0.6 cores=1,3,5,7
/proc/7907/task/7921/stat : 7921 (java) S 7905 7905 3690 0 -1 1077944384 1344 0 0 0 26 34 0 0 20 0 15 0 517334792 15514783744 288252 33554432000 4194304 4196468 140735709742816 140017083742512 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
Current children cumulated CPU time: 2451.29 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1154464 KiB
[startup+2502.3 s]
/proc/loadavg: 2.18 2.14 2.05 3/234 8263
/proc/meminfo: memFree=18882596/32770624 swapFree=67003060/67108860
[pid=7905] ppid=7902 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7905/stat : 7905 (xcsp3-exec) S 7902 7905 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517334786 115843072 364 33554432000 4194304 5098028 140731366865952 140731366864056 140338014642812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32985088 140731366867799 140731366868057 140731366868057 140731366870982 0
/proc/7905/statm: 28282 364 306 221 0 87 0
[pid=7907] ppid=7905 vsize=15151156 memory=1133516 CPUtime=2511.32 cores=1,3,5,7
/proc/7907/stat : 7907 (java) S 7905 7905 3690 0 -1 1077944320 139927 0 0 0 250991 141 0 0 20 0 15 0 517334786 15514783744 283379 33554432000 4194304 4196468 140735709742816 140735709725360 140017623535351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
/proc/7907/statm: 3787789 283379 3533 1 0 3748889 0
[pid=7907/tid=7908] ppid=7905 vsize=15151156 memory=1153008 CPUtime=2501.63 cores=1,3,5,7
/proc/7907/task/7908/stat : 7908 (java) R 7905 7905 3690 0 -1 4202560 62755 0 0 0 250139 24 0 0 20 0 15 0 517334786 15514783744 283379 33554432000 4194304 4196468 140735709742816 140017627767104 140017231914850 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7909] ppid=7905 vsize=15151156 memory=1133516 CPUtime=0.69 cores=1,3,5,7
/proc/7907/task/7909/stat : 7909 (java) S 7905 7905 3690 0 -1 1077944384 6404 0 0 0 50 19 0 0 20 0 15 0 517334787 15514783744 283379 33554432000 4194304 4196468 140735709742816 140017551575824 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7910] ppid=7905 vsize=15151156 memory=1133516 CPUtime=0.67 cores=1,3,5,7
/proc/7907/task/7910/stat : 7910 (java) S 7905 7905 3690 0 -1 1077944384 9199 0 0 0 48 19 0 0 20 0 15 0 517334787 15514783744 283379 33554432000 4194304 4196468 140735709742816 140017550523280 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7911] ppid=7905 vsize=15151156 memory=1133516 CPUtime=0.67 cores=1,3,5,7
/proc/7907/task/7911/stat : 7911 (java) S 7905 7905 3690 0 -1 1077944384 5229 0 0 0 49 18 0 0 20 0 15 0 517334787 15514783744 283379 33554432000 4194304 4196468 140735709742816 140017549470736 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7912] ppid=7905 vsize=15151156 memory=1456 CPUtime=0.69 cores=1,3,5,7
/proc/7907/task/7912/stat : 7912 (java) S 7905 7905 3690 0 -1 1077944384 3256 0 0 0 51 18 0 0 20 0 15 0 517334787 15514783744 283379 33554432000 4194304 4196468 140735709742816 140017548418192 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7913] ppid=7905 vsize=15151156 memory=1133516 CPUtime=0.13 cores=1,3,5,7
/proc/7907/task/7913/stat : 7913 (java) S 7905 7905 3690 0 -1 1077944384 6066 0 0 0 11 2 0 0 20 0 15 0 517334788 15514783744 283379 33554432000 4194304 4196468 140735709742816 140017092163568 140017623546498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7914] ppid=7905 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7914/stat : 7914 (java) S 7905 7905 3690 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 517334789 15514783744 283379 33554432000 4194304 4196468 140735709742816 140017091109856 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7915] ppid=7905 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7915/stat : 7915 (java) S 7905 7905 3690 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 517334789 15514783744 283379 33554432000 4194304 4196468 140735709742816 140017090057216 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7916] ppid=7905 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7916/stat : 7916 (java) S 7905 7905 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517334791 15514783744 283379 33554432000 4194304 4196468 140735709742816 140017089005776 140017623553947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7917] ppid=7905 vsize=15151156 memory=3280 CPUtime=2.66 cores=1,3,5,7
/proc/7907/task/7917/stat : 7917 (java) S 7905 7905 3690 0 -1 1077944384 18377 0 0 0 263 3 0 0 20 0 15 0 517334791 15514783744 283379 33554432000 4194304 4196468 140735709742816 140017087953392 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7918] ppid=7905 vsize=15151156 memory=1133516 CPUtime=2.79 cores=1,3,5,7
/proc/7907/task/7918/stat : 7918 (java) S 7905 7905 3690 0 -1 1077944384 14823 0 0 0 277 2 0 0 20 0 15 0 517334791 15514783744 283379 33554432000 4194304 4196468 140735709742816 140017086900848 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7919] ppid=7905 vsize=15151156 memory=1456 CPUtime=0.68 cores=1,3,5,7
/proc/7907/task/7919/stat : 7919 (java) S 7905 7905 3690 0 -1 1077944384 11113 0 0 0 66 2 0 0 20 0 15 0 517334791 15514783744 283379 33554432000 4194304 4196468 140735709742816 140017085848304 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7920] ppid=7905 vsize=15151156 memory=65900 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7920/stat : 7920 (java) S 7905 7905 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517334792 15514783744 283379 33554432000 4194304 4196468 140735709742816 140017084796000 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7921] ppid=7905 vsize=15151156 memory=988 CPUtime=0.62 cores=1,3,5,7
/proc/7907/task/7921/stat : 7921 (java) S 7905 7905 3690 0 -1 1077944384 1367 0 0 0 27 35 0 0 20 0 15 0 517334792 15514783744 283379 33554432000 4194304 4196468 140735709742816 140017083742512 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
Current children cumulated CPU time: 2511.32 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1134972 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2511 s]*
/proc/loadavg: 2.15 2.14 2.05 3/234 8263
/proc/meminfo: memFree=18903036/32770624 swapFree=67003060/67108860
[pid=7905] ppid=7902 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7905/stat : 7905 (xcsp3-exec) S 7902 7905 3690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517334786 115843072 364 33554432000 4194304 5098028 140731366865952 140731366864056 140338014642812 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32985088 140731366867799 140731366868057 140731366868057 140731366870982 0
/proc/7905/statm: 28282 364 306 221 0 87 0
[pid=7907] ppid=7905 vsize=15151156 memory=1112996 CPUtime=2520.03 cores=1,3,5,7
/proc/7907/stat : 7907 (java) S 7905 7905 3690 0 -1 1077944320 140984 0 0 0 251862 141 0 0 20 0 15 0 517334786 15514783744 278249 33554432000 4194304 4196468 140735709742816 140735709725360 140017623535351 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
/proc/7907/statm: 3787789 278249 3533 1 0 3748889 0
[pid=7907/tid=7908] ppid=7905 vsize=15151156 memory=8112282956445269571 CPUtime=2510.34 cores=1,3,5,7
/proc/7907/task/7908/stat : 7908 (java) R 7905 7905 3690 0 -1 4202560 62816 0 0 0 251009 25 0 0 20 0 15 0 517334786 15514783744 278249 33554432000 4194304 4196468 140735709742816 140017627774624 140017231983445 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7909] ppid=7905 vsize=15151156 memory=4872558044660077418 CPUtime=0.69 cores=1,3,5,7
/proc/7907/task/7909/stat : 7909 (java) S 7905 7905 3690 0 -1 1077944384 6495 0 0 0 50 19 0 0 20 0 15 0 517334787 15514783744 278249 33554432000 4194304 4196468 140735709742816 140017551575824 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7910] ppid=7905 vsize=15151156 memory=1456 CPUtime=0.68 cores=1,3,5,7
/proc/7907/task/7910/stat : 7910 (java) S 7905 7905 3690 0 -1 1077944384 9279 0 0 0 49 19 0 0 20 0 15 0 517334787 15514783744 278249 33554432000 4194304 4196468 140735709742816 140017550523280 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7911] ppid=7905 vsize=15151156 memory=1133516 CPUtime=0.67 cores=1,3,5,7
/proc/7907/task/7911/stat : 7911 (java) S 7905 7905 3690 0 -1 1077944384 5338 0 0 0 49 18 0 0 20 0 15 0 517334787 15514783744 278249 33554432000 4194304 4196468 140735709742816 140017549470736 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7912] ppid=7905 vsize=15151156 memory=1412 CPUtime=0.69 cores=1,3,5,7
/proc/7907/task/7912/stat : 7912 (java) S 7905 7905 3690 0 -1 1077944384 3810 0 0 0 51 18 0 0 20 0 15 0 517334787 15514783744 278249 33554432000 4194304 4196468 140735709742816 140017548418192 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7913] ppid=7905 vsize=15151156 memory=3300 CPUtime=0.13 cores=1,3,5,7
/proc/7907/task/7913/stat : 7913 (java) S 7905 7905 3690 0 -1 1077944384 6227 0 0 0 11 2 0 0 20 0 15 0 517334788 15514783744 278249 33554432000 4194304 4196468 140735709742816 140017092163568 140017623546498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7914] ppid=7905 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7914/stat : 7914 (java) S 7905 7905 3690 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 517334789 15514783744 278249 33554432000 4194304 4196468 140735709742816 140017091109856 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7915] ppid=7905 vsize=15151156 memory=4110292 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7915/stat : 7915 (java) S 7905 7905 3690 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 517334789 15514783744 278249 33554432000 4194304 4196468 140735709742816 140017090057216 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7916] ppid=7905 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7916/stat : 7916 (java) S 7905 7905 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517334791 15514783744 278249 33554432000 4194304 4196468 140735709742816 140017089005776 140017623553947 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7917] ppid=7905 vsize=15151156 memory=4872558044660077418 CPUtime=2.66 cores=1,3,5,7
/proc/7907/task/7917/stat : 7917 (java) S 7905 7905 3690 0 -1 1077944384 18377 0 0 0 263 3 0 0 20 0 15 0 517334791 15514783744 278249 33554432000 4194304 4196468 140735709742816 140017087953392 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7918] ppid=7905 vsize=15151156 memory=1808 CPUtime=2.79 cores=1,3,5,7
/proc/7907/task/7918/stat : 7918 (java) S 7905 7905 3690 0 -1 1077944384 14823 0 0 0 277 2 0 0 20 0 15 0 517334791 15514783744 278249 33554432000 4194304 4196468 140735709742816 140017086900848 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7919] ppid=7905 vsize=15151156 memory=924 CPUtime=0.68 cores=1,3,5,7
/proc/7907/task/7919/stat : 7919 (java) S 7905 7905 3690 0 -1 1077944384 11114 0 0 0 66 2 0 0 20 0 15 0 517334791 15514783744 278249 33554432000 4194304 4196468 140735709742816 140017085848304 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7920] ppid=7905 vsize=15151156 memory=3844 CPUtime=0 cores=1,3,5,7
/proc/7907/task/7920/stat : 7920 (java) S 7905 7905 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517334792 15514783744 278249 33554432000 4194304 4196468 140735709742816 140017084796000 140017623545557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
[pid=7907/tid=7921] ppid=7905 vsize=15151156 memory=2596 CPUtime=0.62 cores=1,3,5,7
/proc/7907/task/7921/stat : 7921 (java) S 7905 7905 3690 0 -1 1077944384 1367 0 0 0 27 35 0 0 20 0 15 0 517334792 15514783744 278249 33554432000 4194304 4196468 140735709742816 140017083742512 140017623546498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6516736 140735709746139 140735709746314 140735709746314 140735709749199 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1114452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2511.02 s]
# the end of solver process 7905 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002259 s, system=0 s
[startup+2511.02 s]
# the end of solver process 7907 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.64 s, system=1.42524 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2511.02
CPU time (s): 2520.06
CPU user time (s): 2518.64
CPU system time (s): 1.42524
CPU usage (%): 100.36
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 1354948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.64
system time used= 1.42524
maximum resident set size= 1361700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 141817
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58140
involuntary context switches= 2507
# summary of solver processes directly reported to runsolver:
# pid: 7905,7907
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.64
# total CPU system time (s): 1.42524
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5353 second user time and 23.3645 second system time
The end
Begin job on node133 at 2019-09-25 13:28:32 IDJOB=4406274 IDBENCH=135802 IDSOLVER=2869 FILE ID=node133/4406274-1569410953 RUNJOBID= node133-1569396629-3722 PBS_JOBID= 21705685 Free space on /var/tmp= 13464 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-4406274-1569410953/watcher-4406274-1569410953 -o /var/tmp/evaluation-result-4406274-1569410953/solver-4406274-1569410953 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1569396629-3722 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 884761324 HOME/instance-4406274-1569410953.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d698eba466bb4d42bacc008ef87467ee RANDOM SEED=884761324 node133.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.18 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.18 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.18 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.18 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: 22889612 kB MemAvailable: 30615740 kB Buffers: 175052 kB Cached: 7597764 kB SwapCached: 5084 kB Active: 5057068 kB Inactive: 3949256 kB Active(anon): 1230512 kB Inactive(anon): 58652 kB Active(file): 3826556 kB Inactive(file): 3890604 kB Unevictable: 109536 kB Mlocked: 109536 kB SwapTotal: 67108860 kB SwapFree: 67003060 kB Dirty: 26140 kB Writeback: 0 kB AnonPages: 1339796 kB Mapped: 71664 kB Shmem: 46908 kB Slab: 467168 kB SReclaimable: 437428 kB SUnreclaim: 29740 kB KernelStack: 3824 kB PageTables: 8524 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2063380 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1275904 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /var/tmp at the end= 13436 MiB End job on node133 at 2019-09-25 14:10:23