Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 5a (2017-08-18) | SAT (TO) | 3 | 2520.1201 | 2490.4099 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml |
| MD5SUM | 1f968d7964fa1ced5b2605ed1734128f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 2400.03 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 729 |
| Number of constraints | 2925 |
| Number of domains | 1 |
| Minimum domain size | 351 |
| Maximum domain size | 351 |
| Distribution of domain sizes | [{"size":351,"count":351}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 26 |
| Distribution of variable degrees | [{"degree":0,"count":378},{"degree":26,"count":351}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":2925}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 2925 |
| Distribution of constraint types | [{"type":"intension","count":2925}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284135-1503226191.xml" -tl '2520s' -p 1 -x 3 0.11/0.14 c [HOME/instance-4284135-1503226191.xml, -tl, 2520s, -p, 1, -x, 3] 0.11/0.20 c simple solver 0.34/0.26 c parse instance... 2.47/0.93 c solve instance... 347.88/336.58 o 350 433.56/421.56 o 349 434.47/422.41 o 348 434.89/422.84 o 347 441.92/429.82 o 346 442.58/430.40 o 345 442.80/430.61 o 344 443.01/430.80 o 343 443.11/430.99 o 342 443.52/431.35 o 341 445.53/433.35 o 340 445.73/433.53 o 339 445.93/433.70 o 338 447.84/435.65 o 337 448.04/435.88 o 336 448.24/436.05 o 335 448.64/436.45 o 334 449.04/436.86 o 333 449.74/437.57 o 332 449.94/437.74 o 331 450.35/438.17 o 330 450.74/438.55 o 329 451.64/439.47 o 328 451.84/439.64 o 327 452.04/439.82 o 326 452.14/439.98 o 325 452.35/440.15 o 324 452.55/440.33 o 323 452.65/440.49 o 322 452.85/440.66 o 321 454.21/441.90 o 320 493.95/481.43 o 319 494.15/481.60 o 318 494.25/481.77 o 317 494.46/481.95 o 316 494.67/482.12 o 315 494.76/482.29 o 314 494.96/482.46 o 313 495.16/482.63 o 312 495.36/482.82 o 311 495.46/482.99 o 310 495.67/483.16 o 309 495.86/483.33 o 308 496.16/483.65 o 307 496.36/483.82 o 306 496.46/483.99 o 305 516.30/503.74 o 304 516.50/503.91 o 303 537.33/524.75 o 302 537.64/525.08 o 301 537.83/525.24 o 300 538.03/525.41 o 299 538.13/525.57 o 298 541.93/529.37 o 297 542.33/529.76 o 296 542.53/529.93 o 295 542.74/530.11 o 294 542.83/530.28 o 293 543.03/530.46 o 292 543.43/530.86 o 291 543.64/531.04 o 290 543.83/531.20 o 289 543.93/531.38 o 288 544.13/531.54 o 287 544.24/531.69 o 286 551.07/538.42 o 285 551.17/538.58 o 284 551.37/538.74 o 283 551.57/538.91 o 282 551.68/539.08 o 281 551.87/539.25 o 280 552.07/539.41 o 279 552.17/539.57 o 278 552.37/539.73 o 277 552.57/539.90 o 276 552.68/540.06 o 275 552.90/540.23 o 274 553.00/540.40 o 273 553.20/540.57 o 272 553.40/540.73 o 271 553.50/540.90 o 270 553.71/541.07 o 269 554.20/541.51 o 268 554.30/541.68 o 267 554.53/541.84 o 266 554.74/542.01 o 265 555.33/542.65 o 264 555.56/542.84 o 263 555.76/543.02 o 262 556.02/543.20 o 261 556.15/543.37 o 260 556.35/543.54 o 259 556.58/543.72 o 258 556.68/543.89 o 257 556.89/544.05 o 256 557.08/544.22 o 255 557.18/544.39 o 254 557.38/544.55 o 253 557.60/544.73 o 252 557.70/544.89 o 251 557.94/545.05 o 250 558.13/545.22 o 249 558.26/545.38 o 248 558.46/545.55 o 247 558.69/545.71 o 246 559.19/546.30 o 245 559.42/546.46 o 244 559.62/546.62 o 243 559.77/546.79 o 242 559.97/546.95 o 241 560.18/547.11 o 240 560.31/547.28 o 239 560.51/547.44 o 238 560.61/547.60 o 237 560.81/547.75 o 236 561.01/547.91 o 235 561.12/548.07 o 234 561.32/548.23 o 233 561.42/548.37 o 232 561.62/548.53 o 231 561.72/548.68 o 230 561.92/548.83 o 229 562.02/548.98 o 228 562.23/549.13 o 227 562.32/549.28 o 226 562.52/549.44 o 225 562.72/549.60 o 224 562.83/549.75 o 223 563.03/549.91 o 222 563.14/550.06 o 221 563.33/550.21 o 220 563.43/550.37 o 219 563.63/550.52 o 218 563.73/550.67 o 217 563.93/550.83 o 216 564.03/550.98 o 215 564.24/551.13 o 214 564.33/551.28 o 213 564.53/551.43 o 212 564.63/551.58 o 211 564.83/551.73 o 210 564.93/551.88 o 209 565.14/552.03 o 208 565.24/552.17 o 207 565.45/552.32 o 206 565.55/552.47 o 205 565.79/552.63 o 204 565.89/552.77 o 203 566.09/552.92 o 202 566.20/553.06 o 201 566.39/553.21 o 200 566.49/553.35 o 199 566.69/553.50 o 198 566.79/553.64 o 197 566.89/553.79 o 196 567.10/553.93 o 195 567.21/554.07 o 194 567.40/554.22 o 193 567.54/554.38 o 192 567.74/554.52 o 191 567.84/554.67 o 190 568.04/554.81 o 189 568.14/554.96 o 188 568.25/555.10 o 187 568.44/555.25 o 186 568.54/555.40 o 185 568.74/555.54 o 184 568.85/555.69 o 183 569.06/555.84 o 182 569.16/555.99 o 181 569.37/556.14 o 180 569.46/556.28 o 179 569.67/556.43 o 178 569.77/556.58 o 177 569.97/556.73 o 176 570.07/556.87 o 175 570.28/557.02 o 174 570.38/557.17 o 173 570.57/557.31 o 172 570.67/557.47 o 171 570.90/557.61 o 170 571.00/557.76 o 169 571.20/557.90 o 168 571.31/558.04 o 167 571.41/558.18 o 166 571.60/558.32 o 165 571.70/558.46 o 164 571.90/558.61 o 163 572.00/558.75 o 162 572.10/558.89 o 161 572.31/559.03 o 160 572.41/559.18 o 159 572.60/559.32 o 158 572.70/559.46 o 157 572.90/559.60 o 156 573.00/559.75 o 155 573.10/559.89 o 154 573.31/560.04 o 153 573.41/560.18 o 152 573.60/560.32 o 151 573.70/560.46 o 150 573.90/560.60 o 149 574.00/560.74 o 148 574.10/560.88 o 147 574.31/561.02 o 146 574.41/561.16 o 145 574.60/561.30 o 144 574.70/561.44 o 143 574.80/561.59 o 142 575.00/561.73 o 141 575.10/561.88 o 140 575.31/562.02 o 139 575.41/562.16 o 138 575.60/562.30 o 137 575.70/562.44 o 136 575.80/562.58 o 135 576.00/562.73 o 134 576.10/562.87 o 133 576.31/563.01 o 132 576.41/563.15 o 131 576.50/563.29 o 130 576.70/563.43 o 129 576.80/563.57 o 128 577.00/563.71 o 127 577.10/563.85 o 126 577.20/563.99 o 125 577.41/564.13 o 124 577.50/564.27 o 123 577.70/564.41 o 122 577.80/564.55 o 121 577.90/564.69 o 120 578.10/564.83 o 119 578.20/564.98 o 118 578.41/565.12 o 117 578.50/565.26 o 116 578.70/565.40 o 115 578.80/565.54 o 114 578.90/565.68 o 113 579.10/565.82 o 112 579.20/565.95 o 111 579.31/566.09 o 110 579.50/566.23 o 109 579.60/566.37 o 108 579.80/566.51 o 107 579.90/566.64 o 106 580.00/566.78 o 105 580.41/567.16 o 104 580.60/567.31 o 103 580.80/567.50 o 102 581.00/567.79 o 101 581.50/568.26 o 100 582.20/568.91 o 99 583.04/569.80 o 6 583.35/570.00 o 5 584.21/570.69 o 4 648.14/634.09 o 3 2520.09/2490.40 s SATISFIABLE 2520.09/2490.40 v <instantiation> 2520.09/2490.40 v <list>x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[22][23] x[22][24] x[22][25] x[22][26] x[23][24] x[23][25] x[23][26] x[24][25] x[24][26] x[25][26] </list> 2520.09/2490.40 v <values>3 0 0 1 1 1 3 0 3 3 2 3 0 2 2 1 1 0 1 1 2 2 0 3 2 3 3 0 0 3 2 2 0 0 1 2 2 1 2 2 1 1 0 0 1 2 3 3 1 2 1 1 1 1 0 3 1 0 2 0 0 2 0 1 2 0 2 3 1 1 0 1 0 3 3 2 3 2 0 3 1 1 2 3 3 0 2 1 0 2 1 0 0 3 3 1 2 1 2 3 2 2 1 0 1 0 1 0 0 2 0 3 2 0 3 1 0 1 1 1 2 1 0 0 1 3 1 0 0 0 3 3 1 3 3 2 2 2 2 3 1 1 0 2 2 3 1 1 1 3 3 2 0 3 3 0 1 0 1 1 1 3 1 0 1 0 0 3 0 1 3 0 1 2 1 2 0 2 0 2 1 0 3 0 2 1 3 1 0 3 1 0 2 0 2 2 0 1 0 3 1 2 3 3 0 1 1 2 1 0 2 0 2 0 0 0 2 3 2 1 3 3 3 3 2 3 1 2 0 1 2 1 2 1 0 2 1 1 0 0 3 3 2 2 0 0 2 3 1 2 3 2 0 3 1 2 1 2 3 0 2 2 0 0 1 1 3 0 0 1 0 3 2 1 3 2 2 0 1 1 3 1 2 0 0 0 1 1 1 2 0 0 2 0 3 1 2 0 0 0 2 1 3 3 2 3 0 0 2 1 2 1 3 1 2 2 3 2 1 2 1 1 0 2 0 0 0 0 1 2 2 1 3 0 2 3 1 3 1 3 2 1 3 3 0 1 2 1 0 0 2 </values> 2520.09/2490.40 v </instantiation> 2520.09/2490.40 c Unexpected resolution interruption!
OK 3
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 (12088 MiB free)
memory of node 1: 16384 MiB (12129 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284135-1503226191/watcher-4284135-1503226191 -o /tmp/evaluation-result-4284135-1503226191/solver-4284135-1503226191 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503215489-19073 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1258885022 HOME/instance-4284135-1503226191.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20728, runsolver pid=20725
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 1.88 1.94 1.91 3/217 20744
/proc/meminfo: memFree=24780984/32770624 swapFree=67108860/67108860
[pid=20728] ppid=20725 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20728/stat : 20728 (xcsp3-exec) S 20725 20728 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155706732 9740288 346 33554432000 4194304 5098028 140722388030144 140722388028248 140172648166012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14487552 140722388038766 140722388038971 140722388038971 140722388041707 0
/proc/20728/statm: 2378 346 289 221 0 87 0
[pid=20730] ppid=20728 vsize=13978596 memory=28376 CPUtime=0.11 cores=1,3,5,7
/proc/20730/stat : 20730 (java) S 20728 20728 13358 0 -1 1077944320 5458 0 0 0 11 0 0 0 20 0 15 0 155706733 14314082304 7094 33554432000 4194304 4196468 140727833962768 140727833945312 139666710871799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
/proc/20730/statm: 3494649 7094 2881 1 0 3482966 0
[pid=20730/tid=20731] ppid=20728 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/20730/task/20731/stat : 20731 (java) R 20728 20728 13358 0 -1 4202560 3465 0 0 0 8 0 0 0 20 0 15 0 155706733 14314082304 7159 33554432000 4194304 4196468 140727833962768 139666715105072 139666710883734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20732] ppid=20728 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20732/stat : 20732 (java) S 20728 20728 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155706734 14314082304 7159 33554432000 4194304 4196468 140727833962768 139666640960400 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20733] ppid=20728 vsize=13978596 memory=140669073057408 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20733/stat : 20733 (java) S 20728 20728 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155706734 14314082304 7159 33554432000 4194304 4196468 140727833962768 139666639907600 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20734] ppid=20728 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20734/stat : 20734 (java) S 20728 20728 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155706734 14314082304 7159 33554432000 4194304 4196468 140727833962768 139666638855312 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20735] ppid=20728 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20735/stat : 20735 (java) S 20728 20728 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155706734 14314082304 7159 33554432000 4194304 4196468 140727833962768 139666637802512 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20736] ppid=20728 vsize=13978596 memory=140669073057408 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20736/stat : 20736 (java) S 20728 20728 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155706735 14314082304 7159 33554432000 4194304 4196468 140727833962768 139665622415472 139666710882946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20737] ppid=20728 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20737/stat : 20737 (java) S 20728 20728 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155706736 14314082304 7159 33554432000 4194304 4196468 140727833962768 139665621361440 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20738] ppid=20728 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20738/stat : 20738 (java) S 20728 20728 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155706736 14314082304 7159 33554432000 4194304 4196468 140727833962768 139665620309104 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20739] ppid=20728 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20739/stat : 20739 (java) S 20728 20728 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155706738 14314082304 7159 33554432000 4194304 4196468 140727833962768 139665619257424 139666710890395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20740] ppid=20728 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20740/stat : 20740 (java) S 20728 20728 13358 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 155706738 14314082304 7159 33554432000 4194304 4196468 140727833962768 139665618205296 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20741] ppid=20728 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20741/stat : 20741 (java) S 20728 20728 13358 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 15 0 155706738 14314082304 7159 33554432000 4194304 4196468 140727833962768 139665617152496 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20742] ppid=20728 vsize=13978596 memory=140669073057408 CPUtime=0.01 cores=1,3,5,7
/proc/20730/task/20742/stat : 20742 (java) R 20728 20728 13358 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 15 0 155706738 14314082304 7159 33554432000 4194304 4196468 140727833962768 139665616100208 139666690261050 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20743] ppid=20728 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20743/stat : 20743 (java) S 20728 20728 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155706738 14314082304 7159 33554432000 4194304 4196468 140727833962768 139665615047648 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20744] ppid=20728 vsize=13978596 memory=140669073057408 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20744/stat : 20744 (java) S 20728 20728 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155706739 14314082304 7159 33554432000 4194304 4196468 140727833962768 139665613994416 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29760 KiB
[startup+0.210725 s]*
/proc/loadavg: 1.88 1.94 1.91 3/217 20744
/proc/meminfo: memFree=24769524/32770624 swapFree=67108860/67108860
[pid=20728] ppid=20725 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20728/stat : 20728 (xcsp3-exec) S 20725 20728 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155706732 9740288 346 33554432000 4194304 5098028 140722388030144 140722388028248 140172648166012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14487552 140722388038766 140722388038971 140722388038971 140722388041707 0
/proc/20728/statm: 2378 346 289 221 0 87 0
[pid=20730] ppid=20728 vsize=13982852 memory=40464 CPUtime=0.34 cores=1,3,5,7
/proc/20730/stat : 20730 (java) S 20728 20728 13358 0 -1 1077944320 8167 0 0 0 32 2 0 0 20 0 15 0 155706733 14318440448 10116 33554432000 4194304 4196468 140727833962768 140727833945312 139666710871799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
/proc/20730/statm: 3495721 10116 3064 1 0 3482974 0
[pid=20730/tid=20731] ppid=20728 vsize=13982884 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/20730/task/20731/stat : 20731 (java) R 20728 20728 13358 0 -1 4202560 5300 0 0 0 18 1 0 0 20 0 15 0 155706733 14318473216 10116 33554432000 4194304 4196468 140727833962768 139666715082608 139666703551517 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20732] ppid=20728 vsize=13982884 memory=2898 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20732/stat : 20732 (java) S 20728 20728 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155706734 14318473216 10116 33554432000 4194304 4196468 140727833962768 139666640960400 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20733] ppid=20728 vsize=13982852 memory=3544813570542102176 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20733/stat : 20733 (java) S 20728 20728 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155706734 14318440448 10116 33554432000 4194304 4196468 140727833962768 139666639907600 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20734] ppid=20728 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20734/stat : 20734 (java) S 20728 20728 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155706734 14318440448 10116 33554432000 4194304 4196468 140727833962768 139666638855312 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20735] ppid=20728 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20735/stat : 20735 (java) S 20728 20728 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155706734 14318440448 10116 33554432000 4194304 4196468 140727833962768 139666637802512 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20736] ppid=20728 vsize=13982852 memory=140669073057408 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20736/stat : 20736 (java) S 20728 20728 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155706735 14318440448 10116 33554432000 4194304 4196468 140727833962768 139665622415472 139666710882946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20737] ppid=20728 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20737/stat : 20737 (java) S 20728 20728 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155706736 14318440448 10116 33554432000 4194304 4196468 140727833962768 139665621361440 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20738] ppid=20728 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20738/stat : 20738 (java) S 20728 20728 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155706736 14318440448 10116 33554432000 4194304 4196468 140727833962768 139665620309104 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20739] ppid=20728 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20739/stat : 20739 (java) S 20728 20728 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155706738 14318440448 10116 33554432000 4194304 4196468 140727833962768 139665619257424 139666710890395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20740] ppid=20728 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20730/task/20740/stat : 20740 (java) S 20728 20728 13358 0 -1 1077944384 237 0 0 0 2 0 0 0 20 0 15 0 155706738 14318440448 10116 33554432000 4194304 4196468 140727833962768 139665618205296 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20741] ppid=20728 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20730/task/20741/stat : 20741 (java) S 20728 20728 13358 0 -1 1077944384 620 0 0 0 2 0 0 0 20 0 15 0 155706738 14318440448 10116 33554432000 4194304 4196468 140727833962768 139665617152496 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20742] ppid=20728 vsize=13982884 memory=140669073057408 CPUtime=0.08 cores=1,3,5,7
/proc/20730/task/20742/stat : 20742 (java) S 20728 20728 13358 0 -1 1077944384 725 0 0 0 8 0 0 0 20 0 15 0 155706738 14318473216 10116 33554432000 4194304 4196468 140727833962768 139665616100208 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20743] ppid=20728 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20743/stat : 20743 (java) S 20728 20728 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155706738 14318473216 10116 33554432000 4194304 4196468 140727833962768 139665615047648 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20744] ppid=20728 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20744/stat : 20744 (java) S 20728 20728 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155706739 14318440448 10116 33554432000 4194304 4196468 140727833962768 139665613994416 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41848 KiB
[startup+0.315324 s]*
/proc/loadavg: 1.88 1.94 1.91 4/217 20744
/proc/meminfo: memFree=24763072/32770624 swapFree=67108860/67108860
[pid=20728] ppid=20725 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20728/stat : 20728 (xcsp3-exec) S 20725 20728 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155706732 9740288 346 33554432000 4194304 5098028 140722388030144 140722388028248 140172648166012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14487552 140722388038766 140722388038971 140722388038971 140722388041707 0
/proc/20728/statm: 2378 346 289 221 0 87 0
[pid=20730] ppid=20728 vsize=13982852 memory=47344 CPUtime=0.52 cores=1,3,5,7
/proc/20730/stat : 20730 (java) S 20728 20728 13358 0 -1 1077944320 8981 0 0 0 50 2 0 0 20 0 15 0 155706733 14318440448 11836 33554432000 4194304 4196468 140727833962768 140727833945312 139666710871799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
/proc/20730/statm: 3495713 11836 3106 1 0 3482966 0
[pid=20730/tid=20731] ppid=20728 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/20730/task/20731/stat : 20731 (java) S 20728 20728 13358 0 -1 1077944384 5945 0 0 0 28 2 0 0 20 0 15 0 155706733 14318440448 11836 33554432000 4194304 4196468 140727833962768 139666715109184 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20732] ppid=20728 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20732/stat : 20732 (java) S 20728 20728 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155706734 14318440448 11836 33554432000 4194304 4196468 140727833962768 139666640960400 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20733] ppid=20728 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20733/stat : 20733 (java) S 20728 20728 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155706734 14318440448 11836 33554432000 4194304 4196468 140727833962768 139666639907600 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20734] ppid=20728 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20734/stat : 20734 (java) S 20728 20728 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155706734 14318440448 11836 33554432000 4194304 4196468 140727833962768 139666638855312 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20735] ppid=20728 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20735/stat : 20735 (java) S 20728 20728 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155706734 14318440448 11836 33554432000 4194304 4196468 140727833962768 139666637802512 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20736] ppid=20728 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20736/stat : 20736 (java) S 20728 20728 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155706735 14318440448 11836 33554432000 4194304 4196468 140727833962768 139665622415472 139666710882946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20737] ppid=20728 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20737/stat : 20737 (java) S 20728 20728 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155706736 14318440448 11836 33554432000 4194304 4196468 140727833962768 139665621361440 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20738] ppid=20728 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20738/stat : 20738 (java) S 20728 20728 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155706736 14318440448 11836 33554432000 4194304 4196468 140727833962768 139665620309104 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20739] ppid=20728 vsize=13982852 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20739/stat : 20739 (java) S 20728 20728 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155706738 14318440448 11836 33554432000 4194304 4196468 140727833962768 139665619257424 139666710890395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20740] ppid=20728 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=1,3,5,7
/proc/20730/task/20740/stat : 20740 (java) R 20728 20728 13358 0 -1 4202560 269 0 0 0 4 0 0 0 20 0 15 0 155706738 14318440448 11836 33554432000 4194304 4196468 140727833962768 139665618205296 139666688466544 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20741] ppid=20728 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20730/task/20741/stat : 20741 (java) R 20728 20728 13358 0 -1 1077944384 630 0 0 0 3 0 0 0 20 0 15 0 155706738 14318440448 11836 33554432000 4194304 4196468 140727833962768 139665617152496 139666710882946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20742] ppid=20728 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/20730/task/20742/stat : 20742 (java) S 20728 20728 13358 0 -1 1077944384 833 0 0 0 13 0 0 0 20 0 15 0 155706738 14318440448 11836 33554432000 4194304 4196468 140727833962768 139665616100208 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20743] ppid=20728 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20743/stat : 20743 (java) S 20728 20728 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155706738 14318440448 11836 33554432000 4194304 4196468 140727833962768 139665615047648 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20744] ppid=20728 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20744/stat : 20744 (java) S 20728 20728 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155706739 14318440448 11836 33554432000 4194304 4196468 140727833962768 139665613994416 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48728 KiB
[startup+0.701197 s]
/proc/loadavg: 1.88 1.94 1.91 5/217 20744
/proc/meminfo: memFree=24732672/32770624 swapFree=67108860/67108860
[pid=20728] ppid=20725 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20728/stat : 20728 (xcsp3-exec) S 20725 20728 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155706732 9740288 346 33554432000 4194304 5098028 140722388030144 140722388028248 140172648166012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14487552 140722388038766 140722388038971 140722388038971 140722388041707 0
/proc/20728/statm: 2378 346 289 221 0 87 0
[pid=20730] ppid=20728 vsize=13984976 memory=99500 CPUtime=1.8 cores=1,3,5,7
/proc/20730/stat : 20730 (java) S 20728 20728 13358 0 -1 1077944320 12395 0 0 0 176 4 0 0 20 0 15 0 155706733 14320615424 24875 33554432000 4194304 4196468 140727833962768 140727833945312 139666710871799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
/proc/20730/statm: 3496244 24875 3201 1 0 3483478 0
[pid=20730/tid=20731] ppid=20728 vsize=13984976 memory=3472328296227679313 CPUtime=0.67 cores=1,3,5,7
/proc/20730/task/20731/stat : 20731 (java) R 20728 20728 13358 0 -1 4202560 6567 0 0 0 64 3 0 0 20 0 15 0 155706733 14320615424 24875 33554432000 4194304 4196468 140727833962768 139666715105264 139666692521402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20732] ppid=20728 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20732/stat : 20732 (java) S 20728 20728 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155706734 14320615424 24875 33554432000 4194304 4196468 140727833962768 139666640960400 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20733] ppid=20728 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20733/stat : 20733 (java) S 20728 20728 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155706734 14320615424 24875 33554432000 4194304 4196468 140727833962768 139666639907600 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20734] ppid=20728 vsize=13984976 memory=43364 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20734/stat : 20734 (java) S 20728 20728 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155706734 14320615424 24875 33554432000 4194304 4196468 140727833962768 139666638855312 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20735] ppid=20728 vsize=13984976 memory=2332 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20735/stat : 20735 (java) S 20728 20728 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155706734 14320615424 24875 33554432000 4194304 4196468 140727833962768 139666637802512 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20736] ppid=20728 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20736/stat : 20736 (java) S 20728 20728 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155706735 14320615424 24875 33554432000 4194304 4196468 140727833962768 139665622415472 139666710882946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20737] ppid=20728 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20737/stat : 20737 (java) S 20728 20728 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155706736 14320615424 24875 33554432000 4194304 4196468 140727833962768 139665621361440 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20738] ppid=20728 vsize=13984976 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20738/stat : 20738 (java) S 20728 20728 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155706736 14320615424 24875 33554432000 4194304 4196468 140727833962768 139665620309104 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20739] ppid=20728 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20739/stat : 20739 (java) S 20728 20728 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155706738 14320615424 24875 33554432000 4194304 4196468 140727833962768 139665619257424 139666710890395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20740] ppid=20728 vsize=13984976 memory=796 CPUtime=0.35 cores=1,3,5,7
/proc/20730/task/20740/stat : 20740 (java) R 20728 20728 13358 0 -1 4202560 1054 0 0 0 35 0 0 0 20 0 15 0 155706738 14320615424 24875 33554432000 4194304 4196468 140727833962768 139665618193648 139666691507671 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20741] ppid=20728 vsize=13984976 memory=10088 CPUtime=0.36 cores=1,3,5,7
/proc/20730/task/20741/stat : 20741 (java) R 20728 20728 13358 0 -1 1077944384 1570 0 0 0 36 0 0 0 20 0 15 0 155706738 14320615424 24875 33554432000 4194304 4196468 140727833962768 139665617139248 139666710882005 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20742] ppid=20728 vsize=13984976 memory=1948 CPUtime=0.39 cores=1,3,5,7
/proc/20730/task/20742/stat : 20742 (java) R 20728 20728 13358 0 -1 4202560 1896 0 0 0 39 0 0 0 20 0 15 0 155706738 14320615424 24875 33554432000 4194304 4196468 140727833962768 139665616100336 139666689829588 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20743] ppid=20728 vsize=13984976 memory=8584 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20743/stat : 20743 (java) S 20728 20728 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155706738 14320615424 24875 33554432000 4194304 4196468 140727833962768 139665615047648 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20744] ppid=20728 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20744/stat : 20744 (java) S 20728 20728 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155706739 14320615424 24875 33554432000 4194304 4196468 140727833962768 139665613994416 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 100884 KiB
[startup+1.50143 s]
/proc/loadavg: 1.88 1.94 1.91 4/217 20744
/proc/meminfo: memFree=24657960/32770624 swapFree=67108860/67108860
[pid=20728] ppid=20725 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20728/stat : 20728 (xcsp3-exec) S 20725 20728 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155706732 9740288 346 33554432000 4194304 5098028 140722388030144 140722388028248 140172648166012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14487552 140722388038766 140722388038971 140722388038971 140722388041707 0
/proc/20728/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/20730/task/20738/stat : 20738 (java) S 20728 20728 13358 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 155706736 14320615424 127251 33554432000 4194304 4196468 140727833962768 139665620309120 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20739] ppid=20728 vsize=13984976 memory=509004 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20739/stat : 20739 (java) S 20728 20728 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155706738 14320615424 127251 33554432000 4194304 4196468 140727833962768 139665619257424 139666710890395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20740] ppid=20728 vsize=13984976 memory=1384 CPUtime=6.13 cores=1,3,5,7
/proc/20730/task/20740/stat : 20740 (java) S 20728 20728 13358 0 -1 1077944384 37367 0 0 0 609 4 0 0 20 0 15 0 155706738 14320615424 127251 33554432000 4194304 4196468 140727833962768 139665618205296 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20741] ppid=20728 vsize=13984976 memory=1384 CPUtime=5.69 cores=1,3,5,7
/proc/20730/task/20741/stat : 20741 (java) S 20728 20728 13358 0 -1 1077944384 29948 0 0 0 564 5 0 0 20 0 15 0 155706738 14320615424 127251 33554432000 4194304 4196468 140727833962768 139665617152496 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20742] ppid=20728 vsize=13984976 memory=1384 CPUtime=1.18 cores=1,3,5,7
/proc/20730/task/20742/stat : 20742 (java) S 20728 20728 13358 0 -1 1077944384 18431 0 0 0 115 3 0 0 20 0 15 0 155706738 14320615424 127251 33554432000 4194304 4196468 140727833962768 139665616100208 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20743] ppid=20728 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20743/stat : 20743 (java) S 20728 20728 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155706738 14320615424 127251 33554432000 4194304 4196468 140727833962768 139665615047648 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20744] ppid=20728 vsize=13984976 memory=509004 CPUtime=1.37 cores=1,3,5,7
/proc/20730/task/20744/stat : 20744 (java) S 20728 20728 13358 0 -1 1077944384 1709 0 0 0 63 74 0 0 20 0 15 0 155706739 14320615424 127251 33554432000 4194304 4196468 140727833962768 139665613994416 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
Current children cumulated CPU time: 2349.55 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 510388 KiB
[startup+2382.3 s]
/proc/loadavg: 0.93 1.14 1.44 2/195 20890
/proc/meminfo: memFree=24719016/32770624 swapFree=67108860/67108860
[pid=20728] ppid=20725 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20728/stat : 20728 (xcsp3-exec) S 20725 20728 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155706732 9740288 346 33554432000 4194304 5098028 140722388030144 140722388028248 140172648166012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14487552 140722388038766 140722388038971 140722388038971 140722388041707 0
/proc/20728/statm: 2378 346 289 221 0 87 0
[pid=20730] ppid=20728 vsize=13984976 memory=509016 CPUtime=2409.87 cores=1,3,5,7
/proc/20730/stat : 20730 (java) S 20728 20728 13358 0 -1 1077944320 171963 0 0 0 240786 201 0 0 20 0 15 0 155706733 14320615424 127254 33554432000 4194304 4196468 140727833962768 140727833945312 139666710871799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
/proc/20730/statm: 3496244 127254 3289 1 0 3483478 0
[pid=20730/tid=20731] ppid=20728 vsize=13984976 memory=509016 CPUtime=2376.92 cores=1,3,5,7
/proc/20730/task/20731/stat : 20731 (java) R 20728 20728 13358 0 -1 4202560 42042 0 0 0 237675 17 0 0 20 0 15 0 155706733 14320615424 127254 33554432000 4194304 4196468 140727833962768 139666715111472 139666321841046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20732] ppid=20728 vsize=13984976 memory=509016 CPUtime=4.34 cores=1,3,5,7
/proc/20730/task/20732/stat : 20732 (java) S 20728 20728 13358 0 -1 1077944384 9290 0 0 0 414 20 0 0 20 0 15 0 155706734 14320615424 127254 33554432000 4194304 4196468 140727833962768 139666640960400 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20733] ppid=20728 vsize=13984976 memory=509016 CPUtime=4.39 cores=1,3,5,7
/proc/20730/task/20733/stat : 20733 (java) S 20728 20728 13358 0 -1 1077944384 6437 0 0 0 417 22 0 0 20 0 15 0 155706734 14320615424 127254 33554432000 4194304 4196468 140727833962768 139666639907600 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20734] ppid=20728 vsize=13984976 memory=509016 CPUtime=4.35 cores=1,3,5,7
/proc/20730/task/20734/stat : 20734 (java) S 20728 20728 13358 0 -1 1077944384 5828 0 0 0 414 21 0 0 20 0 15 0 155706734 14320615424 127254 33554432000 4194304 4196468 140727833962768 139666638855312 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20735] ppid=20728 vsize=13984976 memory=509016 CPUtime=4.35 cores=1,3,5,7
/proc/20730/task/20735/stat : 20735 (java) S 20728 20728 13358 0 -1 1077944384 5662 0 0 0 414 21 0 0 20 0 15 0 155706734 14320615424 127254 33554432000 4194304 4196468 140727833962768 139666637802512 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20736] ppid=20728 vsize=13984976 memory=1384 CPUtime=1 cores=1,3,5,7
/proc/20730/task/20736/stat : 20736 (java) S 20728 20728 13358 0 -1 1077944384 13624 0 0 0 76 24 0 0 20 0 15 0 155706735 14320615424 127254 33554432000 4194304 4196468 140727833962768 139665622415472 139666710882946 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20737] ppid=20728 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20737/stat : 20737 (java) S 20728 20728 13358 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 155706736 14320615424 127254 33554432000 4194304 4196468 140727833962768 139665621361504 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20738] ppid=20728 vsize=13984976 memory=509016 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20738/stat : 20738 (java) S 20728 20728 13358 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 155706736 14320615424 127254 33554432000 4194304 4196468 140727833962768 139665620309120 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20739] ppid=20728 vsize=13984976 memory=509016 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20739/stat : 20739 (java) S 20728 20728 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155706738 14320615424 127254 33554432000 4194304 4196468 140727833962768 139665619257424 139666710890395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20740] ppid=20728 vsize=13984976 memory=1384 CPUtime=6.13 cores=1,3,5,7
/proc/20730/task/20740/stat : 20740 (java) S 20728 20728 13358 0 -1 1077944384 37370 0 0 0 609 4 0 0 20 0 15 0 155706738 14320615424 127254 33554432000 4194304 4196468 140727833962768 139665618205296 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20741] ppid=20728 vsize=13984976 memory=1384 CPUtime=5.69 cores=1,3,5,7
/proc/20730/task/20741/stat : 20741 (java) S 20728 20728 13358 0 -1 1077944384 29950 0 0 0 564 5 0 0 20 0 15 0 155706738 14320615424 127254 33554432000 4194304 4196468 140727833962768 139665617152496 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20742] ppid=20728 vsize=13984976 memory=509016 CPUtime=1.18 cores=1,3,5,7
/proc/20730/task/20742/stat : 20742 (java) S 20728 20728 13358 0 -1 1077944384 18665 0 0 0 115 3 0 0 20 0 15 0 155706738 14320615424 127254 33554432000 4194304 4196468 140727833962768 139665616100208 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20743] ppid=20728 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20743/stat : 20743 (java) S 20728 20728 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155706738 14320615424 127254 33554432000 4194304 4196468 140727833962768 139665615047648 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20744] ppid=20728 vsize=13984976 memory=1384 CPUtime=1.4 cores=1,3,5,7
/proc/20730/task/20744/stat : 20744 (java) S 20728 20728 13358 0 -1 1077944384 1730 0 0 0 64 76 0 0 20 0 15 0 155706739 14320615424 127254 33554432000 4194304 4196468 140727833962768 139665613994416 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
Current children cumulated CPU time: 2409.87 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 510400 KiB
[startup+2442.3 s]
/proc/loadavg: 1.02 1.13 1.41 2/195 20891
/proc/meminfo: memFree=24722124/32770624 swapFree=67108860/67108860
[pid=20728] ppid=20725 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20728/stat : 20728 (xcsp3-exec) S 20725 20728 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155706732 9740288 346 33554432000 4194304 5098028 140722388030144 140722388028248 140172648166012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14487552 140722388038766 140722388038971 140722388038971 140722388041707 0
/proc/20728/statm: 2378 346 289 221 0 87 0
[pid=20730] ppid=20728 vsize=13984976 memory=504908 CPUtime=2471.75 cores=1,3,5,7
/proc/20730/stat : 20730 (java) S 20728 20728 13358 0 -1 1077944320 175579 0 0 0 246971 204 0 0 20 0 15 0 155706733 14320615424 126227 33554432000 4194304 4196468 140727833962768 140727833945312 139666710871799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
/proc/20730/statm: 3496244 126227 3289 1 0 3483478 0
[pid=20730/tid=20731] ppid=20728 vsize=13984976 memory=509532 CPUtime=2436.28 cores=1,3,5,7
/proc/20730/task/20731/stat : 20731 (java) R 20728 20728 13358 0 -1 4202560 42724 0 0 0 243610 18 0 0 20 0 15 0 155706733 14320615424 126227 33554432000 4194304 4196468 140727833962768 139666715111264 139666321796142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20732] ppid=20728 vsize=13984976 memory=509532 CPUtime=4.94 cores=1,3,5,7
/proc/20730/task/20732/stat : 20732 (java) S 20728 20728 13358 0 -1 1077944384 9651 0 0 0 474 20 0 0 20 0 15 0 155706734 14320615424 126227 33554432000 4194304 4196468 140727833962768 139666640960400 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20733] ppid=20728 vsize=13984976 memory=509312 CPUtime=5.01 cores=1,3,5,7
/proc/20730/task/20733/stat : 20733 (java) S 20728 20728 13358 0 -1 1077944384 6661 0 0 0 479 22 0 0 20 0 15 0 155706734 14320615424 126227 33554432000 4194304 4196468 140727833962768 139666639907600 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20734] ppid=20728 vsize=13984976 memory=509312 CPUtime=4.97 cores=1,3,5,7
/proc/20730/task/20734/stat : 20734 (java) S 20728 20728 13358 0 -1 1077944384 6164 0 0 0 476 21 0 0 20 0 15 0 155706734 14320615424 126227 33554432000 4194304 4196468 140727833962768 139666638855312 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20735] ppid=20728 vsize=13984976 memory=508508 CPUtime=4.97 cores=1,3,5,7
/proc/20730/task/20735/stat : 20735 (java) S 20728 20728 13358 0 -1 1077944384 6342 0 0 0 476 21 0 0 20 0 15 0 155706734 14320615424 126227 33554432000 4194304 4196468 140727833962768 139666637802512 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20736] ppid=20728 vsize=13984976 memory=504908 CPUtime=1.02 cores=1,3,5,7
/proc/20730/task/20736/stat : 20736 (java) S 20728 20728 13358 0 -1 1077944384 14693 0 0 0 78 24 0 0 20 0 15 0 155706735 14320615424 126227 33554432000 4194304 4196468 140727833962768 139665622415472 139666710882946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20737] ppid=20728 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20737/stat : 20737 (java) S 20728 20728 13358 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 155706736 14320615424 126227 33554432000 4194304 4196468 140727833962768 139665621361504 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20738] ppid=20728 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20738/stat : 20738 (java) S 20728 20728 13358 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 155706736 14320615424 126227 33554432000 4194304 4196468 140727833962768 139665620309120 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20739] ppid=20728 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20739/stat : 20739 (java) S 20728 20728 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155706738 14320615424 126227 33554432000 4194304 4196468 140727833962768 139665619257424 139666710890395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20740] ppid=20728 vsize=13984976 memory=1384 CPUtime=6.13 cores=1,3,5,7
/proc/20730/task/20740/stat : 20740 (java) S 20728 20728 13358 0 -1 1077944384 37460 0 0 0 609 4 0 0 20 0 15 0 155706738 14320615424 126227 33554432000 4194304 4196468 140727833962768 139665618205296 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20741] ppid=20728 vsize=13984976 memory=508504 CPUtime=5.69 cores=1,3,5,7
/proc/20730/task/20741/stat : 20741 (java) S 20728 20728 13358 0 -1 1077944384 29952 0 0 0 564 5 0 0 20 0 15 0 155706738 14320615424 126227 33554432000 4194304 4196468 140727833962768 139665617152496 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20742] ppid=20728 vsize=13984976 memory=509312 CPUtime=1.19 cores=1,3,5,7
/proc/20730/task/20742/stat : 20742 (java) S 20728 20728 13358 0 -1 1077944384 18819 0 0 0 116 3 0 0 20 0 15 0 155706738 14320615424 126227 33554432000 4194304 4196468 140727833962768 139665616100208 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20743] ppid=20728 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20743/stat : 20743 (java) S 20728 20728 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155706738 14320615424 126227 33554432000 4194304 4196468 140727833962768 139665615047648 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20744] ppid=20728 vsize=13984976 memory=2424 CPUtime=1.45 cores=1,3,5,7
/proc/20730/task/20744/stat : 20744 (java) S 20728 20728 13358 0 -1 1077944384 1748 0 0 0 66 79 0 0 20 0 15 0 155706739 14320615424 126227 33554432000 4194304 4196468 140727833962768 139665613994416 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
Current children cumulated CPU time: 2471.75 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 506292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2490.4 s]
/proc/loadavg: 0.82 1.06 1.38 2/195 20892
/proc/meminfo: memFree=24723812/32770624 swapFree=67108860/67108860
[pid=20728] ppid=20725 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20728/stat : 20728 (xcsp3-exec) S 20725 20728 13358 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 155706732 9740288 346 33554432000 4194304 5098028 140722388030144 140722388028248 140172648166012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14487552 140722388038766 140722388038971 140722388038971 140722388041707 0
/proc/20728/statm: 2378 346 289 221 0 87 0
[pid=20730] ppid=20728 vsize=13984976 memory=503884 CPUtime=2520.09 cores=1,3,5,7
/proc/20730/stat : 20730 (java) S 20728 20728 13358 0 -1 1077944320 176311 0 0 0 251804 205 0 0 20 0 15 0 155706733 14320615424 125971 33554432000 4194304 4196468 140727833962768 140727833945312 139666710871799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
/proc/20730/statm: 3496244 125971 3289 1 0 3483478 0
[pid=20730/tid=20731] ppid=20728 vsize=13984976 memory=1436 CPUtime=2484.3 cores=1,3,5,7
/proc/20730/task/20731/stat : 20731 (java) R 20728 20728 13358 0 -1 4202560 43057 0 0 0 248412 18 0 0 20 0 15 0 155706733 14320615424 125971 33554432000 4194304 4196468 140727833962768 139666715111440 139666321796166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20732] ppid=20728 vsize=13984976 memory=6791534058613427641 CPUtime=5.01 cores=1,3,5,7
/proc/20730/task/20732/stat : 20732 (java) S 20728 20728 13358 0 -1 1077944384 9687 0 0 0 481 20 0 0 20 0 15 0 155706734 14320615424 125971 33554432000 4194304 4196468 140727833962768 139666640960400 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20733] ppid=20728 vsize=13984976 memory=15876 CPUtime=5.08 cores=1,3,5,7
/proc/20730/task/20733/stat : 20733 (java) S 20728 20728 13358 0 -1 1077944384 6910 0 0 0 486 22 0 0 20 0 15 0 155706734 14320615424 125971 33554432000 4194304 4196468 140727833962768 139666639907600 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20734] ppid=20728 vsize=13984976 memory=4040 CPUtime=5.04 cores=1,3,5,7
/proc/20730/task/20734/stat : 20734 (java) S 20728 20728 13358 0 -1 1077944384 6192 0 0 0 483 21 0 0 20 0 15 0 155706734 14320615424 125971 33554432000 4194304 4196468 140727833962768 139666638855312 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20735] ppid=20728 vsize=13984976 memory=24716 CPUtime=5.04 cores=1,3,5,7
/proc/20730/task/20735/stat : 20735 (java) S 20728 20728 13358 0 -1 1077944384 6354 0 0 0 483 21 0 0 20 0 15 0 155706734 14320615424 125971 33554432000 4194304 4196468 140727833962768 139666637802512 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20736] ppid=20728 vsize=13984976 memory=18292 CPUtime=1.03 cores=1,3,5,7
/proc/20730/task/20736/stat : 20736 (java) S 20728 20728 13358 0 -1 1077944384 14715 0 0 0 79 24 0 0 20 0 15 0 155706735 14320615424 125971 33554432000 4194304 4196468 140727833962768 139665622415472 139666710882946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20737] ppid=20728 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20737/stat : 20737 (java) S 20728 20728 13358 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 155706736 14320615424 125971 33554432000 4194304 4196468 140727833962768 139665621361504 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20738] ppid=20728 vsize=13984976 memory=648 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20738/stat : 20738 (java) S 20728 20728 13358 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 155706736 14320615424 125971 33554432000 4194304 4196468 140727833962768 139665620309120 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20739] ppid=20728 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20739/stat : 20739 (java) S 20728 20728 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155706738 14320615424 125971 33554432000 4194304 4196468 140727833962768 139665619257424 139666710890395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20740] ppid=20728 vsize=13984976 memory=1384 CPUtime=6.13 cores=1,3,5,7
/proc/20730/task/20740/stat : 20740 (java) S 20728 20728 13358 0 -1 1077944384 37462 0 0 0 609 4 0 0 20 0 15 0 155706738 14320615424 125971 33554432000 4194304 4196468 140727833962768 139665618205296 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20741] ppid=20728 vsize=13984976 memory=2424 CPUtime=5.69 cores=1,3,5,7
/proc/20730/task/20741/stat : 20741 (java) S 20728 20728 13358 0 -1 1077944384 29954 0 0 0 564 5 0 0 20 0 15 0 155706738 14320615424 125971 33554432000 4194304 4196468 140727833962768 139665617152496 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20742] ppid=20728 vsize=13984976 memory=2236 CPUtime=1.19 cores=1,3,5,7
/proc/20730/task/20742/stat : 20742 (java) S 20728 20728 13358 0 -1 1077944384 18861 0 0 0 116 3 0 0 20 0 15 0 155706738 14320615424 125971 33554432000 4194304 4196468 140727833962768 139665616100208 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20743] ppid=20728 vsize=13984976 memory=4084 CPUtime=0 cores=1,3,5,7
/proc/20730/task/20743/stat : 20743 (java) S 20728 20728 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155706738 14320615424 125971 33554432000 4194304 4196468 140727833962768 139665615047648 139666710882005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
[pid=20730/tid=20744] ppid=20728 vsize=13984976 memory=932 CPUtime=1.48 cores=1,3,5,7
/proc/20730/task/20744/stat : 20744 (java) S 20728 20728 13358 0 -1 1077944384 1754 0 0 0 69 79 0 0 20 0 15 0 155706739 14320615424 125971 33554432000 4194304 4196468 140727833962768 139665613994416 139666710882946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39493632 140727833969815 140727833969991 140727833969991 140727833972687 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 505268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2490.41 s]
# the end of solver process 20728 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000922 s, system=0.000922 s
[startup+2490.41 s]
# the end of solver process 20730 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.06 s, system=2.06445 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): 2490.41
CPU time (s): 2520.12
CPU user time (s): 2518.06
CPU system time (s): 2.06445
CPU usage (%): 101.193
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 959736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.06
system time used= 2.06445
maximum resident set size= 975220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 176986
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63667
involuntary context switches= 1771
# summary of solver processes directly reported to runsolver:
# pid: 20728,20730
# total CPU time (s): 2520.12
# total CPU user time (s): 2518.06
# total CPU system time (s): 2.06445
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4173 second user time and 22.8389 second system time
The end
Begin job on node112 at 2017-08-20 12:35:31 IDJOB=4284135 IDBENCH=140572 IDSOLVER=2679 FILE ID=node112/4284135-1503226191 RUNJOBID= node112-1503215489-19073 PBS_JOBID= 20630869 Free space on /tmp= 61780 MiB SOLVER NAME= choco-solver 5a (2017-08-18) BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-27.xml COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4284135-1503226191/watcher-4284135-1503226191 -o /tmp/evaluation-result-4284135-1503226191/solver-4284135-1503226191 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503215489-19073 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1258885022 HOME/instance-4284135-1503226191.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 1f968d7964fa1ced5b2605ed1734128f RANDOM SEED=1258885022 node112.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.24 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.24 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.24 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.24 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: 24798520 kB MemAvailable: 31562700 kB Buffers: 256748 kB Cached: 6796732 kB SwapCached: 0 kB Active: 1590896 kB Inactive: 5924368 kB Active(anon): 413468 kB Inactive(anon): 84384 kB Active(file): 1177428 kB Inactive(file): 5839984 kB Unevictable: 7844 kB Mlocked: 7844 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7788 kB Writeback: 4 kB AnonPages: 469636 kB Mapped: 64160 kB Shmem: 33416 kB Slab: 152548 kB SReclaimable: 125208 kB SUnreclaim: 27340 kB KernelStack: 3520 kB PageTables: 6328 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1189276 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 309248 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61780 MiB End job on node112 at 2017-08-20 13:17:01