Trace number 4285838

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2017-08-22SAT (TO)83 1988.87 252.166

General information on the benchmark

NameOpd/Opd-sum-large/
Opd-10-325-100.xml
MD5SUM34a68c11381dc26a6f51296df739d32e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark43
Best CPU time to get the best result obtained on this benchmark1994.3199
Satisfiable
(Un)Satisfiability was proved
Number of variables3251
Number of constraints56
Number of domains2
Minimum domain size2
Maximum domain size302
Distribution of domain sizes[{"size":2,"count":3250},{"size":302,"count":1}]
Minimum variable degree11
Maximum variable degree46
Distribution of variable degrees[{"degree":11,"count":3250},{"degree":46,"count":1}]
Minimum constraint arity325
Maximum constraint arity3250
Distribution of constraint arities[{"arity":325,"count":10},{"arity":651,"count":45},{"arity":3250,"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.30/0.25	c version: 2017-08-22
0.30/0.25	c seed: 901506605
0.30/0.26	c timeout: 2016
0.30/0.26	c memlimit: 22000
0.30/0.26	c nbcore: 8
0.30/0.28	c Parsing instance...
1.15/0.69	c Parsing done, starting search...
16.26/4.49	o 325
16.26/4.49	o 324
16.26/4.50	o 323
16.26/4.50	o 322
17.06/4.52	o 321
17.06/4.52	o 320
17.06/4.52	o 319
17.06/4.53	o 318
17.86/4.64	o 317
17.86/4.64	o 316
17.86/4.65	o 315
17.86/4.65	o 314
17.86/4.65	o 313
17.86/4.65	o 312
17.86/4.67	o 311
17.86/4.69	o 310
17.86/4.69	o 309
17.86/4.69	o 308
17.86/4.70	o 307
17.86/4.70	o 306
18.62/4.71	o 305
18.62/4.71	o 304
18.62/4.72	o 303
18.62/4.72	o 302
18.62/4.72	o 301
18.62/4.72	o 300
18.62/4.73	o 299
18.62/4.73	o 298
18.62/4.73	o 297
18.62/4.76	o 296
18.62/4.76	o 295
18.62/4.76	o 294
18.62/4.76	o 293
18.62/4.77	o 292
18.62/4.77	o 291
18.62/4.77	o 290
18.62/4.78	o 289
18.62/4.79	o 288
18.62/4.80	o 287
18.62/4.80	o 286
18.62/4.81	o 285
18.62/4.81	o 284
18.62/4.81	o 283
18.62/4.81	o 282
19.47/4.82	o 281
19.47/4.82	o 280
19.47/4.83	o 279
19.47/4.83	o 278
19.47/4.83	o 277
19.47/4.83	o 276
19.47/4.84	o 275
19.47/4.84	o 274
19.47/4.84	o 273
19.47/4.84	o 272
19.47/4.85	o 271
19.47/4.85	o 270
19.47/4.85	o 269
19.47/4.85	o 268
19.47/4.85	o 267
19.47/4.85	o 266
19.47/4.85	o 265
19.47/4.87	o 264
19.47/4.87	o 263
19.47/4.87	o 262
19.47/4.87	o 261
19.47/4.88	o 260
19.47/4.88	o 259
19.47/4.88	o 258
19.47/4.88	o 257
19.47/4.88	o 256
19.47/4.88	o 255
19.47/4.89	o 254
19.47/4.89	o 253
20.18/4.90	o 252
20.18/4.90	o 251
20.18/4.91	o 250
20.18/4.91	o 249
20.18/4.91	o 248
20.18/4.91	o 247
20.18/4.92	o 246
20.18/4.92	o 245
20.18/4.92	o 244
20.18/4.93	o 243
20.18/4.93	o 242
20.18/4.93	o 241
20.18/4.93	o 240
20.18/4.93	o 239
20.18/4.94	o 238
20.18/4.94	o 237
20.18/4.94	o 236
20.18/4.94	o 235
20.18/4.94	o 234
20.18/4.95	o 233
20.18/4.95	o 232
20.18/4.95	o 231
20.18/4.95	o 230
20.18/4.95	o 229
20.18/4.96	o 228
20.18/4.96	o 227
20.18/4.96	o 226
20.18/4.96	o 225
20.18/4.96	o 224
20.18/4.97	o 223
20.18/4.97	o 222
20.18/4.97	o 221
20.18/4.97	o 220
20.18/4.97	o 219
20.18/4.97	o 218
20.18/4.97	o 217
20.18/4.99	o 216
20.18/4.99	o 215
20.18/4.99	o 214
20.18/4.99	o 213
20.18/4.99	o 212
20.18/5.00	o 211
20.18/5.00	o 210
20.18/5.00	o 209
20.18/5.00	o 208
20.18/5.00	o 207
21.05/5.02	o 206
21.05/5.02	o 205
21.05/5.02	o 204
21.05/5.02	o 203
21.05/5.02	o 202
21.05/5.02	o 201
21.05/5.02	o 200
21.05/5.03	o 199
21.05/5.03	o 198
21.05/5.03	o 197
21.05/5.03	o 196
21.05/5.04	o 195
21.05/5.04	o 194
21.05/5.04	o 193
21.05/5.04	o 192
21.05/5.04	o 191
21.05/5.06	o 190
21.05/5.06	o 189
21.05/5.06	o 188
21.05/5.06	o 187
21.05/5.06	o 186
21.05/5.07	o 185
21.05/5.07	o 184
21.05/5.07	o 183
21.05/5.07	o 182
21.05/5.07	o 181
21.05/5.08	o 180
21.05/5.08	o 179
21.05/5.08	o 178
21.05/5.08	o 177
21.05/5.08	o 176
21.05/5.09	o 175
21.05/5.09	o 174
21.05/5.09	o 173
21.05/5.09	o 172
21.05/5.09	o 171
21.05/5.10	o 170
21.05/5.10	o 169
21.05/5.10	o 168
21.05/5.10	o 167
21.85/5.11	o 166
21.85/5.11	o 165
21.85/5.11	o 164
21.85/5.12	o 163
21.85/5.12	o 162
21.85/5.12	o 161
21.85/5.12	o 160
21.85/5.12	o 159
21.85/5.12	o 158
21.85/5.13	o 157
21.85/5.13	o 156
21.85/5.13	o 155
21.85/5.13	o 154
21.85/5.13	o 153
21.85/5.15	o 152
21.85/5.15	o 151
21.85/5.17	o 150
21.85/5.17	o 149
21.85/5.17	o 148
21.85/5.17	o 147
21.85/5.17	o 146
21.85/5.17	o 145
21.85/5.17	o 144
21.85/5.17	o 143
21.85/5.18	o 142
21.85/5.18	o 141
21.85/5.18	o 140
21.85/5.19	o 139
21.85/5.19	o 138
21.85/5.19	o 137
22.58/5.20	o 136
22.58/5.20	o 135
22.58/5.20	o 134
22.58/5.20	o 133
22.58/5.21	o 132
22.58/5.21	o 131
22.58/5.21	o 130
22.58/5.22	o 129
22.58/5.22	o 128
22.58/5.22	o 127
22.58/5.22	o 126
22.58/5.22	o 125
22.58/5.22	o 124
22.58/5.22	o 123
22.58/5.22	o 122
22.58/5.23	o 121
22.58/5.23	o 120
22.58/5.23	o 119
22.58/5.24	o 118
22.58/5.24	o 117
22.58/5.24	o 116
22.58/5.24	o 115
22.58/5.24	o 114
22.58/5.26	o 113
22.58/5.26	o 112
22.58/5.26	o 111
22.58/5.26	o 110
22.58/5.26	o 109
22.58/5.26	o 108
22.58/5.26	o 107
22.58/5.27	o 106
22.58/5.27	o 105
22.58/5.27	o 104
22.58/5.27	o 103
22.58/5.27	o 102
22.58/5.28	o 101
22.58/5.28	o 100
32.90/6.53	o 99
72.30/11.63	o 98
91.47/14.09	o 97
163.04/23.07	o 96
221.93/30.48	o 95
300.04/40.24	o 94
460.26/60.31	o 93
587.00/76.29	o 92
758.20/97.78	o 91
836.33/107.54	o 90
1207.68/154.17	o 89
1383.05/176.19	o 88
1452.34/184.81	o 87
1638.86/208.27	o 86
1665.18/211.57	o 85
1694.66/215.29	o 84
1963.99/249.09	o 83
1987.93/252.09	s SATISFIABLE
1987.93/252.11	v <instantiation>
1987.93/252.11	v 	<list>
1987.93/252.11	v 		z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[0][120] x[0][121] x[0][122] x[0][123] x[0][124] x[0][125] x[0][126] x[0][127] x[0][128] x[0][129] x[0][130] x[0][131] x[0][132] x[0][133] x[0][134] x[0][135] x[0][136] x[0][137] x[0][138] x[0][139] x[0][140] x[0][141] x[0][142] x[0][143] x[0][144] x[0][145] x[0][146] x[0][147] x[0][148] x[0][149] x[0][150] x[0][151] x[0][152] x[0][153] x[0][154] x[0][155] x[0][156] x[0][157] x[0][158] x[0][159] x[0][160] x[0][161] x[0][162] x[0][163] x[0][164] x[0][165] x[0][166] x[0][167] x[0][168] x[0][169] x[0][170] x[0][171] x[0][172] x[0][173] x[0][174] x[0][175] x[0][176] x[0][177] x[0][178] x[0][179] x[0][180] x[0][181] x[0][182] x[0][183] x[0][184] x[0][185] x[0][186] x[0][187] x[0][188] x[0][189] x[0][190] x[0][191] x[0][192] x[0][193] x[0][194] x[0][195] x[0][196] x[0][197] x[0][198] x[0][199] x[0][200] x[0][201] x[0][202] x[0][203] x[0][204] x[0][205] x[0][206] x[0][207] x[0][208] x[0][209] x[0][210] x[0][211] x[0][212] x[0][213] x[0][214] x[0][215] x[0][216] x[0][217] x[0][218] x[0][219] x[0][220] x[0][221] x[0][222] x[0][223] x[0][224] x[0][225] x[0][226] x[0][227] x[0][228] x[0][229] x[0][230] x[0][231] x[0][232] x[0][233] x[0][234] x[0][235] x[0][236] x[0][237] x[0][238] x[0][239] x[0][240] x[0][241] x[0][242] x[0][243] x[0][244] x[0][245] x[0][246] x[0][247] x[0][248] x[0][249] x[0][250] x[0][251] x[0][252] x[0][253] x[0][254] x[0][255] x[0][256] x[0][257] x[0][258] x[0][259] x[0][260] x[0][261] x[0][262] x[0][263] x[0][264] x[0][265] x[0][266] x[0][267] x[0][268] x[0][269] x[0][270] x[0][271] x[0][272] x[0][273] x[0][274] x[0][275] x[0][276] x[0][277] x[0][278] x[0][279] x[0][280] x[0][281] x[0][282] x[0][283] x[0][284] x[0][285] x[0][286] x[0][287] x[0][288] x[0][289] x[0][290] x[0][291] x[0][292] x[0][293] x[0][294] x[0][295] x[0][296] x[0][297] x[0][298] x[0][299] x[0][300] x[0][301] x[0][302] x[0][303] x[0][304] x[0][305] x[0][306] x[0][307] x[0][308] x[0][309] x[0][310] x[0][311] x[0][312] x[0][313] x[0][314] x[0][315] x[0][316] x[0][317] x[0][318] x[0][319] x[0][320] x[0][321] x[0][322] x[0][323] x[0][324] x[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[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[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[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[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[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[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[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[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]
1987.93/252.11	v 	</list>
1987.93/252.11	v 	<values>
1987.93/252.11	v 		83 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 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 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 0 0 0 1 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 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 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 1 1 1 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 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 0 0 1 0 1 0 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 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 
1987.93/252.11	v 	</values>
1987.93/252.11	v </instantiation>

Verifier Data 

OK	83

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (10755 MiB free)
  memory of node 1: 16384 MiB (12507 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285838-1503438297/watcher-4285838-1503438297 -o /tmp/evaluation-result-4285838-1503438297/solver-4285838-1503438297 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503423573-5557 --watchdog 312 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 901506605 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4285838-1503438297.xml 

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

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


[startup+0.100061 s]*
/proc/loadavg: 8.93 8.67 8.47 2/199 7091
/proc/meminfo: memFree=23804340/32770624 swapFree=67108860/67108860
[pid=7071] ppid=7068 vsize=26000852 memory=34184 CPUtime=0.12 cores=0-7
/proc/7071/stat : 7071 (java) S 7068 7071 5530 0 -1 1077944320 8409 0 0 0 11 1 0 0 20 0 20 0 176917202 26624872448 8546 33554432000 4194304 4196468 140731867476368 140731867458912 140515246702327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
/proc/7071/statm: 6500213 8546 3411 1 0 6487932 0
[pid=7071/tid=7073] ppid=7068 vsize=26000852 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/7071/task/7073/stat : 7073 (java) R 7068 7071 5530 0 -1 4202560 6373 0 0 0 8 1 0 0 20 0 20 0 176917203 26624872448 8546 33554432000 4194304 4196468 140731867476368 140515250919008 140515230782814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7074] ppid=7068 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7071/task/7074/stat : 7074 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26624872448 8546 33554432000 4194304 4196468 140731867476368 140515169282320 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7075] ppid=7068 vsize=26000852 memory=140051166856832 CPUtime=0 cores=0-7
/proc/7071/task/7075/stat : 7075 (java) S 7068 7071 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176917204 26624872448 8546 33554432000 4194304 4196468 140731867476368 140515168229776 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7076] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7076/stat : 7076 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26624872448 8546 33554432000 4194304 4196468 140731867476368 140515167177232 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7077] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7077/stat : 7077 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26624872448 8546 33554432000 4194304 4196468 140731867476368 140515166124688 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7078] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7078/stat : 7078 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26624872448 8546 33554432000 4194304 4196468 140731867476368 140515165072144 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7079] ppid=7068 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/7071/task/7079/stat : 7079 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26624872448 8546 33554432000 4194304 4196468 140731867476368 140515164019600 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7080] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7080/stat : 7080 (java) S 7068 7071 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176917204 26624872448 8546 33554432000 4194304 4196468 140731867476368 140515162967056 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7081] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7081/stat : 7081 (java) S 7068 7071 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176917204 26624872448 8546 33554432000 4194304 4196468 140731867476368 140515161914512 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7082] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7082/stat : 7082 (java) S 7068 7071 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176917205 26624872448 8546 33554432000 4194304 4196468 140731867476368 140514756044784 140515246713474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7083] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7083/stat : 7083 (java) S 7068 7071 5530 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 176917206 26624872448 8546 33554432000 4194304 4196468 140731867476368 140513563370400 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7084] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7084/stat : 7084 (java) S 7068 7071 5530 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176917206 26624872448 8546 33554432000 4194304 4196468 140731867476368 140513562317808 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7085] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7085/stat : 7085 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917208 26624872448 8546 33554432000 4194304 4196468 140731867476368 140513561266384 140515246720923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7086] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7086/stat : 7086 (java) S 7068 7071 5530 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 176917208 26624872448 8546 33554432000 4194304 4196468 140731867476368 140513560214000 140515246713474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7087] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7087/stat : 7087 (java) R 7068 7071 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176917208 26624872448 8546 33554432000 4194304 4196468 140731867476368 140513559161456 140515246713474 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7088] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7088/stat : 7088 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917208 26624872448 8546 33554432000 4194304 4196468 140731867476368 140513558108912 140515246713474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7089] ppid=7068 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/7071/task/7089/stat : 7089 (java) R 7068 7071 5530 0 -1 4202560 374 0 0 0 1 0 0 0 20 0 20 0 176917208 26624872448 8546 33554432000 4194304 4196468 140731867476368 140513557056368 140515232383810 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7090] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7090/stat : 7090 (java) S 7068 7071 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176917209 26624872448 8546 33554432000 4194304 4196468 140731867476368 140513556003040 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7091] ppid=7068 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/7071/task/7091/stat : 7091 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917209 26624872448 8546 33554432000 4194304 4196468 140731867476368 140513554950576 140515246713474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 34184 KiB

[startup+0.210508 s]*
/proc/loadavg: 8.93 8.67 8.47 2/199 7091
/proc/meminfo: memFree=23793236/32770624 swapFree=67108860/67108860
[pid=7071] ppid=7068 vsize=26000852 memory=43328 CPUtime=0.3 cores=0-7
/proc/7071/stat : 7071 (java) S 7068 7071 5530 0 -1 1077944320 9420 0 0 0 27 3 0 0 20 0 20 0 176917202 26624872448 10832 33554432000 4194304 4196468 140731867476368 140731867458912 140515246702327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
/proc/7071/statm: 6500213 10832 3611 1 0 6487932 0
[pid=7071/tid=7073] ppid=7068 vsize=26000852 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/7071/task/7073/stat : 7073 (java) R 7068 7071 5530 0 -1 4202560 7008 0 0 0 18 2 0 0 20 0 20 0 176917203 26624872448 10832 33554432000 4194304 4196468 140731867476368 140515250907632 140515230782814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7074] ppid=7068 vsize=26000852 memory=9316 CPUtime=0 cores=0-7
/proc/7071/task/7074/stat : 7074 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26624872448 10832 33554432000 4194304 4196468 140731867476368 140515169282320 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7075] ppid=7068 vsize=26000852 memory=140051166863699 CPUtime=0 cores=0-7
/proc/7071/task/7075/stat : 7075 (java) S 7068 7071 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176917204 26624872448 10832 33554432000 4194304 4196468 140731867476368 140515168229776 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7076] ppid=7068 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/7071/task/7076/stat : 7076 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26624872448 10832 33554432000 4194304 4196468 140731867476368 140515167177232 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7077] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7077/stat : 7077 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26624872448 10832 33554432000 4194304 4196468 140731867476368 140515166124688 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7078] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7078/stat : 7078 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26624872448 10832 33554432000 4194304 4196468 140731867476368 140515165072144 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7079] ppid=7068 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/7071/task/7079/stat : 7079 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26624872448 10832 33554432000 4194304 4196468 140731867476368 140515164019600 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7080] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7080/stat : 7080 (java) S 7068 7071 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176917204 26624872448 10832 33554432000 4194304 4196468 140731867476368 140515162967056 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7081] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7081/stat : 7081 (java) S 7068 7071 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176917204 26624872448 10832 33554432000 4194304 4196468 140731867476368 140515161914512 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7082] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7082/stat : 7082 (java) S 7068 7071 5530 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 176917205 26624872448 10832 33554432000 4194304 4196468 140731867476368 140514756044784 140515246713474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7083] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7083/stat : 7083 (java) S 7068 7071 5530 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 176917206 26624872448 10832 33554432000 4194304 4196468 140731867476368 140513563370400 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7084] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7084/stat : 7084 (java) S 7068 7071 5530 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176917206 26624872448 10832 33554432000 4194304 4196468 140731867476368 140513562317808 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7085] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7085/stat : 7085 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917208 26624872448 10832 33554432000 4194304 4196468 140731867476368 140513561266384 140515246720923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7086] ppid=7068 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/7071/task/7086/stat : 7086 (java) S 7068 7071 5530 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 20 0 176917208 26624872448 10832 33554432000 4194304 4196468 140731867476368 140513560214000 140515246713474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7087] ppid=7068 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/7071/task/7087/stat : 7087 (java) S 7068 7071 5530 0 -1 1077944384 247 0 0 0 1 0 0 0 20 0 20 0 176917208 26624872448 10832 33554432000 4194304 4196468 140731867476368 140513559161456 140515246713474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7088] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7088/stat : 7088 (java) S 7068 7071 5530 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 176917208 26624872448 10832 33554432000 4194304 4196468 140731867476368 140513558108912 140515246713474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7089] ppid=7068 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/7071/task/7089/stat : 7089 (java) S 7068 7071 5530 0 -1 1077944384 425 0 0 0 5 0 0 0 20 0 20 0 176917208 26624872448 10832 33554432000 4194304 4196468 140731867476368 140513557056368 140515246713474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7090] ppid=7068 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7090/stat : 7090 (java) S 7068 7071 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176917209 26624872448 10832 33554432000 4194304 4196468 140731867476368 140513556003040 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7091] ppid=7068 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/7071/task/7091/stat : 7091 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917209 26624872448 10832 33554432000 4194304 4196468 140731867476368 140513554950576 140515246713474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 43328 KiB

[startup+0.310122 s]*
/proc/loadavg: 8.93 8.67 8.47 2/199 7091
/proc/meminfo: memFree=23785544/32770624 swapFree=67108860/67108860
[pid=7071] ppid=7068 vsize=26000872 memory=51124 CPUtime=0.49 cores=0-7
/proc/7071/stat : 7071 (java) S 7068 7071 5530 0 -1 1077944320 10554 0 0 0 46 3 0 0 20 0 20 0 176917202 26624892928 12781 33554432000 4194304 4196468 140731867476368 140731867458912 140515246702327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
/proc/7071/statm: 6500218 12781 3676 1 0 6487932 0
[pid=7071/tid=7073] ppid=7068 vsize=26000872 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7071/task/7073/stat : 7073 (java) R 7068 7071 5530 0 -1 4202560 7712 0 0 0 27 2 0 0 20 0 20 0 176917203 26624892928 12781 33554432000 4194304 4196468 140731867476368 140515250926736 140515230782844 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7074] ppid=7068 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7074/stat : 7074 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26624892928 12781 33554432000 4194304 4196468 140731867476368 140515169282320 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7075] ppid=7068 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7075/stat : 7075 (java) S 7068 7071 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176917204 26624892928 12781 33554432000 4194304 4196468 140731867476368 140515168229776 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7076] ppid=7068 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7076/stat : 7076 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26624892928 12781 33554432000 4194304 4196468 140731867476368 140515167177232 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7077] ppid=7068 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7077/stat : 7077 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26624892928 12781 33554432000 4194304 4196468 140731867476368 140515166124688 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7078] ppid=7068 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/7071/task/7078/stat : 7078 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26624892928 12781 33554432000 4194304 4196468 140731867476368 140515165072144 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7079] ppid=7068 vsize=26000872 memory=140051031880623 CPUtime=0 cores=0-7
/proc/7071/task/7079/stat : 7079 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26624892928 12781 33554432000 4194304 4196468 140731867476368 140515164019600 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7080] ppid=7068 vsize=26000872 memory=140051031882928 CPUtime=0 cores=0-7
/proc/7071/task/7080/stat : 7080 (java) S 7068 7071 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176917204 26624892928 12781 33554432000 4194304 4196468 140731867476368 140515162967056 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7081] ppid=7068 vsize=26000872 memory=3472463949213054432 CPUtime=0 cores=0-7
/proc/7071/task/7081/stat : 7081 (java) S 7068 7071 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176917204 26624892928 12781 33554432000 4194304 4196468 140731867476368 140515161914512 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7082] ppid=7068 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7082/stat : 7082 (java) S 7068 7071 5530 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 176917205 26624892928 12781 33554432000 4194304 4196468 140731867476368 140514756044784 140515246713474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7083] ppid=7068 vsize=26000872 memory=280102063777424 CPUtime=0 cores=0-7
/proc/7071/task/7083/stat : 7083 (java) S 7068 7071 5530 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 176917206 26624892928 12781 33554432000 4194304 4196468 140731867476368 140513563370400 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7084] ppid=7068 vsize=26000872 memory=280102063784336 CPUtime=0 cores=0-7
/proc/7071/task/7084/stat : 7084 (java) S 7068 7071 5530 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176917206 26624892928 12781 33554432000 4194304 4196468 140731867476368 140513562317808 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7085] ppid=7068 vsize=26000872 memory=280102063725488 CPUtime=0 cores=0-7
/proc/7071/task/7085/stat : 7085 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917208 26624892928 12781 33554432000 4194304 4196468 140731867476368 140513561266384 140515246720923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7086] ppid=7068 vsize=26000872 memory=280102063798160 CPUtime=0.04 cores=0-7
/proc/7071/task/7086/stat : 7086 (java) S 7068 7071 5530 0 -1 1077944384 563 0 0 0 4 0 0 0 20 0 20 0 176917208 26624892928 12781 33554432000 4194304 4196468 140731867476368 140513560214000 140515246713474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7087] ppid=7068 vsize=26000872 memory=280102063805072 CPUtime=0.02 cores=0-7
/proc/7071/task/7087/stat : 7087 (java) S 7068 7071 5530 0 -1 1077944384 255 0 0 0 2 0 0 0 20 0 20 0 176917208 26624892928 12781 33554432000 4194304 4196468 140731867476368 140513559161456 140515246713474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7088] ppid=7068 vsize=26000872 memory=280102063802768 CPUtime=0.02 cores=0-7
/proc/7071/task/7088/stat : 7088 (java) S 7068 7071 5530 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 20 0 176917208 26624892928 12781 33554432000 4194304 4196468 140731867476368 140513558108912 140515246713474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7089] ppid=7068 vsize=26000872 memory=280102063819376 CPUtime=0.08 cores=0-7
/proc/7071/task/7089/stat : 7089 (java) S 7068 7071 5530 0 -1 1077944384 443 0 0 0 8 0 0 0 20 0 20 0 176917208 26624892928 12781 33554432000 4194304 4196468 140731867476368 140513557056368 140515246713474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7090] ppid=7068 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7090/stat : 7090 (java) S 7068 7071 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176917209 26624892928 12781 33554432000 4194304 4196468 140731867476368 140513556003040 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7091] ppid=7068 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/7071/task/7091/stat : 7091 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917209 26624892928 12781 33554432000 4194304 4196468 140731867476368 140513554950576 140515246713474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 51124 KiB

[startup+0.700958 s]
/proc/loadavg: 8.93 8.67 8.47 6/199 7091
/proc/meminfo: memFree=23772392/32770624 swapFree=67108860/67108860
[pid=7071] ppid=7068 vsize=26002920 memory=84616 CPUtime=1.42 cores=0-7
/proc/7071/stat : 7071 (java) S 7068 7071 5530 0 -1 1077944320 13219 0 0 0 137 5 0 0 20 0 20 0 176917202 26626990080 21154 33554432000 4194304 4196468 140731867476368 140731867458912 140515246702327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
/proc/7071/statm: 6500730 21154 3775 1 0 6488444 0
[pid=7071/tid=7073] ppid=7068 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/7071/task/7073/stat : 7073 (java) R 7068 7071 5530 0 -1 4202560 8773 0 0 0 64 3 0 0 20 0 20 0 176917203 26626990080 21154 33554432000 4194304 4196468 140731867476368 140515250932048 140515246724253 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7074] ppid=7068 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7074/stat : 7074 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26626990080 21154 33554432000 4194304 4196468 140731867476368 140515169282320 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7075] ppid=7068 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7075/stat : 7075 (java) S 7068 7071 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176917204 26626990080 21154 33554432000 4194304 4196468 140731867476368 140515168229776 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7076] ppid=7068 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/7071/task/7076/stat : 7076 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26626990080 21154 33554432000 4194304 4196468 140731867476368 140515167177232 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7077] ppid=7068 vsize=26002920 memory=1228 CPUtime=0 cores=0-7
/proc/7071/task/7077/stat : 7077 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26626990080 21154 33554432000 4194304 4196468 140731867476368 140515166124688 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7078] ppid=7068 vsize=26002920 memory=11108 CPUtime=0 cores=0-7
/proc/7071/task/7078/stat : 7078 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26626990080 21154 33554432000 4194304 4196468 140731867476368 140515165072144 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7079] ppid=7068 vsize=26002920 memory=796 CPUtime=0 cores=0-7
/proc/7071/task/7079/stat : 7079 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176917204 26626990080 21154 33554432000 4194304 4196468 140731867476368 140515164019600 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7080] ppid=7068 vsize=26002920 memory=1424 CPUtime=0 cores=0-7
/proc/7071/task/7080/stat : 7080 (java) S 7068 7071 5530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176917204 26626990080 21154 33554432000 4194304 4196468 140731867476368 140515162967056 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7081] ppid=7068 vsize=26002920 memory=15876 CPUtime=0 cores=0-7
/proc/7071/task/7081/stat : 7081 (java) S 7068 7071 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176917204 26626990080 21154 33554432000 4194304 4196468 140731867476368 140515161914512 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7082] ppid=7068 vsize=26002920 memory=4052 CPUtime=0 cores=0-7
/proc/7071/task/7082/stat : 7082 (java) S 7068 7071 5530 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 176917205 26626990080 21154 33554432000 4194304 4196468 140731867476368 140514756044784 140515246713474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0

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

[pid=7071/tid=7101] ppid=7068 vsize=27743860 memory=920 CPUtime=0.13 cores=0-7
/proc/7071/task/7101/stat : 7101 (java) S 7068 7071 5530 0 -1 1077944384 835 0 0 0 13 0 0 0 20 0 46 0 176917524 28409712640 1981861 33554432000 4194304 4196468 140731867476368 140513418138896 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7102] ppid=7068 vsize=27743860 memory=55 CPUtime=213.8 cores=0-7
/proc/7071/task/7102/stat : 7102 (java) R 7068 7071 5530 0 -1 4202560 14173 0 0 0 21350 30 0 0 20 0 46 0 176917524 28409712640 1981861 33554432000 4194304 4196468 140731867476368 140513417080472 140514849221416 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7103] ppid=7068 vsize=27743860 memory=8026936708193871718 CPUtime=215.11 cores=0-7
/proc/7071/task/7103/stat : 7103 (java) R 7068 7071 5530 0 -1 4202560 15499 0 0 0 21477 34 0 0 20 0 46 0 176917524 28409712640 1981861 33554432000 4194304 4196468 140731867476368 140513416027256 140514843034012 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7104] ppid=7068 vsize=27743860 memory=7013622394172826733 CPUtime=0 cores=0-7
/proc/7071/task/7104/stat : 7104 (java) S 7068 7071 5530 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 46 0 176917525 28409712640 1981861 33554432000 4194304 4196468 140731867476368 140513414981264 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7105] ppid=7068 vsize=27743860 memory=280102063763064 CPUtime=0 cores=0-7
/proc/7071/task/7105/stat : 7105 (java) S 7068 7071 5530 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 176917552 28409712640 1981861 33554432000 4194304 4196468 140731867476368 140513413928592 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7106] ppid=7068 vsize=27743860 memory=4050197535846000192 CPUtime=0 cores=0-7
/proc/7071/task/7106/stat : 7106 (java) S 7068 7071 5530 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 46 0 176917552 28409712640 1981861 33554432000 4194304 4196468 140731867476368 140512136782736 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7107] ppid=7068 vsize=27743860 memory=8041037979969885544 CPUtime=0 cores=0-7
/proc/7071/task/7107/stat : 7107 (java) S 7068 7071 5530 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 176917552 28409712640 1981861 33554432000 4194304 4196468 140731867476368 140512135730064 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7108] ppid=7068 vsize=27743860 memory=-5628408999910123566 CPUtime=0 cores=0-7
/proc/7071/task/7108/stat : 7108 (java) S 7068 7071 5530 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 176917552 28409712640 1981861 33554432000 4194304 4196468 140731867476368 140512134677520 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7109] ppid=7068 vsize=27743860 memory=4052 CPUtime=0 cores=0-7
/proc/7071/task/7109/stat : 7109 (java) S 7068 7071 5530 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 176917552 28409712640 1981861 33554432000 4194304 4196468 140731867476368 140512133624976 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7110] ppid=7068 vsize=27743860 memory=27708 CPUtime=0 cores=0-7
/proc/7071/task/7110/stat : 7110 (java) S 7068 7071 5530 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 46 0 176917552 28409712640 1981861 33554432000 4194304 4196468 140731867476368 140512132572560 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7111] ppid=7068 vsize=27743860 memory=18248 CPUtime=0 cores=0-7
/proc/7071/task/7111/stat : 7111 (java) S 7068 7071 5530 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 46 0 176917652 28409712640 1981861 33554432000 4194304 4196468 140731867476368 140512129386000 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7112] ppid=7068 vsize=27743860 memory=1788 CPUtime=0 cores=0-7
/proc/7071/task/7112/stat : 7112 (java) S 7068 7071 5530 0 -1 1077944384 789 0 0 0 0 0 0 0 20 0 46 0 176917654 28409712640 1981861 33554432000 4194304 4196468 140731867476368 140512128333456 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7113] ppid=7068 vsize=27743860 memory=7925396 CPUtime=0 cores=0-7
/proc/7071/task/7113/stat : 7113 (java) S 7068 7071 5530 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 46 0 176917656 28409712640 1981861 33554432000 4194304 4196468 140731867476368 140512127280912 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7114] ppid=7068 vsize=27743860 memory=-6237260532469557610 CPUtime=0 cores=0-7
/proc/7071/task/7114/stat : 7114 (java) S 7068 7071 5530 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 176917659 28409712640 1981861 33554432000 4194304 4196468 140731867476368 140512126227216 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7115] ppid=7068 vsize=27743860 memory=-3704326594973231466 CPUtime=0 cores=0-7
/proc/7071/task/7115/stat : 7115 (java) S 7068 7071 5530 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 46 0 176917660 28409712640 1981861 33554432000 4194304 4196468 140731867476368 140512125174800 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7116] ppid=7068 vsize=27743860 memory=7925396 CPUtime=0 cores=0-7
/proc/7071/task/7116/stat : 7116 (java) S 7068 7071 5530 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 176917661 28409712640 1981861 33554432000 4194304 4196468 140731867476368 140512124122128 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7117] ppid=7068 vsize=27743860 memory=7927444 CPUtime=0 cores=0-7
/proc/7071/task/7117/stat : 7117 (java) S 7068 7071 5530 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 46 0 176917665 28409712640 1981861 33554432000 4194304 4196468 140731867476368 140512123069712 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
Current children cumulated CPU time: 1751.28 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 7927444 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.005 s]*
/proc/loadavg: 8.52 8.55 8.47 9/225 7117
/proc/meminfo: memFree=15895896/32770624 swapFree=67108860/67108860
[pid=7071] ppid=7068 vsize=27743860 memory=7927536 CPUtime=1987.93 cores=0-7
/proc/7071/stat : 7071 (java) S 7068 7071 5530 0 -1 1077944320 256699 0 0 0 198153 640 0 0 20 0 46 0 176917202 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140731867458912 140515246702327 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
/proc/7071/statm: 6935965 1981884 3859 1 0 6923158 0
[pid=7071/tid=7073] ppid=7068 vsize=27743860 memory=8112282956445269571 CPUtime=3.08 cores=0-7
/proc/7071/task/7073/stat : 7073 (java) S 7068 7071 5530 0 -1 1077944384 14561 0 0 0 299 9 0 0 20 0 46 0 176917203 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140515250940032 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7074] ppid=7068 vsize=27743860 memory=4872558044660077418 CPUtime=2.58 cores=0-7
/proc/7071/task/7074/stat : 7074 (java) S 7068 7071 5530 0 -1 1077944384 5255 0 0 0 221 37 0 0 20 0 46 0 176917204 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140515169282320 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7075] ppid=7068 vsize=27743860 memory=1696 CPUtime=2.61 cores=0-7
/proc/7071/task/7075/stat : 7075 (java) S 7068 7071 5530 0 -1 1077944384 5248 0 0 0 221 40 0 0 20 0 46 0 176917204 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140515168229776 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7076] ppid=7068 vsize=27743860 memory=920 CPUtime=2.56 cores=0-7
/proc/7071/task/7076/stat : 7076 (java) S 7068 7071 5530 0 -1 1077944384 7284 0 0 0 217 39 0 0 20 0 46 0 176917204 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140515167177232 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7077] ppid=7068 vsize=27743860 memory=5728 CPUtime=2.59 cores=0-7
/proc/7071/task/7077/stat : 7077 (java) S 7068 7071 5530 0 -1 1077944384 6636 0 0 0 219 40 0 0 20 0 46 0 176917204 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140515166124688 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7078] ppid=7068 vsize=27743860 memory=4100 CPUtime=2.56 cores=0-7
/proc/7071/task/7078/stat : 7078 (java) S 7068 7071 5530 0 -1 1077944384 5381 0 0 0 221 35 0 0 20 0 46 0 176917204 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140515165072144 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7079] ppid=7068 vsize=27743860 memory=1156 CPUtime=2.58 cores=0-7
/proc/7071/task/7079/stat : 7079 (java) S 7068 7071 5530 0 -1 1077944384 7101 0 0 0 220 38 0 0 20 0 46 0 176917204 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140515164019600 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7080] ppid=7068 vsize=27743860 memory=4424 CPUtime=2.59 cores=0-7
/proc/7071/task/7080/stat : 7080 (java) S 7068 7071 5530 0 -1 1077944384 5479 0 0 0 220 39 0 0 20 0 46 0 176917204 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140515162967056 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7081] ppid=7068 vsize=27743860 memory=7927448 CPUtime=2.6 cores=0-7
/proc/7071/task/7081/stat : 7081 (java) S 7068 7071 5530 0 -1 1077944384 4768 0 0 0 221 39 0 0 20 0 46 0 176917204 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140515161914512 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7082] ppid=7068 vsize=27743860 memory=7523358209720346728 CPUtime=0.23 cores=0-7
/proc/7071/task/7082/stat : 7082 (java) S 7068 7071 5530 0 -1 1077944384 15174 0 0 0 20 3 0 0 20 0 46 0 176917205 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140514756044784 140515246713474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7083] ppid=7068 vsize=27743860 memory=7523358209720346728 CPUtime=0 cores=0-7
/proc/7071/task/7083/stat : 7083 (java) S 7068 7071 5530 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 46 0 176917206 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513563370464 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7084] ppid=7068 vsize=27743860 memory=7523358209720346728 CPUtime=0 cores=0-7
/proc/7071/task/7084/stat : 7084 (java) S 7068 7071 5530 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 46 0 176917206 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513562317824 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7085] ppid=7068 vsize=27743860 memory=2200 CPUtime=0 cores=0-7
/proc/7071/task/7085/stat : 7085 (java) S 7068 7071 5530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 176917208 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513561266384 140515246720923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7086] ppid=7068 vsize=27743860 memory=7284 CPUtime=2.91 cores=0-7
/proc/7071/task/7086/stat : 7086 (java) S 7068 7071 5530 0 -1 1077944384 9175 0 0 0 289 2 0 0 20 0 46 0 176917208 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513560214000 140515246713474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7087] ppid=7068 vsize=27743860 memory=836 CPUtime=2.69 cores=0-7
/proc/7071/task/7087/stat : 7087 (java) S 7068 7071 5530 0 -1 1077944384 12971 0 0 0 266 3 0 0 20 0 46 0 176917208 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513559161456 140515246713474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7088] ppid=7068 vsize=27743860 memory=1696 CPUtime=3.14 cores=0-7
/proc/7071/task/7088/stat : 7088 (java) S 7068 7071 5530 0 -1 1077944384 13692 0 0 0 310 4 0 0 20 0 46 0 176917208 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513558108912 140515246713474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7089] ppid=7068 vsize=27743860 memory=920 CPUtime=0.99 cores=0-7
/proc/7071/task/7089/stat : 7089 (java) S 7068 7071 5530 0 -1 1077944384 11535 0 0 0 96 3 0 0 20 0 46 0 176917208 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513557056368 140515246713474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7090] ppid=7068 vsize=27743860 memory=5728 CPUtime=0 cores=0-7
/proc/7071/task/7090/stat : 7090 (java) S 7068 7071 5530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 176917209 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513556003040 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7091] ppid=7068 vsize=27743860 memory=4100 CPUtime=0.12 cores=0-7
/proc/7071/task/7091/stat : 7091 (java) S 7068 7071 5530 0 -1 1077944384 1370 0 0 0 9 3 0 0 20 0 46 0 176917209 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513554950576 140515246713474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7092] ppid=7068 vsize=27743860 memory=1156 CPUtime=0.01 cores=0-7
/proc/7071/task/7092/stat : 7092 (java) S 7068 7071 5530 0 -1 1077944384 932 0 0 0 1 0 0 0 20 0 46 0 176917498 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513431806752 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7093] ppid=7068 vsize=27743860 memory=7927536 CPUtime=0.78 cores=0-7
/proc/7071/task/7093/stat : 7093 (java) R 7068 7071 5530 0 -1 1077944384 2238 0 0 0 27 51 0 0 20 0 46 0 176917510 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513428657200 140515246713474 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7094] ppid=7068 vsize=27743860 memory=7927448 CPUtime=244.67 cores=0-7
/proc/7071/task/7094/stat : 7094 (java) R 7068 7071 5530 0 -1 4202560 18752 0 0 0 24418 49 0 0 20 0 46 0 176917520 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513427601664 140514849077341 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7095] ppid=7068 vsize=27743860 memory=8112282956445269571 CPUtime=0.14 cores=0-7
/proc/7071/task/7095/stat : 7095 (java) S 7068 7071 5530 0 -1 1077944384 152 0 0 0 14 0 0 0 20 0 46 0 176917521 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513424455184 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7096] ppid=7068 vsize=27743860 memory=7284 CPUtime=243.45 cores=0-7
/proc/7071/task/7096/stat : 7096 (java) R 7068 7071 5530 0 -1 4202560 16345 0 0 0 24302 43 0 0 20 0 46 0 176917521 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513423396248 140514849077357 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7097] ppid=7068 vsize=27743860 memory=7927536 CPUtime=243.93 cores=0-7
/proc/7071/task/7097/stat : 7097 (java) R 7068 7071 5530 0 -1 4202560 11422 0 0 0 24363 30 0 0 20 0 46 0 176917521 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513422346168 140514843033909 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7098] ppid=7068 vsize=27743860 memory=1696 CPUtime=244.87 cores=0-7
/proc/7071/task/7098/stat : 7098 (java) R 7068 7071 5530 0 -1 4202560 14226 0 0 0 24457 30 0 0 20 0 46 0 176917521 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513421289832 140514849500580 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7099] ppid=7068 vsize=27743860 memory=8112282956445269571 CPUtime=243.89 cores=0-7
/proc/7071/task/7099/stat : 7099 (java) R 7068 7071 5530 0 -1 4202560 15235 0 0 0 24349 40 0 0 20 0 46 0 176917524 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513420236896 140514843033962 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7100] ppid=7068 vsize=27743860 memory=2868665472214376 CPUtime=244.46 cores=0-7
/proc/7071/task/7100/stat : 7100 (java) R 7068 7071 5530 0 -1 4202560 16221 0 0 0 24408 38 0 0 20 0 46 0 176917524 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513419187880 140514845094110 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7101] ppid=7068 vsize=27743860 memory=280102063571184 CPUtime=0.13 cores=0-7
/proc/7071/task/7101/stat : 7101 (java) S 7068 7071 5530 0 -1 1077944384 837 0 0 0 13 0 0 0 20 0 46 0 176917524 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513418138896 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7102] ppid=7068 vsize=27743860 memory=6944656575208382560 CPUtime=243.2 cores=0-7
/proc/7071/task/7102/stat : 7102 (java) R 7068 7071 5530 0 -1 4202560 15081 0 0 0 24289 31 0 0 20 0 46 0 176917524 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513417079960 140514849221266 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7103] ppid=7068 vsize=27743860 memory=164 CPUtime=244.29 cores=0-7
/proc/7071/task/7103/stat : 7103 (java) R 7068 7071 5530 0 -1 4202560 16724 0 0 0 24394 35 0 0 20 0 46 0 176917524 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513416027416 140514849221349 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7104] ppid=7068 vsize=27743860 memory=-8412656567318647667 CPUtime=0 cores=0-7
/proc/7071/task/7104/stat : 7104 (java) S 7068 7071 5530 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 46 0 176917525 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513414981264 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7105] ppid=7068 vsize=27743860 memory=9047017150487036575 CPUtime=0 cores=0-7
/proc/7071/task/7105/stat : 7105 (java) S 7068 7071 5530 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 176917552 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140513413928592 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7106] ppid=7068 vsize=27743860 memory=-8341965534556230502 CPUtime=0 cores=0-7
/proc/7071/task/7106/stat : 7106 (java) S 7068 7071 5530 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 46 0 176917552 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140512136782736 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7107] ppid=7068 vsize=27743860 memory=9047017150487036571 CPUtime=0 cores=0-7
/proc/7071/task/7107/stat : 7107 (java) S 7068 7071 5530 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 176917552 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140512135730064 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7108] ppid=7068 vsize=27743860 memory=4715433313220523562 CPUtime=0 cores=0-7
/proc/7071/task/7108/stat : 7108 (java) S 7068 7071 5530 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 176917552 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140512134677520 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7109] ppid=7068 vsize=27743860 memory=1296 CPUtime=0 cores=0-7
/proc/7071/task/7109/stat : 7109 (java) S 7068 7071 5530 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 46 0 176917552 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140512133624976 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7110] ppid=7068 vsize=27743860 memory=2408 CPUtime=0 cores=0-7
/proc/7071/task/7110/stat : 7110 (java) S 7068 7071 5530 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 46 0 176917552 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140512132572560 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7111] ppid=7068 vsize=27743860 memory=1836 CPUtime=0 cores=0-7
/proc/7071/task/7111/stat : 7111 (java) S 7068 7071 5530 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 46 0 176917652 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140512129386000 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7112] ppid=7068 vsize=27743860 memory=1720 CPUtime=0 cores=0-7
/proc/7071/task/7112/stat : 7112 (java) S 7068 7071 5530 0 -1 1077944384 913 0 0 0 0 0 0 0 20 0 46 0 176917654 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140512128333456 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7113] ppid=7068 vsize=27743860 memory=1008 CPUtime=0 cores=0-7
/proc/7071/task/7113/stat : 7113 (java) S 7068 7071 5530 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 46 0 176917656 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140512127280912 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7114] ppid=7068 vsize=27743860 memory=1928 CPUtime=0 cores=0-7
/proc/7071/task/7114/stat : 7114 (java) S 7068 7071 5530 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 176917659 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140512126227216 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7115] ppid=7068 vsize=27743860 memory=1200 CPUtime=0 cores=0-7
/proc/7071/task/7115/stat : 7115 (java) S 7068 7071 5530 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 46 0 176917660 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140512125174800 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7116] ppid=7068 vsize=27743860 memory=8680 CPUtime=0 cores=0-7
/proc/7071/task/7116/stat : 7116 (java) S 7068 7071 5530 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 176917661 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140512124122128 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
[pid=7071/tid=7117] ppid=7068 vsize=27743860 memory=5784 CPUtime=0 cores=0-7
/proc/7071/task/7117/stat : 7117 (java) S 7068 7071 5530 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 46 0 176917665 28409712640 1981884 33554432000 4194304 4196468 140731867476368 140512123069712 140515246712533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9703424 140731867481192 140731867481376 140731867481376 140731867484111 0
Current children cumulated CPU time: 1987.93 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 7927536 KiB

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

[startup+252.166 s]
# the end of solver process 7071 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1982.42 s, system=6.44847 s

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

[startup+252.134 s]*
/proc/loadavg: 8.52 8.55 8.47 2/181 7119
/proc/meminfo: memFree=17443764/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 252.166
CPU time (s): 1988.87
CPU user time (s): 1982.42
CPU system time (s): 6.44847
CPU usage (%): 788.714
Max. virtual memory (cumulated for all children) (KiB): 27743892
Max. memory (cumulated for all children) (KiB): 7927536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1982.42
system time used= 6.44847
maximum resident set size= 7929000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258974
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37449
involuntary context switches= 42702


# summary of solver processes directly reported to runsolver:
#   pid: 7071
#   total CPU time (s): 1988.87
#   total CPU user time (s): 1982.42
#   total CPU system time (s): 6.44847

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.67397 second user time and 3.66578 second system time

The end

Launcher Data 

Begin job on node115 at 2017-08-22 23:30:36
IDJOB=4285838
IDBENCH=122928
IDSOLVER=2682
FILE ID=node115/4285838-1503438297
RUNJOBID= node115-1503423573-5557
PBS_JOBID= 20632131
Free space on /tmp= 61024 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-10-325-100.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285838-1503438297/watcher-4285838-1503438297 -o /tmp/evaluation-result-4285838-1503438297/solver-4285838-1503438297 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node115-1503423573-5557 --watchdog 312  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 901506605 --timelimit 2016 --memlimit 22000 --nbcore 8 HOME/instance-4285838-1503438297.xml

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

MD5SUM BENCH= 34a68c11381dc26a6f51296df739d32e
RANDOM SEED=901506605

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
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:        23822392 kB
MemAvailable:   31947676 kB
Buffers:          238540 kB
Cached:          8174156 kB
SwapCached:            0 kB
Active:          1873216 kB
Inactive:        6596176 kB
Active(anon):       3688 kB
Inactive(anon):    97500 kB
Active(file):    1869528 kB
Inactive(file):  6498676 kB
Unevictable:        7012 kB
Mlocked:            7012 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42280 kB
Writeback:             4 kB
AnonPages:         64156 kB
Mapped:            54968 kB
Shmem:             41608 kB
Slab:             173052 kB
SReclaimable:     145832 kB
SUnreclaim:        27220 kB
KernelStack:        3168 kB
PageTables:         4776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     342420 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:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 60980 MiB
End job on node115 at 2017-08-22 23:34:49