Trace number 4257081

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)82 1921.61 243.759

General information on the benchmark

NameOpd/Opd-sum-large/
Opd-10-325-100.xml
MD5SUM34a68c11381dc26a6f51296df739d32e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark43
Best CPU time to get the best result obtained on this benchmark1994.3199
Satisfiable
(Un)Satisfiability was proved
Number of variables3251
Number of constraints56
Number of domains2
Minimum domain size2
Maximum domain size302
Distribution of domain sizes[{"size":2,"count":3250},{"size":302,"count":1}]
Minimum variable degree11
Maximum variable degree46
Distribution of variable degrees[{"degree":11,"count":3250},{"degree":46,"count":1}]
Minimum constraint arity325
Maximum constraint arity3250
Distribution of constraint arities[{"arity":325,"count":10},{"arity":651,"count":45},{"arity":3250,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":55}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


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

Solver Data 

0.31/0.43	c version: 2017-07-26
0.31/0.43	c seed: 1793522969
0.31/0.43	c timeout: 1920
0.31/0.43	c memlimit: 22000
0.31/0.43	c nbcore: 8
0.31/0.46	c Parsing instance...
1.20/0.87	c Parsing done, starting search...
16.32/4.65	o 325
16.32/4.66	o 324
16.32/4.67	o 323
16.32/4.67	o 322
16.32/4.67	o 321
16.32/4.67	o 320
16.32/4.67	o 319
16.32/4.67	o 318
16.32/4.68	o 317
16.32/4.68	o 316
16.32/4.69	o 315
16.32/4.69	o 314
16.32/4.69	o 313
17.11/4.70	o 312
17.11/4.70	o 311
17.11/4.70	o 310
17.11/4.70	o 309
17.11/4.71	o 308
17.11/4.71	o 307
17.11/4.71	o 306
17.11/4.72	o 305
17.11/4.72	o 304
17.11/4.72	o 303
17.11/4.76	o 302
17.11/4.77	o 301
17.11/4.77	o 300
17.11/4.77	o 299
17.11/4.77	o 298
17.11/4.78	o 297
17.88/4.83	o 296
17.88/4.83	o 295
17.88/4.83	o 294
17.88/4.83	o 293
17.88/4.84	o 292
17.88/4.84	o 291
17.88/4.84	o 290
17.88/4.84	o 289
17.88/4.85	o 288
17.88/4.86	o 287
17.88/4.86	o 286
17.88/4.86	o 285
17.88/4.86	o 284
17.88/4.86	o 283
17.88/4.86	o 282
17.88/4.86	o 281
17.88/4.88	o 280
17.88/4.88	o 279
17.88/4.88	o 278
17.88/4.88	o 277
17.88/4.89	o 276
17.88/4.89	o 275
17.88/4.89	o 274
17.88/4.89	o 273
17.88/4.89	o 272
17.88/4.90	o 271
17.88/4.90	o 270
17.88/4.90	o 269
17.88/4.90	o 268
18.70/4.91	o 267
18.70/4.91	o 266
18.70/4.91	o 265
18.70/4.91	o 264
18.70/4.92	o 263
18.70/4.92	o 262
18.70/4.92	o 261
18.70/4.92	o 260
18.70/4.92	o 259
18.70/4.93	o 258
18.70/4.93	o 257
18.70/4.93	o 256
18.70/4.93	o 255
18.70/4.94	o 254
18.70/4.94	o 253
18.70/4.94	o 252
18.70/4.95	o 251
18.70/4.95	o 250
18.70/4.95	o 249
18.70/4.95	o 248
18.70/4.96	o 247
18.70/4.96	o 246
18.70/4.96	o 245
18.70/4.96	o 244
18.70/4.97	o 243
18.70/4.97	o 242
18.70/4.97	o 241
18.70/4.97	o 240
18.70/4.97	o 239
18.70/5.00	o 238
18.70/5.00	o 237
18.70/5.00	o 236
18.70/5.00	o 235
19.49/5.01	o 234
19.49/5.01	o 233
19.49/5.01	o 232
19.49/5.02	o 231
19.49/5.02	o 230
19.49/5.02	o 229
19.49/5.02	o 228
19.49/5.03	o 227
19.49/5.03	o 226
19.49/5.04	o 225
19.49/5.04	o 224
19.49/5.04	o 223
19.49/5.05	o 222
19.49/5.05	o 221
19.49/5.06	o 220
19.49/5.06	o 219
19.49/5.06	o 218
19.49/5.06	o 217
19.49/5.07	o 216
19.49/5.07	o 215
19.49/5.07	o 214
19.49/5.07	o 213
19.49/5.07	o 212
19.49/5.08	o 211
19.49/5.08	o 210
19.49/5.08	o 209
19.49/5.08	o 208
19.49/5.08	o 207
19.49/5.08	o 206
19.49/5.09	o 205
19.49/5.09	o 204
19.49/5.09	o 203
20.27/5.10	o 202
20.27/5.10	o 201
20.27/5.10	o 200
20.27/5.10	o 199
20.27/5.10	o 198
20.27/5.11	o 197
20.27/5.11	o 196
20.27/5.11	o 195
20.27/5.11	o 194
20.27/5.12	o 193
20.27/5.12	o 192
20.27/5.12	o 191
20.27/5.12	o 190
20.27/5.12	o 189
20.27/5.13	o 188
20.27/5.13	o 187
20.27/5.13	o 186
20.27/5.13	o 185
20.27/5.13	o 184
20.27/5.14	o 183
20.27/5.14	o 182
20.27/5.14	o 181
20.27/5.14	o 180
20.27/5.15	o 179
20.27/5.15	o 178
20.27/5.15	o 177
20.27/5.15	o 176
20.27/5.16	o 175
20.27/5.16	o 174
20.27/5.16	o 173
20.27/5.16	o 172
20.27/5.16	o 171
20.27/5.17	o 170
20.27/5.17	o 169
20.27/5.17	o 168
20.27/5.17	o 167
20.27/5.17	o 166
20.27/5.18	o 165
20.27/5.18	o 164
20.27/5.18	o 163
20.27/5.18	o 162
20.27/5.18	o 161
20.27/5.19	o 160
20.27/5.19	o 159
20.27/5.19	o 158
20.27/5.19	o 157
21.07/5.20	o 156
21.07/5.20	o 155
21.07/5.20	o 154
21.07/5.21	o 153
21.07/5.21	o 152
21.07/5.21	o 151
21.07/5.21	o 150
21.07/5.21	o 149
21.07/5.22	o 148
21.07/5.22	o 147
21.07/5.22	o 146
21.07/5.23	o 145
21.07/5.23	o 144
21.07/5.23	o 143
21.07/5.23	o 142
21.07/5.24	o 141
21.07/5.24	o 140
21.07/5.24	o 139
21.07/5.24	o 138
21.07/5.24	o 137
21.07/5.25	o 136
21.07/5.25	o 135
21.07/5.25	o 134
21.07/5.25	o 133
21.07/5.26	o 132
21.07/5.26	o 131
21.07/5.26	o 130
21.07/5.26	o 129
21.07/5.26	o 128
21.07/5.27	o 127
21.07/5.27	o 126
21.07/5.28	o 125
21.07/5.28	o 124
21.07/5.28	o 123
21.07/5.28	o 122
21.07/5.29	o 121
21.07/5.29	o 120
21.07/5.29	o 119
21.07/5.29	o 118
21.07/5.29	o 117
21.88/5.34	o 116
21.88/5.34	o 115
21.88/5.35	o 114
21.88/5.35	o 113
21.88/5.35	o 112
21.88/5.35	o 111
21.88/5.35	o 110
21.88/5.36	o 109
21.88/5.37	o 108
21.88/5.38	o 107
21.88/5.38	o 106
21.88/5.38	o 105
21.88/5.38	o 104
21.88/5.38	o 103
21.88/5.38	o 102
21.88/5.39	o 101
21.88/5.39	o 100
30.59/6.44	o 99
66.82/11.12	o 98
171.15/24.23	o 97
257.19/35.08	o 96
366.46/48.78	o 95
440.55/58.10	o 94
573.69/74.76	o 93
801.71/103.39	o 92
920.56/118.22	o 91
1152.58/147.31	o 90
1261.01/160.93	o 89
1288.13/164.34	o 88
1412.52/179.91	o 87
1465.97/186.67	o 86
1529.78/194.62	o 85
1592.04/202.43	o 84
1673.33/212.67	o 83
1880.74/238.66	o 82
1920.62/243.66	s SATISFIABLE
1920.62/243.70	v <instantiation>
1920.62/243.70	v 	<list>
1920.62/243.70	v 		z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[0][50] x[0][51] x[0][52] x[0][53] x[0][54] x[0][55] x[0][56] x[0][57] x[0][58] x[0][59] x[0][60] x[0][61] x[0][62] x[0][63] x[0][64] x[0][65] x[0][66] x[0][67] x[0][68] x[0][69] x[0][70] x[0][71] x[0][72] x[0][73] x[0][74] x[0][75] x[0][76] x[0][77] x[0][78] x[0][79] x[0][80] x[0][81] x[0][82] x[0][83] x[0][84] x[0][85] x[0][86] x[0][87] x[0][88] x[0][89] x[0][90] x[0][91] x[0][92] x[0][93] x[0][94] x[0][95] x[0][96] x[0][97] x[0][98] x[0][99] x[0][100] x[0][101] x[0][102] x[0][103] x[0][104] x[0][105] x[0][106] x[0][107] x[0][108] x[0][109] x[0][110] x[0][111] x[0][112] x[0][113] x[0][114] x[0][115] x[0][116] x[0][117] x[0][118] x[0][119] x[0][120] x[0][121] x[0][122] x[0][123] x[0][124] x[0][125] x[0][126] x[0][127] x[0][128] x[0][129] x[0][130] x[0][131] x[0][132] x[0][133] x[0][134] x[0][135] x[0][136] x[0][137] x[0][138] x[0][139] x[0][140] x[0][141] x[0][142] x[0][143] x[0][144] x[0][145] x[0][146] x[0][147] x[0][148] x[0][149] x[0][150] x[0][151] x[0][152] x[0][153] x[0][154] x[0][155] x[0][156] x[0][157] x[0][158] x[0][159] x[0][160] x[0][161] x[0][162] x[0][163] x[0][164] x[0][165] x[0][166] x[0][167] x[0][168] x[0][169] x[0][170] x[0][171] x[0][172] x[0][173] x[0][174] x[0][175] x[0][176] x[0][177] x[0][178] x[0][179] x[0][180] x[0][181] x[0][182] x[0][183] x[0][184] x[0][185] x[0][186] x[0][187] x[0][188] x[0][189] x[0][190] x[0][191] x[0][192] x[0][193] x[0][194] x[0][195] x[0][196] x[0][197] x[0][198] x[0][199] x[0][200] x[0][201] x[0][202] x[0][203] x[0][204] x[0][205] x[0][206] x[0][207] x[0][208] x[0][209] x[0][210] x[0][211] x[0][212] x[0][213] x[0][214] x[0][215] x[0][216] x[0][217] x[0][218] x[0][219] x[0][220] x[0][221] x[0][222] x[0][223] x[0][224] x[0][225] x[0][226] x[0][227] x[0][228] x[0][229] x[0][230] x[0][231] x[0][232] x[0][233] x[0][234] x[0][235] x[0][236] x[0][237] x[0][238] x[0][239] x[0][240] x[0][241] x[0][242] x[0][243] x[0][244] x[0][245] x[0][246] x[0][247] x[0][248] x[0][249] x[0][250] x[0][251] x[0][252] x[0][253] x[0][254] x[0][255] x[0][256] x[0][257] x[0][258] x[0][259] x[0][260] x[0][261] x[0][262] x[0][263] x[0][264] x[0][265] x[0][266] x[0][267] x[0][268] x[0][269] x[0][270] x[0][271] x[0][272] x[0][273] x[0][274] x[0][275] x[0][276] x[0][277] x[0][278] x[0][279] x[0][280] x[0][281] x[0][282] x[0][283] x[0][284] x[0][285] x[0][286] x[0][287] x[0][288] x[0][289] x[0][290] x[0][291] x[0][292] x[0][293] x[0][294] x[0][295] x[0][296] x[0][297] x[0][298] x[0][299] x[0][300] x[0][301] x[0][302] x[0][303] x[0][304] x[0][305] x[0][306] x[0][307] x[0][308] x[0][309] x[0][310] x[0][311] x[0][312] x[0][313] x[0][314] x[0][315] x[0][316] x[0][317] x[0][318] x[0][319] x[0][320] x[0][321] x[0][322] x[0][323] x[0][324] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[1][50] x[1][51] x[1][52] x[1][53] x[1][54] x[1][55] x[1][56] x[1][57] x[1][58] x[1][59] x[1][60] x[1][61] x[1][62] x[1][63] x[1][64] x[1][65] x[1][66] x[1][67] x[1][68] x[1][69] x[1][70] x[1][71] x[1][72] x[1][73] x[1][74] x[1][75] x[1][76] x[1][77] x[1][78] x[1][79] x[1][80] x[1][81] x[1][82] x[1][83] x[1][84] x[1][85] x[1][86] x[1][87] x[1][88] x[1][89] x[1][90] x[1][91] x[1][92] x[1][93] x[1][94] x[1][95] x[1][96] x[1][97] x[1][98] x[1][99] x[1][100] x[1][101] x[1][102] x[1][103] x[1][104] x[1][105] x[1][106] x[1][107] x[1][108] x[1][109] x[1][110] x[1][111] x[1][112] x[1][113] x[1][114] x[1][115] x[1][116] x[1][117] x[1][118] x[1][119] x[1][120] x[1][121] x[1][122] x[1][123] x[1][124] x[1][125] x[1][126] x[1][127] x[1][128] x[1][129] x[1][130] x[1][131] x[1][132] x[1][133] x[1][134] x[1][135] x[1][136] x[1][137] x[1][138] x[1][139] x[1][140] x[1][141] x[1][142] x[1][143] x[1][144] x[1][145] x[1][146] x[1][147] x[1][148] x[1][149] x[1][150] x[1][151] x[1][152] x[1][153] x[1][154] x[1][155] x[1][156] x[1][157] x[1][158] x[1][159] x[1][160] x[1][161] x[1][162] x[1][163] x[1][164] x[1][165] x[1][166] x[1][167] x[1][168] x[1][169] x[1][170] x[1][171] x[1][172] x[1][173] x[1][174] x[1][175] x[1][176] x[1][177] x[1][178] x[1][179] x[1][180] x[1][181] x[1][182] x[1][183] x[1][184] x[1][185] x[1][186] x[1][187] x[1][188] x[1][189] x[1][190] x[1][191] x[1][192] x[1][193] x[1][194] x[1][195] x[1][196] x[1][197] x[1][198] x[1][199] x[1][200] x[1][201] x[1][202] x[1][203] x[1][204] x[1][205] x[1][206] x[1][207] x[1][208] x[1][209] x[1][210] x[1][211] x[1][212] x[1][213] x[1][214] x[1][215] x[1][216] x[1][217] x[1][218] x[1][219] x[1][220] x[1][221] x[1][222] x[1][223] x[1][224] x[1][225] x[1][226] x[1][227] x[1][228] x[1][229] x[1][230] x[1][231] x[1][232] x[1][233] x[1][234] x[1][235] x[1][236] x[1][237] x[1][238] x[1][239] x[1][240] x[1][241] x[1][242] x[1][243] x[1][244] x[1][245] x[1][246] x[1][247] x[1][248] x[1][249] x[1][250] x[1][251] x[1][252] x[1][253] x[1][254] x[1][255] x[1][256] x[1][257] x[1][258] x[1][259] x[1][260] x[1][261] x[1][262] x[1][263] x[1][264] x[1][265] x[1][266] x[1][267] x[1][268] x[1][269] x[1][270] x[1][271] x[1][272] x[1][273] x[1][274] x[1][275] x[1][276] x[1][277] x[1][278] x[1][279] x[1][280] x[1][281] x[1][282] x[1][283] x[1][284] x[1][285] x[1][286] x[1][287] x[1][288] x[1][289] x[1][290] x[1][291] x[1][292] x[1][293] x[1][294] x[1][295] x[1][296] x[1][297] x[1][298] x[1][299] x[1][300] x[1][301] x[1][302] x[1][303] x[1][304] x[1][305] x[1][306] x[1][307] x[1][308] x[1][309] x[1][310] x[1][311] x[1][312] x[1][313] x[1][314] x[1][315] x[1][316] x[1][317] x[1][318] x[1][319] x[1][320] x[1][321] x[1][322] x[1][323] x[1][324] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[2][50] x[2][51] x[2][52] x[2][53] x[2][54] x[2][55] x[2][56] x[2][57] x[2][58] x[2][59] x[2][60] x[2][61] x[2][62] x[2][63] x[2][64] x[2][65] x[2][66] x[2][67] x[2][68] x[2][69] x[2][70] x[2][71] x[2][72] x[2][73] x[2][74] x[2][75] x[2][76] x[2][77] x[2][78] x[2][79] x[2][80] x[2][81] x[2][82] x[2][83] x[2][84] x[2][85] x[2][86] x[2][87] x[2][88] x[2][89] x[2][90] x[2][91] x[2][92] x[2][93] x[2][94] x[2][95] x[2][96] x[2][97] x[2][98] x[2][99] x[2][100] x[2][101] x[2][102] x[2][103] x[2][104] x[2][105] x[2][106] x[2][107] x[2][108] x[2][109] x[2][110] x[2][111] x[2][112] x[2][113] x[2][114] x[2][115] x[2][116] x[2][117] x[2][118] x[2][119] x[2][120] x[2][121] x[2][122] x[2][123] x[2][124] x[2][125] x[2][126] x[2][127] x[2][128] x[2][129] x[2][130] x[2][131] x[2][132] x[2][133] x[2][134] x[2][135] x[2][136] x[2][137] x[2][138] x[2][139] x[2][140] x[2][141] x[2][142] x[2][143] x[2][144] x[2][145] x[2][146] x[2][147] x[2][148] x[2][149] x[2][150] x[2][151] x[2][152] x[2][153] x[2][154] x[2][155] x[2][156] x[2][157] x[2][158] x[2][159] x[2][160] x[2][161] x[2][162] x[2][163] x[2][164] x[2][165] x[2][166] x[2][167] x[2][168] x[2][169] x[2][170] x[2][171] x[2][172] x[2][173] x[2][174] x[2][175] x[2][176] x[2][177] x[2][178] x[2][179] x[2][180] x[2][181] x[2][182] x[2][183] x[2][184] x[2][185] x[2][186] x[2][187] x[2][188] x[2][189] x[2][190] x[2][191] x[2][192] x[2][193] x[2][194] x[2][195] x[2][196] x[2][197] x[2][198] x[2][199] x[2][200] x[2][201] x[2][202] x[2][203] x[2][204] x[2][205] x[2][206] x[2][207] x[2][208] x[2][209] x[2][210] x[2][211] x[2][212] x[2][213] x[2][214] x[2][215] x[2][216] x[2][217] x[2][218] x[2][219] x[2][220] x[2][221] x[2][222] x[2][223] x[2][224] x[2][225] x[2][226] x[2][227] x[2][228] x[2][229] x[2][230] x[2][231] x[2][232] x[2][233] x[2][234] x[2][235] x[2][236] x[2][237] x[2][238] x[2][239] x[2][240] x[2][241] x[2][242] x[2][243] x[2][244] x[2][245] x[2][246] x[2][247] x[2][248] x[2][249] x[2][250] x[2][251] x[2][252] x[2][253] x[2][254] x[2][255] x[2][256] x[2][257] x[2][258] x[2][259] x[2][260] x[2][261] x[2][262] x[2][263] x[2][264] x[2][265] x[2][266] x[2][267] x[2][268] x[2][269] x[2][270] x[2][271] x[2][272] x[2][273] x[2][274] x[2][275] x[2][276] x[2][277] x[2][278] x[2][279] x[2][280] x[2][281] x[2][282] x[2][283] x[2][284] x[2][285] x[2][286] x[2][287] x[2][288] x[2][289] x[2][290] x[2][291] x[2][292] x[2][293] x[2][294] x[2][295] x[2][296] x[2][297] x[2][298] x[2][299] x[2][300] x[2][301] x[2][302] x[2][303] x[2][304] x[2][305] x[2][306] x[2][307] x[2][308] x[2][309] x[2][310] x[2][311] x[2][312] x[2][313] x[2][314] x[2][315] x[2][316] x[2][317] x[2][318] x[2][319] x[2][320] x[2][321] x[2][322] x[2][323] x[2][324] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[3][50] x[3][51] x[3][52] x[3][53] x[3][54] x[3][55] x[3][56] x[3][57] x[3][58] x[3][59] x[3][60] x[3][61] x[3][62] x[3][63] x[3][64] x[3][65] x[3][66] x[3][67] x[3][68] x[3][69] x[3][70] x[3][71] x[3][72] x[3][73] x[3][74] x[3][75] x[3][76] x[3][77] x[3][78] x[3][79] x[3][80] x[3][81] x[3][82] x[3][83] x[3][84] x[3][85] x[3][86] x[3][87] x[3][88] x[3][89] x[3][90] x[3][91] x[3][92] x[3][93] x[3][94] x[3][95] x[3][96] x[3][97] x[3][98] x[3][99] x[3][100] x[3][101] x[3][102] x[3][103] x[3][104] x[3][105] x[3][106] x[3][107] x[3][108] x[3][109] x[3][110] x[3][111] x[3][112] x[3][113] x[3][114] x[3][115] x[3][116] x[3][117] x[3][118] x[3][119] x[3][120] x[3][121] x[3][122] x[3][123] x[3][124] x[3][125] x[3][126] x[3][127] x[3][128] x[3][129] x[3][130] x[3][131] x[3][132] x[3][133] x[3][134] x[3][135] x[3][136] x[3][137] x[3][138] x[3][139] x[3][140] x[3][141] x[3][142] x[3][143] x[3][144] x[3][145] x[3][146] x[3][147] x[3][148] x[3][149] x[3][150] x[3][151] x[3][152] x[3][153] x[3][154] x[3][155] x[3][156] x[3][157] x[3][158] x[3][159] x[3][160] x[3][161] x[3][162] x[3][163] x[3][164] x[3][165] x[3][166] x[3][167] x[3][168] x[3][169] x[3][170] x[3][171] x[3][172] x[3][173] x[3][174] x[3][175] x[3][176] x[3][177] x[3][178] x[3][179] x[3][180] x[3][181] x[3][182] x[3][183] x[3][184] x[3][185] x[3][186] x[3][187] x[3][188] x[3][189] x[3][190] x[3][191] x[3][192] x[3][193] x[3][194] x[3][195] x[3][196] x[3][197] x[3][198] x[3][199] x[3][200] x[3][201] x[3][202] x[3][203] x[3][204] x[3][205] x[3][206] x[3][207] x[3][208] x[3][209] x[3][210] x[3][211] x[3][212] x[3][213] x[3][214] x[3][215] x[3][216] x[3][217] x[3][218] x[3][219] x[3][220] x[3][221] x[3][222] x[3][223] x[3][224] x[3][225] x[3][226] x[3][227] x[3][228] x[3][229] x[3][230] x[3][231] x[3][232] x[3][233] x[3][234] x[3][235] x[3][236] x[3][237] x[3][238] x[3][239] x[3][240] x[3][241] x[3][242] x[3][243] x[3][244] x[3][245] x[3][246] x[3][247] x[3][248] x[3][249] x[3][250] x[3][251] x[3][252] x[3][253] x[3][254] x[3][255] x[3][256] x[3][257] x[3][258] x[3][259] x[3][260] x[3][261] x[3][262] x[3][263] x[3][264] x[3][265] x[3][266] x[3][267] x[3][268] x[3][269] x[3][270] x[3][271] x[3][272] x[3][273] x[3][274] x[3][275] x[3][276] x[3][277] x[3][278] x[3][279] x[3][280] x[3][281] x[3][282] x[3][283] x[3][284] x[3][285] x[3][286] x[3][287] x[3][288] x[3][289] x[3][290] x[3][291] x[3][292] x[3][293] x[3][294] x[3][295] x[3][296] x[3][297] x[3][298] x[3][299] x[3][300] x[3][301] x[3][302] x[3][303] x[3][304] x[3][305] x[3][306] x[3][307] x[3][308] x[3][309] x[3][310] x[3][311] x[3][312] x[3][313] x[3][314] x[3][315] x[3][316] x[3][317] x[3][318] x[3][319] x[3][320] x[3][321] x[3][322] x[3][323] x[3][324] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[4][50] x[4][51] x[4][52] x[4][53] x[4][54] x[4][55] x[4][56] x[4][57] x[4][58] x[4][59] x[4][60] x[4][61] x[4][62] x[4][63] x[4][64] x[4][65] x[4][66] x[4][67] x[4][68] x[4][69] x[4][70] x[4][71] x[4][72] x[4][73] x[4][74] x[4][75] x[4][76] x[4][77] x[4][78] x[4][79] x[4][80] x[4][81] x[4][82] x[4][83] x[4][84] x[4][85] x[4][86] x[4][87] x[4][88] x[4][89] x[4][90] x[4][91] x[4][92] x[4][93] x[4][94] x[4][95] x[4][96] x[4][97] x[4][98] x[4][99] x[4][100] x[4][101] x[4][102] x[4][103] x[4][104] x[4][105] x[4][106] x[4][107] x[4][108] x[4][109] x[4][110] x[4][111] x[4][112] x[4][113] x[4][114] x[4][115] x[4][116] x[4][117] x[4][118] x[4][119] x[4][120] x[4][121] x[4][122] x[4][123] x[4][124] x[4][125] x[4][126] x[4][127] x[4][128] x[4][129] x[4][130] x[4][131] x[4][132] x[4][133] x[4][134] x[4][135] x[4][136] x[4][137] x[4][138] x[4][139] x[4][140] x[4][141] x[4][142] x[4][143] x[4][144] x[4][145] x[4][146] x[4][147] x[4][148] x[4][149] x[4][150] x[4][151] x[4][152] x[4][153] x[4][154] x[4][155] x[4][156] x[4][157] x[4][158] x[4][159] x[4][160] x[4][161] x[4][162] x[4][163] x[4][164] x[4][165] x[4][166] x[4][167] x[4][168] x[4][169] x[4][170] x[4][171] x[4][172] x[4][173] x[4][174] x[4][175] x[4][176] x[4][177] x[4][178] x[4][179] x[4][180] x[4][181] x[4][182] x[4][183] x[4][184] x[4][185] x[4][186] x[4][187] x[4][188] x[4][189] x[4][190] x[4][191] x[4][192] x[4][193] x[4][194] x[4][195] x[4][196] x[4][197] x[4][198] x[4][199] x[4][200] x[4][201] x[4][202] x[4][203] x[4][204] x[4][205] x[4][206] x[4][207] x[4][208] x[4][209] x[4][210] x[4][211] x[4][212] x[4][213] x[4][214] x[4][215] x[4][216] x[4][217] x[4][218] x[4][219] x[4][220] x[4][221] x[4][222] x[4][223] x[4][224] x[4][225] x[4][226] x[4][227] x[4][228] x[4][229] x[4][230] x[4][231] x[4][232] x[4][233] x[4][234] x[4][235] x[4][236] x[4][237] x[4][238] x[4][239] x[4][240] x[4][241] x[4][242] x[4][243] x[4][244] x[4][245] x[4][246] x[4][247] x[4][248] x[4][249] x[4][250] x[4][251] x[4][252] x[4][253] x[4][254] x[4][255] x[4][256] x[4][257] x[4][258] x[4][259] x[4][260] x[4][261] x[4][262] x[4][263] x[4][264] x[4][265] x[4][266] x[4][267] x[4][268] x[4][269] x[4][270] x[4][271] x[4][272] x[4][273] x[4][274] x[4][275] x[4][276] x[4][277] x[4][278] x[4][279] x[4][280] x[4][281] x[4][282] x[4][283] x[4][284] x[4][285] x[4][286] x[4][287] x[4][288] x[4][289] x[4][290] x[4][291] x[4][292] x[4][293] x[4][294] x[4][295] x[4][296] x[4][297] x[4][298] x[4][299] x[4][300] x[4][301] x[4][302] x[4][303] x[4][304] x[4][305] x[4][306] x[4][307] x[4][308] x[4][309] x[4][310] x[4][311] x[4][312] x[4][313] x[4][314] x[4][315] x[4][316] x[4][317] x[4][318] x[4][319] x[4][320] x[4][321] x[4][322] x[4][323] x[4][324] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[5][50] x[5][51] x[5][52] x[5][53] x[5][54] x[5][55] x[5][56] x[5][57] x[5][58] x[5][59] x[5][60] x[5][61] x[5][62] x[5][63] x[5][64] x[5][65] x[5][66] x[5][67] x[5][68] x[5][69] x[5][70] x[5][71] x[5][72] x[5][73] x[5][74] x[5][75] x[5][76] x[5][77] x[5][78] x[5][79] x[5][80] x[5][81] x[5][82] x[5][83] x[5][84] x[5][85] x[5][86] x[5][87] x[5][88] x[5][89] x[5][90] x[5][91] x[5][92] x[5][93] x[5][94] x[5][95] x[5][96] x[5][97] x[5][98] x[5][99] x[5][100] x[5][101] x[5][102] x[5][103] x[5][104] x[5][105] x[5][106] x[5][107] x[5][108] x[5][109] x[5][110] x[5][111] x[5][112] x[5][113] x[5][114] x[5][115] x[5][116] x[5][117] x[5][118] x[5][119] x[5][120] x[5][121] x[5][122] x[5][123] x[5][124] x[5][125] x[5][126] x[5][127] x[5][128] x[5][129] x[5][130] x[5][131] x[5][132] x[5][133] x[5][134] x[5][135] x[5][136] x[5][137] x[5][138] x[5][139] x[5][140] x[5][141] x[5][142] x[5][143] x[5][144] x[5][145] x[5][146] x[5][147] x[5][148] x[5][149] x[5][150] x[5][151] x[5][152] x[5][153] x[5][154] x[5][155] x[5][156] x[5][157] x[5][158] x[5][159] x[5][160] x[5][161] x[5][162] x[5][163] x[5][164] x[5][165] x[5][166] x[5][167] x[5][168] x[5][169] x[5][170] x[5][171] x[5][172] x[5][173] x[5][174] x[5][175] x[5][176] x[5][177] x[5][178] x[5][179] x[5][180] x[5][181] x[5][182] x[5][183] x[5][184] x[5][185] x[5][186] x[5][187] x[5][188] x[5][189] x[5][190] x[5][191] x[5][192] x[5][193] x[5][194] x[5][195] x[5][196] x[5][197] x[5][198] x[5][199] x[5][200] x[5][201] x[5][202] x[5][203] x[5][204] x[5][205] x[5][206] x[5][207] x[5][208] x[5][209] x[5][210] x[5][211] x[5][212] x[5][213] x[5][214] x[5][215] x[5][216] x[5][217] x[5][218] x[5][219] x[5][220] x[5][221] x[5][222] x[5][223] x[5][224] x[5][225] x[5][226] x[5][227] x[5][228] x[5][229] x[5][230] x[5][231] x[5][232] x[5][233] x[5][234] x[5][235] x[5][236] x[5][237] x[5][238] x[5][239] x[5][240] x[5][241] x[5][242] x[5][243] x[5][244] x[5][245] x[5][246] x[5][247] x[5][248] x[5][249] x[5][250] x[5][251] x[5][252] x[5][253] x[5][254] x[5][255] x[5][256] x[5][257] x[5][258] x[5][259] x[5][260] x[5][261] x[5][262] x[5][263] x[5][264] x[5][265] x[5][266] x[5][267] x[5][268] x[5][269] x[5][270] x[5][271] x[5][272] x[5][273] x[5][274] x[5][275] x[5][276] x[5][277] x[5][278] x[5][279] x[5][280] x[5][281] x[5][282] x[5][283] x[5][284] x[5][285] x[5][286] x[5][287] x[5][288] x[5][289] x[5][290] x[5][291] x[5][292] x[5][293] x[5][294] x[5][295] x[5][296] x[5][297] x[5][298] x[5][299] x[5][300] x[5][301] x[5][302] x[5][303] x[5][304] x[5][305] x[5][306] x[5][307] x[5][308] x[5][309] x[5][310] x[5][311] x[5][312] x[5][313] x[5][314] x[5][315] x[5][316] x[5][317] x[5][318] x[5][319] x[5][320] x[5][321] x[5][322] x[5][323] x[5][324] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[6][50] x[6][51] x[6][52] x[6][53] x[6][54] x[6][55] x[6][56] x[6][57] x[6][58] x[6][59] x[6][60] x[6][61] x[6][62] x[6][63] x[6][64] x[6][65] x[6][66] x[6][67] x[6][68] x[6][69] x[6][70] x[6][71] x[6][72] x[6][73] x[6][74] x[6][75] x[6][76] x[6][77] x[6][78] x[6][79] x[6][80] x[6][81] x[6][82] x[6][83] x[6][84] x[6][85] x[6][86] x[6][87] x[6][88] x[6][89] x[6][90] x[6][91] x[6][92] x[6][93] x[6][94] x[6][95] x[6][96] x[6][97] x[6][98] x[6][99] x[6][100] x[6][101] x[6][102] x[6][103] x[6][104] x[6][105] x[6][106] x[6][107] x[6][108] x[6][109] x[6][110] x[6][111] x[6][112] x[6][113] x[6][114] x[6][115] x[6][116] x[6][117] x[6][118] x[6][119] x[6][120] x[6][121] x[6][122] x[6][123] x[6][124] x[6][125] x[6][126] x[6][127] x[6][128] x[6][129] x[6][130] x[6][131] x[6][132] x[6][133] x[6][134] x[6][135] x[6][136] x[6][137] x[6][138] x[6][139] x[6][140] x[6][141] x[6][142] x[6][143] x[6][144] x[6][145] x[6][146] x[6][147] x[6][148] x[6][149] x[6][150] x[6][151] x[6][152] x[6][153] x[6][154] x[6][155] x[6][156] x[6][157] x[6][158] x[6][159] x[6][160] x[6][161] x[6][162] x[6][163] x[6][164] x[6][165] x[6][166] x[6][167] x[6][168] x[6][169] x[6][170] x[6][171] x[6][172] x[6][173] x[6][174] x[6][175] x[6][176] x[6][177] x[6][178] x[6][179] x[6][180] x[6][181] x[6][182] x[6][183] x[6][184] x[6][185] x[6][186] x[6][187] x[6][188] x[6][189] x[6][190] x[6][191] x[6][192] x[6][193] x[6][194] x[6][195] x[6][196] x[6][197] x[6][198] x[6][199] x[6][200] x[6][201] x[6][202] x[6][203] x[6][204] x[6][205] x[6][206] x[6][207] x[6][208] x[6][209] x[6][210] x[6][211] x[6][212] x[6][213] x[6][214] x[6][215] x[6][216] x[6][217] x[6][218] x[6][219] x[6][220] x[6][221] x[6][222] x[6][223] x[6][224] x[6][225] x[6][226] x[6][227] x[6][228] x[6][229] x[6][230] x[6][231] x[6][232] x[6][233] x[6][234] x[6][235] x[6][236] x[6][237] x[6][238] x[6][239] x[6][240] x[6][241] x[6][242] x[6][243] x[6][244] x[6][245] x[6][246] x[6][247] x[6][248] x[6][249] x[6][250] x[6][251] x[6][252] x[6][253] x[6][254] x[6][255] x[6][256] x[6][257] x[6][258] x[6][259] x[6][260] x[6][261] x[6][262] x[6][263] x[6][264] x[6][265] x[6][266] x[6][267] x[6][268] x[6][269] x[6][270] x[6][271] x[6][272] x[6][273] x[6][274] x[6][275] x[6][276] x[6][277] x[6][278] x[6][279] x[6][280] x[6][281] x[6][282] x[6][283] x[6][284] x[6][285] x[6][286] x[6][287] x[6][288] x[6][289] x[6][290] x[6][291] x[6][292] x[6][293] x[6][294] x[6][295] x[6][296] x[6][297] x[6][298] x[6][299] x[6][300] x[6][301] x[6][302] x[6][303] x[6][304] x[6][305] x[6][306] x[6][307] x[6][308] x[6][309] x[6][310] x[6][311] x[6][312] x[6][313] x[6][314] x[6][315] x[6][316] x[6][317] x[6][318] x[6][319] x[6][320] x[6][321] x[6][322] x[6][323] x[6][324] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[7][50] x[7][51] x[7][52] x[7][53] x[7][54] x[7][55] x[7][56] x[7][57] x[7][58] x[7][59] x[7][60] x[7][61] x[7][62] x[7][63] x[7][64] x[7][65] x[7][66] x[7][67] x[7][68] x[7][69] x[7][70] x[7][71] x[7][72] x[7][73] x[7][74] x[7][75] x[7][76] x[7][77] x[7][78] x[7][79] x[7][80] x[7][81] x[7][82] x[7][83] x[7][84] x[7][85] x[7][86] x[7][87] x[7][88] x[7][89] x[7][90] x[7][91] x[7][92] x[7][93] x[7][94] x[7][95] x[7][96] x[7][97] x[7][98] x[7][99] x[7][100] x[7][101] x[7][102] x[7][103] x[7][104] x[7][105] x[7][106] x[7][107] x[7][108] x[7][109] x[7][110] x[7][111] x[7][112] x[7][113] x[7][114] x[7][115] x[7][116] x[7][117] x[7][118] x[7][119] x[7][120] x[7][121] x[7][122] x[7][123] x[7][124] x[7][125] x[7][126] x[7][127] x[7][128] x[7][129] x[7][130] x[7][131] x[7][132] x[7][133] x[7][134] x[7][135] x[7][136] x[7][137] x[7][138] x[7][139] x[7][140] x[7][141] x[7][142] x[7][143] x[7][144] x[7][145] x[7][146] x[7][147] x[7][148] x[7][149] x[7][150] x[7][151] x[7][152] x[7][153] x[7][154] x[7][155] x[7][156] x[7][157] x[7][158] x[7][159] x[7][160] x[7][161] x[7][162] x[7][163] x[7][164] x[7][165] x[7][166] x[7][167] x[7][168] x[7][169] x[7][170] x[7][171] x[7][172] x[7][173] x[7][174] x[7][175] x[7][176] x[7][177] x[7][178] x[7][179] x[7][180] x[7][181] x[7][182] x[7][183] x[7][184] x[7][185] x[7][186] x[7][187] x[7][188] x[7][189] x[7][190] x[7][191] x[7][192] x[7][193] x[7][194] x[7][195] x[7][196] x[7][197] x[7][198] x[7][199] x[7][200] x[7][201] x[7][202] x[7][203] x[7][204] x[7][205] x[7][206] x[7][207] x[7][208] x[7][209] x[7][210] x[7][211] x[7][212] x[7][213] x[7][214] x[7][215] x[7][216] x[7][217] x[7][218] x[7][219] x[7][220] x[7][221] x[7][222] x[7][223] x[7][224] x[7][225] x[7][226] x[7][227] x[7][228] x[7][229] x[7][230] x[7][231] x[7][232] x[7][233] x[7][234] x[7][235] x[7][236] x[7][237] x[7][238] x[7][239] x[7][240] x[7][241] x[7][242] x[7][243] x[7][244] x[7][245] x[7][246] x[7][247] x[7][248] x[7][249] x[7][250] x[7][251] x[7][252] x[7][253] x[7][254] x[7][255] x[7][256] x[7][257] x[7][258] x[7][259] x[7][260] x[7][261] x[7][262] x[7][263] x[7][264] x[7][265] x[7][266] x[7][267] x[7][268] x[7][269] x[7][270] x[7][271] x[7][272] x[7][273] x[7][274] x[7][275] x[7][276] x[7][277] x[7][278] x[7][279] x[7][280] x[7][281] x[7][282] x[7][283] x[7][284] x[7][285] x[7][286] x[7][287] x[7][288] x[7][289] x[7][290] x[7][291] x[7][292] x[7][293] x[7][294] x[7][295] x[7][296] x[7][297] x[7][298] x[7][299] x[7][300] x[7][301] x[7][302] x[7][303] x[7][304] x[7][305] x[7][306] x[7][307] x[7][308] x[7][309] x[7][310] x[7][311] x[7][312] x[7][313] x[7][314] x[7][315] x[7][316] x[7][317] x[7][318] x[7][319] x[7][320] x[7][321] x[7][322] x[7][323] x[7][324] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[8][50] x[8][51] x[8][52] x[8][53] x[8][54] x[8][55] x[8][56] x[8][57] x[8][58] x[8][59] x[8][60] x[8][61] x[8][62] x[8][63] x[8][64] x[8][65] x[8][66] x[8][67] x[8][68] x[8][69] x[8][70] x[8][71] x[8][72] x[8][73] x[8][74] x[8][75] x[8][76] x[8][77] x[8][78] x[8][79] x[8][80] x[8][81] x[8][82] x[8][83] x[8][84] x[8][85] x[8][86] x[8][87] x[8][88] x[8][89] x[8][90] x[8][91] x[8][92] x[8][93] x[8][94] x[8][95] x[8][96] x[8][97] x[8][98] x[8][99] x[8][100] x[8][101] x[8][102] x[8][103] x[8][104] x[8][105] x[8][106] x[8][107] x[8][108] x[8][109] x[8][110] x[8][111] x[8][112] x[8][113] x[8][114] x[8][115] x[8][116] x[8][117] x[8][118] x[8][119] x[8][120] x[8][121] x[8][122] x[8][123] x[8][124] x[8][125] x[8][126] x[8][127] x[8][128] x[8][129] x[8][130] x[8][131] x[8][132] x[8][133] x[8][134] x[8][135] x[8][136] x[8][137] x[8][138] x[8][139] x[8][140] x[8][141] x[8][142] x[8][143] x[8][144] x[8][145] x[8][146] x[8][147] x[8][148] x[8][149] x[8][150] x[8][151] x[8][152] x[8][153] x[8][154] x[8][155] x[8][156] x[8][157] x[8][158] x[8][159] x[8][160] x[8][161] x[8][162] x[8][163] x[8][164] x[8][165] x[8][166] x[8][167] x[8][168] x[8][169] x[8][170] x[8][171] x[8][172] x[8][173] x[8][174] x[8][175] x[8][176] x[8][177] x[8][178] x[8][179] x[8][180] x[8][181] x[8][182] x[8][183] x[8][184] x[8][185] x[8][186] x[8][187] x[8][188] x[8][189] x[8][190] x[8][191] x[8][192] x[8][193] x[8][194] x[8][195] x[8][196] x[8][197] x[8][198] x[8][199] x[8][200] x[8][201] x[8][202] x[8][203] x[8][204] x[8][205] x[8][206] x[8][207] x[8][208] x[8][209] x[8][210] x[8][211] x[8][212] x[8][213] x[8][214] x[8][215] x[8][216] x[8][217] x[8][218] x[8][219] x[8][220] x[8][221] x[8][222] x[8][223] x[8][224] x[8][225] x[8][226] x[8][227] x[8][228] x[8][229] x[8][230] x[8][231] x[8][232] x[8][233] x[8][234] x[8][235] x[8][236] x[8][237] x[8][238] x[8][239] x[8][240] x[8][241] x[8][242] x[8][243] x[8][244] x[8][245] x[8][246] x[8][247] x[8][248] x[8][249] x[8][250] x[8][251] x[8][252] x[8][253] x[8][254] x[8][255] x[8][256] x[8][257] x[8][258] x[8][259] x[8][260] x[8][261] x[8][262] x[8][263] x[8][264] x[8][265] x[8][266] x[8][267] x[8][268] x[8][269] x[8][270] x[8][271] x[8][272] x[8][273] x[8][274] x[8][275] x[8][276] x[8][277] x[8][278] x[8][279] x[8][280] x[8][281] x[8][282] x[8][283] x[8][284] x[8][285] x[8][286] x[8][287] x[8][288] x[8][289] x[8][290] x[8][291] x[8][292] x[8][293] x[8][294] x[8][295] x[8][296] x[8][297] x[8][298] x[8][299] x[8][300] x[8][301] x[8][302] x[8][303] x[8][304] x[8][305] x[8][306] x[8][307] x[8][308] x[8][309] x[8][310] x[8][311] x[8][312] x[8][313] x[8][314] x[8][315] x[8][316] x[8][317] x[8][318] x[8][319] x[8][320] x[8][321] x[8][322] x[8][323] x[8][324] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[9][50] x[9][51] x[9][52] x[9][53] x[9][54] x[9][55] x[9][56] x[9][57] x[9][58] x[9][59] x[9][60] x[9][61] x[9][62] x[9][63] x[9][64] x[9][65] x[9][66] x[9][67] x[9][68] x[9][69] x[9][70] x[9][71] x[9][72] x[9][73] x[9][74] x[9][75] x[9][76] x[9][77] x[9][78] x[9][79] x[9][80] x[9][81] x[9][82] x[9][83] x[9][84] x[9][85] x[9][86] x[9][87] x[9][88] x[9][89] x[9][90] x[9][91] x[9][92] x[9][93] x[9][94] x[9][95] x[9][96] x[9][97] x[9][98] x[9][99] x[9][100] x[9][101] x[9][102] x[9][103] x[9][104] x[9][105] x[9][106] x[9][107] x[9][108] x[9][109] x[9][110] x[9][111] x[9][112] x[9][113] x[9][114] x[9][115] x[9][116] x[9][117] x[9][118] x[9][119] x[9][120] x[9][121] x[9][122] x[9][123] x[9][124] x[9][125] x[9][126] x[9][127] x[9][128] x[9][129] x[9][130] x[9][131] x[9][132] x[9][133] x[9][134] x[9][135] x[9][136] x[9][137] x[9][138] x[9][139] x[9][140] x[9][141] x[9][142] x[9][143] x[9][144] x[9][145] x[9][146] x[9][147] x[9][148] x[9][149] x[9][150] x[9][151] x[9][152] x[9][153] x[9][154] x[9][155] x[9][156] x[9][157] x[9][158] x[9][159] x[9][160] x[9][161] x[9][162] x[9][163] x[9][164] x[9][165] x[9][166] x[9][167] x[9][168] x[9][169] x[9][170] x[9][171] x[9][172] x[9][173] x[9][174] x[9][175] x[9][176] x[9][177] x[9][178] x[9][179] x[9][180] x[9][181] x[9][182] x[9][183] x[9][184] x[9][185] x[9][186] x[9][187] x[9][188] x[9][189] x[9][190] x[9][191] x[9][192] x[9][193] x[9][194] x[9][195] x[9][196] x[9][197] x[9][198] x[9][199] x[9][200] x[9][201] x[9][202] x[9][203] x[9][204] x[9][205] x[9][206] x[9][207] x[9][208] x[9][209] x[9][210] x[9][211] x[9][212] x[9][213] x[9][214] x[9][215] x[9][216] x[9][217] x[9][218] x[9][219] x[9][220] x[9][221] x[9][222] x[9][223] x[9][224] x[9][225] x[9][226] x[9][227] x[9][228] x[9][229] x[9][230] x[9][231] x[9][232] x[9][233] x[9][234] x[9][235] x[9][236] x[9][237] x[9][238] x[9][239] x[9][240] x[9][241] x[9][242] x[9][243] x[9][244] x[9][245] x[9][246] x[9][247] x[9][248] x[9][249] x[9][250] x[9][251] x[9][252] x[9][253] x[9][254] x[9][255] x[9][256] x[9][257] x[9][258] x[9][259] x[9][260] x[9][261] x[9][262] x[9][263] x[9][264] x[9][265] x[9][266] x[9][267] x[9][268] x[9][269] x[9][270] x[9][271] x[9][272] x[9][273] x[9][274] x[9][275] x[9][276] x[9][277] x[9][278] x[9][279] x[9][280] x[9][281] x[9][282] x[9][283] x[9][284] x[9][285] x[9][286] x[9][287] x[9][288] x[9][289] x[9][290] x[9][291] x[9][292] x[9][293] x[9][294] x[9][295] x[9][296] x[9][297] x[9][298] x[9][299] x[9][300] x[9][301] x[9][302] x[9][303] x[9][304] x[9][305] x[9][306] x[9][307] x[9][308] x[9][309] x[9][310] x[9][311] x[9][312] x[9][313] x[9][314] x[9][315] x[9][316] x[9][317] x[9][318] x[9][319] x[9][320] x[9][321] x[9][322] x[9][323] x[9][324]
1920.62/243.70	v 	</list>
1920.62/243.70	v 	<values>
1920.62/243.70	v 		82 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 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 0 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 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 1 0 0 1 1 1 1 1 1 1 1 1 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 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 1 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 
1920.62/243.70	v 	</values>
1920.62/243.70	v </instantiation>

Verifier Data 

OK	82

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257081-1501681116/watcher-4257081-1501681116 -o /tmp/evaluation-result-4257081-1501681116/solver-4257081-1501681116 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node132-1501676530-13487 --watchdog 324 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1793522969 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257081-1501681116.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1920 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1950 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 7.67 8.04 8.12 2/177 21140
/proc/meminfo: memFree=31654800/32770624 swapFree=0/297892
[pid=21140] ppid=21137 vsize=23672 CPUtime=0 cores=0-7
/proc/21140/stat : 21140 (runsolver) D 21137 21140 13431 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 67765112 24240128 108 18446744073709551615 4194304 4338465 140732817534608 140732817532248 139995997610711 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 34414592 140732817539170 140732817539650 140732817539650 140732817543114 0
/proc/21140/statm: 5918 108 54 36 0 2156 0

[startup+0.10015 s]
/proc/loadavg: 7.67 8.04 8.12 2/177 21140
/proc/meminfo: memFree=31654800/32770624 swapFree=0/297892
[pid=21140] ppid=21137 vsize=23672 CPUtime=0 cores=0-7
/proc/21140/stat : 21140 (runsolver) D 21137 21140 13431 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 67765112 24240128 108 18446744073709551615 4194304 4338465 140732817534608 140732817532248 139995997610711 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 34414592 140732817539170 140732817539650 140732817539650 140732817543114 0
/proc/21140/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200302 s]
/proc/loadavg: 7.67 8.04 8.12 2/177 21140
/proc/meminfo: memFree=31654800/32770624 swapFree=0/297892
[pid=21140] ppid=21137 vsize=25927168 CPUtime=0.05 cores=0-7
/proc/21140/stat : 21140 (java) S 21137 21140 13431 0 -1 1077944320 4831 0 0 0 4 1 0 0 20 0 19 0 67765112 26549420032 5367 18446744073709551615 4194304 4196468 140725548050288 140725548032832 139781937622775 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
/proc/21140/statm: 6481792 5367 2579 1 0 6471297 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25927168

[startup+0.305357 s]
/proc/loadavg: 7.67 8.04 8.12 2/177 21140
/proc/meminfo: memFree=31654800/32770624 swapFree=0/297892
[pid=21140] ppid=21137 vsize=25996604 CPUtime=0.16 cores=0-7
/proc/21140/stat : 21140 (java) S 21137 21140 13431 0 -1 1077944320 9778 0 0 0 14 2 0 0 20 0 20 0 67765112 26620522496 8121 18446744073709551615 4194304 4196468 140725548050288 140725548032832 139781937622775 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
/proc/21140/statm: 6499151 8121 3469 1 0 6487938 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 25996604

[startup+0.701246 s]
/proc/loadavg: 7.67 8.04 8.12 2/177 21140
/proc/meminfo: memFree=31654800/32770624 swapFree=0/297892
[pid=21140] ppid=21137 vsize=25998672 CPUtime=0.91 cores=0-7
/proc/21140/stat : 21140 (java) S 21137 21140 13431 0 -1 1077944320 13926 0 0 0 86 5 0 0 20 0 20 0 67765112 26622640128 16204 18446744073709551615 4194304 4196468 140725548050288 140725548032832 139781937622775 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
/proc/21140/statm: 6499668 16204 3718 1 0 6488450 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 25998672

[startup+1.50078 s]
/proc/loadavg: 7.67 8.04 8.12 2/197 21160
/proc/meminfo: memFree=31557568/32770624 swapFree=0/297896
[pid=21140] ppid=21137 vsize=26002768 CPUtime=3.7 cores=0-7
/proc/21140/stat : 21140 (java) S 21137 21140 13431 0 -1 1077944320 31575 0 0 0 351 19 0 0 20 0 20 0 67765112 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 140725548032832 139781937622775 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
/proc/21140/statm: 6500692 61540 3773 1 0 6489474 0
[pid=21140/tid=21142] ppid=21137 vsize=26002768 CPUtime=1.27 cores=0-7
/proc/21140/task/21142/stat : 21142 (java) R 21137 21140 13431 0 -1 4202560 14408 0 0 0 121 6 0 0 20 0 20 0 67765123 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781941859088 139781937634710 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21143] ppid=21137 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/21140/task/21143/stat : 21143 (java) S 21137 21140 13431 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 20 0 67765124 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781864549008 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21144] ppid=21137 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/21140/task/21144/stat : 21144 (java) S 21137 21140 13431 0 -1 1077944384 32 0 0 0 1 0 0 0 20 0 20 0 67765124 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781863496208 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21145] ppid=21137 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/21140/task/21145/stat : 21145 (java) S 21137 21140 13431 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 67765124 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781862443408 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21146] ppid=21137 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/21140/task/21146/stat : 21146 (java) S 21137 21140 13431 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 20 0 67765124 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781861390608 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21147] ppid=21137 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/21140/task/21147/stat : 21147 (java) S 21137 21140 13431 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 67765124 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781860338832 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21148] ppid=21137 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/21140/task/21148/stat : 21148 (java) S 21137 21140 13431 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 20 0 67765124 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781859286032 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21149] ppid=21137 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/21140/task/21149/stat : 21149 (java) S 21137 21140 13431 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 20 0 67765124 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781494299536 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21150] ppid=21137 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/21140/task/21150/stat : 21150 (java) S 21137 21140 13431 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 20 0 67765124 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781493246736 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21151] ppid=21137 vsize=26002768 CPUtime=0 cores=0-7
/proc/21140/task/21151/stat : 21151 (java) S 21137 21140 13431 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 20 0 67765126 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781204879728 139781937633922 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21152] ppid=21137 vsize=26002768 CPUtime=0 cores=0-7
/proc/21140/task/21152/stat : 21152 (java) S 21137 21140 13431 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 67765126 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781203825760 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21153] ppid=21137 vsize=26002768 CPUtime=0 cores=0-7
/proc/21140/task/21153/stat : 21153 (java) S 21137 21140 13431 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 67765126 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781202772864 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21154] ppid=21137 vsize=26002768 CPUtime=0 cores=0-7
/proc/21140/task/21154/stat : 21154 (java) S 21137 21140 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 67765129 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781201721168 139781937641371 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21155] ppid=21137 vsize=26002768 CPUtime=0.57 cores=0-7
/proc/21140/task/21155/stat : 21155 (java) R 21137 21140 13431 0 -1 4202560 3352 0 0 0 55 2 0 0 20 0 20 0 67765129 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781200668672 139781923652720 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21156] ppid=21137 vsize=26002768 CPUtime=0.56 cores=0-7
/proc/21140/task/21156/stat : 21156 (java) R 21137 21140 13431 0 -1 4202560 3962 0 0 0 55 1 0 0 20 0 20 0 67765129 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781199597768 139781918319386 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21157] ppid=21137 vsize=26002768 CPUtime=0.56 cores=0-7
/proc/21140/task/21157/stat : 21157 (java) R 21137 21140 13431 0 -1 4202560 3014 0 0 0 56 0 0 0 20 0 20 0 67765129 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781198555904 139781915987444 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21158] ppid=21137 vsize=26002768 CPUtime=0.51 cores=0-7
/proc/21140/task/21158/stat : 21158 (java) S 21137 21140 13431 0 -1 1077944384 4726 0 0 0 50 1 0 0 20 0 20 0 67765129 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781197511152 139781937633922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21159] ppid=21137 vsize=26002768 CPUtime=0 cores=0-7
/proc/21140/task/21159/stat : 21159 (java) S 21137 21140 13431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 67765129 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781196458592 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21160] ppid=21137 vsize=26002768 CPUtime=0 cores=0-7
/proc/21140/task/21160/stat : 21160 (java) S 21137 21140 13431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 67765136 26626834432 61540 18446744073709551615 4194304 4196468 140725548050288 139781195405872 139781937633922 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 26002768

[startup+3.10073 s]
/proc/loadavg: 7.67 8.04 8.12 2/197 21160
/proc/meminfo: memFree=31267524/32770624 swapFree=0/297888
[pid=21140] ppid=21137 vsize=26002768 CPUtime=6.18 cores=0-7
/proc/21140/stat : 21140 (java) S 21137 21140 13431 0 -1 1077944320 34786 0 0 0 578 40 0 0 20 0 20 0 67765112 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 140725548032832 139781937622775 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
/proc/21140/statm: 6500692 121744 3784 1 0 6489474 0
[pid=21140/tid=21142] ppid=21137 vsize=26002768 CPUtime=2.81 cores=0-7
/proc/21140/task/21142/stat : 21142 (java) R 21137 21140 13431 0 -1 4202560 15007 0 0 0 271 10 0 0 20 0 20 0 67765123 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781941857480 139781540493539 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21143] ppid=21137 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/21140/task/21143/stat : 21143 (java) S 21137 21140 13431 0 -1 1077944384 105 0 0 0 4 2 0 0 20 0 20 0 67765124 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781864549008 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21144] ppid=21137 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/21140/task/21144/stat : 21144 (java) S 21137 21140 13431 0 -1 1077944384 92 0 0 0 4 2 0 0 20 0 20 0 67765124 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781863496208 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21145] ppid=21137 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/21140/task/21145/stat : 21145 (java) S 21137 21140 13431 0 -1 1077944384 93 0 0 0 3 3 0 0 20 0 20 0 67765124 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781862443408 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21146] ppid=21137 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/21140/task/21146/stat : 21146 (java) S 21137 21140 13431 0 -1 1077944384 928 0 0 0 3 3 0 0 20 0 20 0 67765124 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781861390608 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21147] ppid=21137 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/21140/task/21147/stat : 21147 (java) S 21137 21140 13431 0 -1 1077944384 109 0 0 0 4 2 0 0 20 0 20 0 67765124 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781860338832 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21148] ppid=21137 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/21140/task/21148/stat : 21148 (java) S 21137 21140 13431 0 -1 1077944384 62 0 0 0 4 2 0 0 20 0 20 0 67765124 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781859286032 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21149] ppid=21137 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/21140/task/21149/stat : 21149 (java) S 21137 21140 13431 0 -1 1077944384 117 0 0 0 4 2 0 0 20 0 20 0 67765124 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781494299536 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21150] ppid=21137 vsize=26002768 CPUtime=0.06 cores=0-7
/proc/21140/task/21150/stat : 21150 (java) S 21137 21140 13431 0 -1 1077944384 124 0 0 0 4 2 0 0 20 0 20 0 67765124 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781493246736 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21151] ppid=21137 vsize=26002768 CPUtime=0.01 cores=0-7
/proc/21140/task/21151/stat : 21151 (java) S 21137 21140 13431 0 -1 1077944384 446 0 0 0 1 0 0 0 20 0 20 0 67765126 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781204879728 139781937633922 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21152] ppid=21137 vsize=26002768 CPUtime=0 cores=0-7
/proc/21140/task/21152/stat : 21152 (java) S 21137 21140 13431 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 67765126 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781203825760 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21153] ppid=21137 vsize=26002768 CPUtime=0 cores=0-7
/proc/21140/task/21153/stat : 21153 (java) S 21137 21140 13431 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 67765126 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781202772864 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21154] ppid=21137 vsize=26002768 CPUtime=0 cores=0-7
/proc/21140/task/21154/stat : 21154 (java) S 21137 21140 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 67765129 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781201721168 139781937641371 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21155] ppid=21137 vsize=26002768 CPUtime=0.7 cores=0-7
/proc/21140/task/21155/stat : 21155 (java) S 21137 21140 13431 0 -1 1077944384 3764 0 0 0 67 3 0 0 20 0 20 0 67765129 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781200669552 139781937633922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21156] ppid=21137 vsize=26002768 CPUtime=0.75 cores=0-7
/proc/21140/task/21156/stat : 21156 (java) S 21137 21140 13431 0 -1 1077944384 4363 0 0 0 74 1 0 0 20 0 20 0 67765129 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781199616752 139781937633922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21157] ppid=21137 vsize=26002768 CPUtime=0.74 cores=0-7
/proc/21140/task/21157/stat : 21157 (java) S 21137 21140 13431 0 -1 1077944384 3376 0 0 0 74 0 0 0 20 0 20 0 67765129 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781198563952 139781937633922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21158] ppid=21137 vsize=26002768 CPUtime=0.55 cores=0-7
/proc/21140/task/21158/stat : 21158 (java) S 21137 21140 13431 0 -1 1077944384 4776 0 0 0 54 1 0 0 20 0 20 0 67765129 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781197511152 139781937633922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21159] ppid=21137 vsize=26002768 CPUtime=0 cores=0-7
/proc/21140/task/21159/stat : 21159 (java) S 21137 21140 13431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 67765129 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781196458592 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21160] ppid=21137 vsize=26002768 CPUtime=0 cores=0-7
/proc/21140/task/21160/stat : 21160 (java) S 21137 21140 13431 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 67765136 26626834432 121744 18446744073709551615 4194304 4196468 140725548050288 139781195405872 139781937633922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 26002768

[startup+6.30178 s]
/proc/loadavg: 7.05 7.90 8.08 12/223 21186
/proc/meminfo: memFree=30695304/32770624 swapFree=0/297892
[pid=21140] ppid=21137 vsize=27739612 CPUtime=29.78 cores=0-7
/proc/21140/stat : 21140 (java) S 21137 21140 13431 0 -1 1077944320 47598 0 0 0 2821 157 0 0 20 0 46 0 67765112 28405362688 352373 18446744073709551615 4194304 4196468 140725548050288 140725548032832 139781937622775 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
/proc/21140/statm: 6934903 352373 3802 1 0 6923164 0
[pid=21140/tid=21142] ppid=21137 vsize=27739612 CPUtime=3.13 cores=0-7
/proc/21140/task/21142/stat : 21142 (java) S 21137 21140 13431 0 -1 1077944384 17759 0 0 0 301 12 0 0 20 0 46 0 67765123 28405362688 352373 18446744073709551615 4194304 4196468 140725548050288 139781941860480 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21143] ppid=21137 vsize=27739612 CPUtime=0.38 cores=0-7
/proc/21140/task/21143/stat : 21143 (java) S 21137 21140 13431 0 -1 1077944384 357 0 0 0 25 13 0 0 20 0 46 0 67765124 28405362688 352373 18446744073709551615 4194304 4196468 140725548050288 139781864549008 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21144] ppid=21137 vsize=27739612 CPUtime=0.38 cores=0-7
/proc/21140/task/21144/stat : 21144 (java) S 21137 21140 13431 0 -1 1077944384 359 0 0 0 25 13 0 0 20 0 46 0 67765124 28405362688 352373 18446744073709551615 4194304 4196468 140725548050288 139781863496208 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21145] ppid=21137 vsize=27739612 CPUtime=0.38 cores=0-7
/proc/21140/task/21145/stat : 21145 (java) S 21137 21140 13431 0 -1 1077944384 357 0 0 0 24 14 0 0 20 0 46 0 67765124 28405362688 352373 18446744073709551615 4194304 4196468 140725548050288 139781862443408 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21146] ppid=21137 vsize=27739612 CPUtime=0.39 cores=0-7
/proc/21140/task/21146/stat : 21146 (java) S 21137 21140 13431 0 -1 1077944384 1152 0 0 0 24 15 0 0 20 0 46 0 67765124 28405362688 352373 18446744073709551615 4194304 4196468 140725548050288 139781861390608 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21147] ppid=21137 vsize=27739612 CPUtime=0.38 cores=0-7
/proc/21140/task/21147/stat : 21147 (java) S 21137 21140 13431 0 -1 1077944384 411 0 0 0 24 14 0 0 20 0 46 0 67765124 28405362688 352373 18446744073709551615 4194304 4196468 140725548050288 139781860338832 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21148] ppid=21137 vsize=27739612 CPUtime=0.39 cores=0-7
/proc/21140/task/21148/stat : 21148 (java) S 21137 21140 13431 0 -1 1077944384 302 0 0 0 25 14 0 0 20 0 46 0 67765124 28405362688 352373 18446744073709551615 4194304 4196468 140725548050288 139781859286032 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21149] ppid=21137 vsize=27739612 CPUtime=0.37 cores=0-7
/proc/21140/task/21149/stat : 21149 (java) S 21137 21140 13431 0 -1 1077944384 406 0 0 0 24 13 0 0 20 0 46 0 67765124 28405362688 352373 18446744073709551615 4194304 4196468 140725548050288 139781494299536 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21150] ppid=21137 vsize=27739612 CPUtime=0.38 cores=0-7
/proc/21140/task/21150/stat : 21150 (java) S 21137 21140 13431 0 -1 1077944384 368 0 0 0 25 13 0 0 20 0 46 0 67765124 28405362688 352373 18446744073709551615 4194304 4196468 140725548050288 139781493246736 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21151] ppid=21137 vsize=27739612 CPUtime=0.02 cores=0-7
/proc/21140/task/21151/stat : 21151 (java) S 21137 21140 13431 0 -1 1077944384 1295 0 0 0 2 0 0 0 20 0 46 0 67765126 28405362688 352373 18446744073709551615 4194304 4196468 140725548050288 139781204879728 139781937633922 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21152] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7
/proc/21140/task/21152/stat : 21152 (java) S 21137 21140 13431 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 46 0 67765126 28405362688 352373 18446744073709551615 4194304 4196468 140725548050288 139781203825760 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21153] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7
/proc/21140/task/21153/stat : 21153 (java) S 21137 21140 13431 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 46 0 67765126 28405362688 352373 18446744073709551615 4194304 4196468 140725548050288 139781202772864 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21154] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7
/proc/21140/task/21154/stat : 21154 (java) S 21137 21140 13431 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 67765129 28405362688 352373 18446744073709551615 4194304 4196468 140725548050288 139781201721168 139781937641371 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21155] ppid=21137 vsize=27739612 CPUtime=2.64 cores=0-7
/proc/21140/task/21155/stat : 21155 (java) R 21137 21140 13431 0 -1 4202560 4601 0 0 0 261 3 0 0 20 0 46 0 67765129 28405362688 352373 18446744073709551615 4194304 4196468 140725548050288 139781200669848 139781922730504 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21156] ppid=21137 vsize=27739612 CPUtime=2.59 cores=0-7
/proc/21140/task/21156/stat : 21156 (java) S 21137 21140 13431 0 -1 1077944384 6246 0 0 0 257 2 0 0 20 0 46 0 67765129 28405362688 352373 18446744073709551615 4194304 4196468 140725548050288 139781199616752 139781937633922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21157] ppid=21137 vsize=27739612 CPUtime=2.51 cores=0-7
/proc/21140/task/21157/stat : 21157 (java) R 21137 21140 13431 0 -1 4202560 4560 0 0 0 250 1 0 0 20 0 46 0 67765129 28405362688 352373 18446744073709551615 4194304 4196468 140725548050288 139781198544880 139781922730478 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21158] ppid=21137 vsize=27739612 CPUtime=0.92 cores=0-7
/proc/21140/task/21158/stat : 21158 (java) S 21137 21140 13431 0 -1 1077944384 5960 0 0 0 91 1 0 0 20 0 46 0 67765129 28405362688 352373 18446744073709551615 4194304 4196468 140725548050288 139781197511152 139781937633922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21159] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7

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

[pid=21140/tid=21158] ppid=21137 vsize=27739612 CPUtime=0.97 cores=0-7
/proc/21140/task/21158/stat : 21158 (java) S 21137 21140 13431 0 -1 1077944384 8879 0 0 0 95 2 0 0 20 0 46 0 67765129 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781197511152 139781937633922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21159] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7
/proc/21140/task/21159/stat : 21159 (java) S 21137 21140 13431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 67765129 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781196458592 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21160] ppid=21137 vsize=27739612 CPUtime=0.1 cores=0-7
/proc/21140/task/21160/stat : 21160 (java) S 21137 21140 13431 0 -1 1077944384 1453 0 0 0 3 7 0 0 20 0 46 0 67765136 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781195405872 139781937633922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21161] ppid=21137 vsize=27739612 CPUtime=0.01 cores=0-7
/proc/21140/task/21161/stat : 21161 (java) S 21137 21140 13431 0 -1 1077944384 974 0 0 0 1 0 0 0 20 0 46 0 67765429 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781050720928 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21162] ppid=21137 vsize=27739612 CPUtime=0.73 cores=0-7
/proc/21140/task/21162/stat : 21162 (java) S 21137 21140 13431 0 -1 1077944384 3166 0 0 0 22 51 0 0 20 0 46 0 67765441 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781047571120 139781937633922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21163] ppid=21137 vsize=27739612 CPUtime=235.74 cores=0-7
/proc/21140/task/21163/stat : 21163 (java) R 21137 21140 13431 0 -1 4202560 13873 0 0 0 23535 39 0 0 20 0 46 0 67765451 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781046513640 139781549382140 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21164] ppid=21137 vsize=27739612 CPUtime=0.12 cores=0-7
/proc/21140/task/21164/stat : 21164 (java) S 21137 21140 13431 0 -1 1077944384 71 0 0 0 12 0 0 0 20 0 46 0 67765452 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781043369488 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21165] ppid=21137 vsize=27739612 CPUtime=236.65 cores=0-7
/proc/21140/task/21165/stat : 21165 (java) R 21137 21140 13431 0 -1 4202560 15836 0 0 0 23632 33 0 0 20 0 46 0 67765452 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781042310360 139781549382802 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21166] ppid=21137 vsize=27739612 CPUtime=236.67 cores=0-7
/proc/21140/task/21166/stat : 21166 (java) R 21137 21140 13431 0 -1 4202560 13708 0 0 0 23629 38 0 0 20 0 46 0 67765452 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781041257368 139781550028118 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21167] ppid=21137 vsize=27739612 CPUtime=0.14 cores=0-7
/proc/21140/task/21167/stat : 21167 (java) S 21137 21140 13431 0 -1 1077944384 505 0 0 0 14 0 0 0 20 0 46 0 67765452 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781040211216 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21168] ppid=21137 vsize=27739612 CPUtime=235.39 cores=0-7
/proc/21140/task/21168/stat : 21168 (java) R 21137 21140 13431 0 -1 4202560 13719 0 0 0 23506 33 0 0 20 0 46 0 67765455 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781039154144 139781544650536 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21169] ppid=21137 vsize=27739612 CPUtime=236.85 cores=0-7
/proc/21140/task/21169/stat : 21169 (java) R 21137 21140 13431 0 -1 4202560 12245 0 0 0 23648 37 0 0 20 0 46 0 67765455 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781038099688 139781544457442 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21170] ppid=21137 vsize=27739612 CPUtime=235.54 cores=0-7
/proc/21140/task/21170/stat : 21170 (java) R 21137 21140 13431 0 -1 4202560 14764 0 0 0 23514 40 0 0 20 0 46 0 67765455 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781037046360 139781549382737 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21171] ppid=21137 vsize=27739612 CPUtime=236.61 cores=0-7
/proc/21140/task/21171/stat : 21171 (java) R 21137 21140 13431 0 -1 4202560 13532 0 0 0 23624 37 0 0 20 0 46 0 67765455 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781035994584 139781544457397 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21172] ppid=21137 vsize=27739612 CPUtime=235.71 cores=0-7
/proc/21140/task/21172/stat : 21172 (java) R 21137 21140 13431 0 -1 4202560 15790 0 0 0 23533 38 0 0 20 0 46 0 67765456 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781034940672 139781551126854 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21173] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7
/proc/21140/task/21173/stat : 21173 (java) S 21137 21140 13431 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 46 0 67765578 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781031761296 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21174] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7
/proc/21140/task/21174/stat : 21174 (java) S 21137 21140 13431 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 46 0 67765578 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781030708624 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21175] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7
/proc/21140/task/21175/stat : 21175 (java) S 21137 21140 13431 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 46 0 67765580 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781029655824 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21176] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7
/proc/21140/task/21176/stat : 21176 (java) S 21137 21140 13431 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 46 0 67765581 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781028603024 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21177] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7
/proc/21140/task/21177/stat : 21177 (java) S 21137 21140 13431 0 -1 1077944384 684 0 0 0 0 0 0 0 20 0 46 0 67765586 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781027550224 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21178] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7
/proc/21140/task/21178/stat : 21178 (java) S 21137 21140 13431 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 46 0 67765589 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781026497424 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21179] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7
/proc/21140/task/21179/stat : 21179 (java) S 21137 21140 13431 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 46 0 67765592 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781025445648 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21180] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7
/proc/21140/task/21180/stat : 21180 (java) S 21137 21140 13431 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 67765594 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781024392720 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21181] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7
/proc/21140/task/21181/stat : 21181 (java) S 21137 21140 13431 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 67765596 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781023339920 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21182] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7
/proc/21140/task/21182/stat : 21182 (java) S 21137 21140 13431 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 46 0 67765597 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781022287248 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21183] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7
/proc/21140/task/21183/stat : 21183 (java) S 21137 21140 13431 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 46 0 67765597 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781021234448 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21184] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7
/proc/21140/task/21184/stat : 21184 (java) S 21137 21140 13431 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 67765598 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781020181520 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21185] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7
/proc/21140/task/21185/stat : 21185 (java) S 21137 21140 13431 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 67765600 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781019128720 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21186] ppid=21137 vsize=27739612 CPUtime=0 cores=0-7
/proc/21140/task/21186/stat : 21186 (java) S 21137 21140 13431 0 -1 1077944384 369 0 0 0 0 0 0 0 20 0 46 0 67765604 28405362688 1982747 18446744073709551615 4194304 4196468 140725548050288 139781018076048 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
Current children cumulated CPU time (s) 1920.62
Current children cumulated vsize (KiB) 27739612

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

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

[startup+243.717 s]
/proc/loadavg: 9.49 8.60 8.31 10/223 21194
/proc/meminfo: memFree=23724196/32770624 swapFree=0/297948
[pid=21140] ppid=21137 vsize=27872740 CPUtime=1921.54 cores=0-7
/proc/21140/stat : 21140 (java) S 21137 21140 13431 0 -1 1077944320 233882 0 0 0 191525 629 0 0 20 0 46 0 67765112 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 140725548032832 139781937622775 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
/proc/21140/statm: 6968185 1982797 3824 1 0 6956446 0
[pid=21140/tid=21142] ppid=21137 vsize=27872740 CPUtime=3.13 cores=0-7
/proc/21140/task/21142/stat : 21142 (java) S 21137 21140 13431 0 -1 1077944384 17759 0 0 0 301 12 0 0 20 0 46 0 67765123 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781941860480 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21143] ppid=21137 vsize=27872740 CPUtime=2.16 cores=0-7
/proc/21140/task/21143/stat : 21143 (java) S 21137 21140 13431 0 -1 1077944384 4492 0 0 0 178 38 0 0 20 0 46 0 67765124 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781864549008 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21144] ppid=21137 vsize=27872740 CPUtime=2.19 cores=0-7
/proc/21140/task/21144/stat : 21144 (java) S 21137 21140 13431 0 -1 1077944384 5540 0 0 0 182 37 0 0 20 0 46 0 67765124 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781863496208 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21145] ppid=21137 vsize=27872740 CPUtime=2.18 cores=0-7
/proc/21140/task/21145/stat : 21145 (java) S 21137 21140 13431 0 -1 1077944384 5036 0 0 0 181 37 0 0 20 0 46 0 67765124 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781862443408 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21146] ppid=21137 vsize=27872740 CPUtime=2.16 cores=0-7
/proc/21140/task/21146/stat : 21146 (java) S 21137 21140 13431 0 -1 1077944384 6365 0 0 0 178 38 0 0 20 0 46 0 67765124 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781861390608 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21147] ppid=21137 vsize=27872740 CPUtime=2.18 cores=0-7
/proc/21140/task/21147/stat : 21147 (java) S 21137 21140 13431 0 -1 1077944384 4064 0 0 0 181 37 0 0 20 0 46 0 67765124 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781860338832 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21148] ppid=21137 vsize=27872740 CPUtime=2.16 cores=0-7
/proc/21140/task/21148/stat : 21148 (java) S 21137 21140 13431 0 -1 1077944384 5024 0 0 0 179 37 0 0 20 0 46 0 67765124 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781859286032 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21149] ppid=21137 vsize=27872740 CPUtime=2.15 cores=0-7
/proc/21140/task/21149/stat : 21149 (java) S 21137 21140 13431 0 -1 1077944384 5039 0 0 0 178 37 0 0 20 0 46 0 67765124 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781494299536 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21150] ppid=21137 vsize=27872740 CPUtime=2.16 cores=0-7
/proc/21140/task/21150/stat : 21150 (java) S 21137 21140 13431 0 -1 1077944384 5670 0 0 0 180 36 0 0 20 0 46 0 67765124 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781493246736 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21151] ppid=21137 vsize=27872740 CPUtime=0.22 cores=0-7
/proc/21140/task/21151/stat : 21151 (java) S 21137 21140 13431 0 -1 1077944384 12159 0 0 0 21 1 0 0 20 0 46 0 67765126 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781204879728 139781937633922 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21152] ppid=21137 vsize=27872740 CPUtime=0 cores=0-7
/proc/21140/task/21152/stat : 21152 (java) S 21137 21140 13431 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 46 0 67765126 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781203825760 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21153] ppid=21137 vsize=27872740 CPUtime=0 cores=0-7
/proc/21140/task/21153/stat : 21153 (java) S 21137 21140 13431 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 46 0 67765126 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781202772864 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21154] ppid=21137 vsize=27872740 CPUtime=0 cores=0-7
/proc/21140/task/21154/stat : 21154 (java) S 21137 21140 13431 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 46 0 67765129 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781201721168 139781937641371 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21155] ppid=21137 vsize=27872740 CPUtime=2.81 cores=0-7
/proc/21140/task/21155/stat : 21155 (java) R 21137 21140 13431 0 -1 1077944384 10124 0 0 0 277 4 0 0 20 0 46 0 67765129 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781200669552 139781937633922 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21156] ppid=21137 vsize=27872740 CPUtime=2.7 cores=0-7
/proc/21140/task/21156/stat : 21156 (java) S 21137 21140 13431 0 -1 1077944384 8717 0 0 0 268 2 0 0 20 0 46 0 67765129 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781199616752 139781937633922 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21157] ppid=21137 vsize=27872740 CPUtime=2.85 cores=0-7
/proc/21140/task/21157/stat : 21157 (java) S 21137 21140 13431 0 -1 1077944384 10086 0 0 0 284 1 0 0 20 0 46 0 67765129 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781198563952 139781937633922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21158] ppid=21137 vsize=27872740 CPUtime=0.98 cores=0-7
/proc/21140/task/21158/stat : 21158 (java) R 21137 21140 13431 0 -1 4202560 9951 0 0 0 96 2 0 0 20 0 46 0 67765129 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781197511152 139781930719611 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21159] ppid=21137 vsize=27872740 CPUtime=0 cores=0-7
/proc/21140/task/21159/stat : 21159 (java) S 21137 21140 13431 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 67765129 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781196458592 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21161] ppid=21137 vsize=27872740 CPUtime=0.01 cores=0-7
/proc/21140/task/21161/stat : 21161 (java) S 21137 21140 13431 0 -1 1077944384 974 0 0 0 1 0 0 0 20 0 46 0 67765429 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781050720928 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21162] ppid=21137 vsize=27872740 CPUtime=0.73 cores=0-7
/proc/21140/task/21162/stat : 21162 (java) R 21137 21140 13431 0 -1 1077944384 3166 0 0 0 22 51 0 0 20 0 46 0 67765441 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781047571120 139781937633922 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21163] ppid=21137 vsize=27872740 CPUtime=235.84 cores=0-7
/proc/21140/task/21163/stat : 21163 (java) R 21137 21140 13431 0 -1 4202560 13873 0 0 0 23545 39 0 0 20 0 46 0 67765451 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781046513640 139781544457397 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21164] ppid=21137 vsize=27872740 CPUtime=0.12 cores=0-7
/proc/21140/task/21164/stat : 21164 (java) S 21137 21140 13431 0 -1 1077944384 71 0 0 0 12 0 0 0 20 0 46 0 67765452 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781043369488 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21165] ppid=21137 vsize=27872740 CPUtime=236.77 cores=0-7
/proc/21140/task/21165/stat : 21165 (java) R 21137 21140 13431 0 -1 4202560 15836 0 0 0 23644 33 0 0 20 0 46 0 67765452 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781042310360 139781551126854 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21166] ppid=21137 vsize=27872740 CPUtime=236.79 cores=0-7
/proc/21140/task/21166/stat : 21166 (java) R 21137 21140 13431 0 -1 4202560 13708 0 0 0 23641 38 0 0 20 0 46 0 67765452 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781041257368 139781550875272 0 4 1 16800974 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21167] ppid=21137 vsize=27872740 CPUtime=0.14 cores=0-7
/proc/21140/task/21167/stat : 21167 (java) S 21137 21140 13431 0 -1 1077944384 505 0 0 0 14 0 0 0 20 0 46 0 67765452 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781040211216 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21168] ppid=21137 vsize=27872740 CPUtime=235.5 cores=0-7
/proc/21140/task/21168/stat : 21168 (java) R 21137 21140 13431 0 -1 4202560 13719 0 0 0 23517 33 0 0 20 0 46 0 67765455 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781039154144 139781549382698 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21169] ppid=21137 vsize=27872740 CPUtime=236.96 cores=0-7
/proc/21140/task/21169/stat : 21169 (java) R 21137 21140 13431 0 -1 4202560 12245 0 0 0 23659 37 0 0 20 0 46 0 67765455 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781038099688 139781551126837 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21170] ppid=21137 vsize=27872740 CPUtime=235.66 cores=0-7
/proc/21140/task/21170/stat : 21170 (java) R 21137 21140 13431 0 -1 4202560 14764 0 0 0 23526 40 0 0 20 0 46 0 67765455 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781037046360 139781551128687 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21171] ppid=21137 vsize=27872740 CPUtime=236.7 cores=0-7
/proc/21140/task/21171/stat : 21171 (java) R 21137 21140 13431 0 -1 4202560 13532 0 0 0 23633 37 0 0 20 0 46 0 67765455 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781035994584 139781550028263 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21172] ppid=21137 vsize=27872740 CPUtime=235.82 cores=0-7
/proc/21140/task/21172/stat : 21172 (java) R 21137 21140 13431 0 -1 4202560 15790 0 0 0 23544 38 0 0 20 0 46 0 67765456 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781034940672 139781551126837 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21173] ppid=21137 vsize=27872740 CPUtime=0 cores=0-7
/proc/21140/task/21173/stat : 21173 (java) S 21137 21140 13431 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 46 0 67765578 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781031761296 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21174] ppid=21137 vsize=27872740 CPUtime=0 cores=0-7
/proc/21140/task/21174/stat : 21174 (java) S 21137 21140 13431 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 46 0 67765578 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781030708624 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21175] ppid=21137 vsize=27872740 CPUtime=0 cores=0-7
/proc/21140/task/21175/stat : 21175 (java) S 21137 21140 13431 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 46 0 67765580 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781029655824 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21176] ppid=21137 vsize=27872740 CPUtime=0 cores=0-7
/proc/21140/task/21176/stat : 21176 (java) S 21137 21140 13431 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 46 0 67765581 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781028603024 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21177] ppid=21137 vsize=27872740 CPUtime=0 cores=0-7
/proc/21140/task/21177/stat : 21177 (java) S 21137 21140 13431 0 -1 1077944384 684 0 0 0 0 0 0 0 20 0 46 0 67765586 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781027550224 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21178] ppid=21137 vsize=27872740 CPUtime=0 cores=0-7
/proc/21140/task/21178/stat : 21178 (java) S 21137 21140 13431 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 46 0 67765589 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781026497424 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21179] ppid=21137 vsize=27872740 CPUtime=0 cores=0-7
/proc/21140/task/21179/stat : 21179 (java) S 21137 21140 13431 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 46 0 67765592 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781025445648 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21180] ppid=21137 vsize=27872740 CPUtime=0 cores=0-7
/proc/21140/task/21180/stat : 21180 (java) S 21137 21140 13431 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 67765594 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781024392720 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21181] ppid=21137 vsize=27872740 CPUtime=0 cores=0-7
/proc/21140/task/21181/stat : 21181 (java) S 21137 21140 13431 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 67765596 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781023339920 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21182] ppid=21137 vsize=27872740 CPUtime=0 cores=0-7
/proc/21140/task/21182/stat : 21182 (java) S 21137 21140 13431 0 -1 1077944384 189 0 0 0 0 0 0 0 20 0 46 0 67765597 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781022287248 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21183] ppid=21137 vsize=27872740 CPUtime=0 cores=0-7
/proc/21140/task/21183/stat : 21183 (java) S 21137 21140 13431 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 46 0 67765597 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781021234448 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21184] ppid=21137 vsize=27872740 CPUtime=0 cores=0-7
/proc/21140/task/21184/stat : 21184 (java) S 21137 21140 13431 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 67765598 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781020181520 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21185] ppid=21137 vsize=27872740 CPUtime=0 cores=0-7
/proc/21140/task/21185/stat : 21185 (java) S 21137 21140 13431 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 67765600 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781019128720 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
[pid=21140/tid=21186] ppid=21137 vsize=27872740 CPUtime=0 cores=0-7
/proc/21140/task/21186/stat : 21186 (java) S 21137 21140 13431 0 -1 1077944384 369 0 0 0 0 0 0 0 20 0 46 0 67765604 28541685760 1982797 18446744073709551615 4194304 4196468 140725548050288 139781018076048 139781937632981 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22986752 140725548056974 140725548057159 140725548057159 140725548060623 0
Current children cumulated CPU time (s) 1921.54
Current children cumulated vsize (KiB) 27872740

Child status: 143
Real time (s): 243.759
CPU time (s): 1921.61
CPU user time (s): 1915.27
CPU system time (s): 6.33713
CPU usage (%): 788.324
Max. virtual memory (cumulated for all children) (KiB): 27872740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1915.27
system time used= 6.33713
maximum resident set size= 7932260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234032
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36782
involuntary context switches= 41693

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.13069 second user time and 2.74876 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-02 15:24:18
IDJOB=4257081
IDBENCH=122928
IDSOLVER=2641
FILE ID=node132/4257081-1501681116
RUNJOBID= node132-1501676530-13487
PBS_JOBID= 
Free space on /tmp= 61880 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-10-325-100.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4257081-1501681116/watcher-4257081-1501681116 -o /tmp/evaluation-result-4257081-1501681116/solver-4257081-1501681116 -C 1920 -W 264 -M 31000 --bin-var /tmp/runsolver-exch-node132-1501676530-13487 --watchdog 324  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1793522969 --timelimit 1920 --memlimit 22000 --nbcore 8 HOME/instance-4257081-1501681116.xml

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

MD5SUM BENCH= 34a68c11381dc26a6f51296df739d32e
RANDOM SEED=1793522969

node132.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.74
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.74
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.74
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.74
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:        31655444 kB
MemAvailable:   32001440 kB
Buffers:          162832 kB
Cached:           477048 kB
SwapCached:            0 kB
Active:           374244 kB
Inactive:         322328 kB
Active(anon):      57132 kB
Inactive(anon):    24436 kB
Active(file):     317112 kB
Inactive(file):   297892 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42376 kB
Writeback:             4 kB
AnonPages:         56240 kB
Mapped:            39344 kB
Shmem:             25276 kB
Slab:             119576 kB
SReclaimable:      93652 kB
SUnreclaim:        25924 kB
KernelStack:        3200 kB
PageTables:         4376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     294724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61836 MiB
End job on node132 at 2017-08-02 15:28:22