Trace number 4262188

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
Concrete 3.4SAT (TO)727 2520.1499 2453.95

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-44.xml
MD5SUM4997da7be544d89c7d7e917a89d7c5a2
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark941
Best CPU time to get the best result obtained on this benchmark2519.6799
Satisfiable
(Un)Satisfiability was proved
Number of variables4279
Number of constraints2384
Number of domains4
Minimum domain size2
Maximum domain size4233
Distribution of domain sizes[{"size":2,"count":2116},{"size":3,"count":2116},{"size":1937,"count":1},{"size":4233,"count":46}]
Minimum variable degree1
Maximum variable degree47
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":2113},{"degree":3,"count":49},{"degree":4,"count":176},{"degree":8,"count":172},{"degree":9,"count":1764},{"degree":47,"count":1}]
Minimum constraint arity2
Maximum constraint arity48
Distribution of constraint arities[{"arity":2,"count":222},{"arity":3,"count":176},{"arity":10,"count":1936},{"arity":46,"count":4},{"arity":47,"count":1},{"arity":48,"count":45}]
Number of extensional constraints2112
Number of intensional constraints221
Distribution of constraint types[{"type":"extension","count":2112},{"type":"intension","count":221},{"type":"sum","count":47},{"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 

3.19/2.66	c Concrete v3.4 running
19.65/9.37	% 04:33:53.013 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12225. 'extension(false, x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: MDD 1879644274, 3 edges, 4 vertices, 1 tuples
19.97/9.40	% 04:33:53.045 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12354. 'extension(false, x[1][44]: {[0?1]}, x[2][44]: {[0?1]}) :: init: true :: relation: MDD 957736899, 3 edges, 4 vertices, 1 tuples
19.97/9.40	% 04:33:53.047 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12359. 'extension(x[43][1]: {[0?1]}, x[44][1]: {[0?1]}, false) :: init: true :: relation: MDD 1879644274, 3 edges, 4 vertices, 1 tuples
19.97/9.42	% 04:33:53.068 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12488. 'extension(x[43][44]: {[0?1]}, x[44][44]: {[0?1]}, false) :: init: true :: relation: MDD 957736899, 3 edges, 4 vertices, 1 tuples
19.97/9.42	% 04:33:53.069 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12492. 'extension(false, x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: MDD 1342373353, 3 edges, 4 vertices, 1 tuples
19.97/9.44	% 04:33:53.084 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12621. 'extension(false, x[44][1]: {[0?1]}, x[44][2]: {[0?1]}) :: init: true :: relation: MDD 229483317, 3 edges, 4 vertices, 1 tuples
19.97/9.44	% 04:33:53.086 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12624. 'extension(x[1][43]: {[0?1]}, x[1][44]: {[0?1]}, false) :: init: true :: relation: MDD 1342373353, 3 edges, 4 vertices, 1 tuples
19.97/9.46	% 04:33:53.104 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12753. 'extension(x[44][43]: {[0?1]}, x[44][44]: {[0?1]}, false) :: init: true :: relation: MDD 229483317, 3 edges, 4 vertices, 1 tuples
19.97/9.46	% 04:33:53.105 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12757. 'extension(x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: Empty MDD
19.97/9.47	% 04:33:53.111 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12841. 'extension(x[1][44]: {[0?1]}, x[2][44]: {[0?1]}) :: init: true :: relation: Empty MDD
19.97/9.47	% 04:33:53.112 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12845. 'extension(x[43][1]: {[0?1]}, x[44][1]: {[0?1]}) :: init: true :: relation: Empty MDD
19.97/9.48	% 04:33:53.118 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12929. 'extension(x[43][44]: {[0?1]}, x[44][44]: {[0?1]}) :: init: true :: relation: Empty MDD
19.97/9.48	% 04:33:53.119 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 12933. 'extension(x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: Empty MDD
19.97/9.48	% 04:33:53.125 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 13019. 'extension(x[44][1]: {[0?1]}, x[44][2]: {[0?1]}) :: init: true :: relation: Empty MDD
19.97/9.48	% 04:33:53.126 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 13025. 'extension(x[1][43]: {[0?1]}, x[1][44]: {[0?1]}) :: init: true :: relation: Empty MDD
19.97/9.49	% 04:33:53.133 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 13111. 'extension(x[44][43]: {[0?1]}, x[44][44]: {[0?1]}) :: init: true :: relation: Empty MDD
179.24/147.40	o 13
180.55/147.97	o 23
181.21/148.36	o 24
181.82/148.89	o 27
182.47/149.40	o 28
183.06/149.81	o 29
183.51/150.26	o 30
183.91/150.69	o 31
184.72/151.40	o 32
185.14/151.90	o 47
185.67/152.34	o 48
186.07/152.75	o 49
186.47/153.13	o 50
186.87/153.53	o 51
187.27/153.98	o 52
187.77/154.40	o 53
188.17/154.83	o 54
188.68/155.30	o 55
189.09/155.71	o 56
189.59/156.23	o 123
190.14/156.72	o 124
190.64/157.23	o 125
191.25/157.81	o 126
191.65/158.24	o 127
192.05/158.69	o 128
192.55/159.11	o 129
192.98/159.55	o 130
193.57/160.17	o 131
194.09/160.66	o 132
195.35/161.89	o 133
195.95/162.41	o 134
196.35/162.89	o 135
196.75/163.29	o 136
197.35/163.82	o 137
198.18/164.67	o 138
200.35/166.72	o 212
200.95/167.27	o 213
201.44/167.79	o 214
202.05/168.35	o 215
202.54/168.81	o 216
203.75/170.01	o 217
204.55/170.90	o 218
205.15/171.44	o 219
205.55/171.88	o 220
207.98/173.91	o 221
208.78/174.76	o 230
209.29/175.29	o 231
210.79/176.78	o 232
211.31/177.26	o 233
212.10/178.06	o 234
212.60/178.51	o 235
213.66/179.51	o 236
214.16/180.00	o 237
214.66/180.52	o 238
215.26/181.11	o 239
216.51/182.31	o 240
217.01/182.82	o 241
217.58/183.30	o 242
218.23/183.86	o 243
219.43/185.03	o 244
220.28/185.83	o 245
220.79/186.34	o 246
221.99/187.52	o 247
223.09/188.67	o 248
223.59/189.11	o 249
224.30/189.89	o 250
225.20/190.79	o 251
225.70/191.26	o 252
226.56/192.07	o 253
227.46/192.94	o 254
228.36/193.87	o 255
228.86/194.36	o 256
229.36/194.85	o 257
229.86/195.33	o 258
231.76/197.28	o 259
232.76/198.28	o 260
233.85/199.24	o 261
234.65/200.05	o 262
235.25/200.64	o 263
235.75/201.16	o 264
236.25/201.62	o 265
237.06/202.43	o 266
238.66/204.03	o 267
239.16/204.53	o 268
239.76/205.04	o 269
240.46/205.78	o 270
240.96/206.27	o 271
242.16/207.48	o 272
242.77/208.04	o 273
243.66/208.96	o 274
244.16/209.43	o 275
244.87/210.17	o 276
247.14/212.35	o 277
249.61/214.71	o 278
250.01/215.20	o 279
250.61/215.80	o 280
251.51/216.60	o 281
252.41/217.59	o 282
253.22/218.20	o 283
256.12/221.13	o 284
256.92/221.93	o 285
257.72/222.78	o 286
258.32/223.31	o 287
259.71/224.60	o 288
260.91/225.88	o 289
262.12/227.02	o 290
262.62/227.54	o 291
265.50/230.33	o 292
266.07/230.87	o 293
266.69/231.41	o 294
267.19/231.95	o 295
270.10/234.87	o 296
272.70/237.35	o 297
274.00/238.60	o 298
275.91/240.59	o 299
277.53/242.17	o 300
278.08/242.67	o 301
278.69/243.22	o 324
279.19/243.79	o 325
279.80/244.30	o 326
281.49/246.02	o 327
282.00/246.59	o 328
282.49/247.04	o 329
283.47/247.91	o 330
283.97/248.45	o 331
284.57/249.01	o 332
285.38/249.81	o 333
285.78/250.27	o 334
287.28/251.70	o 335
287.78/252.22	o 336
289.19/253.53	o 337
289.69/254.02	o 338
290.99/255.35	o 339
293.18/257.41	o 340
294.50/258.76	o 341
295.11/259.35	o 342
297.30/261.43	o 343
298.51/262.69	o 344
299.01/263.19	o 345
300.11/264.25	o 346
301.01/265.19	o 347
306.12/270.09	o 348
307.53/271.46	o 349
308.52/272.40	o 350
309.22/273.19	o 351
309.72/273.68	o 352
310.32/274.21	o 353
314.33/277.49	o 354
318.16/281.00	o 355
319.51/282.32	o 356
320.01/282.88	o 357
320.60/283.41	o 358
322.06/284.75	o 359
322.96/285.63	o 360
323.66/286.32	o 361
324.16/286.85	o 362
326.67/289.35	o 363
327.42/289.94	o 364
328.42/290.91	o 365
330.53/293.02	o 366
331.43/293.90	o 367
333.18/295.50	o 368
333.69/296.03	o 369
334.18/296.54	o 370
335.99/298.36	o 371
338.34/300.53	o 372
338.97/301.16	o 373
339.57/301.77	o 374
341.58/303.78	o 375
342.58/304.80	o 376
343.18/305.38	o 377
343.78/305.96	o 378
345.13/307.15	o 379
346.33/308.33	o 380
347.43/309.44	o 381
348.93/310.96	o 382
350.23/312.28	o 383
352.50/314.35	o 384
354.61/316.45	o 385
369.51/330.83	o 386
373.74/334.81	o 387
379.40/340.34	o 388
380.30/341.28	o 389
381.31/342.24	o 390
383.41/344.40	o 391
384.00/344.95	o 392
386.21/347.15	o 393
391.91/352.62	o 394
392.81/353.54	o 395
394.86/355.43	o 396
396.15/356.75	o 397
402.05/362.46	o 398
402.66/363.06	o 399
403.16/363.55	o 400
403.66/364.04	o 401
405.36/365.70	o 402
410.02/370.27	o 403
410.72/370.94	o 404
412.53/372.71	o 405
416.44/376.66	o 406
417.46/377.52	o 407
421.47/381.59	o 408
423.27/383.33	o 409
424.59/384.53	o 410
425.49/385.41	o 411
426.79/386.77	o 412
428.29/388.20	o 413
429.29/389.25	o 414
430.60/390.53	o 415
436.30/396.15	o 416
437.30/397.16	o 417
440.81/400.59	o 418
441.41/401.15	o 419
442.01/401.74	o 420
442.61/402.34	o 421
443.21/402.91	o 422
444.12/403.87	o 423
446.92/406.51	o 424
448.22/407.82	o 425
449.42/409.02	o 426
450.83/410.42	o 427
452.82/412.36	o 428
455.52/415.07	o 429
456.52/416.07	o 430
458.22/417.72	o 431
458.94/418.36	o 432
459.85/419.26	o 433
460.44/419.83	o 434
462.14/421.55	o 435
462.74/422.15	o 436
463.24/422.66	o 437
463.74/423.20	o 438
465.13/424.40	o 439
468.33/427.67	o 440
470.03/429.30	o 441
471.25/430.40	o 442
472.05/431.23	o 443
472.65/431.83	o 444
473.55/432.77	o 445
474.26/433.43	o 446
475.76/434.96	o 447
479.67/438.79	o 448
480.77/439.81	o 449
482.07/441.17	o 450
494.56/453.22	o 451
495.06/453.77	o 452
496.16/454.85	o 453
497.06/455.79	o 454
503.07/461.55	o 455
504.27/462.78	o 456
505.67/464.14	o 457
508.17/466.52	o 458
509.97/468.37	o 459
510.57/468.95	o 460
513.28/471.50	o 461
514.99/473.27	o 462
518.41/476.52	o 463
520.11/478.29	o 464
523.50/481.53	o 465
524.30/482.32	o 466
526.09/484.10	o 467
626.73/582.15	o 468
627.71/583.09	o 469
630.52/585.85	o 470
631.13/586.43	o 471
640.80/595.92	o 472
675.34/629.47	o 473
676.54/630.65	o 474
677.74/631.87	o 475
686.23/640.00	o 476
686.83/640.63	o 477
688.14/641.96	o 478
689.34/643.16	o 479
690.95/644.77	o 480
692.05/645.82	o 481
694.70/648.32	o 482
695.30/648.98	o 483
696.00/649.63	o 484
697.10/650.78	o 485
698.40/652.03	o 486
699.40/653.07	o 487
700.21/653.72	o 488
701.42/654.94	o 489
702.02/655.55	o 490
702.62/656.12	o 491
703.82/657.31	o 492
704.72/658.24	o 493
705.92/659.47	o 494
711.95/665.24	o 495
713.06/666.35	o 496
713.66/666.97	o 497
715.56/668.90	o 498
717.69/670.86	o 499
718.29/671.48	o 500
721.99/675.13	o 501
725.91/678.91	o 502
729.13/682.03	o 503
764.63/716.33	o 504
768.93/720.44	o 505
769.53/721.07	o 506
772.44/723.91	o 507
780.98/732.10	o 508
783.98/735.11	o 509
785.18/736.32	o 510
786.09/737.27	o 511
787.77/738.73	o 512
788.87/739.82	o 513
791.17/742.17	o 514
792.28/743.23	o 515
796.75/747.59	o 516
799.26/750.09	o 517
802.27/753.07	o 518
804.93/755.54	o 519
806.34/756.99	o 520
810.75/761.30	o 521
813.34/763.34	o 522
816.85/766.86	o 523
818.84/768.87	o 524
821.72/771.62	o 525
822.33/772.23	o 526
827.85/777.61	o 527
829.35/779.15	o 528
836.64/786.36	o 529
837.34/787.02	o 530
840.45/790.16	o 531
842.17/791.73	o 532
857.95/807.20	o 533
882.08/830.90	o 534
885.08/833.80	o 535
886.98/835.67	o 536
892.49/841.12	o 537
899.93/848.45	o 538
900.53/849.07	o 539
903.19/851.56	o 540
903.88/852.24	o 541
905.58/853.96	o 542
907.68/856.04	o 543
909.48/857.82	o 544
914.33/862.55	o 545
915.03/863.21	o 546
918.93/867.19	o 547
924.05/872.23	o 548
925.88/873.99	o 549
926.88/874.90	o 550
927.49/875.53	o 551
946.09/893.81	o 552
948.39/896.17	o 553
957.93/905.52	o 554
960.04/907.68	o 555
962.28/909.71	o 556
969.27/916.71	o 557
977.42/924.73	o 558
979.72/927.00	o 559
980.22/927.59	o 560
981.77/928.94	o 561
983.48/930.63	o 562
997.22/944.23	o 563
1003.08/949.91	o 564
1004.08/950.91	o 565
1004.69/951.56	o 566
1005.38/952.26	o 567
1006.08/952.92	o 568
1007.39/954.24	o 569
1009.09/955.96	o 570
1012.89/959.75	o 571
1015.19/962.04	o 572
1016.94/963.63	o 573
1018.64/965.35	o 574
1020.36/967.03	o 575
1023.65/970.31	o 576
1024.35/971.04	o 577
1026.25/972.96	o 578
1027.75/974.48	o 579
1030.25/976.94	o 580
1034.30/980.82	o 581
1036.40/982.96	o 582
1042.90/989.41	o 583
1044.37/990.71	o 584
1045.77/992.16	o 585
1048.57/994.97	o 586
1050.28/996.62	o 587
1053.27/999.65	o 588
1055.08/1001.46	o 589
1055.70/1002.09	o 590
1058.51/1004.88	o 591
1063.38/1009.51	o 592
1064.68/1010.86	o 593
1108.01/1053.55	o 594
1118.64/1064.08	o 595
1119.34/1064.72	o 596
1123.74/1069.18	o 597
1124.44/1069.85	o 598
1125.64/1071.04	o 599
1127.94/1073.28	o 600
1138.24/1083.51	o 601
1173.79/1118.62	o 602
1179.50/1124.31	o 603
1180.19/1125.01	o 604
1185.10/1129.95	o 605
1187.50/1132.33	o 606
1188.40/1133.24	o 607
1190.39/1135.14	o 608
1191.09/1135.84	o 609
1192.49/1137.21	o 610
1198.09/1142.89	o 611
1200.50/1145.20	o 612
1213.30/1157.93	o 613
1216.20/1160.86	o 614
1217.70/1162.32	o 615
1218.40/1163.01	o 616
1221.01/1165.53	o 617
1221.91/1166.49	o 618
1223.71/1168.29	o 619
1225.51/1170.08	o 620
1226.60/1171.02	o 621
1227.30/1171.75	o 622
1232.21/1176.64	o 623
1235.92/1180.39	o 624
1237.92/1182.22	o 625
1239.02/1183.39	o 626
1242.43/1186.76	o 627
1252.33/1196.55	o 628
1253.53/1197.70	o 629
1259.03/1203.24	o 630
1261.73/1205.90	o 631
1264.54/1208.76	o 632
1274.36/1218.43	o 633
1278.36/1222.49	o 634
1279.46/1223.54	o 635
1286.36/1230.39	o 636
1288.07/1232.07	o 637
1291.16/1235.18	o 638
1294.67/1238.61	o 639
1297.67/1241.55	o 640
1298.38/1242.21	o 641
1300.99/1244.80	o 642
1302.29/1246.10	o 643
1302.99/1246.81	o 644
1308.00/1251.86	o 645
1309.70/1253.53	o 646
1312.00/1255.88	o 647
1313.10/1256.95	o 648
1315.58/1259.37	o 649
1316.28/1260.06	o 650
1317.18/1260.98	o 651
1348.46/1291.94	o 652
1349.28/1292.67	o 653
1356.58/1299.95	o 654
1363.80/1307.07	o 655
1368.01/1311.26	o 656
1368.71/1311.97	o 657
1369.91/1313.13	o 658
1370.61/1313.85	o 659
1373.81/1317.01	o 660
1393.74/1336.77	o 661
1395.14/1338.18	o 662
1408.99/1351.87	o 663
1416.58/1359.47	o 664
1421.42/1364.16	o 665
1422.82/1365.57	o 666
1426.72/1369.46	o 667
1440.95/1383.55	o 668
1446.86/1389.45	o 669
1448.75/1391.34	o 670
1453.86/1396.32	o 671
1455.36/1397.80	o 672
1456.06/1398.56	o 673
1456.87/1399.33	o 674
1459.96/1402.47	o 675
1461.36/1403.87	o 676
1468.67/1411.01	o 677
1484.91/1427.18	o 678
1488.41/1430.70	o 679
1489.81/1432.03	o 680
1498.14/1440.22	o 681
1509.55/1451.57	o 682
1510.76/1452.78	o 683
1516.76/1458.76	o 684
1521.76/1463.70	o 685
1534.68/1476.53	o 686
1535.39/1477.23	o 687
1538.19/1479.98	o 688
1628.55/1569.48	o 689
1633.55/1574.33	o 690
1635.45/1576.24	o 691
1636.45/1577.24	o 692
1637.95/1578.80	o 693
1638.75/1579.50	o 694
1643.15/1583.96	o 695
1659.09/1599.78	o 696
1661.31/1601.92	o 697
1665.89/1606.42	o 698
1672.20/1612.75	o 699
1673.79/1614.33	o 700
1675.59/1616.18	o 701
1678.90/1619.37	o 702
1680.80/1621.20	o 703
1684.30/1624.75	o 704
1691.70/1632.14	o 705
1696.38/1636.71	o 706
1697.69/1638.06	o 707
1704.08/1644.41	o 708
1705.69/1646.08	o 709
1709.89/1650.11	o 710
1711.58/1651.85	o 711
1810.23/1749.50	o 712
1814.41/1753.62	o 713
1818.01/1757.26	o 714
1818.72/1757.91	o 715
1820.61/1759.88	o 716
1822.41/1761.61	o 717
1828.04/1767.23	o 718
1831.54/1770.62	o 719
2097.03/2033.97	o 720
2109.02/2045.99	o 721
2117.63/2054.43	o 722
2122.43/2059.24	o 723
2174.51/2110.83	o 724
2175.81/2112.17	o 725
2177.11/2113.40	o 726
2203.50/2139.63	o 727
2520.09/2453.91	java.util.concurrent.TimeoutException
2520.09/2453.91		at concrete.MAC.mac(MAC.scala:74)
2520.09/2453.91		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.09/2453.91		at scala.util.Try$.apply(Try.scala:209)
2520.09/2453.91		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.09/2453.91		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.09/2453.91		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.09/2453.91		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.09/2453.91		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.09/2453.91		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.09/2453.91		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.09/2453.91		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.09/2453.91		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.09/2453.91		at concrete.MAC.oneRun(MAC.scala:146)
2520.09/2453.91		at concrete.MAC.nextSolution(MAC.scala:166)
2520.09/2453.91		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.09/2453.91		at concrete.ProblemState.map(ProblemState.scala:203)
2520.09/2453.91		at concrete.ProblemState.map(ProblemState.scala:188)
2520.09/2453.91		at concrete.MAC.nextSolution(MAC.scala:195)
2520.09/2453.91		at concrete.Solver.hasNext(Solver.scala:202)
2520.09/2453.91		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.09/2453.91		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.09/2453.91		at concrete.Solver.toStream(Solver.scala:73)
2520.09/2453.91		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.09/2453.91		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.09/2453.91		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.09/2453.91		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.09/2453.91		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.09/2453.91		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.09/2453.91		at scala.util.Success.map(Try.scala:209)
2520.09/2453.91		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.09/2453.91		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.09/2453.91		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.09/2453.91		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.09/2453.91		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.09/2453.91		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.09/2453.91		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.09/2453.91		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.09/2453.91		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.09/2453.91		at scala.collection.immutable.List.foreach(List.scala:389)
2520.09/2453.91		at scala.App.main(App.scala:76)
2520.09/2453.91		at scala.App.main$(App.scala:74)
2520.09/2453.91		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.09/2453.91		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.09/2453.91	v <instantiation cost="727">
2520.09/2453.91	v       <list>
2520.09/2453.91	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[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[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[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] 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[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] 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[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] 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[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] 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[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] 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[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] 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[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] 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[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] 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[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] 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[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] 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[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] 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[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] 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[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] 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[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] 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[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] 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[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] 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[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] 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[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] 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[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] 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[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] 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[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] 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[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] 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[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] 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[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] 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[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] 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[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] 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[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] 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[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] 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] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] 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[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[0][45] 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[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[1][45] 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[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[2][45] 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[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[3][45] 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[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[4][45] 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[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[5][45] 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[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[6][45] 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[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[7][45] 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[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[8][45] 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[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[9][45] 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[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[10][45] 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[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[11][45] 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[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[12][45] 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[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[13][45] 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[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[14][45] 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[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[15][45] 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[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[16][45] 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[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[17][45] 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[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[18][45] 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[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[19][45] 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[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[20][45] 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[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[21][45] 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[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[22][45] 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[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[23][45] 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[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[24][45] 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[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[25][45] 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[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[26][45] 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[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[27][45] 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[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[28][45] 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[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[29][45] 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[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[30][45] 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[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[31][45] 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[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[32][45] 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[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[33][45] 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[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[34][45] 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[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[35][45] 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[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[36][45] 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[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[37][45] 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] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[38][45] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[39][45] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[40][45] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[41][45] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[42][45] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[43][45] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] 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] ws[39] ws[40] ws[41] ws[42] ws[43] ws[44] ws[45] z
2520.09/2453.91	v       </list>
2520.09/2453.91	v       <values>
2520.09/2453.91	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 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 1 1 1 0 1 1 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 1 1 1 1 1 1 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 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 0 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 0 1 0 1 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 0 1 0 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 0 1 1 1 1 1 1 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 0 0 1 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 1 1 0 0 1 0 1 0 1 1 1 1 0 1 1 0 1 0 0 0 1 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 1 0 1 1 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 0 0 0 1 0 1 1 1 0 1 1 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 1 1 1 0 0 0 1 0 1 1 1 0 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 1 1 1 0 1 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 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 1 0 1 1 1 1 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 0 1 1 0 1 1 0 1 0 1 1 1 1 1 1 1 2 0 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 2 2 2 2 2 2 2 1 0 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 2 2 2 2 2 2 2 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 2 2 2 2 2 2 2 1 0 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 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 2 2 2 2 2 2 2 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 2 2 2 2 2 2 2 1 1 2 0 2 1 2 2 2 0 2 2 0 2 2 2 0 2 2 2 0 0 0 0 1 2 0 0 2 2 0 2 2 2 2 0 0 2 2 2 0 2 2 2 2 0 1 1 2 2 0 2 0 0 0 2 0 1 0 1 0 0 1 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 2 0 2 0 0 0 0 2 0 2 2 2 0 2 0 2 2 0 0 0 2 2 0 2 2 2 2 2 0 2 2 2 0 0 2 2 1 2 2 0 2 2 2 2 2 0 2 2 2 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 2 0 1 1 0 0 1 0 0 1 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 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 2 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 2 0 1 0 0 1 0 1 0 0 0 0 0 0 2 0 1 0 0 1 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 1 0 1 0 0 0 0 0 0 0 2 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 1 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 2 2 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 2 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 2 2 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 2 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 2 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 0 0 0 0 0 0 0 2 1 1 2 0 1 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 1 1 1 0 0 0 0 0 2 2 2 2 1 2 0 0 1 1 2 0 0 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 1 0 0 0 1 0 2 2 0 1 0 1 0 1 1 1 1 0 2 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 2 0 0 0 0 0 0 0 0 0 2 1 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 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 2 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 2 0 0 1 1 2 1 1 0 0 1 2 0 0 1 0 0 1 0 1 1 0 0 1 0 0 2 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 2 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 2 2 1 0 1 0 1 0 0 0 1 1 2 1 1 2 1 1 1 0 1 0 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 1 1 0 1 0 1 1 0 0 1 1 1 1 1 1 1 0 34 123 211 301 390 479 569 627 653 713 721 736 741 744 750 758 769 781 789 796 806 818 825 835 846 858 872 888 897 902 913 922 929 939 947 963 982 1000 1009 1021 1032 1050 1068 1084 1113 1140 727
2520.09/2453.91	v       </values>
2520.09/2453.91	v     </instantiation>
2520.09/2453.91	s SATISFIABLE

Verifier Data 

OK	727

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-4262188-1502419670/watcher-4262188-1502419670 -o /tmp/evaluation-result-4262188-1502419670/solver-4262188-1502419670 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4885 --watchdog 2580 bin/concrete HOME/instance-4262188-1502419670.xml 

pid=6140
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.47 1.33 1.35 2/198 6143
/proc/meminfo: memFree=30171988/32770624 swapFree=0/424852
[pid=6143] ppid=6140 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6143/stat : 6143 (runsolver) D 6140 6143 4821 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 89782279 24240128 107 18446744073709551615 4194304 4338465 140727091265936 140727091263576 139914692047575 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 29528064 140727091269841 140727091270217 140727091270217 140727091273674 0
/proc/6143/statm: 5918 107 54 36 0 2156 0

[startup+0.100157 s]
/proc/loadavg: 1.47 1.33 1.35 2/198 6143
/proc/meminfo: memFree=30171988/32770624 swapFree=0/424852
[pid=6143] ppid=6140 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6143/stat : 6143 (runsolver) D 6140 6143 4821 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 89782279 24240128 107 18446744073709551615 4194304 4338465 140727091265936 140727091263576 139914692047575 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 29528064 140727091269841 140727091270217 140727091270217 140727091273674 0
/proc/6143/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200297 s]
/proc/loadavg: 1.47 1.33 1.35 2/198 6143
/proc/meminfo: memFree=30171988/32770624 swapFree=0/424852
[pid=6143] ppid=6140 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6143/stat : 6143 (runsolver) D 6140 6143 4821 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 89782279 24240128 107 18446744073709551615 4194304 4338465 140727091265936 140727091263576 139914692047575 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 29528064 140727091269841 140727091270217 140727091270217 140727091273674 0
/proc/6143/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.300308 s]
/proc/loadavg: 1.47 1.33 1.35 2/198 6143
/proc/meminfo: memFree=30171988/32770624 swapFree=0/424852
[pid=6143] ppid=6140 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/6143/stat : 6143 (runsolver) D 6140 6143 4821 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 89782279 24240128 107 18446744073709551615 4194304 4338465 140727091265936 140727091263576 139914692047575 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 29528064 140727091269841 140727091270217 140727091270217 140727091273674 0
/proc/6143/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.703242 s]
/proc/loadavg: 1.47 1.33 1.35 2/198 6143
/proc/meminfo: memFree=30171988/32770624 swapFree=0/424852
[pid=6143] ppid=6140 vsize=13442388 CPUtime=0.1 cores=1,3,5,7
/proc/6143/stat : 6143 (java) S 6140 6143 4821 0 -1 1077944320 4701 12361 0 0 2 0 5 3 20 0 8 0 89782279 13765005312 3990 18446744073709551615 4194304 4196468 140724082211600 140724082194144 140406496337655 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 54 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
/proc/6143/statm: 3360597 3990 2026 1 0 3350094 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13442388

[startup+1.50065 s]
/proc/loadavg: 1.47 1.33 1.35 4/213 6206
/proc/meminfo: memFree=30127136/32770624 swapFree=0/424780
[pid=6143] ppid=6140 vsize=13979264 CPUtime=1.24 cores=1,3,5,7
/proc/6143/stat : 6143 (java) S 6140 6143 4821 0 -1 1077944320 20921 12361 0 0 110 6 5 3 20 0 15 0 89782279 14314766336 25030 18446744073709551615 4194304 4196468 140724082211600 140724082194144 140406496337655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 54 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
/proc/6143/statm: 3494816 25030 3324 1 0 3483989 0
[pid=6143/tid=6193] ppid=6140 vsize=13979264 CPUtime=0.84 cores=1,3,5,7
/proc/6143/task/6193/stat : 6193 (java) R 6140 6143 4821 0 -1 4202560 16496 12361 0 0 71 5 5 3 20 0 15 0 89782346 14314766336 25030 18446744073709551615 4194304 4196468 140724082211600 140406500559048 140406488574782 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6194] ppid=6140 vsize=13979264 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6194/stat : 6194 (java) S 6140 6143 4821 0 -1 1077944384 1 12361 0 0 0 0 5 3 20 0 15 0 89782347 14314766336 25095 18446744073709551615 4194304 4196468 140724082211600 140406453303568 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6195] ppid=6140 vsize=13979264 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6195/stat : 6195 (java) S 6140 6143 4821 0 -1 1077944384 1 12361 0 0 0 0 5 3 20 0 15 0 89782347 14314766336 25095 18446744073709551615 4194304 4196468 140724082211600 140406452251024 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6196] ppid=6140 vsize=13979264 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6196/stat : 6196 (java) S 6140 6143 4821 0 -1 1077944384 1 12361 0 0 0 0 5 3 20 0 15 0 89782347 14314766336 25095 18446744073709551615 4194304 4196468 140724082211600 140406451198480 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6197] ppid=6140 vsize=13979264 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6197/stat : 6197 (java) S 6140 6143 4821 0 -1 1077944384 2 12361 0 0 0 0 5 3 20 0 15 0 89782347 14314766336 25095 18446744073709551615 4194304 4196468 140724082211600 140406450145936 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6198] ppid=6140 vsize=13979264 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6198/stat : 6198 (java) S 6140 6143 4821 0 -1 1077944384 5 12361 0 0 0 0 5 3 20 0 15 0 89782348 14314766336 25095 18446744073709551615 4194304 4196468 140724082211600 140406042028528 140406496348802 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6199] ppid=6140 vsize=13979264 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6199/stat : 6199 (java) S 6140 6143 4821 0 -1 1077944384 33 12361 0 0 0 0 5 3 20 0 15 0 89782349 14314766336 25095 18446744073709551615 4194304 4196468 140724082211600 140406040974752 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6200] ppid=6140 vsize=13979264 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6200/stat : 6200 (java) S 6140 6143 4821 0 -1 1077944384 21 12361 0 0 0 0 5 3 20 0 15 0 89782349 14314766336 25095 18446744073709551615 4194304 4196468 140724082211600 140406039922160 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6201] ppid=6140 vsize=13979264 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6201/stat : 6201 (java) S 6140 6143 4821 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 89782352 14314766336 25095 18446744073709551615 4194304 4196468 140724082211600 140406038870736 140406496356251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6202] ppid=6140 vsize=13979264 CPUtime=0.19 cores=1,3,5,7
/proc/6143/task/6202/stat : 6202 (java) S 6140 6143 4821 0 -1 1077944384 1022 12361 0 0 11 0 5 3 20 0 15 0 89782352 14314766336 25095 18446744073709551615 4194304 4196468 140724082211600 140405970561008 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6203] ppid=6140 vsize=13979264 CPUtime=0.17 cores=1,3,5,7
/proc/6143/task/6203/stat : 6203 (java) S 6140 6143 4821 0 -1 1077944384 502 12361 0 0 9 0 5 3 20 0 15 0 89782352 14314766336 25095 18446744073709551615 4194304 4196468 140724082211600 140405969508464 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6204] ppid=6140 vsize=13979264 CPUtime=0.24 cores=1,3,5,7
/proc/6143/task/6204/stat : 6204 (java) S 6140 6143 4821 0 -1 1077944384 677 12361 0 0 16 0 5 3 20 0 15 0 89782352 14314766336 25095 18446744073709551615 4194304 4196468 140724082211600 140405968455920 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6205] ppid=6140 vsize=13979264 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6205/stat : 6205 (java) S 6140 6143 4821 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 89782352 14314766336 25095 18446744073709551615 4194304 4196468 140724082211600 140405967403616 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6206] ppid=6140 vsize=13979264 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6206/stat : 6206 (java) S 6140 6143 4821 0 -1 1077944384 1 12361 0 0 0 0 5 3 20 0 15 0 89782357 14314766336 25095 18446744073709551615 4194304 4196468 140724082211600 140405966351152 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 13979264

[startup+3.10068 s]
/proc/loadavg: 1.43 1.33 1.35 4/213 6206
/proc/meminfo: memFree=30011312/32770624 swapFree=0/424780
[pid=6143] ppid=6140 vsize=13995836 CPUtime=4.53 cores=1,3,5,7
/proc/6143/stat : 6143 (java) S 6140 6143 4821 0 -1 1077944320 37719 12361 0 0 431 14 5 3 20 0 15 0 89782279 14331736064 50881 18446744073709551615 4194304 4196468 140724082211600 140724082194144 140406496337655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 54 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
/proc/6143/statm: 3498959 50881 3450 1 0 3487573 0
[pid=6143/tid=6193] ppid=6140 vsize=13995836 CPUtime=2.41 cores=1,3,5,7
/proc/6143/task/6193/stat : 6193 (java) R 6140 6143 4821 0 -1 4202560 26939 12361 0 0 225 8 5 3 20 0 15 0 89782346 14331736064 50881 18446744073709551615 4194304 4196468 140724082211600 140406500569968 140406478800347 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6194] ppid=6140 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6194/stat : 6194 (java) S 6140 6143 4821 0 -1 1077944384 207 12361 0 0 0 0 5 3 20 0 15 0 89782347 14331736064 50881 18446744073709551615 4194304 4196468 140724082211600 140406453303568 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6195] ppid=6140 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/6143/task/6195/stat : 6195 (java) S 6140 6143 4821 0 -1 1077944384 37 12361 0 0 1 0 5 3 20 0 15 0 89782347 14331736064 50881 18446744073709551615 4194304 4196468 140724082211600 140406452251024 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6196] ppid=6140 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/6143/task/6196/stat : 6196 (java) S 6140 6143 4821 0 -1 1077944384 41 12361 0 0 1 0 5 3 20 0 15 0 89782347 14331736064 50881 18446744073709551615 4194304 4196468 140724082211600 140406451198480 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6197] ppid=6140 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/6143/task/6197/stat : 6197 (java) S 6140 6143 4821 0 -1 1077944384 68 12361 0 0 1 0 5 3 20 0 15 0 89782347 14331736064 50881 18446744073709551615 4194304 4196468 140724082211600 140406450145936 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6198] ppid=6140 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/6143/task/6198/stat : 6198 (java) S 6140 6143 4821 0 -1 1077944384 1122 12361 0 0 1 0 5 3 20 0 15 0 89782348 14331736064 50881 18446744073709551615 4194304 4196468 140724082211600 140406042028528 140406496348802 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6199] ppid=6140 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6199/stat : 6199 (java) S 6140 6143 4821 0 -1 1077944384 56 12361 0 0 0 0 5 3 20 0 15 0 89782349 14331736064 50881 18446744073709551615 4194304 4196468 140724082211600 140406040974816 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6200] ppid=6140 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6200/stat : 6200 (java) S 6140 6143 4821 0 -1 1077944384 43 12361 0 0 0 0 5 3 20 0 15 0 89782349 14331736064 50881 18446744073709551615 4194304 4196468 140724082211600 140406039922176 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6201] ppid=6140 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6201/stat : 6201 (java) S 6140 6143 4821 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 89782352 14331736064 50881 18446744073709551615 4194304 4196468 140724082211600 140406038870736 140406496356251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6202] ppid=6140 vsize=13995836 CPUtime=0.68 cores=1,3,5,7
/proc/6143/task/6202/stat : 6202 (java) S 6140 6143 4821 0 -1 1077944384 2037 12361 0 0 60 0 5 3 20 0 15 0 89782352 14331736064 50881 18446744073709551615 4194304 4196468 140724082211600 140405970561008 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6203] ppid=6140 vsize=13995836 CPUtime=0.66 cores=1,3,5,7
/proc/6143/task/6203/stat : 6203 (java) S 6140 6143 4821 0 -1 1077944384 1516 12361 0 0 57 1 5 3 20 0 15 0 89782352 14331736064 50881 18446744073709551615 4194304 4196468 140724082211600 140405969508464 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6204] ppid=6140 vsize=13995836 CPUtime=0.92 cores=1,3,5,7
/proc/6143/task/6204/stat : 6204 (java) S 6140 6143 4821 0 -1 1077944384 3481 12361 0 0 82 2 5 3 20 0 15 0 89782352 14331736064 50881 18446744073709551615 4194304 4196468 140724082211600 140405968455920 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6205] ppid=6140 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6205/stat : 6205 (java) S 6140 6143 4821 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 89782352 14331736064 50881 18446744073709551615 4194304 4196468 140724082211600 140405967403616 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6206] ppid=6140 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6206/stat : 6206 (java) S 6140 6143 4821 0 -1 1077944384 13 12361 0 0 0 0 5 3 20 0 15 0 89782357 14331736064 50881 18446744073709551615 4194304 4196468 140724082211600 140405966351152 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 13995836

[startup+6.30074 s]
/proc/loadavg: 1.43 1.33 1.35 5/213 6206
/proc/meminfo: memFree=29856420/32770624 swapFree=0/424780
[pid=6143] ppid=6140 vsize=13999932 CPUtime=13.77 cores=1,3,5,7
/proc/6143/stat : 6143 (java) S 6140 6143 4821 0 -1 1077944320 61707 12361 0 0 1344 25 5 3 20 0 15 0 89782279 14335930368 90077 18446744073709551615 4194304 4196468 140724082211600 140724082194144 140406496337655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 54 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
/proc/6143/statm: 3499983 90077 3465 1 0 3488597 0
[pid=6143/tid=6193] ppid=6140 vsize=13999932 CPUtime=5.49 cores=1,3,5,7
/proc/6143/task/6193/stat : 6193 (java) R 6140 6143 4821 0 -1 4202560 38007 12361 0 0 527 14 5 3 20 0 15 0 89782346 14335930368 90077 18446744073709551615 4194304 4196468 140724082211600 140406500568592 140406137918525 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6194] ppid=6140 vsize=13999932 CPUtime=0.14 cores=1,3,5,7
/proc/6143/task/6194/stat : 6194 (java) S 6140 6143 4821 0 -1 1077944384 278 12361 0 0 6 0 5 3 20 0 15 0 89782347 14335930368 90077 18446744073709551615 4194304 4196468 140724082211600 140406453303568 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6195] ppid=6140 vsize=13999932 CPUtime=0.15 cores=1,3,5,7
/proc/6143/task/6195/stat : 6195 (java) S 6140 6143 4821 0 -1 1077944384 103 12361 0 0 7 0 5 3 20 0 15 0 89782347 14335930368 90077 18446744073709551615 4194304 4196468 140724082211600 140406452251024 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6196] ppid=6140 vsize=13999932 CPUtime=0.14 cores=1,3,5,7
/proc/6143/task/6196/stat : 6196 (java) S 6140 6143 4821 0 -1 1077944384 65 12361 0 0 6 0 5 3 20 0 15 0 89782347 14335930368 90077 18446744073709551615 4194304 4196468 140724082211600 140406451198480 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6197] ppid=6140 vsize=13999932 CPUtime=0.13 cores=1,3,5,7
/proc/6143/task/6197/stat : 6197 (java) S 6140 6143 4821 0 -1 1077944384 104 12361 0 0 5 0 5 3 20 0 15 0 89782347 14335930368 90077 18446744073709551615 4194304 4196468 140724082211600 140406450145936 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6198] ppid=6140 vsize=13999932 CPUtime=0.12 cores=1,3,5,7
/proc/6143/task/6198/stat : 6198 (java) S 6140 6143 4821 0 -1 1077944384 2107 12361 0 0 4 0 5 3 20 0 15 0 89782348 14335930368 90077 18446744073709551615 4194304 4196468 140724082211600 140406042028528 140406496348802 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6199] ppid=6140 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6199/stat : 6199 (java) S 6140 6143 4821 0 -1 1077944384 56 12361 0 0 0 0 5 3 20 0 15 0 89782349 14335930368 90077 18446744073709551615 4194304 4196468 140724082211600 140406040974816 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6200] ppid=6140 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6200/stat : 6200 (java) S 6140 6143 4821 0 -1 1077944384 44 12361 0 0 0 0 5 3 20 0 15 0 89782349 14335930368 90077 18446744073709551615 4194304 4196468 140724082211600 140406039922176 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6201] ppid=6140 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6201/stat : 6201 (java) S 6140 6143 4821 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 89782352 14335930368 90077 18446744073709551615 4194304 4196468 140724082211600 140406038870736 140406496356251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6202] ppid=6140 vsize=13999932 CPUtime=3.23 cores=1,3,5,7
/proc/6143/task/6202/stat : 6202 (java) R 6140 6143 4821 0 -1 4202560 7723 12361 0 0 313 2 5 3 20 0 15 0 89782352 14335930368 90086 18446744073709551615 4194304 4196468 140724082211600 140405970547504 140406488627037 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6203] ppid=6140 vsize=13999932 CPUtime=3.21 cores=1,3,5,7
/proc/6143/task/6203/stat : 6203 (java) R 6140 6143 4821 0 -1 4202560 5149 12361 0 0 312 1 5 3 20 0 15 0 89782352 14335930368 90086 18446744073709551615 4194304 4196468 140724082211600 140405969489272 140406476024323 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6204] ppid=6140 vsize=13999932 CPUtime=1.7 cores=1,3,5,7
/proc/6143/task/6204/stat : 6204 (java) S 6140 6143 4821 0 -1 1077944384 5942 12361 0 0 159 3 5 3 20 0 15 0 89782352 14335930368 90086 18446744073709551615 4194304 4196468 140724082211600 140405968455920 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6205] ppid=6140 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6205/stat : 6205 (java) S 6140 6143 4821 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 89782352 14335930368 90086 18446744073709551615 4194304 4196468 140724082211600 140405967403616 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6206] ppid=6140 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6206/stat : 6206 (java) S 6140 6143 4821 0 -1 1077944384 17 12361 0 0 0 0 5 3 20 0 15 0 89782357 14335930368 90086 18446744073709551615 4194304 4196468 140724082211600 140405966351152 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
Current children cumulated CPU time (s) 13.77
Current children cumulated vsize (KiB) 13999932

[startup+12.7007 s]
/proc/loadavg: 1.53 1.35 1.35 5/213 6206
/proc/meminfo: memFree=29417428/32770624 swapFree=0/424784
[pid=6143] ppid=6140 vsize=14071612 CPUtime=29.37 cores=1,3,5,7
/proc/6143/stat : 6143 (java) S 6140 6143 4821 0 -1 1077944320 109350 12361 0 0 2884 45 5 3 20 0 15 0 89782279 14409330688 191850 18446744073709551615 4194304 4196468 140724082211600 140724082194144 140406496337655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 54 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
/proc/6143/statm: 3517903 191850 3483 1 0 3506517 0
[pid=6143/tid=6193] ppid=6140 vsize=14071612 CPUtime=11.81 cores=1,3,5,7
/proc/6143/task/6193/stat : 6193 (java) R 6140 6143 4821 0 -1 4202560 57424 12361 0 0 1152 21 5 3 20 0 15 0 89782346 14409330688 191850 18446744073709551615 4194304 4196468 140724082211600 140406500568976 140406145474671 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6194] ppid=6140 vsize=14071612 CPUtime=0.21 cores=1,3,5,7
/proc/6143/task/6194/stat : 6194 (java) S 6140 6143 4821 0 -1 1077944384 1062 12361 0 0 10 3 5 3 20 0 15 0 89782347 14409330688 191850 18446744073709551615 4194304 4196468 140724082211600 140406453303568 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6195] ppid=6140 vsize=14071612 CPUtime=0.21 cores=1,3,5,7
/proc/6143/task/6195/stat : 6195 (java) S 6140 6143 4821 0 -1 1077944384 347 12361 0 0 11 2 5 3 20 0 15 0 89782347 14409330688 191850 18446744073709551615 4194304 4196468 140724082211600 140406452251024 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6196] ppid=6140 vsize=14071612 CPUtime=0.19 cores=1,3,5,7
/proc/6143/task/6196/stat : 6196 (java) S 6140 6143 4821 0 -1 1077944384 127 12361 0 0 9 2 5 3 20 0 15 0 89782347 14409330688 191850 18446744073709551615 4194304 4196468 140724082211600 140406451198480 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6197] ppid=6140 vsize=14071612 CPUtime=0.19 cores=1,3,5,7
/proc/6143/task/6197/stat : 6197 (java) S 6140 6143 4821 0 -1 1077944384 150 12361 0 0 9 2 5 3 20 0 15 0 89782347 14409330688 191850 18446744073709551615 4194304 4196468 140724082211600 140406450145936 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6198] ppid=6140 vsize=14071612 CPUtime=0.13 cores=1,3,5,7
/proc/6143/task/6198/stat : 6198 (java) S 6140 6143 4821 0 -1 1077944384 2409 12361 0 0 5 0 5 3 20 0 15 0 89782348 14409330688 191850 18446744073709551615 4194304 4196468 140724082211600 140406042028528 140406496348802 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6199] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6199/stat : 6199 (java) S 6140 6143 4821 0 -1 1077944384 61 12361 0 0 0 0 5 3 20 0 15 0 89782349 14409330688 191850 18446744073709551615 4194304 4196468 140724082211600 140406040974880 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6200] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6200/stat : 6200 (java) S 6140 6143 4821 0 -1 1077944384 52 12361 0 0 0 0 5 3 20 0 15 0 89782349 14409330688 191850 18446744073709551615 4194304 4196468 140724082211600 140406039922176 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6201] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6201/stat : 6201 (java) S 6140 6143 4821 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 89782352 14409330688 191850 18446744073709551615 4194304 4196468 140724082211600 140406038870736 140406496356251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0

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

/proc/6143/task/6205/stat : 6205 (java) S 6140 6143 4821 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 89782352 14409330688 1091994 18446744073709551615 4194304 4196468 140724082211600 140405967403616 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6206] ppid=6140 vsize=14071612 CPUtime=1.27 cores=1,3,5,7
/proc/6143/task/6206/stat : 6206 (java) S 6140 6143 4821 0 -1 1077944384 1372 12361 0 0 52 67 5 3 20 0 15 0 89782357 14409330688 1091994 18446744073709551615 4194304 4196468 140724082211600 140405966351152 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
Current children cumulated CPU time (s) 2387.8
Current children cumulated vsize (KiB) 14071612

[startup+2382.3 s]
/proc/loadavg: 1.72 1.84 1.78 3/213 6506
/proc/meminfo: memFree=22406528/32770624 swapFree=0/425080
[pid=6143] ppid=6140 vsize=14071612 CPUtime=2448.11 cores=1,3,5,7
/proc/6143/stat : 6143 (java) S 6140 6143 4821 0 -1 1077944320 582994 12361 0 0 244157 646 5 3 20 0 15 0 89782279 14409330688 1092017 18446744073709551615 4194304 4196468 140724082211600 140724082194144 140406496337655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 54 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
/proc/6143/statm: 3517903 1092017 3505 1 0 3506517 0
[pid=6143/tid=6193] ppid=6140 vsize=14071612 CPUtime=2369.91 cores=1,3,5,7
/proc/6143/task/6193/stat : 6193 (java) R 6140 6143 4821 0 -1 4202560 251710 12361 0 0 236910 73 5 3 20 0 15 0 89782346 14409330688 1092017 18446744073709551615 4194304 4196468 140724082211600 140406500570544 140406143577031 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6194] ppid=6140 vsize=14071612 CPUtime=11.03 cores=1,3,5,7
/proc/6143/task/6194/stat : 6194 (java) S 6140 6143 4821 0 -1 1077944384 26511 12361 0 0 974 121 5 3 20 0 15 0 89782347 14409330688 1092017 18446744073709551615 4194304 4196468 140724082211600 140406453303568 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6195] ppid=6140 vsize=14071612 CPUtime=11.08 cores=1,3,5,7
/proc/6143/task/6195/stat : 6195 (java) S 6140 6143 4821 0 -1 1077944384 18350 12361 0 0 978 122 5 3 20 0 15 0 89782347 14409330688 1092017 18446744073709551615 4194304 4196468 140724082211600 140406452251024 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6196] ppid=6140 vsize=14071612 CPUtime=11.04 cores=1,3,5,7
/proc/6143/task/6196/stat : 6196 (java) S 6140 6143 4821 0 -1 1077944384 22017 12361 0 0 976 120 5 3 20 0 15 0 89782347 14409330688 1092017 18446744073709551615 4194304 4196468 140724082211600 140406451198480 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6197] ppid=6140 vsize=14071612 CPUtime=11.04 cores=1,3,5,7
/proc/6143/task/6197/stat : 6197 (java) S 6140 6143 4821 0 -1 1077944384 30486 12361 0 0 975 121 5 3 20 0 15 0 89782347 14409330688 1092017 18446744073709551615 4194304 4196468 140724082211600 140406450145936 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6198] ppid=6140 vsize=14071612 CPUtime=0.64 cores=1,3,5,7
/proc/6143/task/6198/stat : 6198 (java) S 6140 6143 4821 0 -1 1077944384 38132 12361 0 0 48 8 5 3 20 0 15 0 89782348 14409330688 1092017 18446744073709551615 4194304 4196468 140724082211600 140406042028528 140406496348802 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6199] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6199/stat : 6199 (java) S 6140 6143 4821 0 -1 1077944384 159 12361 0 0 0 0 5 3 20 0 15 0 89782349 14409330688 1092017 18446744073709551615 4194304 4196468 140724082211600 140406040974880 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6200] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6200/stat : 6200 (java) S 6140 6143 4821 0 -1 1077944384 54 12361 0 0 0 0 5 3 20 0 15 0 89782349 14409330688 1092017 18446744073709551615 4194304 4196468 140724082211600 140406039922176 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6201] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6201/stat : 6201 (java) S 6140 6143 4821 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 89782352 14409330688 1092017 18446744073709551615 4194304 4196468 140724082211600 140406038870736 140406496356251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6202] ppid=6140 vsize=14071612 CPUtime=14.37 cores=1,3,5,7
/proc/6143/task/6202/stat : 6202 (java) S 6140 6143 4821 0 -1 1077944384 57722 12361 0 0 1420 9 5 3 20 0 15 0 89782352 14409330688 1092017 18446744073709551615 4194304 4196468 140724082211600 140405970561008 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6203] ppid=6140 vsize=14071612 CPUtime=13.68 cores=1,3,5,7
/proc/6143/task/6203/stat : 6203 (java) S 6140 6143 4821 0 -1 1077944384 56483 12361 0 0 1353 7 5 3 20 0 15 0 89782352 14409330688 1092017 18446744073709551615 4194304 4196468 140724082211600 140405969508464 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6204] ppid=6140 vsize=14071612 CPUtime=4.63 cores=1,3,5,7
/proc/6143/task/6204/stat : 6204 (java) S 6140 6143 4821 0 -1 1077944384 77810 12361 0 0 443 12 5 3 20 0 15 0 89782352 14409330688 1092017 18446744073709551615 4194304 4196468 140724082211600 140405968455920 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6205] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6205/stat : 6205 (java) S 6140 6143 4821 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 89782352 14409330688 1092017 18446744073709551615 4194304 4196468 140724082211600 140405967403616 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6206] ppid=6140 vsize=14071612 CPUtime=1.3 cores=1,3,5,7
/proc/6143/task/6206/stat : 6206 (java) S 6140 6143 4821 0 -1 1077944384 1401 12361 0 0 53 69 5 3 20 0 15 0 89782357 14409330688 1092017 18446744073709551615 4194304 4196468 140724082211600 140405966351152 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
Current children cumulated CPU time (s) 2448.11
Current children cumulated vsize (KiB) 14071612

[startup+2442.3 s]
/proc/loadavg: 1.70 1.82 1.77 3/213 6508
/proc/meminfo: memFree=22407252/32770624 swapFree=0/425096
[pid=6143] ppid=6140 vsize=14071612 CPUtime=2508.43 cores=1,3,5,7
/proc/6143/stat : 6143 (java) S 6140 6143 4821 0 -1 1077944320 591161 12361 0 0 250187 648 5 3 20 0 15 0 89782279 14409330688 1092040 18446744073709551615 4194304 4196468 140724082211600 140724082194144 140406496337655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 54 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
/proc/6143/statm: 3517903 1092040 3505 1 0 3506517 0
[pid=6143/tid=6193] ppid=6140 vsize=14071612 CPUtime=2429.79 cores=1,3,5,7
/proc/6143/task/6193/stat : 6193 (java) R 6140 6143 4821 0 -1 4202560 256161 12361 0 0 242898 73 5 3 20 0 15 0 89782346 14409330688 1092040 18446744073709551615 4194304 4196468 140724082211600 140406500571456 140406133151049 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6194] ppid=6140 vsize=14071612 CPUtime=11.13 cores=1,3,5,7
/proc/6143/task/6194/stat : 6194 (java) S 6140 6143 4821 0 -1 1077944384 26629 12361 0 0 984 121 5 3 20 0 15 0 89782347 14409330688 1092040 18446744073709551615 4194304 4196468 140724082211600 140406453303568 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6195] ppid=6140 vsize=14071612 CPUtime=11.17 cores=1,3,5,7
/proc/6143/task/6195/stat : 6195 (java) S 6140 6143 4821 0 -1 1077944384 20755 12361 0 0 987 122 5 3 20 0 15 0 89782347 14409330688 1092040 18446744073709551615 4194304 4196468 140724082211600 140406452251024 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6196] ppid=6140 vsize=14071612 CPUtime=11.13 cores=1,3,5,7
/proc/6143/task/6196/stat : 6196 (java) S 6140 6143 4821 0 -1 1077944384 22302 12361 0 0 985 120 5 3 20 0 15 0 89782347 14409330688 1092040 18446744073709551615 4194304 4196468 140724082211600 140406451198480 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6197] ppid=6140 vsize=14071612 CPUtime=11.14 cores=1,3,5,7
/proc/6143/task/6197/stat : 6197 (java) S 6140 6143 4821 0 -1 1077944384 30805 12361 0 0 985 121 5 3 20 0 15 0 89782347 14409330688 1092040 18446744073709551615 4194304 4196468 140724082211600 140406450145936 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6198] ppid=6140 vsize=14071612 CPUtime=0.65 cores=1,3,5,7
/proc/6143/task/6198/stat : 6198 (java) S 6140 6143 4821 0 -1 1077944384 38683 12361 0 0 49 8 5 3 20 0 15 0 89782348 14409330688 1092040 18446744073709551615 4194304 4196468 140724082211600 140406042028528 140406496348802 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6199] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6199/stat : 6199 (java) S 6140 6143 4821 0 -1 1077944384 159 12361 0 0 0 0 5 3 20 0 15 0 89782349 14409330688 1092040 18446744073709551615 4194304 4196468 140724082211600 140406040974880 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6200] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6200/stat : 6200 (java) S 6140 6143 4821 0 -1 1077944384 54 12361 0 0 0 0 5 3 20 0 15 0 89782349 14409330688 1092040 18446744073709551615 4194304 4196468 140724082211600 140406039922176 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6201] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6201/stat : 6201 (java) S 6140 6143 4821 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 89782352 14409330688 1092040 18446744073709551615 4194304 4196468 140724082211600 140406038870736 140406496356251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6202] ppid=6140 vsize=14071612 CPUtime=14.37 cores=1,3,5,7
/proc/6143/task/6202/stat : 6202 (java) S 6140 6143 4821 0 -1 1077944384 57726 12361 0 0 1420 9 5 3 20 0 15 0 89782352 14409330688 1092040 18446744073709551615 4194304 4196468 140724082211600 140405970561008 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6203] ppid=6140 vsize=14071612 CPUtime=13.69 cores=1,3,5,7
/proc/6143/task/6203/stat : 6203 (java) S 6140 6143 4821 0 -1 1077944384 56486 12361 0 0 1353 8 5 3 20 0 15 0 89782352 14409330688 1092040 18446744073709551615 4194304 4196468 140724082211600 140405969508464 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6204] ppid=6140 vsize=14071612 CPUtime=4.63 cores=1,3,5,7
/proc/6143/task/6204/stat : 6204 (java) S 6140 6143 4821 0 -1 1077944384 77818 12361 0 0 443 12 5 3 20 0 15 0 89782352 14409330688 1092040 18446744073709551615 4194304 4196468 140724082211600 140405968455920 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6205] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6205/stat : 6205 (java) S 6140 6143 4821 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 89782352 14409330688 1092040 18446744073709551615 4194304 4196468 140724082211600 140405967403616 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6206] ppid=6140 vsize=14071612 CPUtime=1.34 cores=1,3,5,7
/proc/6143/task/6206/stat : 6206 (java) S 6140 6143 4821 0 -1 1077944384 1424 12361 0 0 55 71 5 3 20 0 15 0 89782357 14409330688 1092040 18446744073709551615 4194304 4196468 140724082211600 140405966351152 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
Current children cumulated CPU time (s) 2508.43
Current children cumulated vsize (KiB) 14071612



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2453.9 s]
/proc/loadavg: 1.54 1.78 1.76 3/213 6508
/proc/meminfo: memFree=22407264/32770624 swapFree=0/425092
[pid=6143] ppid=6140 vsize=14071612 CPUtime=2520.09 cores=1,3,5,7
/proc/6143/stat : 6143 (java) S 6140 6143 4821 0 -1 1077944320 591625 12361 0 0 251352 649 5 3 20 0 15 0 89782279 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140724082194144 140406496337655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 54 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
/proc/6143/statm: 3517903 1092043 3505 1 0 3506517 0
[pid=6143/tid=6193] ppid=6140 vsize=14071612 CPUtime=2441.37 cores=1,3,5,7
/proc/6143/task/6193/stat : 6193 (java) R 6140 6143 4821 0 -1 4202560 256493 12361 0 0 244056 73 5 3 20 0 15 0 89782346 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140406500571696 140406141368037 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6194] ppid=6140 vsize=14071612 CPUtime=11.14 cores=1,3,5,7
/proc/6143/task/6194/stat : 6194 (java) S 6140 6143 4821 0 -1 1077944384 26646 12361 0 0 985 121 5 3 20 0 15 0 89782347 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140406453303568 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6195] ppid=6140 vsize=14071612 CPUtime=11.19 cores=1,3,5,7
/proc/6143/task/6195/stat : 6195 (java) S 6140 6143 4821 0 -1 1077944384 20785 12361 0 0 989 122 5 3 20 0 15 0 89782347 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140406452251024 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6196] ppid=6140 vsize=14071612 CPUtime=11.15 cores=1,3,5,7
/proc/6143/task/6196/stat : 6196 (java) S 6140 6143 4821 0 -1 1077944384 22319 12361 0 0 987 120 5 3 20 0 15 0 89782347 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140406451198480 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6197] ppid=6140 vsize=14071612 CPUtime=11.16 cores=1,3,5,7
/proc/6143/task/6197/stat : 6197 (java) S 6140 6143 4821 0 -1 1077944384 30868 12361 0 0 987 121 5 3 20 0 15 0 89782347 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140406450145936 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6198] ppid=6140 vsize=14071612 CPUtime=0.65 cores=1,3,5,7
/proc/6143/task/6198/stat : 6198 (java) S 6140 6143 4821 0 -1 1077944384 38686 12361 0 0 49 8 5 3 20 0 15 0 89782348 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140406042028528 140406496348802 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6199] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6199/stat : 6199 (java) S 6140 6143 4821 0 -1 1077944384 159 12361 0 0 0 0 5 3 20 0 15 0 89782349 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140406040974880 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6200] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6200/stat : 6200 (java) S 6140 6143 4821 0 -1 1077944384 54 12361 0 0 0 0 5 3 20 0 15 0 89782349 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140406039922176 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6201] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6201/stat : 6201 (java) S 6140 6143 4821 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 89782352 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140406038870736 140406496356251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6202] ppid=6140 vsize=14071612 CPUtime=14.37 cores=1,3,5,7
/proc/6143/task/6202/stat : 6202 (java) S 6140 6143 4821 0 -1 1077944384 57726 12361 0 0 1420 9 5 3 20 0 15 0 89782352 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140405970561008 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6203] ppid=6140 vsize=14071612 CPUtime=13.69 cores=1,3,5,7
/proc/6143/task/6203/stat : 6203 (java) S 6140 6143 4821 0 -1 1077944384 56486 12361 0 0 1353 8 5 3 20 0 15 0 89782352 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140405969508464 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6204] ppid=6140 vsize=14071612 CPUtime=4.63 cores=1,3,5,7
/proc/6143/task/6204/stat : 6204 (java) S 6140 6143 4821 0 -1 1077944384 77818 12361 0 0 443 12 5 3 20 0 15 0 89782352 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140405968455920 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6205] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6205/stat : 6205 (java) S 6140 6143 4821 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 89782352 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140405967403616 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6206] ppid=6140 vsize=14071612 CPUtime=1.34 cores=1,3,5,7
/proc/6143/task/6206/stat : 6206 (java) S 6140 6143 4821 0 -1 1077944384 1426 12361 0 0 55 71 5 3 20 0 15 0 89782357 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140405966351152 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 14071612

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

[startup+2453.9 s]
/proc/loadavg: 1.54 1.78 1.76 3/213 6508
/proc/meminfo: memFree=22407264/32770624 swapFree=0/425092
[pid=6143] ppid=6140 vsize=14071612 CPUtime=2520.09 cores=1,3,5,7
/proc/6143/stat : 6143 (java) S 6140 6143 4821 0 -1 1077944320 591625 12361 0 0 251352 649 5 3 20 0 15 0 89782279 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140724082194144 140406496337655 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 54 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
/proc/6143/statm: 3517903 1092043 3505 1 0 3506517 0
[pid=6143/tid=6193] ppid=6140 vsize=14071612 CPUtime=2441.37 cores=1,3,5,7
/proc/6143/task/6193/stat : 6193 (java) R 6140 6143 4821 0 -1 4202560 256493 12361 0 0 244056 73 5 3 20 0 15 0 89782346 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140406500571696 140406141368037 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6194] ppid=6140 vsize=14071612 CPUtime=11.14 cores=1,3,5,7
/proc/6143/task/6194/stat : 6194 (java) S 6140 6143 4821 0 -1 1077944384 26646 12361 0 0 985 121 5 3 20 0 15 0 89782347 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140406453303568 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6195] ppid=6140 vsize=14071612 CPUtime=11.19 cores=1,3,5,7
/proc/6143/task/6195/stat : 6195 (java) S 6140 6143 4821 0 -1 1077944384 20785 12361 0 0 989 122 5 3 20 0 15 0 89782347 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140406452251024 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6196] ppid=6140 vsize=14071612 CPUtime=11.15 cores=1,3,5,7
/proc/6143/task/6196/stat : 6196 (java) S 6140 6143 4821 0 -1 1077944384 22319 12361 0 0 987 120 5 3 20 0 15 0 89782347 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140406451198480 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6197] ppid=6140 vsize=14071612 CPUtime=11.16 cores=1,3,5,7
/proc/6143/task/6197/stat : 6197 (java) S 6140 6143 4821 0 -1 1077944384 30868 12361 0 0 987 121 5 3 20 0 15 0 89782347 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140406450145936 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6198] ppid=6140 vsize=14071612 CPUtime=0.65 cores=1,3,5,7
/proc/6143/task/6198/stat : 6198 (java) S 6140 6143 4821 0 -1 1077944384 38686 12361 0 0 49 8 5 3 20 0 15 0 89782348 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140406042028528 140406496348802 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6199] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6199/stat : 6199 (java) S 6140 6143 4821 0 -1 1077944384 159 12361 0 0 0 0 5 3 20 0 15 0 89782349 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140406040974880 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6200] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6200/stat : 6200 (java) S 6140 6143 4821 0 -1 1077944384 54 12361 0 0 0 0 5 3 20 0 15 0 89782349 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140406039922176 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6201] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6201/stat : 6201 (java) S 6140 6143 4821 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 89782352 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140406038870736 140406496356251 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6202] ppid=6140 vsize=14071612 CPUtime=14.37 cores=1,3,5,7
/proc/6143/task/6202/stat : 6202 (java) S 6140 6143 4821 0 -1 1077944384 57726 12361 0 0 1420 9 5 3 20 0 15 0 89782352 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140405970561008 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6203] ppid=6140 vsize=14071612 CPUtime=13.69 cores=1,3,5,7
/proc/6143/task/6203/stat : 6203 (java) S 6140 6143 4821 0 -1 1077944384 56486 12361 0 0 1353 8 5 3 20 0 15 0 89782352 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140405969508464 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6204] ppid=6140 vsize=14071612 CPUtime=4.63 cores=1,3,5,7
/proc/6143/task/6204/stat : 6204 (java) S 6140 6143 4821 0 -1 1077944384 77818 12361 0 0 443 12 5 3 20 0 15 0 89782352 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140405968455920 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6205] ppid=6140 vsize=14071612 CPUtime=0.08 cores=1,3,5,7
/proc/6143/task/6205/stat : 6205 (java) S 6140 6143 4821 0 -1 1077944384 3 12361 0 0 0 0 5 3 20 0 15 0 89782352 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140405967403616 140406496347861 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
[pid=6143/tid=6206] ppid=6140 vsize=14071612 CPUtime=1.34 cores=1,3,5,7
/proc/6143/task/6206/stat : 6206 (java) S 6140 6143 4821 0 -1 1077944384 1426 12361 0 0 55 71 5 3 20 0 15 0 89782357 14409330688 1092043 18446744073709551615 4194304 4196468 140724082211600 140405966351152 140406496348802 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25706496 140724082218960 140724082221745 140724082221745 140724082225103 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 14071612

Child status: 143
Real time (s): 2453.95
CPU time (s): 2520.15
CPU user time (s): 2513.6
CPU system time (s): 6.55026
CPU usage (%): 102.698
Max. virtual memory (cumulated for all children) (KiB): 14074324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.6
system time used= 6.55026
maximum resident set size= 4371500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 607718
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77410
involuntary context switches= 3753

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9329 second user time and 15.7537 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-11 04:33:43
IDJOB=4262188
IDBENCH=115895
IDSOLVER=2650
FILE ID=node133/4262188-1502419670
RUNJOBID= node133-1502411423-4885
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-44.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262188-1502419670/watcher-4262188-1502419670 -o /tmp/evaluation-result-4262188-1502419670/solver-4262188-1502419670 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4885 --watchdog 2580  bin/concrete HOME/instance-4262188-1502419670.xml

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

MD5SUM BENCH= 4997da7be544d89c7d7e917a89d7c5a2
RANDOM SEED=293457234

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30172560 kB
MemAvailable:   31019244 kB
Buffers:          283784 kB
Cached:           857880 kB
SwapCached:            0 kB
Active:          1705532 kB
Inactive:         457964 kB
Active(anon):    1022196 kB
Inactive(anon):    33112 kB
Active(file):     683336 kB
Inactive(file):   424852 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24512 kB
Writeback:             0 kB
AnonPages:       1021724 kB
Mapped:            63388 kB
Shmem:             33468 kB
Slab:             135656 kB
SReclaimable:     108660 kB
SUnreclaim:        26996 kB
KernelStack:        3472 kB
PageTables:         7076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1880132 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    925696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61984 MiB
End job on node133 at 2017-08-11 05:14:37