Trace number 4257083

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-07-26SAT (TO)94 1921.13 244.132

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.30/0.43	c version: 2017-07-26
0.30/0.43	c seed: 1954708389
0.30/0.44	c timeout: 1920
0.30/0.44	c memlimit: 22000
0.30/0.44	c nbcore: 8
0.30/0.46	c Parsing instance...
1.18/0.89	c Parsing done, starting search...
18.87/5.36	o 350
18.87/5.38	o 349
18.87/5.40	o 348
19.67/5.42	o 347
19.67/5.42	o 346
19.67/5.43	o 345
19.67/5.44	o 344
19.67/5.44	o 343
19.67/5.46	o 342
19.67/5.46	o 341
19.67/5.47	o 340
19.67/5.47	o 339
19.67/5.48	o 338
19.67/5.48	o 337
19.67/5.49	o 336
19.67/5.49	o 335
20.45/5.53	o 334
20.45/5.54	o 333
20.45/5.54	o 332
20.45/5.55	o 331
20.45/5.55	o 330
20.45/5.55	o 329
20.45/5.56	o 328
20.45/5.57	o 327
20.45/5.57	o 326
20.45/5.57	o 325
20.45/5.58	o 324
20.45/5.58	o 323
20.45/5.60	o 322
21.19/5.61	o 321
21.19/5.61	o 320
26.17/6.44	o 319
26.17/6.44	o 318
26.17/6.45	o 317
26.17/6.45	o 316
26.17/6.45	o 315
26.17/6.47	o 314
26.17/6.47	o 313
26.17/6.50	o 312
26.17/6.50	o 311
26.17/6.50	o 310
26.17/6.50	o 309
26.17/6.50	o 308
26.80/6.52	o 307
26.80/6.52	o 306
26.80/6.53	o 305
26.80/6.53	o 304
26.80/6.53	o 303
26.80/6.55	o 302
26.80/6.55	o 301
26.80/6.55	o 300
26.80/6.56	o 299
26.80/6.56	o 298
26.80/6.56	o 297
26.80/6.57	o 296
26.80/6.57	o 295
26.80/6.57	o 294
26.80/6.57	o 293
26.80/6.58	o 292
26.80/6.60	o 291
27.60/6.62	o 290
27.60/6.62	o 289
27.60/6.62	o 288
27.60/6.62	o 287
27.60/6.63	o 286
27.60/6.63	o 285
27.60/6.63	o 284
27.60/6.64	o 283
27.60/6.64	o 282
27.60/6.64	o 281
27.60/6.64	o 280
27.60/6.65	o 279
27.60/6.65	o 278
27.60/6.66	o 277
27.60/6.66	o 276
27.60/6.66	o 275
27.60/6.67	o 274
27.60/6.67	o 273
27.60/6.67	o 272
27.60/6.67	o 271
27.60/6.68	o 270
27.60/6.68	o 269
27.60/6.68	o 268
27.60/6.69	o 267
27.60/6.69	o 266
27.60/6.69	o 265
27.60/6.70	o 264
27.60/6.70	o 263
27.60/6.70	o 262
27.60/6.70	o 261
28.46/6.71	o 260
28.46/6.71	o 259
28.46/6.71	o 258
28.46/6.73	o 257
28.46/6.73	o 256
28.46/6.73	o 255
28.46/6.73	o 254
28.46/6.73	o 253
28.46/6.73	o 252
28.46/6.74	o 251
28.46/6.74	o 250
28.46/6.74	o 249
28.46/6.74	o 248
28.46/6.74	o 247
28.46/6.75	o 246
28.46/6.75	o 245
28.46/6.76	o 244
28.46/6.76	o 243
28.46/6.76	o 242
28.46/6.76	o 241
28.46/6.76	o 240
28.46/6.77	o 239
28.46/6.77	o 238
28.46/6.77	o 237
28.46/6.78	o 236
28.46/6.79	o 235
28.46/6.79	o 234
28.46/6.79	o 233
28.46/6.79	o 232
28.46/6.79	o 231
28.46/6.80	o 230
28.46/6.80	o 229
28.46/6.80	o 228
28.46/6.80	o 227
29.23/6.81	o 226
29.23/6.81	o 225
29.23/6.81	o 224
29.23/6.81	o 223
29.23/6.82	o 222
29.23/6.82	o 221
29.23/6.82	o 220
29.23/6.83	o 219
29.23/6.83	o 218
29.23/6.83	o 217
29.23/6.85	o 216
29.23/6.85	o 215
29.23/6.85	o 214
29.23/6.85	o 213
29.23/6.86	o 212
29.23/6.86	o 211
29.23/6.86	o 210
29.23/6.87	o 209
29.23/6.87	o 208
29.23/6.87	o 207
29.23/6.87	o 206
29.23/6.88	o 205
29.23/6.88	o 204
29.23/6.88	o 203
29.23/6.88	o 202
29.23/6.88	o 201
29.23/6.90	o 200
29.23/6.90	o 199
29.23/6.90	o 198
29.23/6.90	o 197
29.95/6.91	o 196
29.95/6.91	o 195
29.95/6.92	o 194
29.95/6.92	o 193
29.95/6.92	o 192
29.95/6.92	o 191
29.95/6.92	o 190
29.95/6.93	o 189
29.95/6.93	o 188
29.95/6.93	o 187
29.95/6.93	o 186
29.95/6.93	o 185
29.95/6.95	o 184
29.95/6.95	o 183
29.95/6.95	o 182
29.95/6.95	o 181
29.95/6.96	o 180
29.95/6.96	o 179
29.95/6.96	o 178
29.95/6.96	o 177
29.95/6.97	o 176
29.95/6.97	o 175
29.95/6.97	o 174
29.95/6.97	o 173
29.95/6.98	o 172
29.95/6.98	o 171
29.95/6.98	o 170
29.95/6.98	o 169
29.95/6.98	o 168
29.95/6.98	o 167
29.95/7.00	o 166
29.95/7.00	o 165
29.95/7.00	o 164
30.75/7.01	o 163
30.75/7.01	o 162
30.75/7.01	o 161
30.75/7.01	o 160
30.75/7.02	o 159
30.75/7.02	o 158
30.75/7.02	o 157
30.75/7.02	o 156
30.75/7.03	o 155
30.75/7.03	o 154
30.75/7.03	o 153
30.75/7.03	o 152
30.75/7.03	o 151
30.75/7.03	o 150
30.75/7.05	o 149
30.75/7.05	o 148
30.75/7.05	o 147
30.75/7.05	o 146
30.75/7.06	o 145
30.75/7.06	o 144
30.75/7.06	o 143
30.75/7.06	o 142
30.75/7.07	o 141
30.75/7.07	o 140
30.75/7.07	o 139
30.75/7.07	o 138
30.75/7.08	o 137
30.75/7.08	o 136
30.75/7.08	o 135
30.75/7.08	o 134
30.75/7.08	o 133
30.75/7.08	o 132
30.75/7.08	o 131
30.75/7.10	o 130
30.75/7.10	o 129
30.75/7.10	o 128
30.75/7.10	o 127
31.57/7.11	o 126
31.57/7.11	o 125
31.57/7.11	o 124
31.57/7.11	o 123
31.57/7.11	o 122
31.57/7.11	o 121
31.57/7.12	o 120
31.57/7.12	o 119
31.57/7.12	o 118
31.57/7.12	o 117
31.57/7.13	o 116
31.57/7.13	o 115
31.57/7.13	o 114
31.57/7.13	o 113
31.57/7.14	o 112
31.57/7.14	o 111
31.57/7.14	o 110
31.57/7.15	o 109
31.57/7.15	o 108
31.57/7.15	o 107
31.57/7.15	o 106
31.57/7.17	o 105
31.57/7.17	o 104
31.57/7.17	o 103
31.57/7.17	o 102
31.57/7.18	o 101
31.57/7.18	o 100
56.94/10.32	o 99
64.11/11.24	o 98
978.50/125.92	o 97
1049.47/134.81	o 96
1373.29/175.44	o 95
1659.67/211.37	o 94
1920.37/244.06	s SATISFIABLE
1920.37/244.08	v <instantiation>
1920.37/244.08	v 	<list>
1920.37/244.08	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]
1920.37/244.08	v 	</list>
1920.37/244.08	v 	<values>
1920.37/244.08	v 		94 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 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 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 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 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 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 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 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 1 1 1 1 1 1 1 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 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 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 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 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 0 0 0 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 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 0 0 0 0 0 0 0 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 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 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 1 0 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 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 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 1 1 1 1 0 0 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 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 1 1 1 1 1 1 1 1 1 1 1 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 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 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 1 1 1 1 1 1 1 
1920.37/244.08	v 	</values>
1920.37/244.08	v </instantiation>

Verifier Data 

OK	94

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257083-1501681201/watcher-4257083-1501681201 -o /tmp/evaluation-result-4257083-1501681201/solver-4257083-1501681201 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501676595-1714 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1954708389 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257083-1501681201.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 9.13 7.25 7.29 3/177 10194
/proc/meminfo: memFree=31663172/32770624 swapFree=0/276964
[pid=10194] ppid=10191 vsize=23672 CPUtime=0 cores=0-7
/proc/10194/stat : 10194 (runsolver) D 10191 10194 1658 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10030759 24240128 107 18446744073709551615 4194304 4338465 140735077836176 140735077833816 139918349652695 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 37134336 140735077843044 140735077843523 140735077843523 140735077846986 0
/proc/10194/statm: 5918 107 54 36 0 2156 0

[startup+0.100156 s]
/proc/loadavg: 9.13 7.25 7.29 3/177 10194
/proc/meminfo: memFree=31663172/32770624 swapFree=0/276964
[pid=10194] ppid=10191 vsize=23672 CPUtime=0 cores=0-7
/proc/10194/stat : 10194 (runsolver) D 10191 10194 1658 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10030759 24240128 107 18446744073709551615 4194304 4338465 140735077836176 140735077833816 139918349652695 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 37134336 140735077843044 140735077843523 140735077843523 140735077846986 0
/proc/10194/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200235 s]
/proc/loadavg: 9.13 7.25 7.29 3/177 10194
/proc/meminfo: memFree=31663172/32770624 swapFree=0/276964
[pid=10194] ppid=10191 vsize=25927168 CPUtime=0.06 cores=0-7
/proc/10194/stat : 10194 (java) S 10191 10194 1658 0 -1 1077944320 5153 0 0 0 5 1 0 0 20 0 19 0 10030759 26549420032 5666 18446744073709551615 4194304 4196468 140729204175712 140729204158256 140283466022647 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 11 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
/proc/10194/statm: 6481792 5666 2556 1 0 6471297 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25927168

[startup+0.301692 s]
/proc/loadavg: 9.13 7.25 7.29 3/177 10194
/proc/meminfo: memFree=31663172/32770624 swapFree=0/276964
[pid=10194] ppid=10191 vsize=25996604 CPUtime=0.14 cores=0-7
/proc/10194/stat : 10194 (java) S 10191 10194 1658 0 -1 1077944320 9953 0 0 0 12 2 0 0 20 0 20 0 10030759 26620522496 8329 18446744073709551615 4194304 4196468 140729204175712 140729204158256 140283466022647 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 11 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
/proc/10194/statm: 6499151 8329 3432 1 0 6487938 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 25996604

[startup+0.700253 s]
/proc/loadavg: 9.13 7.25 7.29 3/177 10194
/proc/meminfo: memFree=31663172/32770624 swapFree=0/276964
[pid=10194] ppid=10191 vsize=25998672 CPUtime=0.9 cores=0-7
/proc/10194/stat : 10194 (java) S 10191 10194 1658 0 -1 1077944320 13877 0 0 0 85 5 0 0 20 0 20 0 10030759 26622640128 16601 18446744073709551615 4194304 4196468 140729204175712 140729204158256 140283466022647 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 11 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
/proc/10194/statm: 6499668 16601 3715 1 0 6488450 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 25998672

[startup+1.50082 s]
/proc/loadavg: 9.13 7.25 7.29 5/197 10214
/proc/meminfo: memFree=31563972/32770624 swapFree=0/276992
[pid=10194] ppid=10191 vsize=26002768 CPUtime=3.65 cores=0-7
/proc/10194/stat : 10194 (java) S 10191 10194 1658 0 -1 1077944320 30589 0 0 0 345 20 0 0 20 0 20 0 10030759 26626834432 63512 18446744073709551615 4194304 4196468 140729204175712 140729204158256 140283466022647 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 11 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
/proc/10194/statm: 6500692 63512 3778 1 0 6489474 0
[pid=10194/tid=10196] ppid=10191 vsize=26002768 CPUtime=1.26 cores=0-7
/proc/10194/task/10196/stat : 10196 (java) R 10191 10194 1658 0 -1 4202560 14410 0 0 0 118 8 0 0 20 0 20 0 10030770 26626834432 63512 18446744073709551615 4194304 4196468 140729204175712 140283470255744 140283112150128 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10197] ppid=10191 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/10194/task/10197/stat : 10197 (java) S 10191 10194 1658 0 -1 1077944384 215 0 0 0 2 1 0 0 20 0 20 0 10030771 26626834432 63512 18446744073709551615 4194304 4196468 140729204175712 140283431304080 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10198] ppid=10191 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/10194/task/10198/stat : 10198 (java) S 10191 10194 1658 0 -1 1077944384 43 0 0 0 2 0 0 0 20 0 20 0 10030771 26626834432 63512 18446744073709551615 4194304 4196468 140729204175712 140283027594000 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10199] ppid=10191 vsize=26002768 CPUtime=0.03 cores=0-7
/proc/10194/task/10199/stat : 10199 (java) S 10191 10194 1658 0 -1 1077944384 39 0 0 0 2 1 0 0 20 0 20 0 10030771 26626834432 63512 18446744073709551615 4194304 4196468 140729204175712 140283026541712 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10200] ppid=10191 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/10194/task/10200/stat : 10200 (java) S 10191 10194 1658 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 10030771 26626834432 63512 18446744073709551615 4194304 4196468 140729204175712 140283025488912 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10201] ppid=10191 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/10194/task/10201/stat : 10201 (java) S 10191 10194 1658 0 -1 1077944384 30 0 0 0 2 0 0 0 20 0 20 0 10030771 26626834432 63512 18446744073709551615 4194304 4196468 140729204175712 140283024435600 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10202] ppid=10191 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/10194/task/10202/stat : 10202 (java) S 10191 10194 1658 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 10030771 26626834432 63512 18446744073709551615 4194304 4196468 140729204175712 140283023382800 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10203] ppid=10191 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/10194/task/10203/stat : 10203 (java) S 10191 10194 1658 0 -1 1077944384 71 0 0 0 2 0 0 0 20 0 20 0 10030771 26626834432 63512 18446744073709551615 4194304 4196468 140729204175712 140283022330512 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10204] ppid=10191 vsize=26002768 CPUtime=0.02 cores=0-7
/proc/10194/task/10204/stat : 10204 (java) S 10191 10194 1658 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 20 0 10030771 26626834432 63512 18446744073709551615 4194304 4196468 140729204175712 140283021277712 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10205] ppid=10191 vsize=26002768 CPUtime=0 cores=0-7
/proc/10194/task/10205/stat : 10205 (java) S 10191 10194 1658 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 10030772 26626834432 63512 18446744073709551615 4194304 4196468 140729204175712 140282079177328 140283466033794 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10206] ppid=10191 vsize=26002768 CPUtime=0 cores=0-7
/proc/10194/task/10206/stat : 10206 (java) S 10191 10194 1658 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 10030773 26626834432 63512 18446744073709551615 4194304 4196468 140729204175712 140282078123296 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10207] ppid=10191 vsize=26002768 CPUtime=0 cores=0-7
/proc/10194/task/10207/stat : 10207 (java) S 10191 10194 1658 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 10030773 26626834432 63512 18446744073709551615 4194304 4196468 140729204175712 140282077070960 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10208] ppid=10191 vsize=26002768 CPUtime=0 cores=0-7
/proc/10194/task/10208/stat : 10208 (java) S 10191 10194 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10030775 26626834432 63512 18446744073709551615 4194304 4196468 140729204175712 140282076019280 140283466041243 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10209] ppid=10191 vsize=26002768 CPUtime=0.51 cores=0-7
/proc/10194/task/10209/stat : 10209 (java) R 10191 10194 1658 0 -1 4202560 2982 0 0 0 50 1 0 0 20 0 20 0 10030775 26626834432 63514 18446744073709551615 4194304 4196468 140729204175712 140282074945600 140283450900032 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10210] ppid=10191 vsize=26002768 CPUtime=0.56 cores=0-7
/proc/10194/task/10210/stat : 10210 (java) R 10191 10194 1658 0 -1 4202560 2831 0 0 0 55 1 0 0 20 0 20 0 10030776 26626834432 63514 18446744073709551615 4194304 4196468 140729204175712 140282073899352 140283447543903 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10211] ppid=10191 vsize=26002768 CPUtime=0.52 cores=0-7
/proc/10194/task/10211/stat : 10211 (java) R 10191 10194 1658 0 -1 4202560 3459 0 0 0 52 0 0 0 20 0 20 0 10030776 26626834432 63514 18446744073709551615 4194304 4196468 140729204175712 140282072841104 140283449521806 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10212] ppid=10191 vsize=26002768 CPUtime=0.5 cores=0-7
/proc/10194/task/10212/stat : 10212 (java) R 10191 10194 1658 0 -1 4202560 4745 0 0 0 49 1 0 0 20 0 20 0 10030776 26626834432 63514 18446744073709551615 4194304 4196468 140729204175712 140282071807312 140283459119483 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10213] ppid=10191 vsize=26002768 CPUtime=0 cores=0-7
/proc/10194/task/10213/stat : 10213 (java) S 10191 10194 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10030776 26626834432 63514 18446744073709551615 4194304 4196468 140729204175712 140282070756192 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10214] ppid=10191 vsize=26002768 CPUtime=0 cores=0-7
/proc/10194/task/10214/stat : 10214 (java) S 10191 10194 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10030782 26626834432 63514 18446744073709551615 4194304 4196468 140729204175712 140282069703472 140283466033794 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 26002768

[startup+3.10085 s]
/proc/loadavg: 9.13 7.25 7.29 3/197 10214
/proc/meminfo: memFree=31265740/32770624 swapFree=0/276992
[pid=10194] ppid=10191 vsize=26002768 CPUtime=6.51 cores=0-7
/proc/10194/stat : 10194 (java) S 10191 10194 1658 0 -1 1077944320 35593 0 0 0 613 38 0 0 20 0 20 0 10030759 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140729204158256 140283466022647 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 11 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
/proc/10194/statm: 6500692 129570 3786 1 0 6489474 0
[pid=10194/tid=10196] ppid=10191 vsize=26002768 CPUtime=2.79 cores=0-7
/proc/10194/task/10196/stat : 10196 (java) R 10191 10194 1658 0 -1 4202560 15214 0 0 0 268 11 0 0 20 0 20 0 10030770 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140283470258688 140283112273526 0 4 1 16800974 0 0 0 -1 1 0 0 6 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10197] ppid=10191 vsize=26002768 CPUtime=0.08 cores=0-7
/proc/10194/task/10197/stat : 10197 (java) S 10191 10194 1658 0 -1 1077944384 245 0 0 0 6 2 0 0 20 0 20 0 10030771 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140283431304080 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10198] ppid=10191 vsize=26002768 CPUtime=0.08 cores=0-7
/proc/10194/task/10198/stat : 10198 (java) S 10191 10194 1658 0 -1 1077944384 85 0 0 0 6 2 0 0 20 0 20 0 10030771 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140283027594000 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10199] ppid=10191 vsize=26002768 CPUtime=0.07 cores=0-7
/proc/10194/task/10199/stat : 10199 (java) S 10191 10194 1658 0 -1 1077944384 71 0 0 0 5 2 0 0 20 0 20 0 10030771 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140283026541712 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10200] ppid=10191 vsize=26002768 CPUtime=0.07 cores=0-7
/proc/10194/task/10200/stat : 10200 (java) S 10191 10194 1658 0 -1 1077944384 83 0 0 0 5 2 0 0 20 0 20 0 10030771 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140283025488912 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10201] ppid=10191 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/10194/task/10201/stat : 10201 (java) S 10191 10194 1658 0 -1 1077944384 56 0 0 0 4 2 0 0 20 0 20 0 10030771 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140283024435600 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10202] ppid=10191 vsize=26002768 CPUtime=0.04 cores=0-7
/proc/10194/task/10202/stat : 10202 (java) S 10191 10194 1658 0 -1 1077944384 704 0 0 0 2 2 0 0 20 0 20 0 10030771 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140283023382800 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10203] ppid=10191 vsize=26002768 CPUtime=0.08 cores=0-7
/proc/10194/task/10203/stat : 10203 (java) S 10191 10194 1658 0 -1 1077944384 179 0 0 0 6 2 0 0 20 0 20 0 10030771 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140283022330512 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10204] ppid=10191 vsize=26002768 CPUtime=0.08 cores=0-7
/proc/10194/task/10204/stat : 10204 (java) S 10191 10194 1658 0 -1 1077944384 155 0 0 0 6 2 0 0 20 0 20 0 10030771 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140283021277712 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10205] ppid=10191 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/10194/task/10205/stat : 10205 (java) S 10191 10194 1658 0 -1 1077944384 439 0 0 0 1 0 0 0 20 0 20 0 10030772 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140282079177328 140283466033794 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10206] ppid=10191 vsize=26002768 CPUtime=0 cores=0-7
/proc/10194/task/10206/stat : 10206 (java) S 10191 10194 1658 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 10030773 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140282078123296 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10207] ppid=10191 vsize=26002768 CPUtime=0 cores=0-7
/proc/10194/task/10207/stat : 10207 (java) S 10191 10194 1658 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 10030773 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140282077070960 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10208] ppid=10191 vsize=26002768 CPUtime=0 cores=0-7
/proc/10194/task/10208/stat : 10208 (java) S 10191 10194 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 10030775 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140282076019280 140283466041243 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10209] ppid=10191 vsize=26002768 CPUtime=0.7 cores=0-7
/proc/10194/task/10209/stat : 10209 (java) S 10191 10194 1658 0 -1 1077944384 3644 0 0 0 69 1 0 0 20 0 20 0 10030775 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140282074966128 140283466033794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10210] ppid=10191 vsize=26002768 CPUtime=1.02 cores=0-7
/proc/10194/task/10210/stat : 10210 (java) S 10191 10194 1658 0 -1 1077944384 4657 0 0 0 100 2 0 0 20 0 20 0 10030776 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140282073913328 140283466033794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10211] ppid=10191 vsize=26002768 CPUtime=0.73 cores=0-7
/proc/10194/task/10211/stat : 10211 (java) S 10191 10194 1658 0 -1 1077944384 3736 0 0 0 73 0 0 0 20 0 20 0 10030776 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140282072861040 140283466033794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10212] ppid=10191 vsize=26002768 CPUtime=0.56 cores=0-7
/proc/10194/task/10212/stat : 10212 (java) S 10191 10194 1658 0 -1 1077944384 4891 0 0 0 55 1 0 0 20 0 20 0 10030776 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140282071808240 140283466033794 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10213] ppid=10191 vsize=26002768 CPUtime=0 cores=0-7
/proc/10194/task/10213/stat : 10213 (java) S 10191 10194 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 10030776 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140282070756192 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10214] ppid=10191 vsize=26002768 CPUtime=0 cores=0-7
/proc/10194/task/10214/stat : 10214 (java) S 10191 10194 1658 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 10030782 26626834432 129570 18446744073709551615 4194304 4196468 140729204175712 140282069703472 140283466033794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
Current children cumulated CPU time (s) 6.51
Current children cumulated vsize (KiB) 26002768

[startup+6.30151 s]
/proc/loadavg: 8.56 7.16 7.26 12/219 10236
/proc/meminfo: memFree=30506176/32770624 swapFree=0/276996
[pid=10194] ppid=10191 vsize=27739612 CPUtime=26.07 cores=0-7
/proc/10194/stat : 10194 (java) S 10191 10194 1658 0 -1 1077944320 53993 0 0 0 2458 149 0 0 20 0 46 0 10030759 28405362688 393850 18446744073709551615 4194304 4196468 140729204175712 140729204158256 140283466022647 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 11 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
/proc/10194/statm: 6934903 393850 3811 1 0 6923164 0
[pid=10194/tid=10196] ppid=10191 vsize=27739612 CPUtime=3.57 cores=0-7
/proc/10194/task/10196/stat : 10196 (java) S 10191 10194 1658 0 -1 1077944384 17923 0 0 0 342 15 0 0 20 0 46 0 10030770 28405362688 393850 18446744073709551615 4194304 4196468 140729204175712 140283470260352 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10197] ppid=10191 vsize=27739612 CPUtime=0.84 cores=0-7
/proc/10194/task/10197/stat : 10197 (java) S 10191 10194 1658 0 -1 1077944384 579 0 0 0 71 13 0 0 20 0 46 0 10030771 28405362688 393850 18446744073709551615 4194304 4196468 140729204175712 140283431304080 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10198] ppid=10191 vsize=27739612 CPUtime=0.88 cores=0-7
/proc/10194/task/10198/stat : 10198 (java) S 10191 10194 1658 0 -1 1077944384 516 0 0 0 74 14 0 0 20 0 46 0 10030771 28405362688 393850 18446744073709551615 4194304 4196468 140729204175712 140283027594000 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10199] ppid=10191 vsize=27739612 CPUtime=0.82 cores=0-7
/proc/10194/task/10199/stat : 10199 (java) S 10191 10194 1658 0 -1 1077944384 445 0 0 0 68 14 0 0 20 0 46 0 10030771 28405362688 393850 18446744073709551615 4194304 4196468 140729204175712 140283026541712 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10200] ppid=10191 vsize=27739612 CPUtime=0.85 cores=0-7
/proc/10194/task/10200/stat : 10200 (java) S 10191 10194 1658 0 -1 1077944384 453 0 0 0 71 14 0 0 20 0 46 0 10030771 28405362688 393850 18446744073709551615 4194304 4196468 140729204175712 140283025488912 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10201] ppid=10191 vsize=27739612 CPUtime=0.87 cores=0-7
/proc/10194/task/10201/stat : 10201 (java) S 10191 10194 1658 0 -1 1077944384 482 0 0 0 73 14 0 0 20 0 46 0 10030771 28405362688 393850 18446744073709551615 4194304 4196468 140729204175712 140283024435600 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10202] ppid=10191 vsize=27739612 CPUtime=0.81 cores=0-7
/proc/10194/task/10202/stat : 10202 (java) S 10191 10194 1658 0 -1 1077944384 1108 0 0 0 68 13 0 0 20 0 46 0 10030771 28405362688 393850 18446744073709551615 4194304 4196468 140729204175712 140283023382800 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10203] ppid=10191 vsize=27739612 CPUtime=0.82 cores=0-7
/proc/10194/task/10203/stat : 10203 (java) S 10191 10194 1658 0 -1 1077944384 582 0 0 0 70 12 0 0 20 0 46 0 10030771 28405362688 393850 18446744073709551615 4194304 4196468 140729204175712 140283022330512 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10204] ppid=10191 vsize=27739612 CPUtime=0.88 cores=0-7
/proc/10194/task/10204/stat : 10204 (java) S 10191 10194 1658 0 -1 1077944384 622 0 0 0 73 15 0 0 20 0 46 0 10030771 28405362688 393850 18446744073709551615 4194304 4196468 140729204175712 140283021277712 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10205] ppid=10191 vsize=27739612 CPUtime=0.11 cores=0-7
/proc/10194/task/10205/stat : 10205 (java) R 10191 10194 1658 0 -1 4202560 1802 0 0 0 11 0 0 0 20 0 46 0 10030772 28405362688 393850 18446744073709551615 4194304 4196468 140729204175712 140282079175872 140283450723278 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10206] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10206/stat : 10206 (java) S 10191 10194 1658 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 46 0 10030773 28405362688 393850 18446744073709551615 4194304 4196468 140729204175712 140282078123360 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10207] ppid=10191 vsize=27739612 CPUtime=0.01 cores=0-7
/proc/10194/task/10207/stat : 10207 (java) S 10191 10194 1658 0 -1 1077944384 57 0 0 0 1 0 0 0 20 0 46 0 10030773 28405362688 393850 18446744073709551615 4194304 4196468 140729204175712 140282077070976 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10208] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10208/stat : 10208 (java) S 10191 10194 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 10030775 28405362688 393850 18446744073709551615 4194304 4196468 140729204175712 140282076019280 140283466041243 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10209] ppid=10191 vsize=27739612 CPUtime=1.85 cores=0-7
/proc/10194/task/10209/stat : 10209 (java) S 10191 10194 1658 0 -1 1077944384 4647 0 0 0 183 2 0 0 20 0 46 0 10030775 28405362688 393850 18446744073709551615 4194304 4196468 140729204175712 140282074957408 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10210] ppid=10191 vsize=27739612 CPUtime=2.38 cores=0-7
/proc/10194/task/10210/stat : 10210 (java) S 10191 10194 1658 0 -1 1077944384 7103 0 0 0 236 2 0 0 20 0 46 0 10030776 28405362688 393850 18446744073709551615 4194304 4196468 140729204175712 140282073898320 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10211] ppid=10191 vsize=27739612 CPUtime=1.86 cores=0-7
/proc/10194/task/10211/stat : 10211 (java) S 10191 10194 1658 0 -1 1077944384 8038 0 0 0 185 1 0 0 20 0 46 0 10030776 28405362688 393850 18446744073709551615 4194304 4196468 140729204175712 140282072846032 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10212] ppid=10191 vsize=27739612 CPUtime=0.9 cores=0-7
/proc/10194/task/10212/stat : 10212 (java) S 10191 10194 1658 0 -1 1077944384 6256 0 0 0 88 2 0 0 20 0 46 0 10030776 28405362688 393850 18446744073709551615 4194304 4196468 140729204175712 140282071808240 140283466033794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10213] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7

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

/proc/10194/task/10220/stat : 10220 (java) S 10191 10194 1658 0 -1 1077944384 192 0 0 0 19 0 0 0 20 0 46 0 10031149 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282049959056 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10221] ppid=10191 vsize=27739612 CPUtime=212.29 cores=0-7
/proc/10194/task/10221/stat : 10221 (java) R 10191 10194 1658 0 -1 4202560 26877 0 0 0 21174 55 0 0 20 0 46 0 10031149 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282048900232 140283112357261 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10222] ppid=10191 vsize=27739612 CPUtime=212.67 cores=0-7
/proc/10194/task/10222/stat : 10222 (java) R 10191 10194 1658 0 -1 4202560 18071 0 0 0 21235 32 0 0 20 0 46 0 10031149 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282047847848 140283111799532 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10223] ppid=10191 vsize=27739612 CPUtime=211.71 cores=0-7
/proc/10194/task/10223/stat : 10223 (java) R 10191 10194 1658 0 -1 4202560 17690 0 0 0 21136 35 0 0 20 0 46 0 10031149 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282046794808 140283112771501 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10224] ppid=10191 vsize=27739612 CPUtime=213.17 cores=0-7
/proc/10194/task/10224/stat : 10224 (java) R 10191 10194 1658 0 -1 4202560 24689 0 0 0 21250 67 0 0 20 0 46 0 10031149 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282045742056 140283111799500 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10225] ppid=10191 vsize=27739612 CPUtime=0.01 cores=0-7
/proc/10194/task/10225/stat : 10225 (java) S 10191 10194 1658 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 46 0 10031150 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282044695568 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10226] ppid=10191 vsize=27739612 CPUtime=212.8 cores=0-7
/proc/10194/task/10226/stat : 10226 (java) R 10191 10194 1658 0 -1 4202560 18361 0 0 0 21247 33 0 0 20 0 46 0 10031150 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282043636648 140283112771228 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10227] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10227/stat : 10227 (java) S 10191 10194 1658 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 46 0 10031202 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282042590352 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10228] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10228/stat : 10228 (java) S 10191 10194 1658 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 46 0 10031202 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282041537680 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10229] ppid=10191 vsize=27739612 CPUtime=0.01 cores=0-7
/proc/10194/task/10229/stat : 10229 (java) S 10191 10194 1658 0 -1 1077944384 115 0 0 0 1 0 0 0 20 0 46 0 10031202 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282040485392 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10230] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10230/stat : 10230 (java) S 10191 10194 1658 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 46 0 10031299 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282037298448 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10231] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10231/stat : 10231 (java) S 10191 10194 1658 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 10031301 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282036246160 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10232] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10232/stat : 10232 (java) S 10191 10194 1658 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 46 0 10031304 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282035193360 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10233] ppid=10191 vsize=27739612 CPUtime=0.01 cores=0-7
/proc/10194/task/10233/stat : 10233 (java) S 10191 10194 1658 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 46 0 10031306 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282034140176 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10234] ppid=10191 vsize=27739612 CPUtime=0.01 cores=0-7
/proc/10194/task/10234/stat : 10234 (java) S 10191 10194 1658 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 46 0 10031306 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282033087376 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10235] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10235/stat : 10235 (java) S 10191 10194 1658 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 46 0 10031308 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282032035088 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10236] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10236/stat : 10236 (java) S 10191 10194 1658 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 46 0 10031308 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282030982160 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10237] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10237/stat : 10237 (java) S 10191 10194 1658 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 10031310 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282029930000 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10238] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10238/stat : 10238 (java) S 10191 10194 1658 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 10031310 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282028877072 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10239] ppid=10191 vsize=27739612 CPUtime=0.01 cores=0-7
/proc/10194/task/10239/stat : 10239 (java) S 10191 10194 1658 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 46 0 10031311 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282027824912 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10240] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10240/stat : 10240 (java) S 10191 10194 1658 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 46 0 10031312 28405362688 1990234 18446744073709551615 4194304 4196468 140729204175712 140282026772112 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
Current children cumulated CPU time (s) 1747.42
Current children cumulated vsize (KiB) 27739612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+244.002 s]
/proc/loadavg: 8.97 8.05 7.59 10/224 10257
/proc/meminfo: memFree=23600764/32770624 swapFree=0/277056
[pid=10194] ppid=10191 vsize=27739612 CPUtime=1920.37 cores=0-7
/proc/10194/stat : 10194 (java) S 10191 10194 1658 0 -1 1077944320 330289 0 0 0 190944 1093 0 0 20 0 46 0 10030759 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140729204158256 140283466022647 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 11 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
/proc/10194/statm: 6934903 2015351 3824 1 0 6923164 0
[pid=10194/tid=10196] ppid=10191 vsize=27739612 CPUtime=3.57 cores=0-7
/proc/10194/task/10196/stat : 10196 (java) S 10191 10194 1658 0 -1 1077944384 17923 0 0 0 342 15 0 0 20 0 46 0 10030770 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140283470260352 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 6 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10197] ppid=10191 vsize=27739612 CPUtime=4.18 cores=0-7
/proc/10194/task/10197/stat : 10197 (java) S 10191 10194 1658 0 -1 1077944384 6712 0 0 0 330 88 0 0 20 0 46 0 10030771 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140283431304080 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10198] ppid=10191 vsize=27739612 CPUtime=4.21 cores=0-7
/proc/10194/task/10198/stat : 10198 (java) S 10191 10194 1658 0 -1 1077944384 8643 0 0 0 332 89 0 0 20 0 46 0 10030771 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140283027594000 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10199] ppid=10191 vsize=27739612 CPUtime=4.14 cores=0-7
/proc/10194/task/10199/stat : 10199 (java) S 10191 10194 1658 0 -1 1077944384 7477 0 0 0 325 89 0 0 20 0 46 0 10030771 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140283026541712 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10200] ppid=10191 vsize=27739612 CPUtime=4.19 cores=0-7
/proc/10194/task/10200/stat : 10200 (java) S 10191 10194 1658 0 -1 1077944384 10449 0 0 0 331 88 0 0 20 0 46 0 10030771 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140283025488912 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10201] ppid=10191 vsize=27739612 CPUtime=4.22 cores=0-7
/proc/10194/task/10201/stat : 10201 (java) S 10191 10194 1658 0 -1 1077944384 7647 0 0 0 333 89 0 0 20 0 46 0 10030771 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140283024435600 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10202] ppid=10191 vsize=27739612 CPUtime=4.15 cores=0-7
/proc/10194/task/10202/stat : 10202 (java) S 10191 10194 1658 0 -1 1077944384 7404 0 0 0 328 87 0 0 20 0 46 0 10030771 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140283023382800 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10203] ppid=10191 vsize=27739612 CPUtime=4.15 cores=0-7
/proc/10194/task/10203/stat : 10203 (java) S 10191 10194 1658 0 -1 1077944384 8058 0 0 0 328 87 0 0 20 0 46 0 10030771 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140283022330512 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10204] ppid=10191 vsize=27739612 CPUtime=4.21 cores=0-7
/proc/10194/task/10204/stat : 10204 (java) S 10191 10194 1658 0 -1 1077944384 7045 0 0 0 333 88 0 0 20 0 46 0 10030771 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140283021277712 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10205] ppid=10191 vsize=27739612 CPUtime=0.3 cores=0-7
/proc/10194/task/10205/stat : 10205 (java) S 10191 10194 1658 0 -1 1077944384 12051 0 0 0 29 1 0 0 20 0 46 0 10030772 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282079177328 140283466033794 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10206] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10206/stat : 10206 (java) S 10191 10194 1658 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 46 0 10030773 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282078123360 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10207] ppid=10191 vsize=27739612 CPUtime=0.01 cores=0-7
/proc/10194/task/10207/stat : 10207 (java) S 10191 10194 1658 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 46 0 10030773 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282077070976 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10208] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10208/stat : 10208 (java) S 10191 10194 1658 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 10030775 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282076019280 140283466041243 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10209] ppid=10191 vsize=27739612 CPUtime=3.13 cores=0-7
/proc/10194/task/10209/stat : 10209 (java) S 10191 10194 1658 0 -1 1077944384 13111 0 0 0 310 3 0 0 20 0 46 0 10030775 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282074966128 140283466033794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10210] ppid=10191 vsize=27739612 CPUtime=3.86 cores=0-7
/proc/10194/task/10210/stat : 10210 (java) S 10191 10194 1658 0 -1 1077944384 14843 0 0 0 382 4 0 0 20 0 46 0 10030776 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282073913328 140283466033794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10211] ppid=10191 vsize=27739612 CPUtime=3.22 cores=0-7
/proc/10194/task/10211/stat : 10211 (java) S 10191 10194 1658 0 -1 1077944384 15646 0 0 0 320 2 0 0 20 0 46 0 10030776 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282072861040 140283466033794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10212] ppid=10191 vsize=27739612 CPUtime=1.02 cores=0-7
/proc/10194/task/10212/stat : 10212 (java) S 10191 10194 1658 0 -1 1077944384 12019 0 0 0 99 3 0 0 20 0 46 0 10030776 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282071808240 140283466033794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10213] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10213/stat : 10213 (java) S 10191 10194 1658 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 10030776 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282070756192 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10214] ppid=10191 vsize=27739612 CPUtime=0.11 cores=0-7
/proc/10194/task/10214/stat : 10214 (java) S 10191 10194 1658 0 -1 1077944384 633 0 0 0 10 1 0 0 20 0 46 0 10030782 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282069703472 140283466033794 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10215] ppid=10191 vsize=27739612 CPUtime=0.01 cores=0-7
/proc/10194/task/10215/stat : 10215 (java) S 10191 10194 1658 0 -1 1077944384 385 0 0 0 1 0 0 0 20 0 46 0 10031124 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282059416992 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10216] ppid=10191 vsize=27739612 CPUtime=0.77 cores=0-7
/proc/10194/task/10216/stat : 10216 (java) S 10191 10194 1658 0 -1 1077944384 4290 0 0 0 31 46 0 0 20 0 46 0 10031136 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282056267184 140283466033794 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10217] ppid=10191 vsize=27739612 CPUtime=234.25 cores=0-7
/proc/10194/task/10217/stat : 10217 (java) R 10191 10194 1658 0 -1 4202560 18920 0 0 0 23393 32 0 0 20 0 46 0 10031146 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282055207336 140283111799572 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10218] ppid=10191 vsize=27739612 CPUtime=232.94 cores=0-7
/proc/10194/task/10218/stat : 10218 (java) R 10191 10194 1658 0 -1 4202560 21865 0 0 0 23252 42 0 0 20 0 46 0 10031147 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282052059792 140283111014940 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10219] ppid=10191 vsize=27739612 CPUtime=233.58 cores=0-7
/proc/10194/task/10219/stat : 10219 (java) R 10191 10194 1658 0 -1 4202560 19410 0 0 0 23319 39 0 0 20 0 46 0 10031147 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282051005808 140283112771470 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10220] ppid=10191 vsize=27739612 CPUtime=0.19 cores=0-7
/proc/10194/task/10220/stat : 10220 (java) S 10191 10194 1658 0 -1 1077944384 192 0 0 0 19 0 0 0 20 0 46 0 10031149 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282049959056 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10221] ppid=10191 vsize=27739612 CPUtime=233.69 cores=0-7
/proc/10194/task/10221/stat : 10221 (java) R 10191 10194 1658 0 -1 4202560 27889 0 0 0 23312 57 0 0 20 0 46 0 10031149 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282048899704 140283113781732 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10222] ppid=10191 vsize=27739612 CPUtime=233.9 cores=0-7
/proc/10194/task/10222/stat : 10222 (java) R 10191 10194 1658 0 -1 4202560 19511 0 0 0 23356 34 0 0 20 0 46 0 10031149 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282047847992 140283112248263 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10223] ppid=10191 vsize=27739612 CPUtime=233.13 cores=0-7
/proc/10194/task/10223/stat : 10223 (java) R 10191 10194 1658 0 -1 4202560 18967 0 0 0 23277 36 0 0 20 0 46 0 10031149 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282046795744 140283109075335 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10224] ppid=10191 vsize=27739612 CPUtime=234.58 cores=0-7
/proc/10194/task/10224/stat : 10224 (java) R 10191 10194 1658 0 -1 4202560 26986 0 0 0 23386 72 0 0 20 0 46 0 10031149 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282045742904 140283113808740 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10225] ppid=10191 vsize=27739612 CPUtime=0.01 cores=0-7
/proc/10194/task/10225/stat : 10225 (java) S 10191 10194 1658 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 46 0 10031150 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282044695568 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10226] ppid=10191 vsize=27739612 CPUtime=234.24 cores=0-7
/proc/10194/task/10226/stat : 10226 (java) R 10191 10194 1658 0 -1 4202560 19818 0 0 0 23389 35 0 0 20 0 46 0 10031150 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282043636840 140283112357312 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10227] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10227/stat : 10227 (java) S 10191 10194 1658 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 46 0 10031202 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282042590352 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10228] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10228/stat : 10228 (java) S 10191 10194 1658 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 46 0 10031202 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282041537680 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10229] ppid=10191 vsize=27739612 CPUtime=0.01 cores=0-7
/proc/10194/task/10229/stat : 10229 (java) S 10191 10194 1658 0 -1 1077944384 115 0 0 0 1 0 0 0 20 0 46 0 10031202 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282040485392 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10230] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10230/stat : 10230 (java) S 10191 10194 1658 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 46 0 10031299 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282037298448 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10231] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10231/stat : 10231 (java) S 10191 10194 1658 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 10031301 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282036246160 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10232] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10232/stat : 10232 (java) S 10191 10194 1658 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 46 0 10031304 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282035193360 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10233] ppid=10191 vsize=27739612 CPUtime=0.01 cores=0-7
/proc/10194/task/10233/stat : 10233 (java) S 10191 10194 1658 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 46 0 10031306 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282034140176 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10234] ppid=10191 vsize=27739612 CPUtime=0.01 cores=0-7
/proc/10194/task/10234/stat : 10234 (java) S 10191 10194 1658 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 46 0 10031306 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282033087376 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10235] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10235/stat : 10235 (java) S 10191 10194 1658 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 46 0 10031308 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282032035088 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10236] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10236/stat : 10236 (java) S 10191 10194 1658 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 46 0 10031308 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282030982160 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10237] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10237/stat : 10237 (java) S 10191 10194 1658 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 10031310 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282029930000 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10238] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10238/stat : 10238 (java) S 10191 10194 1658 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 10031310 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282028877072 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10239] ppid=10191 vsize=27739612 CPUtime=0.01 cores=0-7
/proc/10194/task/10239/stat : 10239 (java) S 10191 10194 1658 0 -1 1077944384 195 0 0 0 1 0 0 0 20 0 46 0 10031311 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282027824912 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
[pid=10194/tid=10240] ppid=10191 vsize=27739612 CPUtime=0 cores=0-7
/proc/10194/task/10240/stat : 10240 (java) S 10191 10194 1658 0 -1 1077944384 271 0 0 0 0 0 0 0 20 0 46 0 10031312 28405362688 2015351 18446744073709551615 4194304 4196468 140729204175712 140282026772112 140283466032853 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15622144 140729204183439 140729204183624 140729204183624 140729204187087 0
Current children cumulated CPU time (s) 1920.37
Current children cumulated vsize (KiB) 27739612

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10194 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+244.112 s]
/proc/loadavg: 8.97 8.05 7.59 10/224 10257
/proc/meminfo: memFree=23600764/32770624 swapFree=0/277056
[pid=10194] ppid=10191 vsize=0 CPUtime=1921.11 cores=0-7
/proc/10194/stat : 10194 (java) Z 10191 10194 1658 0 -1 4228108 332099 0 0 0 191015 1096 0 0 20 0 2 0 10030759 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 11 0 0 0 0 0 0 0 0 0 0
/proc/10194/statm: 0 0 0 0 0 0 0
[pid=10194/tid=10219] ppid=10191 vsize=0 CPUtime=233.69 cores=0-7
/proc/10194/task/10219/stat : 10219 (java) R 10191 10194 1658 0 -1 4203588 19411 0 0 0 23328 41 0 0 20 0 2 0 10031147 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 1 0 0 3 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1921.11
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 244.132
CPU time (s): 1921.13
CPU user time (s): 1910.15
CPU system time (s): 10.9791
CPU usage (%): 786.924
Max. virtual memory (cumulated for all children) (KiB): 27739612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1910.15
system time used= 10.9791
maximum resident set size= 8062836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332099
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38317
involuntary context switches= 43380

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.1014 second user time and 2.84037 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-02 15:26:01
IDJOB=4257083
IDBENCH=122943
IDSOLVER=2641
FILE ID=node135/4257083-1501681201
RUNJOBID= node135-1501676595-1714
PBS_JOBID= 
Free space on /tmp= 61948 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
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-4257083-1501681201/watcher-4257083-1501681201 -o /tmp/evaluation-result-4257083-1501681201/solver-4257083-1501681201 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node135-1501676595-1714 --watchdog 324  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1954708389 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257083-1501681201.xml

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

MD5SUM BENCH= 498e8e69e2f573dee371e4fc9819ce0a
RANDOM SEED=1954708389

node135.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.21
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:        31663384 kB
MemAvailable:   32013144 kB
Buffers:          148764 kB
Cached:           476452 kB
SwapCached:            0 kB
Active:           396460 kB
Inactive:         285556 kB
Active(anon):      57128 kB
Inactive(anon):     8592 kB
Active(file):     339332 kB
Inactive(file):   276964 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42192 kB
Writeback:             0 kB
AnonPages:        133752 kB
Mapped:            29888 kB
Shmem:              8960 kB
Slab:             125148 kB
SReclaimable:      98600 kB
SUnreclaim:        26548 kB
KernelStack:        3504 kB
PageTables:         4840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     278188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61904 MiB
End job on node135 at 2017-08-02 15:30:05