Trace number 4285840

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2017-08-22SAT (TO)93 1987.74 252.183

General information on the benchmark

NameOpd/Opd-sum-large/
Opd-12-350-100.xml
MD5SUM498e8e69e2f573dee371e4fc9819ce0a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark56
Best CPU time to get the best result obtained on this benchmark1987.23
Satisfiable
(Un)Satisfiability was proved
Number of variables4201
Number of constraints79
Number of domains2
Minimum domain size2
Maximum domain size328
Distribution of domain sizes[{"size":2,"count":4200},{"size":328,"count":1}]
Minimum variable degree13
Maximum variable degree67
Distribution of variable degrees[{"degree":13,"count":4200},{"degree":67,"count":1}]
Minimum constraint arity350
Maximum constraint arity4200
Distribution of constraint arities[{"arity":350,"count":12},{"arity":701,"count":66},{"arity":4200,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":78}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.29/0.25	c version: 2017-08-22
0.29/0.26	c seed: 1272197751
0.29/0.26	c timeout: 2016
0.29/0.26	c memlimit: 22000
0.29/0.26	c nbcore: 8
0.29/0.28	c Parsing instance...
1.41/0.72	c Parsing done, starting search...
19.48/5.07	o 350
19.48/5.08	o 349
20.36/5.18	o 348
20.36/5.19	o 347
20.36/5.21	o 346
21.21/5.23	o 345
21.21/5.24	o 344
21.21/5.26	o 343
21.21/5.28	o 342
21.21/5.30	o 341
21.78/5.31	o 340
21.78/5.33	o 339
21.78/5.34	o 338
21.78/5.36	o 337
21.78/5.39	o 336
22.58/5.40	o 335
22.58/5.41	o 334
22.58/5.43	o 333
22.58/5.44	o 332
22.58/5.46	o 331
22.58/5.47	o 330
22.58/5.49	o 329
23.38/5.50	o 328
23.38/5.52	o 327
23.38/5.53	o 326
23.38/5.55	o 325
23.38/5.57	o 324
23.38/5.58	o 323
23.38/5.59	o 322
24.15/5.61	o 321
24.15/5.62	o 320
24.15/5.65	o 319
24.15/5.67	o 318
24.92/5.70	o 317
24.92/5.72	o 316
24.92/5.74	o 315
24.92/5.75	o 314
24.92/5.77	o 313
24.92/5.79	o 312
25.71/5.81	o 311
25.71/5.84	o 310
25.71/5.85	o 309
25.71/5.86	o 308
25.71/5.87	o 307
25.71/5.88	o 306
25.71/5.90	o 305
26.51/5.91	o 304
26.51/5.92	o 303
26.51/5.92	o 302
26.51/5.93	o 301
26.51/5.93	o 300
26.51/5.93	o 299
26.51/5.94	o 298
26.51/5.94	o 297
26.51/5.94	o 296
26.51/5.98	o 295
26.51/5.98	o 294
26.51/5.99	o 293
26.51/5.99	o 292
26.51/6.00	o 291
27.27/6.01	o 290
27.27/6.01	o 289
27.27/6.03	o 288
27.27/6.03	o 287
27.27/6.04	o 286
27.27/6.04	o 285
27.27/6.06	o 284
27.27/6.06	o 283
27.27/6.06	o 282
27.27/6.07	o 281
27.27/6.08	o 280
27.27/6.09	o 279
27.27/6.09	o 278
27.27/6.09	o 277
27.27/6.11	o 276
28.12/6.12	o 275
28.12/6.13	o 274
28.12/6.13	o 273
28.12/6.16	o 272
28.12/6.17	o 271
28.12/6.18	o 270
28.12/6.19	o 269
28.12/6.19	o 268
28.12/6.19	o 267
28.12/6.20	o 266
28.95/6.21	o 265
28.95/6.23	o 264
28.95/6.24	o 263
28.95/6.25	o 262
28.95/6.25	o 261
28.95/6.25	o 260
28.95/6.26	o 259
28.95/6.27	o 258
28.95/6.29	o 257
28.95/6.30	o 256
28.95/6.30	o 255
28.95/6.30	o 254
29.66/6.31	o 253
29.66/6.32	o 252
29.66/6.32	o 251
29.66/6.33	o 250
29.66/6.33	o 249
29.66/6.34	o 248
29.66/6.36	o 247
29.66/6.36	o 246
29.66/6.36	o 245
29.66/6.36	o 244
29.66/6.36	o 243
29.66/6.36	o 242
29.66/6.37	o 241
29.66/6.37	o 240
29.66/6.37	o 239
29.66/6.39	o 238
29.66/6.39	o 237
29.66/6.40	o 236
29.66/6.40	o 235
30.47/6.41	o 234
30.47/6.42	o 233
30.47/6.42	o 232
30.47/6.43	o 231
30.47/6.43	o 230
30.47/6.44	o 229
30.47/6.44	o 228
30.47/6.44	o 227
30.47/6.44	o 226
30.47/6.45	o 225
30.47/6.45	o 224
30.47/6.45	o 223
30.47/6.46	o 222
30.47/6.46	o 221
30.47/6.46	o 220
30.47/6.46	o 219
30.47/6.48	o 218
30.47/6.48	o 217
30.47/6.48	o 216
30.47/6.49	o 215
30.47/6.49	o 214
30.47/6.49	o 213
30.47/6.49	o 212
30.47/6.50	o 211
30.47/6.50	o 210
30.47/6.50	o 209
30.47/6.50	o 208
30.47/6.50	o 207
30.47/6.50	o 206
31.33/6.51	o 205
31.33/6.51	o 204
31.33/6.51	o 203
31.33/6.52	o 202
31.33/6.52	o 201
31.33/6.55	o 200
31.33/6.55	o 199
31.33/6.55	o 198
31.33/6.55	o 197
31.33/6.57	o 196
31.33/6.57	o 195
31.33/6.57	o 194
31.33/6.57	o 193
31.33/6.57	o 192
31.33/6.58	o 191
31.33/6.58	o 190
31.33/6.58	o 189
31.33/6.60	o 188
31.33/6.60	o 187
32.10/6.61	o 186
32.10/6.61	o 185
32.10/6.62	o 184
32.10/6.63	o 183
32.10/6.64	o 182
32.10/6.65	o 181
32.10/6.65	o 180
32.10/6.66	o 179
32.10/6.67	o 178
32.10/6.67	o 177
32.10/6.67	o 176
32.10/6.67	o 175
32.10/6.69	o 174
32.10/6.69	o 173
32.10/6.70	o 172
32.82/6.70	o 171
32.82/6.71	o 170
32.82/6.71	o 169
32.82/6.73	o 168
32.82/6.73	o 167
32.82/6.74	o 166
32.82/6.77	o 165
32.82/6.77	o 164
32.82/6.77	o 163
32.82/6.78	o 162
32.82/6.79	o 161
32.82/6.79	o 160
32.82/6.79	o 159
33.66/6.81	o 158
33.66/6.81	o 157
33.66/6.81	o 156
33.66/6.83	o 155
33.66/6.83	o 154
33.66/6.84	o 153
33.66/6.86	o 152
33.66/6.87	o 151
33.66/6.89	o 150
33.66/6.90	o 149
33.66/6.90	o 148
33.66/6.90	o 147
33.66/6.90	o 146
34.45/6.91	o 145
34.45/6.91	o 144
34.45/6.91	o 143
34.45/6.91	o 142
34.45/6.92	o 141
34.45/6.92	o 140
34.45/6.92	o 139
34.45/6.93	o 138
34.45/6.93	o 137
34.45/6.94	o 136
34.45/6.94	o 135
34.45/6.94	o 134
34.45/6.95	o 133
34.45/6.95	o 132
34.45/6.95	o 131
34.45/6.96	o 130
34.45/6.96	o 129
34.45/6.96	o 128
34.45/6.97	o 127
34.45/6.97	o 126
34.45/6.97	o 125
34.45/6.98	o 124
34.45/6.98	o 123
34.45/6.98	o 122
34.45/6.98	o 121
34.45/6.99	o 120
34.45/6.99	o 119
34.45/7.00	o 118
34.45/7.00	o 117
34.45/7.00	o 116
35.22/7.00	o 115
35.22/7.00	o 114
35.22/7.01	o 113
35.22/7.01	o 112
35.22/7.01	o 111
35.22/7.02	o 110
35.22/7.02	o 109
35.22/7.02	o 108
36.07/7.18	o 107
36.07/7.19	o 106
36.07/7.19	o 105
36.07/7.19	o 104
36.07/7.19	o 103
36.86/7.22	o 102
36.86/7.22	o 101
36.86/7.22	o 100
63.83/10.89	o 99
98.92/15.27	o 98
542.77/70.90	o 97
635.21/82.60	o 96
835.33/107.61	o 95
1365.63/174.17	o 94
1813.63/230.36	o 93
1986.70/252.10	s SATISFIABLE
1986.70/252.11	v <instantiation>
1986.70/252.11	v 	<list>
1986.70/252.11	v 		z x[0][0] 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[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[0][120] x[0][121] x[0][122] x[0][123] x[0][124] x[0][125] x[0][126] x[0][127] x[0][128] x[0][129] x[0][130] x[0][131] x[0][132] x[0][133] x[0][134] x[0][135] x[0][136] x[0][137] x[0][138] x[0][139] x[0][140] x[0][141] x[0][142] x[0][143] x[0][144] x[0][145] x[0][146] x[0][147] x[0][148] x[0][149] x[0][150] x[0][151] x[0][152] x[0][153] x[0][154] x[0][155] x[0][156] x[0][157] x[0][158] x[0][159] x[0][160] x[0][161] x[0][162] x[0][163] x[0][164] x[0][165] x[0][166] x[0][167] x[0][168] x[0][169] x[0][170] x[0][171] x[0][172] x[0][173] x[0][174] x[0][175] x[0][176] x[0][177] x[0][178] x[0][179] x[0][180] x[0][181] x[0][182] x[0][183] x[0][184] x[0][185] x[0][186] x[0][187] x[0][188] x[0][189] x[0][190] x[0][191] x[0][192] x[0][193] x[0][194] x[0][195] x[0][196] x[0][197] x[0][198] x[0][199] x[0][200] x[0][201] x[0][202] x[0][203] x[0][204] x[0][205] x[0][206] x[0][207] x[0][208] x[0][209] x[0][210] x[0][211] x[0][212] x[0][213] x[0][214] x[0][215] x[0][216] x[0][217] x[0][218] x[0][219] x[0][220] x[0][221] x[0][222] x[0][223] x[0][224] x[0][225] x[0][226] x[0][227] x[0][228] x[0][229] x[0][230] x[0][231] x[0][232] x[0][233] x[0][234] x[0][235] x[0][236] x[0][237] x[0][238] x[0][239] x[0][240] x[0][241] x[0][242] x[0][243] x[0][244] x[0][245] x[0][246] x[0][247] x[0][248] x[0][249] x[0][250] x[0][251] x[0][252] x[0][253] x[0][254] x[0][255] x[0][256] x[0][257] x[0][258] x[0][259] x[0][260] x[0][261] x[0][262] x[0][263] x[0][264] x[0][265] x[0][266] x[0][267] x[0][268] x[0][269] x[0][270] x[0][271] x[0][272] x[0][273] x[0][274] x[0][275] x[0][276] x[0][277] x[0][278] x[0][279] x[0][280] x[0][281] x[0][282] x[0][283] x[0][284] x[0][285] x[0][286] x[0][287] x[0][288] x[0][289] x[0][290] x[0][291] x[0][292] x[0][293] x[0][294] x[0][295] x[0][296] x[0][297] x[0][298] x[0][299] x[0][300] x[0][301] x[0][302] x[0][303] x[0][304] x[0][305] x[0][306] x[0][307] x[0][308] x[0][309] x[0][310] x[0][311] x[0][312] x[0][313] x[0][314] x[0][315] x[0][316] x[0][317] x[0][318] x[0][319] x[0][320] x[0][321] x[0][322] x[0][323] x[0][324] x[0][325] x[0][326] x[0][327] x[0][328] x[0][329] x[0][330] x[0][331] x[0][332] x[0][333] x[0][334] x[0][335] x[0][336] x[0][337] x[0][338] x[0][339] x[0][340] x[0][341] x[0][342] x[0][343] x[0][344] x[0][345] x[0][346] x[0][347] x[0][348] x[0][349] x[1][0] x[1][1] 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[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] x[1][120] x[1][121] x[1][122] x[1][123] x[1][124] x[1][125] x[1][126] x[1][127] x[1][128] x[1][129] x[1][130] x[1][131] x[1][132] x[1][133] x[1][134] x[1][135] x[1][136] x[1][137] x[1][138] x[1][139] x[1][140] x[1][141] x[1][142] x[1][143] x[1][144] x[1][145] x[1][146] x[1][147] x[1][148] x[1][149] x[1][150] x[1][151] x[1][152] x[1][153] x[1][154] x[1][155] x[1][156] x[1][157] x[1][158] x[1][159] x[1][160] x[1][161] x[1][162] x[1][163] x[1][164] x[1][165] x[1][166] x[1][167] x[1][168] x[1][169] x[1][170] x[1][171] x[1][172] x[1][173] x[1][174] x[1][175] x[1][176] x[1][177] x[1][178] x[1][179] x[1][180] x[1][181] x[1][182] x[1][183] x[1][184] x[1][185] x[1][186] x[1][187] x[1][188] x[1][189] x[1][190] x[1][191] x[1][192] x[1][193] x[1][194] x[1][195] x[1][196] x[1][197] x[1][198] x[1][199] x[1][200] x[1][201] x[1][202] x[1][203] x[1][204] x[1][205] x[1][206] x[1][207] x[1][208] x[1][209] x[1][210] x[1][211] x[1][212] x[1][213] x[1][214] x[1][215] x[1][216] x[1][217] x[1][218] x[1][219] x[1][220] x[1][221] x[1][222] x[1][223] x[1][224] x[1][225] x[1][226] x[1][227] x[1][228] x[1][229] x[1][230] x[1][231] x[1][232] x[1][233] x[1][234] x[1][235] x[1][236] x[1][237] x[1][238] x[1][239] x[1][240] x[1][241] x[1][242] x[1][243] x[1][244] x[1][245] x[1][246] x[1][247] x[1][248] x[1][249] x[1][250] x[1][251] x[1][252] x[1][253] x[1][254] x[1][255] x[1][256] x[1][257] x[1][258] x[1][259] x[1][260] x[1][261] x[1][262] x[1][263] x[1][264] x[1][265] x[1][266] x[1][267] x[1][268] x[1][269] x[1][270] x[1][271] x[1][272] x[1][273] x[1][274] x[1][275] x[1][276] x[1][277] x[1][278] x[1][279] x[1][280] x[1][281] x[1][282] x[1][283] x[1][284] x[1][285] x[1][286] x[1][287] x[1][288] x[1][289] x[1][290] x[1][291] x[1][292] x[1][293] x[1][294] x[1][295] x[1][296] x[1][297] x[1][298] x[1][299] x[1][300] x[1][301] x[1][302] x[1][303] x[1][304] x[1][305] x[1][306] x[1][307] x[1][308] x[1][309] x[1][310] x[1][311] x[1][312] x[1][313] x[1][314] x[1][315] x[1][316] x[1][317] x[1][318] x[1][319] x[1][320] x[1][321] x[1][322] x[1][323] x[1][324] x[1][325] x[1][326] x[1][327] x[1][328] x[1][329] x[1][330] x[1][331] x[1][332] x[1][333] x[1][334] x[1][335] x[1][336] x[1][337] x[1][338] x[1][339] x[1][340] x[1][341] x[1][342] x[1][343] x[1][344] x[1][345] x[1][346] x[1][347] x[1][348] x[1][349] x[2][0] x[2][1] x[2][2] 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[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] x[2][120] x[2][121] x[2][122] x[2][123] x[2][124] x[2][125] x[2][126] x[2][127] x[2][128] x[2][129] x[2][130] x[2][131] x[2][132] x[2][133] x[2][134] x[2][135] x[2][136] x[2][137] x[2][138] x[2][139] x[2][140] x[2][141] x[2][142] x[2][143] x[2][144] x[2][145] x[2][146] x[2][147] x[2][148] x[2][149] x[2][150] x[2][151] x[2][152] x[2][153] x[2][154] x[2][155] x[2][156] x[2][157] x[2][158] x[2][159] x[2][160] x[2][161] x[2][162] x[2][163] x[2][164] x[2][165] x[2][166] x[2][167] x[2][168] x[2][169] x[2][170] x[2][171] x[2][172] x[2][173] x[2][174] x[2][175] x[2][176] x[2][177] x[2][178] x[2][179] x[2][180] x[2][181] x[2][182] x[2][183] x[2][184] x[2][185] x[2][186] x[2][187] x[2][188] x[2][189] x[2][190] x[2][191] x[2][192] x[2][193] x[2][194] x[2][195] x[2][196] x[2][197] x[2][198] x[2][199] x[2][200] x[2][201] x[2][202] x[2][203] x[2][204] x[2][205] x[2][206] x[2][207] x[2][208] x[2][209] x[2][210] x[2][211] x[2][212] x[2][213] x[2][214] x[2][215] x[2][216] x[2][217] x[2][218] x[2][219] x[2][220] x[2][221] x[2][222] x[2][223] x[2][224] x[2][225] x[2][226] x[2][227] x[2][228] x[2][229] x[2][230] x[2][231] x[2][232] x[2][233] x[2][234] x[2][235] x[2][236] x[2][237] x[2][238] x[2][239] x[2][240] x[2][241] x[2][242] x[2][243] x[2][244] x[2][245] x[2][246] x[2][247] x[2][248] x[2][249] x[2][250] x[2][251] x[2][252] x[2][253] x[2][254] x[2][255] x[2][256] x[2][257] x[2][258] x[2][259] x[2][260] x[2][261] x[2][262] x[2][263] x[2][264] x[2][265] x[2][266] x[2][267] x[2][268] x[2][269] x[2][270] x[2][271] x[2][272] x[2][273] x[2][274] x[2][275] x[2][276] x[2][277] x[2][278] x[2][279] x[2][280] x[2][281] x[2][282] x[2][283] x[2][284] x[2][285] x[2][286] x[2][287] x[2][288] x[2][289] x[2][290] x[2][291] x[2][292] x[2][293] x[2][294] x[2][295] x[2][296] x[2][297] x[2][298] x[2][299] x[2][300] x[2][301] x[2][302] x[2][303] x[2][304] x[2][305] x[2][306] x[2][307] x[2][308] x[2][309] x[2][310] x[2][311] x[2][312] x[2][313] x[2][314] x[2][315] x[2][316] x[2][317] x[2][318] x[2][319] x[2][320] x[2][321] x[2][322] x[2][323] x[2][324] x[2][325] x[2][326] x[2][327] x[2][328] x[2][329] x[2][330] x[2][331] x[2][332] x[2][333] x[2][334] x[2][335] x[2][336] x[2][337] x[2][338] x[2][339] x[2][340] x[2][341] x[2][342] x[2][343] x[2][344] x[2][345] x[2][346] x[2][347] x[2][348] x[2][349] x[3][0] x[3][1] x[3][2] x[3][3] 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[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] x[3][120] x[3][121] x[3][122] x[3][123] x[3][124] x[3][125] x[3][126] x[3][127] x[3][128] x[3][129] x[3][130] x[3][131] x[3][132] x[3][133] x[3][134] x[3][135] x[3][136] x[3][137] x[3][138] x[3][139] x[3][140] x[3][141] x[3][142] x[3][143] x[3][144] x[3][145] x[3][146] x[3][147] x[3][148] x[3][149] x[3][150] x[3][151] x[3][152] x[3][153] x[3][154] x[3][155] x[3][156] x[3][157] x[3][158] x[3][159] x[3][160] x[3][161] x[3][162] x[3][163] x[3][164] x[3][165] x[3][166] x[3][167] x[3][168] x[3][169] x[3][170] x[3][171] x[3][172] x[3][173] x[3][174] x[3][175] x[3][176] x[3][177] x[3][178] x[3][179] x[3][180] x[3][181] x[3][182] x[3][183] x[3][184] x[3][185] x[3][186] x[3][187] x[3][188] x[3][189] x[3][190] x[3][191] x[3][192] x[3][193] x[3][194] x[3][195] x[3][196] x[3][197] x[3][198] x[3][199] x[3][200] x[3][201] x[3][202] x[3][203] x[3][204] x[3][205] x[3][206] x[3][207] x[3][208] x[3][209] x[3][210] x[3][211] x[3][212] x[3][213] x[3][214] x[3][215] x[3][216] x[3][217] x[3][218] x[3][219] x[3][220] x[3][221] x[3][222] x[3][223] x[3][224] x[3][225] x[3][226] x[3][227] x[3][228] x[3][229] x[3][230] x[3][231] x[3][232] x[3][233] x[3][234] x[3][235] x[3][236] x[3][237] x[3][238] x[3][239] x[3][240] x[3][241] x[3][242] x[3][243] x[3][244] x[3][245] x[3][246] x[3][247] x[3][248] x[3][249] x[3][250] x[3][251] x[3][252] x[3][253] x[3][254] x[3][255] x[3][256] x[3][257] x[3][258] x[3][259] x[3][260] x[3][261] x[3][262] x[3][263] x[3][264] x[3][265] x[3][266] x[3][267] x[3][268] x[3][269] x[3][270] x[3][271] x[3][272] x[3][273] x[3][274] x[3][275] x[3][276] x[3][277] x[3][278] x[3][279] x[3][280] x[3][281] x[3][282] x[3][283] x[3][284] x[3][285] x[3][286] x[3][287] x[3][288] x[3][289] x[3][290] x[3][291] x[3][292] x[3][293] x[3][294] x[3][295] x[3][296] x[3][297] x[3][298] x[3][299] x[3][300] x[3][301] x[3][302] x[3][303] x[3][304] x[3][305] x[3][306] x[3][307] x[3][308] x[3][309] x[3][310] x[3][311] x[3][312] x[3][313] x[3][314] x[3][315] x[3][316] x[3][317] x[3][318] x[3][319] x[3][320] x[3][321] x[3][322] x[3][323] x[3][324] x[3][325] x[3][326] x[3][327] x[3][328] x[3][329] x[3][330] x[3][331] x[3][332] x[3][333] x[3][334] x[3][335] x[3][336] x[3][337] x[3][338] x[3][339] x[3][340] x[3][341] x[3][342] x[3][343] x[3][344] x[3][345] x[3][346] x[3][347] x[3][348] x[3][349] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] 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[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[4][108] x[4][109] x[4][110] x[4][111] x[4][112] x[4][113] x[4][114] x[4][115] x[4][116] x[4][117] x[4][118] x[4][119] x[4][120] x[4][121] x[4][122] x[4][123] x[4][124] x[4][125] x[4][126] x[4][127] x[4][128] x[4][129] x[4][130] x[4][131] x[4][132] x[4][133] x[4][134] x[4][135] x[4][136] x[4][137] x[4][138] x[4][139] x[4][140] x[4][141] x[4][142] x[4][143] x[4][144] x[4][145] x[4][146] x[4][147] x[4][148] x[4][149] x[4][150] x[4][151] x[4][152] x[4][153] x[4][154] x[4][155] x[4][156] x[4][157] x[4][158] x[4][159] x[4][160] x[4][161] x[4][162] x[4][163] x[4][164] x[4][165] x[4][166] x[4][167] x[4][168] x[4][169] x[4][170] x[4][171] x[4][172] x[4][173] x[4][174] x[4][175] x[4][176] x[4][177] x[4][178] x[4][179] x[4][180] x[4][181] x[4][182] x[4][183] x[4][184] x[4][185] x[4][186] x[4][187] x[4][188] x[4][189] x[4][190] x[4][191] x[4][192] x[4][193] x[4][194] x[4][195] x[4][196] x[4][197] x[4][198] x[4][199] x[4][200] x[4][201] x[4][202] x[4][203] x[4][204] x[4][205] x[4][206] x[4][207] x[4][208] x[4][209] x[4][210] x[4][211] x[4][212] x[4][213] x[4][214] x[4][215] x[4][216] x[4][217] x[4][218] x[4][219] x[4][220] x[4][221] x[4][222] x[4][223] x[4][224] x[4][225] x[4][226] x[4][227] x[4][228] x[4][229] x[4][230] x[4][231] x[4][232] x[4][233] x[4][234] x[4][235] x[4][236] x[4][237] x[4][238] x[4][239] x[4][240] x[4][241] x[4][242] x[4][243] x[4][244] x[4][245] x[4][246] x[4][247] x[4][248] x[4][249] x[4][250] x[4][251] x[4][252] x[4][253] x[4][254] x[4][255] x[4][256] x[4][257] x[4][258] x[4][259] x[4][260] x[4][261] x[4][262] x[4][263] x[4][264] x[4][265] x[4][266] x[4][267] x[4][268] x[4][269] x[4][270] x[4][271] x[4][272] x[4][273] x[4][274] x[4][275] x[4][276] x[4][277] x[4][278] x[4][279] x[4][280] x[4][281] x[4][282] x[4][283] x[4][284] x[4][285] x[4][286] x[4][287] x[4][288] x[4][289] x[4][290] x[4][291] x[4][292] x[4][293] x[4][294] x[4][295] x[4][296] x[4][297] x[4][298] x[4][299] x[4][300] x[4][301] x[4][302] x[4][303] x[4][304] x[4][305] x[4][306] x[4][307] x[4][308] x[4][309] x[4][310] x[4][311] x[4][312] x[4][313] x[4][314] x[4][315] x[4][316] x[4][317] x[4][318] x[4][319] x[4][320] x[4][321] x[4][322] x[4][323] x[4][324] x[4][325] x[4][326] x[4][327] x[4][328] x[4][329] x[4][330] x[4][331] x[4][332] x[4][333] x[4][334] x[4][335] x[4][336] x[4][337] x[4][338] x[4][339] x[4][340] x[4][341] x[4][342] x[4][343] x[4][344] x[4][345] x[4][346] x[4][347] x[4][348] x[4][349] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] 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[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[5][108] x[5][109] x[5][110] x[5][111] x[5][112] x[5][113] x[5][114] x[5][115] x[5][116] x[5][117] x[5][118] x[5][119] x[5][120] x[5][121] x[5][122] x[5][123] x[5][124] x[5][125] x[5][126] x[5][127] x[5][128] x[5][129] x[5][130] x[5][131] x[5][132] x[5][133] x[5][134] x[5][135] x[5][136] x[5][137] x[5][138] x[5][139] x[5][140] x[5][141] x[5][142] x[5][143] x[5][144] x[5][145] x[5][146] x[5][147] x[5][148] x[5][149] x[5][150] x[5][151] x[5][152] x[5][153] x[5][154] x[5][155] x[5][156] x[5][157] x[5][158] x[5][159] x[5][160] x[5][161] x[5][162] x[5][163] x[5][164] x[5][165] x[5][166] x[5][167] x[5][168] x[5][169] x[5][170] x[5][171] x[5][172] x[5][173] x[5][174] x[5][175] x[5][176] x[5][177] x[5][178] x[5][179] x[5][180] x[5][181] x[5][182] x[5][183] x[5][184] x[5][185] x[5][186] x[5][187] x[5][188] x[5][189] x[5][190] x[5][191] x[5][192] x[5][193] x[5][194] x[5][195] x[5][196] x[5][197] x[5][198] x[5][199] x[5][200] x[5][201] x[5][202] x[5][203] x[5][204] x[5][205] x[5][206] x[5][207] x[5][208] x[5][209] x[5][210] x[5][211] x[5][212] x[5][213] x[5][214] x[5][215] x[5][216] x[5][217] x[5][218] x[5][219] x[5][220] x[5][221] x[5][222] x[5][223] x[5][224] x[5][225] x[5][226] x[5][227] x[5][228] x[5][229] x[5][230] x[5][231] x[5][232] x[5][233] x[5][234] x[5][235] x[5][236] x[5][237] x[5][238] x[5][239] x[5][240] x[5][241] x[5][242] x[5][243] x[5][244] x[5][245] x[5][246] x[5][247] x[5][248] x[5][249] x[5][250] x[5][251] x[5][252] x[5][253] x[5][254] x[5][255] x[5][256] x[5][257] x[5][258] x[5][259] x[5][260] x[5][261] x[5][262] x[5][263] x[5][264] x[5][265] x[5][266] x[5][267] x[5][268] x[5][269] x[5][270] x[5][271] x[5][272] x[5][273] x[5][274] x[5][275] x[5][276] x[5][277] x[5][278] x[5][279] x[5][280] x[5][281] x[5][282] x[5][283] x[5][284] x[5][285] x[5][286] x[5][287] x[5][288] x[5][289] x[5][290] x[5][291] x[5][292] x[5][293] x[5][294] x[5][295] x[5][296] x[5][297] x[5][298] x[5][299] x[5][300] x[5][301] x[5][302] x[5][303] x[5][304] x[5][305] x[5][306] x[5][307] x[5][308] x[5][309] x[5][310] x[5][311] x[5][312] x[5][313] x[5][314] x[5][315] x[5][316] x[5][317] x[5][318] x[5][319] x[5][320] x[5][321] x[5][322] x[5][323] x[5][324] x[5][325] x[5][326] x[5][327] x[5][328] x[5][329] x[5][330] x[5][331] x[5][332] x[5][333] x[5][334] x[5][335] x[5][336] x[5][337] x[5][338] x[5][339] x[5][340] x[5][341] x[5][342] x[5][343] x[5][344] x[5][345] x[5][346] x[5][347] x[5][348] x[5][349] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] 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[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[6][108] x[6][109] x[6][110] x[6][111] x[6][112] x[6][113] x[6][114] x[6][115] x[6][116] x[6][117] x[6][118] x[6][119] x[6][120] x[6][121] x[6][122] x[6][123] x[6][124] x[6][125] x[6][126] x[6][127] x[6][128] x[6][129] x[6][130] x[6][131] x[6][132] x[6][133] x[6][134] x[6][135] x[6][136] x[6][137] x[6][138] x[6][139] x[6][140] x[6][141] x[6][142] x[6][143] x[6][144] x[6][145] x[6][146] x[6][147] x[6][148] x[6][149] x[6][150] x[6][151] x[6][152] x[6][153] x[6][154] x[6][155] x[6][156] x[6][157] x[6][158] x[6][159] x[6][160] x[6][161] x[6][162] x[6][163] x[6][164] x[6][165] x[6][166] x[6][167] x[6][168] x[6][169] x[6][170] x[6][171] x[6][172] x[6][173] x[6][174] x[6][175] x[6][176] x[6][177] x[6][178] x[6][179] x[6][180] x[6][181] x[6][182] x[6][183] x[6][184] x[6][185] x[6][186] x[6][187] x[6][188] x[6][189] x[6][190] x[6][191] x[6][192] x[6][193] x[6][194] x[6][195] x[6][196] x[6][197] x[6][198] x[6][199] x[6][200] x[6][201] x[6][202] x[6][203] x[6][204] x[6][205] x[6][206] x[6][207] x[6][208] x[6][209] x[6][210] x[6][211] x[6][212] x[6][213] x[6][214] x[6][215] x[6][216] x[6][217] x[6][218] x[6][219] x[6][220] x[6][221] x[6][222] x[6][223] x[6][224] x[6][225] x[6][226] x[6][227] x[6][228] x[6][229] x[6][230] x[6][231] x[6][232] x[6][233] x[6][234] x[6][235] x[6][236] x[6][237] x[6][238] x[6][239] x[6][240] x[6][241] x[6][242] x[6][243] x[6][244] x[6][245] x[6][246] x[6][247] x[6][248] x[6][249] x[6][250] x[6][251] x[6][252] x[6][253] x[6][254] x[6][255] x[6][256] x[6][257] x[6][258] x[6][259] x[6][260] x[6][261] x[6][262] x[6][263] x[6][264] x[6][265] x[6][266] x[6][267] x[6][268] x[6][269] x[6][270] x[6][271] x[6][272] x[6][273] x[6][274] x[6][275] x[6][276] x[6][277] x[6][278] x[6][279] x[6][280] x[6][281] x[6][282] x[6][283] x[6][284] x[6][285] x[6][286] x[6][287] x[6][288] x[6][289] x[6][290] x[6][291] x[6][292] x[6][293] x[6][294] x[6][295] x[6][296] x[6][297] x[6][298] x[6][299] x[6][300] x[6][301] x[6][302] x[6][303] x[6][304] x[6][305] x[6][306] x[6][307] x[6][308] x[6][309] x[6][310] x[6][311] x[6][312] x[6][313] x[6][314] x[6][315] x[6][316] x[6][317] x[6][318] x[6][319] x[6][320] x[6][321] x[6][322] x[6][323] x[6][324] x[6][325] x[6][326] x[6][327] x[6][328] x[6][329] x[6][330] x[6][331] x[6][332] x[6][333] x[6][334] x[6][335] x[6][336] x[6][337] x[6][338] x[6][339] x[6][340] x[6][341] x[6][342] x[6][343] x[6][344] x[6][345] x[6][346] x[6][347] x[6][348] x[6][349] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] 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[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[7][108] x[7][109] x[7][110] x[7][111] x[7][112] x[7][113] x[7][114] x[7][115] x[7][116] x[7][117] x[7][118] x[7][119] x[7][120] x[7][121] x[7][122] x[7][123] x[7][124] x[7][125] x[7][126] x[7][127] x[7][128] x[7][129] x[7][130] x[7][131] x[7][132] x[7][133] x[7][134] x[7][135] x[7][136] x[7][137] x[7][138] x[7][139] x[7][140] x[7][141] x[7][142] x[7][143] x[7][144] x[7][145] x[7][146] x[7][147] x[7][148] x[7][149] x[7][150] x[7][151] x[7][152] x[7][153] x[7][154] x[7][155] x[7][156] x[7][157] x[7][158] x[7][159] x[7][160] x[7][161] x[7][162] x[7][163] x[7][164] x[7][165] x[7][166] x[7][167] x[7][168] x[7][169] x[7][170] x[7][171] x[7][172] x[7][173] x[7][174] x[7][175] x[7][176] x[7][177] x[7][178] x[7][179] x[7][180] x[7][181] x[7][182] x[7][183] x[7][184] x[7][185] x[7][186] x[7][187] x[7][188] x[7][189] x[7][190] x[7][191] x[7][192] x[7][193] x[7][194] x[7][195] x[7][196] x[7][197] x[7][198] x[7][199] x[7][200] x[7][201] x[7][202] x[7][203] x[7][204] x[7][205] x[7][206] x[7][207] x[7][208] x[7][209] x[7][210] x[7][211] x[7][212] x[7][213] x[7][214] x[7][215] x[7][216] x[7][217] x[7][218] x[7][219] x[7][220] x[7][221] x[7][222] x[7][223] x[7][224] x[7][225] x[7][226] x[7][227] x[7][228] x[7][229] x[7][230] x[7][231] x[7][232] x[7][233] x[7][234] x[7][235] x[7][236] x[7][237] x[7][238] x[7][239] x[7][240] x[7][241] x[7][242] x[7][243] x[7][244] x[7][245] x[7][246] x[7][247] x[7][248] x[7][249] x[7][250] x[7][251] x[7][252] x[7][253] x[7][254] x[7][255] x[7][256] x[7][257] x[7][258] x[7][259] x[7][260] x[7][261] x[7][262] x[7][263] x[7][264] x[7][265] x[7][266] x[7][267] x[7][268] x[7][269] x[7][270] x[7][271] x[7][272] x[7][273] x[7][274] x[7][275] x[7][276] x[7][277] x[7][278] x[7][279] x[7][280] x[7][281] x[7][282] x[7][283] x[7][284] x[7][285] x[7][286] x[7][287] x[7][288] x[7][289] x[7][290] x[7][291] x[7][292] x[7][293] x[7][294] x[7][295] x[7][296] x[7][297] x[7][298] x[7][299] x[7][300] x[7][301] x[7][302] x[7][303] x[7][304] x[7][305] x[7][306] x[7][307] x[7][308] x[7][309] x[7][310] x[7][311] x[7][312] x[7][313] x[7][314] x[7][315] x[7][316] x[7][317] x[7][318] x[7][319] x[7][320] x[7][321] x[7][322] x[7][323] x[7][324] x[7][325] x[7][326] x[7][327] x[7][328] x[7][329] x[7][330] x[7][331] x[7][332] x[7][333] x[7][334] x[7][335] x[7][336] x[7][337] x[7][338] x[7][339] x[7][340] x[7][341] x[7][342] x[7][343] x[7][344] x[7][345] x[7][346] x[7][347] x[7][348] x[7][349] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] 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[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] x[8][108] x[8][109] x[8][110] x[8][111] x[8][112] x[8][113] x[8][114] x[8][115] x[8][116] x[8][117] x[8][118] x[8][119] x[8][120] x[8][121] x[8][122] x[8][123] x[8][124] x[8][125] x[8][126] x[8][127] x[8][128] x[8][129] x[8][130] x[8][131] x[8][132] x[8][133] x[8][134] x[8][135] x[8][136] x[8][137] x[8][138] x[8][139] x[8][140] x[8][141] x[8][142] x[8][143] x[8][144] x[8][145] x[8][146] x[8][147] x[8][148] x[8][149] x[8][150] x[8][151] x[8][152] x[8][153] x[8][154] x[8][155] x[8][156] x[8][157] x[8][158] x[8][159] x[8][160] x[8][161] x[8][162] x[8][163] x[8][164] x[8][165] x[8][166] x[8][167] x[8][168] x[8][169] x[8][170] x[8][171] x[8][172] x[8][173] x[8][174] x[8][175] x[8][176] x[8][177] x[8][178] x[8][179] x[8][180] x[8][181] x[8][182] x[8][183] x[8][184] x[8][185] x[8][186] x[8][187] x[8][188] x[8][189] x[8][190] x[8][191] x[8][192] x[8][193] x[8][194] x[8][195] x[8][196] x[8][197] x[8][198] x[8][199] x[8][200] x[8][201] x[8][202] x[8][203] x[8][204] x[8][205] x[8][206] x[8][207] x[8][208] x[8][209] x[8][210] x[8][211] x[8][212] x[8][213] x[8][214] x[8][215] x[8][216] x[8][217] x[8][218] x[8][219] x[8][220] x[8][221] x[8][222] x[8][223] x[8][224] x[8][225] x[8][226] x[8][227] x[8][228] x[8][229] x[8][230] x[8][231] x[8][232] x[8][233] x[8][234] x[8][235] x[8][236] x[8][237] x[8][238] x[8][239] x[8][240] x[8][241] x[8][242] x[8][243] x[8][244] x[8][245] x[8][246] x[8][247] x[8][248] x[8][249] x[8][250] x[8][251] x[8][252] x[8][253] x[8][254] x[8][255] x[8][256] x[8][257] x[8][258] x[8][259] x[8][260] x[8][261] x[8][262] x[8][263] x[8][264] x[8][265] x[8][266] x[8][267] x[8][268] x[8][269] x[8][270] x[8][271] x[8][272] x[8][273] x[8][274] x[8][275] x[8][276] x[8][277] x[8][278] x[8][279] x[8][280] x[8][281] x[8][282] x[8][283] x[8][284] x[8][285] x[8][286] x[8][287] x[8][288] x[8][289] x[8][290] x[8][291] x[8][292] x[8][293] x[8][294] x[8][295] x[8][296] x[8][297] x[8][298] x[8][299] x[8][300] x[8][301] x[8][302] x[8][303] x[8][304] x[8][305] x[8][306] x[8][307] x[8][308] x[8][309] x[8][310] x[8][311] x[8][312] x[8][313] x[8][314] x[8][315] x[8][316] x[8][317] x[8][318] x[8][319] x[8][320] x[8][321] x[8][322] x[8][323] x[8][324] x[8][325] x[8][326] x[8][327] x[8][328] x[8][329] x[8][330] x[8][331] x[8][332] x[8][333] x[8][334] x[8][335] x[8][336] x[8][337] x[8][338] x[8][339] x[8][340] x[8][341] x[8][342] x[8][343] x[8][344] x[8][345] x[8][346] x[8][347] x[8][348] x[8][349] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] 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[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[9][68] x[9][69] x[9][70] x[9][71] x[9][72] x[9][73] x[9][74] x[9][75] x[9][76] x[9][77] x[9][78] x[9][79] x[9][80] x[9][81] x[9][82] x[9][83] x[9][84] x[9][85] x[9][86] x[9][87] x[9][88] x[9][89] x[9][90] x[9][91] x[9][92] x[9][93] x[9][94] x[9][95] x[9][96] x[9][97] x[9][98] x[9][99] x[9][100] x[9][101] x[9][102] x[9][103] x[9][104] x[9][105] x[9][106] x[9][107] x[9][108] x[9][109] x[9][110] x[9][111] x[9][112] x[9][113] x[9][114] x[9][115] x[9][116] x[9][117] x[9][118] x[9][119] x[9][120] x[9][121] x[9][122] x[9][123] x[9][124] x[9][125] x[9][126] x[9][127] x[9][128] x[9][129] x[9][130] x[9][131] x[9][132] x[9][133] x[9][134] x[9][135] x[9][136] x[9][137] x[9][138] x[9][139] x[9][140] x[9][141] x[9][142] x[9][143] x[9][144] x[9][145] x[9][146] x[9][147] x[9][148] x[9][149] x[9][150] x[9][151] x[9][152] x[9][153] x[9][154] x[9][155] x[9][156] x[9][157] x[9][158] x[9][159] x[9][160] x[9][161] x[9][162] x[9][163] x[9][164] x[9][165] x[9][166] x[9][167] x[9][168] x[9][169] x[9][170] x[9][171] x[9][172] x[9][173] x[9][174] x[9][175] x[9][176] x[9][177] x[9][178] x[9][179] x[9][180] x[9][181] x[9][182] x[9][183] x[9][184] x[9][185] x[9][186] x[9][187] x[9][188] x[9][189] x[9][190] x[9][191] x[9][192] x[9][193] x[9][194] x[9][195] x[9][196] x[9][197] x[9][198] x[9][199] x[9][200] x[9][201] x[9][202] x[9][203] x[9][204] x[9][205] x[9][206] x[9][207] x[9][208] x[9][209] x[9][210] x[9][211] x[9][212] x[9][213] x[9][214] x[9][215] x[9][216] x[9][217] x[9][218] x[9][219] x[9][220] x[9][221] x[9][222] x[9][223] x[9][224] x[9][225] x[9][226] x[9][227] x[9][228] x[9][229] x[9][230] x[9][231] x[9][232] x[9][233] x[9][234] x[9][235] x[9][236] x[9][237] x[9][238] x[9][239] x[9][240] x[9][241] x[9][242] x[9][243] x[9][244] x[9][245] x[9][246] x[9][247] x[9][248] x[9][249] x[9][250] x[9][251] x[9][252] x[9][253] x[9][254] x[9][255] x[9][256] x[9][257] x[9][258] x[9][259] x[9][260] x[9][261] x[9][262] x[9][263] x[9][264] x[9][265] x[9][266] x[9][267] x[9][268] x[9][269] x[9][270] x[9][271] x[9][272] x[9][273] x[9][274] x[9][275] x[9][276] x[9][277] x[9][278] x[9][279] x[9][280] x[9][281] x[9][282] x[9][283] x[9][284] x[9][285] x[9][286] x[9][287] x[9][288] x[9][289] x[9][290] x[9][291] x[9][292] x[9][293] x[9][294] x[9][295] x[9][296] x[9][297] x[9][298] x[9][299] x[9][300] x[9][301] x[9][302] x[9][303] x[9][304] x[9][305] x[9][306] x[9][307] x[9][308] x[9][309] x[9][310] x[9][311] x[9][312] x[9][313] x[9][314] x[9][315] x[9][316] x[9][317] x[9][318] x[9][319] x[9][320] x[9][321] x[9][322] x[9][323] x[9][324] x[9][325] x[9][326] x[9][327] x[9][328] x[9][329] x[9][330] x[9][331] x[9][332] x[9][333] x[9][334] x[9][335] x[9][336] x[9][337] x[9][338] x[9][339] x[9][340] x[9][341] x[9][342] x[9][343] x[9][344] x[9][345] x[9][346] x[9][347] x[9][348] x[9][349] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] 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[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] x[10][67] x[10][68] x[10][69] x[10][70] x[10][71] x[10][72] x[10][73] x[10][74] x[10][75] x[10][76] x[10][77] x[10][78] x[10][79] x[10][80] x[10][81] x[10][82] x[10][83] x[10][84] x[10][85] x[10][86] x[10][87] x[10][88] x[10][89] x[10][90] x[10][91] x[10][92] x[10][93] x[10][94] x[10][95] x[10][96] x[10][97] x[10][98] x[10][99] x[10][100] x[10][101] x[10][102] x[10][103] x[10][104] x[10][105] x[10][106] x[10][107] x[10][108] x[10][109] x[10][110] x[10][111] x[10][112] x[10][113] x[10][114] x[10][115] x[10][116] x[10][117] x[10][118] x[10][119] x[10][120] x[10][121] x[10][122] x[10][123] x[10][124] x[10][125] x[10][126] x[10][127] x[10][128] x[10][129] x[10][130] x[10][131] x[10][132] x[10][133] x[10][134] x[10][135] x[10][136] x[10][137] x[10][138] x[10][139] x[10][140] x[10][141] x[10][142] x[10][143] x[10][144] x[10][145] x[10][146] x[10][147] x[10][148] x[10][149] x[10][150] x[10][151] x[10][152] x[10][153] x[10][154] x[10][155] x[10][156] x[10][157] x[10][158] x[10][159] x[10][160] x[10][161] x[10][162] x[10][163] x[10][164] x[10][165] x[10][166] x[10][167] x[10][168] x[10][169] x[10][170] x[10][171] x[10][172] x[10][173] x[10][174] x[10][175] x[10][176] x[10][177] x[10][178] x[10][179] x[10][180] x[10][181] x[10][182] x[10][183] x[10][184] x[10][185] x[10][186] x[10][187] x[10][188] x[10][189] x[10][190] x[10][191] x[10][192] x[10][193] x[10][194] x[10][195] x[10][196] x[10][197] x[10][198] x[10][199] x[10][200] x[10][201] x[10][202] x[10][203] x[10][204] x[10][205] x[10][206] x[10][207] x[10][208] x[10][209] x[10][210] x[10][211] x[10][212] x[10][213] x[10][214] x[10][215] x[10][216] x[10][217] x[10][218] x[10][219] x[10][220] x[10][221] x[10][222] x[10][223] x[10][224] x[10][225] x[10][226] x[10][227] x[10][228] x[10][229] x[10][230] x[10][231] x[10][232] x[10][233] x[10][234] x[10][235] x[10][236] x[10][237] x[10][238] x[10][239] x[10][240] x[10][241] x[10][242] x[10][243] x[10][244] x[10][245] x[10][246] x[10][247] x[10][248] x[10][249] x[10][250] x[10][251] x[10][252] x[10][253] x[10][254] x[10][255] x[10][256] x[10][257] x[10][258] x[10][259] x[10][260] x[10][261] x[10][262] x[10][263] x[10][264] x[10][265] x[10][266] x[10][267] x[10][268] x[10][269] x[10][270] x[10][271] x[10][272] x[10][273] x[10][274] x[10][275] x[10][276] x[10][277] x[10][278] x[10][279] x[10][280] x[10][281] x[10][282] x[10][283] x[10][284] x[10][285] x[10][286] x[10][287] x[10][288] x[10][289] x[10][290] x[10][291] x[10][292] x[10][293] x[10][294] x[10][295] x[10][296] x[10][297] x[10][298] x[10][299] x[10][300] x[10][301] x[10][302] x[10][303] x[10][304] x[10][305] x[10][306] x[10][307] x[10][308] x[10][309] x[10][310] x[10][311] x[10][312] x[10][313] x[10][314] x[10][315] x[10][316] x[10][317] x[10][318] x[10][319] x[10][320] x[10][321] x[10][322] x[10][323] x[10][324] x[10][325] x[10][326] x[10][327] x[10][328] x[10][329] x[10][330] x[10][331] x[10][332] x[10][333] x[10][334] x[10][335] x[10][336] x[10][337] x[10][338] x[10][339] x[10][340] x[10][341] x[10][342] x[10][343] x[10][344] x[10][345] x[10][346] x[10][347] x[10][348] x[10][349] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] 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[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] x[11][67] x[11][68] x[11][69] x[11][70] x[11][71] x[11][72] x[11][73] x[11][74] x[11][75] x[11][76] x[11][77] x[11][78] x[11][79] x[11][80] x[11][81] x[11][82] x[11][83] x[11][84] x[11][85] x[11][86] x[11][87] x[11][88] x[11][89] x[11][90] x[11][91] x[11][92] x[11][93] x[11][94] x[11][95] x[11][96] x[11][97] x[11][98] x[11][99] x[11][100] x[11][101] x[11][102] x[11][103] x[11][104] x[11][105] x[11][106] x[11][107] x[11][108] x[11][109] x[11][110] x[11][111] x[11][112] x[11][113] x[11][114] x[11][115] x[11][116] x[11][117] x[11][118] x[11][119] x[11][120] x[11][121] x[11][122] x[11][123] x[11][124] x[11][125] x[11][126] x[11][127] x[11][128] x[11][129] x[11][130] x[11][131] x[11][132] x[11][133] x[11][134] x[11][135] x[11][136] x[11][137] x[11][138] x[11][139] x[11][140] x[11][141] x[11][142] x[11][143] x[11][144] x[11][145] x[11][146] x[11][147] x[11][148] x[11][149] x[11][150] x[11][151] x[11][152] x[11][153] x[11][154] x[11][155] x[11][156] x[11][157] x[11][158] x[11][159] x[11][160] x[11][161] x[11][162] x[11][163] x[11][164] x[11][165] x[11][166] x[11][167] x[11][168] x[11][169] x[11][170] x[11][171] x[11][172] x[11][173] x[11][174] x[11][175] x[11][176] x[11][177] x[11][178] x[11][179] x[11][180] x[11][181] x[11][182] x[11][183] x[11][184] x[11][185] x[11][186] x[11][187] x[11][188] x[11][189] x[11][190] x[11][191] x[11][192] x[11][193] x[11][194] x[11][195] x[11][196] x[11][197] x[11][198] x[11][199] x[11][200] x[11][201] x[11][202] x[11][203] x[11][204] x[11][205] x[11][206] x[11][207] x[11][208] x[11][209] x[11][210] x[11][211] x[11][212] x[11][213] x[11][214] x[11][215] x[11][216] x[11][217] x[11][218] x[11][219] x[11][220] x[11][221] x[11][222] x[11][223] x[11][224] x[11][225] x[11][226] x[11][227] x[11][228] x[11][229] x[11][230] x[11][231] x[11][232] x[11][233] x[11][234] x[11][235] x[11][236] x[11][237] x[11][238] x[11][239] x[11][240] x[11][241] x[11][242] x[11][243] x[11][244] x[11][245] x[11][246] x[11][247] x[11][248] x[11][249] x[11][250] x[11][251] x[11][252] x[11][253] x[11][254] x[11][255] x[11][256] x[11][257] x[11][258] x[11][259] x[11][260] x[11][261] x[11][262] x[11][263] x[11][264] x[11][265] x[11][266] x[11][267] x[11][268] x[11][269] x[11][270] x[11][271] x[11][272] x[11][273] x[11][274] x[11][275] x[11][276] x[11][277] x[11][278] x[11][279] x[11][280] x[11][281] x[11][282] x[11][283] x[11][284] x[11][285] x[11][286] x[11][287] x[11][288] x[11][289] x[11][290] x[11][291] x[11][292] x[11][293] x[11][294] x[11][295] x[11][296] x[11][297] x[11][298] x[11][299] x[11][300] x[11][301] x[11][302] x[11][303] x[11][304] x[11][305] x[11][306] x[11][307] x[11][308] x[11][309] x[11][310] x[11][311] x[11][312] x[11][313] x[11][314] x[11][315] x[11][316] x[11][317] x[11][318] x[11][319] x[11][320] x[11][321] x[11][322] x[11][323] x[11][324] x[11][325] x[11][326] x[11][327] x[11][328] x[11][329] x[11][330] x[11][331] x[11][332] x[11][333] x[11][334] x[11][335] x[11][336] x[11][337] x[11][338] x[11][339] x[11][340] x[11][341] x[11][342] x[11][343] x[11][344] x[11][345] x[11][346] x[11][347] x[11][348] x[11][349]
1986.70/252.11	v 	</list>
1986.70/252.11	v 	<values>
1986.70/252.11	v 		93 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 
1986.70/252.11	v 	</values>
1986.70/252.11	v </instantiation>

Verifier Data 

OK	93

Watcher Data 

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 (12112 MiB free)
  memory of node 1: 16384 MiB (11016 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285840-1503438503/watcher-4285840-1503438503 -o /tmp/evaluation-result-4285840-1503438503/solver-4285840-1503438503 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503426029-3437 --watchdog 312 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1272197751 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4285840-1503438503.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6278, runsolver pid=6275
Current StackSize limit: 8192 KiB


[startup+0.100706 s]*
/proc/loadavg: 8.02 8.62 8.48 3/199 6298
/proc/meminfo: memFree=23668480/32770624 swapFree=67108860/67108860
[pid=6278] ppid=6275 vsize=26000852 memory=32800 CPUtime=0.12 cores=0-7
/proc/6278/stat : 6278 (java) S 6275 6278 3410 0 -1 1077944320 8594 0 0 0 11 1 0 0 20 0 20 0 176937872 26624872448 8200 33554432000 4194304 4196468 140723830983184 140723830965728 139759368421111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
/proc/6278/statm: 6500213 8200 3411 1 0 6487932 0
[pid=6278/tid=6280] ppid=6275 vsize=26000852 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/6278/task/6280/stat : 6280 (java) R 6275 6278 3410 0 -1 4202560 6534 0 0 0 8 1 0 0 20 0 20 0 176937872 26624872448 8200 33554432000 4194304 4196468 140723830983184 139759372637808 139759368443037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6281] ppid=6275 vsize=26000852 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/6278/task/6281/stat : 6281 (java) S 6275 6278 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176937873 26624872448 8200 33554432000 4194304 4196468 140723830983184 139759321041296 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6282] ppid=6275 vsize=26000852 memory=140202344617600 CPUtime=0 cores=0-7
/proc/6278/task/6282/stat : 6282 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937873 26624872448 8200 33554432000 4194304 4196468 140723830983184 139759319988496 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6283] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6283/stat : 6283 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937873 26624872448 8200 33554432000 4194304 4196468 140723830983184 139759318936208 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6284] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6284/stat : 6284 (java) S 6275 6278 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176937873 26624872448 8200 33554432000 4194304 4196468 140723830983184 139759317883408 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6285] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6285/stat : 6285 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937873 26624872448 8200 33554432000 4194304 4196468 140723830983184 139759316831120 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6286] ppid=6275 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/6278/task/6286/stat : 6286 (java) S 6275 6278 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176937873 26624872448 8200 33554432000 4194304 4196468 140723830983184 139759315778320 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6287] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6287/stat : 6287 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937873 26624872448 8200 33554432000 4194304 4196468 140723830983184 139759314726032 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6288] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6288/stat : 6288 (java) S 6275 6278 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176937873 26624872448 8200 33554432000 4194304 4196468 140723830983184 139759313673232 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6289] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6289/stat : 6289 (java) S 6275 6278 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176937875 26624872448 8200 33554432000 4194304 4196468 140723830983184 139758428711024 139759368432258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6290] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6290/stat : 6290 (java) S 6275 6278 3410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176937875 26624872448 8200 33554432000 4194304 4196468 140723830983184 139758427656992 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6291] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6291/stat : 6291 (java) S 6275 6278 3410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176937875 26624872448 8200 33554432000 4194304 4196468 140723830983184 139758426604656 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6292] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6292/stat : 6292 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937878 26624872448 8200 33554432000 4194304 4196468 140723830983184 139758425552976 139759368439707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6293] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6293/stat : 6293 (java) S 6275 6278 3410 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 176937878 26624872448 8200 33554432000 4194304 4196468 140723830983184 139758424500848 139759368432258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6294] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6294/stat : 6294 (java) S 6275 6278 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176937878 26624872448 8200 33554432000 4194304 4196468 140723830983184 139758423448048 139759368432258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6295] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6295/stat : 6295 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937878 26624872448 8200 33554432000 4194304 4196468 140723830983184 139758422395760 139759368432258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6296] ppid=6275 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/6278/task/6296/stat : 6296 (java) R 6275 6278 3410 0 -1 4202560 377 0 0 0 1 0 0 0 20 0 20 0 176937878 26624872448 8200 33554432000 4194304 4196468 140723830983184 139758421342960 139759352464788 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6297] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6297/stat : 6297 (java) S 6275 6278 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176937878 26624872448 8200 33554432000 4194304 4196468 140723830983184 139758420289888 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6298] ppid=6275 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/6278/task/6298/stat : 6298 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937878 26624872448 8200 33554432000 4194304 4196468 140723830983184 139758419237168 139759368432258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32800 KiB

[startup+0.210528 s]*
/proc/loadavg: 8.02 8.62 8.48 2/199 6298
/proc/meminfo: memFree=23657624/32770624 swapFree=67108860/67108860
[pid=6278] ppid=6275 vsize=26000852 memory=41944 CPUtime=0.29 cores=0-7
/proc/6278/stat : 6278 (java) S 6275 6278 3410 0 -1 1077944320 9598 0 0 0 27 2 0 0 20 0 20 0 176937872 26624872448 10486 33554432000 4194304 4196468 140723830983184 140723830965728 139759368421111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
/proc/6278/statm: 6500213 10486 3640 1 0 6487932 0
[pid=6278/tid=6280] ppid=6275 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/6278/task/6280/stat : 6280 (java) R 6275 6278 3410 0 -1 4202560 7175 0 0 0 18 1 0 0 20 0 20 0 176937872 26624872448 10486 33554432000 4194304 4196468 140723830983184 139759372647456 139759352501598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6281] ppid=6275 vsize=26000852 memory=9419 CPUtime=0 cores=0-7
/proc/6278/task/6281/stat : 6281 (java) S 6275 6278 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176937873 26624872448 10486 33554432000 4194304 4196468 140723830983184 139759321041296 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6282] ppid=6275 vsize=26000852 memory=140202344624041 CPUtime=0 cores=0-7
/proc/6278/task/6282/stat : 6282 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937873 26624872448 10486 33554432000 4194304 4196468 140723830983184 139759319988496 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6283] ppid=6275 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/6278/task/6283/stat : 6283 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937873 26624872448 10486 33554432000 4194304 4196468 140723830983184 139759318936208 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6284] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6284/stat : 6284 (java) S 6275 6278 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176937873 26624872448 10486 33554432000 4194304 4196468 140723830983184 139759317883408 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6285] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6285/stat : 6285 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937873 26624872448 10486 33554432000 4194304 4196468 140723830983184 139759316831120 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6286] ppid=6275 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/6278/task/6286/stat : 6286 (java) S 6275 6278 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176937873 26624872448 10486 33554432000 4194304 4196468 140723830983184 139759315778320 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6287] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6287/stat : 6287 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937873 26624872448 10486 33554432000 4194304 4196468 140723830983184 139759314726032 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6288] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6288/stat : 6288 (java) S 6275 6278 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176937873 26624872448 10486 33554432000 4194304 4196468 140723830983184 139759313673232 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6289] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6289/stat : 6289 (java) S 6275 6278 3410 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176937875 26624872448 10486 33554432000 4194304 4196468 140723830983184 139758428711024 139759368432258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6290] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6290/stat : 6290 (java) S 6275 6278 3410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176937875 26624872448 10486 33554432000 4194304 4196468 140723830983184 139758427656992 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6291] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6291/stat : 6291 (java) S 6275 6278 3410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176937875 26624872448 10486 33554432000 4194304 4196468 140723830983184 139758426604656 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6292] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6292/stat : 6292 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937878 26624872448 10486 33554432000 4194304 4196468 140723830983184 139758425552976 139759368439707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6293] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6293/stat : 6293 (java) S 6275 6278 3410 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 176937878 26624872448 10486 33554432000 4194304 4196468 140723830983184 139758424500848 139759368432258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6294] ppid=6275 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/6278/task/6294/stat : 6294 (java) S 6275 6278 3410 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 20 0 176937878 26624872448 10486 33554432000 4194304 4196468 140723830983184 139758423448048 139759368432258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6295] ppid=6275 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/6278/task/6295/stat : 6295 (java) S 6275 6278 3410 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 20 0 176937878 26624872448 10486 33554432000 4194304 4196468 140723830983184 139758422395760 139759368432258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6296] ppid=6275 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/6278/task/6296/stat : 6296 (java) S 6275 6278 3410 0 -1 1077944384 415 0 0 0 5 0 0 0 20 0 20 0 176937878 26624872448 10486 33554432000 4194304 4196468 140723830983184 139758421342960 139759368432258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6297] ppid=6275 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6297/stat : 6297 (java) S 6275 6278 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176937878 26624872448 10486 33554432000 4194304 4196468 140723830983184 139758420289888 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6298] ppid=6275 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/6278/task/6298/stat : 6298 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937878 26624872448 10486 33554432000 4194304 4196468 140723830983184 139758419237168 139759368432258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41944 KiB

[startup+0.310279 s]*
/proc/loadavg: 8.02 8.62 8.48 2/199 6298
/proc/meminfo: memFree=23650072/32770624 swapFree=67108860/67108860
[pid=6278] ppid=6275 vsize=26000872 memory=49604 CPUtime=0.48 cores=0-7
/proc/6278/stat : 6278 (java) S 6275 6278 3410 0 -1 1077944320 10628 0 0 0 46 2 0 0 20 0 20 0 176937872 26624892928 12401 33554432000 4194304 4196468 140723830983184 140723830965728 139759368421111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
/proc/6278/statm: 6500218 12401 3707 1 0 6487932 0
[pid=6278/tid=6280] ppid=6275 vsize=26000872 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6278/task/6280/stat : 6280 (java) R 6275 6278 3410 0 -1 4202560 7736 0 0 0 28 1 0 0 20 0 20 0 176937872 26624892928 12401 33554432000 4194304 4196468 140723830983184 139759372641984 139759368443037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6281] ppid=6275 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6281/stat : 6281 (java) S 6275 6278 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176937873 26624892928 12401 33554432000 4194304 4196468 140723830983184 139759321041296 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6282] ppid=6275 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6282/stat : 6282 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937873 26624892928 12401 33554432000 4194304 4196468 140723830983184 139759319988496 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6283] ppid=6275 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6283/stat : 6283 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937873 26624892928 12401 33554432000 4194304 4196468 140723830983184 139759318936208 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6284] ppid=6275 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6284/stat : 6284 (java) S 6275 6278 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176937873 26624892928 12401 33554432000 4194304 4196468 140723830983184 139759317883408 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6285] ppid=6275 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/6278/task/6285/stat : 6285 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937873 26624892928 12401 33554432000 4194304 4196468 140723830983184 139759316831120 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6286] ppid=6275 vsize=26000872 memory=140202228151215 CPUtime=0 cores=0-7
/proc/6278/task/6286/stat : 6286 (java) S 6275 6278 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176937873 26624892928 12401 33554432000 4194304 4196468 140723830983184 139759315778320 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6287] ppid=6275 vsize=26000872 memory=140202228153520 CPUtime=0 cores=0-7
/proc/6278/task/6287/stat : 6287 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937873 26624892928 12401 33554432000 4194304 4196468 140723830983184 139759314726032 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6288] ppid=6275 vsize=26000872 memory=140202228155824 CPUtime=0 cores=0-7
/proc/6278/task/6288/stat : 6288 (java) S 6275 6278 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176937873 26624892928 12401 33554432000 4194304 4196468 140723830983184 139759313673232 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6289] ppid=6275 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6289/stat : 6289 (java) S 6275 6278 3410 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176937875 26624892928 12401 33554432000 4194304 4196468 140723830983184 139758428711024 139759368432258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6290] ppid=6275 vsize=26000872 memory=280404456318608 CPUtime=0 cores=0-7
/proc/6278/task/6290/stat : 6290 (java) S 6275 6278 3410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176937875 26624892928 12401 33554432000 4194304 4196468 140723830983184 139758427656992 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6291] ppid=6275 vsize=26000872 memory=280404456325520 CPUtime=0 cores=0-7
/proc/6278/task/6291/stat : 6291 (java) S 6275 6278 3410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176937875 26624892928 12401 33554432000 4194304 4196468 140723830983184 139758426604656 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6292] ppid=6275 vsize=26000872 memory=280404456266800 CPUtime=0 cores=0-7
/proc/6278/task/6292/stat : 6292 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937878 26624892928 12401 33554432000 4194304 4196468 140723830983184 139758425552976 139759368439707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6293] ppid=6275 vsize=26000872 memory=280404456339344 CPUtime=0.03 cores=0-7
/proc/6278/task/6293/stat : 6293 (java) S 6275 6278 3410 0 -1 1077944384 484 0 0 0 3 0 0 0 20 0 20 0 176937878 26624892928 12401 33554432000 4194304 4196468 140723830983184 139758424500848 139759368432258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6294] ppid=6275 vsize=26000872 memory=280404456346256 CPUtime=0.03 cores=0-7
/proc/6278/task/6294/stat : 6294 (java) S 6275 6278 3410 0 -1 1077944384 219 0 0 0 3 0 0 0 20 0 20 0 176937878 26624892928 12401 33554432000 4194304 4196468 140723830983184 139758423448048 139759368432258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6295] ppid=6275 vsize=26000872 memory=280404456343952 CPUtime=0.02 cores=0-7
/proc/6278/task/6295/stat : 6295 (java) S 6275 6278 3410 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 20 0 176937878 26624892928 12401 33554432000 4194304 4196468 140723830983184 139758422395760 139759368432258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6296] ppid=6275 vsize=26000872 memory=280404456360560 CPUtime=0.08 cores=0-7
/proc/6278/task/6296/stat : 6296 (java) S 6275 6278 3410 0 -1 1077944384 530 0 0 0 8 0 0 0 20 0 20 0 176937878 26624892928 12401 33554432000 4194304 4196468 140723830983184 139758421342960 139759368432258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6297] ppid=6275 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6297/stat : 6297 (java) S 6275 6278 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176937878 26624892928 12401 33554432000 4194304 4196468 140723830983184 139758420289888 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6298] ppid=6275 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/6278/task/6298/stat : 6298 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937878 26624892928 12401 33554432000 4194304 4196468 140723830983184 139758419237168 139759368432258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49604 KiB

[startup+0.700935 s]
/proc/loadavg: 8.02 8.62 8.48 6/199 6298
/proc/meminfo: memFree=23635368/32770624 swapFree=67108860/67108860
[pid=6278] ppid=6275 vsize=26002920 memory=85404 CPUtime=1.41 cores=0-7
/proc/6278/stat : 6278 (java) S 6275 6278 3410 0 -1 1077944320 12945 0 0 0 136 5 0 0 20 0 20 0 176937872 26626990080 21351 33554432000 4194304 4196468 140723830983184 140723830965728 139759368421111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
/proc/6278/statm: 6500730 21351 3785 1 0 6488444 0
[pid=6278/tid=6280] ppid=6275 vsize=26002920 memory=0 CPUtime=0.68 cores=0-7
/proc/6278/task/6280/stat : 6280 (java) R 6275 6278 3410 0 -1 4202560 8686 0 0 0 65 3 0 0 20 0 20 0 176937872 26626990080 21351 33554432000 4194304 4196468 140723830983184 139759372655504 139759368433046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6281] ppid=6275 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6281/stat : 6281 (java) S 6275 6278 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176937873 26626990080 21351 33554432000 4194304 4196468 140723830983184 139759321041296 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6282] ppid=6275 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6282/stat : 6282 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937873 26626990080 21351 33554432000 4194304 4196468 140723830983184 139759319988496 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6283] ppid=6275 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/6278/task/6283/stat : 6283 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937873 26626990080 21351 33554432000 4194304 4196468 140723830983184 139759318936208 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6284] ppid=6275 vsize=26002920 memory=792 CPUtime=0 cores=0-7
/proc/6278/task/6284/stat : 6284 (java) S 6275 6278 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176937873 26626990080 21351 33554432000 4194304 4196468 140723830983184 139759317883408 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6285] ppid=6275 vsize=26002920 memory=948 CPUtime=0 cores=0-7
/proc/6278/task/6285/stat : 6285 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937873 26626990080 21351 33554432000 4194304 4196468 140723830983184 139759316831120 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6286] ppid=6275 vsize=26002920 memory=10768 CPUtime=0 cores=0-7
/proc/6278/task/6286/stat : 6286 (java) S 6275 6278 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176937873 26626990080 21351 33554432000 4194304 4196468 140723830983184 139759315778320 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6287] ppid=6275 vsize=26002920 memory=1204 CPUtime=0 cores=0-7
/proc/6278/task/6287/stat : 6287 (java) S 6275 6278 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176937873 26626990080 21351 33554432000 4194304 4196468 140723830983184 139759314726032 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6288] ppid=6275 vsize=26002920 memory=15828 CPUtime=0 cores=0-7
/proc/6278/task/6288/stat : 6288 (java) S 6275 6278 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176937873 26626990080 21351 33554432000 4194304 4196468 140723830983184 139759313673232 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6289] ppid=6275 vsize=26002920 memory=15796 CPUtime=0 cores=0-7
/proc/6278/task/6289/stat : 6289 (java) S 6275 6278 3410 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176937875 26626990080 21351 33554432000 4194304 4196468 140723830983184 139758428711024 139759368432258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0

################
# More data... #
################

/proc/6278/task/6301/stat : 6301 (java) R 6275 6278 3410 0 -1 4202560 11392 0 0 0 24282 32 0 0 20 0 46 0 176938218 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758402641032 139758995521123 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6302] ppid=6275 vsize=27743860 memory=932 CPUtime=241.94 cores=0-7
/proc/6278/task/6302/stat : 6302 (java) R 6275 6278 3410 0 -1 4202560 10715 0 0 0 24162 32 0 0 20 0 46 0 176938219 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758401588792 139758997939937 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6303] ppid=6275 vsize=27743860 memory=8303054830060986464 CPUtime=0.19 cores=0-7
/proc/6278/task/6303/stat : 6303 (java) S 6275 6278 3410 0 -1 1077944384 129 0 0 0 19 0 0 0 20 0 46 0 176938219 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758400542480 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6304] ppid=6275 vsize=27743860 memory=8099531882097108048 CPUtime=243.51 cores=0-7
/proc/6278/task/6304/stat : 6304 (java) R 6275 6278 3410 0 -1 4202560 13623 0 0 0 24317 34 0 0 20 0 46 0 176938219 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758399483704 139758995903060 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6305] ppid=6275 vsize=27743860 memory=4580 CPUtime=243.79 cores=0-7
/proc/6278/task/6305/stat : 6305 (java) R 6275 6278 3410 0 -1 4202560 14419 0 0 0 24333 46 0 0 20 0 46 0 176938219 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758398430392 139758992487448 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6306] ppid=6275 vsize=27743860 memory=1396 CPUtime=243.28 cores=0-7
/proc/6278/task/6306/stat : 6306 (java) R 6275 6278 3410 0 -1 4202560 12044 0 0 0 24300 28 0 0 20 0 46 0 176938219 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758397377592 139758995450329 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6307] ppid=6275 vsize=27743860 memory=13160 CPUtime=0.2 cores=0-7
/proc/6278/task/6307/stat : 6307 (java) S 6275 6278 3410 0 -1 1077944384 109 0 0 0 20 0 0 0 20 0 46 0 176938222 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758396331280 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6308] ppid=6275 vsize=27743860 memory=8044396 CPUtime=241.1 cores=0-7
/proc/6278/task/6308/stat : 6308 (java) R 6275 6278 3410 0 -1 4202560 11640 0 0 0 24080 30 0 0 20 0 46 0 176938222 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758395271800 139758997168116 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6309] ppid=6275 vsize=27743860 memory=792 CPUtime=243.79 cores=0-7
/proc/6278/task/6309/stat : 6309 (java) R 6275 6278 3410 0 -1 4202560 13036 0 0 0 24345 34 0 0 20 0 46 0 176938222 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758394219208 139758992488325 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6310] ppid=6275 vsize=27743860 memory=948 CPUtime=0 cores=0-7
/proc/6278/task/6310/stat : 6310 (java) S 6275 6278 3410 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 46 0 176938222 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758393173264 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6311] ppid=6275 vsize=27743860 memory=10768 CPUtime=242.79 cores=0-7
/proc/6278/task/6311/stat : 6311 (java) R 6275 6278 3410 0 -1 4202560 14796 0 0 0 24243 36 0 0 20 0 46 0 176938222 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758392117168 139758996932866 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6312] ppid=6275 vsize=27743860 memory=280404458323664 CPUtime=0.01 cores=0-7
/proc/6278/task/6312/stat : 6312 (java) S 6275 6278 3410 0 -1 1077944384 218 0 0 0 0 1 0 0 20 0 46 0 176938381 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758388934288 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6313] ppid=6275 vsize=27743860 memory=1156 CPUtime=0.01 cores=0-7
/proc/6278/task/6313/stat : 6313 (java) S 6275 6278 3410 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 46 0 176938384 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758387880848 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6314] ppid=6275 vsize=27743860 memory=16052 CPUtime=0.01 cores=0-7
/proc/6278/task/6314/stat : 6314 (java) S 6275 6278 3410 0 -1 1077944384 240 0 0 0 1 0 0 0 20 0 46 0 176938384 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758386828176 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6315] ppid=6275 vsize=27743860 memory=8056788 CPUtime=0.01 cores=0-7
/proc/6278/task/6315/stat : 6315 (java) S 6275 6278 3410 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 46 0 176938385 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758385775888 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6316] ppid=6275 vsize=27743860 memory=8056788 CPUtime=0 cores=0-7
/proc/6278/task/6316/stat : 6316 (java) S 6275 6278 3410 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 46 0 176938385 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758384723088 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6317] ppid=6275 vsize=27743860 memory=8058836 CPUtime=0.01 cores=0-7
/proc/6278/task/6317/stat : 6317 (java) S 6275 6278 3410 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 46 0 176938386 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758383670800 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6318] ppid=6275 vsize=27743860 memory=8056788 CPUtime=0.01 cores=0-7
/proc/6278/task/6318/stat : 6318 (java) S 6275 6278 3410 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 46 0 176938388 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758382617872 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6319] ppid=6275 vsize=27743860 memory=8058836 CPUtime=0.01 cores=0-7
/proc/6278/task/6319/stat : 6319 (java) S 6275 6278 3410 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 46 0 176938390 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758381565712 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6320] ppid=6275 vsize=27743860 memory=8058836 CPUtime=0 cores=0-7
/proc/6278/task/6320/stat : 6320 (java) S 6275 6278 3410 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 176938391 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758380512704 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6321] ppid=6275 vsize=27743860 memory=8058836 CPUtime=0.01 cores=0-7
/proc/6278/task/6321/stat : 6321 (java) S 6275 6278 3410 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 46 0 176938397 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758379459472 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6322] ppid=6275 vsize=27743860 memory=8056788 CPUtime=0.01 cores=0-7
/proc/6278/task/6322/stat : 6322 (java) S 6275 6278 3410 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 46 0 176938398 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758378406592 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6323] ppid=6275 vsize=27743860 memory=288230574492221466 CPUtime=0.01 cores=0-7
/proc/6278/task/6323/stat : 6323 (java) S 6275 6278 3410 0 -1 1077944384 390 0 0 0 1 0 0 0 20 0 46 0 176938399 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758377354512 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6324] ppid=6275 vsize=27743860 memory=288230596050944315 CPUtime=0.01 cores=0-7
/proc/6278/task/6324/stat : 6324 (java) S 6275 6278 3410 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 46 0 176938401 28409712640 2014709 33554432000 4194304 4196468 140723830983184 139758376301712 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
Current children cumulated CPU time: 1986.7 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 8058836 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+252.183 s]
# the end of solver process 6278 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1980.55 s, system=7.18601 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+252.121 s]*
/proc/loadavg: 9.15 8.89 8.62 13/224 6326
/proc/meminfo: memFree=15624944/32770624 swapFree=67108860/67108860
[pid=6278] ppid=6275 vsize=27876988 memory=8059016 CPUtime=1987.68 cores=0-7
/proc/6278/stat : 6278 (java) S 6275 6278 3410 0 -1 1077944320 233551 0 0 0 198054 714 0 0 20 0 45 0 176937872 28546035712 2014754 33554432000 4194304 4196468 140723830983184 140723830965728 139759368421111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
/proc/6278/statm: 6969247 2014754 3861 1 0 6956440 0
[pid=6278/tid=6280] ppid=6275 vsize=27876988 memory=6791534058613427641 CPUtime=3.35 cores=0-7
/proc/6278/task/6280/stat : 6280 (java) S 6275 6278 3410 0 -1 1077944384 14357 0 0 0 326 9 0 0 20 0 45 0 176937872 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139759372658816 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6281] ppid=6275 vsize=27876988 memory=4126316290023845779 CPUtime=3.4 cores=0-7
/proc/6278/task/6281/stat : 6281 (java) S 6275 6278 3410 0 -1 1077944384 5690 0 0 0 289 51 0 0 20 0 45 0 176937873 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139759321041296 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6282] ppid=6275 vsize=27876988 memory=8112282956445269571 CPUtime=3.4 cores=0-7
/proc/6278/task/6282/stat : 6282 (java) S 6275 6278 3410 0 -1 1077944384 7502 0 0 0 289 51 0 0 20 0 45 0 176937873 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139759319988496 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6283] ppid=6275 vsize=27876988 memory=4140 CPUtime=3.37 cores=0-7
/proc/6278/task/6283/stat : 6283 (java) S 6275 6278 3410 0 -1 1077944384 5910 0 0 0 287 50 0 0 20 0 45 0 176937873 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139759318936208 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6284] ppid=6275 vsize=27876988 memory=48876 CPUtime=3.39 cores=0-7
/proc/6278/task/6284/stat : 6284 (java) S 6275 6278 3410 0 -1 1077944384 6273 0 0 0 289 50 0 0 20 0 45 0 176937873 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139759317883408 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6285] ppid=6275 vsize=27876988 memory=8056788 CPUtime=3.41 cores=0-7
/proc/6278/task/6285/stat : 6285 (java) S 6275 6278 3410 0 -1 1077944384 5860 0 0 0 290 51 0 0 20 0 45 0 176937873 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139759316831120 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6286] ppid=6275 vsize=27876988 memory=2428 CPUtime=3.4 cores=0-7
/proc/6278/task/6286/stat : 6286 (java) S 6275 6278 3410 0 -1 1077944384 4253 0 0 0 289 51 0 0 20 0 45 0 176937873 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139759315778320 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6287] ppid=6275 vsize=27876988 memory=1844 CPUtime=3.41 cores=0-7
/proc/6278/task/6287/stat : 6287 (java) S 6275 6278 3410 0 -1 1077944384 5640 0 0 0 290 51 0 0 20 0 45 0 176937873 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139759314726032 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6288] ppid=6275 vsize=27876988 memory=8056788 CPUtime=3.42 cores=0-7
/proc/6278/task/6288/stat : 6288 (java) S 6275 6278 3410 0 -1 1077944384 4441 0 0 0 291 51 0 0 20 0 45 0 176937873 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139759313673232 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6289] ppid=6275 vsize=27876988 memory=8056788 CPUtime=0.31 cores=0-7
/proc/6278/task/6289/stat : 6289 (java) S 6275 6278 3410 0 -1 1077944384 11344 0 0 0 29 2 0 0 20 0 45 0 176937875 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758428710528 139759368432258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6290] ppid=6275 vsize=27876988 memory=8056788 CPUtime=0 cores=0-7
/proc/6278/task/6290/stat : 6290 (java) S 6275 6278 3410 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 45 0 176937875 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758427657056 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6291] ppid=6275 vsize=27876988 memory=5424 CPUtime=0 cores=0-7
/proc/6278/task/6291/stat : 6291 (java) S 6275 6278 3410 0 -1 1077944384 90 0 0 0 0 0 0 0 20 0 45 0 176937875 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758426604672 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6293] ppid=6275 vsize=27876988 memory=932 CPUtime=3.27 cores=0-7
/proc/6278/task/6293/stat : 6293 (java) S 6275 6278 3410 0 -1 1077944384 11874 0 0 0 324 3 0 0 20 0 45 0 176937878 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758424500848 139759368432258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6294] ppid=6275 vsize=27876988 memory=2236 CPUtime=3.42 cores=0-7
/proc/6278/task/6294/stat : 6294 (java) S 6275 6278 3410 0 -1 1077944384 12443 0 0 0 338 4 0 0 20 0 45 0 176937878 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758423448048 139759368432258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6295] ppid=6275 vsize=27876988 memory=4124 CPUtime=3.16 cores=0-7
/proc/6278/task/6295/stat : 6295 (java) S 6275 6278 3410 0 -1 1077944384 13236 0 0 0 313 3 0 0 20 0 45 0 176937878 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758422380304 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6296] ppid=6275 vsize=27876988 memory=2200 CPUtime=1.05 cores=0-7
/proc/6278/task/6296/stat : 6296 (java) S 6275 6278 3410 0 -1 1077944384 15187 0 0 0 101 4 0 0 20 0 45 0 176937878 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758421338832 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6297] ppid=6275 vsize=27876988 memory=7528 CPUtime=0 cores=0-7
/proc/6278/task/6297/stat : 6297 (java) S 6275 6278 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 176937878 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758420289888 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6299] ppid=6275 vsize=27876988 memory=840 CPUtime=0.01 cores=0-7
/proc/6278/task/6299/stat : 6299 (java) S 6275 6278 3410 0 -1 1077944384 639 0 0 0 1 0 0 0 20 0 45 0 176938196 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758408946592 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6300] ppid=6275 vsize=27876988 memory=1696 CPUtime=0.68 cores=0-7
/proc/6278/task/6300/stat : 6300 (java) S 6275 6278 3410 0 -1 1077944384 1915 0 0 0 22 46 0 0 20 0 45 0 176938209 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758405796784 139759368432258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6301] ppid=6275 vsize=27876988 memory=920 CPUtime=243.26 cores=0-7
/proc/6278/task/6301/stat : 6301 (java) S 6275 6278 3410 0 -1 1077944384 11396 0 0 0 24294 32 0 0 20 0 45 0 176938218 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758402640896 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6302] ppid=6275 vsize=27876988 memory=4252 CPUtime=242.04 cores=0-7
/proc/6278/task/6302/stat : 6302 (java) S 6275 6278 3410 0 -1 1077944384 10718 0 0 0 24172 32 0 0 20 0 45 0 176938219 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758401588096 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6303] ppid=6275 vsize=27876988 memory=4108 CPUtime=0.19 cores=0-7
/proc/6278/task/6303/stat : 6303 (java) S 6275 6278 3410 0 -1 1077944384 129 0 0 0 19 0 0 0 20 0 45 0 176938219 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758400542480 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6304] ppid=6275 vsize=27876988 memory=1156 CPUtime=243.62 cores=0-7
/proc/6278/task/6304/stat : 6304 (java) S 6275 6278 3410 0 -1 1077944384 13629 0 0 0 24328 34 0 0 20 0 45 0 176938219 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758399482864 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6305] ppid=6275 vsize=27876988 memory=4336 CPUtime=243.91 cores=0-7
/proc/6278/task/6305/stat : 6305 (java) S 6275 6278 3410 0 -1 1077944384 14426 0 0 0 24345 46 0 0 20 0 45 0 176938219 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758398430224 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6306] ppid=6275 vsize=27876988 memory=8054740 CPUtime=243.4 cores=0-7
/proc/6278/task/6306/stat : 6306 (java) S 6275 6278 3410 0 -1 1077944384 12052 0 0 0 24312 28 0 0 20 0 45 0 176938219 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758397377424 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6307] ppid=6275 vsize=27876988 memory=640 CPUtime=0.2 cores=0-7
/proc/6278/task/6307/stat : 6307 (java) S 6275 6278 3410 0 -1 1077944384 109 0 0 0 20 0 0 0 20 0 45 0 176938222 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758396331280 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6308] ppid=6275 vsize=27876988 memory=8112282956445269571 CPUtime=241.21 cores=0-7
/proc/6278/task/6308/stat : 6308 (java) S 6275 6278 3410 0 -1 1077944384 11645 0 0 0 24091 30 0 0 20 0 45 0 176938222 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758395272336 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6309] ppid=6275 vsize=27876988 memory=1232 CPUtime=243.91 cores=0-7
/proc/6278/task/6309/stat : 6309 (java) S 6275 6278 3410 0 -1 1077944384 13043 0 0 0 24357 34 0 0 20 0 45 0 176938222 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758394219840 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6310] ppid=6275 vsize=27876988 memory=1792 CPUtime=0 cores=0-7
/proc/6278/task/6310/stat : 6310 (java) S 6275 6278 3410 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 45 0 176938222 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758393173264 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6311] ppid=6275 vsize=27876988 memory=640 CPUtime=242.92 cores=0-7
/proc/6278/task/6311/stat : 6311 (java) S 6275 6278 3410 0 -1 1077944384 14802 0 0 0 24256 36 0 0 20 0 45 0 176938222 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758392114752 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6312] ppid=6275 vsize=27876988 memory=956 CPUtime=0.01 cores=0-7
/proc/6278/task/6312/stat : 6312 (java) S 6275 6278 3410 0 -1 1077944384 218 0 0 0 0 1 0 0 20 0 45 0 176938381 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758388934288 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6313] ppid=6275 vsize=27876988 memory=2468 CPUtime=0.01 cores=0-7
/proc/6278/task/6313/stat : 6313 (java) S 6275 6278 3410 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 45 0 176938384 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758387880848 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6314] ppid=6275 vsize=27876988 memory=1576 CPUtime=0.01 cores=0-7
/proc/6278/task/6314/stat : 6314 (java) S 6275 6278 3410 0 -1 1077944384 240 0 0 0 1 0 0 0 20 0 45 0 176938384 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758386828176 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6315] ppid=6275 vsize=27876988 memory=280404456440128 CPUtime=0.01 cores=0-7
/proc/6278/task/6315/stat : 6315 (java) S 6275 6278 3410 0 -1 1077944384 205 0 0 0 1 0 0 0 20 0 45 0 176938385 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758385775888 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6316] ppid=6275 vsize=27876988 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/6278/task/6316/stat : 6316 (java) S 6275 6278 3410 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 45 0 176938385 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758384723088 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6317] ppid=6275 vsize=27876988 memory=-8961168018402230209 CPUtime=0.01 cores=0-7
/proc/6278/task/6317/stat : 6317 (java) S 6275 6278 3410 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 45 0 176938386 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758383670800 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6318] ppid=6275 vsize=27876988 memory=-8253362762722141311 CPUtime=0.01 cores=0-7
/proc/6278/task/6318/stat : 6318 (java) S 6275 6278 3410 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 45 0 176938388 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758382617872 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6319] ppid=6275 vsize=27876988 memory=7100839861465685612 CPUtime=0.01 cores=0-7
/proc/6278/task/6319/stat : 6319 (java) S 6275 6278 3410 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 45 0 176938390 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758381565712 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6320] ppid=6275 vsize=27876988 memory=840 CPUtime=0 cores=0-7
/proc/6278/task/6320/stat : 6320 (java) S 6275 6278 3410 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 45 0 176938391 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758380512704 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6321] ppid=6275 vsize=27876988 memory=1696 CPUtime=0.01 cores=0-7
/proc/6278/task/6321/stat : 6321 (java) S 6275 6278 3410 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 45 0 176938397 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758379459472 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6322] ppid=6275 vsize=27876988 memory=920 CPUtime=0.01 cores=0-7
/proc/6278/task/6322/stat : 6322 (java) S 6275 6278 3410 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 45 0 176938398 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758378406592 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6323] ppid=6275 vsize=27876988 memory=8112282956445269571 CPUtime=0.01 cores=0-7
/proc/6278/task/6323/stat : 6323 (java) S 6275 6278 3410 0 -1 1077944384 390 0 0 0 1 0 0 0 20 0 45 0 176938399 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758377354512 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6324] ppid=6275 vsize=27876988 memory=2200 CPUtime=0.01 cores=0-7
/proc/6278/task/6324/stat : 6324 (java) S 6275 6278 3410 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 45 0 176938401 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758376301712 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
[pid=6278/tid=6325] ppid=6275 vsize=27876988 memory=7528 CPUtime=0 cores=0-7
/proc/6278/task/6325/stat : 6325 (java) S 6275 6278 3410 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 45 0 176963075 28546035712 2014754 33554432000 4194304 4196468 140723830983184 139758375248496 139759368431317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36057088 140723830985831 140723830986016 140723830986016 140723830988751 0
Current children cumulated CPU time: 1987.68 s
Current children cumulated vsize: 27876988 KiB
Current children cumulated memory: 8059016 KiB

Child status: 143
Real time (s): 252.183
CPU time (s): 1987.74
CPU user time (s): 1980.55
CPU system time (s): 7.18601
CPU usage (%): 788.213
Max. virtual memory (cumulated for all children) (KiB): 27876988
Max. memory (cumulated for all children) (KiB): 8059016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1980.55
system time used= 7.18601
maximum resident set size= 8060060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233586
page faults= 0
swaps= 0
block input operations= 0
block output operations= 488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40031
involuntary context switches= 43072


# summary of solver processes directly reported to runsolver:
#   pid: 6278
#   total CPU time (s): 1987.74
#   total CPU user time (s): 1980.55
#   total CPU system time (s): 7.18601

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.68456 second user time and 3.61357 second system time

The end

Launcher Data 

Begin job on node114 at 2017-08-22 23:34:02
IDJOB=4285840
IDBENCH=122943
IDSOLVER=2682
FILE ID=node114/4285840-1503438503
RUNJOBID= node114-1503426029-3437
PBS_JOBID= 20632138
Free space on /tmp= 61024 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-12-350-100.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285840-1503438503/watcher-4285840-1503438503 -o /tmp/evaluation-result-4285840-1503438503/solver-4285840-1503438503 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503426029-3437 --watchdog 312  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1272197751 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4285840-1503438503.xml

TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 498e8e69e2f573dee371e4fc9819ce0a
RANDOM SEED=1272197751

node114.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	: 5332.98
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	: 5332.98
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	: 5332.98
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	: 5332.98
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:        23685120 kB
MemAvailable:   31945880 kB
Buffers:          176596 kB
Cached:          8364964 kB
SwapCached:            0 kB
Active:          2656464 kB
Inactive:        5939884 kB
Active(anon):       3208 kB
Inactive(anon):    95628 kB
Active(file):    2653256 kB
Inactive(file):  5844256 kB
Unevictable:        7248 kB
Mlocked:            7248 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42020 kB
Writeback:            36 kB
AnonPages:         61500 kB
Mapped:            54312 kB
Shmem:             41608 kB
Slab:             184712 kB
SReclaimable:     158164 kB
SUnreclaim:        26548 kB
KernelStack:        3200 kB
PageTables:         4900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     340616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 60980 MiB
End job on node114 at 2017-08-22 23:38:14