Trace number 4244764

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
R1: OscaR - Hybrid 2017-06-30SAT (TO)470 2400.23 2289.65

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 benchmark686
Best CPU time to get the best result obtained on this benchmark2400.02
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.42/0.38	c version: 2017-06-30
0.42/0.38	c seed: 1224600203
0.42/0.38	c timeout: 2400
0.42/0.38	c memlimit: 15500
0.42/0.38	c nbcore: 8
0.60/0.41	c Parsing instance...
6.16/2.44	c Parsing done, starting first complete search...
18.04/12.17	o 138
18.04/12.17	o 139
18.04/12.17	o 140
18.04/12.18	o 141
18.04/12.18	o 142
18.04/12.18	o 143
18.04/12.18	o 144
18.04/12.19	o 145
18.04/12.19	o 146
18.04/12.19	o 147
18.04/12.19	o 148
18.04/12.20	o 149
18.04/12.20	o 150
18.04/12.20	o 151
18.04/12.20	o 152
18.04/12.20	o 153
18.29/12.21	o 154
18.29/12.21	o 155
18.29/12.21	o 156
18.29/12.21	o 157
18.29/12.21	o 158
18.29/12.21	o 159
18.29/12.22	o 160
18.29/12.22	o 161
18.29/12.22	o 162
18.29/12.22	o 163
18.29/12.22	o 164
18.29/12.22	o 165
18.29/12.22	o 166
18.29/12.23	o 167
18.29/12.23	o 168
18.29/12.23	o 169
18.29/12.23	o 170
18.29/12.23	o 171
18.29/12.23	o 172
18.29/12.23	o 173
18.29/12.24	o 174
18.29/12.24	o 175
18.29/12.24	o 176
18.29/12.24	o 177
18.29/12.24	o 178
18.29/12.24	o 179
18.29/12.24	o 180
18.29/12.25	o 181
18.29/12.25	o 182
18.29/12.25	o 183
18.29/12.25	o 184
18.29/12.25	o 185
18.29/12.25	o 186
18.29/12.26	o 187
18.29/12.26	o 188
18.29/12.26	o 189
18.29/12.26	o 190
18.29/12.26	o 191
18.29/12.26	o 192
18.29/12.26	o 193
18.29/12.27	o 194
18.29/12.27	o 195
18.29/12.27	o 196
18.29/12.27	o 197
18.29/12.27	o 198
18.29/12.27	o 199
18.29/12.28	o 200
18.29/12.28	o 201
18.29/12.28	o 202
18.29/12.28	o 203
18.29/12.28	o 204
18.29/12.28	o 205
18.29/12.29	o 206
18.29/12.29	o 207
18.29/12.29	o 208
18.29/12.29	o 209
18.29/12.29	o 210
18.29/12.29	o 211
18.29/12.29	o 212
18.29/12.30	o 213
18.61/12.30	o 214
18.61/12.30	o 215
18.61/12.30	o 216
18.61/12.30	o 217
18.61/12.30	o 218
18.61/12.30	o 219
18.61/12.31	o 220
18.61/12.31	o 221
18.61/12.31	o 222
18.61/12.31	o 223
18.61/12.31	o 224
18.61/12.31	o 225
18.61/12.31	o 226
18.61/12.31	o 227
18.61/12.32	o 228
18.61/12.32	o 229
18.61/12.32	o 230
18.61/12.32	o 231
18.61/12.32	o 232
18.61/12.32	o 233
18.61/12.32	o 234
18.61/12.32	o 235
18.61/12.33	o 236
18.61/12.33	o 237
18.61/12.33	o 238
18.61/12.33	o 239
18.61/12.33	o 240
18.61/12.33	o 241
18.61/12.33	o 242
18.61/12.34	o 243
18.61/12.34	o 244
18.61/12.34	o 245
18.61/12.34	o 246
18.61/12.34	o 247
18.61/12.34	o 248
18.61/12.34	o 249
18.61/12.35	o 250
18.61/12.35	o 251
18.61/12.35	o 252
18.61/12.35	o 253
18.61/12.35	o 254
18.61/12.35	o 255
18.61/12.35	o 256
18.61/12.36	o 257
18.61/12.36	o 258
18.61/12.36	o 259
18.61/12.36	o 260
18.61/12.36	o 261
18.61/12.36	o 262
18.61/12.37	o 263
18.61/12.37	o 264
18.61/12.37	o 265
18.61/12.37	o 266
18.61/12.37	o 267
18.61/12.37	o 268
18.61/12.37	o 269
18.61/12.38	o 270
18.61/12.38	o 271
18.61/12.38	o 272
18.61/12.38	o 273
18.61/12.38	o 274
18.61/12.38	o 275
18.61/12.38	o 276
18.61/12.39	o 277
18.61/12.39	o 278
18.61/12.39	o 279
18.61/12.39	o 280
18.61/12.39	o 281
18.61/12.39	o 282
18.61/12.39	o 283
18.61/12.40	o 284
18.89/12.40	o 285
18.89/12.40	o 286
18.89/12.40	o 287
18.89/12.40	o 288
18.89/12.40	o 289
18.89/12.41	o 290
18.89/12.41	o 291
18.89/12.41	o 292
18.89/12.41	o 293
18.89/12.41	o 294
18.89/12.41	o 295
18.89/12.42	o 296
18.89/12.42	o 297
18.89/12.42	o 298
18.89/12.42	o 299
18.89/12.42	o 300
18.89/12.42	o 301
18.89/12.42	o 302
18.89/12.42	o 303
18.89/12.43	o 304
18.89/12.43	o 305
18.89/12.43	o 306
18.89/12.43	o 307
18.89/12.43	o 308
18.89/12.43	o 309
18.89/12.43	o 310
18.89/12.44	o 311
18.89/12.44	o 312
18.89/12.44	o 313
18.89/12.44	o 314
18.89/12.44	o 315
18.89/12.44	o 316
18.89/12.44	o 317
18.89/12.45	o 318
18.89/12.45	o 319
18.89/12.45	o 320
18.89/12.45	o 321
18.89/12.45	o 322
18.89/12.45	o 323
18.89/12.45	o 324
18.89/12.46	o 325
18.89/12.46	o 326
18.89/12.46	o 327
18.89/12.46	o 328
18.89/12.46	o 329
18.89/12.46	o 330
18.89/12.46	o 331
18.89/12.46	o 332
18.89/12.47	o 333
18.89/12.47	o 334
18.89/12.47	o 335
18.89/12.47	o 336
18.89/12.47	o 337
18.89/12.47	o 338
18.89/12.47	o 339
18.89/12.48	o 340
18.89/12.48	o 341
18.89/12.48	o 342
18.89/12.48	o 343
18.89/12.48	o 344
18.89/12.48	o 345
18.89/12.48	o 346
18.89/12.49	o 347
18.89/12.49	o 348
18.89/12.49	o 349
18.89/12.49	o 350
18.89/12.49	o 351
18.89/12.49	o 352
18.89/12.50	o 353
18.89/12.50	o 354
19.03/12.50	o 355
19.03/12.50	o 356
19.03/12.50	o 357
19.03/12.50	o 358
19.03/12.50	o 359
19.03/12.50	o 360
19.03/12.51	o 361
19.03/12.51	o 362
19.03/12.51	o 363
19.03/12.51	o 364
19.03/12.51	o 365
19.03/12.51	o 366
19.03/12.52	o 367
19.03/12.52	o 368
19.03/12.52	o 369
19.03/12.52	o 370
19.03/12.52	o 371
19.03/12.52	o 372
19.03/12.52	o 373
19.03/12.52	o 374
19.03/12.53	o 375
19.03/12.53	o 376
19.03/12.53	o 377
19.03/12.53	o 378
19.03/12.53	o 379
19.03/12.54	o 380
19.03/12.54	o 381
19.03/12.54	o 382
19.03/12.54	o 383
19.03/12.54	o 384
19.03/12.54	o 385
19.03/12.54	o 386
19.03/12.55	o 387
19.03/12.55	o 388
19.03/12.55	o 389
19.03/12.55	o 390
19.03/12.55	o 391
19.03/12.55	o 392
19.03/12.56	o 393
19.03/12.56	o 394
19.03/12.56	o 395
19.03/12.56	o 396
19.03/12.56	o 397
19.03/12.57	o 398
19.03/12.57	o 399
19.03/12.57	o 400
19.03/12.57	o 401
19.03/12.57	o 402
19.03/12.57	o 403
19.03/12.58	o 404
19.03/12.58	o 405
19.03/12.58	o 406
19.03/12.58	o 407
19.03/12.58	o 408
19.03/12.58	o 409
19.03/12.59	o 410
19.03/12.59	o 411
19.03/12.59	o 412
19.03/12.59	o 413
19.03/12.59	o 414
19.03/12.59	o 415
19.03/12.60	o 416
19.16/12.60	o 417
19.16/12.60	o 418
19.16/12.60	o 419
19.16/12.60	o 420
19.16/12.60	o 421
19.16/12.61	o 422
19.16/12.61	o 423
19.16/12.61	o 424
19.16/12.61	o 425
19.16/12.61	o 426
19.16/12.61	o 427
19.16/12.61	o 428
19.16/12.62	o 429
19.16/12.62	o 430
19.16/12.62	o 431
19.16/12.62	o 432
19.16/12.62	o 433
19.16/12.62	o 434
19.16/12.63	o 435
19.16/12.63	o 436
19.16/12.63	o 437
19.16/12.63	o 438
19.16/12.63	o 439
19.16/12.64	o 440
19.16/12.64	o 441
19.16/12.64	o 442
19.16/12.64	o 443
19.16/12.64	o 444
19.16/12.65	o 445
19.16/12.65	o 446
19.16/12.65	o 447
19.16/12.65	o 448
19.16/12.66	o 449
19.16/12.66	o 450
19.16/12.67	o 451
19.16/12.67	o 452
19.16/12.68	o 453
19.16/12.68	o 454
19.16/12.69	o 455
19.16/12.70	o 456
19.34/12.70	o 457
19.34/12.71	o 458
19.34/12.72	o 459
19.34/12.73	o 460
19.34/12.74	o 461
19.34/12.75	o 462
19.34/12.76	o 463
19.34/12.76	o 464
19.34/12.79	o 465
19.34/12.80	o 466
19.51/12.80	o 467
19.69/12.93	o 468
32.58/25.47	c First complete search done, starting ALNS search...
41.76/33.37	o 469
63.78/54.03	o 470
1779.66/1700.46	c ALNS done, starting second complete search
1779.66/1700.46	c Best operator: ValGuided(771,MinGroup)_ExtOriented(valLearnMin) with improvement of: 2
2400.09/2289.62	s SATISFIABLE
2400.09/2289.62	v <instantiation>
2400.09/2289.62	v 	<list>
2400.09/2289.62	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
2400.09/2289.62	v 	</list>
2400.09/2289.62	v 	<values>
2400.09/2289.62	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 0 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 1 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 1 1 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 1 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 1 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 0 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 0 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 0 0 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 0 1 0 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 0 1 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 483 515 540 564 588 605 625 636 645 665 681 694 721 753 779 805 824 841 857 870 883 896 908 925 946 982 1006 470 
2400.09/2289.62	v 	</values>
2400.09/2289.62	v </instantiation>

Verifier Data 

OK	470

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-4244764-1500691191/watcher-4244764-1500691191 -o /tmp/evaluation-result-4244764-1500691191/solver-4244764-1500691191 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500684084-16345 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1224600203 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244764-1500691191.xml 

pid=17212
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.31 1.36 1.47 3/261 17215
/proc/meminfo: memFree=31573528/32770624 swapFree=6568/123876
[pid=17215] ppid=17212 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/stat : 17215 (java) S 17212 17215 14955 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 4384051 369864704 1925 33554432000 4194304 4196468 140724228007712 140724227990256 140101214433015 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
/proc/17215/statm: 90299 1925 1072 1 0 79210 0
[pid=17215/tid=17216] ppid=17212 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17216/stat : 17216 (java) S 17212 17215 14955 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 4384052 369864704 1925 33554432000 4194304 4196468 140724228007712 140101218675104 140101214444162 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0

[startup+0.10016 s]
/proc/loadavg: 1.31 1.36 1.47 3/261 17215
/proc/meminfo: memFree=31573528/32770624 swapFree=6568/123876
[pid=17215] ppid=17212 vsize=13264380 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/17215/stat : 17215 (java) S 17212 17215 14955 0 -1 1077944320 5532 0 0 0 9 1 0 0 20 0 20 0 4384051 13582725120 6119 33554432000 4194304 4196468 140724228007712 140724227990256 140101214433015 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
/proc/17215/statm: 3316095 6119 3312 1 0 3303815 0
[pid=17215/tid=17216] ppid=17212 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17216/stat : 17216 (java) R 17212 17215 14955 0 -1 4202560 3609 0 0 0 8 0 0 0 20 0 20 0 4384052 13582725120 6119 33554432000 4194304 4196468 140724228007712 140101218675296 140101198513502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13264380

[startup+0.200348 s]
/proc/loadavg: 1.31 1.36 1.47 3/261 17215
/proc/meminfo: memFree=31573528/32770624 swapFree=6568/123876
[pid=17215] ppid=17212 vsize=13263912 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/17215/stat : 17215 (java) S 17212 17215 14955 0 -1 1077944320 8633 0 0 0 23 2 0 0 20 0 20 0 4384051 13582245888 8617 33554432000 4194304 4196468 140724228007712 140724227990256 140101214433015 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
/proc/17215/statm: 3315978 8617 3501 1 0 3303698 0
[pid=17215/tid=17216] ppid=17212 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17216/stat : 17216 (java) R 17212 17215 14955 0 -1 4202560 6362 0 0 0 17 1 0 0 20 0 20 0 4384052 13582245888 8617 33554432000 4194304 4196468 140724228007712 140101218640640 140101214454941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912

[startup+0.300365 s]
/proc/loadavg: 1.31 1.36 1.47 3/261 17215
/proc/meminfo: memFree=31573528/32770624 swapFree=6568/123876
[pid=17215] ppid=17212 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/17215/stat : 17215 (java) S 17212 17215 14955 0 -1 1077944320 9180 0 0 0 39 3 0 0 20 0 20 0 4384051 13582245888 9550 33554432000 4194304 4196468 140724228007712 140724227990256 140101214433015 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
/proc/17215/statm: 3315978 9550 3546 1 0 3303698 0
[pid=17215/tid=17216] ppid=17212 vsize=13263912 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17216/stat : 17216 (java) R 17212 17215 14955 0 -1 4202560 6802 0 0 0 26 2 0 0 20 0 20 0 4384052 13582245888 9550 33554432000 4194304 4196468 140724228007712 140101218637872 140101198513502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912

[startup+0.700287 s]
/proc/loadavg: 1.31 1.36 1.47 3/261 17215
/proc/meminfo: memFree=31573528/32770624 swapFree=6568/123876
[pid=17215] ppid=17212 vsize=13265980 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/17215/stat : 17215 (java) S 17212 17215 14955 0 -1 1077944320 12253 0 0 0 120 5 0 0 20 0 20 0 4384051 13584363520 16517 33554432000 4194304 4196468 140724228007712 140724227990256 140101214433015 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
/proc/17215/statm: 3316495 16517 3746 1 0 3304210 0
[pid=17215/tid=17216] ppid=17212 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17216/stat : 17216 (java) R 17212 17215 14955 0 -1 4202560 8351 0 0 0 64 3 0 0 20 0 20 0 4384052 13584363520 16517 33554432000 4194304 4196468 140724228007712 140101218667712 140100845949207 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 13265980

[startup+1.50081 s]
/proc/loadavg: 1.31 1.36 1.47 5/281 17235
/proc/meminfo: memFree=31477620/32770624 swapFree=6568/124156
[pid=17215] ppid=17212 vsize=13270076 CPUtime=4.02 cores=0,2,4,6,8,10,12,14
/proc/17215/stat : 17215 (java) S 17212 17215 14955 0 -1 1077944320 22603 0 0 0 391 11 0 0 20 0 20 0 4384051 13588557824 39588 33554432000 4194304 4196468 140724228007712 140724227990256 140101214433015 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
/proc/17215/statm: 3317519 39588 3788 1 0 3305234 0
[pid=17215/tid=17216] ppid=17212 vsize=13270076 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17216/stat : 17216 (java) R 17212 17215 14955 0 -1 4202560 11624 0 0 0 142 5 0 0 20 0 20 0 4384052 13588557824 39588 33554432000 4194304 4196468 140724228007712 140101218668552 140100848228021 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17218] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17218/stat : 17218 (java) S 17212 17215 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4384052 13588557824 39588 33554432000 4194304 4196468 140724228007712 140101167053072 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17219] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17219/stat : 17219 (java) S 17212 17215 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4384052 13588557824 39588 33554432000 4194304 4196468 140724228007712 140101166000528 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17220] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17220/stat : 17220 (java) S 17212 17215 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4384052 13588557824 39588 33554432000 4194304 4196468 140724228007712 140101164947984 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17221] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17221/stat : 17221 (java) S 17212 17215 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4384052 13588557824 39588 33554432000 4194304 4196468 140724228007712 140101163895440 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17222] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17222/stat : 17222 (java) S 17212 17215 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4384052 13588557824 39588 33554432000 4194304 4196468 140724228007712 140100809194256 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17223] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17223/stat : 17223 (java) S 17212 17215 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4384052 13588557824 39588 33554432000 4194304 4196468 140724228007712 140100808141712 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17224] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17224/stat : 17224 (java) S 17212 17215 14955 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4384053 13588557824 39588 33554432000 4194304 4196468 140724228007712 140100807089168 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17225] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17225/stat : 17225 (java) S 17212 17215 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4384053 13588557824 39588 33554432000 4194304 4196468 140724228007712 140100806036624 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17226] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17226/stat : 17226 (java) S 17212 17215 14955 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4384055 13588557824 39588 33554432000 4194304 4196468 140724228007712 140100543383536 140101214444162 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17227] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17227/stat : 17227 (java) S 17212 17215 14955 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4384056 13588557824 39588 33554432000 4194304 4196468 140724228007712 140100542329760 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17228] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17228/stat : 17228 (java) S 17212 17215 14955 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4384056 13588557824 39588 33554432000 4194304 4196468 140724228007712 140100541277168 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17229] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17229/stat : 17229 (java) S 17212 17215 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4384060 13588557824 39588 33554432000 4194304 4196468 140724228007712 140100540225744 140101214451611 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17230] ppid=17212 vsize=13270076 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17230/stat : 17230 (java) R 17212 17215 14955 0 -1 4202560 2441 0 0 0 56 1 0 0 20 0 20 0 4384060 13588557824 39588 33554432000 4194304 4196468 140724228007712 140100539160112 140101197929861 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17231] ppid=17212 vsize=13270076 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17231/stat : 17231 (java) S 17212 17215 14955 0 -1 1077944384 1661 0 0 0 54 1 0 0 20 0 20 0 4384060 13588557824 39588 33554432000 4194304 4196468 140724228007712 140100538120816 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17232] ppid=17212 vsize=13270076 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17232/stat : 17232 (java) S 17212 17215 14955 0 -1 1077944384 2047 0 0 0 56 1 0 0 20 0 20 0 4384060 13588557824 39588 33554432000 4194304 4196468 140724228007712 140100537068272 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17233] ppid=17212 vsize=13270076 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17233/stat : 17233 (java) S 17212 17215 14955 0 -1 1077944384 3417 0 0 0 81 1 0 0 20 0 20 0 4384060 13588557824 39588 33554432000 4194304 4196468 140724228007712 140100536015728 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17234] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17234/stat : 17234 (java) S 17212 17215 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4384060 13588557824 39588 33554432000 4194304 4196468 140724228007712 140100534962400 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17235] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17235/stat : 17235 (java) S 17212 17215 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4384060 13588557824 39588 33554432000 4194304 4196468 140724228007712 140100533909936 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 13270076

[startup+3.1008 s]
/proc/loadavg: 1.31 1.36 1.47 14/281 17235
/proc/meminfo: memFree=31195508/32770624 swapFree=6568/124156
[pid=17215] ppid=17212 vsize=13270076 CPUtime=7.86 cores=0,2,4,6,8,10,12,14
/proc/17215/stat : 17215 (java) S 17212 17215 14955 0 -1 1077944320 32294 0 0 0 720 66 0 0 20 0 20 0 4384051 13588557824 108953 33554432000 4194304 4196468 140724228007712 140724227990256 140101214433015 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
/proc/17215/statm: 3317519 108953 3828 1 0 3305234 0
[pid=17215/tid=17216] ppid=17212 vsize=13270076 CPUtime=2.93 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17216/stat : 17216 (java) R 17212 17215 14955 0 -1 4202560 12993 0 0 0 286 7 0 0 20 0 20 0 4384052 13588557824 108953 33554432000 4194304 4196468 140724228007712 140101218668872 140100853107432 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17218] ppid=17212 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17218/stat : 17218 (java) S 17212 17215 14955 0 -1 1077944384 202 0 0 0 4 7 0 0 20 0 20 0 4384052 13588557824 108953 33554432000 4194304 4196468 140724228007712 140101167053072 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17219] ppid=17212 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17219/stat : 17219 (java) S 17212 17215 14955 0 -1 1077944384 104 0 0 0 6 5 0 0 20 0 20 0 4384052 13588557824 108953 33554432000 4194304 4196468 140724228007712 140101166000528 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17220] ppid=17212 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17220/stat : 17220 (java) S 17212 17215 14955 0 -1 1077944384 71 0 0 0 4 7 0 0 20 0 20 0 4384052 13588557824 108953 33554432000 4194304 4196468 140724228007712 140101164947984 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17221] ppid=17212 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17221/stat : 17221 (java) S 17212 17215 14955 0 -1 1077944384 84 0 0 0 5 7 0 0 20 0 20 0 4384052 13588557824 108953 33554432000 4194304 4196468 140724228007712 140101163895440 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17222] ppid=17212 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17222/stat : 17222 (java) S 17212 17215 14955 0 -1 1077944384 99 0 0 0 5 6 0 0 20 0 20 0 4384052 13588557824 108953 33554432000 4194304 4196468 140724228007712 140100809194256 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17223] ppid=17212 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17223/stat : 17223 (java) S 17212 17215 14955 0 -1 1077944384 191 0 0 0 4 7 0 0 20 0 20 0 4384052 13588557824 108953 33554432000 4194304 4196468 140724228007712 140100808141712 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17224] ppid=17212 vsize=13270076 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17224/stat : 17224 (java) S 17212 17215 14955 0 -1 1077944384 160 0 0 0 4 6 0 0 20 0 20 0 4384053 13588557824 108953 33554432000 4194304 4196468 140724228007712 140100807089168 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17225] ppid=17212 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17225/stat : 17225 (java) S 17212 17215 14955 0 -1 1077944384 956 0 0 0 4 4 0 0 20 0 20 0 4384053 13588557824 108953 33554432000 4194304 4196468 140724228007712 140100806036624 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17226] ppid=17212 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17226/stat : 17226 (java) S 17212 17215 14955 0 -1 1077944384 506 0 0 0 1 0 0 0 20 0 20 0 4384055 13588557824 108953 33554432000 4194304 4196468 140724228007712 140100543383536 140101214444162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17227] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17227/stat : 17227 (java) S 17212 17215 14955 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4384056 13588557824 108953 33554432000 4194304 4196468 140724228007712 140100542329824 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17228] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17228/stat : 17228 (java) S 17212 17215 14955 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4384056 13588557824 108953 33554432000 4194304 4196468 140724228007712 140100541277184 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17229] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17229/stat : 17229 (java) S 17212 17215 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4384060 13588557824 108953 33554432000 4194304 4196468 140724228007712 140100540225744 140101214451611 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17230] ppid=17212 vsize=13270076 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17230/stat : 17230 (java) S 17212 17215 14955 0 -1 1077944384 2678 0 0 0 95 1 0 0 20 0 20 0 4384060 13588557824 108953 33554432000 4194304 4196468 140724228007712 140100539173360 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17231] ppid=17212 vsize=13270076 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17231/stat : 17231 (java) S 17212 17215 14955 0 -1 1077944384 2217 0 0 0 98 1 0 0 20 0 20 0 4384060 13588557824 108953 33554432000 4194304 4196468 140724228007712 140100538120816 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17232] ppid=17212 vsize=13270076 CPUtime=0.98 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17232/stat : 17232 (java) S 17212 17215 14955 0 -1 1077944384 2911 0 0 0 97 1 0 0 20 0 20 0 4384060 13588557824 108953 33554432000 4194304 4196468 140724228007712 140100537068272 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17233] ppid=17212 vsize=13270076 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17233/stat : 17233 (java) S 17212 17215 14955 0 -1 1077944384 7683 0 0 0 100 2 0 0 20 0 20 0 4384060 13588557824 108953 33554432000 4194304 4196468 140724228007712 140100536015728 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17234] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17234/stat : 17234 (java) S 17212 17215 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4384060 13588557824 108953 33554432000 4194304 4196468 140724228007712 140100534962400 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17235] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17235/stat : 17235 (java) S 17212 17215 14955 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 4384060 13588557824 108953 33554432000 4194304 4196468 140724228007712 140100533909936 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (KiB) 13270076

[startup+6.30082 s]
/proc/loadavg: 1.85 1.47 1.50 3/281 17235
/proc/meminfo: memFree=30974924/32770624 swapFree=6568/124156
[pid=17215] ppid=17212 vsize=13270076 CPUtime=12.04 cores=0,2,4,6,8,10,12,14
/proc/17215/stat : 17215 (java) S 17212 17215 14955 0 -1 1077944320 33643 0 0 0 1100 104 0 0 20 0 20 0 4384051 13588557824 179489 33554432000 4194304 4196468 140724228007712 140724227990256 140101214433015 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
/proc/17215/statm: 3317519 179489 3838 1 0 3305234 0
[pid=17215/tid=17216] ppid=17212 vsize=13270076 CPUtime=6.04 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17216/stat : 17216 (java) R 17212 17215 14955 0 -1 4202560 13410 0 0 0 594 10 0 0 20 0 20 0 4384052 13588557824 179489 33554432000 4194304 4196468 140724228007712 140101218671296 140100852960512 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17218] ppid=17212 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17218/stat : 17218 (java) S 17212 17215 14955 0 -1 1077944384 235 0 0 0 7 12 0 0 20 0 20 0 4384052 13588557824 179489 33554432000 4194304 4196468 140724228007712 140101167053072 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17219] ppid=17212 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17219/stat : 17219 (java) S 17212 17215 14955 0 -1 1077944384 145 0 0 0 9 9 0 0 20 0 20 0 4384052 13588557824 179489 33554432000 4194304 4196468 140724228007712 140101166000528 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17220] ppid=17212 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17220/stat : 17220 (java) S 17212 17215 14955 0 -1 1077944384 108 0 0 0 7 11 0 0 20 0 20 0 4384052 13588557824 179489 33554432000 4194304 4196468 140724228007712 140101164947984 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17221] ppid=17212 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17221/stat : 17221 (java) S 17212 17215 14955 0 -1 1077944384 131 0 0 0 8 11 0 0 20 0 20 0 4384052 13588557824 179489 33554432000 4194304 4196468 140724228007712 140101163895440 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17222] ppid=17212 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17222/stat : 17222 (java) S 17212 17215 14955 0 -1 1077944384 135 0 0 0 9 10 0 0 20 0 20 0 4384052 13588557824 179489 33554432000 4194304 4196468 140724228007712 140100809194256 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17223] ppid=17212 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17223/stat : 17223 (java) S 17212 17215 14955 0 -1 1077944384 220 0 0 0 7 11 0 0 20 0 20 0 4384052 13588557824 179489 33554432000 4194304 4196468 140724228007712 140100808141712 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17224] ppid=17212 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17224/stat : 17224 (java) S 17212 17215 14955 0 -1 1077944384 198 0 0 0 7 10 0 0 20 0 20 0 4384053 13588557824 179489 33554432000 4194304 4196468 140724228007712 140100807089168 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17225] ppid=17212 vsize=13270076 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17225/stat : 17225 (java) S 17212 17215 14955 0 -1 1077944384 999 0 0 0 7 8 0 0 20 0 20 0 4384053 13588557824 179489 33554432000 4194304 4196468 140724228007712 140100806036624 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17226] ppid=17212 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17226/stat : 17226 (java) S 17212 17215 14955 0 -1 1077944384 799 0 0 0 1 0 0 0 20 0 20 0 4384055 13588557824 179489 33554432000 4194304 4196468 140724228007712 140100543383536 140101214444162 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17227] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17227/stat : 17227 (java) S 17212 17215 14955 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 4384056 13588557824 179489 33554432000 4194304 4196468 140724228007712 140100542329824 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17228] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17228/stat : 17228 (java) S 17212 17215 14955 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4384056 13588557824 179489 33554432000 4194304 4196468 140724228007712 140100541277184 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17229] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=17215/tid=17231] ppid=17212 vsize=13270076 CPUtime=2.15 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17231/stat : 17231 (java) S 17212 17215 14955 0 -1 1077944384 15998 0 0 0 212 3 0 0 20 0 20 0 4384060 13588557824 462311 33554432000 4194304 4196468 140724228007712 140100538120816 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17232] ppid=17212 vsize=13270076 CPUtime=2.34 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17232/stat : 17232 (java) S 17212 17215 14955 0 -1 1077944384 22298 0 0 0 231 3 0 0 20 0 20 0 4384060 13588557824 462311 33554432000 4194304 4196468 140724228007712 140100537068272 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17233] ppid=17212 vsize=13270076 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17233/stat : 17233 (java) S 17212 17215 14955 0 -1 1077944384 36329 0 0 0 141 5 0 0 20 0 20 0 4384060 13588557824 462311 33554432000 4194304 4196468 140724228007712 140100536015728 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17234] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17234/stat : 17234 (java) S 17212 17215 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4384060 13588557824 462311 33554432000 4194304 4196468 140724228007712 140100534962400 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17235] ppid=17212 vsize=13270076 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17235/stat : 17235 (java) S 17212 17215 14955 0 -1 1077944384 1441 0 0 0 50 52 0 0 20 0 20 0 4384060 13588557824 462311 33554432000 4194304 4196468 140724228007712 140100533909936 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
Current children cumulated CPU time (s) 2245.07
Current children cumulated vsize (KiB) 13270076

[startup+2202.31 s]
/proc/loadavg: 1.56 1.58 1.64 3/281 17410
/proc/meminfo: memFree=28892764/32770624 swapFree=6568/126496
[pid=17215] ppid=17212 vsize=13270076 CPUtime=2308.37 cores=0,2,4,6,8,10,12,14
/proc/17215/stat : 17215 (java) S 17212 17215 14955 0 -1 1077944320 367531 0 0 0 230264 573 0 0 20 0 20 0 4384051 13588557824 440725 33554432000 4194304 4196468 140724228007712 140724227990256 140101214433015 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
/proc/17215/statm: 3317519 440725 3867 1 0 3305234 0
[pid=17215/tid=17216] ppid=17212 vsize=13270076 CPUtime=2183.96 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17216/stat : 17216 (java) R 17212 17215 14955 0 -1 4202560 119207 0 0 0 218314 82 0 0 20 0 20 0 4384052 13588557824 440725 33554432000 4194304 4196468 140724228007712 140101218671088 140100854246912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17218] ppid=17212 vsize=13270076 CPUtime=14.1 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17218/stat : 17218 (java) S 17212 17215 14955 0 -1 1077944384 10003 0 0 0 1358 52 0 0 20 0 20 0 4384052 13588557824 440725 33554432000 4194304 4196468 140724228007712 140101167053072 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17219] ppid=17212 vsize=13270076 CPUtime=14.12 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17219/stat : 17219 (java) S 17212 17215 14955 0 -1 1077944384 10201 0 0 0 1362 50 0 0 20 0 20 0 4384052 13588557824 440725 33554432000 4194304 4196468 140724228007712 140101166000528 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17220] ppid=17212 vsize=13270076 CPUtime=14.28 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17220/stat : 17220 (java) S 17212 17215 14955 0 -1 1077944384 12663 0 0 0 1377 51 0 0 20 0 20 0 4384052 13588557824 440725 33554432000 4194304 4196468 140724228007712 140101164947984 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17221] ppid=17212 vsize=13270076 CPUtime=14.14 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17221/stat : 17221 (java) S 17212 17215 14955 0 -1 1077944384 11995 0 0 0 1360 54 0 0 20 0 20 0 4384052 13588557824 440725 33554432000 4194304 4196468 140724228007712 140101163895440 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17222] ppid=17212 vsize=13270076 CPUtime=14 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17222/stat : 17222 (java) S 17212 17215 14955 0 -1 1077944384 11571 0 0 0 1348 52 0 0 20 0 20 0 4384052 13588557824 440725 33554432000 4194304 4196468 140724228007712 140100809194256 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17223] ppid=17212 vsize=13270076 CPUtime=14.13 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17223/stat : 17223 (java) S 17212 17215 14955 0 -1 1077944384 11407 0 0 0 1364 49 0 0 20 0 20 0 4384052 13588557824 440725 33554432000 4194304 4196468 140724228007712 140100808141712 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17224] ppid=17212 vsize=13270076 CPUtime=14.22 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17224/stat : 17224 (java) S 17212 17215 14955 0 -1 1077944384 11536 0 0 0 1368 54 0 0 20 0 20 0 4384053 13588557824 440725 33554432000 4194304 4196468 140724228007712 140100807089168 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17225] ppid=17212 vsize=13270076 CPUtime=14.32 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17225/stat : 17225 (java) S 17212 17215 14955 0 -1 1077944384 16064 0 0 0 1384 48 0 0 20 0 20 0 4384053 13588557824 440725 33554432000 4194304 4196468 140724228007712 140100806036624 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17226] ppid=17212 vsize=13270076 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17226/stat : 17226 (java) S 17212 17215 14955 0 -1 1077944384 58283 0 0 0 117 31 0 0 20 0 20 0 4384055 13588557824 440725 33554432000 4194304 4196468 140724228007712 140100543383536 140101214444162 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17227] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17227/stat : 17227 (java) S 17212 17215 14955 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 20 0 4384056 13588557824 440725 33554432000 4194304 4196468 140724228007712 140100542329824 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17228] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17228/stat : 17228 (java) S 17212 17215 14955 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 4384056 13588557824 440725 33554432000 4194304 4196468 140724228007712 140100541277184 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17229] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17229/stat : 17229 (java) S 17212 17215 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4384060 13588557824 440725 33554432000 4194304 4196468 140724228007712 140100540225744 140101214451611 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17230] ppid=17212 vsize=13270076 CPUtime=2.47 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17230/stat : 17230 (java) S 17212 17215 14955 0 -1 1077944384 17038 0 0 0 244 3 0 0 20 0 20 0 4384060 13588557824 440725 33554432000 4194304 4196468 140724228007712 140100539173360 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17231] ppid=17212 vsize=13270076 CPUtime=2.15 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17231/stat : 17231 (java) S 17212 17215 14955 0 -1 1077944384 16000 0 0 0 212 3 0 0 20 0 20 0 4384060 13588557824 440725 33554432000 4194304 4196468 140724228007712 140100538120816 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17232] ppid=17212 vsize=13270076 CPUtime=2.34 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17232/stat : 17232 (java) S 17212 17215 14955 0 -1 1077944384 22298 0 0 0 231 3 0 0 20 0 20 0 4384060 13588557824 440725 33554432000 4194304 4196468 140724228007712 140100537068272 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17233] ppid=17212 vsize=13270076 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17233/stat : 17233 (java) S 17212 17215 14955 0 -1 1077944384 36329 0 0 0 141 5 0 0 20 0 20 0 4384060 13588557824 440725 33554432000 4194304 4196468 140724228007712 140100536015728 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17234] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17234/stat : 17234 (java) S 17212 17215 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4384060 13588557824 440725 33554432000 4194304 4196468 140724228007712 140100534962400 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17235] ppid=17212 vsize=13270076 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17235/stat : 17235 (java) S 17212 17215 14955 0 -1 1077944384 1463 0 0 0 52 54 0 0 20 0 20 0 4384060 13588557824 440725 33554432000 4194304 4196468 140724228007712 140100533909936 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 49 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
Current children cumulated CPU time (s) 2308.37
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.42 1.55 1.62 3/281 17411
/proc/meminfo: memFree=28873052/32770624 swapFree=6568/126524
[pid=17215] ppid=17212 vsize=13270076 CPUtime=2371.46 cores=0,2,4,6,8,10,12,14
/proc/17215/stat : 17215 (java) S 17212 17215 14955 0 -1 1077944320 373026 0 0 0 236537 609 0 0 20 0 20 0 4384051 13588557824 461985 33554432000 4194304 4196468 140724228007712 140724227990256 140101214433015 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
/proc/17215/statm: 3317519 461985 3867 1 0 3305234 0
[pid=17215/tid=17216] ppid=17212 vsize=13270076 CPUtime=2243.39 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17216/stat : 17216 (java) R 17212 17215 14955 0 -1 4202560 122382 0 0 0 224255 84 0 0 20 0 20 0 4384052 13588557824 461985 33554432000 4194304 4196468 140724228007712 140101218671040 140100855225726 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17218] ppid=17212 vsize=13270076 CPUtime=14.54 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17218/stat : 17218 (java) S 17212 17215 14955 0 -1 1077944384 10223 0 0 0 1399 55 0 0 20 0 20 0 4384052 13588557824 461985 33554432000 4194304 4196468 140724228007712 140101167053072 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17219] ppid=17212 vsize=13270076 CPUtime=14.57 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17219/stat : 17219 (java) S 17212 17215 14955 0 -1 1077944384 10512 0 0 0 1403 54 0 0 20 0 20 0 4384052 13588557824 461985 33554432000 4194304 4196468 140724228007712 140101166000528 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17220] ppid=17212 vsize=13270076 CPUtime=14.7 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17220/stat : 17220 (java) S 17212 17215 14955 0 -1 1077944384 12900 0 0 0 1415 55 0 0 20 0 20 0 4384052 13588557824 461985 33554432000 4194304 4196468 140724228007712 140101164947984 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17221] ppid=17212 vsize=13270076 CPUtime=14.57 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17221/stat : 17221 (java) S 17212 17215 14955 0 -1 1077944384 12116 0 0 0 1399 58 0 0 20 0 20 0 4384052 13588557824 461985 33554432000 4194304 4196468 140724228007712 140101163895440 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17222] ppid=17212 vsize=13270076 CPUtime=14.48 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17222/stat : 17222 (java) S 17212 17215 14955 0 -1 1077944384 11952 0 0 0 1391 57 0 0 20 0 20 0 4384052 13588557824 461985 33554432000 4194304 4196468 140724228007712 140100809194256 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17223] ppid=17212 vsize=13270076 CPUtime=14.6 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17223/stat : 17223 (java) S 17212 17215 14955 0 -1 1077944384 11705 0 0 0 1407 53 0 0 20 0 20 0 4384052 13588557824 461985 33554432000 4194304 4196468 140724228007712 140100808141712 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17224] ppid=17212 vsize=13270076 CPUtime=14.64 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17224/stat : 17224 (java) S 17212 17215 14955 0 -1 1077944384 11678 0 0 0 1407 57 0 0 20 0 20 0 4384053 13588557824 461985 33554432000 4194304 4196468 140724228007712 140100807089168 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17225] ppid=17212 vsize=13270076 CPUtime=14.8 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17225/stat : 17225 (java) S 17212 17215 14955 0 -1 1077944384 16338 0 0 0 1428 52 0 0 20 0 20 0 4384053 13588557824 461985 33554432000 4194304 4196468 140724228007712 140100806036624 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17226] ppid=17212 vsize=13270076 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17226/stat : 17226 (java) S 17212 17215 14955 0 -1 1077944384 58586 0 0 0 120 32 0 0 20 0 20 0 4384055 13588557824 461985 33554432000 4194304 4196468 140724228007712 140100543383536 140101214444162 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17227] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17227/stat : 17227 (java) S 17212 17215 14955 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 20 0 4384056 13588557824 461985 33554432000 4194304 4196468 140724228007712 140100542329824 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17228] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17228/stat : 17228 (java) S 17212 17215 14955 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 4384056 13588557824 461985 33554432000 4194304 4196468 140724228007712 140100541277184 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17229] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17229/stat : 17229 (java) S 17212 17215 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4384060 13588557824 461985 33554432000 4194304 4196468 140724228007712 140100540225744 140101214451611 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17230] ppid=17212 vsize=13270076 CPUtime=2.47 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17230/stat : 17230 (java) S 17212 17215 14955 0 -1 1077944384 17043 0 0 0 244 3 0 0 20 0 20 0 4384060 13588557824 461985 33554432000 4194304 4196468 140724228007712 140100539173360 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17231] ppid=17212 vsize=13270076 CPUtime=2.15 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17231/stat : 17231 (java) S 17212 17215 14955 0 -1 1077944384 16002 0 0 0 212 3 0 0 20 0 20 0 4384060 13588557824 461985 33554432000 4194304 4196468 140724228007712 140100538120816 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17232] ppid=17212 vsize=13270076 CPUtime=2.34 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17232/stat : 17232 (java) S 17212 17215 14955 0 -1 1077944384 22300 0 0 0 231 3 0 0 20 0 20 0 4384060 13588557824 461985 33554432000 4194304 4196468 140724228007712 140100537068272 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17233] ppid=17212 vsize=13270076 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17233/stat : 17233 (java) S 17212 17215 14955 0 -1 1077944384 36331 0 0 0 141 5 0 0 20 0 20 0 4384060 13588557824 461985 33554432000 4194304 4196468 140724228007712 140100536015728 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17234] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17234/stat : 17234 (java) S 17212 17215 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4384060 13588557824 461985 33554432000 4194304 4196468 140724228007712 140100534962400 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17235] ppid=17212 vsize=13270076 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17235/stat : 17235 (java) S 17212 17215 14955 0 -1 1077944384 1485 0 0 0 53 56 0 0 20 0 20 0 4384060 13588557824 461985 33554432000 4194304 4196468 140724228007712 140100533909936 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 49 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
Current children cumulated CPU time (s) 2371.46
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2289.6 s]
/proc/loadavg: 1.70 1.60 1.64 3/281 17411
/proc/meminfo: memFree=28939256/32770624 swapFree=6568/126564
[pid=17215] ppid=17212 vsize=13270076 CPUtime=2400.09 cores=0,2,4,6,8,10,12,14
/proc/17215/stat : 17215 (java) S 17212 17215 14955 0 -1 1077944320 376203 0 0 0 239396 613 0 0 20 0 20 0 4384051 13588557824 453456 33554432000 4194304 4196468 140724228007712 140724227990256 140101214433015 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
/proc/17215/statm: 3317519 453456 3867 1 0 3305234 0
[pid=17215/tid=17216] ppid=17212 vsize=13270076 CPUtime=2270.43 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17216/stat : 17216 (java) R 17212 17215 14955 0 -1 4202560 124766 0 0 0 226959 84 0 0 20 0 20 0 4384052 13588557824 453456 33554432000 4194304 4196468 140724228007712 140101218671088 140100855225726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17218] ppid=17212 vsize=13270076 CPUtime=14.73 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17218/stat : 17218 (java) S 17212 17215 14955 0 -1 1077944384 10347 0 0 0 1418 55 0 0 20 0 20 0 4384052 13588557824 453456 33554432000 4194304 4196468 140724228007712 140101167053072 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17219] ppid=17212 vsize=13270076 CPUtime=14.78 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17219/stat : 17219 (java) S 17212 17215 14955 0 -1 1077944384 10590 0 0 0 1423 55 0 0 20 0 20 0 4384052 13588557824 453456 33554432000 4194304 4196468 140724228007712 140101166000528 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17220] ppid=17212 vsize=13270076 CPUtime=14.9 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17220/stat : 17220 (java) S 17212 17215 14955 0 -1 1077944384 12976 0 0 0 1435 55 0 0 20 0 20 0 4384052 13588557824 453456 33554432000 4194304 4196468 140724228007712 140101164947984 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17221] ppid=17212 vsize=13270076 CPUtime=14.74 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17221/stat : 17221 (java) S 17212 17215 14955 0 -1 1077944384 12181 0 0 0 1416 58 0 0 20 0 20 0 4384052 13588557824 453456 33554432000 4194304 4196468 140724228007712 140101163895440 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17222] ppid=17212 vsize=13270076 CPUtime=14.66 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17222/stat : 17222 (java) S 17212 17215 14955 0 -1 1077944384 12067 0 0 0 1409 57 0 0 20 0 20 0 4384052 13588557824 453456 33554432000 4194304 4196468 140724228007712 140100809194256 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17223] ppid=17212 vsize=13270076 CPUtime=14.79 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17223/stat : 17223 (java) S 17212 17215 14955 0 -1 1077944384 11766 0 0 0 1426 53 0 0 20 0 20 0 4384052 13588557824 453456 33554432000 4194304 4196468 140724228007712 140100808141712 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17224] ppid=17212 vsize=13270076 CPUtime=14.84 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17224/stat : 17224 (java) S 17212 17215 14955 0 -1 1077944384 11740 0 0 0 1426 58 0 0 20 0 20 0 4384053 13588557824 453456 33554432000 4194304 4196468 140724228007712 140100807089168 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17225] ppid=17212 vsize=13270076 CPUtime=15 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17225/stat : 17225 (java) S 17212 17215 14955 0 -1 1077944384 16414 0 0 0 1448 52 0 0 20 0 20 0 4384053 13588557824 453456 33554432000 4194304 4196468 140724228007712 140100806036624 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17226] ppid=17212 vsize=13270076 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17226/stat : 17226 (java) S 17212 17215 14955 0 -1 1077944384 58711 0 0 0 122 32 0 0 20 0 20 0 4384055 13588557824 453456 33554432000 4194304 4196468 140724228007712 140100543383536 140101214444162 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17227] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17227/stat : 17227 (java) S 17212 17215 14955 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 20 0 4384056 13588557824 453456 33554432000 4194304 4196468 140724228007712 140100542329824 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17228] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17228/stat : 17228 (java) S 17212 17215 14955 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 4384056 13588557824 453456 33554432000 4194304 4196468 140724228007712 140100541277184 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17229] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17229/stat : 17229 (java) S 17212 17215 14955 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4384060 13588557824 453456 33554432000 4194304 4196468 140724228007712 140100540225744 140101214451611 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17230] ppid=17212 vsize=13270076 CPUtime=2.47 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17230/stat : 17230 (java) S 17212 17215 14955 0 -1 1077944384 17045 0 0 0 244 3 0 0 20 0 20 0 4384060 13588557824 453456 33554432000 4194304 4196468 140724228007712 140100539173360 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17231] ppid=17212 vsize=13270076 CPUtime=2.15 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17231/stat : 17231 (java) S 17212 17215 14955 0 -1 1077944384 16004 0 0 0 212 3 0 0 20 0 20 0 4384060 13588557824 453456 33554432000 4194304 4196468 140724228007712 140100538120816 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17232] ppid=17212 vsize=13270076 CPUtime=2.34 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17232/stat : 17232 (java) S 17212 17215 14955 0 -1 1077944384 22303 0 0 0 231 3 0 0 20 0 20 0 4384060 13588557824 453456 33554432000 4194304 4196468 140724228007712 140100537068272 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17233] ppid=17212 vsize=13270076 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17233/stat : 17233 (java) S 17212 17215 14955 0 -1 1077944384 36333 0 0 0 141 5 0 0 20 0 20 0 4384060 13588557824 453456 33554432000 4194304 4196468 140724228007712 140100536015728 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17234] ppid=17212 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17234/stat : 17234 (java) S 17212 17215 14955 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4384060 13588557824 453456 33554432000 4194304 4196468 140724228007712 140100534962400 140101214443221 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
[pid=17215/tid=17235] ppid=17212 vsize=13270076 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/17215/task/17235/stat : 17235 (java) S 17212 17215 14955 0 -1 1077944384 1487 0 0 0 54 56 0 0 20 0 20 0 4384060 13588557824 453456 33554432000 4194304 4196468 140724228007712 140100533909936 140101214444162 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 35430400 140724228015245 140724228015428 140724228015428 140724228018127 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 13270076

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 17215 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2289.65
CPU time (s): 2400.23
CPU user time (s): 2394.08
CPU system time (s): 6.15018
CPU usage (%): 104.83
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.08
system time used= 6.15018
maximum resident set size= 3525404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 376972
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106992
involuntary context switches= 133257

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3693 second user time and 17.7806 second system time

The end

Launcher Data 

Begin job on node148 at 2017-07-22 04:39:51
IDJOB=4244764
IDBENCH=115896
IDSOLVER=2629
FILE ID=node148/4244764-1500691191
RUNJOBID= node148-1500684084-16345
PBS_JOBID= 20623032
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Hybrid 2017-06-30
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-37.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244764-1500691191/watcher-4244764-1500691191 -o /tmp/evaluation-result-4244764-1500691191/solver-4244764-1500691191 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500684084-16345 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1224600203 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244764-1500691191.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877
RANDOM SEED=1224600203

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

/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		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.21
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.21
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.21
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.21
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	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
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	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.21
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31573520 kB
MemAvailable:   31750160 kB
Buffers:          129988 kB
Cached:           315752 kB
SwapCached:            0 kB
Active:           552324 kB
Inactive:         185420 kB
Active(anon):     241560 kB
Inactive(anon):    61544 kB
Active(file):     310764 kB
Inactive(file):   123876 kB
Unevictable:        6568 kB
Mlocked:            6568 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             41884 kB
Writeback:             0 kB
AnonPages:        305792 kB
Mapped:            45144 kB
Shmem:              8848 kB
Slab:             148968 kB
SReclaimable:     115668 kB
SUnreclaim:        33300 kB
KernelStack:        4848 kB
PageTables:         6260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1146624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    237568 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61948 MiB
End job on node148 at 2017-07-22 05:18:01