Trace number 4275040

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2017-07-26SAT (TO)64 20056.199 2520.1899

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.30/0.25	c version: 2017-07-26
0.30/0.25	c seed: 396684620
0.30/0.25	c timeout: 20160
0.30/0.25	c memlimit: 11000
0.30/0.25	c nbcore: 8
0.30/0.28	c Parsing instance...
1.43/0.71	c Parsing done, starting search...
18.29/5.49	o 350
19.08/5.53	o 349
19.80/5.61	o 348
19.80/5.62	o 347
19.80/5.64	o 346
19.80/5.66	o 345
19.80/5.67	o 344
19.80/5.69	o 343
20.63/5.70	o 342
20.63/5.72	o 341
20.63/5.74	o 340
20.63/5.76	o 339
20.63/5.77	o 338
20.63/5.80	o 337
21.32/5.81	o 336
21.32/5.82	o 335
21.32/5.84	o 334
21.32/5.85	o 333
21.32/5.87	o 332
21.32/5.90	o 331
22.14/5.91	o 330
22.14/5.91	o 329
22.14/5.92	o 328
22.14/5.92	o 327
22.14/5.92	o 326
22.14/5.93	o 325
22.14/5.95	o 324
22.14/5.95	o 323
22.14/5.96	o 322
22.14/5.96	o 321
22.14/6.00	o 320
22.14/6.01	o 319
22.99/6.03	o 318
22.99/6.03	o 317
22.99/6.03	o 316
22.99/6.04	o 315
22.99/6.07	o 314
22.99/6.08	o 313
22.99/6.10	o 312
23.84/6.12	o 311
23.84/6.13	o 310
23.84/6.16	o 309
23.84/6.18	o 308
23.84/6.19	o 307
23.84/6.19	o 306
23.84/6.20	o 305
23.84/6.20	o 304
24.53/6.21	o 303
24.53/6.21	o 302
24.53/6.21	o 301
24.53/6.22	o 300
24.53/6.22	o 299
24.53/6.23	o 298
24.53/6.23	o 297
24.53/6.25	o 296
24.53/6.25	o 295
24.53/6.26	o 294
24.53/6.26	o 293
24.53/6.26	o 292
24.53/6.26	o 291
24.53/6.26	o 290
24.53/6.27	o 289
24.53/6.27	o 288
24.53/6.28	o 287
24.53/6.28	o 286
24.53/6.29	o 285
24.53/6.29	o 284
24.53/6.29	o 283
24.53/6.30	o 282
24.53/6.30	o 281
25.31/6.31	o 280
25.31/6.31	o 279
25.31/6.31	o 278
25.31/6.31	o 277
25.31/6.32	o 276
25.31/6.32	o 275
25.31/6.34	o 274
25.31/6.34	o 273
25.31/6.35	o 272
25.31/6.35	o 271
25.31/6.35	o 270
25.31/6.35	o 269
25.31/6.35	o 268
25.31/6.37	o 267
25.31/6.37	o 266
25.31/6.38	o 265
25.31/6.38	o 264
25.31/6.38	o 263
25.31/6.39	o 262
25.31/6.39	o 261
25.31/6.40	o 260
25.31/6.40	o 259
26.15/6.41	o 258
26.15/6.42	o 257
26.15/6.42	o 256
26.15/6.43	o 255
26.15/6.44	o 254
26.15/6.44	o 253
26.15/6.46	o 252
26.15/6.47	o 251
26.15/6.47	o 250
26.15/6.48	o 249
26.15/6.48	o 248
26.15/6.48	o 247
26.88/6.50	o 246
26.88/6.51	o 245
26.88/6.51	o 244
26.88/6.52	o 243
26.88/6.52	o 242
26.88/6.53	o 241
26.88/6.53	o 240
26.88/6.55	o 239
26.88/6.55	o 238
26.88/6.55	o 237
26.88/6.56	o 236
26.88/6.57	o 235
26.88/6.57	o 234
26.88/6.59	o 233
27.72/6.61	o 232
27.72/6.61	o 231
27.72/6.61	o 230
27.72/6.62	o 229
27.72/6.63	o 228
27.72/6.63	o 227
27.72/6.63	o 226
27.72/6.64	o 225
27.72/6.66	o 224
27.72/6.66	o 223
27.72/6.66	o 222
27.72/6.67	o 221
27.72/6.68	o 220
27.72/6.68	o 219
27.72/6.69	o 218
28.47/6.70	o 217
28.47/6.70	o 216
28.47/6.71	o 215
28.47/6.71	o 214
28.47/6.72	o 213
28.47/6.73	o 212
28.47/6.73	o 211
28.47/6.73	o 210
28.47/6.74	o 209
28.47/6.75	o 208
28.47/6.76	o 207
28.47/6.76	o 206
28.47/6.76	o 205
28.47/6.77	o 204
28.47/6.78	o 203
28.47/6.78	o 202
29.26/6.83	o 201
29.26/6.83	o 200
29.26/6.83	o 199
29.26/6.83	o 198
29.26/6.84	o 197
29.26/6.84	o 196
30.03/6.99	o 195
30.03/6.99	o 194
30.03/7.00	o 193
30.03/7.00	o 192
30.03/7.01	o 191
30.03/7.01	o 190
30.03/7.01	o 189
30.87/7.02	o 188
30.87/7.02	o 187
30.87/7.02	o 186
30.87/7.02	o 185
30.87/7.03	o 184
30.87/7.03	o 183
30.87/7.03	o 182
30.87/7.04	o 181
30.87/7.04	o 180
30.87/7.04	o 179
30.87/7.05	o 178
30.87/7.05	o 177
30.87/7.05	o 176
30.87/7.06	o 175
30.87/7.06	o 174
30.87/7.06	o 173
30.87/7.07	o 172
30.87/7.07	o 171
30.87/7.07	o 170
30.87/7.08	o 169
30.87/7.08	o 168
30.87/7.08	o 167
30.87/7.09	o 166
30.87/7.09	o 165
30.87/7.09	o 164
30.87/7.10	o 163
30.87/7.10	o 162
30.87/7.10	o 161
30.87/7.10	o 160
30.87/7.10	o 159
31.67/7.11	o 158
31.67/7.11	o 157
31.67/7.13	o 156
31.67/7.13	o 155
31.67/7.13	o 154
31.67/7.14	o 153
31.67/7.14	o 152
31.67/7.14	o 151
31.67/7.14	o 150
31.67/7.17	o 149
31.67/7.17	o 148
31.67/7.17	o 147
31.67/7.17	o 146
31.67/7.19	o 145
31.67/7.19	o 144
31.67/7.19	o 143
32.44/7.22	o 142
32.44/7.22	o 141
32.44/7.22	o 140
32.44/7.22	o 139
32.44/7.24	o 138
32.44/7.24	o 137
32.44/7.24	o 136
32.44/7.24	o 135
32.44/7.26	o 134
32.44/7.26	o 133
32.44/7.27	o 132
32.44/7.27	o 131
32.44/7.27	o 130
32.44/7.28	o 129
32.44/7.28	o 128
32.44/7.28	o 127
32.44/7.29	o 126
32.44/7.29	o 125
32.44/7.29	o 124
32.44/7.30	o 123
32.44/7.30	o 122
32.44/7.30	o 121
33.18/7.31	o 120
33.18/7.31	o 119
33.18/7.31	o 118
33.18/7.32	o 117
33.18/7.32	o 116
33.18/7.32	o 115
33.18/7.32	o 114
33.18/7.32	o 113
33.18/7.34	o 112
33.18/7.34	o 111
33.18/7.34	o 110
33.18/7.35	o 109
33.18/7.35	o 108
33.18/7.35	o 107
33.18/7.35	o 106
33.18/7.37	o 105
33.18/7.37	o 104
33.18/7.38	o 103
33.18/7.38	o 102
33.18/7.38	o 101
34.00/7.40	o 100
60.27/10.90	o 99
84.93/14.03	o 98
84.93/14.04	o 97
96.00/15.43	o 96
377.92/50.80	o 95
502.92/66.53	o 94
839.05/108.71	o 93
996.65/128.53	o 92
1201.41/154.25	o 91
1960.91/249.52	o 90
2222.31/282.34	o 89
2541.84/322.40	o 88
3269.56/413.78	o 87
4437.82/560.34	o 86
4691.39/592.13	o 85
6202.49/781.75	o 84
6582.68/829.46	o 83
6891.85/868.28	o 82
8043.96/1012.87	o 81
8113.85/1021.62	o 80
8867.70/1116.22	o 79
9399.15/1182.96	o 78
9513.91/1197.33	o 77
9621.54/1210.83	o 76
10967.92/1379.89	o 75
11191.07/1407.82	o 74
11925.92/1500.08	o 73
13000.90/1634.92	o 72
13381.92/1682.75	o 71
13686.32/1720.96	o 70
14339.76/1802.95	o 69
14566.88/1831.42	o 68
14625.88/1838.85	o 67
15104.89/1898.91	o 66
15139.96/1903.32	o 65
16195.29/2035.79	o 64
20055.96/2520.14	s SATISFIABLE
20055.96/2520.15	v <instantiation>
20055.96/2520.15	v 	<list>
20055.96/2520.15	v 		z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[0][120] x[0][121] x[0][122] x[0][123] x[0][124] x[0][125] x[0][126] x[0][127] x[0][128] x[0][129] x[0][130] x[0][131] x[0][132] x[0][133] x[0][134] x[0][135] x[0][136] x[0][137] x[0][138] x[0][139] x[0][140] x[0][141] x[0][142] x[0][143] x[0][144] x[0][145] x[0][146] x[0][147] x[0][148] x[0][149] x[0][150] x[0][151] x[0][152] x[0][153] x[0][154] x[0][155] x[0][156] x[0][157] x[0][158] x[0][159] x[0][160] x[0][161] x[0][162] x[0][163] x[0][164] x[0][165] x[0][166] x[0][167] x[0][168] x[0][169] x[0][170] x[0][171] x[0][172] x[0][173] x[0][174] x[0][175] x[0][176] x[0][177] x[0][178] x[0][179] x[0][180] x[0][181] x[0][182] x[0][183] x[0][184] x[0][185] x[0][186] x[0][187] x[0][188] x[0][189] x[0][190] x[0][191] x[0][192] x[0][193] x[0][194] x[0][195] x[0][196] x[0][197] x[0][198] x[0][199] x[0][200] x[0][201] x[0][202] x[0][203] x[0][204] x[0][205] x[0][206] x[0][207] x[0][208] x[0][209] x[0][210] x[0][211] x[0][212] x[0][213] x[0][214] x[0][215] x[0][216] x[0][217] x[0][218] x[0][219] x[0][220] x[0][221] x[0][222] x[0][223] x[0][224] x[0][225] x[0][226] x[0][227] x[0][228] x[0][229] x[0][230] x[0][231] x[0][232] x[0][233] x[0][234] x[0][235] x[0][236] x[0][237] x[0][238] x[0][239] x[0][240] x[0][241] x[0][242] x[0][243] x[0][244] x[0][245] x[0][246] x[0][247] x[0][248] x[0][249] x[0][250] x[0][251] x[0][252] x[0][253] x[0][254] x[0][255] x[0][256] x[0][257] x[0][258] x[0][259] x[0][260] x[0][261] x[0][262] x[0][263] x[0][264] x[0][265] x[0][266] x[0][267] x[0][268] x[0][269] x[0][270] x[0][271] x[0][272] x[0][273] x[0][274] x[0][275] x[0][276] x[0][277] x[0][278] x[0][279] x[0][280] x[0][281] x[0][282] x[0][283] x[0][284] x[0][285] x[0][286] x[0][287] x[0][288] x[0][289] x[0][290] x[0][291] x[0][292] x[0][293] x[0][294] x[0][295] x[0][296] x[0][297] x[0][298] x[0][299] x[0][300] x[0][301] x[0][302] x[0][303] x[0][304] x[0][305] x[0][306] x[0][307] x[0][308] x[0][309] x[0][310] x[0][311] x[0][312] x[0][313] x[0][314] x[0][315] x[0][316] x[0][317] x[0][318] x[0][319] x[0][320] x[0][321] x[0][322] x[0][323] x[0][324] x[0][325] x[0][326] x[0][327] x[0][328] x[0][329] x[0][330] x[0][331] x[0][332] x[0][333] x[0][334] x[0][335] x[0][336] x[0][337] x[0][338] x[0][339] x[0][340] x[0][341] x[0][342] x[0][343] x[0][344] x[0][345] x[0][346] x[0][347] x[0][348] x[0][349] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] x[1][120] x[1][121] x[1][122] x[1][123] x[1][124] x[1][125] x[1][126] x[1][127] x[1][128] x[1][129] x[1][130] x[1][131] x[1][132] x[1][133] x[1][134] x[1][135] x[1][136] x[1][137] x[1][138] x[1][139] x[1][140] x[1][141] x[1][142] x[1][143] x[1][144] x[1][145] x[1][146] x[1][147] x[1][148] x[1][149] x[1][150] x[1][151] x[1][152] x[1][153] x[1][154] x[1][155] x[1][156] x[1][157] x[1][158] x[1][159] x[1][160] x[1][161] x[1][162] x[1][163] x[1][164] x[1][165] x[1][166] x[1][167] x[1][168] x[1][169] x[1][170] x[1][171] x[1][172] x[1][173] x[1][174] x[1][175] x[1][176] x[1][177] x[1][178] x[1][179] x[1][180] x[1][181] x[1][182] x[1][183] x[1][184] x[1][185] x[1][186] x[1][187] x[1][188] x[1][189] x[1][190] x[1][191] x[1][192] x[1][193] x[1][194] x[1][195] x[1][196] x[1][197] x[1][198] x[1][199] x[1][200] x[1][201] x[1][202] x[1][203] x[1][204] x[1][205] x[1][206] x[1][207] x[1][208] x[1][209] x[1][210] x[1][211] x[1][212] x[1][213] x[1][214] x[1][215] x[1][216] x[1][217] x[1][218] x[1][219] x[1][220] x[1][221] x[1][222] x[1][223] x[1][224] x[1][225] x[1][226] x[1][227] x[1][228] x[1][229] x[1][230] x[1][231] x[1][232] x[1][233] x[1][234] x[1][235] x[1][236] x[1][237] x[1][238] x[1][239] x[1][240] x[1][241] x[1][242] x[1][243] x[1][244] x[1][245] x[1][246] x[1][247] x[1][248] x[1][249] x[1][250] x[1][251] x[1][252] x[1][253] x[1][254] x[1][255] x[1][256] x[1][257] x[1][258] x[1][259] x[1][260] x[1][261] x[1][262] x[1][263] x[1][264] x[1][265] x[1][266] x[1][267] x[1][268] x[1][269] x[1][270] x[1][271] x[1][272] x[1][273] x[1][274] x[1][275] x[1][276] x[1][277] x[1][278] x[1][279] x[1][280] x[1][281] x[1][282] x[1][283] x[1][284] x[1][285] x[1][286] x[1][287] x[1][288] x[1][289] x[1][290] x[1][291] x[1][292] x[1][293] x[1][294] x[1][295] x[1][296] x[1][297] x[1][298] x[1][299] x[1][300] x[1][301] x[1][302] x[1][303] x[1][304] x[1][305] x[1][306] x[1][307] x[1][308] x[1][309] x[1][310] x[1][311] x[1][312] x[1][313] x[1][314] x[1][315] x[1][316] x[1][317] x[1][318] x[1][319] x[1][320] x[1][321] x[1][322] x[1][323] x[1][324] x[1][325] x[1][326] x[1][327] x[1][328] x[1][329] x[1][330] x[1][331] x[1][332] x[1][333] x[1][334] x[1][335] x[1][336] x[1][337] x[1][338] x[1][339] x[1][340] x[1][341] x[1][342] x[1][343] x[1][344] x[1][345] x[1][346] x[1][347] x[1][348] x[1][349] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] x[2][120] x[2][121] x[2][122] x[2][123] x[2][124] x[2][125] x[2][126] x[2][127] x[2][128] x[2][129] x[2][130] x[2][131] x[2][132] x[2][133] x[2][134] x[2][135] x[2][136] x[2][137] x[2][138] x[2][139] x[2][140] x[2][141] x[2][142] x[2][143] x[2][144] x[2][145] x[2][146] x[2][147] x[2][148] x[2][149] x[2][150] x[2][151] x[2][152] x[2][153] x[2][154] x[2][155] x[2][156] x[2][157] x[2][158] x[2][159] x[2][160] x[2][161] x[2][162] x[2][163] x[2][164] x[2][165] x[2][166] x[2][167] x[2][168] x[2][169] x[2][170] x[2][171] x[2][172] x[2][173] x[2][174] x[2][175] x[2][176] x[2][177] x[2][178] x[2][179] x[2][180] x[2][181] x[2][182] x[2][183] x[2][184] x[2][185] x[2][186] x[2][187] x[2][188] x[2][189] x[2][190] x[2][191] x[2][192] x[2][193] x[2][194] x[2][195] x[2][196] x[2][197] x[2][198] x[2][199] x[2][200] x[2][201] x[2][202] x[2][203] x[2][204] x[2][205] x[2][206] x[2][207] x[2][208] x[2][209] x[2][210] x[2][211] x[2][212] x[2][213] x[2][214] x[2][215] x[2][216] x[2][217] x[2][218] x[2][219] x[2][220] x[2][221] x[2][222] x[2][223] x[2][224] x[2][225] x[2][226] x[2][227] x[2][228] x[2][229] x[2][230] x[2][231] x[2][232] x[2][233] x[2][234] x[2][235] x[2][236] x[2][237] x[2][238] x[2][239] x[2][240] x[2][241] x[2][242] x[2][243] x[2][244] x[2][245] x[2][246] x[2][247] x[2][248] x[2][249] x[2][250] x[2][251] x[2][252] x[2][253] x[2][254] x[2][255] x[2][256] x[2][257] x[2][258] x[2][259] x[2][260] x[2][261] x[2][262] x[2][263] x[2][264] x[2][265] x[2][266] x[2][267] x[2][268] x[2][269] x[2][270] x[2][271] x[2][272] x[2][273] x[2][274] x[2][275] x[2][276] x[2][277] x[2][278] x[2][279] x[2][280] x[2][281] x[2][282] x[2][283] x[2][284] x[2][285] x[2][286] x[2][287] x[2][288] x[2][289] x[2][290] x[2][291] x[2][292] x[2][293] x[2][294] x[2][295] x[2][296] x[2][297] x[2][298] x[2][299] x[2][300] x[2][301] x[2][302] x[2][303] x[2][304] x[2][305] x[2][306] x[2][307] x[2][308] x[2][309] x[2][310] x[2][311] x[2][312] x[2][313] x[2][314] x[2][315] x[2][316] x[2][317] x[2][318] x[2][319] x[2][320] x[2][321] x[2][322] x[2][323] x[2][324] x[2][325] x[2][326] x[2][327] x[2][328] x[2][329] x[2][330] x[2][331] x[2][332] x[2][333] x[2][334] x[2][335] x[2][336] x[2][337] x[2][338] x[2][339] x[2][340] x[2][341] x[2][342] x[2][343] x[2][344] x[2][345] x[2][346] x[2][347] x[2][348] x[2][349] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] x[3][120] x[3][121] x[3][122] x[3][123] x[3][124] x[3][125] x[3][126] x[3][127] x[3][128] x[3][129] x[3][130] x[3][131] x[3][132] x[3][133] x[3][134] x[3][135] x[3][136] x[3][137] x[3][138] x[3][139] x[3][140] x[3][141] x[3][142] x[3][143] x[3][144] x[3][145] x[3][146] x[3][147] x[3][148] x[3][149] x[3][150] x[3][151] x[3][152] x[3][153] x[3][154] x[3][155] x[3][156] x[3][157] x[3][158] x[3][159] x[3][160] x[3][161] x[3][162] x[3][163] x[3][164] x[3][165] x[3][166] x[3][167] x[3][168] x[3][169] x[3][170] x[3][171] x[3][172] x[3][173] x[3][174] x[3][175] x[3][176] x[3][177] x[3][178] x[3][179] x[3][180] x[3][181] x[3][182] x[3][183] x[3][184] x[3][185] x[3][186] x[3][187] x[3][188] x[3][189] x[3][190] x[3][191] x[3][192] x[3][193] x[3][194] x[3][195] x[3][196] x[3][197] x[3][198] x[3][199] x[3][200] x[3][201] x[3][202] x[3][203] x[3][204] x[3][205] x[3][206] x[3][207] x[3][208] x[3][209] x[3][210] x[3][211] x[3][212] x[3][213] x[3][214] x[3][215] x[3][216] x[3][217] x[3][218] x[3][219] x[3][220] x[3][221] x[3][222] x[3][223] x[3][224] x[3][225] x[3][226] x[3][227] x[3][228] x[3][229] x[3][230] x[3][231] x[3][232] x[3][233] x[3][234] x[3][235] x[3][236] x[3][237] x[3][238] x[3][239] x[3][240] x[3][241] x[3][242] x[3][243] x[3][244] x[3][245] x[3][246] x[3][247] x[3][248] x[3][249] x[3][250] x[3][251] x[3][252] x[3][253] x[3][254] x[3][255] x[3][256] x[3][257] x[3][258] x[3][259] x[3][260] x[3][261] x[3][262] x[3][263] x[3][264] x[3][265] x[3][266] x[3][267] x[3][268] x[3][269] x[3][270] x[3][271] x[3][272] x[3][273] x[3][274] x[3][275] x[3][276] x[3][277] x[3][278] x[3][279] x[3][280] x[3][281] x[3][282] x[3][283] x[3][284] x[3][285] x[3][286] x[3][287] x[3][288] x[3][289] x[3][290] x[3][291] x[3][292] x[3][293] x[3][294] x[3][295] x[3][296] x[3][297] x[3][298] x[3][299] x[3][300] x[3][301] x[3][302] x[3][303] x[3][304] x[3][305] x[3][306] x[3][307] x[3][308] x[3][309] x[3][310] x[3][311] x[3][312] x[3][313] x[3][314] x[3][315] x[3][316] x[3][317] x[3][318] x[3][319] x[3][320] x[3][321] x[3][322] x[3][323] x[3][324] x[3][325] x[3][326] x[3][327] x[3][328] x[3][329] x[3][330] x[3][331] x[3][332] x[3][333] x[3][334] x[3][335] x[3][336] x[3][337] x[3][338] x[3][339] x[3][340] x[3][341] x[3][342] x[3][343] x[3][344] x[3][345] x[3][346] x[3][347] x[3][348] x[3][349] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[4][108] x[4][109] x[4][110] x[4][111] x[4][112] x[4][113] x[4][114] x[4][115] x[4][116] x[4][117] x[4][118] x[4][119] x[4][120] x[4][121] x[4][122] x[4][123] x[4][124] x[4][125] x[4][126] x[4][127] x[4][128] x[4][129] x[4][130] x[4][131] x[4][132] x[4][133] x[4][134] x[4][135] x[4][136] x[4][137] x[4][138] x[4][139] x[4][140] x[4][141] x[4][142] x[4][143] x[4][144] x[4][145] x[4][146] x[4][147] x[4][148] x[4][149] x[4][150] x[4][151] x[4][152] x[4][153] x[4][154] x[4][155] x[4][156] x[4][157] x[4][158] x[4][159] x[4][160] x[4][161] x[4][162] x[4][163] x[4][164] x[4][165] x[4][166] x[4][167] x[4][168] x[4][169] x[4][170] x[4][171] x[4][172] x[4][173] x[4][174] x[4][175] x[4][176] x[4][177] x[4][178] x[4][179] x[4][180] x[4][181] x[4][182] x[4][183] x[4][184] x[4][185] x[4][186] x[4][187] x[4][188] x[4][189] x[4][190] x[4][191] x[4][192] x[4][193] x[4][194] x[4][195] x[4][196] x[4][197] x[4][198] x[4][199] x[4][200] x[4][201] x[4][202] x[4][203] x[4][204] x[4][205] x[4][206] x[4][207] x[4][208] x[4][209] x[4][210] x[4][211] x[4][212] x[4][213] x[4][214] x[4][215] x[4][216] x[4][217] x[4][218] x[4][219] x[4][220] x[4][221] x[4][222] x[4][223] x[4][224] x[4][225] x[4][226] x[4][227] x[4][228] x[4][229] x[4][230] x[4][231] x[4][232] x[4][233] x[4][234] x[4][235] x[4][236] x[4][237] x[4][238] x[4][239] x[4][240] x[4][241] x[4][242] x[4][243] x[4][244] x[4][245] x[4][246] x[4][247] x[4][248] x[4][249] x[4][250] x[4][251] x[4][252] x[4][253] x[4][254] x[4][255] x[4][256] x[4][257] x[4][258] x[4][259] x[4][260] x[4][261] x[4][262] x[4][263] x[4][264] x[4][265] x[4][266] x[4][267] x[4][268] x[4][269] x[4][270] x[4][271] x[4][272] x[4][273] x[4][274] x[4][275] x[4][276] x[4][277] x[4][278] x[4][279] x[4][280] x[4][281] x[4][282] x[4][283] x[4][284] x[4][285] x[4][286] x[4][287] x[4][288] x[4][289] x[4][290] x[4][291] x[4][292] x[4][293] x[4][294] x[4][295] x[4][296] x[4][297] x[4][298] x[4][299] x[4][300] x[4][301] x[4][302] x[4][303] x[4][304] x[4][305] x[4][306] x[4][307] x[4][308] x[4][309] x[4][310] x[4][311] x[4][312] x[4][313] x[4][314] x[4][315] x[4][316] x[4][317] x[4][318] x[4][319] x[4][320] x[4][321] x[4][322] x[4][323] x[4][324] x[4][325] x[4][326] x[4][327] x[4][328] x[4][329] x[4][330] x[4][331] x[4][332] x[4][333] x[4][334] x[4][335] x[4][336] x[4][337] x[4][338] x[4][339] x[4][340] x[4][341] x[4][342] x[4][343] x[4][344] x[4][345] x[4][346] x[4][347] x[4][348] x[4][349] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[5][108] x[5][109] x[5][110] x[5][111] x[5][112] x[5][113] x[5][114] x[5][115] x[5][116] x[5][117] x[5][118] x[5][119] x[5][120] x[5][121] x[5][122] x[5][123] x[5][124] x[5][125] x[5][126] x[5][127] x[5][128] x[5][129] x[5][130] x[5][131] x[5][132] x[5][133] x[5][134] x[5][135] x[5][136] x[5][137] x[5][138] x[5][139] x[5][140] x[5][141] x[5][142] x[5][143] x[5][144] x[5][145] x[5][146] x[5][147] x[5][148] x[5][149] x[5][150] x[5][151] x[5][152] x[5][153] x[5][154] x[5][155] x[5][156] x[5][157] x[5][158] x[5][159] x[5][160] x[5][161] x[5][162] x[5][163] x[5][164] x[5][165] x[5][166] x[5][167] x[5][168] x[5][169] x[5][170] x[5][171] x[5][172] x[5][173] x[5][174] x[5][175] x[5][176] x[5][177] x[5][178] x[5][179] x[5][180] x[5][181] x[5][182] x[5][183] x[5][184] x[5][185] x[5][186] x[5][187] x[5][188] x[5][189] x[5][190] x[5][191] x[5][192] x[5][193] x[5][194] x[5][195] x[5][196] x[5][197] x[5][198] x[5][199] x[5][200] x[5][201] x[5][202] x[5][203] x[5][204] x[5][205] x[5][206] x[5][207] x[5][208] x[5][209] x[5][210] x[5][211] x[5][212] x[5][213] x[5][214] x[5][215] x[5][216] x[5][217] x[5][218] x[5][219] x[5][220] x[5][221] x[5][222] x[5][223] x[5][224] x[5][225] x[5][226] x[5][227] x[5][228] x[5][229] x[5][230] x[5][231] x[5][232] x[5][233] x[5][234] x[5][235] x[5][236] x[5][237] x[5][238] x[5][239] x[5][240] x[5][241] x[5][242] x[5][243] x[5][244] x[5][245] x[5][246] x[5][247] x[5][248] x[5][249] x[5][250] x[5][251] x[5][252] x[5][253] x[5][254] x[5][255] x[5][256] x[5][257] x[5][258] x[5][259] x[5][260] x[5][261] x[5][262] x[5][263] x[5][264] x[5][265] x[5][266] x[5][267] x[5][268] x[5][269] x[5][270] x[5][271] x[5][272] x[5][273] x[5][274] x[5][275] x[5][276] x[5][277] x[5][278] x[5][279] x[5][280] x[5][281] x[5][282] x[5][283] x[5][284] x[5][285] x[5][286] x[5][287] x[5][288] x[5][289] x[5][290] x[5][291] x[5][292] x[5][293] x[5][294] x[5][295] x[5][296] x[5][297] x[5][298] x[5][299] x[5][300] x[5][301] x[5][302] x[5][303] x[5][304] x[5][305] x[5][306] x[5][307] x[5][308] x[5][309] x[5][310] x[5][311] x[5][312] x[5][313] x[5][314] x[5][315] x[5][316] x[5][317] x[5][318] x[5][319] x[5][320] x[5][321] x[5][322] x[5][323] x[5][324] x[5][325] x[5][326] x[5][327] x[5][328] x[5][329] x[5][330] x[5][331] x[5][332] x[5][333] x[5][334] x[5][335] x[5][336] x[5][337] x[5][338] x[5][339] x[5][340] x[5][341] x[5][342] x[5][343] x[5][344] x[5][345] x[5][346] x[5][347] x[5][348] x[5][349] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[6][108] x[6][109] x[6][110] x[6][111] x[6][112] x[6][113] x[6][114] x[6][115] x[6][116] x[6][117] x[6][118] x[6][119] x[6][120] x[6][121] x[6][122] x[6][123] x[6][124] x[6][125] x[6][126] x[6][127] x[6][128] x[6][129] x[6][130] x[6][131] x[6][132] x[6][133] x[6][134] x[6][135] x[6][136] x[6][137] x[6][138] x[6][139] x[6][140] x[6][141] x[6][142] x[6][143] x[6][144] x[6][145] x[6][146] x[6][147] x[6][148] x[6][149] x[6][150] x[6][151] x[6][152] x[6][153] x[6][154] x[6][155] x[6][156] x[6][157] x[6][158] x[6][159] x[6][160] x[6][161] x[6][162] x[6][163] x[6][164] x[6][165] x[6][166] x[6][167] x[6][168] x[6][169] x[6][170] x[6][171] x[6][172] x[6][173] x[6][174] x[6][175] x[6][176] x[6][177] x[6][178] x[6][179] x[6][180] x[6][181] x[6][182] x[6][183] x[6][184] x[6][185] x[6][186] x[6][187] x[6][188] x[6][189] x[6][190] x[6][191] x[6][192] x[6][193] x[6][194] x[6][195] x[6][196] x[6][197] x[6][198] x[6][199] x[6][200] x[6][201] x[6][202] x[6][203] x[6][204] x[6][205] x[6][206] x[6][207] x[6][208] x[6][209] x[6][210] x[6][211] x[6][212] x[6][213] x[6][214] x[6][215] x[6][216] x[6][217] x[6][218] x[6][219] x[6][220] x[6][221] x[6][222] x[6][223] x[6][224] x[6][225] x[6][226] x[6][227] x[6][228] x[6][229] x[6][230] x[6][231] x[6][232] x[6][233] x[6][234] x[6][235] x[6][236] x[6][237] x[6][238] x[6][239] x[6][240] x[6][241] x[6][242] x[6][243] x[6][244] x[6][245] x[6][246] x[6][247] x[6][248] x[6][249] x[6][250] x[6][251] x[6][252] x[6][253] x[6][254] x[6][255] x[6][256] x[6][257] x[6][258] x[6][259] x[6][260] x[6][261] x[6][262] x[6][263] x[6][264] x[6][265] x[6][266] x[6][267] x[6][268] x[6][269] x[6][270] x[6][271] x[6][272] x[6][273] x[6][274] x[6][275] x[6][276] x[6][277] x[6][278] x[6][279] x[6][280] x[6][281] x[6][282] x[6][283] x[6][284] x[6][285] x[6][286] x[6][287] x[6][288] x[6][289] x[6][290] x[6][291] x[6][292] x[6][293] x[6][294] x[6][295] x[6][296] x[6][297] x[6][298] x[6][299] x[6][300] x[6][301] x[6][302] x[6][303] x[6][304] x[6][305] x[6][306] x[6][307] x[6][308] x[6][309] x[6][310] x[6][311] x[6][312] x[6][313] x[6][314] x[6][315] x[6][316] x[6][317] x[6][318] x[6][319] x[6][320] x[6][321] x[6][322] x[6][323] x[6][324] x[6][325] x[6][326] x[6][327] x[6][328] x[6][329] x[6][330] x[6][331] x[6][332] x[6][333] x[6][334] x[6][335] x[6][336] x[6][337] x[6][338] x[6][339] x[6][340] x[6][341] x[6][342] x[6][343] x[6][344] x[6][345] x[6][346] x[6][347] x[6][348] x[6][349] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[7][108] x[7][109] x[7][110] x[7][111] x[7][112] x[7][113] x[7][114] x[7][115] x[7][116] x[7][117] x[7][118] x[7][119] x[7][120] x[7][121] x[7][122] x[7][123] x[7][124] x[7][125] x[7][126] x[7][127] x[7][128] x[7][129] x[7][130] x[7][131] x[7][132] x[7][133] x[7][134] x[7][135] x[7][136] x[7][137] x[7][138] x[7][139] x[7][140] x[7][141] x[7][142] x[7][143] x[7][144] x[7][145] x[7][146] x[7][147] x[7][148] x[7][149] x[7][150] x[7][151] x[7][152] x[7][153] x[7][154] x[7][155] x[7][156] x[7][157] x[7][158] x[7][159] x[7][160] x[7][161] x[7][162] x[7][163] x[7][164] x[7][165] x[7][166] x[7][167] x[7][168] x[7][169] x[7][170] x[7][171] x[7][172] x[7][173] x[7][174] x[7][175] x[7][176] x[7][177] x[7][178] x[7][179] x[7][180] x[7][181] x[7][182] x[7][183] x[7][184] x[7][185] x[7][186] x[7][187] x[7][188] x[7][189] x[7][190] x[7][191] x[7][192] x[7][193] x[7][194] x[7][195] x[7][196] x[7][197] x[7][198] x[7][199] x[7][200] x[7][201] x[7][202] x[7][203] x[7][204] x[7][205] x[7][206] x[7][207] x[7][208] x[7][209] x[7][210] x[7][211] x[7][212] x[7][213] x[7][214] x[7][215] x[7][216] x[7][217] x[7][218] x[7][219] x[7][220] x[7][221] x[7][222] x[7][223] x[7][224] x[7][225] x[7][226] x[7][227] x[7][228] x[7][229] x[7][230] x[7][231] x[7][232] x[7][233] x[7][234] x[7][235] x[7][236] x[7][237] x[7][238] x[7][239] x[7][240] x[7][241] x[7][242] x[7][243] x[7][244] x[7][245] x[7][246] x[7][247] x[7][248] x[7][249] x[7][250] x[7][251] x[7][252] x[7][253] x[7][254] x[7][255] x[7][256] x[7][257] x[7][258] x[7][259] x[7][260] x[7][261] x[7][262] x[7][263] x[7][264] x[7][265] x[7][266] x[7][267] x[7][268] x[7][269] x[7][270] x[7][271] x[7][272] x[7][273] x[7][274] x[7][275] x[7][276] x[7][277] x[7][278] x[7][279] x[7][280] x[7][281] x[7][282] x[7][283] x[7][284] x[7][285] x[7][286] x[7][287] x[7][288] x[7][289] x[7][290] x[7][291] x[7][292] x[7][293] x[7][294] x[7][295] x[7][296] x[7][297] x[7][298] x[7][299] x[7][300] x[7][301] x[7][302] x[7][303] x[7][304] x[7][305] x[7][306] x[7][307] x[7][308] x[7][309] x[7][310] x[7][311] x[7][312] x[7][313] x[7][314] x[7][315] x[7][316] x[7][317] x[7][318] x[7][319] x[7][320] x[7][321] x[7][322] x[7][323] x[7][324] x[7][325] x[7][326] x[7][327] x[7][328] x[7][329] x[7][330] x[7][331] x[7][332] x[7][333] x[7][334] x[7][335] x[7][336] x[7][337] x[7][338] x[7][339] x[7][340] x[7][341] x[7][342] x[7][343] x[7][344] x[7][345] x[7][346] x[7][347] x[7][348] x[7][349] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] x[8][108] x[8][109] x[8][110] x[8][111] x[8][112] x[8][113] x[8][114] x[8][115] x[8][116] x[8][117] x[8][118] x[8][119] x[8][120] x[8][121] x[8][122] x[8][123] x[8][124] x[8][125] x[8][126] x[8][127] x[8][128] x[8][129] x[8][130] x[8][131] x[8][132] x[8][133] x[8][134] x[8][135] x[8][136] x[8][137] x[8][138] x[8][139] x[8][140] x[8][141] x[8][142] x[8][143] x[8][144] x[8][145] x[8][146] x[8][147] x[8][148] x[8][149] x[8][150] x[8][151] x[8][152] x[8][153] x[8][154] x[8][155] x[8][156] x[8][157] x[8][158] x[8][159] x[8][160] x[8][161] x[8][162] x[8][163] x[8][164] x[8][165] x[8][166] x[8][167] x[8][168] x[8][169] x[8][170] x[8][171] x[8][172] x[8][173] x[8][174] x[8][175] x[8][176] x[8][177] x[8][178] x[8][179] x[8][180] x[8][181] x[8][182] x[8][183] x[8][184] x[8][185] x[8][186] x[8][187] x[8][188] x[8][189] x[8][190] x[8][191] x[8][192] x[8][193] x[8][194] x[8][195] x[8][196] x[8][197] x[8][198] x[8][199] x[8][200] x[8][201] x[8][202] x[8][203] x[8][204] x[8][205] x[8][206] x[8][207] x[8][208] x[8][209] x[8][210] x[8][211] x[8][212] x[8][213] x[8][214] x[8][215] x[8][216] x[8][217] x[8][218] x[8][219] x[8][220] x[8][221] x[8][222] x[8][223] x[8][224] x[8][225] x[8][226] x[8][227] x[8][228] x[8][229] x[8][230] x[8][231] x[8][232] x[8][233] x[8][234] x[8][235] x[8][236] x[8][237] x[8][238] x[8][239] x[8][240] x[8][241] x[8][242] x[8][243] x[8][244] x[8][245] x[8][246] x[8][247] x[8][248] x[8][249] x[8][250] x[8][251] x[8][252] x[8][253] x[8][254] x[8][255] x[8][256] x[8][257] x[8][258] x[8][259] x[8][260] x[8][261] x[8][262] x[8][263] x[8][264] x[8][265] x[8][266] x[8][267] x[8][268] x[8][269] x[8][270] x[8][271] x[8][272] x[8][273] x[8][274] x[8][275] x[8][276] x[8][277] x[8][278] x[8][279] x[8][280] x[8][281] x[8][282] x[8][283] x[8][284] x[8][285] x[8][286] x[8][287] x[8][288] x[8][289] x[8][290] x[8][291] x[8][292] x[8][293] x[8][294] x[8][295] x[8][296] x[8][297] x[8][298] x[8][299] x[8][300] x[8][301] x[8][302] x[8][303] x[8][304] x[8][305] x[8][306] x[8][307] x[8][308] x[8][309] x[8][310] x[8][311] x[8][312] x[8][313] x[8][314] x[8][315] x[8][316] x[8][317] x[8][318] x[8][319] x[8][320] x[8][321] x[8][322] x[8][323] x[8][324] x[8][325] x[8][326] x[8][327] x[8][328] x[8][329] x[8][330] x[8][331] x[8][332] x[8][333] x[8][334] x[8][335] x[8][336] x[8][337] x[8][338] x[8][339] x[8][340] x[8][341] x[8][342] x[8][343] x[8][344] x[8][345] x[8][346] x[8][347] x[8][348] x[8][349] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[9][68] x[9][69] x[9][70] x[9][71] x[9][72] x[9][73] x[9][74] x[9][75] x[9][76] x[9][77] x[9][78] x[9][79] x[9][80] x[9][81] x[9][82] x[9][83] x[9][84] x[9][85] x[9][86] x[9][87] x[9][88] x[9][89] x[9][90] x[9][91] x[9][92] x[9][93] x[9][94] x[9][95] x[9][96] x[9][97] x[9][98] x[9][99] x[9][100] x[9][101] x[9][102] x[9][103] x[9][104] x[9][105] x[9][106] x[9][107] x[9][108] x[9][109] x[9][110] x[9][111] x[9][112] x[9][113] x[9][114] x[9][115] x[9][116] x[9][117] x[9][118] x[9][119] x[9][120] x[9][121] x[9][122] x[9][123] x[9][124] x[9][125] x[9][126] x[9][127] x[9][128] x[9][129] x[9][130] x[9][131] x[9][132] x[9][133] x[9][134] x[9][135] x[9][136] x[9][137] x[9][138] x[9][139] x[9][140] x[9][141] x[9][142] x[9][143] x[9][144] x[9][145] x[9][146] x[9][147] x[9][148] x[9][149] x[9][150] x[9][151] x[9][152] x[9][153] x[9][154] x[9][155] x[9][156] x[9][157] x[9][158] x[9][159] x[9][160] x[9][161] x[9][162] x[9][163] x[9][164] x[9][165] x[9][166] x[9][167] x[9][168] x[9][169] x[9][170] x[9][171] x[9][172] x[9][173] x[9][174] x[9][175] x[9][176] x[9][177] x[9][178] x[9][179] x[9][180] x[9][181] x[9][182] x[9][183] x[9][184] x[9][185] x[9][186] x[9][187] x[9][188] x[9][189] x[9][190] x[9][191] x[9][192] x[9][193] x[9][194] x[9][195] x[9][196] x[9][197] x[9][198] x[9][199] x[9][200] x[9][201] x[9][202] x[9][203] x[9][204] x[9][205] x[9][206] x[9][207] x[9][208] x[9][209] x[9][210] x[9][211] x[9][212] x[9][213] x[9][214] x[9][215] x[9][216] x[9][217] x[9][218] x[9][219] x[9][220] x[9][221] x[9][222] x[9][223] x[9][224] x[9][225] x[9][226] x[9][227] x[9][228] x[9][229] x[9][230] x[9][231] x[9][232] x[9][233] x[9][234] x[9][235] x[9][236] x[9][237] x[9][238] x[9][239] x[9][240] x[9][241] x[9][242] x[9][243] x[9][244] x[9][245] x[9][246] x[9][247] x[9][248] x[9][249] x[9][250] x[9][251] x[9][252] x[9][253] x[9][254] x[9][255] x[9][256] x[9][257] x[9][258] x[9][259] x[9][260] x[9][261] x[9][262] x[9][263] x[9][264] x[9][265] x[9][266] x[9][267] x[9][268] x[9][269] x[9][270] x[9][271] x[9][272] x[9][273] x[9][274] x[9][275] x[9][276] x[9][277] x[9][278] x[9][279] x[9][280] x[9][281] x[9][282] x[9][283] x[9][284] x[9][285] x[9][286] x[9][287] x[9][288] x[9][289] x[9][290] x[9][291] x[9][292] x[9][293] x[9][294] x[9][295] x[9][296] x[9][297] x[9][298] x[9][299] x[9][300] x[9][301] x[9][302] x[9][303] x[9][304] x[9][305] x[9][306] x[9][307] x[9][308] x[9][309] x[9][310] x[9][311] x[9][312] x[9][313] x[9][314] x[9][315] x[9][316] x[9][317] x[9][318] x[9][319] x[9][320] x[9][321] x[9][322] x[9][323] x[9][324] x[9][325] x[9][326] x[9][327] x[9][328] x[9][329] x[9][330] x[9][331] x[9][332] x[9][333] x[9][334] x[9][335] x[9][336] x[9][337] x[9][338] x[9][339] x[9][340] x[9][341] x[9][342] x[9][343] x[9][344] x[9][345] x[9][346] x[9][347] x[9][348] x[9][349] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[10][50] x[10][51] x[10][52] x[10][53] x[10][54] x[10][55] x[10][56] x[10][57] x[10][58] x[10][59] x[10][60] x[10][61] x[10][62] x[10][63] x[10][64] x[10][65] x[10][66] x[10][67] x[10][68] x[10][69] x[10][70] x[10][71] x[10][72] x[10][73] x[10][74] x[10][75] x[10][76] x[10][77] x[10][78] x[10][79] x[10][80] x[10][81] x[10][82] x[10][83] x[10][84] x[10][85] x[10][86] x[10][87] x[10][88] x[10][89] x[10][90] x[10][91] x[10][92] x[10][93] x[10][94] x[10][95] x[10][96] x[10][97] x[10][98] x[10][99] x[10][100] x[10][101] x[10][102] x[10][103] x[10][104] x[10][105] x[10][106] x[10][107] x[10][108] x[10][109] x[10][110] x[10][111] x[10][112] x[10][113] x[10][114] x[10][115] x[10][116] x[10][117] x[10][118] x[10][119] x[10][120] x[10][121] x[10][122] x[10][123] x[10][124] x[10][125] x[10][126] x[10][127] x[10][128] x[10][129] x[10][130] x[10][131] x[10][132] x[10][133] x[10][134] x[10][135] x[10][136] x[10][137] x[10][138] x[10][139] x[10][140] x[10][141] x[10][142] x[10][143] x[10][144] x[10][145] x[10][146] x[10][147] x[10][148] x[10][149] x[10][150] x[10][151] x[10][152] x[10][153] x[10][154] x[10][155] x[10][156] x[10][157] x[10][158] x[10][159] x[10][160] x[10][161] x[10][162] x[10][163] x[10][164] x[10][165] x[10][166] x[10][167] x[10][168] x[10][169] x[10][170] x[10][171] x[10][172] x[10][173] x[10][174] x[10][175] x[10][176] x[10][177] x[10][178] x[10][179] x[10][180] x[10][181] x[10][182] x[10][183] x[10][184] x[10][185] x[10][186] x[10][187] x[10][188] x[10][189] x[10][190] x[10][191] x[10][192] x[10][193] x[10][194] x[10][195] x[10][196] x[10][197] x[10][198] x[10][199] x[10][200] x[10][201] x[10][202] x[10][203] x[10][204] x[10][205] x[10][206] x[10][207] x[10][208] x[10][209] x[10][210] x[10][211] x[10][212] x[10][213] x[10][214] x[10][215] x[10][216] x[10][217] x[10][218] x[10][219] x[10][220] x[10][221] x[10][222] x[10][223] x[10][224] x[10][225] x[10][226] x[10][227] x[10][228] x[10][229] x[10][230] x[10][231] x[10][232] x[10][233] x[10][234] x[10][235] x[10][236] x[10][237] x[10][238] x[10][239] x[10][240] x[10][241] x[10][242] x[10][243] x[10][244] x[10][245] x[10][246] x[10][247] x[10][248] x[10][249] x[10][250] x[10][251] x[10][252] x[10][253] x[10][254] x[10][255] x[10][256] x[10][257] x[10][258] x[10][259] x[10][260] x[10][261] x[10][262] x[10][263] x[10][264] x[10][265] x[10][266] x[10][267] x[10][268] x[10][269] x[10][270] x[10][271] x[10][272] x[10][273] x[10][274] x[10][275] x[10][276] x[10][277] x[10][278] x[10][279] x[10][280] x[10][281] x[10][282] x[10][283] x[10][284] x[10][285] x[10][286] x[10][287] x[10][288] x[10][289] x[10][290] x[10][291] x[10][292] x[10][293] x[10][294] x[10][295] x[10][296] x[10][297] x[10][298] x[10][299] x[10][300] x[10][301] x[10][302] x[10][303] x[10][304] x[10][305] x[10][306] x[10][307] x[10][308] x[10][309] x[10][310] x[10][311] x[10][312] x[10][313] x[10][314] x[10][315] x[10][316] x[10][317] x[10][318] x[10][319] x[10][320] x[10][321] x[10][322] x[10][323] x[10][324] x[10][325] x[10][326] x[10][327] x[10][328] x[10][329] x[10][330] x[10][331] x[10][332] x[10][333] x[10][334] x[10][335] x[10][336] x[10][337] x[10][338] x[10][339] x[10][340] x[10][341] x[10][342] x[10][343] x[10][344] x[10][345] x[10][346] x[10][347] x[10][348] x[10][349] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[11][50] x[11][51] x[11][52] x[11][53] x[11][54] x[11][55] x[11][56] x[11][57] x[11][58] x[11][59] x[11][60] x[11][61] x[11][62] x[11][63] x[11][64] x[11][65] x[11][66] x[11][67] x[11][68] x[11][69] x[11][70] x[11][71] x[11][72] x[11][73] x[11][74] x[11][75] x[11][76] x[11][77] x[11][78] x[11][79] x[11][80] x[11][81] x[11][82] x[11][83] x[11][84] x[11][85] x[11][86] x[11][87] x[11][88] x[11][89] x[11][90] x[11][91] x[11][92] x[11][93] x[11][94] x[11][95] x[11][96] x[11][97] x[11][98] x[11][99] x[11][100] x[11][101] x[11][102] x[11][103] x[11][104] x[11][105] x[11][106] x[11][107] x[11][108] x[11][109] x[11][110] x[11][111] x[11][112] x[11][113] x[11][114] x[11][115] x[11][116] x[11][117] x[11][118] x[11][119] x[11][120] x[11][121] x[11][122] x[11][123] x[11][124] x[11][125] x[11][126] x[11][127] x[11][128] x[11][129] x[11][130] x[11][131] x[11][132] x[11][133] x[11][134] x[11][135] x[11][136] x[11][137] x[11][138] x[11][139] x[11][140] x[11][141] x[11][142] x[11][143] x[11][144] x[11][145] x[11][146] x[11][147] x[11][148] x[11][149] x[11][150] x[11][151] x[11][152] x[11][153] x[11][154] x[11][155] x[11][156] x[11][157] x[11][158] x[11][159] x[11][160] x[11][161] x[11][162] x[11][163] x[11][164] x[11][165] x[11][166] x[11][167] x[11][168] x[11][169] x[11][170] x[11][171] x[11][172] x[11][173] x[11][174] x[11][175] x[11][176] x[11][177] x[11][178] x[11][179] x[11][180] x[11][181] x[11][182] x[11][183] x[11][184] x[11][185] x[11][186] x[11][187] x[11][188] x[11][189] x[11][190] x[11][191] x[11][192] x[11][193] x[11][194] x[11][195] x[11][196] x[11][197] x[11][198] x[11][199] x[11][200] x[11][201] x[11][202] x[11][203] x[11][204] x[11][205] x[11][206] x[11][207] x[11][208] x[11][209] x[11][210] x[11][211] x[11][212] x[11][213] x[11][214] x[11][215] x[11][216] x[11][217] x[11][218] x[11][219] x[11][220] x[11][221] x[11][222] x[11][223] x[11][224] x[11][225] x[11][226] x[11][227] x[11][228] x[11][229] x[11][230] x[11][231] x[11][232] x[11][233] x[11][234] x[11][235] x[11][236] x[11][237] x[11][238] x[11][239] x[11][240] x[11][241] x[11][242] x[11][243] x[11][244] x[11][245] x[11][246] x[11][247] x[11][248] x[11][249] x[11][250] x[11][251] x[11][252] x[11][253] x[11][254] x[11][255] x[11][256] x[11][257] x[11][258] x[11][259] x[11][260] x[11][261] x[11][262] x[11][263] x[11][264] x[11][265] x[11][266] x[11][267] x[11][268] x[11][269] x[11][270] x[11][271] x[11][272] x[11][273] x[11][274] x[11][275] x[11][276] x[11][277] x[11][278] x[11][279] x[11][280] x[11][281] x[11][282] x[11][283] x[11][284] x[11][285] x[11][286] x[11][287] x[11][288] x[11][289] x[11][290] x[11][291] x[11][292] x[11][293] x[11][294] x[11][295] x[11][296] x[11][297] x[11][298] x[11][299] x[11][300] x[11][301] x[11][302] x[11][303] x[11][304] x[11][305] x[11][306] x[11][307] x[11][308] x[11][309] x[11][310] x[11][311] x[11][312] x[11][313] x[11][314] x[11][315] x[11][316] x[11][317] x[11][318] x[11][319] x[11][320] x[11][321] x[11][322] x[11][323] x[11][324] x[11][325] x[11][326] x[11][327] x[11][328] x[11][329] x[11][330] x[11][331] x[11][332] x[11][333] x[11][334] x[11][335] x[11][336] x[11][337] x[11][338] x[11][339] x[11][340] x[11][341] x[11][342] x[11][343] x[11][344] x[11][345] x[11][346] x[11][347] x[11][348] x[11][349]
20055.96/2520.15	v 	</list>
20055.96/2520.15	v 	<values>
20055.96/2520.15	v 		64 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 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 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 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 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 
20055.96/2520.15	v 	</values>
20055.96/2520.15	v </instantiation>

Verifier Data 

OK	64

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275040-1502689546/watcher-4275040-1502689546 -o /tmp/evaluation-result-4275040-1502689546/solver-4275040-1502689546 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502688687-31328 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 396684620 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275040-1502689546.xml 

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

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

solver pid=31345, runsolver pid=31342

[startup+0.100155 s]*
/proc/loadavg: 8.70 8.69 8.64 2/198 31365
/proc/meminfo: memFree=31601728/32770624 swapFree=67108860/67108860
[pid=31345] ppid=31342 vsize=14325320 memory=33720 CPUtime=0.12 cores=0-7
/proc/31345/stat : 31345 (java) S 31342 31345 31301 0 -1 1077944320 8330 0 0 0 11 1 0 0 20 0 20 0 102042361 14669127680 8430 33554432000 4194304 4196468 140726816821568 140726816804112 139627572543223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
/proc/31345/statm: 3581330 8430 3411 1 0 3569050 0
[pid=31345/tid=31347] ppid=31342 vsize=14325320 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/31345/task/31347/stat : 31347 (java) R 31342 31345 31301 0 -1 4202560 6273 0 0 0 8 0 0 0 20 0 20 0 102042362 14669127680 8430 33554432000 4194304 4196468 140726816821568 139627576722480 139627572565149 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31348] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31348/stat : 31348 (java) S 31342 31345 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102042363 14669127680 8430 33554432000 4194304 4196468 140726816821568 139627510144016 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31349] ppid=31342 vsize=14325320 memory=139919665526400 CPUtime=0 cores=0-7
/proc/31345/task/31349/stat : 31349 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14669127680 8430 33554432000 4194304 4196468 140726816821568 139627509091472 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31350] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31350/stat : 31350 (java) S 31342 31345 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102042363 14669127680 8430 33554432000 4194304 4196468 140726816821568 139627166440208 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31351] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31351/stat : 31351 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14669127680 8430 33554432000 4194304 4196468 140726816821568 139627165387664 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31352] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31352/stat : 31352 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14669127680 8430 33554432000 4194304 4196468 140726816821568 139627164334608 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31353] ppid=31342 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/31345/task/31353/stat : 31353 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14669127680 8430 33554432000 4194304 4196468 140726816821568 139627163282064 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31354] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31354/stat : 31354 (java) S 31342 31345 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102042363 14669127680 8430 33554432000 4194304 4196468 140726816821568 139627162229008 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31355] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31355/stat : 31355 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14669127680 8430 33554432000 4194304 4196468 140726816821568 139627161176464 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31356] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31356/stat : 31356 (java) S 31342 31345 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102042364 14669127680 8430 33554432000 4194304 4196468 140726816821568 139626266454768 139627572554370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31357] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31357/stat : 31357 (java) S 31342 31345 31301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102042364 14669127680 8430 33554432000 4194304 4196468 140726816821568 139626265400992 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31358] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31358/stat : 31358 (java) S 31342 31345 31301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102042365 14669127680 8430 33554432000 4194304 4196468 140726816821568 139626264347888 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31359] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31359/stat : 31359 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042367 14669127680 8430 33554432000 4194304 4196468 140726816821568 139626263296464 139627572561819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31360] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31360/stat : 31360 (java) S 31342 31345 31301 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 102042367 14669127680 8430 33554432000 4194304 4196468 140726816821568 139626262243568 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31361] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31361/stat : 31361 (java) S 31342 31345 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102042367 14669127680 8430 33554432000 4194304 4196468 140726816821568 139626261191024 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31362] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31362/stat : 31362 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042367 14669127680 8430 33554432000 4194304 4196468 140726816821568 139626260137968 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31363] ppid=31342 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/31345/task/31363/stat : 31363 (java) S 31342 31345 31301 0 -1 1077944384 368 0 0 0 1 0 0 0 20 0 20 0 102042367 14669127680 8430 33554432000 4194304 4196468 140726816821568 139626259085424 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31364] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31364/stat : 31364 (java) S 31342 31345 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102042367 14669127680 8430 33554432000 4194304 4196468 140726816821568 139626258033632 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31365] ppid=31342 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/31345/task/31365/stat : 31365 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042367 14669127680 8430 33554432000 4194304 4196468 140726816821568 139626256981168 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 33720 KiB

[startup+0.209969 s]*
/proc/loadavg: 8.70 8.69 8.64 3/198 31365
/proc/meminfo: memFree=31592484/32770624 swapFree=67108860/67108860
[pid=31345] ppid=31342 vsize=14325320 memory=42604 CPUtime=0.3 cores=0-7
/proc/31345/stat : 31345 (java) S 31342 31345 31301 0 -1 1077944320 9304 0 0 0 28 2 0 0 20 0 20 0 102042361 14669127680 10651 33554432000 4194304 4196468 140726816821568 140726816804112 139627572543223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
/proc/31345/statm: 3581330 10651 3625 1 0 3569050 0
[pid=31345/tid=31347] ppid=31342 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/31345/task/31347/stat : 31347 (java) R 31342 31345 31301 0 -1 4202560 6898 0 0 0 18 1 0 0 20 0 20 0 102042362 14669127680 10651 33554432000 4194304 4196468 140726816821568 139627576758240 139627572565149 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31348] ppid=31342 vsize=14325320 memory=3182 CPUtime=0 cores=0-7
/proc/31345/task/31348/stat : 31348 (java) S 31342 31345 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102042363 14669127680 10651 33554432000 4194304 4196468 140726816821568 139627510144016 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31349] ppid=31342 vsize=14325320 memory=4048938898191677088 CPUtime=0 cores=0-7
/proc/31345/task/31349/stat : 31349 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14669127680 10651 33554432000 4194304 4196468 140726816821568 139627509091472 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31350] ppid=31342 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/31345/task/31350/stat : 31350 (java) S 31342 31345 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102042363 14669127680 10651 33554432000 4194304 4196468 140726816821568 139627166440208 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31351] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31351/stat : 31351 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14669127680 10651 33554432000 4194304 4196468 140726816821568 139627165387664 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31352] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31352/stat : 31352 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14669127680 10651 33554432000 4194304 4196468 140726816821568 139627164334608 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31353] ppid=31342 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/31345/task/31353/stat : 31353 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14669127680 10651 33554432000 4194304 4196468 140726816821568 139627163282064 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31354] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31354/stat : 31354 (java) S 31342 31345 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102042363 14669127680 10651 33554432000 4194304 4196468 140726816821568 139627162229008 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31355] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31355/stat : 31355 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14669127680 10651 33554432000 4194304 4196468 140726816821568 139627161176464 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31356] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31356/stat : 31356 (java) S 31342 31345 31301 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 102042364 14669127680 10651 33554432000 4194304 4196468 140726816821568 139626266454768 139627572554370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31357] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31357/stat : 31357 (java) S 31342 31345 31301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102042364 14669127680 10651 33554432000 4194304 4196468 140726816821568 139626265400992 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31358] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31358/stat : 31358 (java) S 31342 31345 31301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102042365 14669127680 10651 33554432000 4194304 4196468 140726816821568 139626264347888 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31359] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31359/stat : 31359 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042367 14669127680 10651 33554432000 4194304 4196468 140726816821568 139626263296464 139627572561819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31360] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31360/stat : 31360 (java) S 31342 31345 31301 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 102042367 14669127680 10651 33554432000 4194304 4196468 140726816821568 139626262243568 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31361] ppid=31342 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/31345/task/31361/stat : 31361 (java) S 31342 31345 31301 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 20 0 102042367 14669127680 10651 33554432000 4194304 4196468 140726816821568 139626261191024 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31362] ppid=31342 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/31345/task/31362/stat : 31362 (java) S 31342 31345 31301 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 20 0 102042367 14669127680 10651 33554432000 4194304 4196468 140726816821568 139626260137968 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31363] ppid=31342 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/31345/task/31363/stat : 31363 (java) S 31342 31345 31301 0 -1 1077944384 387 0 0 0 5 0 0 0 20 0 20 0 102042367 14669127680 10651 33554432000 4194304 4196468 140726816821568 139626259085424 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31364] ppid=31342 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31364/stat : 31364 (java) S 31342 31345 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102042367 14669127680 10651 33554432000 4194304 4196468 140726816821568 139626258033632 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31365] ppid=31342 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/31345/task/31365/stat : 31365 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042367 14669127680 10651 33554432000 4194304 4196468 140726816821568 139626256981168 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 42604 KiB

[startup+0.309342 s]*
/proc/loadavg: 8.70 8.69 8.64 2/198 31365
/proc/meminfo: memFree=31585536/32770624 swapFree=67108860/67108860
[pid=31345] ppid=31342 vsize=14325340 memory=50384 CPUtime=0.47 cores=0-7
/proc/31345/stat : 31345 (java) S 31342 31345 31301 0 -1 1077944320 10331 0 0 0 44 3 0 0 20 0 20 0 102042361 14669148160 12596 33554432000 4194304 4196468 140726816821568 140726816804112 139627572543223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
/proc/31345/statm: 3581335 12596 3698 1 0 3569050 0
[pid=31345/tid=31347] ppid=31342 vsize=14325340 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/31345/task/31347/stat : 31347 (java) R 31342 31345 31301 0 -1 4202560 7599 0 0 0 27 1 0 0 20 0 20 0 102042362 14669148160 12596 33554432000 4194304 4196468 140726816821568 139627576763680 139627572555158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31348] ppid=31342 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31348/stat : 31348 (java) S 31342 31345 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102042363 14669148160 12596 33554432000 4194304 4196468 140726816821568 139627510144016 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31349] ppid=31342 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31349/stat : 31349 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14669148160 12596 33554432000 4194304 4196468 140726816821568 139627509091472 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31350] ppid=31342 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31350/stat : 31350 (java) S 31342 31345 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102042363 14669148160 12596 33554432000 4194304 4196468 140726816821568 139627166440208 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31351] ppid=31342 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31351/stat : 31351 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14669148160 12596 33554432000 4194304 4196468 140726816821568 139627165387664 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31352] ppid=31342 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/31345/task/31352/stat : 31352 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14669148160 12596 33554432000 4194304 4196468 140726816821568 139627164334608 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31353] ppid=31342 vsize=14325340 memory=139919565616047 CPUtime=0 cores=0-7
/proc/31345/task/31353/stat : 31353 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14669148160 12596 33554432000 4194304 4196468 140726816821568 139627163282064 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31354] ppid=31342 vsize=14325340 memory=139919565618352 CPUtime=0 cores=0-7
/proc/31345/task/31354/stat : 31354 (java) S 31342 31345 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102042363 14669148160 12596 33554432000 4194304 4196468 140726816821568 139627162229008 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31355] ppid=31342 vsize=14325340 memory=139919565620656 CPUtime=0 cores=0-7
/proc/31345/task/31355/stat : 31355 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14669148160 12596 33554432000 4194304 4196468 140726816821568 139627161176464 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31356] ppid=31342 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31356/stat : 31356 (java) S 31342 31345 31301 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 102042364 14669148160 12596 33554432000 4194304 4196468 140726816821568 139626266454768 139627572554370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31357] ppid=31342 vsize=14325340 memory=279839131248272 CPUtime=0 cores=0-7
/proc/31345/task/31357/stat : 31357 (java) S 31342 31345 31301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 102042364 14669148160 12596 33554432000 4194304 4196468 140726816821568 139626265400992 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31358] ppid=31342 vsize=14325340 memory=279839131255184 CPUtime=0 cores=0-7
/proc/31345/task/31358/stat : 31358 (java) S 31342 31345 31301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 102042365 14669148160 12596 33554432000 4194304 4196468 140726816821568 139626264347888 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31359] ppid=31342 vsize=14325340 memory=279839131196464 CPUtime=0 cores=0-7
/proc/31345/task/31359/stat : 31359 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042367 14669148160 12596 33554432000 4194304 4196468 140726816821568 139626263296464 139627572561819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31360] ppid=31342 vsize=14325340 memory=279839131269008 CPUtime=0.02 cores=0-7
/proc/31345/task/31360/stat : 31360 (java) S 31342 31345 31301 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 20 0 102042367 14669148160 12596 33554432000 4194304 4196468 140726816821568 139626262243568 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31361] ppid=31342 vsize=14325340 memory=279839131275920 CPUtime=0.01 cores=0-7
/proc/31345/task/31361/stat : 31361 (java) R 31342 31345 31301 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 20 0 102042367 14669148160 12596 33554432000 4194304 4196468 140726816821568 139626261191120 139627572553429 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31362] ppid=31342 vsize=14325340 memory=279839131273616 CPUtime=0.03 cores=0-7
/proc/31345/task/31362/stat : 31362 (java) S 31342 31345 31301 0 -1 1077944384 345 0 0 0 3 0 0 0 20 0 20 0 102042367 14669148160 12596 33554432000 4194304 4196468 140726816821568 139626260137968 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31363] ppid=31342 vsize=14325340 memory=279839131290224 CPUtime=0.08 cores=0-7
/proc/31345/task/31363/stat : 31363 (java) R 31342 31345 31301 0 -1 4202560 481 0 0 0 8 0 0 0 20 0 20 0 102042367 14669148160 12596 33554432000 4194304 4196468 140726816821568 139626259085424 139627572555158 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31364] ppid=31342 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31364/stat : 31364 (java) S 31342 31345 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102042367 14669148160 12596 33554432000 4194304 4196468 140726816821568 139626258033632 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31365] ppid=31342 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/31345/task/31365/stat : 31365 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042367 14669148160 12596 33554432000 4194304 4196468 140726816821568 139626256981168 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 50384 KiB

[startup+0.700863 s]
/proc/loadavg: 8.08 8.56 8.60 4/198 31365
/proc/meminfo: memFree=31570260/32770624 swapFree=67108860/67108860
[pid=31345] ppid=31342 vsize=14327388 memory=86624 CPUtime=1.43 cores=0-7
/proc/31345/stat : 31345 (java) S 31342 31345 31301 0 -1 1077944320 12755 0 0 0 139 4 0 0 20 0 20 0 102042361 14671245312 21656 33554432000 4194304 4196468 140726816821568 140726816804112 139627572543223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
/proc/31345/statm: 3581847 21656 3785 1 0 3569562 0
[pid=31345/tid=31347] ppid=31342 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/31345/task/31347/stat : 31347 (java) R 31342 31345 31301 0 -1 4202560 8544 0 0 0 65 2 0 0 20 0 20 0 102042362 14671245312 21656 33554432000 4194304 4196468 140726816821568 139627576779664 139627189267959 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31348] ppid=31342 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31348/stat : 31348 (java) S 31342 31345 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102042363 14671245312 21656 33554432000 4194304 4196468 140726816821568 139627510144016 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31349] ppid=31342 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31349/stat : 31349 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14671245312 21656 33554432000 4194304 4196468 140726816821568 139627509091472 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31350] ppid=31342 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31350/stat : 31350 (java) S 31342 31345 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 102042363 14671245312 21656 33554432000 4194304 4196468 140726816821568 139627166440208 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31351] ppid=31342 vsize=14327388 memory=1720 CPUtime=0 cores=0-7
/proc/31345/task/31351/stat : 31351 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14671245312 21656 33554432000 4194304 4196468 140726816821568 139627165387664 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31352] ppid=31342 vsize=14327388 memory=1004 CPUtime=0 cores=0-7
/proc/31345/task/31352/stat : 31352 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14671245312 21656 33554432000 4194304 4196468 140726816821568 139627164334608 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31353] ppid=31342 vsize=14327388 memory=1436 CPUtime=0 cores=0-7
/proc/31345/task/31353/stat : 31353 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14671245312 21656 33554432000 4194304 4196468 140726816821568 139627163282064 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31354] ppid=31342 vsize=14327388 memory=1200 CPUtime=0 cores=0-7
/proc/31345/task/31354/stat : 31354 (java) S 31342 31345 31301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 102042363 14671245312 21656 33554432000 4194304 4196468 140726816821568 139627162229008 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31355] ppid=31342 vsize=14327388 memory=15872 CPUtime=0 cores=0-7
/proc/31345/task/31355/stat : 31355 (java) S 31342 31345 31301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 102042363 14671245312 21656 33554432000 4194304 4196468 140726816821568 139627161176464 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31356] ppid=31342 vsize=14327388 memory=4040 CPUtime=0 cores=0-7
/proc/31345/task/31356/stat : 31356 (java) S 31342 31345 31301 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 102042364 14671245312 21656 33554432000 4194304 4196468 140726816821568 139626266454768 139627572554370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0

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

/proc/31345/task/31369/stat : 31369 (java) S 31342 31345 31301 0 -1 1077944384 794 0 0 0 25 0 0 0 20 0 46 0 102042766 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139626239341840 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31370] ppid=31342 vsize=16068328 memory=2200 CPUtime=2479.77 cores=0-7
/proc/31345/task/31370/stat : 31370 (java) R 31342 31345 31301 0 -1 4202560 90207 0 0 0 247834 143 0 0 20 0 46 0 102042766 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139626238282296 139627201996585 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31371] ppid=31342 vsize=16068328 memory=6504 CPUtime=0.2 cores=0-7
/proc/31345/task/31371/stat : 31371 (java) S 31342 31345 31301 0 -1 1077944384 65 0 0 0 20 0 0 0 20 0 46 0 102042766 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139626237236240 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31372] ppid=31342 vsize=16068328 memory=1236 CPUtime=2482.87 cores=0-7
/proc/31345/task/31372/stat : 31372 (java) R 31342 31345 31301 0 -1 4202560 86870 0 0 0 248151 136 0 0 20 0 46 0 102042766 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139626236179824 139627202668354 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31373] ppid=31342 vsize=16068328 memory=960 CPUtime=2478.34 cores=0-7
/proc/31345/task/31373/stat : 31373 (java) R 31342 31345 31301 0 -1 4202560 84403 0 0 0 247695 139 0 0 20 0 46 0 102042769 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139626235125672 139627190105319 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31374] ppid=31342 vsize=16068328 memory=2340 CPUtime=2481.45 cores=0-7
/proc/31345/task/31374/stat : 31374 (java) R 31342 31345 31301 0 -1 4202560 60701 0 0 0 248054 91 0 0 20 0 46 0 102042769 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139626234072120 140726817066207 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31375] ppid=31342 vsize=16068328 memory=2236 CPUtime=0.18 cores=0-7
/proc/31345/task/31375/stat : 31375 (java) S 31342 31345 31301 0 -1 1077944384 519 0 0 0 18 0 0 0 20 0 46 0 102042769 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139624957601296 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31376] ppid=31342 vsize=16068328 memory=4084 CPUtime=2473.36 cores=0-7
/proc/31345/task/31376/stat : 31376 (java) R 31342 31345 31301 0 -1 4202560 85320 0 0 0 247190 146 0 0 20 0 46 0 102042769 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139624822324088 139627199667681 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31377] ppid=31342 vsize=16068328 memory=932 CPUtime=2476.15 cores=0-7
/proc/31345/task/31377/stat : 31377 (java) R 31342 31345 31301 0 -1 4202560 81932 0 0 0 247482 133 0 0 20 0 46 0 102042769 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139624956541560 139627201426913 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31378] ppid=31342 vsize=16068328 memory=1572 CPUtime=2478.94 cores=0-7
/proc/31345/task/31378/stat : 31378 (java) R 31342 31345 31301 0 -1 4202560 55362 0 0 0 247822 72 0 0 20 0 46 0 102042769 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139624955489320 139627201996450 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31379] ppid=31342 vsize=16068328 memory=2200 CPUtime=0 cores=0-7
/proc/31345/task/31379/stat : 31379 (java) S 31342 31345 31301 0 -1 1077944384 755 0 0 0 0 0 0 0 20 0 46 0 102042815 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139624954442768 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31380] ppid=31342 vsize=16068328 memory=4561344 CPUtime=0 cores=0-7
/proc/31345/task/31380/stat : 31380 (java) S 31342 31345 31301 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 46 0 102042815 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139624953390736 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31381] ppid=31342 vsize=16068328 memory=1728 CPUtime=0 cores=0-7
/proc/31345/task/31381/stat : 31381 (java) S 31342 31345 31301 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 46 0 102042815 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139624952338064 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31382] ppid=31342 vsize=16068328 memory=5788 CPUtime=0.01 cores=0-7
/proc/31345/task/31382/stat : 31382 (java) S 31342 31345 31301 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 46 0 102042815 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139624951285136 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31383] ppid=31342 vsize=16068328 memory=1228 CPUtime=0 cores=0-7
/proc/31345/task/31383/stat : 31383 (java) S 31342 31345 31301 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 46 0 102042911 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139624948098576 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31384] ppid=31342 vsize=16068328 memory=796 CPUtime=0 cores=0-7
/proc/31345/task/31384/stat : 31384 (java) S 31342 31345 31301 0 -1 1077944384 881 0 0 0 0 0 0 0 20 0 46 0 102042915 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139624947045520 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31385] ppid=31342 vsize=16068328 memory=10020 CPUtime=0.01 cores=0-7
/proc/31345/task/31385/stat : 31385 (java) S 31342 31345 31301 0 -1 1077944384 718 0 0 0 1 0 0 0 20 0 46 0 102042916 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139624945992976 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31386] ppid=31342 vsize=16068328 memory=1948 CPUtime=0 cores=0-7
/proc/31345/task/31386/stat : 31386 (java) S 31342 31345 31301 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 46 0 102042918 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139624944939920 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31387] ppid=31342 vsize=16068328 memory=8536 CPUtime=0 cores=0-7
/proc/31345/task/31387/stat : 31387 (java) S 31342 31345 31301 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 46 0 102042920 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139624943887376 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31388] ppid=31342 vsize=16068328 memory=4616 CPUtime=0 cores=0-7
/proc/31345/task/31388/stat : 31388 (java) S 31342 31345 31301 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 46 0 102042923 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139624942835344 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31389] ppid=31342 vsize=16068328 memory=1720 CPUtime=0 cores=0-7
/proc/31345/task/31389/stat : 31389 (java) S 31342 31345 31301 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 46 0 102042952 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139624941782800 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31390] ppid=31342 vsize=16068328 memory=1004 CPUtime=0 cores=0-7
/proc/31345/task/31390/stat : 31390 (java) S 31342 31345 31301 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 46 0 102042955 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139624940729744 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31391] ppid=31342 vsize=16068328 memory=1436 CPUtime=0 cores=0-7
/proc/31345/task/31391/stat : 31391 (java) S 31342 31345 31301 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 46 0 102042957 16453967872 1140336 33554432000 4194304 4196468 140726816821568 139624939677200 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
Current children cumulated CPU time: 20055 s
Current children cumulated vsize: 16068328 KiB
Current children cumulated memory: 4561344 KiB

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

[startup+2520.19 s]
# the end of solver process 31345 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20041 s, system=15.244 s

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

[startup+2520.13 s]
/proc/loadavg: 8.99 8.82 8.78 9/225 31450
/proc/meminfo: memFree=27061776/32770624 swapFree=67108860/67108860
[pid=31345] ppid=31342 vsize=16201456 memory=4561528 CPUtime=20056 cores=0-7
/proc/31345/stat : 31345 (java) S 31342 31345 31301 0 -1 1077944320 1150120 0 0 0 2004075 1521 0 0 20 0 48 0 102042361 16590290944 1140382 33554432000 4194304 4196468 140726816821568 140726816804112 139627572543223 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
/proc/31345/statm: 4050364 1140382 3859 1 0 4037558 0
[pid=31345/tid=31347] ppid=31342 vsize=16201456 memory=4561344 CPUtime=3.7 cores=0-7
/proc/31345/task/31347/stat : 31347 (java) S 31342 31345 31301 0 -1 1077944384 13907 0 0 0 363 7 0 0 20 0 48 0 102042362 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139627576780928 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31348] ppid=31342 vsize=16201456 memory=4561344 CPUtime=25.41 cores=0-7
/proc/31345/task/31348/stat : 31348 (java) S 31342 31345 31301 0 -1 1077944384 47702 0 0 0 2477 64 0 0 20 0 48 0 102042363 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139627510144016 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 7 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31349] ppid=31342 vsize=16201456 memory=4561344 CPUtime=25.41 cores=0-7
/proc/31345/task/31349/stat : 31349 (java) S 31342 31345 31301 0 -1 1077944384 40700 0 0 0 2478 63 0 0 20 0 48 0 102042363 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139627509091472 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31350] ppid=31342 vsize=16201456 memory=0 CPUtime=25.4 cores=0-7
/proc/31345/task/31350/stat : 31350 (java) S 31342 31345 31301 0 -1 1077944384 45550 0 0 0 2481 59 0 0 20 0 48 0 102042363 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139627166440208 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31351] ppid=31342 vsize=16201456 memory=1692 CPUtime=25.35 cores=0-7
/proc/31345/task/31351/stat : 31351 (java) S 31342 31345 31301 0 -1 1077944384 47844 0 0 0 2477 58 0 0 20 0 48 0 102042363 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139627165387664 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31352] ppid=31342 vsize=16201456 memory=916 CPUtime=25.37 cores=0-7
/proc/31345/task/31352/stat : 31352 (java) S 31342 31345 31301 0 -1 1077944384 47904 0 0 0 2474 63 0 0 20 0 48 0 102042363 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139627164334608 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31353] ppid=31342 vsize=16201456 memory=4561344 CPUtime=25.44 cores=0-7
/proc/31345/task/31353/stat : 31353 (java) S 31342 31345 31301 0 -1 1077944384 43774 0 0 0 2486 58 0 0 20 0 48 0 102042363 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139627163282064 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31354] ppid=31342 vsize=16201456 memory=4561344 CPUtime=25.32 cores=0-7
/proc/31345/task/31354/stat : 31354 (java) S 31342 31345 31301 0 -1 1077944384 44148 0 0 0 2473 59 0 0 20 0 48 0 102042363 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139627162229008 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31355] ppid=31342 vsize=16201456 memory=4561344 CPUtime=25.4 cores=0-7
/proc/31345/task/31355/stat : 31355 (java) S 31342 31345 31301 0 -1 1077944384 44881 0 0 0 2480 60 0 0 20 0 48 0 102042363 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139627161176464 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31356] ppid=31342 vsize=16201456 memory=4561344 CPUtime=0.94 cores=0-7
/proc/31345/task/31356/stat : 31356 (java) S 31342 31345 31301 0 -1 1077944384 54453 0 0 0 83 11 0 0 20 0 48 0 102042364 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626266454768 139627572554370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31357] ppid=31342 vsize=16201456 memory=4558268 CPUtime=0 cores=0-7
/proc/31345/task/31357/stat : 31357 (java) S 31342 31345 31301 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 48 0 102042364 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626265401056 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31358] ppid=31342 vsize=16201456 memory=4558268 CPUtime=0 cores=0-7
/proc/31345/task/31358/stat : 31358 (java) S 31342 31345 31301 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 48 0 102042365 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626264347904 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31359] ppid=31342 vsize=16201456 memory=4558268 CPUtime=0 cores=0-7
/proc/31345/task/31359/stat : 31359 (java) S 31342 31345 31301 0 -1 1077944384 258 0 0 0 0 0 0 0 20 0 48 0 102042367 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626263296464 139627572561819 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31360] ppid=31342 vsize=16201456 memory=164 CPUtime=3.38 cores=0-7
/proc/31345/task/31360/stat : 31360 (java) S 31342 31345 31301 0 -1 1077944384 13579 0 0 0 335 3 0 0 20 0 48 0 102042367 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626262243568 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 61 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31361] ppid=31342 vsize=16201456 memory=6943526294502006880 CPUtime=2.81 cores=0-7
/proc/31345/task/31361/stat : 31361 (java) S 31342 31345 31301 0 -1 1077944384 13738 0 0 0 279 2 0 0 20 0 48 0 102042367 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626261191024 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 41 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31362] ppid=31342 vsize=16201456 memory=6944652177228980320 CPUtime=2.86 cores=0-7
/proc/31345/task/31362/stat : 31362 (java) S 31342 31345 31301 0 -1 1077944384 10119 0 0 0 284 2 0 0 20 0 48 0 102042367 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626260137968 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 61 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31363] ppid=31342 vsize=16201456 memory=269457658279184 CPUtime=1.11 cores=0-7
/proc/31345/task/31363/stat : 31363 (java) S 31342 31345 31301 0 -1 1077944384 27940 0 0 0 104 7 0 0 20 0 48 0 102042367 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626259085424 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31364] ppid=31342 vsize=16201456 memory=8292088564187963537 CPUtime=0 cores=0-7
/proc/31345/task/31364/stat : 31364 (java) S 31342 31345 31301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 102042367 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626258033632 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31365] ppid=31342 vsize=16201456 memory=-7606742951091920751 CPUtime=1.08 cores=0-7
/proc/31345/task/31365/stat : 31365 (java) S 31342 31345 31301 0 -1 1077944384 3492 0 0 0 53 55 0 0 20 0 48 0 102042367 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626256981168 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 64 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31366] ppid=31342 vsize=16201456 memory=164 CPUtime=0.02 cores=0-7
/proc/31345/task/31366/stat : 31366 (java) S 31342 31345 31301 0 -1 1077944384 2538 0 0 0 2 0 0 0 20 0 48 0 102042744 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626246693920 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31367] ppid=31342 vsize=16201456 memory=6944656592455359580 CPUtime=5.29 cores=0-7
/proc/31345/task/31367/stat : 31367 (java) S 31342 31345 31301 0 -1 1077944384 9736 0 0 0 250 279 0 0 20 0 48 0 102042756 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626243544480 139627572554370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31368] ppid=31342 vsize=16201456 memory=6944656575208382560 CPUtime=2478.96 cores=0-7
/proc/31345/task/31368/stat : 31368 (java) R 31342 31345 31301 0 -1 4202560 86162 0 0 0 247770 126 0 0 20 0 48 0 102042765 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626242485544 139627201996809 0 4 0 16800975 0 0 0 -1 3 0 0 17 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31369] ppid=31342 vsize=16201456 memory=279839133499408 CPUtime=0.25 cores=0-7
/proc/31345/task/31369/stat : 31369 (java) S 31342 31345 31301 0 -1 1077944384 794 0 0 0 25 0 0 0 20 0 48 0 102042766 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626239341840 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31370] ppid=31342 vsize=16201456 memory=136801419266538 CPUtime=2479.88 cores=0-7
/proc/31345/task/31370/stat : 31370 (java) R 31342 31345 31301 0 -1 4202560 90214 0 0 0 247845 143 0 0 20 0 48 0 102042766 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626238282296 139627201444375 0 4 0 16800975 0 0 0 -1 6 0 0 14 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31371] ppid=31342 vsize=16201456 memory=136801419266282 CPUtime=0.2 cores=0-7
/proc/31345/task/31371/stat : 31371 (java) S 31342 31345 31301 0 -1 1077944384 65 0 0 0 20 0 0 0 20 0 48 0 102042766 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626237236240 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31372] ppid=31342 vsize=16201456 memory=1200 CPUtime=2482.98 cores=0-7
/proc/31345/task/31372/stat : 31372 (java) R 31342 31345 31301 0 -1 4202560 86877 0 0 0 248162 136 0 0 20 0 48 0 102042766 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626236179824 139627196463907 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31373] ppid=31342 vsize=16201456 memory=15872 CPUtime=2478.45 cores=0-7
/proc/31345/task/31373/stat : 31373 (java) R 31342 31345 31301 0 -1 4202560 84409 0 0 0 247706 139 0 0 20 0 48 0 102042769 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626235125672 139627202668278 0 4 0 16800975 0 0 0 -1 7 0 0 17 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31374] ppid=31342 vsize=16201456 memory=4040 CPUtime=2481.57 cores=0-7
/proc/31345/task/31374/stat : 31374 (java) R 31342 31345 31301 0 -1 4202560 60704 0 0 0 248066 91 0 0 20 0 48 0 102042769 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139626234072120 139627201996450 0 4 0 16800975 0 0 0 -1 4 0 0 12 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31375] ppid=31342 vsize=16201456 memory=6791534058613427641 CPUtime=0.18 cores=0-7
/proc/31345/task/31375/stat : 31375 (java) S 31342 31345 31301 0 -1 1077944384 519 0 0 0 18 0 0 0 20 0 48 0 102042769 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139624957601296 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31376] ppid=31342 vsize=16201456 memory=6944656592455097440 CPUtime=2473.48 cores=0-7
/proc/31345/task/31376/stat : 31376 (java) R 31342 31345 31301 0 -1 4202560 85326 0 0 0 247202 146 0 0 20 0 48 0 102042769 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139624822324088 139627195082388 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31377] ppid=31342 vsize=16201456 memory=7372796584937546604 CPUtime=2476.26 cores=0-7
/proc/31345/task/31377/stat : 31377 (java) R 31342 31345 31301 0 -1 4202560 81938 0 0 0 247493 133 0 0 20 0 48 0 102042769 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139624956541560 139627201996450 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31378] ppid=31342 vsize=16201456 memory=4561344 CPUtime=2479.05 cores=0-7
/proc/31345/task/31378/stat : 31378 (java) R 31342 31345 31301 0 -1 4202560 55366 0 0 0 247833 72 0 0 20 0 48 0 102042769 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139624955489320 139627199330488 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31379] ppid=31342 vsize=16201456 memory=17344 CPUtime=0 cores=0-7
/proc/31345/task/31379/stat : 31379 (java) S 31342 31345 31301 0 -1 1077944384 755 0 0 0 0 0 0 0 20 0 48 0 102042815 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139624954442768 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31380] ppid=31342 vsize=16201456 memory=18292 CPUtime=0 cores=0-7
/proc/31345/task/31380/stat : 31380 (java) S 31342 31345 31301 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 48 0 102042815 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139624953390736 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31381] ppid=31342 vsize=16201456 memory=4561344 CPUtime=0 cores=0-7
/proc/31345/task/31381/stat : 31381 (java) S 31342 31345 31301 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 48 0 102042815 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139624952338064 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31382] ppid=31342 vsize=16201456 memory=960 CPUtime=0.01 cores=0-7
/proc/31345/task/31382/stat : 31382 (java) S 31342 31345 31301 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 48 0 102042815 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139624951285136 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31383] ppid=31342 vsize=16201456 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31383/stat : 31383 (java) S 31342 31345 31301 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 48 0 102042911 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139624948098576 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31384] ppid=31342 vsize=16201456 memory=4561344 CPUtime=0 cores=0-7
/proc/31345/task/31384/stat : 31384 (java) S 31342 31345 31301 0 -1 1077944384 881 0 0 0 0 0 0 0 20 0 48 0 102042915 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139624947045520 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31385] ppid=31342 vsize=16201456 memory=4561344 CPUtime=0.01 cores=0-7
/proc/31345/task/31385/stat : 31385 (java) S 31342 31345 31301 0 -1 1077944384 718 0 0 0 1 0 0 0 20 0 48 0 102042916 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139624945992976 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31386] ppid=31342 vsize=16201456 memory=29536 CPUtime=0 cores=0-7
/proc/31345/task/31386/stat : 31386 (java) S 31342 31345 31301 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 48 0 102042918 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139624944939920 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31387] ppid=31342 vsize=16201456 memory=4561344 CPUtime=0 cores=0-7
/proc/31345/task/31387/stat : 31387 (java) S 31342 31345 31301 0 -1 1077944384 239 0 0 0 0 0 0 0 20 0 48 0 102042920 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139624943887376 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31388] ppid=31342 vsize=16201456 memory=932 CPUtime=0 cores=0-7
/proc/31345/task/31388/stat : 31388 (java) S 31342 31345 31301 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 48 0 102042923 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139624942835344 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31389] ppid=31342 vsize=16201456 memory=1572 CPUtime=0 cores=0-7
/proc/31345/task/31389/stat : 31389 (java) S 31342 31345 31301 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 48 0 102042952 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139624941782800 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31390] ppid=31342 vsize=16201456 memory=2200 CPUtime=0 cores=0-7
/proc/31345/task/31390/stat : 31390 (java) S 31342 31345 31301 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 48 0 102042955 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139624940729744 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
[pid=31345/tid=31391] ppid=31342 vsize=16201456 memory=0 CPUtime=0 cores=0-7
/proc/31345/task/31391/stat : 31391 (java) S 31342 31345 31301 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 48 0 102042957 16590290944 1140382 33554432000 4194304 4196468 140726816821568 139624939677200 139627572553429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21602304 140726816830562 140726816830747 140726816830747 140726816833487 0
Current children cumulated CPU time: 20056 s
Current children cumulated vsize: 16201456 KiB
Current children cumulated memory: 4561528 KiB

Child status: 143
Real time (s): 2520.19
CPU time (s): 20056.2
CPU user time (s): 20041
CPU system time (s): 15.244
CPU usage (%): 795.822
Max. virtual memory (cumulated for all children) (KiB): 16201456
Max. memory (cumulated for all children) (KiB): 4562984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20041
system time used= 15.244
maximum resident set size= 4562984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1151954
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 323102
involuntary context switches= 421551


# summary of solver processes directly reported to runsolver:
#   pid: 31345
#   total CPU time (s): 20056.2
#   total CPU user time (s): 20041
#   total CPU system time (s): 15.244

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.3611 second user time and 37.5911 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-14 07:31:27
IDJOB=4275040
IDBENCH=122943
IDSOLVER=2668
FILE ID=node112/4275040-1502689546
RUNJOBID= node112-1502688687-31328
PBS_JOBID= 20628994
Free space on /tmp= 61788 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-12-350-100.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275040-1502689546/watcher-4275040-1502689546 -o /tmp/evaluation-result-4275040-1502689546/solver-4275040-1502689546 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502688687-31328 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 396684620 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275040-1502689546.xml

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

MD5SUM BENCH= 498e8e69e2f573dee371e4fc9819ce0a
RANDOM SEED=396684620

node112.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.24
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.24
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.24
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.24
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:        31620040 kB
MemAvailable:   31977340 kB
Buffers:          159032 kB
Cached:           476520 kB
SwapCached:            0 kB
Active:           490984 kB
Inactive:         196836 kB
Active(anon):       3900 kB
Inactive(anon):    76456 kB
Active(file):     487084 kB
Inactive(file):   120380 kB
Unevictable:        6276 kB
Mlocked:            6276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42360 kB
Writeback:             0 kB
AnonPages:         58280 kB
Mapped:            44100 kB
Shmem:             25224 kB
Slab:             157440 kB
SReclaimable:     131340 kB
SUnreclaim:        26100 kB
KernelStack:        3152 kB
PageTables:         4792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61748 MiB
End job on node112 at 2017-08-14 08:13:27