Trace number 4284848

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Parallel with EPS 2017-08-22SAT (TO)30 20066.801 2520.1599

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 benchmark28
Best CPU time to get the best result obtained on this benchmark20060.301
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.13/0.25	c version: 2017-08-22
0.13/0.25	c seed: 1146751588
0.13/0.25	c timeout: 20160
0.13/0.25	c memlimit: 22000
0.13/0.25	c nbcore: 8
0.13/0.28	c Parsing instance...
0.13/0.69	c Parsing done, starting search...
18.14/4.63	o 325
18.14/4.65	o 324
18.90/4.79	o 323
19.65/4.82	o 322
19.65/4.82	o 321
19.65/4.83	o 320
19.65/4.83	o 319
19.65/4.83	o 318
19.65/4.84	o 317
19.65/4.84	o 316
19.65/4.84	o 315
19.65/4.84	o 314
19.65/4.84	o 313
19.65/4.84	o 312
19.65/4.85	o 311
19.65/4.85	o 310
19.65/4.85	o 309
19.65/4.85	o 308
19.65/4.86	o 307
19.65/4.86	o 306
19.65/4.86	o 305
19.65/4.87	o 304
19.65/4.87	o 303
19.65/4.87	o 302
19.65/4.87	o 301
19.65/4.88	o 300
19.65/4.88	o 299
19.65/4.88	o 298
19.65/4.88	o 297
20.45/4.90	o 296
20.45/4.91	o 295
20.45/4.91	o 294
20.45/4.91	o 293
20.45/4.91	o 292
20.45/4.92	o 291
20.45/4.93	o 290
20.45/4.93	o 289
20.45/4.93	o 288
20.45/4.93	o 287
20.45/4.93	o 286
20.45/4.94	o 285
20.45/4.97	o 284
20.45/4.97	o 283
20.45/4.97	o 282
20.45/4.98	o 281
20.45/4.98	o 280
20.45/4.98	o 279
20.45/4.98	o 278
20.45/5.00	o 277
20.45/5.00	o 276
20.45/5.00	o 275
20.45/5.00	o 274
21.24/5.00	o 273
21.24/5.00	o 272
21.24/5.01	o 271
21.24/5.01	o 270
21.24/5.02	o 269
21.24/5.02	o 268
21.24/5.02	o 267
21.24/5.03	o 266
21.24/5.03	o 265
21.24/5.03	o 264
21.24/5.03	o 263
21.24/5.04	o 262
21.24/5.04	o 261
21.24/5.04	o 260
21.24/5.04	o 259
21.24/5.05	o 258
21.24/5.05	o 257
21.24/5.05	o 256
21.24/5.05	o 255
21.24/5.06	o 254
21.24/5.06	o 253
21.24/5.06	o 252
21.24/5.06	o 251
21.24/5.07	o 250
21.24/5.07	o 249
21.24/5.08	o 248
21.24/5.08	o 247
21.24/5.08	o 246
21.24/5.08	o 245
21.24/5.08	o 244
21.24/5.09	o 243
21.24/5.09	o 242
21.24/5.09	o 241
21.24/5.09	o 240
21.24/5.10	o 239
21.24/5.10	o 238
22.07/5.11	o 237
22.07/5.11	o 236
22.07/5.11	o 235
22.07/5.12	o 234
22.07/5.12	o 233
22.07/5.12	o 232
22.07/5.13	o 231
22.07/5.13	o 230
22.07/5.13	o 229
22.07/5.13	o 228
22.07/5.14	o 227
22.07/5.14	o 226
22.07/5.14	o 225
22.07/5.14	o 224
22.07/5.14	o 223
22.82/5.21	o 222
22.82/5.21	o 221
22.82/5.22	o 220
22.82/5.23	o 219
22.82/5.23	o 218
22.82/5.23	o 217
22.82/5.23	o 216
22.82/5.23	o 215
22.82/5.24	o 214
22.82/5.24	o 213
22.82/5.24	o 212
22.82/5.24	o 211
22.82/5.24	o 210
22.82/5.24	o 209
22.82/5.24	o 208
22.82/5.25	o 207
22.82/5.25	o 206
22.82/5.25	o 205
22.82/5.25	o 204
22.82/5.25	o 203
22.82/5.26	o 202
22.82/5.26	o 201
22.82/5.26	o 200
22.82/5.26	o 199
22.82/5.28	o 198
22.82/5.28	o 197
22.82/5.28	o 196
22.82/5.28	o 195
22.82/5.29	o 194
22.82/5.29	o 193
22.82/5.29	o 192
22.82/5.29	o 191
22.82/5.29	o 190
22.82/5.29	o 189
22.82/5.29	o 188
22.82/5.29	o 187
23.57/5.30	o 186
23.57/5.30	o 185
23.57/5.30	o 184
23.57/5.30	o 183
23.57/5.31	o 182
23.57/5.31	o 181
23.57/5.31	o 180
23.57/5.31	o 179
23.57/5.32	o 178
23.57/5.32	o 177
23.57/5.33	o 176
23.57/5.33	o 175
23.57/5.33	o 174
23.57/5.33	o 173
23.57/5.33	o 172
23.57/5.34	o 171
23.57/5.34	o 170
23.57/5.34	o 169
23.57/5.34	o 168
23.57/5.34	o 167
23.57/5.36	o 166
23.57/5.36	o 165
23.57/5.36	o 164
23.57/5.36	o 163
23.57/5.38	o 162
23.57/5.38	o 161
23.57/5.39	o 160
23.57/5.39	o 159
23.57/5.39	o 158
23.57/5.39	o 157
24.39/5.41	o 156
24.39/5.42	o 155
24.39/5.42	o 154
24.39/5.42	o 153
24.39/5.42	o 152
24.39/5.42	o 151
24.39/5.42	o 150
24.39/5.43	o 149
24.39/5.43	o 148
24.39/5.43	o 147
24.39/5.43	o 146
24.39/5.43	o 145
24.39/5.44	o 144
24.39/5.44	o 143
24.39/5.44	o 142
24.39/5.44	o 141
24.39/5.45	o 140
24.39/5.45	o 139
24.39/5.45	o 138
24.39/5.45	o 137
24.39/5.45	o 136
24.39/5.46	o 135
24.39/5.46	o 134
24.39/5.46	o 133
24.39/5.46	o 132
24.39/5.46	o 131
24.39/5.47	o 130
24.39/5.47	o 129
24.39/5.47	o 128
24.39/5.47	o 127
24.39/5.48	o 126
24.39/5.48	o 125
24.39/5.48	o 124
24.39/5.50	o 123
24.39/5.50	o 122
24.39/5.50	o 121
24.39/5.50	o 120
24.39/5.50	o 119
24.39/5.50	o 118
25.23/5.51	o 117
25.23/5.51	o 116
25.23/5.51	o 115
25.23/5.51	o 114
25.23/5.51	o 113
25.23/5.51	o 112
25.23/5.51	o 111
25.23/5.51	o 110
25.23/5.53	o 109
25.23/5.53	o 108
25.23/5.53	o 107
25.23/5.53	o 106
25.23/5.53	o 105
25.23/5.53	o 104
25.23/5.54	o 103
25.23/5.54	o 102
25.23/5.54	o 101
25.23/5.54	o 100
32.28/6.47	o 99
66.22/10.86	o 98
200.10/27.68	o 97
259.77/35.14	o 96
378.53/50.10	o 95
615.28/79.78	o 94
650.35/84.11	o 93
740.41/95.47	o 92
848.03/108.91	o 91
993.93/127.21	o 90
1142.01/145.82	o 89
1175.49/150.08	o 88
1333.33/169.81	o 87
2183.99/276.56	o 86
2212.61/280.13	o 85
2297.11/290.74	o 84
2316.25/293.10	o 83
2451.78/310.18	o 82
2533.09/320.37	o 81
2674.22/338.00	o 80
2766.77/349.61	o 79
2794.59/353.15	o 78
2816.12/355.81	o 77
2858.37/361.18	o 76
2946.86/372.26	o 75
2977.95/376.10	o 74
2994.70/378.20	o 73
3115.89/393.44	o 72
3142.17/396.71	o 71
3147.75/397.48	o 70
3173.30/400.64	o 69
3230.64/407.85	o 68
3278.47/413.84	o 67
3409.21/430.21	o 66
3454.67/435.98	o 65
3534.37/445.92	o 64
3556.70/448.73	o 63
3587.11/452.54	o 62
3606.89/455.04	o 61
3614.85/456.06	o 60
3638.01/458.92	o 59
3648.28/460.25	o 58
3653.94/460.96	o 57
3661.83/461.92	o 56
3677.00/463.82	o 55
3706.54/467.55	o 54
3723.25/469.68	o 53
3751.09/473.15	o 52
3772.62/475.85	o 51
3833.19/483.41	o 50
3847.53/485.27	o 49
3895.37/491.26	o 48
3901.75/492.00	o 47
3920.15/494.38	o 46
3995.02/503.76	o 45
4032.49/508.49	o 44
4070.74/513.30	o 43
4095.54/516.39	o 42
4121.79/519.64	o 41
4198.28/529.29	o 40
4254.87/536.37	o 39
4287.62/540.42	o 38
4309.89/543.25	o 37
4354.53/548.84	o 36
4452.60/561.15	o 35
4536.36/571.66	o 34
4681.40/589.87	o 33
4701.42/592.40	o 32
4731.63/596.18	o 31
5688.23/716.13	o 30
20065.85/2520.09	s SATISFIABLE
20065.85/2520.09	v <instantiation>
20065.85/2520.09	v 	<list>
20065.85/2520.09	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]
20065.85/2520.09	v 	</list>
20065.85/2520.09	v 	<values>
20065.85/2520.09	v 		30 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 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 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 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 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 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 1 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 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 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 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 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 
20065.85/2520.09	v 	</values>
20065.85/2520.09	v </instantiation>

Verifier Data 

OK	30

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284848-1503420670/watcher-4284848-1503420670 -o /tmp/evaluation-result-4284848-1503420670/solver-4284848-1503420670 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503414386-29241 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1146751588 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284848-1503420670.xml 

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

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


[startup+0.10014 s]*
/proc/loadavg: 7.38 8.60 8.72 2/198 30346
/proc/meminfo: memFree=19260000/32770624 swapFree=67108860/67108860
[pid=30326] ppid=30323 vsize=26000852 memory=31568 CPUtime=0.13 cores=0-7
/proc/30326/stat : 30326 (java) S 30323 30326 29214 0 -1 1077944320 8308 0 0 0 11 2 0 0 20 0 20 0 175154538 26624872448 7892 33554432000 4194304 4196468 140730862846944 140730862829488 140595742822135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
/proc/30326/statm: 6500213 7892 3412 1 0 6487932 0
[pid=30326/tid=30328] ppid=30323 vsize=26000852 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30326/task/30328/stat : 30328 (java) R 30323 30326 29214 0 -1 4202560 6241 0 0 0 8 1 0 0 20 0 20 0 175154538 26624872448 7892 33554432000 4194304 4196468 140730862846944 140595747028128 140595742844061 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30329] ppid=30323 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30329/stat : 30329 (java) S 30323 30326 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175154539 26624872448 7892 33554432000 4194304 4196468 140730862846944 140595695442320 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30330] ppid=30323 vsize=26000852 memory=140563858224768 CPUtime=0 cores=0-7
/proc/30326/task/30330/stat : 30330 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26624872448 7892 33554432000 4194304 4196468 140730862846944 140595694389520 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30331] ppid=30323 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30331/stat : 30331 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26624872448 7892 33554432000 4194304 4196468 140730862846944 140595693337232 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30332] ppid=30323 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30332/stat : 30332 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26624872448 7892 33554432000 4194304 4196468 140730862846944 140595692284432 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30333] ppid=30323 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30333/stat : 30333 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26624872448 7892 33554432000 4194304 4196468 140730862846944 140595691232144 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30334] ppid=30323 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/30326/task/30334/stat : 30334 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26624872448 7892 33554432000 4194304 4196468 140730862846944 140595690179344 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30335] ppid=30323 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30335/stat : 30335 (java) S 30323 30326 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175154539 26624872448 7892 33554432000 4194304 4196468 140730862846944 140595689127056 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30336] ppid=30323 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30336/stat : 30336 (java) S 30323 30326 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175154539 26624872448 7892 33554432000 4194304 4196468 140730862846944 140595293453328 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30337] ppid=30323 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30337/stat : 30337 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154540 26624872448 7892 33554432000 4194304 4196468 140730862846944 140594464622704 140595742833282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30338] ppid=30323 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30338/stat : 30338 (java) S 30323 30326 29214 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175154541 26624872448 7892 33554432000 4194304 4196468 140730862846944 140594463568672 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30339] ppid=30323 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30339/stat : 30339 (java) S 30323 30326 29214 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175154541 26624872448 7892 33554432000 4194304 4196468 140730862846944 140594462516336 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30340] ppid=30323 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30340/stat : 30340 (java) S 30323 30326 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175154543 26624872448 7892 33554432000 4194304 4196468 140730862846944 140594461464656 140595742840731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30341] ppid=30323 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30341/stat : 30341 (java) S 30323 30326 29214 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 175154543 26624872448 7892 33554432000 4194304 4196468 140730862846944 140594460412528 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30342] ppid=30323 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30342/stat : 30342 (java) S 30323 30326 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175154543 26624872448 7892 33554432000 4194304 4196468 140730862846944 140594459359728 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30343] ppid=30323 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30343/stat : 30343 (java) S 30323 30326 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175154544 26624872448 7892 33554432000 4194304 4196468 140730862846944 140594458307440 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30344] ppid=30323 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/30326/task/30344/stat : 30344 (java) S 30323 30326 29214 0 -1 1077944384 366 0 0 0 2 0 0 0 20 0 20 0 175154544 26624872448 7892 33554432000 4194304 4196468 140730862846944 140594457254640 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30345] ppid=30323 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30345/stat : 30345 (java) S 30323 30326 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175154544 26624872448 7892 33554432000 4194304 4196468 140730862846944 140594456201568 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30346] ppid=30323 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/30326/task/30346/stat : 30346 (java) S 30323 30326 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175154544 26624872448 7892 33554432000 4194304 4196468 140730862846944 140594455148848 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 31568 KiB

[startup+0.743598 s]*
/proc/loadavg: 7.38 8.60 8.72 2/198 30346
/proc/meminfo: memFree=19227316/32770624 swapFree=67108860/67108860
[pid=30326] ppid=30323 vsize=26004968 memory=88184 CPUtime=1.49 cores=0-7
/proc/30326/stat : 30326 (java) S 30323 30326 29214 0 -1 1077944320 13615 0 0 0 144 5 0 0 20 0 20 0 175154538 26629087232 22046 33554432000 4194304 4196468 140730862846944 140730862829488 140595742822135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
/proc/30326/statm: 6501242 22046 3779 1 0 6488956 0
[pid=30326/tid=30328] ppid=30323 vsize=26004968 memory=4026531975 CPUtime=0.72 cores=0-7
/proc/30326/task/30328/stat : 30328 (java) R 30323 30326 29214 0 -1 4202560 9134 0 0 0 69 3 0 0 20 0 20 0 175154538 26629087232 22046 33554432000 4194304 4196468 140730862846944 140595747060736 140595724232143 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30329] ppid=30323 vsize=26004968 memory=3210 CPUtime=0 cores=0-7
/proc/30326/task/30329/stat : 30329 (java) S 30323 30326 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175154539 26629087232 22046 33554432000 4194304 4196468 140730862846944 140595695442320 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30330] ppid=30323 vsize=26004968 memory=4121551290282702496 CPUtime=0 cores=0-7
/proc/30326/task/30330/stat : 30330 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26629087232 22046 33554432000 4194304 4196468 140730862846944 140595694389520 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30331] ppid=30323 vsize=26004968 memory=-1 CPUtime=0 cores=0-7
/proc/30326/task/30331/stat : 30331 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26629087232 22046 33554432000 4194304 4196468 140730862846944 140595693337232 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30332] ppid=30323 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30332/stat : 30332 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26629087232 22046 33554432000 4194304 4196468 140730862846944 140595692284432 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30333] ppid=30323 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30333/stat : 30333 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26629087232 22046 33554432000 4194304 4196468 140730862846944 140595691232144 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30334] ppid=30323 vsize=26004968 memory=-1 CPUtime=0 cores=0-7
/proc/30326/task/30334/stat : 30334 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26629087232 22046 33554432000 4194304 4196468 140730862846944 140595690179344 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30335] ppid=30323 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30335/stat : 30335 (java) S 30323 30326 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175154539 26629087232 22046 33554432000 4194304 4196468 140730862846944 140595689127056 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30336] ppid=30323 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30336/stat : 30336 (java) S 30323 30326 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175154539 26629087232 22046 33554432000 4194304 4196468 140730862846944 140595293453328 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30337] ppid=30323 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30337/stat : 30337 (java) S 30323 30326 29214 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175154540 26629087232 22046 33554432000 4194304 4196468 140730862846944 140594464622704 140595742833282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30338] ppid=30323 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30338/stat : 30338 (java) S 30323 30326 29214 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175154541 26629087232 22046 33554432000 4194304 4196468 140730862846944 140594463568672 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30339] ppid=30323 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30339/stat : 30339 (java) S 30323 30326 29214 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175154541 26629087232 22046 33554432000 4194304 4196468 140730862846944 140594462516336 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30340] ppid=30323 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30340/stat : 30340 (java) S 30323 30326 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175154543 26629087232 22046 33554432000 4194304 4196468 140730862846944 140594461464656 140595742840731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30341] ppid=30323 vsize=26004968 memory=0 CPUtime=0.14 cores=0-7
/proc/30326/task/30341/stat : 30341 (java) S 30323 30326 29214 0 -1 1077944384 728 0 0 0 14 0 0 0 20 0 20 0 175154543 26629087232 22046 33554432000 4194304 4196468 140730862846944 140594460412528 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30342] ppid=30323 vsize=26004968 memory=0 CPUtime=0.19 cores=0-7
/proc/30326/task/30342/stat : 30342 (java) S 30323 30326 29214 0 -1 1077944384 712 0 0 0 19 0 0 0 20 0 20 0 175154543 26629087232 22046 33554432000 4194304 4196468 140730862846944 140594459359728 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30343] ppid=30323 vsize=26004968 memory=0 CPUtime=0.14 cores=0-7
/proc/30326/task/30343/stat : 30343 (java) S 30323 30326 29214 0 -1 1077944384 729 0 0 0 14 0 0 0 20 0 20 0 175154544 26629087232 22046 33554432000 4194304 4196468 140730862846944 140594458307440 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30344] ppid=30323 vsize=26004968 memory=0 CPUtime=0.27 cores=0-7
/proc/30326/task/30344/stat : 30344 (java) S 30323 30326 29214 0 -1 1077944384 928 0 0 0 27 0 0 0 20 0 20 0 175154544 26629087232 22046 33554432000 4194304 4196468 140730862846944 140594457254640 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30345] ppid=30323 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30345/stat : 30345 (java) S 30323 30326 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175154544 26629087232 22046 33554432000 4194304 4196468 140730862846944 140594456201568 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30346] ppid=30323 vsize=26004968 memory=-1 CPUtime=0 cores=0-7
/proc/30326/task/30346/stat : 30346 (java) S 30323 30326 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175154544 26629087232 22046 33554432000 4194304 4196468 140730862846944 140594455148848 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 26004968 KiB
Current children cumulated memory: 88184 KiB

[startup+0.809948 s]*
/proc/loadavg: 7.38 8.60 8.72 2/198 30346
/proc/meminfo: memFree=19221484/32770624 swapFree=67108860/67108860
[pid=30326] ppid=30323 vsize=26004968 memory=93892 CPUtime=1.6 cores=0-7
/proc/30326/stat : 30326 (java) S 30323 30326 29214 0 -1 1077944320 14019 0 0 0 155 5 0 0 20 0 20 0 175154538 26629087232 23473 33554432000 4194304 4196468 140730862846944 140730862829488 140595742822135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
/proc/30326/statm: 6501242 23473 3779 1 0 6488956 0
[pid=30326/tid=30328] ppid=30323 vsize=26004968 memory=6791534058613427641 CPUtime=0.79 cores=0-7
/proc/30326/task/30328/stat : 30328 (java) R 30323 30326 29214 0 -1 4202560 9495 0 0 0 75 4 0 0 20 0 20 0 175154538 26629087232 23473 33554432000 4194304 4196468 140730862846944 140595747050160 140595726902622 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30329] ppid=30323 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30329/stat : 30329 (java) S 30323 30326 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175154539 26629087232 23473 33554432000 4194304 4196468 140730862846944 140595695442320 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30330] ppid=30323 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30330/stat : 30330 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26629087232 23473 33554432000 4194304 4196468 140730862846944 140595694389520 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30331] ppid=30323 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30331/stat : 30331 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26629087232 23473 33554432000 4194304 4196468 140730862846944 140595693337232 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30332] ppid=30323 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30332/stat : 30332 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26629087232 23473 33554432000 4194304 4196468 140730862846944 140595692284432 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30333] ppid=30323 vsize=26004968 memory=2244 CPUtime=0 cores=0-7
/proc/30326/task/30333/stat : 30333 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26629087232 23473 33554432000 4194304 4196468 140730862846944 140595691232144 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30334] ppid=30323 vsize=26004968 memory=140563743601583 CPUtime=0 cores=0-7
/proc/30326/task/30334/stat : 30334 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26629087232 23473 33554432000 4194304 4196468 140730862846944 140595690179344 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30335] ppid=30323 vsize=26004968 memory=140563743603888 CPUtime=0 cores=0-7
/proc/30326/task/30335/stat : 30335 (java) S 30323 30326 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175154539 26629087232 23473 33554432000 4194304 4196468 140730862846944 140595689127056 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30336] ppid=30323 vsize=26004968 memory=140563743606192 CPUtime=0 cores=0-7
/proc/30326/task/30336/stat : 30336 (java) S 30323 30326 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175154539 26629087232 23473 33554432000 4194304 4196468 140730862846944 140595293453328 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30337] ppid=30323 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30337/stat : 30337 (java) S 30323 30326 29214 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175154540 26629087232 23473 33554432000 4194304 4196468 140730862846944 140594464622704 140595742833282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30338] ppid=30323 vsize=26004968 memory=281127487219344 CPUtime=0 cores=0-7
/proc/30326/task/30338/stat : 30338 (java) S 30323 30326 29214 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175154541 26629087232 23473 33554432000 4194304 4196468 140730862846944 140594463568672 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30339] ppid=30323 vsize=26004968 memory=281127487226256 CPUtime=0 cores=0-7
/proc/30326/task/30339/stat : 30339 (java) S 30323 30326 29214 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175154541 26629087232 23473 33554432000 4194304 4196468 140730862846944 140594462516336 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30340] ppid=30323 vsize=26004968 memory=281127487167536 CPUtime=0 cores=0-7
/proc/30326/task/30340/stat : 30340 (java) S 30323 30326 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175154543 26629087232 23473 33554432000 4194304 4196468 140730862846944 140594461464656 140595742840731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30341] ppid=30323 vsize=26004968 memory=281127487240080 CPUtime=0.15 cores=0-7
/proc/30326/task/30341/stat : 30341 (java) S 30323 30326 29214 0 -1 1077944384 733 0 0 0 15 0 0 0 20 0 20 0 175154543 26629087232 23473 33554432000 4194304 4196468 140730862846944 140594460412528 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30342] ppid=30323 vsize=26004968 memory=281127487246992 CPUtime=0.2 cores=0-7
/proc/30326/task/30342/stat : 30342 (java) S 30323 30326 29214 0 -1 1077944384 718 0 0 0 20 0 0 0 20 0 20 0 175154543 26629087232 23473 33554432000 4194304 4196468 140730862846944 140594459359728 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30343] ppid=30323 vsize=26004968 memory=281127487244688 CPUtime=0.15 cores=0-7
/proc/30326/task/30343/stat : 30343 (java) S 30323 30326 29214 0 -1 1077944384 737 0 0 0 15 0 0 0 20 0 20 0 175154544 26629087232 23473 33554432000 4194304 4196468 140730862846944 140594458307440 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30344] ppid=30323 vsize=26004968 memory=281127487261296 CPUtime=0.28 cores=0-7
/proc/30326/task/30344/stat : 30344 (java) S 30323 30326 29214 0 -1 1077944384 950 0 0 0 28 0 0 0 20 0 20 0 175154544 26629087232 23473 33554432000 4194304 4196468 140730862846944 140594457254640 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30345] ppid=30323 vsize=26004968 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30345/stat : 30345 (java) S 30323 30326 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175154544 26629087232 23473 33554432000 4194304 4196468 140730862846944 140594456201568 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30346] ppid=30323 vsize=26004968 memory=-1 CPUtime=0 cores=0-7
/proc/30326/task/30346/stat : 30346 (java) S 30323 30326 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175154544 26629087232 23473 33554432000 4194304 4196468 140730862846944 140594455148848 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 26004968 KiB
Current children cumulated memory: 93892 KiB

[startup+0.909467 s]*
/proc/loadavg: 7.38 8.60 8.72 5/198 30346
/proc/meminfo: memFree=19202812/32770624 swapFree=67108860/67108860
[pid=30326] ppid=30323 vsize=26007016 memory=113172 CPUtime=1.89 cores=0-7
/proc/30326/stat : 30326 (java) S 30323 30326 29214 0 -1 1077944320 16290 0 0 0 183 6 0 0 20 0 20 0 175154538 26631184384 28293 33554432000 4194304 4196468 140730862846944 140730862829488 140595742822135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
/proc/30326/statm: 6501754 28293 3784 1 0 6489468 0
[pid=30326/tid=30328] ppid=30323 vsize=26007016 memory=29681743523217448 CPUtime=0.88 cores=0-7
/proc/30326/task/30328/stat : 30328 (java) R 30323 30326 29214 0 -1 4202560 10475 0 0 0 84 4 0 0 20 0 20 0 175154538 26631184384 28293 33554432000 4194304 4196468 140730862846944 140595747044128 140595368689239 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30329] ppid=30323 vsize=26007016 memory=327 CPUtime=0 cores=0-7
/proc/30326/task/30329/stat : 30329 (java) S 30323 30326 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175154539 26631184384 28293 33554432000 4194304 4196468 140730862846944 140595695442320 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30330] ppid=30323 vsize=26007016 memory=4337583508538261536 CPUtime=0 cores=0-7
/proc/30326/task/30330/stat : 30330 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26631184384 28293 33554432000 4194304 4196468 140730862846944 140595694389520 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30331] ppid=30323 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30331/stat : 30331 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26631184384 28293 33554432000 4194304 4196468 140730862846944 140595693337232 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30332] ppid=30323 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30332/stat : 30332 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26631184384 28293 33554432000 4194304 4196468 140730862846944 140595692284432 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30333] ppid=30323 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30333/stat : 30333 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26631184384 28293 33554432000 4194304 4196468 140730862846944 140595691232144 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30334] ppid=30323 vsize=26007016 memory=-1 CPUtime=0 cores=0-7
/proc/30326/task/30334/stat : 30334 (java) S 30323 30326 29214 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175154539 26631184384 28293 33554432000 4194304 4196468 140730862846944 140595690179344 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30335] ppid=30323 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30335/stat : 30335 (java) S 30323 30326 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175154539 26631184384 28293 33554432000 4194304 4196468 140730862846944 140595689127056 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30336] ppid=30323 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30336/stat : 30336 (java) S 30323 30326 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175154539 26631184384 28293 33554432000 4194304 4196468 140730862846944 140595293453328 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30337] ppid=30323 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/30326/task/30337/stat : 30337 (java) S 30323 30326 29214 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 175154540 26631184384 28293 33554432000 4194304 4196468 140730862846944 140594464622704 140595742833282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0

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

/proc/30326/task/30371/stat : 30371 (java) S 30323 30326 29214 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 46 0 175155017 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594345141520 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30372] ppid=30323 vsize=27743860 memory=-8412652152092201843 CPUtime=0 cores=0-7
/proc/30326/task/30372/stat : 30372 (java) S 30323 30326 29214 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 46 0 175155019 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594344088720 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
Current children cumulated CPU time: 19924.8 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 8188396 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 8.81 9.02 8.89 9/224 30450
/proc/meminfo: memFree=11108996/32770624 swapFree=67108860/67108860
[pid=30326] ppid=30323 vsize=27743860 memory=8188396 CPUtime=20065.8 cores=0-7
/proc/30326/stat : 30326 (java) S 30323 30326 29214 0 -1 1077944320 1476751 0 0 0 2004357 2228 0 0 20 0 46 0 175154538 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140730862829488 140595742822135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
/proc/30326/statm: 6935965 2047099 3858 1 0 6923158 0
[pid=30326/tid=30328] ppid=30323 vsize=27743860 memory=8188396 CPUtime=3.05 cores=0-7
/proc/30326/task/30328/stat : 30328 (java) S 30323 30326 29214 0 -1 1077944384 14255 0 0 0 297 8 0 0 20 0 46 0 175154538 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140595747059840 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30329] ppid=30323 vsize=27743860 memory=8188396 CPUtime=11.69 cores=0-7
/proc/30326/task/30329/stat : 30329 (java) S 30323 30326 29214 0 -1 1077944384 27293 0 0 0 1100 69 0 0 20 0 46 0 175154539 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140595695442320 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30330] ppid=30323 vsize=27743860 memory=8188396 CPUtime=11.72 cores=0-7
/proc/30326/task/30330/stat : 30330 (java) S 30323 30326 29214 0 -1 1077944384 28700 0 0 0 1103 69 0 0 20 0 46 0 175154539 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140595694389520 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30331] ppid=30323 vsize=27743860 memory=8188396 CPUtime=11.66 cores=0-7
/proc/30326/task/30331/stat : 30331 (java) S 30323 30326 29214 0 -1 1077944384 29322 0 0 0 1095 71 0 0 20 0 46 0 175154539 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140595693337232 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30332] ppid=30323 vsize=27743860 memory=8188396 CPUtime=11.75 cores=0-7
/proc/30326/task/30332/stat : 30332 (java) S 30323 30326 29214 0 -1 1077944384 30996 0 0 0 1103 72 0 0 20 0 46 0 175154539 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140595692284432 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30333] ppid=30323 vsize=27743860 memory=8188396 CPUtime=11.76 cores=0-7
/proc/30326/task/30333/stat : 30333 (java) S 30323 30326 29214 0 -1 1077944384 36472 0 0 0 1107 69 0 0 20 0 46 0 175154539 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140595691232144 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30334] ppid=30323 vsize=27743860 memory=1292 CPUtime=11.67 cores=0-7
/proc/30326/task/30334/stat : 30334 (java) S 30323 30326 29214 0 -1 1077944384 30595 0 0 0 1098 69 0 0 20 0 46 0 175154539 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140595690179344 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30335] ppid=30323 vsize=27743860 memory=1728 CPUtime=11.76 cores=0-7
/proc/30326/task/30335/stat : 30335 (java) S 30323 30326 29214 0 -1 1077944384 34093 0 0 0 1105 71 0 0 20 0 46 0 175154539 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140595689127056 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30336] ppid=30323 vsize=27743860 memory=5788 CPUtime=11.71 cores=0-7
/proc/30326/task/30336/stat : 30336 (java) S 30323 30326 29214 0 -1 1077944384 34644 0 0 0 1104 67 0 0 20 0 46 0 175154539 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140595293453328 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30337] ppid=30323 vsize=27743860 memory=648 CPUtime=0.76 cores=0-7
/proc/30326/task/30337/stat : 30337 (java) S 30323 30326 29214 0 -1 1077944384 51140 0 0 0 66 10 0 0 20 0 46 0 175154540 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594464622704 140595742833282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30338] ppid=30323 vsize=27743860 memory=1236 CPUtime=0 cores=0-7
/proc/30326/task/30338/stat : 30338 (java) S 30323 30326 29214 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 46 0 175154541 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594463568736 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30339] ppid=30323 vsize=27743860 memory=960 CPUtime=0 cores=0-7
/proc/30326/task/30339/stat : 30339 (java) S 30323 30326 29214 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 46 0 175154541 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594462516352 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30340] ppid=30323 vsize=27743860 memory=8188396 CPUtime=0 cores=0-7
/proc/30326/task/30340/stat : 30340 (java) S 30323 30326 29214 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 175154543 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594461464656 140595742840731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30341] ppid=30323 vsize=27743860 memory=8188396 CPUtime=2.66 cores=0-7
/proc/30326/task/30341/stat : 30341 (java) S 30323 30326 29214 0 -1 1077944384 11886 0 0 0 264 2 0 0 20 0 46 0 175154543 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594460412528 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30342] ppid=30323 vsize=27743860 memory=8188396 CPUtime=2.87 cores=0-7
/proc/30326/task/30342/stat : 30342 (java) S 30323 30326 29214 0 -1 1077944384 10918 0 0 0 285 2 0 0 20 0 46 0 175154543 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594459359728 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30343] ppid=30323 vsize=27743860 memory=1792 CPUtime=2.65 cores=0-7
/proc/30326/task/30343/stat : 30343 (java) S 30323 30326 29214 0 -1 1077944384 12222 0 0 0 263 2 0 0 20 0 46 0 175154544 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594458307440 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30344] ppid=30323 vsize=27743860 memory=648 CPUtime=1.07 cores=0-7
/proc/30326/task/30344/stat : 30344 (java) S 30323 30326 29214 0 -1 1077944384 26160 0 0 0 100 7 0 0 20 0 46 0 175154544 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594457254640 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30345] ppid=30323 vsize=27743860 memory=1236 CPUtime=0 cores=0-7
/proc/30326/task/30345/stat : 30345 (java) S 30323 30326 29214 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 175154544 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594456201568 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30346] ppid=30323 vsize=27743860 memory=6791534058613427641 CPUtime=1.01 cores=0-7
/proc/30326/task/30346/stat : 30346 (java) S 30323 30326 29214 0 -1 1077944384 2826 0 0 0 49 52 0 0 20 0 46 0 175154544 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594455148848 140595742833282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30347] ppid=30323 vsize=27743860 memory=-2605811476043407915 CPUtime=0.01 cores=0-7
/proc/30326/task/30347/stat : 30347 (java) S 30323 30326 29214 0 -1 1077944384 2023 0 0 0 1 0 0 0 20 0 46 0 175154831 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594444858272 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30348] ppid=30323 vsize=27743860 memory=4783480764960632677 CPUtime=5.01 cores=0-7
/proc/30326/task/30348/stat : 30348 (java) R 30323 30326 29214 0 -1 1077944384 8842 0 0 0 324 177 0 0 20 0 46 0 175154843 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594441708576 140595742833282 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30349] ppid=30323 vsize=27743860 memory=8188396 CPUtime=2495.5 cores=0-7
/proc/30326/task/30349/stat : 30349 (java) R 30323 30326 29214 0 -1 4202560 139120 0 0 0 249351 199 0 0 20 0 46 0 175154853 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594440650352 140595378008516 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30350] ppid=30323 vsize=27743860 memory=48668 CPUtime=2491.15 cores=0-7
/proc/30326/task/30350/stat : 30350 (java) R 30323 30326 29214 0 -1 4202560 129725 0 0 0 248933 182 0 0 20 0 46 0 175154854 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594437502664 140595374850880 0 4 0 16800975 0 0 0 -1 3 0 0 9 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30351] ppid=30323 vsize=27743860 memory=2332 CPUtime=2484.33 cores=0-7
/proc/30326/task/30351/stat : 30351 (java) R 30323 30326 29214 0 -1 4202560 191124 0 0 0 248114 319 0 0 20 0 46 0 175154854 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594436448184 140595380834798 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30352] ppid=30323 vsize=27743860 memory=8188396 CPUtime=0.18 cores=0-7
/proc/30326/task/30352/stat : 30352 (java) S 30323 30326 29214 0 -1 1077944384 79 0 0 0 18 0 0 0 20 0 46 0 175154856 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594435401360 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30353] ppid=30323 vsize=27743860 memory=1728 CPUtime=2493.81 cores=0-7
/proc/30326/task/30353/stat : 30353 (java) R 30323 30326 29214 0 -1 4202560 122036 0 0 0 249207 174 0 0 20 0 46 0 175154856 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594434341368 140595380834776 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30354] ppid=30323 vsize=27743860 memory=1728 CPUtime=0.16 cores=0-7
/proc/30326/task/30354/stat : 30354 (java) S 30323 30326 29214 0 -1 1077944384 71 0 0 0 16 0 0 0 20 0 46 0 175154856 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594433295248 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30355] ppid=30323 vsize=27743860 memory=5788 CPUtime=2496.41 cores=0-7
/proc/30326/task/30355/stat : 30355 (java) R 30323 30326 29214 0 -1 4202560 121633 0 0 0 249471 170 0 0 20 0 46 0 175154856 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594432236472 140595380834881 0 4 0 16800975 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30356] ppid=30323 vsize=27743860 memory=1228 CPUtime=2495.41 cores=0-7
/proc/30326/task/30356/stat : 30356 (java) R 30323 30326 29214 0 -1 4202560 127470 0 0 0 249343 198 0 0 20 0 46 0 175154856 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594431184200 140595380636282 0 4 0 16800975 0 0 0 -1 4 0 0 13 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30357] ppid=30323 vsize=27743860 memory=796 CPUtime=0 cores=0-7
/proc/30326/task/30357/stat : 30357 (java) S 30323 30326 29214 0 -1 1077944384 815 0 0 0 0 0 0 0 20 0 46 0 175154857 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594430137872 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30358] ppid=30323 vsize=27743860 memory=8188396 CPUtime=2495.2 cores=0-7
/proc/30326/task/30358/stat : 30358 (java) R 30323 30326 29214 0 -1 4202560 114045 0 0 0 249359 161 0 0 20 0 46 0 175154857 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594429079112 140595375183537 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30359] ppid=30323 vsize=27743860 memory=8188396 CPUtime=2500.51 cores=0-7
/proc/30326/task/30359/stat : 30359 (java) R 30323 30326 29214 0 -1 4202560 131829 0 0 0 249827 224 0 0 20 0 46 0 175154857 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594428029424 140595371395431 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30360] ppid=30323 vsize=27743860 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/30326/task/30360/stat : 30360 (java) S 30323 30326 29214 0 -1 1077944384 502 0 0 0 0 0 0 0 20 0 46 0 175154857 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594426979984 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30361] ppid=30323 vsize=27743860 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/30326/task/30361/stat : 30361 (java) S 30323 30326 29214 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 46 0 175155002 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594423792656 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30362] ppid=30323 vsize=27743860 memory=4132 CPUtime=0 cores=0-7
/proc/30326/task/30362/stat : 30362 (java) S 30323 30326 29214 0 -1 1077944384 538 0 0 0 0 0 0 0 20 0 46 0 175155002 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594422739856 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30363] ppid=30323 vsize=27743860 memory=48668 CPUtime=0 cores=0-7
/proc/30326/task/30363/stat : 30363 (java) S 30323 30326 29214 0 -1 1077944384 823 0 0 0 0 0 0 0 20 0 46 0 175155004 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594421687568 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30364] ppid=30323 vsize=27743860 memory=2332 CPUtime=0 cores=0-7
/proc/30326/task/30364/stat : 30364 (java) S 30323 30326 29214 0 -1 1077944384 548 0 0 0 0 0 0 0 20 0 46 0 175155006 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594420634768 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30365] ppid=30323 vsize=27743860 memory=1292 CPUtime=0 cores=0-7
/proc/30326/task/30365/stat : 30365 (java) S 30323 30326 29214 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 46 0 175155008 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594419582480 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30366] ppid=30323 vsize=27743860 memory=48668 CPUtime=0 cores=0-7
/proc/30326/task/30366/stat : 30366 (java) S 30323 30326 29214 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 175155010 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594418529680 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30367] ppid=30323 vsize=27743860 memory=2332 CPUtime=0 cores=0-7
/proc/30326/task/30367/stat : 30367 (java) S 30323 30326 29214 0 -1 1077944384 675 0 0 0 0 0 0 0 20 0 46 0 175155011 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594417477392 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30368] ppid=30323 vsize=27743860 memory=1292 CPUtime=0 cores=0-7
/proc/30326/task/30368/stat : 30368 (java) S 30323 30326 29214 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 175155012 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594416424592 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30369] ppid=30323 vsize=27743860 memory=8188396 CPUtime=0 cores=0-7
/proc/30326/task/30369/stat : 30369 (java) S 30323 30326 29214 0 -1 1077944384 809 0 0 0 0 0 0 0 20 0 46 0 175155015 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594415371280 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30370] ppid=30323 vsize=27743860 memory=4132 CPUtime=0 cores=0-7
/proc/30326/task/30370/stat : 30370 (java) S 30323 30326 29214 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 46 0 175155017 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594414318480 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30371] ppid=30323 vsize=27743860 memory=48668 CPUtime=0 cores=0-7
/proc/30326/task/30371/stat : 30371 (java) S 30323 30326 29214 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 46 0 175155017 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594345141520 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30372] ppid=30323 vsize=27743860 memory=2332 CPUtime=0 cores=0-7
/proc/30326/task/30372/stat : 30372 (java) S 30323 30326 29214 0 -1 1077944384 278 0 0 0 0 0 0 0 20 0 46 0 175155019 28409712640 2047099 33554432000 4194304 4196468 140730862846944 140594344088720 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
Current children cumulated CPU time: 20065.8 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 8188396 KiB

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

[startup+2520.16 s]
# the end of solver process 30326 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20044.5 s, system=22.3273 s

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

[startup+2520.12 s]
/proc/loadavg: 8.81 9.02 8.89 9/224 30450
/proc/meminfo: memFree=11108996/32770624 swapFree=67108860/67108860
[pid=30326] ppid=30323 vsize=27876988 memory=8188636 CPUtime=20066.8 cores=0-7
/proc/30326/stat : 30326 (java) S 30323 30326 29214 0 -1 1077944320 1479361 0 0 0 2004448 2228 0 0 20 0 46 0 175154538 28546035712 2047159 33554432000 4194304 4196468 140730862846944 140730862829488 140595742822135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
/proc/30326/statm: 6969247 2047159 3860 1 0 6956440 0
[pid=30326/tid=30328] ppid=30323 vsize=27876988 memory=1728 CPUtime=3.05 cores=0-7
/proc/30326/task/30328/stat : 30328 (java) S 30323 30326 29214 0 -1 1077944384 14255 0 0 0 297 8 0 0 20 0 46 0 175154538 28546035712 2047159 33554432000 4194304 4196468 140730862846944 140595747059840 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30329] ppid=30323 vsize=27876988 memory=6791534058613427641 CPUtime=11.69 cores=0-7
/proc/30326/task/30329/stat : 30329 (java) S 30323 30326 29214 0 -1 1077944384 27293 0 0 0 1100 69 0 0 20 0 46 0 175154539 28546035712 2047159 33554432000 4194304 4196468 140730862846944 140595695442320 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30330] ppid=30323 vsize=27876988 memory=7308327811512954982 CPUtime=11.72 cores=0-7
/proc/30326/task/30330/stat : 30330 (java) S 30323 30326 29214 0 -1 1077944384 28700 0 0 0 1103 69 0 0 20 0 46 0 175154539 28546035712 2047159 33554432000 4194304 4196468 140730862846944 140595694389520 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30331] ppid=30323 vsize=27876988 memory=7378422747382371952 CPUtime=11.66 cores=0-7
/proc/30326/task/30331/stat : 30331 (java) S 30323 30326 29214 0 -1 1077944384 29322 0 0 0 1095 71 0 0 20 0 46 0 175154539 28546035712 2047159 33554432000 4194304 4196468 140730862846944 140595693337232 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30332] ppid=30323 vsize=27876988 memory=7378422747382371952 CPUtime=11.75 cores=0-7
/proc/30326/task/30332/stat : 30332 (java) S 30323 30326 29214 0 -1 1077944384 30996 0 0 0 1103 72 0 0 20 0 46 0 175154539 28546035712 2047159 33554432000 4194304 4196468 140730862846944 140595692284432 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30333] ppid=30323 vsize=27876988 memory=7451839350677136750 CPUtime=11.76 cores=0-7
/proc/30326/task/30333/stat : 30333 (java) S 30323 30326 29214 0 -1 1077944384 36472 0 0 0 1107 69 0 0 20 0 46 0 175154539 28546035712 2047159 33554432000 4194304 4196468 140730862846944 140595691232144 140595742832341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30334] ppid=30323 vsize=27876988 memory=7732790976964616555 CPUtime=11.67 cores=0-7
/proc/30326/task/30334/stat : 30334 (java) S 30323 30326 29214 0 -1 1077944384 30595 0 0 0 1098 69 0 0 20 0 46 0 175154539 28546035712 2047201 33554432000 4194304 4196468 140730862846944 140595690179344 140595742832341 256 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30335] ppid=30323 vsize=27876988 memory=7883104082006331492 CPUtime=11.76 cores=0-7
/proc/30326/task/30335/stat : 30335 (java) R 30323 30326 29214 0 -1 1077944384 34093 0 0 0 1105 71 0 0 20 0 46 0 175154539 28546035712 2047223 33554432000 4194304 4196468 140730862846944 140595689127056 140595742832341 256 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30336] ppid=30323 vsize=27876988 memory=5788 CPUtime=11.71 cores=0-7
/proc/30326/task/30336/stat : 30336 (java) R 30323 30326 29214 0 -1 1077944384 34644 0 0 0 1104 67 0 0 20 0 37 0 175154539 28546035712 2047225 33554432000 4194304 4196468 140730862846944 140595293453328 140595742832341 256 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30339] ppid=30323 vsize=27876988 memory=10088 CPUtime=0 cores=0-7
/proc/30326/task/30339/stat : 30339 (java) R 30323 30326 29214 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 27 0 175154541 28546035712 2047264 33554432000 4194304 4196468 140730862846944 140594462516352 140595742832341 256 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30341] ppid=30323 vsize=27876988 memory=8740 CPUtime=2.66 cores=0-7
/proc/30326/task/30341/stat : 30341 (java) R 30323 30326 29214 0 -1 1077944384 11886 0 0 0 264 2 0 0 20 0 20 0 175154543 28546035712 2047270 33554432000 4194304 4196468 140730862846944 140594460412528 140595742833282 256 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30343] ppid=30323 vsize=27876988 memory=1720 CPUtime=2.66 cores=0-7
/proc/30326/task/30343/stat : 30343 (java) R 30323 30326 29214 0 -1 1077944384 12581 0 0 0 264 2 0 0 20 0 15 0 175154544 28546035712 2047291 33554432000 4194304 4196468 140730862846944 140594458307440 140595742833282 256 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9351168 140730862855265 140730862855451 140730862855451 140730862858191 0
[pid=30326/tid=30352] ppid=30323 vsize=0 memory=648 CPUtime=0.18 cores=0-7
/proc/30326/task/30352/stat : 30352 (java) X 30323 30326 29214 0 -1 4195396 80 0 0 0 18 0 0 0 20 0 3 0 175154856 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0
[pid=30326/tid=30354] ppid=30323 vsize=0 memory=960 CPUtime=0.16 cores=0-7
/proc/30326/task/30354/stat : 30354 (java) R 30323 30326 29214 0 -1 4203588 72 0 0 0 16 0 0 0 20 0 2 0 175154856 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 20066.8 s
Current children cumulated vsize: 27876988 KiB
Current children cumulated memory: 8188636 KiB

Child status: 143
Real time (s): 2520.16
CPU time (s): 20066.8
CPU user time (s): 20044.5
CPU system time (s): 22.3273
CPU usage (%): 796.252
Max. virtual memory (cumulated for all children) (KiB): 27876988
Max. memory (cumulated for all children) (KiB): 8189412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20044.5
system time used= 22.3273
maximum resident set size= 8189420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1479407
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 318054
involuntary context switches= 425264


# summary of solver processes directly reported to runsolver:
#   pid: 30326
#   total CPU time (s): 20066.8
#   total CPU user time (s): 20044.5
#   total CPU system time (s): 22.3273

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.1913 second user time and 37.8131 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-22 18:36:49
IDJOB=4284848
IDBENCH=122928
IDSOLVER=2681
FILE ID=node112/4284848-1503420670
RUNJOBID= node112-1503414386-29241
PBS_JOBID= 20632123
Free space on /tmp= 60712 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-10-325-100.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4284848-1503420670/watcher-4284848-1503420670 -o /tmp/evaluation-result-4284848-1503420670/solver-4284848-1503420670 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node112-1503414386-29241 --watchdog 2580  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1146751588 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284848-1503420670.xml

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

MD5SUM BENCH= 34a68c11381dc26a6f51296df739d32e
RANDOM SEED=1146751588

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        19298116 kB
MemAvailable:   31944588 kB
Buffers:          266932 kB
Cached:         12660944 kB
SwapCached:            0 kB
Active:          2288048 kB
Inactive:       10691972 kB
Active(anon):       4164 kB
Inactive(anon):    92572 kB
Active(file):    2283884 kB
Inactive(file): 10599400 kB
Unevictable:        7844 kB
Mlocked:            7844 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42116 kB
Writeback:             0 kB
AnonPages:         70140 kB
Mapped:            54424 kB
Shmem:             41608 kB
Slab:             185068 kB
SReclaimable:     158044 kB
SUnreclaim:        27024 kB
KernelStack:        3520 kB
PageTables:         4860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     341324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 60672 MiB
End job on node112 at 2017-08-22 19:18:49