Trace number 4257082

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)110 1921.11 243.94099

General information on the benchmark

NameOpd/Opd-sum-large/
Opd-10-360-120.xml
MD5SUM76b33169874d58bfc9aedd730e623c3c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark62
Best CPU time to get the best result obtained on this benchmark251.91
Satisfiable
(Un)Satisfiability was proved
Number of variables3601
Number of constraints56
Number of domains2
Minimum domain size2
Maximum domain size329
Distribution of domain sizes[{"size":2,"count":3600},{"size":329,"count":1}]
Minimum variable degree11
Maximum variable degree46
Distribution of variable degrees[{"degree":11,"count":3600},{"degree":46,"count":1}]
Minimum constraint arity360
Maximum constraint arity3600
Distribution of constraint arities[{"arity":360,"count":10},{"arity":721,"count":45},{"arity":3600,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":55}]
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.37/0.40	c version: 2017-07-26
0.37/0.40	c seed: 573532007
0.37/0.40	c timeout: 1920
0.37/0.40	c memlimit: 22000
0.37/0.40	c nbcore: 8
0.37/0.42	c Parsing instance...
1.30/0.84	c Parsing done, starting search...
16.93/4.96	o 360
17.69/5.00	o 359
18.50/5.16	o 358
18.50/5.16	o 357
18.50/5.16	o 356
18.50/5.16	o 355
18.50/5.16	o 354
18.50/5.17	o 353
18.50/5.18	o 352
18.50/5.18	o 351
18.50/5.18	o 350
18.50/5.18	o 349
18.50/5.19	o 348
18.50/5.19	o 347
19.31/5.23	o 346
19.31/5.23	o 345
19.31/5.23	o 344
19.31/5.23	o 343
19.31/5.23	o 342
19.31/5.23	o 341
19.31/5.23	o 340
19.31/5.24	o 339
19.31/5.24	o 338
19.31/5.24	o 337
19.31/5.24	o 336
19.31/5.24	o 335
19.31/5.26	o 334
19.31/5.26	o 333
19.31/5.26	o 332
19.31/5.26	o 331
19.31/5.26	o 330
19.31/5.26	o 329
19.31/5.26	o 328
19.31/5.26	o 327
19.31/5.26	o 326
19.31/5.27	o 325
19.31/5.27	o 324
19.31/5.27	o 323
19.31/5.27	o 322
19.31/5.27	o 321
19.31/5.28	o 320
19.31/5.28	o 319
19.31/5.29	o 318
19.31/5.29	o 317
19.31/5.29	o 316
19.31/5.29	o 315
19.31/5.29	o 314
20.06/5.30	o 313
20.06/5.30	o 312
20.06/5.30	o 311
20.06/5.30	o 310
20.06/5.30	o 309
20.06/5.30	o 308
20.06/5.30	o 307
20.06/5.30	o 306
20.06/5.32	o 305
20.06/5.32	o 304
20.06/5.32	o 303
20.06/5.33	o 302
20.06/5.33	o 301
20.06/5.33	o 300
20.06/5.33	o 299
20.06/5.34	o 298
20.06/5.34	o 297
20.06/5.34	o 296
20.06/5.35	o 295
20.06/5.35	o 294
20.06/5.35	o 293
20.06/5.35	o 292
20.06/5.35	o 291
20.06/5.36	o 290
20.06/5.36	o 289
20.06/5.36	o 288
20.06/5.36	o 287
20.06/5.36	o 286
20.06/5.37	o 285
20.06/5.37	o 284
20.06/5.37	o 283
20.06/5.37	o 282
20.06/5.37	o 281
20.06/5.38	o 280
20.06/5.38	o 279
20.06/5.38	o 278
20.06/5.38	o 277
20.06/5.38	o 276
20.06/5.39	o 275
20.06/5.39	o 274
20.06/5.39	o 273
20.84/5.40	o 272
20.84/5.40	o 271
20.84/5.40	o 270
20.84/5.40	o 269
20.84/5.40	o 268
20.84/5.41	o 267
20.84/5.41	o 266
20.84/5.41	o 265
20.84/5.41	o 264
20.84/5.41	o 263
20.84/5.42	o 262
20.84/5.42	o 261
20.84/5.42	o 260
20.84/5.42	o 259
20.84/5.43	o 258
20.84/5.43	o 257
20.84/5.44	o 256
20.84/5.44	o 255
20.84/5.44	o 254
20.84/5.44	o 253
20.84/5.47	o 252
20.84/5.47	o 251
20.84/5.47	o 250
20.84/5.47	o 249
20.84/5.47	o 248
20.84/5.50	o 247
20.84/5.50	o 246
20.84/5.50	o 245
21.69/5.51	o 244
21.69/5.51	o 243
21.69/5.51	o 242
21.69/5.51	o 241
21.69/5.53	o 240
21.69/5.53	o 239
21.69/5.53	o 238
21.69/5.54	o 237
21.69/5.54	o 236
21.69/5.54	o 235
21.69/5.54	o 234
21.69/5.55	o 233
21.69/5.55	o 232
21.69/5.55	o 231
21.69/5.57	o 230
21.69/5.57	o 229
21.69/5.57	o 228
21.69/5.57	o 227
21.69/5.59	o 226
21.69/5.59	o 225
21.69/5.59	o 224
21.69/5.59	o 223
22.54/5.61	o 222
22.54/5.61	o 221
22.54/5.61	o 220
22.54/5.61	o 219
22.54/5.63	o 218
22.54/5.63	o 217
22.54/5.64	o 216
22.54/5.64	o 215
22.54/5.64	o 214
22.54/5.64	o 213
22.54/5.64	o 212
22.54/5.65	o 211
22.54/5.65	o 210
22.54/5.65	o 209
22.54/5.65	o 208
22.54/5.67	o 207
22.54/5.67	o 206
22.54/5.67	o 205
22.54/5.68	o 204
22.54/5.68	o 203
22.54/5.69	o 202
22.54/5.69	o 201
22.54/5.69	o 200
23.25/5.70	o 199
23.25/5.71	o 198
23.25/5.72	o 197
23.25/5.72	o 196
23.25/5.72	o 195
23.25/5.72	o 194
23.25/5.72	o 193
23.25/5.73	o 192
23.25/5.78	o 191
23.25/5.79	o 190
23.25/5.79	o 189
23.25/5.79	o 188
23.25/5.79	o 187
24.03/5.82	o 186
24.03/5.83	o 185
24.03/5.83	o 184
24.03/5.83	o 183
24.03/5.84	o 182
24.03/5.85	o 181
24.03/5.85	o 180
24.03/5.85	o 179
24.03/5.85	o 178
24.03/5.88	o 177
24.03/5.88	o 176
24.03/5.88	o 175
24.03/5.88	o 174
24.03/5.89	o 173
24.03/5.89	o 172
24.83/5.90	o 171
24.83/5.91	o 170
25.60/6.00	o 169
25.60/6.01	o 168
25.60/6.01	o 167
25.60/6.01	o 166
25.60/6.01	o 165
25.60/6.02	o 164
25.60/6.02	o 163
25.60/6.02	o 162
25.60/6.02	o 161
25.60/6.03	o 160
25.60/6.03	o 159
25.60/6.03	o 158
25.60/6.03	o 157
25.60/6.03	o 156
25.60/6.03	o 155
25.60/6.04	o 154
25.60/6.04	o 153
25.60/6.04	o 152
25.60/6.04	o 151
25.60/6.05	o 150
25.60/6.05	o 149
25.60/6.05	o 148
25.60/6.05	o 147
25.60/6.05	o 146
25.60/6.05	o 145
25.60/6.06	o 144
25.60/6.06	o 143
25.60/6.06	o 142
25.60/6.06	o 141
25.60/6.07	o 140
25.60/6.07	o 139
25.60/6.07	o 138
25.60/6.07	o 137
25.60/6.08	o 136
25.60/6.08	o 135
25.60/6.08	o 134
25.60/6.08	o 133
25.60/6.08	o 132
25.60/6.09	o 131
25.60/6.10	o 130
25.60/6.10	o 129
25.60/6.10	o 128
26.39/6.11	o 127
26.39/6.11	o 126
26.39/6.11	o 125
26.39/6.11	o 124
26.39/6.11	o 123
26.39/6.11	o 122
26.39/6.11	o 121
26.39/6.11	o 120
30.42/6.64	o 119
54.60/9.84	o 118
54.60/9.84	o 117
60.25/10.56	o 116
117.55/17.77	o 115
409.16/54.32	o 114
634.08/82.51	o 113
1004.11/128.92	o 112
1114.16/142.73	o 111
1755.27/223.16	o 110
1920.26/243.86	s SATISFIABLE
1920.26/243.89	v <instantiation>
1920.26/243.89	v 	<list>
1920.26/243.89	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[0][350] x[0][351] x[0][352] x[0][353] x[0][354] x[0][355] x[0][356] x[0][357] x[0][358] x[0][359] 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[1][350] x[1][351] x[1][352] x[1][353] x[1][354] x[1][355] x[1][356] x[1][357] x[1][358] x[1][359] 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[2][350] x[2][351] x[2][352] x[2][353] x[2][354] x[2][355] x[2][356] x[2][357] x[2][358] x[2][359] 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[3][350] x[3][351] x[3][352] x[3][353] x[3][354] x[3][355] x[3][356] x[3][357] x[3][358] x[3][359] 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[4][350] x[4][351] x[4][352] x[4][353] x[4][354] x[4][355] x[4][356] x[4][357] x[4][358] x[4][359] 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[5][350] x[5][351] x[5][352] x[5][353] x[5][354] x[5][355] x[5][356] x[5][357] x[5][358] x[5][359] 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[6][350] x[6][351] x[6][352] x[6][353] x[6][354] x[6][355] x[6][356] x[6][357] x[6][358] x[6][359] 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[7][350] x[7][351] x[7][352] x[7][353] x[7][354] x[7][355] x[7][356] x[7][357] x[7][358] x[7][359] 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[8][350] x[8][351] x[8][352] x[8][353] x[8][354] x[8][355] x[8][356] x[8][357] x[8][358] x[8][359] 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[9][350] x[9][351] x[9][352] x[9][353] x[9][354] x[9][355] x[9][356] x[9][357] x[9][358] x[9][359]
1920.26/243.89	v 	</list>
1920.26/243.89	v 	<values>
1920.26/243.89	v 		110 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 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 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 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 0 0 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 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 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 1 1 1 1 1 1 1 1 1 1 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 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 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 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 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 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 1 1 1 1 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 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 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 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 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 1 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 
1920.26/243.89	v 	</values>
1920.26/243.89	v </instantiation>

Verifier Data 

OK	110

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-4257082-1501681451/watcher-4257082-1501681451 -o /tmp/evaluation-result-4257082-1501681451/solver-4257082-1501681451 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node131-1501676534-24993 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 573532007 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257082-1501681451.xml 

pid=32743
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: 7.95 8.01 7.95 3/173 32746
/proc/meminfo: memFree=31727592/32770624 swapFree=0/253488
[pid=32746] ppid=32743 vsize=23672 CPUtime=0 cores=0-7
/proc/32746/stat : 32746 (runsolver) D 32743 32746 24937 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 16765338 24240128 106 18446744073709551615 4194304 4338465 140732877232784 140732877230424 140557174256343 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 38563840 140732877234276 140732877234755 140732877234755 140732877238218 0
/proc/32746/statm: 5918 106 53 36 0 2156 0

[startup+0.100123 s]
/proc/loadavg: 7.95 8.01 7.95 3/173 32746
/proc/meminfo: memFree=31727592/32770624 swapFree=0/253488
[pid=32746] ppid=32743 vsize=356952 CPUtime=0 cores=0-7
/proc/32746/stat : 32746 (java) S 32743 32746 24937 0 -1 1077944320 1731 0 0 0 0 0 0 0 20 0 2 0 16765338 365518848 1880 18446744073709551615 4194304 4196468 140723616993936 140723616976480 139762930429687 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
/proc/32746/statm: 89238 1880 1031 1 0 79216 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 356952

[startup+0.200313 s]
/proc/loadavg: 7.95 8.01 7.95 3/173 32746
/proc/meminfo: memFree=31727592/32770624 swapFree=0/253488
[pid=32746] ppid=32743 vsize=25927168 CPUtime=0.06 cores=0-7
/proc/32746/stat : 32746 (java) S 32743 32746 24937 0 -1 1077944320 5084 0 0 0 5 1 0 0 20 0 19 0 16765338 26549420032 5567 18446744073709551615 4194304 4196468 140723616993936 140723616976480 139762930429687 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
/proc/32746/statm: 6481792 5567 2552 1 0 6471297 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 25927168

[startup+0.300334 s]
/proc/loadavg: 7.95 8.01 7.95 3/173 32746
/proc/meminfo: memFree=31727592/32770624 swapFree=0/253488
[pid=32746] ppid=32743 vsize=25996604 CPUtime=0.21 cores=0-7
/proc/32746/stat : 32746 (java) S 32743 32746 24937 0 -1 1077944320 10171 0 0 0 18 3 0 0 20 0 20 0 16765338 26620522496 9036 18446744073709551615 4194304 4196468 140723616993936 140723616976480 139762930429687 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
/proc/32746/statm: 6499151 9036 3526 1 0 6487938 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 25996604

[startup+0.700293 s]
/proc/loadavg: 7.95 8.01 7.95 3/173 32746
/proc/meminfo: memFree=31727592/32770624 swapFree=0/253488
[pid=32746] ppid=32743 vsize=25998672 CPUtime=1.04 cores=0-7
/proc/32746/stat : 32746 (java) S 32743 32746 24937 0 -1 1077944320 14487 0 0 0 98 6 0 0 20 0 20 0 16765338 26622640128 17759 18446744073709551615 4194304 4196468 140723616993936 140723616976480 139762930429687 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
/proc/32746/statm: 6499668 17759 3728 1 0 6488450 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 25998672

[startup+1.50086 s]
/proc/loadavg: 7.39 7.90 7.91 3/193 32766
/proc/meminfo: memFree=31628328/32770624 swapFree=0/253504
[pid=32746] ppid=32743 vsize=26002768 CPUtime=3.81 cores=0-7
/proc/32746/stat : 32746 (java) S 32743 32746 24937 0 -1 1077944320 32417 0 0 0 361 20 0 0 20 0 20 0 16765338 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 140723616976480 139762930429687 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
/proc/32746/statm: 6500692 63103 3776 1 0 6489474 0
[pid=32746/tid=32748] ppid=32743 vsize=26002768 CPUtime=1.3 cores=0-7
/proc/32746/task/32748/stat : 32748 (java) R 32743 32746 24937 0 -1 4202560 14456 0 0 0 122 8 0 0 20 0 20 0 16765347 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762934657360 139762553068630 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32749] ppid=32743 vsize=26002768 CPUtime=0 cores=0-7
/proc/32746/task/32749/stat : 32749 (java) S 32743 32746 24937 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 16765348 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762887396240 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32750] ppid=32743 vsize=26002768 CPUtime=0 cores=0-7
/proc/32746/task/32750/stat : 32750 (java) S 32743 32746 24937 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 16765348 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762886343440 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32751] ppid=32743 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/32746/task/32751/stat : 32751 (java) S 32743 32746 24937 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 20 0 16765348 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762885291152 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32752] ppid=32743 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/32746/task/32752/stat : 32752 (java) S 32743 32746 24937 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 20 0 16765348 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762884238352 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32753] ppid=32743 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/32746/task/32753/stat : 32753 (java) S 32743 32746 24937 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 20 0 16765348 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762883185040 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32754] ppid=32743 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/32746/task/32754/stat : 32754 (java) S 32743 32746 24937 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 20 0 16765348 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762882132240 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32755] ppid=32743 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/32746/task/32755/stat : 32755 (java) S 32743 32746 24937 0 -1 1077944384 72 0 0 0 1 0 0 0 20 0 20 0 16765348 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762881079952 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32756] ppid=32743 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/32746/task/32756/stat : 32756 (java) S 32743 32746 24937 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 20 0 16765348 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762880027152 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32757] ppid=32743 vsize=26002768 CPUtime=0 cores=0-7
/proc/32746/task/32757/stat : 32757 (java) S 32743 32746 24937 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 20 0 16765350 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762197281392 139762930440834 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32758] ppid=32743 vsize=26002768 CPUtime=0 cores=0-7
/proc/32746/task/32758/stat : 32758 (java) S 32743 32746 24937 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 16765350 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762128119136 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32759] ppid=32743 vsize=26002768 CPUtime=0 cores=0-7
/proc/32746/task/32759/stat : 32759 (java) S 32743 32746 24937 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 16765350 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762127066752 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32760] ppid=32743 vsize=26002768 CPUtime=0 cores=0-7
/proc/32746/task/32760/stat : 32760 (java) S 32743 32746 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16765353 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762126015056 139762930448283 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32761] ppid=32743 vsize=26002768 CPUtime=0.62 cores=0-7
/proc/32746/task/32761/stat : 32761 (java) R 32743 32746 24937 0 -1 4202560 3757 0 0 0 60 2 0 0 20 0 20 0 16765353 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762124942920 139762916493019 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32762] ppid=32743 vsize=26002768 CPUtime=0.59 cores=0-7
/proc/32746/task/32762/stat : 32762 (java) R 32743 32746 24937 0 -1 4202560 4585 0 0 0 58 1 0 0 20 0 20 0 16765353 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762123895296 139762911156489 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32763] ppid=32743 vsize=26002768 CPUtime=0.59 cores=0-7
/proc/32746/task/32763/stat : 32763 (java) R 32743 32746 24937 0 -1 4202560 2924 0 0 0 58 1 0 0 20 0 20 0 16765353 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762122856816 139762909662694 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32764] ppid=32743 vsize=26002768 CPUtime=0.5 cores=0-7
/proc/32746/task/32764/stat : 32764 (java) S 32743 32746 24937 0 -1 1077944384 4591 0 0 0 49 1 0 0 20 0 20 0 16765353 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762121804016 139762930440834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32765] ppid=32743 vsize=26002768 CPUtime=0 cores=0-7
/proc/32746/task/32765/stat : 32765 (java) S 32743 32746 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16765353 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762120751968 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32766] ppid=32743 vsize=26002768 CPUtime=0 cores=0-7
/proc/32746/task/32766/stat : 32766 (java) S 32743 32746 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16765358 26626834432 63103 18446744073709551615 4194304 4196468 140723616993936 139762119699248 139762930440834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 26002768

[startup+3.10084 s]
/proc/loadavg: 7.39 7.90 7.91 2/193 32766
/proc/meminfo: memFree=31337768/32770624 swapFree=0/253504
[pid=32746] ppid=32743 vsize=26002768 CPUtime=6.32 cores=0-7
/proc/32746/stat : 32746 (java) S 32743 32746 24937 0 -1 1077944320 35877 0 0 0 595 37 0 0 20 0 20 0 16765338 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 140723616976480 139762930429687 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
/proc/32746/statm: 6500692 112455 3784 1 0 6489474 0
[pid=32746/tid=32748] ppid=32743 vsize=26002768 CPUtime=2.84 cores=0-7
/proc/32746/task/32748/stat : 32748 (java) R 32743 32746 24937 0 -1 4202560 15047 0 0 0 274 10 0 0 20 0 20 0 16765347 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762934663736 139762552929250 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32749] ppid=32743 vsize=26002768 CPUtime=0.05 cores=0-7
/proc/32746/task/32749/stat : 32749 (java) S 32743 32746 24937 0 -1 1077944384 344 0 0 0 3 2 0 0 20 0 20 0 16765348 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762887396240 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32750] ppid=32743 vsize=26002768 CPUtime=0.05 cores=0-7
/proc/32746/task/32750/stat : 32750 (java) S 32743 32746 24937 0 -1 1077944384 689 0 0 0 3 2 0 0 20 0 20 0 16765348 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762886343440 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32751] ppid=32743 vsize=26002768 CPUtime=0.05 cores=0-7
/proc/32746/task/32751/stat : 32751 (java) S 32743 32746 24937 0 -1 1077944384 54 0 0 0 3 2 0 0 20 0 20 0 16765348 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762885291152 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32752] ppid=32743 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/32746/task/32752/stat : 32752 (java) S 32743 32746 24937 0 -1 1077944384 78 0 0 0 4 2 0 0 20 0 20 0 16765348 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762884238352 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32753] ppid=32743 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/32746/task/32753/stat : 32753 (java) S 32743 32746 24937 0 -1 1077944384 83 0 0 0 4 2 0 0 20 0 20 0 16765348 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762883185040 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32754] ppid=32743 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/32746/task/32754/stat : 32754 (java) S 32743 32746 24937 0 -1 1077944384 98 0 0 0 4 2 0 0 20 0 20 0 16765348 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762882132240 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32755] ppid=32743 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/32746/task/32755/stat : 32755 (java) S 32743 32746 24937 0 -1 1077944384 172 0 0 0 4 2 0 0 20 0 20 0 16765348 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762881079952 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32756] ppid=32743 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/32746/task/32756/stat : 32756 (java) S 32743 32746 24937 0 -1 1077944384 60 0 0 0 4 2 0 0 20 0 20 0 16765348 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762880027152 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32757] ppid=32743 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/32746/task/32757/stat : 32757 (java) S 32743 32746 24937 0 -1 1077944384 444 0 0 0 1 0 0 0 20 0 20 0 16765350 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762197281392 139762930440834 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32758] ppid=32743 vsize=26002768 CPUtime=0 cores=0-7
/proc/32746/task/32758/stat : 32758 (java) S 32743 32746 24937 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 16765350 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762128119136 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32759] ppid=32743 vsize=26002768 CPUtime=0 cores=0-7
/proc/32746/task/32759/stat : 32759 (java) S 32743 32746 24937 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 16765350 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762127066752 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32760] ppid=32743 vsize=26002768 CPUtime=0 cores=0-7
/proc/32746/task/32760/stat : 32760 (java) S 32743 32746 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 16765353 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762126015056 139762930448283 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32761] ppid=32743 vsize=26002768 CPUtime=0.88 cores=0-7
/proc/32746/task/32761/stat : 32761 (java) S 32743 32746 24937 0 -1 1077944384 4930 0 0 0 86 2 0 0 20 0 20 0 16765353 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762124961904 139762930440834 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32762] ppid=32743 vsize=26002768 CPUtime=0.76 cores=0-7
/proc/32746/task/32762/stat : 32762 (java) S 32743 32746 24937 0 -1 1077944384 4707 0 0 0 75 1 0 0 20 0 20 0 16765353 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762123909104 139762930440834 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32763] ppid=32743 vsize=26002768 CPUtime=0.71 cores=0-7
/proc/32746/task/32763/stat : 32763 (java) S 32743 32746 24937 0 -1 1077944384 3083 0 0 0 70 1 0 0 20 0 20 0 16765353 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762122856816 139762930440834 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32764] ppid=32743 vsize=26002768 CPUtime=0.54 cores=0-7
/proc/32746/task/32764/stat : 32764 (java) S 32743 32746 24937 0 -1 1077944384 4670 0 0 0 53 1 0 0 20 0 20 0 16765353 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762121804016 139762930440834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32765] ppid=32743 vsize=26002768 CPUtime=0 cores=0-7
/proc/32746/task/32765/stat : 32765 (java) S 32743 32746 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 16765353 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762120751968 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32766] ppid=32743 vsize=26002768 CPUtime=0 cores=0-7
/proc/32746/task/32766/stat : 32766 (java) S 32743 32746 24937 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 16765358 26626834432 112455 18446744073709551615 4194304 4196468 140723616993936 139762119699248 139762930440834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 26002768

[startup+6.30164 s]
/proc/loadavg: 7.76 7.96 7.94 21/219 334
/proc/meminfo: memFree=30630068/32770624 swapFree=0/253508
[pid=32746] ppid=32743 vsize=27739612 CPUtime=27.99 cores=0-7
/proc/32746/stat : 32746 (java) S 32743 32746 24937 0 -1 1077944320 60464 0 0 0 2653 146 0 0 20 0 46 0 16765338 28405362688 345197 18446744073709551615 4194304 4196468 140723616993936 140723616976480 139762930429687 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
/proc/32746/statm: 6934903 345197 3807 1 0 6923164 0
[pid=32746/tid=32748] ppid=32743 vsize=27739612 CPUtime=3.43 cores=0-7
/proc/32746/task/32748/stat : 32748 (java) S 32743 32746 24937 0 -1 1077944384 18022 0 0 0 329 14 0 0 20 0 46 0 16765347 28405362688 345197 18446744073709551615 4194304 4196468 140723616993936 139762934667392 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32749] ppid=32743 vsize=27739612 CPUtime=0.37 cores=0-7
/proc/32746/task/32749/stat : 32749 (java) S 32743 32746 24937 0 -1 1077944384 644 0 0 0 24 13 0 0 20 0 46 0 16765348 28405362688 345197 18446744073709551615 4194304 4196468 140723616993936 139762887396240 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32750] ppid=32743 vsize=27739612 CPUtime=0.36 cores=0-7
/proc/32746/task/32750/stat : 32750 (java) S 32743 32746 24937 0 -1 1077944384 1021 0 0 0 24 12 0 0 20 0 46 0 16765348 28405362688 345197 18446744073709551615 4194304 4196468 140723616993936 139762886343440 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32751] ppid=32743 vsize=27739612 CPUtime=0.35 cores=0-7
/proc/32746/task/32751/stat : 32751 (java) S 32743 32746 24937 0 -1 1077944384 257 0 0 0 23 12 0 0 20 0 46 0 16765348 28405362688 345197 18446744073709551615 4194304 4196468 140723616993936 139762885291152 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32752] ppid=32743 vsize=27739612 CPUtime=0.37 cores=0-7
/proc/32746/task/32752/stat : 32752 (java) S 32743 32746 24937 0 -1 1077944384 470 0 0 0 25 12 0 0 20 0 46 0 16765348 28405362688 345197 18446744073709551615 4194304 4196468 140723616993936 139762884238352 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32753] ppid=32743 vsize=27739612 CPUtime=0.38 cores=0-7
/proc/32746/task/32753/stat : 32753 (java) S 32743 32746 24937 0 -1 1077944384 342 0 0 0 25 13 0 0 20 0 46 0 16765348 28405362688 345197 18446744073709551615 4194304 4196468 140723616993936 139762883185040 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32754] ppid=32743 vsize=27739612 CPUtime=0.38 cores=0-7
/proc/32746/task/32754/stat : 32754 (java) S 32743 32746 24937 0 -1 1077944384 442 0 0 0 25 13 0 0 20 0 46 0 16765348 28405362688 345197 18446744073709551615 4194304 4196468 140723616993936 139762882132240 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32755] ppid=32743 vsize=27739612 CPUtime=0.37 cores=0-7
/proc/32746/task/32755/stat : 32755 (java) S 32743 32746 24937 0 -1 1077944384 768 0 0 0 25 12 0 0 20 0 46 0 16765348 28405362688 345197 18446744073709551615 4194304 4196468 140723616993936 139762881079952 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32756] ppid=32743 vsize=27739612 CPUtime=0.34 cores=0-7
/proc/32746/task/32756/stat : 32756 (java) S 32743 32746 24937 0 -1 1077944384 269 0 0 0 24 10 0 0 20 0 46 0 16765348 28405362688 345197 18446744073709551615 4194304 4196468 140723616993936 139762880027152 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32757] ppid=32743 vsize=27739612 CPUtime=0.02 cores=0-7
/proc/32746/task/32757/stat : 32757 (java) S 32743 32746 24937 0 -1 1077944384 1276 0 0 0 2 0 0 0 20 0 46 0 16765350 28405362688 345197 18446744073709551615 4194304 4196468 140723616993936 139762197281392 139762930440834 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32758] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/32758/stat : 32758 (java) S 32743 32746 24937 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 16765350 28405362688 345197 18446744073709551615 4194304 4196468 140723616993936 139762128119136 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32759] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/32759/stat : 32759 (java) S 32743 32746 24937 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 46 0 16765350 28405362688 345197 18446744073709551615 4194304 4196468 140723616993936 139762127066752 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32760] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/32760/stat : 32760 (java) S 32743 32746 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 16765353 28405362688 345197 18446744073709551615 4194304 4196468 140723616993936 139762126015056 139762930448283 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32761] ppid=32743 vsize=27739612 CPUtime=2.77 cores=0-7
/proc/32746/task/32761/stat : 32761 (java) R 32743 32746 24937 0 -1 4202560 9021 0 0 0 274 3 0 0 20 0 46 0 16765353 28405362688 345197 18446744073709551615 4194304 4196468 140723616993936 139762124938880 139762915857252 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32762] ppid=32743 vsize=27739612 CPUtime=2.4 cores=0-7
/proc/32746/task/32762/stat : 32762 (java) R 32743 32746 24937 0 -1 4202560 7678 0 0 0 239 1 0 0 20 0 46 0 16765353 28405362688 345197 18446744073709551615 4194304 4196468 140723616993936 139762123897376 139762913929885 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32763] ppid=32743 vsize=27739612 CPUtime=2.2 cores=0-7
/proc/32746/task/32763/stat : 32763 (java) R 32743 32746 24937 0 -1 4202560 8494 0 0 0 218 2 0 0 20 0 46 0 16765353 28405362688 345197 18446744073709551615 4194304 4196468 140723616993936 139762122844288 139762915329194 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32764] ppid=32743 vsize=27739612 CPUtime=0.94 cores=0-7
/proc/32746/task/32764/stat : 32764 (java) S 32743 32746 24937 0 -1 1077944384 7003 0 0 0 92 2 0 0 20 0 46 0 16765353 28405362688 345197 18446744073709551615 4194304 4196468 140723616993936 139762121804016 139762930440834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32765] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7

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

/proc/32746/task/308/stat : 308 (java) S 32743 32746 24937 0 -1 1077944384 55 0 0 0 14 0 0 0 20 0 46 0 16765709 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762099954832 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=310] ppid=32743 vsize=27739612 CPUtime=214.33 cores=0-7
/proc/32746/task/310/stat : 310 (java) R 32743 32746 24937 0 -1 4202560 12691 0 0 0 21388 45 0 0 20 0 46 0 16765709 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762098895704 139762548745553 0 4 1 16800974 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=311] ppid=32743 vsize=27739612 CPUtime=215.04 cores=0-7
/proc/32746/task/311/stat : 311 (java) R 32743 32746 24937 0 -1 4202560 10087 0 0 0 21460 44 0 0 20 0 46 0 16765709 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762097843816 139762558011294 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=312] ppid=32743 vsize=27739612 CPUtime=214.69 cores=0-7
/proc/32746/task/312/stat : 312 (java) R 32743 32746 24937 0 -1 4202560 10047 0 0 0 21430 39 0 0 20 0 46 0 16765709 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762096790680 139762548744946 0 4 1 16800974 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=313] ppid=32743 vsize=27739612 CPUtime=214.3 cores=0-7
/proc/32746/task/313/stat : 313 (java) R 32743 32746 24937 0 -1 4202560 9441 0 0 0 21393 37 0 0 20 0 46 0 16765709 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762095738000 139762559526390 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=314] ppid=32743 vsize=27739612 CPUtime=0.13 cores=0-7
/proc/32746/task/314/stat : 314 (java) S 32743 32746 24937 0 -1 1077944384 60 0 0 0 13 0 0 0 20 0 46 0 16765709 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762094691344 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=315] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/315/stat : 315 (java) S 32743 32746 24937 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 46 0 16765709 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762093638544 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=316] ppid=32743 vsize=27739612 CPUtime=214.94 cores=0-7
/proc/32746/task/316/stat : 316 (java) R 32743 32746 24937 0 -1 4202560 11231 0 0 0 21456 38 0 0 20 0 46 0 16765709 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762092582144 139762554344068 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=317] ppid=32743 vsize=27739612 CPUtime=212.82 cores=0-7
/proc/32746/task/317/stat : 317 (java) R 32743 32746 24937 0 -1 4202560 11236 0 0 0 21243 39 0 0 20 0 46 0 16765709 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762091526712 139762548745553 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=318] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/318/stat : 318 (java) S 32743 32746 24937 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 46 0 16765733 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762090481168 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=319] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/319/stat : 319 (java) S 32743 32746 24937 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 46 0 16765835 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762087294352 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=320] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/320/stat : 320 (java) S 32743 32746 24937 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 46 0 16765837 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762086242064 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=321] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/321/stat : 321 (java) S 32743 32746 24937 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 46 0 16765842 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762085189264 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=322] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/322/stat : 322 (java) S 32743 32746 24937 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 46 0 16765844 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762084135952 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=323] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/323/stat : 323 (java) S 32743 32746 24937 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 46 0 16765846 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762083083152 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=324] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/324/stat : 324 (java) S 32743 32746 24937 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 46 0 16765846 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762082030864 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=325] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/325/stat : 325 (java) S 32743 32746 24937 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 46 0 16765847 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762080978064 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=329] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/329/stat : 329 (java) S 32743 32746 24937 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 16765847 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762079925776 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=330] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/330/stat : 330 (java) S 32743 32746 24937 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 46 0 16765848 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762078872976 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=331] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/331/stat : 331 (java) S 32743 32746 24937 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 46 0 16765850 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762077820688 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=334] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/334/stat : 334 (java) S 32743 32746 24937 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 46 0 16765851 28405362688 1987184 18446744073709551615 4194304 4196468 140723616993936 139762076767888 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
Current children cumulated CPU time (s) 1748.98
Current children cumulated vsize (KiB) 27739612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+243.802 s]
/proc/loadavg: 8.56 8.29 8.08 10/219 338
/proc/meminfo: memFree=23777072/32770624 swapFree=0/253572
[pid=32746] ppid=32743 vsize=27739612 CPUtime=1920.26 cores=0-7
/proc/32746/stat : 32746 (java) S 32743 32746 24937 0 -1 1077944320 207666 0 0 0 191350 676 0 0 20 0 46 0 16765338 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 140723616976480 139762930429687 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
/proc/32746/statm: 6934903 1987695 3825 1 0 6923164 0
[pid=32746/tid=32748] ppid=32743 vsize=27739612 CPUtime=3.43 cores=0-7
/proc/32746/task/32748/stat : 32748 (java) S 32743 32746 24937 0 -1 1077944384 18022 0 0 0 329 14 0 0 20 0 46 0 16765347 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762934667392 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32749] ppid=32743 vsize=27739612 CPUtime=2.63 cores=0-7
/proc/32746/task/32749/stat : 32749 (java) S 32743 32746 24937 0 -1 1077944384 5083 0 0 0 225 38 0 0 20 0 46 0 16765348 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762887396240 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32750] ppid=32743 vsize=27739612 CPUtime=2.61 cores=0-7
/proc/32746/task/32750/stat : 32750 (java) S 32743 32746 24937 0 -1 1077944384 6032 0 0 0 226 35 0 0 20 0 46 0 16765348 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762886343440 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32751] ppid=32743 vsize=27739612 CPUtime=2.63 cores=0-7
/proc/32746/task/32751/stat : 32751 (java) S 32743 32746 24937 0 -1 1077944384 4135 0 0 0 227 36 0 0 20 0 46 0 16765348 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762885291152 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32752] ppid=32743 vsize=27739612 CPUtime=2.65 cores=0-7
/proc/32746/task/32752/stat : 32752 (java) S 32743 32746 24937 0 -1 1077944384 4953 0 0 0 227 38 0 0 20 0 46 0 16765348 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762884238352 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32753] ppid=32743 vsize=27739612 CPUtime=2.64 cores=0-7
/proc/32746/task/32753/stat : 32753 (java) S 32743 32746 24937 0 -1 1077944384 3526 0 0 0 227 37 0 0 20 0 46 0 16765348 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762883185040 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32754] ppid=32743 vsize=27739612 CPUtime=2.67 cores=0-7
/proc/32746/task/32754/stat : 32754 (java) S 32743 32746 24937 0 -1 1077944384 4669 0 0 0 230 37 0 0 20 0 46 0 16765348 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762882132240 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32755] ppid=32743 vsize=27739612 CPUtime=2.67 cores=0-7
/proc/32746/task/32755/stat : 32755 (java) S 32743 32746 24937 0 -1 1077944384 4898 0 0 0 229 38 0 0 20 0 46 0 16765348 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762881079952 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32756] ppid=32743 vsize=27739612 CPUtime=2.61 cores=0-7
/proc/32746/task/32756/stat : 32756 (java) S 32743 32746 24937 0 -1 1077944384 3308 0 0 0 227 34 0 0 20 0 46 0 16765348 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762880027152 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32757] ppid=32743 vsize=27739612 CPUtime=0.25 cores=0-7
/proc/32746/task/32757/stat : 32757 (java) S 32743 32746 24937 0 -1 1077944384 11359 0 0 0 24 1 0 0 20 0 46 0 16765350 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762197281392 139762930440834 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32758] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/32758/stat : 32758 (java) S 32743 32746 24937 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 46 0 16765350 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762128119136 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32759] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/32759/stat : 32759 (java) S 32743 32746 24937 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 46 0 16765350 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762127066752 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32760] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/32760/stat : 32760 (java) S 32743 32746 24937 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 16765353 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762126015056 139762930448283 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32761] ppid=32743 vsize=27739612 CPUtime=2.91 cores=0-7
/proc/32746/task/32761/stat : 32761 (java) S 32743 32746 24937 0 -1 1077944384 11152 0 0 0 287 4 0 0 20 0 46 0 16765353 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762124961904 139762930440834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32762] ppid=32743 vsize=27739612 CPUtime=2.65 cores=0-7
/proc/32746/task/32762/stat : 32762 (java) S 32743 32746 24937 0 -1 1077944384 8632 0 0 0 263 2 0 0 20 0 46 0 16765353 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762123909104 139762930440834 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32763] ppid=32743 vsize=27739612 CPUtime=2.3 cores=0-7
/proc/32746/task/32763/stat : 32763 (java) S 32743 32746 24937 0 -1 1077944384 10016 0 0 0 228 2 0 0 20 0 46 0 16765353 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762122856816 139762930440834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32764] ppid=32743 vsize=27739612 CPUtime=1 cores=0-7
/proc/32746/task/32764/stat : 32764 (java) S 32743 32746 24937 0 -1 1077944384 12732 0 0 0 96 4 0 0 20 0 46 0 16765353 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762121804016 139762930440834 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32765] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/32765/stat : 32765 (java) S 32743 32746 24937 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 16765353 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762120751968 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32766] ppid=32743 vsize=27739612 CPUtime=0.09 cores=0-7
/proc/32746/task/32766/stat : 32766 (java) S 32743 32746 24937 0 -1 1077944384 560 0 0 0 7 2 0 0 20 0 46 0 16765358 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762119699248 139762930440834 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=32767] ppid=32743 vsize=27739612 CPUtime=0.01 cores=0-7
/proc/32746/task/32767/stat : 32767 (java) S 32743 32746 24937 0 -1 1077944384 529 0 0 0 1 0 0 0 20 0 46 0 16765681 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762109412768 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=304] ppid=32743 vsize=27739612 CPUtime=0.73 cores=0-7
/proc/32746/task/304/stat : 304 (java) R 32743 32746 24937 0 -1 1077944384 2849 0 0 0 33 40 0 0 20 0 46 0 16765694 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762106262960 139762930440834 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=305] ppid=32743 vsize=27739612 CPUtime=0.02 cores=0-7
/proc/32746/task/305/stat : 305 (java) S 32743 32746 24937 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 46 0 16765706 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762105209872 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=306] ppid=32743 vsize=27739612 CPUtime=236.37 cores=0-7
/proc/32746/task/306/stat : 306 (java) R 32743 32746 24937 0 -1 4202560 11890 0 0 0 23592 45 0 0 20 0 46 0 16765706 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762102053992 139762548745032 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=307] ppid=32743 vsize=27739612 CPUtime=235.24 cores=0-7
/proc/32746/task/307/stat : 307 (java) R 32743 32746 24937 0 -1 4202560 12356 0 0 0 23470 54 0 0 20 0 46 0 16765707 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762101001736 139762548745642 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=308] ppid=32743 vsize=27739612 CPUtime=0.14 cores=0-7
/proc/32746/task/308/stat : 308 (java) S 32743 32746 24937 0 -1 1077944384 55 0 0 0 14 0 0 0 20 0 46 0 16765709 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762099954832 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=310] ppid=32743 vsize=27739612 CPUtime=235.61 cores=0-7
/proc/32746/task/310/stat : 310 (java) R 32743 32746 24937 0 -1 4202560 13334 0 0 0 23516 45 0 0 20 0 46 0 16765709 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762098896616 139762559526390 0 4 1 16800974 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=311] ppid=32743 vsize=27739612 CPUtime=236.35 cores=0-7
/proc/32746/task/311/stat : 311 (java) R 32743 32746 24937 0 -1 4202560 10405 0 0 0 23590 45 0 0 20 0 46 0 16765709 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762097843336 139762557686711 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=312] ppid=32743 vsize=27739612 CPUtime=235.98 cores=0-7
/proc/32746/task/312/stat : 312 (java) R 32743 32746 24937 0 -1 4202560 11061 0 0 0 23558 40 0 0 20 0 46 0 16765709 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762096791528 139762559851634 0 4 1 16800974 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=313] ppid=32743 vsize=27739612 CPUtime=235.42 cores=0-7
/proc/32746/task/313/stat : 313 (java) R 32743 32746 24937 0 -1 4202560 9769 0 0 0 23505 37 0 0 20 0 46 0 16765709 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762095737688 139762552674585 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=314] ppid=32743 vsize=27739612 CPUtime=0.13 cores=0-7
/proc/32746/task/314/stat : 314 (java) S 32743 32746 24937 0 -1 1077944384 62 0 0 0 13 0 0 0 20 0 46 0 16765709 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762094691344 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=315] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/315/stat : 315 (java) S 32743 32746 24937 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 46 0 16765709 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762093638544 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=316] ppid=32743 vsize=27739612 CPUtime=236.25 cores=0-7
/proc/32746/task/316/stat : 316 (java) R 32743 32746 24937 0 -1 4202560 11650 0 0 0 23585 40 0 0 20 0 46 0 16765709 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762092579600 139762559526390 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=317] ppid=32743 vsize=27739612 CPUtime=233.96 cores=0-7
/proc/32746/task/317/stat : 317 (java) R 32743 32746 24937 0 -1 4202560 11578 0 0 0 23357 39 0 0 20 0 46 0 16765709 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762091529232 139762554344136 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=318] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/318/stat : 318 (java) S 32743 32746 24937 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 46 0 16765733 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762090481168 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=319] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/319/stat : 319 (java) S 32743 32746 24937 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 46 0 16765835 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762087294352 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=320] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/320/stat : 320 (java) S 32743 32746 24937 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 46 0 16765837 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762086242064 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=321] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/321/stat : 321 (java) S 32743 32746 24937 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 46 0 16765842 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762085189264 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=322] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/322/stat : 322 (java) S 32743 32746 24937 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 46 0 16765844 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762084135952 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=323] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/323/stat : 323 (java) S 32743 32746 24937 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 46 0 16765846 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762083083152 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=324] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/324/stat : 324 (java) S 32743 32746 24937 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 46 0 16765846 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762082030864 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=325] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/325/stat : 325 (java) S 32743 32746 24937 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 46 0 16765847 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762080978064 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=329] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/329/stat : 329 (java) S 32743 32746 24937 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 16765847 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762079925776 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=330] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/330/stat : 330 (java) S 32743 32746 24937 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 46 0 16765848 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762078872976 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=331] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/331/stat : 331 (java) S 32743 32746 24937 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 46 0 16765850 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762077820688 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
[pid=32746/tid=334] ppid=32743 vsize=27739612 CPUtime=0 cores=0-7
/proc/32746/task/334/stat : 334 (java) S 32743 32746 24937 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 46 0 16765851 28405362688 1987695 18446744073709551615 4194304 4196468 140723616993936 139762076767888 139762930439893 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36868096 140723617001872 140723617002056 140723617002056 140723617005519 0
Current children cumulated CPU time (s) 1920.26
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 32746 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+243.912 s]
/proc/loadavg: 8.56 8.29 8.08 10/219 338
/proc/meminfo: memFree=23777072/32770624 swapFree=0/253572
[pid=32746] ppid=32743 vsize=0 CPUtime=1921.08 cores=0-7
/proc/32746/stat : 32746 (java) Z 32743 32746 24937 0 -1 4228108 210317 0 0 0 191431 677 0 0 20 0 2 0 16765338 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 9 0 0 0 0 0 0 0 0 0 0
/proc/32746/statm: 0 0 0 0 0 0 0
[pid=32746/tid=307] ppid=32743 vsize=0 CPUtime=235.32 cores=0-7
/proc/32746/task/307/stat : 307 (java) R 32743 32746 24937 0 -1 4203588 12361 0 0 0 23478 54 0 0 20 0 2 0 16765707 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 5 0 0 3 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1921.08
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 243.941
CPU time (s): 1921.11
CPU user time (s): 1914.31
CPU system time (s): 6.80121
CPU usage (%): 787.532
Max. virtual memory (cumulated for all children) (KiB): 27739612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1914.31
system time used= 6.80121
maximum resident set size= 7952724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210317
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= 36854
involuntary context switches= 39296

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.30104 second user time and 2.58837 second system time

The end

Launcher Data 

Begin job on node131 at 2017-08-02 15:30:14
IDJOB=4257082
IDBENCH=122969
IDSOLVER=2641
FILE ID=node131/4257082-1501681451
RUNJOBID= node131-1501676534-24993
PBS_JOBID= 
Free space on /tmp= 61944 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-10-360-120.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-4257082-1501681451/watcher-4257082-1501681451 -o /tmp/evaluation-result-4257082-1501681451/solver-4257082-1501681451 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node131-1501676534-24993 --watchdog 324  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 573532007 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257082-1501681451.xml

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

MD5SUM BENCH= 76b33169874d58bfc9aedd730e623c3c
RANDOM SEED=573532007

node131.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	: 5334.07
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	: 5334.07
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	: 5334.07
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	: 5334.07
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:        31728816 kB
MemAvailable:   32015208 kB
Buffers:          134748 kB
Cached:           439992 kB
SwapCached:            0 kB
Active:           359148 kB
Inactive:         270212 kB
Active(anon):      55280 kB
Inactive(anon):    16724 kB
Active(file):     303868 kB
Inactive(file):   253488 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42380 kB
Writeback:             8 kB
AnonPages:         54864 kB
Mapped:            30840 kB
Shmem:             17064 kB
Slab:             115008 kB
SReclaimable:      89740 kB
SUnreclaim:        25268 kB
KernelStack:        3120 kB
PageTables:         4792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     286352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61904 MiB
End job on node131 at 2017-08-02 15:34:18