Trace number 4256834

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 - Hybrid 2017-07-26SAT (TO)468 251.13901 240.03799

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-37.xml
MD5SUM45cb885f577274590a53a0b26d80d877
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark636
Best CPU time to get the best result obtained on this benchmark1884.33
Satisfiable
(Un)Satisfiability was proved
Number of variables3082
Number of constraints1747
Number of domains4
Minimum domain size2
Maximum domain size3043
Distribution of domain sizes[{"size":2,"count":1521},{"size":3,"count":1521},{"size":1370,"count":1},{"size":3043,"count":39}]
Minimum variable degree1
Maximum variable degree40
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":1518},{"degree":3,"count":42},{"degree":4,"count":148},{"degree":8,"count":144},{"degree":9,"count":1225},{"degree":40,"count":1}]
Minimum constraint arity2
Maximum constraint arity41
Distribution of constraint arities[{"arity":2,"count":187},{"arity":3,"count":148},{"arity":10,"count":1369},{"arity":39,"count":4},{"arity":40,"count":1},{"arity":41,"count":38}]
Number of extensional constraints1517
Number of intensional constraints186
Distribution of constraint types[{"type":"extension","count":1517},{"type":"intension","count":186},{"type":"sum","count":40},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax 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.23/0.39	c version: 2017-07-26
0.23/0.39	c seed: 983984763
0.23/0.39	c timeout: 264
0.23/0.39	c memlimit: 11000
0.23/0.39	c nbcore: 4
0.41/0.41	c Parsing instance...
5.06/2.37	c Parsing done, starting first complete search...
16.42/11.97	o 138
16.42/11.97	o 139
16.42/11.97	o 140
16.42/11.98	o 141
16.42/11.98	o 142
16.42/11.98	o 143
16.42/11.99	o 144
16.42/11.99	o 145
16.42/11.99	o 146
16.42/12.00	o 147
16.42/12.00	o 148
16.62/12.00	o 149
16.62/12.00	o 150
16.62/12.00	o 151
16.62/12.00	o 152
16.62/12.00	o 153
16.62/12.01	o 154
16.62/12.01	o 155
16.62/12.01	o 156
16.62/12.01	o 157
16.62/12.01	o 158
16.62/12.02	o 159
16.62/12.02	o 160
16.62/12.02	o 161
16.62/12.02	o 162
16.62/12.02	o 163
16.62/12.02	o 164
16.62/12.02	o 165
16.62/12.02	o 166
16.62/12.03	o 167
16.62/12.03	o 168
16.62/12.03	o 169
16.62/12.03	o 170
16.62/12.03	o 171
16.62/12.03	o 172
16.62/12.04	o 173
16.62/12.04	o 174
16.62/12.04	o 175
16.62/12.04	o 176
16.62/12.04	o 177
16.62/12.04	o 178
16.62/12.04	o 179
16.62/12.05	o 180
16.62/12.05	o 181
16.62/12.05	o 182
16.62/12.05	o 183
16.62/12.05	o 184
16.62/12.05	o 185
16.62/12.06	o 186
16.62/12.06	o 187
16.62/12.06	o 188
16.62/12.06	o 189
16.62/12.06	o 190
16.62/12.06	o 191
16.62/12.06	o 192
16.62/12.07	o 193
16.62/12.07	o 194
16.62/12.07	o 195
16.62/12.07	o 196
16.62/12.07	o 197
16.62/12.07	o 198
16.62/12.07	o 199
16.62/12.08	o 200
16.62/12.08	o 201
16.62/12.08	o 202
16.62/12.08	o 203
16.62/12.08	o 204
16.62/12.08	o 205
16.62/12.09	o 206
16.62/12.09	o 207
16.62/12.09	o 208
16.62/12.09	o 209
16.62/12.09	o 210
16.62/12.09	o 211
16.62/12.09	o 212
16.62/12.10	o 213
16.62/12.10	o 214
16.62/12.10	o 215
16.62/12.10	o 216
16.95/12.10	o 217
16.95/12.10	o 218
16.95/12.10	o 219
16.95/12.11	o 220
16.95/12.11	o 221
16.95/12.11	o 222
16.95/12.11	o 223
16.95/12.11	o 224
16.95/12.11	o 225
16.95/12.12	o 226
16.95/12.12	o 227
16.95/12.12	o 228
16.95/12.12	o 229
16.95/12.12	o 230
16.95/12.12	o 231
16.95/12.12	o 232
16.95/12.13	o 233
16.95/12.13	o 234
16.95/12.13	o 235
16.95/12.13	o 236
16.95/12.13	o 237
16.95/12.14	o 238
16.95/12.14	o 239
16.95/12.14	o 240
16.95/12.14	o 241
16.95/12.14	o 242
16.95/12.14	o 243
16.95/12.15	o 244
16.95/12.15	o 245
16.95/12.15	o 246
16.95/12.15	o 247
16.95/12.15	o 248
16.95/12.15	o 249
16.95/12.16	o 250
16.95/12.16	o 251
16.95/12.16	o 252
16.95/12.16	o 253
16.95/12.16	o 254
16.95/12.16	o 255
16.95/12.17	o 256
16.95/12.17	o 257
16.95/12.17	o 258
16.95/12.17	o 259
16.95/12.17	o 260
16.95/12.17	o 261
16.95/12.17	o 262
16.95/12.18	o 263
16.95/12.18	o 264
16.95/12.18	o 265
16.95/12.18	o 266
16.95/12.18	o 267
16.95/12.18	o 268
16.95/12.18	o 269
16.95/12.19	o 270
16.95/12.19	o 271
16.95/12.19	o 272
16.95/12.19	o 273
16.95/12.19	o 274
16.95/12.19	o 275
16.95/12.19	o 276
16.95/12.19	o 277
16.95/12.20	o 278
16.95/12.20	o 279
16.95/12.20	o 280
16.95/12.20	o 281
16.95/12.20	o 282
16.95/12.20	o 283
17.24/12.20	o 284
17.24/12.21	o 285
17.24/12.21	o 286
17.24/12.21	o 287
17.24/12.21	o 288
17.24/12.21	o 289
17.24/12.21	o 290
17.24/12.22	o 291
17.24/12.22	o 292
17.24/12.22	o 293
17.24/12.22	o 294
17.24/12.22	o 295
17.24/12.22	o 296
17.24/12.22	o 297
17.24/12.23	o 298
17.24/12.23	o 299
17.24/12.23	o 300
17.24/12.23	o 301
17.24/12.23	o 302
17.24/12.23	o 303
17.24/12.23	o 304
17.24/12.24	o 305
17.24/12.24	o 306
17.24/12.24	o 307
17.24/12.24	o 308
17.24/12.24	o 309
17.24/12.24	o 310
17.24/12.24	o 311
17.24/12.25	o 312
17.24/12.25	o 313
17.24/12.25	o 314
17.24/12.25	o 315
17.24/12.25	o 316
17.24/12.25	o 317
17.24/12.25	o 318
17.24/12.26	o 319
17.24/12.26	o 320
17.24/12.26	o 321
17.24/12.26	o 322
17.24/12.26	o 323
17.24/12.26	o 324
17.24/12.27	o 325
17.24/12.27	o 326
17.24/12.27	o 327
17.24/12.27	o 328
17.24/12.27	o 329
17.24/12.27	o 330
17.24/12.27	o 331
17.24/12.28	o 332
17.24/12.28	o 333
17.24/12.28	o 334
17.24/12.28	o 335
17.24/12.28	o 336
17.24/12.28	o 337
17.24/12.29	o 338
17.24/12.29	o 339
17.24/12.29	o 340
17.24/12.29	o 341
17.24/12.29	o 342
17.24/12.29	o 343
17.24/12.30	o 344
17.44/12.30	o 345
17.44/12.30	o 346
17.44/12.30	o 347
17.44/12.30	o 348
17.44/12.30	o 349
17.44/12.31	o 350
17.44/12.31	o 351
17.44/12.31	o 352
17.44/12.31	o 353
17.44/12.31	o 354
17.44/12.31	o 355
17.44/12.31	o 356
17.44/12.32	o 357
17.44/12.32	o 358
17.44/12.32	o 359
17.44/12.32	o 360
17.44/12.32	o 361
17.44/12.32	o 362
17.44/12.33	o 363
17.44/12.33	o 364
17.44/12.33	o 365
17.44/12.33	o 366
17.44/12.33	o 367
17.44/12.33	o 368
17.44/12.34	o 369
17.44/12.34	o 370
17.44/12.34	o 371
17.44/12.34	o 372
17.44/12.34	o 373
17.44/12.34	o 374
17.44/12.35	o 375
17.44/12.35	o 376
17.44/12.35	o 377
17.44/12.35	o 378
17.44/12.35	o 379
17.44/12.36	o 380
17.44/12.36	o 381
17.44/12.36	o 382
17.44/12.36	o 383
17.44/12.36	o 384
17.44/12.36	o 385
17.44/12.36	o 386
17.44/12.37	o 387
17.44/12.37	o 388
17.44/12.37	o 389
17.44/12.37	o 390
17.44/12.37	o 391
17.44/12.37	o 392
17.44/12.38	o 393
17.44/12.38	o 394
17.44/12.38	o 395
17.44/12.38	o 396
17.44/12.38	o 397
17.44/12.39	o 398
17.44/12.39	o 399
17.44/12.39	o 400
17.44/12.39	o 401
17.44/12.39	o 402
17.44/12.40	o 403
17.61/12.40	o 404
17.61/12.40	o 405
17.61/12.40	o 406
17.61/12.41	o 407
17.61/12.41	o 408
17.61/12.41	o 409
17.61/12.41	o 410
17.61/12.41	o 411
17.61/12.41	o 412
17.61/12.42	o 413
17.61/12.42	o 414
17.61/12.42	o 415
17.61/12.42	o 416
17.61/12.42	o 417
17.61/12.43	o 418
17.61/12.43	o 419
17.61/12.43	o 420
17.61/12.43	o 421
17.61/12.43	o 422
17.61/12.43	o 423
17.61/12.44	o 424
17.61/12.44	o 425
17.61/12.44	o 426
17.61/12.44	o 427
17.61/12.44	o 428
17.61/12.45	o 429
17.61/12.45	o 430
17.61/12.45	o 431
17.61/12.45	o 432
17.61/12.45	o 433
17.61/12.46	o 434
17.61/12.46	o 435
17.61/12.46	o 436
17.61/12.46	o 437
17.61/12.46	o 438
17.61/12.47	o 439
17.61/12.47	o 440
17.61/12.47	o 441
17.61/12.47	o 442
17.61/12.48	o 443
17.61/12.48	o 444
17.61/12.48	o 445
17.61/12.48	o 446
17.61/12.48	o 447
17.61/12.49	o 448
17.61/12.49	o 449
17.61/12.49	o 450
17.79/12.50	o 451
17.79/12.50	o 452
17.79/12.51	o 453
17.79/12.51	o 454
17.79/12.51	o 455
17.79/12.52	o 456
17.79/12.53	o 457
17.79/12.53	o 458
17.79/12.54	o 459
17.79/12.55	o 460
17.79/12.56	o 461
17.79/12.57	o 462
17.79/12.57	o 463
17.79/12.58	o 464
17.94/12.61	o 465
17.94/12.61	o 466
17.94/12.62	o 467
18.14/12.74	o 468
30.64/25.10	c First complete search done, starting ALNS search...
214.90/204.97	c ALNS done, starting second complete search
251.09/240.00	s SATISFIABLE
251.09/240.01	v <instantiation>
251.09/240.01	v 	<list>
251.09/240.01	v 		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[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[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[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[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[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[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[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[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[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[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] ws[34] ws[35] ws[36] ws[37] ws[38] z
251.09/240.01	v 	</list>
251.09/240.01	v 	<values>
251.09/240.01	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 1 1 0 0 0 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 1 1 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 1 1 1 2 2 2 2 2 1 2 1 1 2 2 2 2 2 2 1 1 2 1 1 2 2 2 1 1 2 0 1 0 2 2 1 1 2 0 0 0 0 1 2 2 2 1 0 1 0 0 1 1 1 2 1 1 1 1 0 0 0 0 0 2 1 1 0 0 1 0 2 0 1 1 0 0 0 2 0 0 1 2 2 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 2 1 1 2 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 2 1 1 0 0 0 0 0 1 1 0 0 0 0 2 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 2 1 1 2 0 0 0 0 1 0 2 2 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 0 2 2 2 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 2 1 1 1 0 0 2 2 2 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 1 0 1 1 2 0 0 2 0 0 2 0 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 2 1 1 2 1 1 0 1 0 2 2 2 1 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 2 2 2 2 1 1 0 0 1 1 2 2 2 1 0 0 1 2 0 2 0 1 0 0 0 0 2 1 1 0 0 0 1 0 0 1 0 0 2 2 2 1 1 2 0 1 0 0 0 0 2 2 2 0 0 1 2 2 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 2 0 0 0 1 2 1 0 0 0 2 0 2 0 2 0 2 2 1 2 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 2 1 1 0 1 0 1 0 2 0 2 1 0 1 1 2 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 1 0 1 0 0 0 2 0 0 0 0 0 1 1 0 0 2 1 1 0 0 0 1 0 0 0 0 0 0 2 0 2 1 1 0 0 2 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 2 1 1 2 0 0 0 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 1 2 1 1 2 1 1 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 1 0 0 0 1 2 0 2 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 2 2 0 0 1 0 1 0 1 1 2 2 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 0 1 2 2 2 2 0 1 0 0 0 1 0 1 0 1 0 1 1 2 1 1 0 0 1 1 0 0 0 0 2 0 2 1 0 0 0 1 0 0 1 2 1 1 2 2 1 0 0 1 0 1 0 1 0 2 0 2 2 2 0 0 0 1 1 0 0 0 0 0 1 2 2 1 1 1 0 1 0 1 1 1 0 1 2 1 1 0 0 0 0 0 0 0 0 2 2 2 1 1 0 1 1 1 0 0 0 0 0 1 0 1 2 1 1 1 1 1 2 2 0 0 1 1 0 0 1 0 0 0 0 0 1 2 2 2 1 0 0 1 0 2 2 0 0 0 1 0 0 0 1 0 1 0 1 1 1 2 1 0 0 1 0 1 0 0 0 1 0 0 0 1 2 2 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 1 1 0 0 1 2 1 0 1 1 0 0 1 0 0 0 2 2 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 2 2 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 2 2 0 0 0 0 0 1 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 2 1 0 0 2 0 0 0 1 0 0 2 2 1 2 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 1 2 2 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 2 0 0 1 1 0 0 1 2 0 2 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 2 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 1 1 0 1 1 2 2 2 2 1 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 1 0 2 0 1 1 0 1 1 0 0 0 1 1 2 0 1 0 2 2 2 2 2 2 0 1 1 0 2 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 37 113 189 262 315 344 364 381 399 416 436 458 482 513 539 564 588 605 625 636 645 665 681 694 721 753 779 805 824 841 857 870 885 902 916 933 954 990 1014 468 
251.09/240.01	v 	</values>
251.09/240.01	v </instantiation>

Verifier Data 

OK	468

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256834-1501625879/watcher-4256834-1501625879 -o /tmp/evaluation-result-4256834-1501625879/solver-4256834-1501625879 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501623086-29847 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 983984763 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256834-1501625879.xml 

pid=31257
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.22 1.51 1.62 4/200 31260
/proc/meminfo: memFree=31082536/32770624 swapFree=0/221928
[pid=31260] ppid=31257 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/31260/stat : 31260 (runsolver) D 31257 31260 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 62241394 24240128 106 18446744073709551615 4194304 4338465 140736499506080 140736499503720 139957523960535 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 14131200 140736499507306 140736499507781 140736499507781 140736499511242 0
/proc/31260/statm: 5918 106 53 36 0 2156 0

[startup+0.100058 s]
/proc/loadavg: 1.22 1.51 1.62 4/200 31260
/proc/meminfo: memFree=31082536/32770624 swapFree=0/221928
[pid=31260] ppid=31257 vsize=13356344 CPUtime=0 cores=0,2,4,6
/proc/31260/stat : 31260 (java) S 31257 31260 18930 0 -1 1077944320 2479 0 0 0 0 0 0 0 20 0 6 0 62241394 13676896256 2666 18446744073709551615 4194304 4196468 140737187925824 140737187908368 139764339740407 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
/proc/31260/statm: 3339086 2666 1202 1 0 3329064 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13356344

[startup+0.200254 s]
/proc/loadavg: 1.22 1.51 1.62 4/200 31260
/proc/meminfo: memFree=31082536/32770624 swapFree=0/221928
[pid=31260] ppid=31257 vsize=13973048 CPUtime=0.06 cores=0,2,4,6
/proc/31260/stat : 31260 (java) S 31257 31260 18930 0 -1 1077944320 5777 0 0 0 6 0 0 0 20 0 15 0 62241394 14308401152 5498 18446744073709551615 4194304 4196468 140737187925824 140737187908368 139764339740407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
/proc/31260/statm: 3493262 5498 2591 1 0 3482767 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13973048

[startup+0.300294 s]
/proc/loadavg: 1.22 1.51 1.62 4/200 31260
/proc/meminfo: memFree=31082536/32770624 swapFree=0/221928
[pid=31260] ppid=31257 vsize=13975920 CPUtime=0.23 cores=0,2,4,6
/proc/31260/stat : 31260 (java) S 31257 31260 18930 0 -1 1077944320 10030 0 0 0 21 2 0 0 20 0 15 0 62241394 14311342080 9734 18446744073709551615 4194304 4196468 140737187925824 140737187908368 139764339740407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
/proc/31260/statm: 3493980 9734 3481 1 0 3482767 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 13975920

[startup+0.701198 s]
/proc/loadavg: 1.22 1.51 1.62 4/200 31260
/proc/meminfo: memFree=31082536/32770624 swapFree=0/221928
[pid=31260] ppid=31257 vsize=13977988 CPUtime=1.04 cores=0,2,4,6
/proc/31260/stat : 31260 (java) S 31257 31260 18930 0 -1 1077944320 13830 0 0 0 99 5 0 0 20 0 15 0 62241394 14313459712 17180 18446744073709551615 4194304 4196468 140737187925824 140737187908368 139764339740407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
/proc/31260/statm: 3494497 17180 3722 1 0 3483279 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 13977988

[startup+1.50288 s]
/proc/loadavg: 1.28 1.52 1.63 5/215 31275
/proc/meminfo: memFree=30985188/32770624 swapFree=0/221936
[pid=31260] ppid=31257 vsize=13982084 CPUtime=3.54 cores=0,2,4,6
/proc/31260/stat : 31260 (java) S 31257 31260 18930 0 -1 1077944320 29647 0 0 0 344 10 0 0 20 0 15 0 62241394 14317654016 44141 18446744073709551615 4194304 4196468 140737187925824 140737187908368 139764339740407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
/proc/31260/statm: 3495521 44141 3758 1 0 3484303 0
[pid=31260/tid=31262] ppid=31257 vsize=13982084 CPUtime=1.35 cores=0,2,4,6
/proc/31260/task/31262/stat : 31262 (java) R 31257 31260 18930 0 -1 4202560 15577 0 0 0 129 6 0 0 20 0 15 0 62241403 14317654016 44141 18446744073709551615 4194304 4196468 140737187925824 139764343970680 139763957979631 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31263] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31263/stat : 31263 (java) S 31257 31260 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62241404 14317654016 44141 18446744073709551615 4194304 4196468 140737187925824 139764281686672 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31264] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31264/stat : 31264 (java) S 31257 31260 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62241404 14317654016 44141 18446744073709551615 4194304 4196468 140737187925824 139764280633872 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31265] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31265/stat : 31265 (java) S 31257 31260 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62241404 14317654016 44141 18446744073709551615 4194304 4196468 140737187925824 139764279581072 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31266] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31266/stat : 31266 (java) S 31257 31260 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62241404 14317654016 44141 18446744073709551615 4194304 4196468 140737187925824 139764278528272 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31267] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31267/stat : 31267 (java) S 31257 31260 18930 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 15 0 62241405 14317654016 44141 18446744073709551615 4194304 4196468 140737187925824 139763885661040 139764339751554 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31268] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31268/stat : 31268 (java) S 31257 31260 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62241405 14317654016 44141 18446744073709551615 4194304 4196468 140737187925824 139763884607008 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31269] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31269/stat : 31269 (java) S 31257 31260 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62241406 14317654016 44141 18446744073709551615 4194304 4196468 140737187925824 139763883554160 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31270] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31270/stat : 31270 (java) S 31257 31260 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62241408 14317654016 44141 18446744073709551615 4194304 4196468 140737187925824 139763882502480 139764339759003 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31271] ppid=31257 vsize=13982084 CPUtime=0.77 cores=0,2,4,6
/proc/31260/task/31271/stat : 31271 (java) R 31257 31260 18930 0 -1 4202560 3384 0 0 0 76 1 0 0 20 0 15 0 62241408 14317654016 44141 18446744073709551615 4194304 4196468 140737187925824 139763881441296 139764323202768 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31272] ppid=31257 vsize=13982084 CPUtime=0.66 cores=0,2,4,6
/proc/31260/task/31272/stat : 31272 (java) R 31257 31260 18930 0 -1 4202560 3094 0 0 0 66 0 0 0 20 0 15 0 62241408 14317654016 44141 18446744073709551615 4194304 4196468 140737187925824 139763880385712 139764323237191 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31273] ppid=31257 vsize=13982084 CPUtime=0.74 cores=0,2,4,6
/proc/31260/task/31273/stat : 31273 (java) S 31257 31260 18930 0 -1 1077944384 5808 0 0 0 72 2 0 0 20 0 15 0 62241408 14317654016 44141 18446744073709551615 4194304 4196468 140737187925824 139763879344240 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31274] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31274/stat : 31274 (java) S 31257 31260 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62241408 14317654016 44141 18446744073709551615 4194304 4196468 140737187925824 139763878291680 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31275] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31275/stat : 31275 (java) S 31257 31260 18930 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 62241413 14317654016 44141 18446744073709551615 4194304 4196468 140737187925824 139763877239984 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 13982084

[startup+3.10066 s]
/proc/loadavg: 1.28 1.52 1.63 6/215 31275
/proc/meminfo: memFree=30686780/32770624 swapFree=0/221936
[pid=31260] ppid=31257 vsize=13982084 CPUtime=6.87 cores=0,2,4,6
/proc/31260/stat : 31260 (java) S 31257 31260 18930 0 -1 1077944320 33689 0 0 0 661 26 0 0 20 0 15 0 62241394 14317654016 109477 18446744073709551615 4194304 4196468 140737187925824 140737187908368 139764339740407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
/proc/31260/statm: 3495521 109477 3792 1 0 3484303 0
[pid=31260/tid=31262] ppid=31257 vsize=13982084 CPUtime=2.83 cores=0,2,4,6
/proc/31260/task/31262/stat : 31262 (java) R 31257 31260 18930 0 -1 4202560 16134 0 0 0 275 8 0 0 20 0 15 0 62241403 14317654016 109477 18446744073709551615 4194304 4196468 140737187925824 139764343977768 139763965714048 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31263] ppid=31257 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/31260/task/31263/stat : 31263 (java) S 31257 31260 18930 0 -1 1077944384 137 0 0 0 5 3 0 0 20 0 15 0 62241404 14317654016 109477 18446744073709551615 4194304 4196468 140737187925824 139764281686672 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31264] ppid=31257 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/31260/task/31264/stat : 31264 (java) S 31257 31260 18930 0 -1 1077944384 412 0 0 0 5 3 0 0 20 0 15 0 62241404 14317654016 109477 18446744073709551615 4194304 4196468 140737187925824 139764280633872 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31265] ppid=31257 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/31260/task/31265/stat : 31265 (java) S 31257 31260 18930 0 -1 1077944384 112 0 0 0 4 2 0 0 20 0 15 0 62241404 14317654016 109477 18446744073709551615 4194304 4196468 140737187925824 139764279581072 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31266] ppid=31257 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/31260/task/31266/stat : 31266 (java) S 31257 31260 18930 0 -1 1077944384 318 0 0 0 5 3 0 0 20 0 15 0 62241404 14317654016 109477 18446744073709551615 4194304 4196468 140737187925824 139764278528272 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31267] ppid=31257 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/31260/task/31267/stat : 31267 (java) S 31257 31260 18930 0 -1 1077944384 708 0 0 0 1 0 0 0 20 0 15 0 62241405 14317654016 109477 18446744073709551615 4194304 4196468 140737187925824 139763885661040 139764339751554 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31268] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31268/stat : 31268 (java) S 31257 31260 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 62241405 14317654016 109477 18446744073709551615 4194304 4196468 140737187925824 139763884607072 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31269] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31269/stat : 31269 (java) S 31257 31260 18930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 62241406 14317654016 109477 18446744073709551615 4194304 4196468 140737187925824 139763883554176 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31270] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31270/stat : 31270 (java) S 31257 31260 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62241408 14317654016 109477 18446744073709551615 4194304 4196468 140737187925824 139763882502480 139764339759003 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31271] ppid=31257 vsize=13982084 CPUtime=1.46 cores=0,2,4,6
/proc/31260/task/31271/stat : 31271 (java) S 31257 31260 18930 0 -1 1077944384 4307 0 0 0 145 1 0 0 20 0 15 0 62241408 14317654016 109477 18446744073709551615 4194304 4196468 140737187925824 139763881449840 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31272] ppid=31257 vsize=13982084 CPUtime=1.33 cores=0,2,4,6
/proc/31260/task/31272/stat : 31272 (java) R 31257 31260 18930 0 -1 4202560 3571 0 0 0 133 0 0 0 20 0 15 0 62241408 14317654016 109477 18446744073709551615 4194304 4196468 140737187925824 139763880397040 139764323985939 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31273] ppid=31257 vsize=13982084 CPUtime=0.85 cores=0,2,4,6
/proc/31260/task/31273/stat : 31273 (java) S 31257 31260 18930 0 -1 1077944384 6559 0 0 0 83 2 0 0 20 0 15 0 62241408 14317654016 109477 18446744073709551615 4194304 4196468 140737187925824 139763879344240 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31274] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31274/stat : 31274 (java) S 31257 31260 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62241408 14317654016 109477 18446744073709551615 4194304 4196468 140737187925824 139763878291680 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31275] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31275/stat : 31275 (java) S 31257 31260 18930 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 62241413 14317654016 109477 18446744073709551615 4194304 4196468 140737187925824 139763877239984 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 13982084

[startup+6.30074 s]
/proc/loadavg: 1.28 1.52 1.63 4/215 31355
/proc/meminfo: memFree=31129584/32770624 swapFree=0/221976
[pid=31260] ppid=31257 vsize=13982084 CPUtime=10.74 cores=0,2,4,6
/proc/31260/stat : 31260 (java) S 31257 31260 18930 0 -1 1077944320 35334 0 0 0 1039 35 0 0 20 0 15 0 62241394 14317654016 179274 18446744073709551615 4194304 4196468 140737187925824 140737187908368 139764339740407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
/proc/31260/statm: 3495521 179274 3803 1 0 3484303 0
[pid=31260/tid=31262] ppid=31257 vsize=13982084 CPUtime=5.99 cores=0,2,4,6
/proc/31260/task/31262/stat : 31262 (java) R 31257 31260 18930 0 -1 4202560 16803 0 0 0 588 11 0 0 20 0 15 0 62241403 14317654016 179274 18446744073709551615 4194304 4196468 140737187925824 139764343978336 139763966687804 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31263] ppid=31257 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/31260/task/31263/stat : 31263 (java) S 31257 31260 18930 0 -1 1077944384 206 0 0 0 8 4 0 0 20 0 15 0 62241404 14317654016 179274 18446744073709551615 4194304 4196468 140737187925824 139764281686672 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31264] ppid=31257 vsize=13982084 CPUtime=0.13 cores=0,2,4,6
/proc/31260/task/31264/stat : 31264 (java) S 31257 31260 18930 0 -1 1077944384 511 0 0 0 9 4 0 0 20 0 15 0 62241404 14317654016 179274 18446744073709551615 4194304 4196468 140737187925824 139764280633872 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31265] ppid=31257 vsize=13982084 CPUtime=0.11 cores=0,2,4,6
/proc/31260/task/31265/stat : 31265 (java) S 31257 31260 18930 0 -1 1077944384 148 0 0 0 7 4 0 0 20 0 15 0 62241404 14317654016 179274 18446744073709551615 4194304 4196468 140737187925824 139764279581072 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31266] ppid=31257 vsize=13982084 CPUtime=0.13 cores=0,2,4,6
/proc/31260/task/31266/stat : 31266 (java) S 31257 31260 18930 0 -1 1077944384 382 0 0 0 8 5 0 0 20 0 15 0 62241404 14317654016 179274 18446744073709551615 4194304 4196468 140737187925824 139764278528272 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31267] ppid=31257 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/31260/task/31267/stat : 31267 (java) S 31257 31260 18930 0 -1 1077944384 1000 0 0 0 1 0 0 0 20 0 15 0 62241405 14317654016 179274 18446744073709551615 4194304 4196468 140737187925824 139763885661040 139764339751554 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31268] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31268/stat : 31268 (java) S 31257 31260 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 62241405 14317654016 179274 18446744073709551615 4194304 4196468 140737187925824 139763884607072 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31269] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31269/stat : 31269 (java) S 31257 31260 18930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 62241406 14317654016 179274 18446744073709551615 4194304 4196468 140737187925824 139763883554176 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31270] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31270/stat : 31270 (java) S 31257 31260 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62241408 14317654016 179274 18446744073709551615 4194304 4196468 140737187925824 139763882502480 139764339759003 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31271] ppid=31257 vsize=13982084 CPUtime=1.64 cores=0,2,4,6
/proc/31260/task/31271/stat : 31271 (java) S 31257 31260 18930 0 -1 1077944384 4342 0 0 0 163 1 0 0 20 0 15 0 62241408 14317654016 179274 18446744073709551615 4194304 4196468 140737187925824 139763881449840 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31272] ppid=31257 vsize=13982084 CPUtime=1.66 cores=0,2,4,6
/proc/31260/task/31272/stat : 31272 (java) S 31257 31260 18930 0 -1 1077944384 3928 0 0 0 166 0 0 0 20 0 15 0 62241408 14317654016 179274 18446744073709551615 4194304 4196468 140737187925824 139763880397040 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31273] ppid=31257 vsize=13982084 CPUtime=0.86 cores=0,2,4,6
/proc/31260/task/31273/stat : 31273 (java) S 31257 31260 18930 0 -1 1077944384 6574 0 0 0 84 2 0 0 20 0 15 0 62241408 14317654016 179274 18446744073709551615 4194304 4196468 140737187925824 139763879344240 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31274] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31274/stat : 31274 (java) S 31257 31260 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62241408 14317654016 179274 18446744073709551615 4194304 4196468 140737187925824 139763878291680 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31275] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31275/stat : 31275 (java) S 31257 31260 18930 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 62241413 14317654016 179274 18446744073709551615 4194304 4196468 140737187925824 139763877239984 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
Current children cumulated CPU time (s) 10.74
Current children cumulated vsize (KiB) 13982084

[startup+12.7007 s]
/proc/loadavg: 1.39 1.54 1.63 5/215 31355
/proc/meminfo: memFree=30339412/32770624 swapFree=0/221988
[pid=31260] ppid=31257 vsize=13982084 CPUtime=18.14 cores=0,2,4,6
/proc/31260/stat : 31260 (java) S 31257 31260 18930 0 -1 1077944320 45040 0 0 0 1775 39 0 0 20 0 15 0 62241394 14317654016 185345 18446744073709551615 4194304 4196468 140737187925824 140737187908368 139764339740407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
/proc/31260/statm: 3495521 185345 3805 1 0 3484303 0
[pid=31260/tid=31262] ppid=31257 vsize=13982084 CPUtime=12.36 cores=0,2,4,6
/proc/31260/task/31262/stat : 31262 (java) R 31257 31260 18930 0 -1 4202560 19611 0 0 0 1225 11 0 0 20 0 15 0 62241403 14317654016 185345 18446744073709551615 4194304 4196468 140737187925824 139764343978320 139763967841855 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31263] ppid=31257 vsize=13982084 CPUtime=0.14 cores=0,2,4,6
/proc/31260/task/31263/stat : 31263 (java) S 31257 31260 18930 0 -1 1077944384 214 0 0 0 9 5 0 0 20 0 15 0 62241404 14317654016 185345 18446744073709551615 4194304 4196468 140737187925824 139764281686672 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31264] ppid=31257 vsize=13982084 CPUtime=0.15 cores=0,2,4,6
/proc/31260/task/31264/stat : 31264 (java) S 31257 31260 18930 0 -1 1077944384 522 0 0 0 10 5 0 0 20 0 15 0 62241404 14317654016 185345 18446744073709551615 4194304 4196468 140737187925824 139764280633872 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31265] ppid=31257 vsize=13982084 CPUtime=0.13 cores=0,2,4,6
/proc/31260/task/31265/stat : 31265 (java) S 31257 31260 18930 0 -1 1077944384 156 0 0 0 8 5 0 0 20 0 15 0 62241404 14317654016 185345 18446744073709551615 4194304 4196468 140737187925824 139764279581072 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31266] ppid=31257 vsize=13982084 CPUtime=0.14 cores=0,2,4,6
/proc/31260/task/31266/stat : 31266 (java) S 31257 31260 18930 0 -1 1077944384 393 0 0 0 9 5 0 0 20 0 15 0 62241404 14317654016 185345 18446744073709551615 4194304 4196468 140737187925824 139764278528272 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31267] ppid=31257 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/31260/task/31267/stat : 31267 (java) S 31257 31260 18930 0 -1 1077944384 1004 0 0 0 1 0 0 0 20 0 15 0 62241405 14317654016 185345 18446744073709551615 4194304 4196468 140737187925824 139763885661040 139764339751554 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31268] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31268/stat : 31268 (java) S 31257 31260 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 62241405 14317654016 185345 18446744073709551615 4194304 4196468 140737187925824 139763884607072 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31269] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31269/stat : 31269 (java) S 31257 31260 18930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 62241406 14317654016 185345 18446744073709551615 4194304 4196468 140737187925824 139763883554176 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31270] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31270/stat : 31270 (java) S 31257 31260 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62241408 14317654016 185345 18446744073709551615 4194304 4196468 140737187925824 139763882502480 139764339759003 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0

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

/proc/31260/task/31274/stat : 31274 (java) S 31257 31260 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62241408 14317654016 590878 18446744073709551615 4194304 4196468 140737187925824 139763878291680 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31275] ppid=31257 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/31260/task/31275/stat : 31275 (java) S 31257 31260 18930 0 -1 1077944384 90 0 0 0 0 1 0 0 20 0 15 0 62241413 14317654016 590878 18446744073709551615 4194304 4196468 140737187925824 139763877239984 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
Current children cumulated CPU time (s) 58.38
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.28 1.49 1.61 3/213 31358
/proc/meminfo: memFree=27642516/32770624 swapFree=0/222048
[pid=31260] ppid=31257 vsize=13982084 CPUtime=110.16 cores=0,2,4,6
/proc/31260/stat : 31260 (java) S 31257 31260 18930 0 -1 1077944320 65713 0 0 0 10898 118 0 0 20 0 15 0 62241394 14317654016 912593 18446744073709551615 4194304 4196468 140737187925824 140737187908368 139764339740407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
/proc/31260/statm: 3495521 912593 3810 1 0 3484303 0
[pid=31260/tid=31262] ppid=31257 vsize=13982084 CPUtime=101.69 cores=0,2,4,6
/proc/31260/task/31262/stat : 31262 (java) R 31257 31260 18930 0 -1 4202560 28817 0 0 0 10114 55 0 0 20 0 15 0 62241403 14317654016 912593 18446744073709551615 4194304 4196468 140737187925824 139764343978128 139763966687804 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31263] ppid=31257 vsize=13982084 CPUtime=0.38 cores=0,2,4,6
/proc/31260/task/31263/stat : 31263 (java) S 31257 31260 18930 0 -1 1077944384 438 0 0 0 25 13 0 0 20 0 15 0 62241404 14317654016 912593 18446744073709551615 4194304 4196468 140737187925824 139764281686672 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31264] ppid=31257 vsize=13982084 CPUtime=0.39 cores=0,2,4,6
/proc/31260/task/31264/stat : 31264 (java) S 31257 31260 18930 0 -1 1077944384 1134 0 0 0 26 13 0 0 20 0 15 0 62241404 14317654016 912593 18446744073709551615 4194304 4196468 140737187925824 139764280633872 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31265] ppid=31257 vsize=13982084 CPUtime=0.36 cores=0,2,4,6
/proc/31260/task/31265/stat : 31265 (java) S 31257 31260 18930 0 -1 1077944384 804 0 0 0 24 12 0 0 20 0 15 0 62241404 14317654016 912593 18446744073709551615 4194304 4196468 140737187925824 139764279581072 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31266] ppid=31257 vsize=13982084 CPUtime=0.38 cores=0,2,4,6
/proc/31260/task/31266/stat : 31266 (java) S 31257 31260 18930 0 -1 1077944384 643 0 0 0 25 13 0 0 20 0 15 0 62241404 14317654016 912593 18446744073709551615 4194304 4196468 140737187925824 139764278528272 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31267] ppid=31257 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/31260/task/31267/stat : 31267 (java) S 31257 31260 18930 0 -1 1077944384 2624 0 0 0 3 1 0 0 20 0 15 0 62241405 14317654016 912593 18446744073709551615 4194304 4196468 140737187925824 139763885661040 139764339751554 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31268] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31268/stat : 31268 (java) S 31257 31260 18930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 62241405 14317654016 912593 18446744073709551615 4194304 4196468 140737187925824 139763884607072 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31269] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31269/stat : 31269 (java) S 31257 31260 18930 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 62241406 14317654016 912593 18446744073709551615 4194304 4196468 140737187925824 139763883554176 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31270] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31270/stat : 31270 (java) S 31257 31260 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62241408 14317654016 912593 18446744073709551615 4194304 4196468 140737187925824 139763882502480 139764339759003 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31271] ppid=31257 vsize=13982084 CPUtime=2.78 cores=0,2,4,6
/proc/31260/task/31271/stat : 31271 (java) S 31257 31260 18930 0 -1 1077944384 8941 0 0 0 277 1 0 0 20 0 15 0 62241408 14317654016 912593 18446744073709551615 4194304 4196468 140737187925824 139763881449840 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31272] ppid=31257 vsize=13982084 CPUtime=2.85 cores=0,2,4,6
/proc/31260/task/31272/stat : 31272 (java) S 31257 31260 18930 0 -1 1077944384 8258 0 0 0 284 1 0 0 20 0 15 0 62241408 14317654016 912593 18446744073709551615 4194304 4196468 140737187925824 139763880397040 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31273] ppid=31257 vsize=13982084 CPUtime=1.15 cores=0,2,4,6
/proc/31260/task/31273/stat : 31273 (java) S 31257 31260 18930 0 -1 1077944384 12530 0 0 0 112 3 0 0 20 0 15 0 62241408 14317654016 912593 18446744073709551615 4194304 4196468 140737187925824 139763879344240 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31274] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31274/stat : 31274 (java) S 31257 31260 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62241408 14317654016 912593 18446744073709551615 4194304 4196468 140737187925824 139763878291680 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31275] ppid=31257 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/31260/task/31275/stat : 31275 (java) S 31257 31260 18930 0 -1 1077944384 90 0 0 0 2 2 0 0 20 0 15 0 62241413 14317654016 912593 18446744073709551615 4194304 4196468 140737187925824 139763877239984 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
Current children cumulated CPU time (s) 110.16
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.58 1.55 1.62 3/213 31361
/proc/meminfo: memFree=28245328/32770624 swapFree=0/222068
[pid=31260] ppid=31257 vsize=13982084 CPUtime=171.13 cores=0,2,4,6
/proc/31260/stat : 31260 (java) S 31257 31260 18930 0 -1 1077944320 73952 0 0 0 16992 121 0 0 20 0 15 0 62241394 14317654016 784280 18446744073709551615 4194304 4196468 140737187925824 140737187908368 139764339740407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
/proc/31260/statm: 3495521 784280 3810 1 0 3484303 0
[pid=31260/tid=31262] ppid=31257 vsize=13982084 CPUtime=161.32 cores=0,2,4,6
/proc/31260/task/31262/stat : 31262 (java) R 31257 31260 18930 0 -1 4202560 32216 0 0 0 16076 56 0 0 20 0 15 0 62241403 14317654016 784280 18446744073709551615 4194304 4196468 140737187925824 139764343977952 139763968543127 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31263] ppid=31257 vsize=13982084 CPUtime=0.69 cores=0,2,4,6
/proc/31260/task/31263/stat : 31263 (java) S 31257 31260 18930 0 -1 1077944384 592 0 0 0 55 14 0 0 20 0 15 0 62241404 14317654016 784280 18446744073709551615 4194304 4196468 140737187925824 139764281686672 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31264] ppid=31257 vsize=13982084 CPUtime=0.69 cores=0,2,4,6
/proc/31260/task/31264/stat : 31264 (java) S 31257 31260 18930 0 -1 1077944384 1322 0 0 0 56 13 0 0 20 0 15 0 62241404 14317654016 784280 18446744073709551615 4194304 4196468 140737187925824 139764280633872 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31265] ppid=31257 vsize=13982084 CPUtime=0.68 cores=0,2,4,6
/proc/31260/task/31265/stat : 31265 (java) S 31257 31260 18930 0 -1 1077944384 1101 0 0 0 55 13 0 0 20 0 15 0 62241404 14317654016 784280 18446744073709551615 4194304 4196468 140737187925824 139764279581072 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31266] ppid=31257 vsize=13982084 CPUtime=0.69 cores=0,2,4,6
/proc/31260/task/31266/stat : 31266 (java) S 31257 31260 18930 0 -1 1077944384 1438 0 0 0 56 13 0 0 20 0 15 0 62241404 14317654016 784280 18446744073709551615 4194304 4196468 140737187925824 139764278528272 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31267] ppid=31257 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/31260/task/31267/stat : 31267 (java) S 31257 31260 18930 0 -1 1077944384 2860 0 0 0 5 1 0 0 20 0 15 0 62241405 14317654016 784280 18446744073709551615 4194304 4196468 140737187925824 139763885661040 139764339751554 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31268] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31268/stat : 31268 (java) S 31257 31260 18930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 62241405 14317654016 784280 18446744073709551615 4194304 4196468 140737187925824 139763884607072 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31269] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31269/stat : 31269 (java) S 31257 31260 18930 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 62241406 14317654016 784280 18446744073709551615 4194304 4196468 140737187925824 139763883554176 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31270] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31270/stat : 31270 (java) S 31257 31260 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62241408 14317654016 784280 18446744073709551615 4194304 4196468 140737187925824 139763882502480 139764339759003 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31271] ppid=31257 vsize=13982084 CPUtime=2.8 cores=0,2,4,6
/proc/31260/task/31271/stat : 31271 (java) S 31257 31260 18930 0 -1 1077944384 11103 0 0 0 279 1 0 0 20 0 15 0 62241408 14317654016 784280 18446744073709551615 4194304 4196468 140737187925824 139763881449840 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31272] ppid=31257 vsize=13982084 CPUtime=2.86 cores=0,2,4,6
/proc/31260/task/31272/stat : 31272 (java) S 31257 31260 18930 0 -1 1077944384 9243 0 0 0 285 1 0 0 20 0 15 0 62241408 14317654016 784280 18446744073709551615 4194304 4196468 140737187925824 139763880397040 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31273] ppid=31257 vsize=13982084 CPUtime=1.15 cores=0,2,4,6
/proc/31260/task/31273/stat : 31273 (java) S 31257 31260 18930 0 -1 1077944384 12532 0 0 0 112 3 0 0 20 0 15 0 62241408 14317654016 784280 18446744073709551615 4194304 4196468 140737187925824 139763879344240 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31274] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31274/stat : 31274 (java) S 31257 31260 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62241408 14317654016 784280 18446744073709551615 4194304 4196468 140737187925824 139763878291680 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31275] ppid=31257 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/31260/task/31275/stat : 31275 (java) S 31257 31260 18930 0 -1 1077944384 111 0 0 0 4 4 0 0 20 0 15 0 62241413 14317654016 784280 18446744073709551615 4194304 4196468 140737187925824 139763877239984 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
Current children cumulated CPU time (s) 171.13
Current children cumulated vsize (KiB) 13982084

[startup+222.307 s]
/proc/loadavg: 1.42 1.49 1.59 3/213 31442
/proc/meminfo: memFree=27452064/32770624 swapFree=0/222148
[pid=31260] ppid=31257 vsize=13982084 CPUtime=232.92 cores=0,2,4,6
/proc/31260/stat : 31260 (java) S 31257 31260 18930 0 -1 1077944320 88907 0 0 0 23154 138 0 0 20 0 15 0 62241394 14317654016 774795 18446744073709551615 4194304 4196468 140737187925824 140737187908368 139764339740407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
/proc/31260/statm: 3495521 774795 3810 1 0 3484303 0
[pid=31260/tid=31262] ppid=31257 vsize=13982084 CPUtime=220.72 cores=0,2,4,6
/proc/31260/task/31262/stat : 31262 (java) R 31257 31260 18930 0 -1 4202560 37266 0 0 0 22016 56 0 0 20 0 15 0 62241403 14317654016 774795 18446744073709551615 4194304 4196468 140737187925824 139764343978512 139763968562848 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31263] ppid=31257 vsize=13982084 CPUtime=1.22 cores=0,2,4,6
/proc/31260/task/31263/stat : 31263 (java) S 31257 31260 18930 0 -1 1077944384 974 0 0 0 105 17 0 0 20 0 15 0 62241404 14317654016 774795 18446744073709551615 4194304 4196468 140737187925824 139764281686672 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31264] ppid=31257 vsize=13982084 CPUtime=1.23 cores=0,2,4,6
/proc/31260/task/31264/stat : 31264 (java) S 31257 31260 18930 0 -1 1077944384 2267 0 0 0 106 17 0 0 20 0 15 0 62241404 14317654016 774795 18446744073709551615 4194304 4196468 140737187925824 139764280633872 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31265] ppid=31257 vsize=13982084 CPUtime=1.21 cores=0,2,4,6
/proc/31260/task/31265/stat : 31265 (java) S 31257 31260 18930 0 -1 1077944384 2243 0 0 0 105 16 0 0 20 0 15 0 62241404 14317654016 774795 18446744073709551615 4194304 4196468 140737187925824 139764279581072 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31266] ppid=31257 vsize=13982084 CPUtime=1.23 cores=0,2,4,6
/proc/31260/task/31266/stat : 31266 (java) S 31257 31260 18930 0 -1 1077944384 1850 0 0 0 106 17 0 0 20 0 15 0 62241404 14317654016 774795 18446744073709551615 4194304 4196468 140737187925824 139764278528272 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31267] ppid=31257 vsize=13982084 CPUtime=0.11 cores=0,2,4,6
/proc/31260/task/31267/stat : 31267 (java) S 31257 31260 18930 0 -1 1077944384 3331 0 0 0 9 2 0 0 20 0 15 0 62241405 14317654016 774795 18446744073709551615 4194304 4196468 140737187925824 139763885661040 139764339751554 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31268] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31268/stat : 31268 (java) S 31257 31260 18930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 62241405 14317654016 774795 18446744073709551615 4194304 4196468 140737187925824 139763884607072 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31269] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31269/stat : 31269 (java) S 31257 31260 18930 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 62241406 14317654016 774795 18446744073709551615 4194304 4196468 140737187925824 139763883554176 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31270] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31270/stat : 31270 (java) S 31257 31260 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62241408 14317654016 774795 18446744073709551615 4194304 4196468 140737187925824 139763882502480 139764339759003 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31271] ppid=31257 vsize=13982084 CPUtime=2.89 cores=0,2,4,6
/proc/31260/task/31271/stat : 31271 (java) S 31257 31260 18930 0 -1 1077944384 12940 0 0 0 287 2 0 0 20 0 15 0 62241408 14317654016 774795 18446744073709551615 4194304 4196468 140737187925824 139763881449840 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31272] ppid=31257 vsize=13982084 CPUtime=2.95 cores=0,2,4,6
/proc/31260/task/31272/stat : 31272 (java) S 31257 31260 18930 0 -1 1077944384 11907 0 0 0 293 2 0 0 20 0 15 0 62241408 14317654016 774795 18446744073709551615 4194304 4196468 140737187925824 139763880397040 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31273] ppid=31257 vsize=13982084 CPUtime=1.16 cores=0,2,4,6
/proc/31260/task/31273/stat : 31273 (java) S 31257 31260 18930 0 -1 1077944384 14525 0 0 0 113 3 0 0 20 0 15 0 62241408 14317654016 774795 18446744073709551615 4194304 4196468 140737187925824 139763879344240 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31274] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31274/stat : 31274 (java) S 31257 31260 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62241408 14317654016 774795 18446744073709551615 4194304 4196468 140737187925824 139763878291680 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31275] ppid=31257 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/31260/task/31275/stat : 31275 (java) S 31257 31260 18930 0 -1 1077944384 170 0 0 0 6 6 0 0 20 0 15 0 62241413 14317654016 774795 18446744073709551615 4194304 4196468 140737187925824 139763877239984 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
Current children cumulated CPU time (s) 232.92
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.47 1.50 1.59 3/214 31443
/proc/meminfo: memFree=26453236/32770624 swapFree=0/222164
[pid=31260] ppid=31257 vsize=13982084 CPUtime=251.09 cores=0,2,4,6
/proc/31260/stat : 31260 (java) S 31257 31260 18930 0 -1 1077944320 91057 0 0 0 24965 144 0 0 20 0 15 0 62241394 14317654016 772603 18446744073709551615 4194304 4196468 140737187925824 140737187908368 139764339740407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
/proc/31260/statm: 3495521 772603 3810 1 0 3484303 0
[pid=31260/tid=31262] ppid=31257 vsize=13982084 CPUtime=238.23 cores=0,2,4,6
/proc/31260/task/31262/stat : 31262 (java) R 31257 31260 18930 0 -1 4202560 38276 0 0 0 23767 56 0 0 20 0 15 0 62241403 14317654016 772603 18446744073709551615 4194304 4196468 140737187925824 139764343978560 139763969519652 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31263] ppid=31257 vsize=13982084 CPUtime=1.38 cores=0,2,4,6
/proc/31260/task/31263/stat : 31263 (java) S 31257 31260 18930 0 -1 1077944384 1118 0 0 0 120 18 0 0 20 0 15 0 62241404 14317654016 772603 18446744073709551615 4194304 4196468 140737187925824 139764281686672 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31264] ppid=31257 vsize=13982084 CPUtime=1.39 cores=0,2,4,6
/proc/31260/task/31264/stat : 31264 (java) S 31257 31260 18930 0 -1 1077944384 2429 0 0 0 121 18 0 0 20 0 15 0 62241404 14317654016 772603 18446744073709551615 4194304 4196468 140737187925824 139764280633872 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31265] ppid=31257 vsize=13982084 CPUtime=1.37 cores=0,2,4,6
/proc/31260/task/31265/stat : 31265 (java) S 31257 31260 18930 0 -1 1077944384 2881 0 0 0 120 17 0 0 20 0 15 0 62241404 14317654016 772603 18446744073709551615 4194304 4196468 140737187925824 139764279581072 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31266] ppid=31257 vsize=13982084 CPUtime=1.38 cores=0,2,4,6
/proc/31260/task/31266/stat : 31266 (java) S 31257 31260 18930 0 -1 1077944384 2016 0 0 0 120 18 0 0 20 0 15 0 62241404 14317654016 772603 18446744073709551615 4194304 4196468 140737187925824 139764278528272 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31267] ppid=31257 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/31260/task/31267/stat : 31267 (java) S 31257 31260 18930 0 -1 1077944384 3353 0 0 0 10 2 0 0 20 0 15 0 62241405 14317654016 772603 18446744073709551615 4194304 4196468 140737187925824 139763885661040 139764339751554 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31268] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31268/stat : 31268 (java) S 31257 31260 18930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 62241405 14317654016 772603 18446744073709551615 4194304 4196468 140737187925824 139763884607072 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31269] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31269/stat : 31269 (java) S 31257 31260 18930 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 62241406 14317654016 772603 18446744073709551615 4194304 4196468 140737187925824 139763883554176 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31270] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31270/stat : 31270 (java) S 31257 31260 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62241408 14317654016 772603 18446744073709551615 4194304 4196468 140737187925824 139763882502480 139764339759003 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31271] ppid=31257 vsize=13982084 CPUtime=2.89 cores=0,2,4,6
/proc/31260/task/31271/stat : 31271 (java) S 31257 31260 18930 0 -1 1077944384 12942 0 0 0 287 2 0 0 20 0 15 0 62241408 14317654016 772603 18446744073709551615 4194304 4196468 140737187925824 139763881449840 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31272] ppid=31257 vsize=13982084 CPUtime=2.95 cores=0,2,4,6
/proc/31260/task/31272/stat : 31272 (java) S 31257 31260 18930 0 -1 1077944384 11909 0 0 0 293 2 0 0 20 0 15 0 62241408 14317654016 772603 18446744073709551615 4194304 4196468 140737187925824 139763880397040 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31273] ppid=31257 vsize=13982084 CPUtime=1.16 cores=0,2,4,6
/proc/31260/task/31273/stat : 31273 (java) S 31257 31260 18930 0 -1 1077944384 14527 0 0 0 113 3 0 0 20 0 15 0 62241408 14317654016 772603 18446744073709551615 4194304 4196468 140737187925824 139763879344240 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31274] ppid=31257 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/31260/task/31274/stat : 31274 (java) S 31257 31260 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62241408 14317654016 772603 18446744073709551615 4194304 4196468 140737187925824 139763878291680 139764339750613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
[pid=31260/tid=31275] ppid=31257 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/31260/task/31275/stat : 31275 (java) S 31257 31260 18930 0 -1 1077944384 172 0 0 0 6 6 0 0 20 0 15 0 62241413 14317654016 772603 18446744073709551615 4194304 4196468 140737187925824 139763877239984 139764339751554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6537216 140737187930517 140737187930698 140737187930698 140737187934159 0
Current children cumulated CPU time (s) 251.09
Current children cumulated vsize (KiB) 13982084

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

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

Child status: 143
Real time (s): 240.038
CPU time (s): 251.139
CPU user time (s): 249.681
CPU system time (s): 1.45833
CPU usage (%): 104.625
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.681
system time used= 1.45833
maximum resident set size= 3857744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92223
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12239
involuntary context switches= 548

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.135 second user time and 1.4849 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-02 00:03:41
IDJOB=4256834
IDBENCH=115896
IDSOLVER=2640
FILE ID=node132/4256834-1501625879
RUNJOBID= node132-1501623086-29847
PBS_JOBID= 
Free space on /tmp= 61836 MiB

SOLVER NAME= OscaR - Hybrid 2017-07-26
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-37.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4256834-1501625879/watcher-4256834-1501625879 -o /tmp/evaluation-result-4256834-1501625879/solver-4256834-1501625879 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501623086-29847 --watchdog 300  java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 983984763 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256834-1501625879.xml

TIME LIMIT= 264 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877
RANDOM SEED=983984763

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31083744 kB
MemAvailable:   31310748 kB
Buffers:          124652 kB
Cached:           400076 kB
SwapCached:            0 kB
Active:          1030264 kB
Inactive:         246372 kB
Active(anon):     752764 kB
Inactive(anon):    24444 kB
Active(file):     277500 kB
Inactive(file):   221928 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42160 kB
Writeback:             0 kB
AnonPages:        751560 kB
Mapped:            53052 kB
Shmem:             25276 kB
Slab:             112136 kB
SReclaimable:      86824 kB
SUnreclaim:        25312 kB
KernelStack:        3520 kB
PageTables:         6716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1660512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    616448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61796 MiB
End job on node132 at 2017-08-02 00:07:41