Trace number 4244763

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 - Conflict Ordering 2017-06-30SAT (TO)478 2400.09 2350.54

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.30	c version: 2017-06-30
0.42/0.30	c seed: 886359486
0.42/0.31	c timeout: 2400
0.42/0.31	c memlimit: 15500
0.42/0.31	c nbcore: 8
0.42/0.33	c Parsing instance...
6.16/2.27	c Parsing done, starting search...
18.01/11.98	o 138
18.01/11.99	o 139
18.01/11.99	o 140
18.01/11.99	o 141
18.01/12.00	o 142
18.20/12.00	o 143
18.20/12.00	o 144
18.20/12.00	o 145
18.20/12.01	o 146
18.20/12.01	o 147
18.20/12.01	o 148
18.20/12.01	o 149
18.20/12.02	o 150
18.20/12.02	o 151
18.20/12.02	o 152
18.20/12.02	o 153
18.20/12.02	o 154
18.20/12.03	o 155
18.20/12.03	o 156
18.20/12.03	o 157
18.20/12.03	o 158
18.20/12.03	o 159
18.20/12.04	o 160
18.20/12.04	o 161
18.20/12.04	o 162
18.20/12.04	o 163
18.20/12.04	o 164
18.20/12.04	o 165
18.20/12.05	o 166
18.20/12.05	o 167
18.20/12.05	o 168
18.20/12.05	o 169
18.20/12.05	o 170
18.20/12.05	o 171
18.20/12.06	o 172
18.20/12.06	o 173
18.20/12.06	o 174
18.20/12.06	o 175
18.20/12.06	o 176
18.20/12.06	o 177
18.20/12.06	o 178
18.20/12.07	o 179
18.20/12.07	o 180
18.20/12.07	o 181
18.20/12.07	o 182
18.20/12.07	o 183
18.20/12.08	o 184
18.20/12.08	o 185
18.20/12.08	o 186
18.20/12.08	o 187
18.20/12.08	o 188
18.20/12.08	o 189
18.20/12.09	o 190
18.20/12.09	o 191
18.20/12.09	o 192
18.20/12.09	o 193
18.20/12.09	o 194
18.20/12.09	o 195
18.20/12.10	o 196
18.20/12.10	o 197
18.20/12.10	o 198
18.20/12.10	o 199
18.20/12.10	o 200
18.20/12.11	o 201
18.20/12.11	o 202
18.20/12.11	o 203
18.20/12.11	o 204
18.58/12.11	o 205
18.58/12.11	o 206
18.58/12.12	o 207
18.58/12.12	o 208
18.58/12.12	o 209
18.58/12.12	o 210
18.58/12.12	o 211
18.58/12.13	o 212
18.58/12.13	o 213
18.58/12.13	o 214
18.58/12.13	o 215
18.58/12.13	o 216
18.58/12.13	o 217
18.58/12.14	o 218
18.58/12.14	o 219
18.58/12.14	o 220
18.58/12.14	o 221
18.58/12.14	o 222
18.58/12.15	o 223
18.58/12.15	o 224
18.58/12.15	o 225
18.58/12.15	o 226
18.58/12.15	o 227
18.58/12.15	o 228
18.58/12.15	o 229
18.58/12.15	o 230
18.58/12.16	o 231
18.58/12.16	o 232
18.58/12.16	o 233
18.58/12.16	o 234
18.58/12.16	o 235
18.58/12.16	o 236
18.58/12.16	o 237
18.58/12.17	o 238
18.58/12.17	o 239
18.58/12.17	o 240
18.58/12.17	o 241
18.58/12.17	o 242
18.58/12.17	o 243
18.58/12.18	o 244
18.58/12.18	o 245
18.58/12.18	o 246
18.58/12.18	o 247
18.58/12.18	o 248
18.58/12.18	o 249
18.58/12.19	o 250
18.58/12.19	o 251
18.58/12.19	o 252
18.58/12.19	o 253
18.58/12.19	o 254
18.58/12.19	o 255
18.58/12.20	o 256
18.58/12.20	o 257
18.58/12.20	o 258
18.58/12.20	o 259
18.58/12.20	o 260
18.58/12.20	o 261
18.58/12.21	o 262
18.58/12.21	o 263
18.58/12.21	o 264
18.58/12.21	o 265
18.86/12.21	o 266
18.86/12.21	o 267
18.86/12.22	o 268
18.86/12.22	o 269
18.86/12.22	o 270
18.86/12.22	o 271
18.86/12.22	o 272
18.86/12.22	o 273
18.86/12.22	o 274
18.86/12.23	o 275
18.86/12.23	o 276
18.86/12.23	o 277
18.86/12.23	o 278
18.86/12.23	o 279
18.86/12.23	o 280
18.86/12.24	o 281
18.86/12.24	o 282
18.86/12.24	o 283
18.86/12.24	o 284
18.86/12.24	o 285
18.86/12.25	o 286
18.86/12.25	o 287
18.86/12.25	o 288
18.86/12.25	o 289
18.86/12.25	o 290
18.86/12.25	o 291
18.86/12.26	o 292
18.86/12.26	o 293
18.86/12.26	o 294
18.86/12.26	o 295
18.86/12.26	o 296
18.86/12.26	o 297
18.86/12.26	o 298
18.86/12.27	o 299
18.86/12.27	o 300
18.86/12.27	o 301
18.86/12.27	o 302
18.86/12.27	o 303
18.86/12.27	o 304
18.86/12.27	o 305
18.86/12.28	o 306
18.86/12.28	o 307
18.86/12.28	o 308
18.86/12.28	o 309
18.86/12.28	o 310
18.86/12.28	o 311
18.86/12.29	o 312
18.86/12.29	o 313
18.86/12.29	o 314
18.86/12.29	o 315
18.86/12.29	o 316
18.86/12.29	o 317
18.86/12.30	o 318
19.02/12.30	o 319
19.02/12.30	o 320
19.02/12.30	o 321
19.02/12.30	o 322
19.02/12.30	o 323
19.02/12.31	o 324
19.02/12.31	o 325
19.02/12.31	o 326
19.02/12.31	o 327
19.02/12.31	o 328
19.02/12.31	o 329
19.02/12.32	o 330
19.02/12.32	o 331
19.02/12.32	o 332
19.02/12.32	o 333
19.02/12.32	o 334
19.02/12.32	o 335
19.02/12.33	o 336
19.02/12.33	o 337
19.02/12.33	o 338
19.02/12.33	o 339
19.02/12.33	o 340
19.02/12.33	o 341
19.02/12.34	o 342
19.02/12.34	o 343
19.02/12.34	o 344
19.02/12.34	o 345
19.02/12.34	o 346
19.02/12.34	o 347
19.02/12.35	o 348
19.02/12.35	o 349
19.02/12.35	o 350
19.02/12.35	o 351
19.02/12.35	o 352
19.02/12.36	o 353
19.02/12.36	o 354
19.02/12.36	o 355
19.02/12.36	o 356
19.02/12.36	o 357
19.02/12.36	o 358
19.02/12.36	o 359
19.02/12.37	o 360
19.02/12.37	o 361
19.02/12.37	o 362
19.02/12.37	o 363
19.02/12.37	o 364
19.02/12.38	o 365
19.02/12.38	o 366
19.02/12.38	o 367
19.02/12.38	o 368
19.02/12.38	o 369
19.02/12.38	o 370
19.02/12.39	o 371
19.02/12.39	o 372
19.02/12.39	o 373
19.02/12.39	o 374
19.02/12.39	o 375
19.02/12.39	o 376
19.02/12.40	o 377
19.12/12.40	o 378
19.12/12.40	o 379
19.12/12.40	o 380
19.12/12.40	o 381
19.12/12.41	o 382
19.12/12.41	o 383
19.12/12.41	o 384
19.12/12.41	o 385
19.12/12.41	o 386
19.12/12.41	o 387
19.12/12.42	o 388
19.12/12.42	o 389
19.12/12.42	o 390
19.12/12.42	o 391
19.12/12.42	o 392
19.12/12.43	o 393
19.12/12.43	o 394
19.12/12.43	o 395
19.12/12.43	o 396
19.12/12.44	o 397
19.12/12.44	o 398
19.12/12.44	o 399
19.12/12.44	o 400
19.12/12.44	o 401
19.12/12.45	o 402
19.12/12.45	o 403
19.12/12.45	o 404
19.12/12.45	o 405
19.12/12.45	o 406
19.12/12.46	o 407
19.12/12.46	o 408
19.12/12.46	o 409
19.12/12.46	o 410
19.12/12.46	o 411
19.12/12.46	o 412
19.12/12.47	o 413
19.12/12.47	o 414
19.12/12.47	o 415
19.12/12.47	o 416
19.12/12.47	o 417
19.12/12.48	o 418
19.12/12.48	o 419
19.12/12.48	o 420
19.12/12.48	o 421
19.12/12.48	o 422
19.12/12.49	o 423
19.12/12.49	o 424
19.12/12.49	o 425
19.12/12.49	o 426
19.12/12.49	o 427
19.12/12.49	o 428
19.12/12.50	o 429
19.24/12.50	o 430
19.24/12.50	o 431
19.24/12.50	o 432
19.24/12.50	o 433
19.24/12.51	o 434
19.24/12.51	o 435
19.24/12.51	o 436
19.24/12.51	o 437
19.24/12.52	o 438
19.24/12.52	o 439
19.24/12.52	o 440
19.24/12.52	o 441
19.24/12.52	o 442
19.24/12.53	o 443
19.24/12.53	o 444
19.24/12.53	o 445
19.24/12.53	o 446
19.24/12.54	o 447
19.24/12.54	o 448
19.24/12.54	o 449
19.24/12.55	o 450
19.24/12.55	o 451
19.24/12.56	o 452
19.24/12.56	o 453
19.24/12.57	o 454
19.24/12.58	o 455
19.24/12.58	o 456
19.24/12.59	o 457
19.24/12.60	o 458
19.39/12.60	o 459
19.39/12.61	o 460
19.39/12.62	o 461
19.39/12.63	o 462
19.39/12.64	o 463
19.39/12.64	o 464
19.39/12.67	o 465
19.39/12.67	o 466
19.39/12.68	o 467
19.62/12.80	o 468
40.49/32.86	o 469
40.65/32.95	o 470
42.48/34.72	o 471
42.99/35.28	o 472
42.99/35.29	o 473
43.09/35.37	o 474
50.17/42.44	o 475
99.39/91.28	o 476
234.45/226.20	o 477
234.45/226.29	o 478
2400.00/2350.51	s SATISFIABLE
2400.00/2350.51	v <instantiation>
2400.00/2350.51	v 	<list>
2400.00/2350.51	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.00/2350.51	v 	</list>
2400.00/2350.51	v 	<values>
2400.00/2350.51	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 1 0 1 1 1 0 0 1 1 1 0 1 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 1 1 1 1 0 1 1 0 0 0 1 1 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 1 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 0 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 1 0 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 1 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 1 1 1 1 1 0 1 1 0 1 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 0 0 0 0 1 0 0 0 1 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 1 1 0 1 0 0 1 0 1 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 0 1 0 1 1 0 1 0 1 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 1 0 0 0 1 0 1 1 0 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 1 0 0 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 1 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 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 1 1 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 1 1 1 1 2 2 2 2 2 1 2 1 1 2 2 2 2 2 2 1 1 2 1 1 2 2 2 1 1 2 0 1 0 2 2 1 1 2 0 0 0 0 1 2 2 2 1 0 1 0 0 1 1 1 2 1 1 1 1 0 0 0 0 0 2 1 1 0 0 1 0 2 0 1 1 0 0 0 2 0 0 1 2 2 0 1 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 2 1 1 2 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 2 1 1 0 0 0 0 0 1 1 0 0 0 0 2 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 2 1 1 2 0 0 0 0 1 0 2 2 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 1 1 0 0 0 0 2 2 2 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 2 1 1 1 0 0 2 2 2 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 1 0 1 1 2 0 0 2 0 0 2 0 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 2 1 1 2 1 1 0 1 0 2 2 2 1 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 2 2 2 2 1 1 0 0 1 1 2 2 2 1 0 0 1 2 0 2 0 1 0 0 0 0 2 1 1 0 0 0 1 0 0 1 0 0 2 2 2 1 1 2 0 1 0 0 0 0 2 2 2 0 0 1 2 2 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 2 0 0 0 1 2 1 0 0 0 2 0 2 0 2 0 2 2 1 2 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 1 1 0 1 1 2 1 1 0 1 0 1 0 2 0 2 1 0 1 1 2 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 2 0 1 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 1 0 1 0 0 0 2 0 0 0 0 0 1 1 0 0 2 1 1 0 0 0 1 0 0 0 0 0 0 2 0 2 1 1 0 0 2 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 2 1 1 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 2 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 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 0 0 1 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 2 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 0 0 0 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 0 0 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 1 0 0 1 0 1 0 0 0 0 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 0 0 0 0 1 0 0 1 0 0 0 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 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 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 0 0 1 0 0 1 0 0 0 1 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 1 0 0 0 0 1 0 0 0 1 0 0 1 1 2 2 0 0 0 0 0 1 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 2 1 0 0 2 0 0 0 1 0 0 2 2 1 2 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 1 0 1 2 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 2 0 0 1 1 0 0 1 2 0 2 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 2 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 1 1 0 1 1 2 2 2 2 1 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 1 0 2 0 1 1 0 1 1 0 0 0 1 1 2 0 1 0 2 2 2 2 2 2 0 1 1 0 2 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 1 0 37 113 189 262 315 344 364 381 399 416 436 458 482 513 539 564 588 605 625 636 645 663 679 694 713 735 756 775 787 801 816 830 845 864 876 893 914 950 974 478 
2400.00/2350.51	v 	</values>
2400.00/2350.51	v </instantiation>

Verifier Data

OK	478

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-4244763-1500692192/watcher-4244763-1500692192 -o /tmp/evaluation-result-4244763-1500692192/solver-4244763-1500692192 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1500682654-14430 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 886359486 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244763-1500692192.xml 

pid=15568
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.53 1.45 1.49 3/261 15571
/proc/meminfo: memFree=31519412/32770624 swapFree=5912/243272
[pid=15571] ppid=15568 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/stat : 15571 (java) S 15568 15571 14399 0 -1 1077944320 1984 0 0 0 0 0 0 0 20 0 2 0 4484313 10889764864 2234 33554432000 4194304 4196468 140726249748960 140726249731504 139793680772855 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
/proc/15571/statm: 2658634 2234 1188 1 0 2647545 0
[pid=15571/tid=15572] ppid=15568 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15572/stat : 15572 (java) R 15568 15571 14399 0 -1 4202560 770 0 0 0 0 0 0 0 20 0 2 0 4484314 10889764864 2300 33554432000 4194304 4196468 140726249748960 139793685014944 139793673062304 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0

[startup+0.100129 s]
/proc/loadavg: 1.53 1.45 1.49 3/261 15571
/proc/meminfo: memFree=31519412/32770624 swapFree=5912/243272
[pid=15571] ppid=15568 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/15571/stat : 15571 (java) S 15568 15571 14399 0 -1 1077944320 5686 0 0 0 8 1 0 0 20 0 20 0 4484313 13582725120 6263 33554432000 4194304 4196468 140726249748960 140726249731504 139793680772855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
/proc/15571/statm: 3316095 6263 3117 1 0 3303815 0
[pid=15571/tid=15572] ppid=15568 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15572/stat : 15572 (java) R 15568 15571 14399 0 -1 4202560 3787 0 0 0 7 1 0 0 20 0 20 0 4484314 13582725120 6263 33554432000 4194304 4196468 140726249748960 139793685009584 139793637408630 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380

[startup+0.20039 s]
/proc/loadavg: 1.53 1.45 1.49 3/261 15571
/proc/meminfo: memFree=31519412/32770624 swapFree=5912/243272
[pid=15571] ppid=15568 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/15571/stat : 15571 (java) S 15568 15571 14399 0 -1 1077944320 9000 0 0 0 23 3 0 0 20 0 20 0 4484313 13582245888 8976 33554432000 4194304 4196468 140726249748960 140726249731504 139793680772855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
/proc/15571/statm: 3315978 8976 3537 1 0 3303698 0
[pid=15571/tid=15572] ppid=15568 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15572/stat : 15572 (java) R 15568 15571 14399 0 -1 4202560 6734 0 0 0 16 2 0 0 20 0 20 0 4484314 13582245888 8976 33554432000 4194304 4196468 140726249748960 139793685001232 139793680794781 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300328 s]
/proc/loadavg: 1.53 1.45 1.49 3/261 15571
/proc/meminfo: memFree=31519412/32770624 swapFree=5912/243272
[pid=15571] ppid=15568 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/15571/stat : 15571 (java) S 15568 15571 14399 0 -1 1077944320 10007 0 0 0 39 3 0 0 20 0 20 0 4484313 13582245888 11247 33554432000 4194304 4196468 140726249748960 140726249731504 139793680772855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
/proc/15571/statm: 3315978 11247 3614 1 0 3303698 0
[pid=15571/tid=15572] ppid=15568 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15572/stat : 15572 (java) R 15568 15571 14399 0 -1 4202560 7464 0 0 0 25 2 0 0 20 0 20 0 4484314 13582245888 11247 33554432000 4194304 4196468 140726249748960 139793685000312 139793664853342 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912

[startup+0.700218 s]
/proc/loadavg: 1.53 1.45 1.49 3/261 15571
/proc/meminfo: memFree=31519412/32770624 swapFree=5912/243272
[pid=15571] ppid=15568 vsize=13265980 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/15571/stat : 15571 (java) S 15568 15571 14399 0 -1 1077944320 12886 0 0 0 143 5 0 0 20 0 20 0 4484313 13584363520 20278 33554432000 4194304 4196468 140726249748960 140726249731504 139793680772855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
/proc/15571/statm: 3316495 20278 3764 1 0 3304210 0
[pid=15571/tid=15572] ppid=15568 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15572/stat : 15572 (java) R 15568 15571 14399 0 -1 4202560 8508 0 0 0 64 3 0 0 20 0 20 0 4484314 13584363520 20278 33554432000 4194304 4196468 140726249748960 139793685008576 139793286479990 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13265980

[startup+1.50106 s]
/proc/loadavg: 1.57 1.46 1.50 4/281 15591
/proc/meminfo: memFree=31417040/32770624 swapFree=5912/243552
[pid=15571] ppid=15568 vsize=13270076 CPUtime=4.24 cores=0,2,4,6,8,10,12,14
/proc/15571/stat : 15571 (java) S 15568 15571 14399 0 -1 1077944320 29332 0 0 0 407 17 0 0 20 0 20 0 4484313 13588557824 59344 33554432000 4194304 4196468 140726249748960 140726249731504 139793680772855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
/proc/15571/statm: 3317519 59344 3815 1 0 3305234 0
[pid=15571/tid=15572] ppid=15568 vsize=13270076 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15572/stat : 15572 (java) R 15568 15571 14399 0 -1 4202560 11468 0 0 0 139 5 0 0 20 0 20 0 4484314 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793685003848 139793290490536 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15574] ppid=15568 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15574/stat : 15574 (java) S 15568 15571 14399 0 -1 1077944384 71 0 0 0 0 1 0 0 20 0 20 0 4484315 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793612909328 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15575] ppid=15568 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15575/stat : 15575 (java) S 15568 15571 14399 0 -1 1077944384 11 0 0 0 0 1 0 0 20 0 20 0 4484315 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793611856784 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15576] ppid=15568 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15576/stat : 15576 (java) S 15568 15571 14399 0 -1 1077944384 234 0 0 0 0 1 0 0 20 0 20 0 4484315 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793610804240 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15577] ppid=15568 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15577/stat : 15577 (java) S 15568 15571 14399 0 -1 1077944384 22 0 0 0 0 1 0 0 20 0 20 0 4484315 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793609751696 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15578] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15578/stat : 15578 (java) S 15568 15571 14399 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4484315 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793608698128 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15579] ppid=15568 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15579/stat : 15579 (java) S 15568 15571 14399 0 -1 1077944384 337 0 0 0 1 0 0 0 20 0 20 0 4484315 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793607645584 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15580] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15580/stat : 15580 (java) S 15568 15571 14399 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 20 0 4484315 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793606593040 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15581] ppid=15568 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15581/stat : 15581 (java) S 15568 15571 14399 0 -1 1077944384 10 0 0 0 0 1 0 0 20 0 20 0 4484315 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793605540496 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15582] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15582/stat : 15582 (java) S 15568 15571 14399 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 4484317 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793144338928 139793680784002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15583] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15583/stat : 15583 (java) S 15568 15571 14399 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4484318 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793143285152 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15584] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15584/stat : 15584 (java) S 15568 15571 14399 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 4484318 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793142232560 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15585] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15585/stat : 15585 (java) S 15568 15571 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4484322 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793141181136 139793680791451 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15586] ppid=15568 vsize=13270076 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15586/stat : 15586 (java) S 15568 15571 14399 0 -1 1077944384 2310 0 0 0 58 0 0 0 20 0 20 0 4484322 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793140127728 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15587] ppid=15568 vsize=13270076 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15587/stat : 15587 (java) S 15568 15571 14399 0 -1 1077944384 1649 0 0 0 52 0 0 0 20 0 20 0 4484322 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793139075184 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15588] ppid=15568 vsize=13270076 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15588/stat : 15588 (java) R 15568 15571 14399 0 -1 4202560 4291 0 0 0 66 1 0 0 20 0 20 0 4484322 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793138008520 139793664160077 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15589] ppid=15568 vsize=13270076 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15589/stat : 15589 (java) S 15568 15571 14399 0 -1 1077944384 7297 0 0 0 83 1 0 0 20 0 20 0 4484322 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793136970096 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15590] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15590/stat : 15590 (java) S 15568 15571 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4484322 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793135917792 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15591] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15591/stat : 15591 (java) S 15568 15571 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4484323 13588557824 59344 33554432000 4194304 4196468 140726249748960 139793134865328 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 13270076

[startup+3.10078 s]
/proc/loadavg: 1.57 1.46 1.50 3/281 15591
/proc/meminfo: memFree=31093672/32770624 swapFree=5912/243544
[pid=15571] ppid=15568 vsize=13270076 CPUtime=8.13 cores=0,2,4,6,8,10,12,14
/proc/15571/stat : 15571 (java) S 15568 15571 14399 0 -1 1077944320 33347 0 0 0 743 70 0 0 20 0 20 0 4484313 13588557824 111093 33554432000 4194304 4196468 140726249748960 140726249731504 139793680772855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
/proc/15571/statm: 3317519 111093 3828 1 0 3305234 0
[pid=15571/tid=15572] ppid=15568 vsize=13270076 CPUtime=2.92 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15572/stat : 15572 (java) R 15568 15571 14399 0 -1 4202560 12907 0 0 0 285 7 0 0 20 0 20 0 4484314 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793685008424 139793292958035 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15574] ppid=15568 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15574/stat : 15574 (java) S 15568 15571 14399 0 -1 1077944384 126 0 0 0 5 7 0 0 20 0 20 0 4484315 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793612909328 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15575] ppid=15568 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15575/stat : 15575 (java) S 15568 15571 14399 0 -1 1077944384 80 0 0 0 5 7 0 0 20 0 20 0 4484315 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793611856784 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15576] ppid=15568 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15576/stat : 15576 (java) S 15568 15571 14399 0 -1 1077944384 289 0 0 0 5 7 0 0 20 0 20 0 4484315 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793610804240 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15577] ppid=15568 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15577/stat : 15577 (java) S 15568 15571 14399 0 -1 1077944384 73 0 0 0 5 7 0 0 20 0 20 0 4484315 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793609751696 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15578] ppid=15568 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15578/stat : 15578 (java) S 15568 15571 14399 0 -1 1077944384 71 0 0 0 5 6 0 0 20 0 20 0 4484315 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793608698128 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15579] ppid=15568 vsize=13270076 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15579/stat : 15579 (java) S 15568 15571 14399 0 -1 1077944384 397 0 0 0 5 6 0 0 20 0 20 0 4484315 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793607645584 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15580] ppid=15568 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15580/stat : 15580 (java) S 15568 15571 14399 0 -1 1077944384 121 0 0 0 5 7 0 0 20 0 20 0 4484315 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793606593040 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15581] ppid=15568 vsize=13270076 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15581/stat : 15581 (java) S 15568 15571 14399 0 -1 1077944384 67 0 0 0 5 7 0 0 20 0 20 0 4484315 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793605540496 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15582] ppid=15568 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15582/stat : 15582 (java) S 15568 15571 14399 0 -1 1077944384 646 0 0 0 1 0 0 0 20 0 20 0 4484317 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793144338928 139793680784002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15583] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15583/stat : 15583 (java) S 15568 15571 14399 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4484318 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793143285216 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15584] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15584/stat : 15584 (java) S 15568 15571 14399 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 4484318 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793142232576 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15585] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15585/stat : 15585 (java) S 15568 15571 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4484322 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793141181136 139793680791451 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15586] ppid=15568 vsize=13270076 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15586/stat : 15586 (java) S 15568 15571 14399 0 -1 1077944384 2999 0 0 0 100 0 0 0 20 0 20 0 4484322 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793140127728 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15587] ppid=15568 vsize=13270076 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15587/stat : 15587 (java) S 15568 15571 14399 0 -1 1077944384 2158 0 0 0 96 1 0 0 20 0 20 0 4484322 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793139075184 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15588] ppid=15568 vsize=13270076 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15588/stat : 15588 (java) R 15568 15571 14399 0 -1 4202560 4500 0 0 0 118 1 0 0 20 0 20 0 4484322 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793138022936 139793664258755 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15589] ppid=15568 vsize=13270076 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15589/stat : 15589 (java) S 15568 15571 14399 0 -1 1077944384 7476 0 0 0 95 1 0 0 20 0 20 0 4484322 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793136970096 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15590] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15590/stat : 15590 (java) S 15568 15571 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4484322 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793135917792 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15591] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15591/stat : 15591 (java) S 15568 15571 14399 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4484323 13588557824 111093 33554432000 4194304 4196468 140726249748960 139793134865328 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
Current children cumulated CPU time (s) 8.13
Current children cumulated vsize (KiB) 13270076

[startup+6.30081 s]
/proc/loadavg: 1.57 1.46 1.50 3/281 15591
/proc/meminfo: memFree=30902996/32770624 swapFree=5912/243552
[pid=15571] ppid=15568 vsize=13270076 CPUtime=12.22 cores=0,2,4,6,8,10,12,14
/proc/15571/stat : 15571 (java) S 15568 15571 14399 0 -1 1077944320 35068 0 0 0 1120 102 0 0 20 0 20 0 4484313 13588557824 181235 33554432000 4194304 4196468 140726249748960 140726249731504 139793680772855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
/proc/15571/statm: 3317519 181235 3837 1 0 3305234 0
[pid=15571/tid=15572] ppid=15568 vsize=13270076 CPUtime=6.04 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15572/stat : 15572 (java) R 15568 15571 14399 0 -1 4202560 13446 0 0 0 593 11 0 0 20 0 20 0 4484314 13588557824 181235 33554432000 4194304 4196468 140726249748960 139793685010976 139793287504046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15574] ppid=15568 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15574/stat : 15574 (java) S 15568 15571 14399 0 -1 1077944384 166 0 0 0 9 9 0 0 20 0 20 0 4484315 13588557824 181235 33554432000 4194304 4196468 140726249748960 139793612909328 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15575] ppid=15568 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15575/stat : 15575 (java) S 15568 15571 14399 0 -1 1077944384 274 0 0 0 9 10 0 0 20 0 20 0 4484315 13588557824 181235 33554432000 4194304 4196468 140726249748960 139793611856784 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15576] ppid=15568 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15576/stat : 15576 (java) S 15568 15571 14399 0 -1 1077944384 326 0 0 0 8 11 0 0 20 0 20 0 4484315 13588557824 181235 33554432000 4194304 4196468 140726249748960 139793610804240 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15577] ppid=15568 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15577/stat : 15577 (java) S 15568 15571 14399 0 -1 1077944384 160 0 0 0 7 11 0 0 20 0 20 0 4484315 13588557824 181235 33554432000 4194304 4196468 140726249748960 139793609751696 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15578] ppid=15568 vsize=13270076 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15578/stat : 15578 (java) S 15568 15571 14399 0 -1 1077944384 117 0 0 0 9 8 0 0 20 0 20 0 4484315 13588557824 181235 33554432000 4194304 4196468 140726249748960 139793608698128 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15579] ppid=15568 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15579/stat : 15579 (java) S 15568 15571 14399 0 -1 1077944384 430 0 0 0 8 11 0 0 20 0 20 0 4484315 13588557824 181235 33554432000 4194304 4196468 140726249748960 139793607645584 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15580] ppid=15568 vsize=13270076 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15580/stat : 15580 (java) S 15568 15571 14399 0 -1 1077944384 160 0 0 0 8 11 0 0 20 0 20 0 4484315 13588557824 181235 33554432000 4194304 4196468 140726249748960 139793606593040 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15581] ppid=15568 vsize=13270076 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15581/stat : 15581 (java) S 15568 15571 14399 0 -1 1077944384 111 0 0 0 8 10 0 0 20 0 20 0 4484315 13588557824 181235 33554432000 4194304 4196468 140726249748960 139793605540496 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15582] ppid=15568 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15582/stat : 15582 (java) S 15568 15571 14399 0 -1 1077944384 1062 0 0 0 1 0 0 0 20 0 20 0 4484317 13588557824 181235 33554432000 4194304 4196468 140726249748960 139793144338928 139793680784002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15583] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15583/stat : 15583 (java) S 15568 15571 14399 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4484318 13588557824 181235 33554432000 4194304 4196468 140726249748960 139793143285216 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15584] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15584/stat : 15584 (java) S 15568 15571 14399 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 4484318 13588557824 181235 33554432000 4194304 4196468 140726249748960 139793142232576 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15585] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=15571/tid=15587] ppid=15568 vsize=13270076 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15587/stat : 15587 (java) S 15568 15571 14399 0 -1 1077944384 5370 0 0 0 151 2 0 0 20 0 20 0 4484322 13588557824 767277 33554432000 4194304 4196468 140726249748960 139793139075184 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15588] ppid=15568 vsize=13270076 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15588/stat : 15588 (java) S 15568 15571 14399 0 -1 1077944384 6626 0 0 0 167 1 0 0 20 0 20 0 4484322 13588557824 767277 33554432000 4194304 4196468 140726249748960 139793138022640 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15589] ppid=15568 vsize=13270076 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15589/stat : 15589 (java) S 15568 15571 14399 0 -1 1077944384 10834 0 0 0 104 2 0 0 20 0 20 0 4484322 13588557824 767277 33554432000 4194304 4196468 140726249748960 139793136970096 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15590] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15590/stat : 15590 (java) S 15568 15571 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4484322 13588557824 767277 33554432000 4194304 4196468 140726249748960 139793135917792 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15591] ppid=15568 vsize=13270076 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15591/stat : 15591 (java) S 15568 15571 14399 0 -1 1077944384 1545 0 0 0 53 53 0 0 20 0 20 0 4484323 13588557824 767277 33554432000 4194304 4196468 140726249748960 139793134865328 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
Current children cumulated CPU time (s) 2309.66
Current children cumulated vsize (KiB) 13270076

[startup+2322.3 s]
/proc/loadavg: 1.12 1.28 1.38 3/281 15869
/proc/meminfo: memFree=25521432/32770624 swapFree=5912/246072
[pid=15571] ppid=15568 vsize=13270076 CPUtime=2371.06 cores=0,2,4,6,8,10,12,14
/proc/15571/stat : 15571 (java) S 15568 15571 14399 0 -1 1077944320 245302 0 0 0 236658 448 0 0 20 0 20 0 4484313 13588557824 767789 33554432000 4194304 4196468 140726249748960 140726249731504 139793680772855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
/proc/15571/statm: 3317519 767789 3839 1 0 3305234 0
[pid=15571/tid=15572] ppid=15568 vsize=13270076 CPUtime=2310.32 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15572/stat : 15572 (java) R 15568 15571 14399 0 -1 4202560 89021 0 0 0 230966 66 0 0 20 0 20 0 4484314 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793685011216 139793293074387 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15574] ppid=15568 vsize=13270076 CPUtime=6.37 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15574/stat : 15574 (java) S 15568 15571 14399 0 -1 1077944384 11992 0 0 0 596 41 0 0 20 0 20 0 4484315 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793612909328 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15575] ppid=15568 vsize=13270076 CPUtime=6.34 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15575/stat : 15575 (java) S 15568 15571 14399 0 -1 1077944384 10230 0 0 0 590 44 0 0 20 0 20 0 4484315 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793611856784 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15576] ppid=15568 vsize=13270076 CPUtime=6.31 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15576/stat : 15576 (java) S 15568 15571 14399 0 -1 1077944384 13071 0 0 0 587 44 0 0 20 0 20 0 4484315 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793610804240 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15577] ppid=15568 vsize=13270076 CPUtime=6.3 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15577/stat : 15577 (java) S 15568 15571 14399 0 -1 1077944384 14551 0 0 0 588 42 0 0 20 0 20 0 4484315 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793609751696 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15578] ppid=15568 vsize=13270076 CPUtime=6.37 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15578/stat : 15578 (java) S 15568 15571 14399 0 -1 1077944384 13139 0 0 0 598 39 0 0 20 0 20 0 4484315 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793608698128 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15579] ppid=15568 vsize=13270076 CPUtime=6.34 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15579/stat : 15579 (java) S 15568 15571 14399 0 -1 1077944384 12442 0 0 0 593 41 0 0 20 0 20 0 4484315 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793607645584 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15580] ppid=15568 vsize=13270076 CPUtime=6.4 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15580/stat : 15580 (java) S 15568 15571 14399 0 -1 1077944384 14242 0 0 0 595 45 0 0 20 0 20 0 4484315 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793606593040 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15581] ppid=15568 vsize=13270076 CPUtime=6.39 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15581/stat : 15581 (java) S 15568 15571 14399 0 -1 1077944384 13033 0 0 0 595 44 0 0 20 0 20 0 4484315 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793605540496 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15582] ppid=15568 vsize=13270076 CPUtime=3.03 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15582/stat : 15582 (java) S 15568 15571 14399 0 -1 1077944384 22276 0 0 0 280 23 0 0 20 0 20 0 4484317 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793144338928 139793680784002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15583] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15583/stat : 15583 (java) S 15568 15571 14399 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 4484318 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793143285216 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15584] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15584/stat : 15584 (java) S 15568 15571 14399 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4484318 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793142232576 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15585] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15585/stat : 15585 (java) S 15568 15571 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4484322 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793141181136 139793680791451 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15586] ppid=15568 vsize=13270076 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15586/stat : 15586 (java) S 15568 15571 14399 0 -1 1077944384 5444 0 0 0 139 1 0 0 20 0 20 0 4484322 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793140127728 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15587] ppid=15568 vsize=13270076 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15587/stat : 15587 (java) S 15568 15571 14399 0 -1 1077944384 5374 0 0 0 151 2 0 0 20 0 20 0 4484322 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793139075184 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15588] ppid=15568 vsize=13270076 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15588/stat : 15588 (java) S 15568 15571 14399 0 -1 1077944384 6630 0 0 0 167 1 0 0 20 0 20 0 4484322 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793138022640 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15589] ppid=15568 vsize=13270076 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15589/stat : 15589 (java) S 15568 15571 14399 0 -1 1077944384 10838 0 0 0 104 2 0 0 20 0 20 0 4484322 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793136970096 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15590] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15590/stat : 15590 (java) S 15568 15571 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4484322 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793135917792 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15591] ppid=15568 vsize=13270076 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15591/stat : 15591 (java) S 15568 15571 14399 0 -1 1077944384 1580 0 0 0 55 54 0 0 20 0 20 0 4484323 13588557824 767789 33554432000 4194304 4196468 140726249748960 139793134865328 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
Current children cumulated CPU time (s) 2371.06
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2350.5 s]
/proc/loadavg: 1.01 1.24 1.37 3/281 15870
/proc/meminfo: memFree=25518996/32770624 swapFree=5912/246108
[pid=15571] ppid=15568 vsize=13270076 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/15571/stat : 15571 (java) S 15568 15571 14399 0 -1 1077944320 246895 0 0 0 239548 452 0 0 20 0 20 0 4484313 13588557824 768301 33554432000 4194304 4196468 140726249748960 140726249731504 139793680772855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
/proc/15571/statm: 3317519 768301 3839 1 0 3305234 0
[pid=15571/tid=15572] ppid=15568 vsize=13270076 CPUtime=2338.31 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15572/stat : 15572 (java) R 15568 15571 14399 0 -1 4202560 89575 0 0 0 233765 66 0 0 20 0 20 0 4484314 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793685011152 139793293906254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15574] ppid=15568 vsize=13270076 CPUtime=6.48 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15574/stat : 15574 (java) S 15568 15571 14399 0 -1 1077944384 12181 0 0 0 607 41 0 0 20 0 20 0 4484315 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793612909328 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15575] ppid=15568 vsize=13270076 CPUtime=6.45 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15575/stat : 15575 (java) S 15568 15571 14399 0 -1 1077944384 10305 0 0 0 601 44 0 0 20 0 20 0 4484315 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793611856784 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15576] ppid=15568 vsize=13270076 CPUtime=6.42 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15576/stat : 15576 (java) S 15568 15571 14399 0 -1 1077944384 13179 0 0 0 597 45 0 0 20 0 20 0 4484315 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793610804240 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15577] ppid=15568 vsize=13270076 CPUtime=6.4 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15577/stat : 15577 (java) S 15568 15571 14399 0 -1 1077944384 14570 0 0 0 598 42 0 0 20 0 20 0 4484315 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793609751696 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15578] ppid=15568 vsize=13270076 CPUtime=6.47 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15578/stat : 15578 (java) S 15568 15571 14399 0 -1 1077944384 13202 0 0 0 608 39 0 0 20 0 20 0 4484315 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793608698128 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15579] ppid=15568 vsize=13270076 CPUtime=6.45 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15579/stat : 15579 (java) S 15568 15571 14399 0 -1 1077944384 12493 0 0 0 604 41 0 0 20 0 20 0 4484315 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793607645584 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15580] ppid=15568 vsize=13270076 CPUtime=6.52 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15580/stat : 15580 (java) S 15568 15571 14399 0 -1 1077944384 14392 0 0 0 607 45 0 0 20 0 20 0 4484315 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793606593040 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15581] ppid=15568 vsize=13270076 CPUtime=6.5 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15581/stat : 15581 (java) S 15568 15571 14399 0 -1 1077944384 13211 0 0 0 606 44 0 0 20 0 20 0 4484315 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793605540496 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15582] ppid=15568 vsize=13270076 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15582/stat : 15582 (java) S 15568 15571 14399 0 -1 1077944384 22457 0 0 0 285 23 0 0 20 0 20 0 4484317 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793144338928 139793680784002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15583] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15583/stat : 15583 (java) S 15568 15571 14399 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 4484318 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793143285216 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15584] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15584/stat : 15584 (java) S 15568 15571 14399 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4484318 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793142232576 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15585] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15585/stat : 15585 (java) S 15568 15571 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4484322 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793141181136 139793680791451 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15586] ppid=15568 vsize=13270076 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15586/stat : 15586 (java) S 15568 15571 14399 0 -1 1077944384 5448 0 0 0 139 1 0 0 20 0 20 0 4484322 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793140127728 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15587] ppid=15568 vsize=13270076 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15587/stat : 15587 (java) S 15568 15571 14399 0 -1 1077944384 5378 0 0 0 151 2 0 0 20 0 20 0 4484322 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793139075184 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15588] ppid=15568 vsize=13270076 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15588/stat : 15588 (java) S 15568 15571 14399 0 -1 1077944384 6634 0 0 0 167 1 0 0 20 0 20 0 4484322 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793138022640 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15589] ppid=15568 vsize=13270076 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15589/stat : 15589 (java) S 15568 15571 14399 0 -1 1077944384 10842 0 0 0 104 2 0 0 20 0 20 0 4484322 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793136970096 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15590] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15590/stat : 15590 (java) S 15568 15571 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4484322 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793135917792 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15591] ppid=15568 vsize=13270076 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15591/stat : 15591 (java) S 15568 15571 14399 0 -1 1077944384 1589 0 0 0 55 55 0 0 20 0 20 0 4484323 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793134865328 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
Current children cumulated CPU time (s) 2400
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 15571 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2350.5 s]
/proc/loadavg: 1.01 1.24 1.37 3/281 15870
/proc/meminfo: memFree=25518996/32770624 swapFree=5912/246108
[pid=15571] ppid=15568 vsize=13270076 CPUtime=2400 cores=0,2,4,6,8,10,12,14
/proc/15571/stat : 15571 (java) S 15568 15571 14399 0 -1 1077944320 246895 0 0 0 239548 452 0 0 20 0 20 0 4484313 13588557824 768301 33554432000 4194304 4196468 140726249748960 140726249731504 139793680772855 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
/proc/15571/statm: 3317519 768301 3839 1 0 3305234 0
[pid=15571/tid=15572] ppid=15568 vsize=13270076 CPUtime=2338.31 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15572/stat : 15572 (java) R 15568 15571 14399 0 -1 4202560 89575 0 0 0 233765 66 0 0 20 0 20 0 4484314 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793685011152 139793293906254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15574] ppid=15568 vsize=13270076 CPUtime=6.48 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15574/stat : 15574 (java) S 15568 15571 14399 0 -1 1077944384 12181 0 0 0 607 41 0 0 20 0 20 0 4484315 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793612909328 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15575] ppid=15568 vsize=13270076 CPUtime=6.45 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15575/stat : 15575 (java) S 15568 15571 14399 0 -1 1077944384 10305 0 0 0 601 44 0 0 20 0 20 0 4484315 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793611856784 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15576] ppid=15568 vsize=13270076 CPUtime=6.42 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15576/stat : 15576 (java) S 15568 15571 14399 0 -1 1077944384 13179 0 0 0 597 45 0 0 20 0 20 0 4484315 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793610804240 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15577] ppid=15568 vsize=13270076 CPUtime=6.4 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15577/stat : 15577 (java) S 15568 15571 14399 0 -1 1077944384 14570 0 0 0 598 42 0 0 20 0 20 0 4484315 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793609751696 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15578] ppid=15568 vsize=13270076 CPUtime=6.47 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15578/stat : 15578 (java) S 15568 15571 14399 0 -1 1077944384 13202 0 0 0 608 39 0 0 20 0 20 0 4484315 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793608698128 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15579] ppid=15568 vsize=13270076 CPUtime=6.45 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15579/stat : 15579 (java) S 15568 15571 14399 0 -1 1077944384 12493 0 0 0 604 41 0 0 20 0 20 0 4484315 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793607645584 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15580] ppid=15568 vsize=13270076 CPUtime=6.52 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15580/stat : 15580 (java) S 15568 15571 14399 0 -1 1077944384 14392 0 0 0 607 45 0 0 20 0 20 0 4484315 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793606593040 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15581] ppid=15568 vsize=13270076 CPUtime=6.5 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15581/stat : 15581 (java) S 15568 15571 14399 0 -1 1077944384 13211 0 0 0 606 44 0 0 20 0 20 0 4484315 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793605540496 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15582] ppid=15568 vsize=13270076 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15582/stat : 15582 (java) S 15568 15571 14399 0 -1 1077944384 22457 0 0 0 285 23 0 0 20 0 20 0 4484317 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793144338928 139793680784002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15583] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15583/stat : 15583 (java) S 15568 15571 14399 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 4484318 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793143285216 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15584] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15584/stat : 15584 (java) S 15568 15571 14399 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 4484318 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793142232576 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15585] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15585/stat : 15585 (java) S 15568 15571 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4484322 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793141181136 139793680791451 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15586] ppid=15568 vsize=13270076 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15586/stat : 15586 (java) S 15568 15571 14399 0 -1 1077944384 5448 0 0 0 139 1 0 0 20 0 20 0 4484322 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793140127728 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15587] ppid=15568 vsize=13270076 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15587/stat : 15587 (java) S 15568 15571 14399 0 -1 1077944384 5378 0 0 0 151 2 0 0 20 0 20 0 4484322 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793139075184 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15588] ppid=15568 vsize=13270076 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15588/stat : 15588 (java) S 15568 15571 14399 0 -1 1077944384 6634 0 0 0 167 1 0 0 20 0 20 0 4484322 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793138022640 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15589] ppid=15568 vsize=13270076 CPUtime=1.06 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15589/stat : 15589 (java) S 15568 15571 14399 0 -1 1077944384 10842 0 0 0 104 2 0 0 20 0 20 0 4484322 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793136970096 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15590] ppid=15568 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15590/stat : 15590 (java) S 15568 15571 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4484322 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793135917792 139793680783061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
[pid=15571/tid=15591] ppid=15568 vsize=13270076 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/15571/task/15591/stat : 15591 (java) S 15568 15571 14399 0 -1 1077944384 1589 0 0 0 55 55 0 0 20 0 20 0 4484323 13588557824 768301 33554432000 4194304 4196468 140726249748960 139793134865328 139793680784002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21028864 140726249751690 140726249751876 140726249751876 140726249754575 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2350.54
CPU time (s): 2400.09
CPU user time (s): 2395.55
CPU system time (s): 4.54059
CPU usage (%): 102.108
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.55
system time used= 4.54059
maximum resident set size= 3526188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247352
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 186670
involuntary context switches= 150482

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5073 second user time and 20.911 second system time

The end

Launcher Data

Begin job on node150 at 2017-07-22 04:56:32
IDJOB=4244763
IDBENCH=115896
IDSOLVER=2628
FILE ID=node150/4244763-1500692192
RUNJOBID= node150-1500682654-14430
PBS_JOBID= 20623331
Free space on /tmp= 61984 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-37.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244763-1500692192/watcher-4244763-1500692192 -o /tmp/evaluation-result-4244763-1500692192/solver-4244763-1500692192 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1500682654-14430 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 886359486 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4244763-1500692192.xml

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

MD5SUM BENCH= 45cb885f577274590a53a0b26d80d877
RANDOM SEED=886359486

node150.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		: 2667.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.10
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.10
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.10
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.10
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.10
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		: 1867.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.10
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.10
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		: 2267.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.10
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		: 1867.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:        31520436 kB
MemAvailable:   31764300 kB
Buffers:          108236 kB
Cached:           416412 kB
SwapCached:            0 kB
Active:           562116 kB
Inactive:         252000 kB
Active(anon):     291968 kB
Inactive(anon):     8728 kB
Active(file):     270148 kB
Inactive(file):   243272 kB
Unevictable:        5912 kB
Mlocked:            5912 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42060 kB
Writeback:            16 kB
AnonPages:        296832 kB
Mapped:            45176 kB
Shmem:              8848 kB
Slab:             126456 kB
SReclaimable:      92556 kB
SUnreclaim:        33900 kB
KernelStack:        4544 kB
PageTables:         5988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1150028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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= 61944 MiB
End job on node150 at 2017-07-22 05:35:43