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-07-26) | SAT (TO) | 3 | 2520.03 | 2497.71 |
| Name | Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml |
| MD5SUM | 22300454f2969805ad1ca4690e3d792c |
| 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.04 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 576 |
| Number of constraints | 2024 |
| Number of domains | 1 |
| Minimum domain size | 276 |
| Maximum domain size | 276 |
| Distribution of domain sizes | [{"size":276,"count":276}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 23 |
| Distribution of variable degrees | [{"degree":0,"count":300},{"degree":23,"count":276}] |
| Minimum constraint arity | 3 |
| Maximum constraint arity | 3 |
| Distribution of constraint arities | [{"arity":3,"count":2024}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 2024 |
| Distribution of constraint types | [{"type":"intension","count":2024}] |
| 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-4272854-1502864970.xml" -tl '2520s' -p 1 -x 3 0.13/0.14 c [HOME/instance-4272854-1502864970.xml, -tl, 2520s, -p, 1, -x, 3] 0.13/0.20 c simple solver 0.34/0.26 c parse instance... 2.16/0.85 c solve instance... 191.67/180.24 o 275 196.95/184.91 o 274 197.45/185.34 o 273 199.32/187.18 o 272 200.53/188.25 o 271 200.64/188.36 o 270 201.46/189.16 o 269 231.06/218.54 o 268 235.77/223.28 o 267 235.90/223.39 o 266 236.02/223.49 o 265 236.13/223.58 o 264 236.24/223.68 o 263 236.34/223.78 o 262 236.44/223.88 o 261 236.55/223.98 o 260 241.21/228.53 o 259 253.02/240.37 o 258 258.06/245.40 o 257 258.16/245.50 o 256 264.37/251.59 o 255 282.51/269.61 o 254 282.61/269.71 o 253 282.71/269.81 o 252 282.81/269.90 o 251 282.92/270.01 o 250 282.92/270.10 o 249 283.11/270.20 o 248 283.11/270.30 o 247 283.21/270.39 o 246 283.32/270.49 o 245 283.42/270.58 o 244 283.52/270.68 o 243 283.62/270.77 o 242 283.72/270.87 o 241 284.32/271.46 o 240 284.42/271.56 o 239 284.52/271.65 o 238 284.62/271.75 o 237 284.72/271.84 o 236 284.82/271.94 o 235 284.93/272.03 o 234 285.03/272.12 o 233 285.13/272.22 o 232 285.23/272.31 o 231 285.33/272.40 o 230 285.33/272.49 o 229 285.43/272.59 o 228 285.53/272.68 o 227 285.63/272.77 o 226 285.73/272.86 o 225 285.83/272.96 o 224 285.94/273.05 o 223 286.04/273.14 o 222 286.13/273.23 o 221 286.23/273.32 o 220 286.33/273.42 o 219 286.43/273.52 o 218 286.53/273.61 o 217 286.53/273.69 o 216 286.63/273.78 o 215 286.73/273.88 o 214 286.83/273.96 o 213 286.94/274.05 o 212 287.04/274.14 o 211 287.13/274.24 o 210 287.23/274.32 o 209 287.33/274.41 o 208 287.43/274.50 o 207 287.43/274.59 o 206 287.53/274.68 o 205 287.63/274.77 o 204 287.73/274.87 o 203 287.83/274.95 o 202 287.94/275.04 o 201 294.36/281.47 o 200 294.46/281.55 o 199 294.56/281.64 o 198 294.66/281.74 o 197 294.78/281.83 o 196 294.88/281.92 o 195 294.99/282.01 o 194 294.99/282.10 o 193 295.09/282.19 o 192 295.19/282.28 o 191 295.29/282.36 o 190 295.39/282.45 o 189 295.49/282.54 o 188 295.59/282.63 o 187 295.69/282.71 o 186 295.79/282.80 o 185 295.79/282.89 o 184 295.91/282.98 o 183 296.02/283.06 o 182 296.17/283.15 o 181 296.30/283.24 o 180 296.40/283.33 o 179 296.52/283.42 o 178 296.62/283.51 o 177 296.76/283.61 o 176 296.76/283.69 o 175 296.87/283.78 o 174 297.01/283.87 o 173 297.11/283.95 o 172 297.27/284.04 o 171 297.37/284.13 o 170 297.46/284.21 o 169 297.56/284.30 o 168 297.56/284.38 o 167 297.66/284.47 o 166 297.76/284.55 o 165 297.86/284.64 o 164 297.96/284.73 o 163 298.06/284.81 o 162 298.06/284.90 o 161 298.16/284.98 o 160 298.27/285.07 o 159 298.37/285.15 o 158 298.46/285.24 o 157 298.56/285.32 o 156 298.66/285.41 o 155 298.66/285.49 o 154 298.76/285.57 o 153 298.86/285.66 o 152 298.96/285.74 o 151 299.07/285.83 o 150 299.17/285.91 o 149 299.17/286.00 o 148 299.28/286.08 o 147 299.38/286.17 o 146 299.47/286.25 o 145 299.59/286.34 o 144 299.69/286.42 o 143 299.79/286.51 o 142 299.79/286.59 o 141 299.89/286.68 o 140 299.99/286.76 o 139 300.09/286.84 o 138 300.19/286.93 o 137 300.30/287.01 o 136 300.30/287.10 o 135 300.40/287.18 o 134 300.49/287.27 o 133 300.59/287.35 o 132 300.69/287.43 o 131 300.79/287.51 o 130 300.79/287.60 o 129 300.89/287.68 o 128 301.00/287.76 o 127 301.10/287.84 o 126 301.20/287.93 o 125 301.30/288.01 o 124 301.30/288.09 o 123 301.42/288.18 o 122 301.52/288.26 o 121 301.65/288.35 o 120 301.79/288.43 o 119 301.89/288.51 o 118 301.89/288.59 o 117 302.00/288.68 o 116 302.12/288.76 o 115 302.22/288.84 o 114 302.32/288.92 o 113 302.32/289.00 o 112 302.62/289.26 o 111 302.72/289.35 o 110 302.82/289.43 o 109 302.92/289.51 o 108 302.92/289.59 o 107 303.03/289.67 o 106 303.13/289.75 o 105 303.23/289.83 o 104 303.33/289.91 o 103 303.44/290.03 o 102 303.63/290.21 o 101 303.83/290.49 o 100 304.36/290.91 o 99 304.88/291.47 o 5 305.26/291.73 o 4 317.22/303.26 o 3 2520.01/2497.70 s SATISFIABLE 2520.01/2497.70 v <instantiation> 2520.01/2497.70 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[19][20] x[19][21] x[19][22] x[19][23] x[20][21] x[20][22] x[20][23] x[21][22] x[21][23] x[22][23] </list> 2520.01/2497.70 v <values>3 2 1 3 0 1 0 0 2 0 1 2 0 1 1 3 0 1 2 1 1 3 3 0 1 1 2 3 0 3 2 1 1 0 0 0 2 2 1 3 1 3 0 0 1 1 0 0 1 1 0 1 0 1 3 2 1 1 2 0 1 3 0 1 2 3 0 1 2 0 2 3 0 2 0 1 0 0 2 3 3 2 2 0 2 3 2 0 3 2 1 2 0 2 3 1 3 0 3 1 2 1 1 2 0 2 2 1 3 1 1 0 2 1 0 0 3 1 1 2 2 3 0 0 0 3 3 3 1 0 3 2 1 1 2 1 0 3 0 3 2 0 2 0 1 1 3 2 1 1 0 1 1 3 2 1 2 3 3 1 1 0 0 1 1 0 0 1 0 3 1 1 2 0 1 0 3 1 1 2 1 2 0 0 0 2 1 3 2 1 3 2 2 3 1 1 0 0 1 1 0 2 1 3 3 0 3 2 0 2 2 1 2 3 3 2 0 0 3 1 2 1 0 0 2 1 2 3 1 3 0 2 1 0 3 3 0 2 2 1 1 0 3 2 0 3 1 1 2 0 0 3 0 0 2 0 3 2 1 0 0 2 0 2 1 1 3 1 1 0 0 1 0 3 1 2 </values> 2520.01/2497.70 v </instantiation> 2520.01/2497.70 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 (12218 MiB free)
memory of node 1: 16384 MiB (13221 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272854-1502864970/watcher-4272854-1502864970 -o /tmp/evaluation-result-4272854-1502864970/solver-4272854-1502864970 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502839397-26775 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 967570084 HOME/instance-4272854-1502864970.xml
running on 4 cores: 0,2,4,6
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=30045, runsolver pid=30042
[startup+0.100168 s]*
/proc/loadavg: 1.57 1.49 1.50 3/217 30061
/proc/meminfo: memFree=26033976/32770624 swapFree=67108860/67108860
[pid=30045] ppid=30042 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30045/stat : 30045 (xcsp3-exec) S 30042 30045 26744 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 119568519 9740288 346 33554432000 4194304 5098028 140732489883824 140732489881928 139858559730300 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23072768 140732489892975 140732489893179 140732489893179 140732489895915 0
/proc/30045/statm: 2378 346 289 221 0 87 0
[pid=30047] ppid=30045 vsize=13978596 memory=27536 CPUtime=0.13 cores=0,2,4,6
/proc/30047/stat : 30047 (java) S 30045 30045 26744 0 -1 1077944320 5214 0 0 0 12 1 0 0 20 0 15 0 119568520 14314082304 6884 33554432000 4194304 4196468 140723302305600 140723302288144 139746593132279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
/proc/30047/statm: 3494649 6884 2893 1 0 3482966 0
[pid=30047/tid=30048] ppid=30045 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/30047/task/30048/stat : 30048 (java) R 30045 30045 26744 0 -1 4202560 3128 0 0 0 9 0 0 0 20 0 15 0 119568520 14314082304 6884 33554432000 4194304 4196468 140723302305600 139746597365632 139746574717022 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30049] ppid=30045 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30049/stat : 30049 (java) S 30045 30045 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119568521 14314082304 6884 33554432000 4194304 4196468 140723302305600 139746560690448 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30050] ppid=30045 vsize=13978596 memory=139697044633216 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30050/stat : 30050 (java) S 30045 30045 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119568521 14314082304 6884 33554432000 4194304 4196468 140723302305600 139746187606416 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30051] ppid=30045 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30051/stat : 30051 (java) S 30045 30045 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119568521 14314082304 6884 33554432000 4194304 4196468 140723302305600 139746186553872 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30052] ppid=30045 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30052/stat : 30052 (java) S 30045 30045 26744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119568521 14314082304 6884 33554432000 4194304 4196468 140723302305600 139746185501328 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30053] ppid=30045 vsize=13978596 memory=139697044633216 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30053/stat : 30053 (java) S 30045 30045 26744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119568522 14314082304 6884 33554432000 4194304 4196468 140723302305600 139746067028464 139746593143426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30054] ppid=30045 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30054/stat : 30054 (java) S 30045 30045 26744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119568523 14314082304 6884 33554432000 4194304 4196468 140723302305600 139746065974688 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30055] ppid=30045 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30055/stat : 30055 (java) S 30045 30045 26744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119568523 14314082304 6884 33554432000 4194304 4196468 140723302305600 139746064922096 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30056] ppid=30045 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30056/stat : 30056 (java) S 30045 30045 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119568525 14314082304 6884 33554432000 4194304 4196468 140723302305600 139746063870672 139746593150875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30057] ppid=30045 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30057/stat : 30057 (java) S 30045 30045 26744 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 119568525 14314082304 6884 33554432000 4194304 4196468 140723302305600 139746062817264 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30058] ppid=30045 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30058/stat : 30058 (java) S 30045 30045 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119568525 14314082304 6884 33554432000 4194304 4196468 140723302305600 139746061764720 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30059] ppid=30045 vsize=13978596 memory=139697044633216 CPUtime=0.01 cores=0,2,4,6
/proc/30047/task/30059/stat : 30059 (java) R 30045 30045 26744 0 -1 4202560 364 0 0 0 1 0 0 0 20 0 15 0 119568525 14314082304 6884 33554432000 4194304 4196468 140723302305600 139746060712176 139746571261639 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30060] ppid=30045 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30060/stat : 30060 (java) S 30045 30045 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119568525 14314082304 6884 33554432000 4194304 4196468 140723302305600 139746059659872 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30061] ppid=30045 vsize=13978596 memory=139697044633216 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30061/stat : 30061 (java) S 30045 30045 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119568526 14314082304 6884 33554432000 4194304 4196468 140723302305600 139746058607408 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28920 KiB
[startup+0.210883 s]*
/proc/loadavg: 1.57 1.49 1.50 3/217 30061
/proc/meminfo: memFree=26023292/32770624 swapFree=67108860/67108860
[pid=30045] ppid=30042 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30045/stat : 30045 (xcsp3-exec) S 30042 30045 26744 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 119568519 9740288 346 33554432000 4194304 5098028 140732489883824 140732489881928 139858559730300 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23072768 140732489892975 140732489893179 140732489893179 140732489895915 0
/proc/30045/statm: 2378 346 289 221 0 87 0
[pid=30047] ppid=30045 vsize=13982852 memory=39524 CPUtime=0.34 cores=0,2,4,6
/proc/30047/stat : 30047 (java) S 30045 30045 26744 0 -1 1077944320 7893 0 0 0 33 1 0 0 20 0 15 0 119568520 14318440448 9881 33554432000 4194304 4196468 140723302305600 140723302288144 139746593132279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
/proc/30047/statm: 3495713 9881 3057 1 0 3482966 0
[pid=30047/tid=30048] ppid=30045 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/30047/task/30048/stat : 30048 (java) R 30045 30045 26744 0 -1 4202560 4863 0 0 0 19 1 0 0 20 0 15 0 119568520 14318440448 9881 33554432000 4194304 4196468 140723302305600 139746597349120 139746593154205 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30049] ppid=30045 vsize=13982852 memory=12543 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30049/stat : 30049 (java) S 30045 30045 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119568521 14318440448 9881 33554432000 4194304 4196468 140723302305600 139746560690448 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30050] ppid=30045 vsize=13982852 memory=288370073196344960 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30050/stat : 30050 (java) S 30045 30045 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119568521 14318440448 9881 33554432000 4194304 4196468 140723302305600 139746187606416 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30051] ppid=30045 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30051/stat : 30051 (java) S 30045 30045 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119568521 14318440448 9881 33554432000 4194304 4196468 140723302305600 139746186553872 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30052] ppid=30045 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30052/stat : 30052 (java) S 30045 30045 26744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119568521 14318440448 9881 33554432000 4194304 4196468 140723302305600 139746185501328 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30053] ppid=30045 vsize=13982852 memory=139697044633216 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30053/stat : 30053 (java) S 30045 30045 26744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119568522 14318440448 9881 33554432000 4194304 4196468 140723302305600 139746067028464 139746593143426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30054] ppid=30045 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30054/stat : 30054 (java) S 30045 30045 26744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119568523 14318440448 9881 33554432000 4194304 4196468 140723302305600 139746065974688 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30055] ppid=30045 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30055/stat : 30055 (java) S 30045 30045 26744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119568523 14318440448 9881 33554432000 4194304 4196468 140723302305600 139746064922096 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30056] ppid=30045 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30056/stat : 30056 (java) S 30045 30045 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119568525 14318440448 9881 33554432000 4194304 4196468 140723302305600 139746063870672 139746593150875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30057] ppid=30045 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30047/task/30057/stat : 30057 (java) S 30045 30045 26744 0 -1 1077944384 674 0 0 0 2 0 0 0 20 0 15 0 119568525 14318440448 9881 33554432000 4194304 4196468 140723302305600 139746062817264 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30058] ppid=30045 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/30047/task/30058/stat : 30058 (java) S 30045 30045 26744 0 -1 1077944384 189 0 0 0 3 0 0 0 20 0 15 0 119568525 14318440448 9881 33554432000 4194304 4196468 140723302305600 139746061764720 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30059] ppid=30045 vsize=13982852 memory=139697044633216 CPUtime=0.08 cores=0,2,4,6
/proc/30047/task/30059/stat : 30059 (java) R 30045 30045 26744 0 -1 4202560 866 0 0 0 8 0 0 0 20 0 15 0 119568525 14318440448 9881 33554432000 4194304 4196468 140723302305600 139746060712176 139746572847068 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30060] ppid=30045 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30060/stat : 30060 (java) S 30045 30045 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119568525 14318440448 9881 33554432000 4194304 4196468 140723302305600 139746059659872 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30061] ppid=30045 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30061/stat : 30061 (java) S 30045 30045 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119568526 14318440448 9881 33554432000 4194304 4196468 140723302305600 139746058607408 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 40908 KiB
[startup+0.317828 s]*
/proc/loadavg: 1.57 1.49 1.50 4/217 30061
/proc/meminfo: memFree=26016096/32770624 swapFree=67108860/67108860
[pid=30045] ppid=30042 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30045/stat : 30045 (xcsp3-exec) S 30042 30045 26744 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 119568519 9740288 346 33554432000 4194304 5098028 140732489883824 140732489881928 139858559730300 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23072768 140732489892975 140732489893179 140732489893179 140732489895915 0
/proc/30045/statm: 2378 346 289 221 0 87 0
[pid=30047] ppid=30045 vsize=13982852 memory=46876 CPUtime=0.53 cores=0,2,4,6
/proc/30047/stat : 30047 (java) S 30045 30045 26744 0 -1 1077944320 8879 0 0 0 51 2 0 0 20 0 15 0 119568520 14318440448 11719 33554432000 4194304 4196468 140723302305600 140723302288144 139746593132279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
/proc/30047/statm: 3495713 11719 3124 1 0 3482966 0
[pid=30047/tid=30048] ppid=30045 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/30047/task/30048/stat : 30048 (java) R 30045 30045 26744 0 -1 4202560 5526 0 0 0 29 1 0 0 20 0 15 0 119568520 14318440448 11719 33554432000 4194304 4196468 140723302305600 139746597370096 139746593154205 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30049] ppid=30045 vsize=13982852 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30049/stat : 30049 (java) S 30045 30045 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119568521 14318440448 11719 33554432000 4194304 4196468 140723302305600 139746560690448 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30050] ppid=30045 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30050/stat : 30050 (java) S 30045 30045 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119568521 14318440448 11719 33554432000 4194304 4196468 140723302305600 139746187606416 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30051] ppid=30045 vsize=13982852 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30051/stat : 30051 (java) S 30045 30045 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119568521 14318440448 11719 33554432000 4194304 4196468 140723302305600 139746186553872 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30052] ppid=30045 vsize=13982852 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30052/stat : 30052 (java) S 30045 30045 26744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119568521 14318440448 11719 33554432000 4194304 4196468 140723302305600 139746185501328 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30053] ppid=30045 vsize=13982852 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30053/stat : 30053 (java) S 30045 30045 26744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119568522 14318440448 11719 33554432000 4194304 4196468 140723302305600 139746067028464 139746593143426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30054] ppid=30045 vsize=13982852 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30054/stat : 30054 (java) S 30045 30045 26744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119568523 14318440448 11719 33554432000 4194304 4196468 140723302305600 139746065974688 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30055] ppid=30045 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30055/stat : 30055 (java) S 30045 30045 26744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119568523 14318440448 11719 33554432000 4194304 4196468 140723302305600 139746064922096 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30056] ppid=30045 vsize=13982852 memory=7683298805979255643 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30056/stat : 30056 (java) S 30045 30045 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119568525 14318440448 11719 33554432000 4194304 4196468 140723302305600 139746063870672 139746593150875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30057] ppid=30045 vsize=13982852 memory=8508281356422055839 CPUtime=0.03 cores=0,2,4,6
/proc/30047/task/30057/stat : 30057 (java) R 30045 30045 26744 0 -1 1077944384 686 0 0 0 3 0 0 0 20 0 15 0 119568525 14318440448 11719 33554432000 4194304 4196468 140723302305600 139746062817264 139746593143426 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30058] ppid=30045 vsize=13982852 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/30047/task/30058/stat : 30058 (java) R 30045 30045 26744 0 -1 4202560 291 0 0 0 5 0 0 0 20 0 15 0 119568525 14318440448 11719 33554432000 4194304 4196468 140723302305600 139746061754640 139746578257055 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30059] ppid=30045 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/30047/task/30059/stat : 30059 (java) R 30045 30045 26744 0 -1 4202560 1073 0 0 0 13 0 0 0 20 0 15 0 119568525 14318440448 11719 33554432000 4194304 4196468 140723302305600 139746060709968 139746577212766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30060] ppid=30045 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30060/stat : 30060 (java) S 30045 30045 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119568525 14318440448 11719 33554432000 4194304 4196468 140723302305600 139746059659872 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30061] ppid=30045 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30061/stat : 30061 (java) S 30045 30045 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119568526 14318440448 11719 33554432000 4194304 4196468 140723302305600 139746058607408 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48260 KiB
[startup+0.705828 s]
/proc/loadavg: 1.57 1.49 1.50 4/217 30061
/proc/meminfo: memFree=25988508/32770624 swapFree=67108860/67108860
[pid=30045] ppid=30042 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30045/stat : 30045 (xcsp3-exec) S 30042 30045 26744 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 119568519 9740288 346 33554432000 4194304 5098028 140732489883824 140732489881928 139858559730300 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23072768 140732489892975 140732489893179 140732489893179 140732489895915 0
/proc/30045/statm: 2378 346 289 221 0 87 0
[pid=30047] ppid=30045 vsize=13984976 memory=97348 CPUtime=1.84 cores=0,2,4,6
/proc/30047/stat : 30047 (java) S 30045 30045 26744 0 -1 1077944320 12349 0 0 0 180 4 0 0 20 0 15 0 119568520 14320615424 24337 33554432000 4194304 4196468 140723302305600 140723302288144 139746593132279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
/proc/30047/statm: 3496244 24337 3203 1 0 3483478 0
[pid=30047/tid=30048] ppid=30045 vsize=13984976 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/30047/task/30048/stat : 30048 (java) R 30045 30045 26744 0 -1 4202560 6166 0 0 0 65 2 0 0 20 0 15 0 119568520 14320615424 24337 33554432000 4194304 4196468 140723302305600 139746597370400 139746229245473 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30049] ppid=30045 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30049/stat : 30049 (java) S 30045 30045 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119568521 14320615424 24337 33554432000 4194304 4196468 140723302305600 139746560690448 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30050] ppid=30045 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30050/stat : 30050 (java) S 30045 30045 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119568521 14320615424 24337 33554432000 4194304 4196468 140723302305600 139746187606416 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30051] ppid=30045 vsize=13984976 memory=33272 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30051/stat : 30051 (java) S 30045 30045 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119568521 14320615424 24337 33554432000 4194304 4196468 140723302305600 139746186553872 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30052] ppid=30045 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30052/stat : 30052 (java) S 30045 30045 26744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119568521 14320615424 24337 33554432000 4194304 4196468 140723302305600 139746185501328 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30053] ppid=30045 vsize=13984976 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30053/stat : 30053 (java) S 30045 30045 26744 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119568522 14320615424 24337 33554432000 4194304 4196468 140723302305600 139746067028464 139746593143426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30054] ppid=30045 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30054/stat : 30054 (java) S 30045 30045 26744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119568523 14320615424 24337 33554432000 4194304 4196468 140723302305600 139746065974688 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30055] ppid=30045 vsize=13984976 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30055/stat : 30055 (java) S 30045 30045 26744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119568523 14320615424 24337 33554432000 4194304 4196468 140723302305600 139746064922096 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30056] ppid=30045 vsize=13984976 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30056/stat : 30056 (java) S 30045 30045 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119568525 14320615424 24337 33554432000 4194304 4196468 140723302305600 139746063870672 139746593150875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30057] ppid=30045 vsize=13984976 memory=1012 CPUtime=0.35 cores=0,2,4,6
/proc/30047/task/30057/stat : 30057 (java) R 30045 30045 26744 0 -1 4202560 1624 0 0 0 35 0 0 0 20 0 15 0 119568525 14320615424 24337 33554432000 4194304 4196468 140723302305600 139746062803328 139746578257658 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30058] ppid=30045 vsize=13984976 memory=796 CPUtime=0.36 cores=0,2,4,6
/proc/30047/task/30058/stat : 30058 (java) R 30045 30045 26744 0 -1 4202560 1217 0 0 0 36 0 0 0 20 0 15 0 119568525 14320615424 24337 33554432000 4194304 4196468 140723302305600 139746061757744 139746572348505 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30059] ppid=30045 vsize=13984976 memory=1228 CPUtime=0.41 cores=0,2,4,6
/proc/30047/task/30059/stat : 30059 (java) R 30045 30045 26744 0 -1 4202560 2035 0 0 0 41 0 0 0 20 0 15 0 119568525 14320615424 24337 33554432000 4194304 4196468 140723302305600 139746060707904 139746571232913 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30060] ppid=30045 vsize=13984976 memory=5300 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30060/stat : 30060 (java) S 30045 30045 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119568525 14320615424 24337 33554432000 4194304 4196468 140723302305600 139746059659872 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30061] ppid=30045 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30061/stat : 30061 (java) S 30045 30045 26744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119568526 14320615424 24337 33554432000 4194304 4196468 140723302305600 139746058607408 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 98732 KiB
[startup+1.50079 s]
/proc/loadavg: 1.57 1.49 1.50 4/217 30061
/proc/meminfo: memFree=25922796/32770624 swapFree=67108860/67108860
[pid=30045] ppid=30042 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30045/stat : 30045 (xcsp3-exec) S 30042 30045 26744 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 119568519 9740288 346 33554432000 4194304 5098028 140732489883824 140732489881928 139858559730300 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23072768 140732489892975 140732489893179 140732489893179 140732489895915 0
/proc/30045/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/30047/task/30055/stat : 30055 (java) S 30045 30045 26744 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 119568523 14320615424 111608 33554432000 4194304 4196468 140723302305600 139746064922112 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30056] ppid=30045 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30056/stat : 30056 (java) S 30045 30045 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119568525 14320615424 111608 33554432000 4194304 4196468 140723302305600 139746063870672 139746593150875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30057] ppid=30045 vsize=13984976 memory=4012 CPUtime=6.51 cores=0,2,4,6
/proc/30047/task/30057/stat : 30057 (java) S 30045 30045 26744 0 -1 1077944384 27959 0 0 0 649 2 0 0 20 0 15 0 119568525 14320615424 111608 33554432000 4194304 4196468 140723302305600 139746062817264 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30058] ppid=30045 vsize=13984976 memory=1384 CPUtime=6.23 cores=0,2,4,6
/proc/30047/task/30058/stat : 30058 (java) S 30045 30045 26744 0 -1 1077944384 25566 0 0 0 621 2 0 0 20 0 15 0 119568525 14320615424 111608 33554432000 4194304 4196468 140723302305600 139746061764720 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30059] ppid=30045 vsize=13984976 memory=1384 CPUtime=1.12 cores=0,2,4,6
/proc/30047/task/30059/stat : 30059 (java) S 30045 30045 26744 0 -1 1077944384 17231 0 0 0 109 3 0 0 20 0 15 0 119568525 14320615424 111608 33554432000 4194304 4196468 140723302305600 139746060712176 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30060] ppid=30045 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30060/stat : 30060 (java) S 30045 30045 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119568525 14320615424 111608 33554432000 4194304 4196468 140723302305600 139746059659872 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30061] ppid=30045 vsize=13984976 memory=1196 CPUtime=1.25 cores=0,2,4,6
/proc/30047/task/30061/stat : 30061 (java) S 30045 30045 26744 0 -1 1077944384 2321 0 0 0 60 65 0 0 20 0 15 0 119568526 14320615424 111608 33554432000 4194304 4196468 140723302305600 139746058607408 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
Current children cumulated CPU time: 2403.91 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 447816 KiB
[startup+2442.3 s]
/proc/loadavg: 1.44 1.49 1.66 3/217 30214
/proc/meminfo: memFree=25438192/32770624 swapFree=67108860/67108860
[pid=30045] ppid=30042 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30045/stat : 30045 (xcsp3-exec) S 30042 30045 26744 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 119568519 9740288 346 33554432000 4194304 5098028 140732489883824 140732489881928 139858559730300 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23072768 140732489892975 140732489893179 140732489893179 140732489895915 0
/proc/30045/statm: 2378 346 289 221 0 87 0
[pid=30047] ppid=30045 vsize=13984976 memory=420268 CPUtime=2464.24 cores=0,2,4,6
/proc/30047/stat : 30047 (java) S 30045 30045 26744 0 -1 1077944320 163652 0 0 0 246267 157 0 0 20 0 15 0 119568520 14320615424 105067 33554432000 4194304 4196468 140723302305600 140723302288144 139746593132279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
/proc/30047/statm: 3496244 105067 3295 1 0 3483478 0
[pid=30047/tid=30048] ppid=30045 vsize=13984976 memory=422832 CPUtime=2439.81 cores=0,2,4,6
/proc/30047/task/30048/stat : 30048 (java) R 30045 30045 26744 0 -1 4202560 54677 0 0 0 243958 23 0 0 20 0 15 0 119568520 14320615424 105067 33554432000 4194304 4196468 140723302305600 139746597372096 139746237283524 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30049] ppid=30045 vsize=13984976 memory=428476 CPUtime=2.17 cores=0,2,4,6
/proc/30047/task/30049/stat : 30049 (java) S 30045 30045 26744 0 -1 1077944384 6117 0 0 0 204 13 0 0 20 0 15 0 119568521 14320615424 105067 33554432000 4194304 4196468 140723302305600 139746560690448 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30050] ppid=30045 vsize=13984976 memory=424884 CPUtime=2.18 cores=0,2,4,6
/proc/30047/task/30050/stat : 30050 (java) S 30045 30045 26744 0 -1 1077944384 5188 0 0 0 205 13 0 0 20 0 15 0 119568521 14320615424 105067 33554432000 4194304 4196468 140723302305600 139746187606416 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30051] ppid=30045 vsize=13984976 memory=1384 CPUtime=2.18 cores=0,2,4,6
/proc/30047/task/30051/stat : 30051 (java) S 30045 30045 26744 0 -1 1077944384 6056 0 0 0 204 14 0 0 20 0 15 0 119568521 14320615424 105067 33554432000 4194304 4196468 140723302305600 139746186553872 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30052] ppid=30045 vsize=13984976 memory=422320 CPUtime=2.18 cores=0,2,4,6
/proc/30047/task/30052/stat : 30052 (java) S 30045 30045 26744 0 -1 1077944384 7451 0 0 0 204 14 0 0 20 0 15 0 119568521 14320615424 105067 33554432000 4194304 4196468 140723302305600 139746185501328 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30053] ppid=30045 vsize=13984976 memory=422320 CPUtime=0.47 cores=0,2,4,6
/proc/30047/task/30053/stat : 30053 (java) S 30045 30045 26744 0 -1 1077944384 9709 0 0 0 28 19 0 0 20 0 15 0 119568522 14320615424 105067 33554432000 4194304 4196468 140723302305600 139746067028464 139746593143426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30054] ppid=30045 vsize=13984976 memory=422320 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30054/stat : 30054 (java) S 30045 30045 26744 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 119568523 14320615424 105067 33554432000 4194304 4196468 140723302305600 139746065974752 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30055] ppid=30045 vsize=13984976 memory=420268 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30055/stat : 30055 (java) S 30045 30045 26744 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 119568523 14320615424 105067 33554432000 4194304 4196468 140723302305600 139746064922112 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30056] ppid=30045 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30056/stat : 30056 (java) S 30045 30045 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119568525 14320615424 105067 33554432000 4194304 4196468 140723302305600 139746063870672 139746593150875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30057] ppid=30045 vsize=13984976 memory=422832 CPUtime=6.51 cores=0,2,4,6
/proc/30047/task/30057/stat : 30057 (java) S 30045 30045 26744 0 -1 1077944384 27960 0 0 0 649 2 0 0 20 0 15 0 119568525 14320615424 105067 33554432000 4194304 4196468 140723302305600 139746062817264 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30058] ppid=30045 vsize=13984976 memory=1384 CPUtime=6.23 cores=0,2,4,6
/proc/30047/task/30058/stat : 30058 (java) S 30045 30045 26744 0 -1 1077944384 25566 0 0 0 621 2 0 0 20 0 15 0 119568525 14320615424 105067 33554432000 4194304 4196468 140723302305600 139746061764720 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30059] ppid=30045 vsize=13984976 memory=422320 CPUtime=1.12 cores=0,2,4,6
/proc/30047/task/30059/stat : 30059 (java) S 30045 30045 26744 0 -1 1077944384 17231 0 0 0 109 3 0 0 20 0 15 0 119568525 14320615424 105067 33554432000 4194304 4196468 140723302305600 139746060712176 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30060] ppid=30045 vsize=13984976 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30060/stat : 30060 (java) S 30045 30045 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119568525 14320615424 105067 33554432000 4194304 4196468 140723302305600 139746059659872 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30061] ppid=30045 vsize=13984976 memory=33316 CPUtime=1.29 cores=0,2,4,6
/proc/30047/task/30061/stat : 30061 (java) S 30045 30045 26744 0 -1 1077944384 2334 0 0 0 62 67 0 0 20 0 15 0 119568526 14320615424 105067 33554432000 4194304 4196468 140723302305600 139746058607408 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
Current children cumulated CPU time: 2464.24 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 421652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2497.7 s]
/proc/loadavg: 1.23 1.42 1.62 3/217 30215
/proc/meminfo: memFree=25456824/32770624 swapFree=67108860/67108860
[pid=30045] ppid=30042 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30045/stat : 30045 (xcsp3-exec) S 30042 30045 26744 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 119568519 9740288 346 33554432000 4194304 5098028 140732489883824 140732489881928 139858559730300 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23072768 140732489892975 140732489893179 140732489893179 140732489895915 0
/proc/30045/statm: 2378 346 289 221 0 87 0
[pid=30047] ppid=30045 vsize=13984976 memory=408488 CPUtime=2520.01 cores=0,2,4,6
/proc/30047/stat : 30047 (java) S 30045 30045 26744 0 -1 1077944320 165150 0 0 0 251842 159 0 0 20 0 15 0 119568520 14320615424 102122 33554432000 4194304 4196468 140723302305600 140723302288144 139746593132279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
/proc/30047/statm: 3496244 102122 3295 1 0 3483478 0
[pid=30047/tid=30048] ppid=30045 vsize=13984976 memory=408488 CPUtime=2495.08 cores=0,2,4,6
/proc/30047/task/30048/stat : 30048 (java) R 30045 30045 26744 0 -1 4202560 55163 0 0 0 249484 24 0 0 20 0 15 0 119568520 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746597371184 139746234676053 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30049] ppid=30045 vsize=13984976 memory=419776 CPUtime=2.28 cores=0,2,4,6
/proc/30047/task/30049/stat : 30049 (java) S 30045 30045 26744 0 -1 1077944384 6489 0 0 0 215 13 0 0 20 0 15 0 119568521 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746560690448 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30050] ppid=30045 vsize=13984976 memory=408488 CPUtime=2.29 cores=0,2,4,6
/proc/30047/task/30050/stat : 30050 (java) S 30045 30045 26744 0 -1 1077944384 5241 0 0 0 216 13 0 0 20 0 15 0 119568521 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746187606416 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30051] ppid=30045 vsize=13984976 memory=1384 CPUtime=2.29 cores=0,2,4,6
/proc/30047/task/30051/stat : 30051 (java) S 30045 30045 26744 0 -1 1077944384 6128 0 0 0 215 14 0 0 20 0 15 0 119568521 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746186553872 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30052] ppid=30045 vsize=13984976 memory=1384 CPUtime=2.3 cores=0,2,4,6
/proc/30047/task/30052/stat : 30052 (java) S 30045 30045 26744 0 -1 1077944384 7482 0 0 0 215 15 0 0 20 0 15 0 119568521 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746185501328 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30053] ppid=30045 vsize=13984976 memory=408488 CPUtime=0.48 cores=0,2,4,6
/proc/30047/task/30053/stat : 30053 (java) S 30045 30045 26744 0 -1 1077944384 9897 0 0 0 29 19 0 0 20 0 15 0 119568522 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746067028464 139746593143426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30054] ppid=30045 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30054/stat : 30054 (java) S 30045 30045 26744 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 119568523 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746065974752 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30055] ppid=30045 vsize=13984976 memory=408488 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30055/stat : 30055 (java) S 30045 30045 26744 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 119568523 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746064922112 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30056] ppid=30045 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30056/stat : 30056 (java) S 30045 30045 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119568525 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746063870672 139746593150875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30057] ppid=30045 vsize=13984976 memory=18716 CPUtime=6.51 cores=0,2,4,6
/proc/30047/task/30057/stat : 30057 (java) S 30045 30045 26744 0 -1 1077944384 27993 0 0 0 649 2 0 0 20 0 15 0 119568525 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746062817264 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30058] ppid=30045 vsize=13984976 memory=4040 CPUtime=6.24 cores=0,2,4,6
/proc/30047/task/30058/stat : 30058 (java) S 30045 30045 26744 0 -1 1077944384 25807 0 0 0 622 2 0 0 20 0 15 0 119568525 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746061764720 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30059] ppid=30045 vsize=13984976 memory=1792 CPUtime=1.13 cores=0,2,4,6
/proc/30047/task/30059/stat : 30059 (java) S 30045 30045 26744 0 -1 1077944384 17233 0 0 0 110 3 0 0 20 0 15 0 119568525 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746060712176 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30060] ppid=30045 vsize=13984976 memory=33316 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30060/stat : 30060 (java) S 30045 30045 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119568525 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746059659872 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30061] ppid=30045 vsize=13984976 memory=1296 CPUtime=1.31 cores=0,2,4,6
/proc/30047/task/30061/stat : 30061 (java) S 30045 30045 26744 0 -1 1077944384 2354 0 0 0 63 68 0 0 20 0 15 0 119568526 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746058607408 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 409872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2497.71 s]
# the end of solver process 30045 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001876 s, system=0 s
[startup+2497.71 s]
# the end of solver process 30047 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.43 s, system=1.6025 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2497.7 s]
/proc/loadavg: 1.23 1.42 1.62 3/217 30215
/proc/meminfo: memFree=25456824/32770624 swapFree=67108860/67108860
[pid=30045] ppid=30042 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30045/stat : 30045 (xcsp3-exec) S 30042 30045 26744 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 119568519 9740288 346 33554432000 4194304 5098028 140732489883824 140732489881928 139858559730300 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23072768 140732489892975 140732489893179 140732489893179 140732489895915 0
/proc/30045/statm: 2378 346 289 221 0 87 0
[pid=30047] ppid=30045 vsize=13984976 memory=408488 CPUtime=2520.01 cores=0,2,4,6
/proc/30047/stat : 30047 (java) S 30045 30045 26744 0 -1 1077944320 165150 0 0 0 251842 159 0 0 20 0 15 0 119568520 14320615424 102122 33554432000 4194304 4196468 140723302305600 140723302288144 139746593132279 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
/proc/30047/statm: 3496244 102122 3295 1 0 3483478 0
[pid=30047/tid=30048] ppid=30045 vsize=13984976 memory=408488 CPUtime=2495.08 cores=0,2,4,6
/proc/30047/task/30048/stat : 30048 (java) R 30045 30045 26744 0 -1 4202560 55163 0 0 0 249484 24 0 0 20 0 15 0 119568520 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746597371184 139746234676053 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30049] ppid=30045 vsize=13984976 memory=419776 CPUtime=2.28 cores=0,2,4,6
/proc/30047/task/30049/stat : 30049 (java) S 30045 30045 26744 0 -1 1077944384 6489 0 0 0 215 13 0 0 20 0 15 0 119568521 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746560690448 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30050] ppid=30045 vsize=13984976 memory=408488 CPUtime=2.29 cores=0,2,4,6
/proc/30047/task/30050/stat : 30050 (java) S 30045 30045 26744 0 -1 1077944384 5241 0 0 0 216 13 0 0 20 0 15 0 119568521 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746187606416 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30051] ppid=30045 vsize=13984976 memory=1384 CPUtime=2.29 cores=0,2,4,6
/proc/30047/task/30051/stat : 30051 (java) S 30045 30045 26744 0 -1 1077944384 6128 0 0 0 215 14 0 0 20 0 15 0 119568521 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746186553872 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30052] ppid=30045 vsize=13984976 memory=1384 CPUtime=2.3 cores=0,2,4,6
/proc/30047/task/30052/stat : 30052 (java) S 30045 30045 26744 0 -1 1077944384 7482 0 0 0 215 15 0 0 20 0 15 0 119568521 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746185501328 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30053] ppid=30045 vsize=13984976 memory=408488 CPUtime=0.48 cores=0,2,4,6
/proc/30047/task/30053/stat : 30053 (java) S 30045 30045 26744 0 -1 1077944384 9897 0 0 0 29 19 0 0 20 0 15 0 119568522 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746067028464 139746593143426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30054] ppid=30045 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30054/stat : 30054 (java) S 30045 30045 26744 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 119568523 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746065974752 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30055] ppid=30045 vsize=13984976 memory=408488 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30055/stat : 30055 (java) S 30045 30045 26744 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 119568523 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746064922112 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30056] ppid=30045 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30056/stat : 30056 (java) S 30045 30045 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119568525 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746063870672 139746593150875 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30057] ppid=30045 vsize=13984976 memory=18716 CPUtime=6.51 cores=0,2,4,6
/proc/30047/task/30057/stat : 30057 (java) S 30045 30045 26744 0 -1 1077944384 27993 0 0 0 649 2 0 0 20 0 15 0 119568525 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746062817264 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30058] ppid=30045 vsize=13984976 memory=4040 CPUtime=6.24 cores=0,2,4,6
/proc/30047/task/30058/stat : 30058 (java) S 30045 30045 26744 0 -1 1077944384 25807 0 0 0 622 2 0 0 20 0 15 0 119568525 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746061764720 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30059] ppid=30045 vsize=13984976 memory=1792 CPUtime=1.13 cores=0,2,4,6
/proc/30047/task/30059/stat : 30059 (java) S 30045 30045 26744 0 -1 1077944384 17233 0 0 0 110 3 0 0 20 0 15 0 119568525 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746060712176 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30060] ppid=30045 vsize=13984976 memory=33316 CPUtime=0 cores=0,2,4,6
/proc/30047/task/30060/stat : 30060 (java) S 30045 30045 26744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119568525 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746059659872 139746593142485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
[pid=30047/tid=30061] ppid=30045 vsize=13984976 memory=1296 CPUtime=1.31 cores=0,2,4,6
/proc/30047/task/30061/stat : 30061 (java) S 30045 30045 26744 0 -1 1077944384 2354 0 0 0 63 68 0 0 20 0 15 0 119568526 14320615424 102122 33554432000 4194304 4196468 140723302305600 139746058607408 139746593143426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29966336 140723302311063 140723302311239 140723302311239 140723302313935 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 409872 KiB
Child status: 143
Real time (s): 2497.71
CPU time (s): 2520.03
CPU user time (s): 2518.43
CPU system time (s): 1.6025
CPU usage (%): 100.894
Max. virtual memory (cumulated for all children) (KiB): 13996696
Max. memory (cumulated for all children) (KiB): 1190596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.43
system time used= 1.6025
maximum resident set size= 1193376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165925
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62138
involuntary context switches= 2551
# summary of solver processes directly reported to runsolver:
# pid: 30045,30047
# total CPU time (s): 2520.03
# total CPU user time (s): 2518.43
# total CPU system time (s): 1.6025
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2139 second user time and 25.7881 second system time
The end
Begin job on node105 at 2017-08-16 08:15:11 IDJOB=4272854 IDBENCH=140569 IDSOLVER=2664 FILE ID=node105/4272854-1502864970 RUNJOBID= node105-1502839397-26775 PBS_JOBID= 20629853 Free space on /tmp= 60660 MiB SOLVER NAME= choco-solver 5a BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-24.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-4272854-1502864970/watcher-4272854-1502864970 -o /tmp/evaluation-result-4272854-1502864970/solver-4272854-1502864970 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502839397-26775 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 967570084 HOME/instance-4272854-1502864970.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 22300454f2969805ad1ca4690e3d792c RANDOM SEED=967570084 node105.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.17 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.17 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.17 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.17 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: 26050624 kB MemAvailable: 31657636 kB Buffers: 254088 kB Cached: 5624708 kB SwapCached: 0 kB Active: 1114240 kB Inactive: 5135808 kB Active(anon): 373720 kB Inactive(anon): 25060 kB Active(file): 740520 kB Inactive(file): 5110748 kB Unevictable: 6248 kB Mlocked: 6248 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 7960 kB Writeback: 0 kB AnonPages: 376540 kB Mapped: 59084 kB Shmem: 25228 kB Slab: 169260 kB SReclaimable: 143160 kB SUnreclaim: 26100 kB KernelStack: 3856 kB PageTables: 6540 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 969264 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 307200 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 60652 MiB End job on node105 at 2017-08-16 08:56:48