Trace number 4244758

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Concrete 3.4SAT (TO)727 2400.09 2291.85

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.91/2.23	c Concrete v3.4 running
24.43/9.54	% 06:13:52.945 [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
24.43/9.57	% 06:13:52.975 [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
24.43/9.57	% 06:13:52.977 [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
24.43/9.59	% 06:13:53.001 [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
24.43/9.59	% 06:13:53.003 [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
24.82/9.61	% 06:13:53.019 [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
24.82/9.61	% 06:13:53.021 [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
24.82/9.63	% 06:13:53.036 [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
24.82/9.63	% 06:13:53.037 [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
24.82/9.64	% 06:13:53.044 [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
24.82/9.64	% 06:13:53.044 [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
24.82/9.64	% 06:13:53.050 [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
24.82/9.64	% 06:13:53.051 [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
24.82/9.65	% 06:13:53.058 [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
24.82/9.65	% 06:13:53.058 [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
24.82/9.66	% 06:13:53.066 [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
185.29/140.79	o 13
186.48/141.31	o 23
187.02/141.69	o 24
187.72/142.20	o 27
188.15/142.68	o 28
188.65/143.07	o 29
189.14/143.50	o 30
189.54/143.91	o 31
190.15/144.59	o 32
190.74/145.05	o 47
191.14/145.47	o 48
191.54/145.87	o 49
191.94/146.23	o 50
192.43/146.62	o 51
192.82/147.05	o 52
193.23/147.45	o 53
193.62/147.86	o 54
194.12/148.30	o 55
194.44/148.69	o 56
194.93/149.19	o 123
195.45/149.64	o 124
195.94/150.13	o 125
196.44/150.67	o 126
196.84/151.07	o 127
197.34/151.50	o 128
197.65/151.90	o 129
198.17/152.31	o 130
198.91/152.93	o 131
199.31/153.40	o 132
200.52/154.54	o 133
201.02/155.04	o 134
201.42/155.49	o 135
201.82/155.87	o 136
202.33/156.38	o 137
203.16/157.17	o 138
205.24/159.12	o 212
205.79/159.63	o 213
206.28/160.14	o 214
206.96/160.71	o 215
207.35/161.14	o 216
208.45/162.28	o 217
209.35/163.11	o 218
209.85/163.63	o 219
210.26/164.05	o 220
212.56/165.98	o 221
213.47/166.80	o 230
213.97/167.32	o 231
215.51/168.77	o 232
216.01/169.23	o 233
216.81/170.00	o 234
217.21/170.44	o 235
218.11/171.38	o 236
218.62/171.85	o 237
219.12/172.35	o 238
219.72/172.92	o 239
220.86/174.07	o 240
221.36/174.56	o 241
222.04/175.03	o 242
222.53/175.55	o 243
223.76/176.69	o 244
224.56/177.48	o 245
225.06/177.97	o 246
226.26/179.11	o 247
227.37/180.22	o 248
227.77/180.66	o 249
228.57/181.41	o 250
229.37/182.28	o 251
229.88/182.74	o 252
230.67/183.50	o 253
231.47/184.34	o 254
232.48/185.27	o 255
232.98/185.74	o 256
233.48/186.22	o 257
233.88/186.68	o 258
235.79/188.56	o 259
236.79/189.51	o 260
237.70/190.44	o 261
238.49/191.23	o 262
239.09/191.80	o 263
239.59/192.31	o 264
239.99/192.76	o 265
240.89/193.55	o 266
242.39/195.10	o 267
242.89/195.58	o 268
243.40/196.04	o 269
244.10/196.76	o 270
244.60/197.24	o 271
245.80/198.41	o 272
246.30/198.94	o 273
247.20/199.82	o 274
247.61/200.27	o 275
248.31/200.98	o 276
250.70/203.10	o 277
252.97/205.38	o 278
253.49/205.85	o 279
254.07/206.43	o 280
254.88/207.22	o 281
255.77/208.17	o 282
256.37/208.73	o 283
259.41/211.64	o 284
260.22/212.45	o 285
261.02/213.27	o 286
261.52/213.78	o 287
262.72/214.99	o 288
264.02/216.22	o 289
265.12/217.32	o 290
265.81/217.84	o 291
268.50/220.51	o 292
269.00/221.01	o 293
269.51/221.52	o 294
270.01/222.04	o 295
272.81/224.86	o 296
275.31/227.26	o 297
276.51/228.46	o 298
278.42/230.36	o 299
279.93/231.86	o 300
280.43/232.34	o 301
281.16/232.93	o 324
281.67/233.48	o 325
282.18/233.98	o 326
283.88/235.62	o 327
284.38/236.17	o 328
284.79/236.60	o 329
285.68/237.40	o 330
286.18/237.93	o 331
286.68/238.47	o 332
287.48/239.25	o 333
287.97/239.69	o 334
289.38/241.06	o 335
289.87/241.57	o 336
291.17/242.80	o 337
291.58/243.28	o 338
292.87/244.55	o 339
294.98/246.53	o 340
296.31/247.81	o 341
296.81/248.38	o 342
298.81/250.34	o 343
300.01/251.58	o 344
300.60/252.06	o 345
301.60/253.07	o 346
302.59/254.03	o 347
307.44/258.76	o 348
308.74/260.09	o 349
309.74/261.01	o 350
310.44/261.77	o 351
310.94/262.25	o 352
311.44/262.76	o 353
314.88/265.93	o 354
318.34/269.29	o 355
319.69/270.57	o 356
320.19/271.09	o 357
320.79/271.61	o 358
322.00/272.87	o 359
322.89/273.72	o 360
323.72/274.41	o 361
324.22/274.92	o 362
326.63/277.34	o 363
327.12/277.85	o 364
328.02/278.78	o 365
330.23/280.83	o 366
331.05/281.68	o 367
332.53/283.17	o 368
333.03/283.68	o 369
333.53/284.18	o 370
335.42/285.97	o 371
337.44/287.96	o 372
338.04/288.56	o 373
338.64/289.16	o 374
340.76/291.12	o 375
341.66/292.09	o 376
342.27/292.65	o 377
342.86/293.21	o 378
344.09/294.33	o 379
345.19/295.45	o 380
346.30/296.51	o 381
347.69/297.97	o 382
349.11/299.25	o 383
351.00/301.17	o 384
353.24/303.21	o 385
367.58/317.00	o 386
371.52/320.78	o 387
377.43/326.17	o 388
378.33/327.08	o 389
379.24/328.00	o 390
381.67/330.11	o 391
382.15/330.64	o 392
384.54/332.80	o 393
389.96/338.03	o 394
390.87/338.91	o 395
392.57/340.67	o 396
394.19/341.99	o 397
399.95/347.43	o 398
400.55/348.01	o 399
400.95/348.49	o 400
401.45/348.96	o 401
403.38/350.58	o 402
408.07/354.92	o 403
408.67/355.57	o 404
410.37/357.24	o 405
414.66/361.04	o 406
415.46/361.87	o 407
419.36/365.75	o 408
421.29/367.44	o 409
422.39/368.54	o 410
423.19/369.39	o 411
424.49/370.68	o 412
425.89/372.04	o 413
427.42/373.12	o 414
428.62/374.33	o 415
434.36/379.72	o 416
435.27/380.68	o 417
438.57/383.91	o 418
439.60/384.51	o 419
440.11/385.07	o 420
440.70/385.64	o 421
441.21/386.18	o 422
442.20/387.10	o 423
444.61/389.59	o 424
445.90/390.84	o 425
447.47/392.04	o 426
448.77/393.37	o 427
450.57/395.18	o 428
453.17/397.75	o 429
454.85/398.80	o 430
456.35/400.38	o 431
456.95/400.95	o 432
457.85/401.80	o 433
458.35/402.35	o 434
459.95/403.98	o 435
460.55/404.55	o 436
461.05/405.04	o 437
462.09/405.62	o 438
463.19/406.74	o 439
466.29/409.86	o 440
467.90/411.41	o 441
468.89/412.42	o 442
470.20/413.28	o 443
470.80/413.86	o 444
471.71/414.75	o 445
472.30/415.38	o 446
473.80/416.84	o 447
477.84/420.50	o 448
478.75/421.47	o 449
480.04/422.76	o 450
492.58/434.24	o 451
493.08/434.77	o 452
494.18/435.81	o 453
495.09/436.71	o 454
501.02/442.20	o 455
502.23/443.37	o 456
503.52/444.66	o 457
505.72/446.90	o 458
507.53/448.67	o 459
508.13/449.22	o 460
510.99/451.70	o 461
512.71/453.38	o 462
515.81/456.43	o 463
517.51/458.12	o 464
521.26/461.31	o 465
521.97/462.06	o 466
523.66/463.74	o 467
622.13/557.98	o 468
623.04/558.86	o 469
625.74/561.51	o 470
626.24/562.08	o 471
635.60/571.19	o 472
668.60/603.13	o 473
669.83/604.28	o 474
671.03/605.45	o 475
678.89/613.12	o 476
679.49/613.73	o 477
680.92/615.02	o 478
682.02/616.16	o 479
683.51/617.69	o 480
684.61/618.70	o 481
687.05/621.04	o 482
687.66/621.67	o 483
688.36/622.31	o 484
689.46/623.41	o 485
690.56/624.59	o 486
691.81/625.61	o 487
692.31/626.19	o 488
693.51/627.36	o 489
694.11/627.94	o 490
694.61/628.48	o 491
695.81/629.64	o 492
696.83/630.57	o 493
698.03/631.72	o 494
703.88/637.24	o 495
704.98/638.31	o 496
705.62/638.93	o 497
707.49/640.77	o 498
709.39/642.60	o 499
709.99/643.23	o 500
713.62/646.72	o 501
717.40/650.31	o 502
720.47/653.25	o 503
755.33/686.19	o 504
759.39/690.09	o 505
759.99/690.69	o 506
763.02/693.42	o 507
771.14/701.21	o 508
774.23/704.12	o 509
775.33/705.29	o 510
776.49/706.24	o 511
777.78/707.58	o 512
778.88/708.62	o 513
781.39/710.93	o 514
782.38/711.94	o 515
787.01/716.14	o 516
789.41/718.52	o 517
792.49/721.43	o 518
795.15/723.82	o 519
796.54/725.22	o 520
801.23/729.44	o 521
802.92/731.17	o 522
806.66/734.61	o 523
808.56/736.51	o 524
811.48/739.15	o 525
812.09/739.73	o 526
817.46/744.85	o 527
820.19/746.50	o 528
827.07/753.33	o 529
827.67/753.96	o 530
830.84/756.95	o 531
832.33/758.41	o 532
847.82/773.20	o 533
872.17/795.95	o 534
874.95/798.66	o 535
877.06/800.49	o 536
882.26/805.68	o 537
889.68/812.68	o 538
890.28/813.28	o 539
892.93/815.63	o 540
893.54/816.27	o 541
895.23/817.90	o 542
897.13/819.88	o 543
898.83/821.57	o 544
903.59/826.04	o 545
904.19/826.67	o 546
908.47/830.52	o 547
913.27/835.30	o 548
914.87/836.93	o 549
915.67/837.79	o 550
916.28/838.39	o 551
934.97/855.92	o 552
937.69/858.23	o 553
946.95/867.12	o 554
948.96/869.16	o 555
950.85/871.05	o 556
957.91/877.80	o 557
966.02/885.42	o 558
968.12/887.58	o 559
968.72/888.10	o 560
969.92/889.38	o 561
971.52/890.99	o 562
985.36/904.04	o 563
990.76/909.46	o 564
992.07/910.44	o 565
992.67/911.06	o 566
993.38/911.73	o 567
993.98/912.36	o 568
995.18/913.59	o 569
996.88/915.23	o 570
1000.48/918.82	o 571
1002.68/921.00	o 572
1004.31/922.53	o 573
1005.93/924.17	o 574
1007.51/925.79	o 575
1010.71/928.96	o 576
1011.43/929.66	o 577
1013.32/931.53	o 578
1015.14/933.05	o 579
1017.54/935.40	o 580
1021.24/939.11	o 581
1023.24/941.14	o 582
1029.58/947.28	o 583
1030.77/948.47	o 584
1032.17/949.86	o 585
1034.87/952.55	o 586
1036.47/954.13	o 587
1039.65/957.18	o 588
1041.44/958.94	o 589
1042.05/959.54	o 590
1044.75/962.24	o 591
1049.54/966.74	o 592
1050.85/968.05	o 593
1093.08/1009.21	o 594
1103.37/1019.30	o 595
1103.97/1019.92	o 596
1108.44/1024.22	o 597
1109.03/1024.87	o 598
1110.23/1026.01	o 599
1112.34/1028.13	o 600
1122.46/1038.01	o 601
1157.32/1071.84	o 602
1162.82/1077.30	o 603
1163.42/1077.97	o 604
1168.43/1082.80	o 605
1170.73/1085.08	o 606
1171.63/1085.96	o 607
1173.43/1087.75	o 608
1174.13/1088.43	o 609
1175.43/1089.75	o 610
1181.11/1095.22	o 611
1183.31/1097.46	o 612
1195.79/1109.73	o 613
1198.59/1112.55	o 614
1200.13/1113.99	o 615
1200.83/1114.66	o 616
1203.23/1117.04	o 617
1204.13/1117.97	o 618
1205.84/1119.69	o 619
1207.64/1121.41	o 620
1208.64/1122.31	o 621
1209.34/1123.01	o 622
1214.22/1127.75	o 623
1217.83/1131.34	o 624
1219.53/1133.06	o 625
1220.63/1134.19	o 626
1223.94/1137.44	o 627
1233.46/1146.83	o 628
1234.72/1148.00	o 629
1240.13/1153.31	o 630
1242.63/1155.87	o 631
1245.60/1158.64	o 632
1254.98/1167.89	o 633
1258.88/1171.78	o 634
1259.89/1172.79	o 635
1266.78/1179.44	o 636
1268.38/1181.06	o 637
1271.38/1184.06	o 638
1274.68/1187.37	o 639
1277.66/1190.20	o 640
1278.37/1190.84	o 641
1280.87/1193.34	o 642
1282.07/1194.59	o 643
1282.77/1195.29	o 644
1287.88/1200.20	o 645
1289.57/1201.80	o 646
1291.77/1204.06	o 647
1292.77/1205.06	o 648
1295.07/1207.39	o 649
1295.77/1208.05	o 650
1296.68/1208.93	o 651
1327.44/1238.98	o 652
1328.14/1239.64	o 653
1335.34/1246.69	o 654
1342.14/1253.49	o 655
1346.43/1257.56	o 656
1347.13/1258.25	o 657
1348.22/1259.37	o 658
1348.93/1260.06	o 659
1352.03/1263.11	o 660
1371.44/1282.16	o 661
1372.84/1283.52	o 662
1386.42/1296.76	o 663
1393.72/1304.06	o 664
1398.36/1308.55	o 665
1399.77/1309.90	o 666
1403.47/1313.64	o 667
1417.41/1327.26	o 668
1423.11/1332.92	o 669
1424.91/1334.74	o 670
1429.85/1339.51	o 671
1431.26/1340.93	o 672
1431.95/1341.66	o 673
1432.75/1342.41	o 674
1435.76/1345.42	o 675
1437.34/1346.84	o 676
1444.15/1353.65	o 677
1460.23/1369.38	o 678
1463.63/1372.77	o 679
1464.94/1374.06	o 680
1473.02/1381.92	o 681
1484.23/1392.95	o 682
1485.43/1394.13	o 683
1491.43/1399.95	o 684
1496.24/1404.73	o 685
1509.00/1417.17	o 686
1509.70/1417.85	o 687
1512.31/1420.49	o 688
1601.20/1507.38	o 689
1605.90/1512.00	o 690
1607.71/1513.84	o 691
1608.61/1514.80	o 692
1610.34/1516.35	o 693
1611.05/1517.04	o 694
1615.35/1521.31	o 695
1630.78/1536.52	o 696
1632.93/1538.59	o 697
1637.23/1542.85	o 698
1643.59/1549.00	o 699
1645.09/1550.51	o 700
1646.80/1552.28	o 701
1649.89/1555.32	o 702
1651.60/1557.07	o 703
1655.27/1560.50	o 704
1662.28/1567.60	o 705
1666.84/1572.00	o 706
1668.13/1573.29	o 707
1674.33/1579.40	o 708
1675.93/1581.00	o 709
1679.86/1584.86	o 710
1681.57/1586.53	o 711
1778.69/1681.47	o 712
1782.69/1685.40	o 713
1786.32/1688.93	o 714
1786.92/1689.55	o 715
1788.82/1691.43	o 716
1790.43/1693.09	o 717
1796.12/1698.56	o 718
1799.33/1701.78	o 719
2059.27/1957.11	o 720
2070.93/1968.67	o 721
2079.05/1976.77	o 722
2083.89/1981.41	o 723
2135.00/2031.52	o 724
2136.20/2032.80	o 725
2137.40/2033.98	o 726
2163.22/2059.24	o 727
2400.01/2291.81	java.util.concurrent.TimeoutException
2400.01/2291.81		at concrete.MAC.mac(MAC.scala:74)
2400.01/2291.81		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.01/2291.81		at scala.util.Try$.apply(Try.scala:209)
2400.01/2291.81		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.01/2291.81		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.01/2291.81		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.01/2291.81		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.01/2291.81		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.01/2291.81		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.01/2291.81		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.01/2291.81		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.01/2291.81		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.01/2291.81		at concrete.MAC.oneRun(MAC.scala:146)
2400.01/2291.81		at concrete.MAC.nextSolution(MAC.scala:166)
2400.01/2291.81		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.01/2291.81		at concrete.ProblemState.map(ProblemState.scala:203)
2400.01/2291.81		at concrete.ProblemState.map(ProblemState.scala:188)
2400.01/2291.81		at concrete.MAC.nextSolution(MAC.scala:195)
2400.01/2291.81		at concrete.Solver.hasNext(Solver.scala:202)
2400.01/2291.81		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.01/2291.81		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.01/2291.81		at concrete.Solver.toStream(Solver.scala:73)
2400.01/2291.81		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.01/2291.81		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.01/2291.81		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.01/2291.81		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.01/2291.81		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.01/2291.81		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.01/2291.81		at scala.util.Success.map(Try.scala:209)
2400.01/2291.81		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.01/2291.81		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.01/2291.81		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.01/2291.81		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.01/2291.81		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.01/2291.81		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.01/2291.81		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.01/2291.81		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.01/2291.81		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.01/2291.81		at scala.collection.immutable.List.foreach(List.scala:389)
2400.01/2291.81		at scala.App.main(App.scala:76)
2400.01/2291.81		at scala.App.main$(App.scala:74)
2400.01/2291.81		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.01/2291.81		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.01/2291.82	v <instantiation cost="727">
2400.01/2291.82	v       <list>
2400.01/2291.82	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
2400.01/2291.82	v       </list>
2400.01/2291.82	v       <values>
2400.01/2291.82	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
2400.01/2291.82	v       </values>
2400.01/2291.82	v     </instantiation>
2400.01/2291.82	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-4244758-1500696823/watcher-4244758-1500696823 -o /tmp/evaluation-result-4244758-1500696823/solver-4244758-1500696823 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500682887-8969 --watchdog 2560 bin/concrete HOME/instance-4244758-1500696823.xml 

pid=12170
running on 8 cores: 1,3,5,7,9,11,13,15

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


[startup+0 s]
/proc/loadavg: 1.44 1.45 1.44 6/261 12173
/proc/meminfo: memFree=31264116/32770624 swapFree=5792/382332
[pid=12173] ppid=12170 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12173/stat : 12173 (bash) S 12170 12173 7912 0 -1 4202496 685 1534 0 0 0 0 0 0 20 0 1 0 4949941 9736192 350 33554432000 4194304 5098028 140724745928592 140724745926232 140123982679040 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 18878464 140724745934094 140724745934179 140724745934179 140724745936878 0
/proc/12173/statm: 2377 350 277 221 0 86 0

[startup+0.100075 s]
/proc/loadavg: 1.44 1.45 1.44 6/261 12173
/proc/meminfo: memFree=31264116/32770624 swapFree=5792/382332
[pid=12173] ppid=12170 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/12173/stat : 12173 (bash) S 12170 12173 7912 0 -1 4202496 879 6421 0 0 0 0 0 1 20 0 1 0 4949941 9871360 378 33554432000 4194304 5098028 140724745928592 140724745922600 140123982679040 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 18878464 140724745934094 140724745934179 140724745934179 140724745936878 0
/proc/12173/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.20038 s]
/proc/loadavg: 1.44 1.45 1.44 6/261 12173
/proc/meminfo: memFree=31264116/32770624 swapFree=5792/382332
[pid=12173] ppid=12170 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/12173/stat : 12173 (java) S 12170 12173 7912 0 -1 1077944320 5024 12644 0 0 6 1 7 4 20 0 13 0 4949941 10686320640 4869 33554432000 4194304 4196468 140727040025904 140727040008448 140390096453367 0 0 0 16800971 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
/proc/12173/statm: 2608965 4869 2172 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300309 s]
/proc/loadavg: 1.44 1.45 1.44 6/261 12173
/proc/meminfo: memFree=31264116/32770624 swapFree=5792/382332
[pid=12173] ppid=12170 vsize=10903384 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/12173/stat : 12173 (java) S 12170 12173 7912 0 -1 1077944320 8293 12644 0 0 23 2 7 4 20 0 20 0 4949941 11165065216 9518 33554432000 4194304 4196468 140727040025904 140727040008448 140390096453367 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
/proc/12173/statm: 2725846 9584 2998 1 0 2714138 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10903384

[startup+0.700235 s]
/proc/loadavg: 1.44 1.45 1.44 6/261 12173
/proc/meminfo: memFree=31264116/32770624 swapFree=5792/382332
[pid=12173] ppid=12170 vsize=10902720 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/12173/stat : 12173 (java) S 12170 12173 7912 0 -1 1077944320 13122 12644 0 0 81 4 7 4 20 0 20 0 4949941 11164385280 15868 33554432000 4194304 4196468 140727040025904 140727040008448 140390096453367 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
/proc/12173/statm: 2725680 15868 3220 1 0 2713890 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 10902720

[startup+1.50112 s]
/proc/loadavg: 1.81 1.52 1.47 7/281 12246
/proc/meminfo: memFree=31140584/32770624 swapFree=5792/382384
[pid=12173] ppid=12170 vsize=10913344 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/12173/stat : 12173 (java) S 12170 12173 7912 0 -1 1077944320 27530 12644 0 0 204 14 7 4 20 0 20 0 4949941 11175264256 43879 33554432000 4194304 4196468 140727040025904 140727040008448 140390096453367 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
/proc/12173/statm: 2728336 43879 3406 1 0 2716450 0
[pid=12173/tid=12228] ppid=12170 vsize=10913344 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12228/stat : 12228 (java) R 12170 12173 7912 0 -1 4202560 19382 12644 0 0 126 5 7 4 20 0 20 0 4949953 11175264256 43879 33554432000 4194304 4196468 140727040025904 140390100680712 140390096465302 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12229] ppid=12170 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12229/stat : 12229 (java) S 12170 12173 7912 0 -1 1077944384 35 12644 0 0 0 1 7 4 20 0 20 0 4949954 11175264256 43879 33554432000 4194304 4196468 140727040025904 140389703354896 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12230] ppid=12170 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12230/stat : 12230 (java) S 12170 12173 7912 0 -1 1077944384 25 12644 0 0 1 0 7 4 20 0 20 0 4949954 11175264256 43879 33554432000 4194304 4196468 140727040025904 140389702302352 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12231] ppid=12170 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12231/stat : 12231 (java) S 12170 12173 7912 0 -1 1077944384 26 12644 0 0 1 0 7 4 20 0 20 0 4949954 11175264256 43879 33554432000 4194304 4196468 140727040025904 140389701249296 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12232] ppid=12170 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12232/stat : 12232 (java) S 12170 12173 7912 0 -1 1077944384 22 12644 0 0 0 0 7 4 20 0 20 0 4949954 11175264256 43879 33554432000 4194304 4196468 140727040025904 140389700196752 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12233] ppid=12170 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12233/stat : 12233 (java) S 12170 12173 7912 0 -1 1077944384 136 12644 0 0 0 0 7 4 20 0 20 0 4949954 11175264256 43879 33554432000 4194304 4196468 140727040025904 140389699144720 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12234] ppid=12170 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12234/stat : 12234 (java) S 12170 12173 7912 0 -1 1077944384 15 12644 0 0 1 0 7 4 20 0 20 0 4949954 11175264256 43879 33554432000 4194304 4196468 140727040025904 140389698092176 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12235] ppid=12170 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12235/stat : 12235 (java) S 12170 12173 7912 0 -1 1077944384 25 12644 0 0 0 0 7 4 20 0 20 0 4949954 11175264256 43879 33554432000 4194304 4196468 140727040025904 140389697039120 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12236] ppid=12170 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12236/stat : 12236 (java) S 12170 12173 7912 0 -1 1077944384 50 12644 0 0 1 0 7 4 20 0 20 0 4949954 11175264256 43879 33554432000 4194304 4196468 140727040025904 140389695986576 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12237] ppid=12170 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12237/stat : 12237 (java) S 12170 12173 7912 0 -1 1077944384 1591 12644 0 0 1 0 7 4 20 0 20 0 4949956 11175264256 43879 33554432000 4194304 4196468 140727040025904 140389571111152 140390096464514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12238] ppid=12170 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12238/stat : 12238 (java) S 12170 12173 7912 0 -1 1077944384 56 12644 0 0 0 0 7 4 20 0 20 0 4949957 11175264256 43879 33554432000 4194304 4196468 140727040025904 140389570057440 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12239] ppid=12170 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12239/stat : 12239 (java) S 12170 12173 7912 0 -1 1077944384 42 12644 0 0 0 0 7 4 20 0 20 0 4949957 11175264256 43879 33554432000 4194304 4196468 140727040025904 140389569004288 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12240] ppid=12170 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12240/stat : 12240 (java) S 12170 12173 7912 0 -1 1077944384 1 12644 0 0 0 0 7 4 20 0 20 0 4949961 11175264256 43879 33554432000 4194304 4196468 140727040025904 140389567952848 140390096471963 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12241] ppid=12170 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12241/stat : 12241 (java) R 12170 12173 7912 0 -1 1077944384 773 12644 0 0 10 0 7 4 20 0 20 0 4949961 11175264256 43879 33554432000 4194304 4196468 140727040025904 140389566900976 140390096464514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12242] ppid=12170 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12242/stat : 12242 (java) S 12170 12173 7912 0 -1 1077944384 603 12644 0 0 13 0 7 4 20 0 20 0 4949961 11175264256 43879 33554432000 4194304 4196468 140727040025904 140389565848432 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12243] ppid=12170 vsize=10913344 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12243/stat : 12243 (java) R 12170 12173 7912 0 -1 4202560 1367 12644 0 0 16 0 7 4 20 0 20 0 4949961 11175264256 43879 33554432000 4194304 4196468 140727040025904 140389564776944 140390075710249 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12244] ppid=12170 vsize=10913344 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12244/stat : 12244 (java) S 12170 12173 7912 0 -1 1077944384 1249 12644 0 0 26 0 7 4 20 0 20 0 4949961 11175264256 43879 33554432000 4194304 4196468 140727040025904 140389563742832 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12245] ppid=12170 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12245/stat : 12245 (java) S 12170 12173 7912 0 -1 1077944384 3 12644 0 0 0 0 7 4 20 0 20 0 4949962 11175264256 43879 33554432000 4194304 4196468 140727040025904 140389562690016 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12246] ppid=12170 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12246/stat : 12246 (java) S 12170 12173 7912 0 -1 1077944384 3 12644 0 0 0 0 7 4 20 0 20 0 4949962 11175264256 43879 33554432000 4194304 4196468 140727040025904 140389561637552 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10913344

[startup+3.10078 s]
/proc/loadavg: 1.81 1.52 1.47 7/281 12246
/proc/meminfo: memFree=30985704/32770624 swapFree=5792/382384
[pid=12173] ppid=12170 vsize=10925820 CPUtime=6.57 cores=1,3,5,7,9,11,13,15
/proc/12173/stat : 12173 (java) S 12170 12173 7912 0 -1 1077944320 42932 12644 0 0 627 19 7 4 20 0 20 0 4949941 11188039680 56690 33554432000 4194304 4196468 140727040025904 140727040008448 140390096453367 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
/proc/12173/statm: 2731455 56690 3477 1 0 2719010 0
[pid=12173/tid=12228] ppid=12170 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12228/stat : 12228 (java) R 12170 12173 7912 0 -1 4202560 25596 12644 0 0 283 7 7 4 20 0 20 0 4949953 11188039680 56690 33554432000 4194304 4196468 140727040025904 140390100663648 140390076731133 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12229] ppid=12170 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12229/stat : 12229 (java) S 12170 12173 7912 0 -1 1077944384 35 12644 0 0 0 1 7 4 20 0 20 0 4949954 11188039680 56690 33554432000 4194304 4196468 140727040025904 140389703354896 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12230] ppid=12170 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12230/stat : 12230 (java) S 12170 12173 7912 0 -1 1077944384 25 12644 0 0 1 0 7 4 20 0 20 0 4949954 11188039680 56690 33554432000 4194304 4196468 140727040025904 140389702302352 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12231] ppid=12170 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12231/stat : 12231 (java) S 12170 12173 7912 0 -1 1077944384 26 12644 0 0 1 0 7 4 20 0 20 0 4949954 11188039680 56690 33554432000 4194304 4196468 140727040025904 140389701249296 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12232] ppid=12170 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12232/stat : 12232 (java) S 12170 12173 7912 0 -1 1077944384 22 12644 0 0 0 0 7 4 20 0 20 0 4949954 11188039680 56690 33554432000 4194304 4196468 140727040025904 140389700196752 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12233] ppid=12170 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12233/stat : 12233 (java) S 12170 12173 7912 0 -1 1077944384 136 12644 0 0 0 0 7 4 20 0 20 0 4949954 11188039680 56690 33554432000 4194304 4196468 140727040025904 140389699144720 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12234] ppid=12170 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12234/stat : 12234 (java) S 12170 12173 7912 0 -1 1077944384 15 12644 0 0 1 0 7 4 20 0 20 0 4949954 11188039680 56690 33554432000 4194304 4196468 140727040025904 140389698092176 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12235] ppid=12170 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12235/stat : 12235 (java) S 12170 12173 7912 0 -1 1077944384 25 12644 0 0 0 0 7 4 20 0 20 0 4949954 11188039680 56690 33554432000 4194304 4196468 140727040025904 140389697039120 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12236] ppid=12170 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12236/stat : 12236 (java) S 12170 12173 7912 0 -1 1077944384 50 12644 0 0 1 0 7 4 20 0 20 0 4949954 11188039680 56690 33554432000 4194304 4196468 140727040025904 140389695986576 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12237] ppid=12170 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12237/stat : 12237 (java) S 12170 12173 7912 0 -1 1077944384 1728 12644 0 0 1 0 7 4 20 0 20 0 4949956 11188039680 56690 33554432000 4194304 4196468 140727040025904 140389571111152 140390096464514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12238] ppid=12170 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12238/stat : 12238 (java) S 12170 12173 7912 0 -1 1077944384 56 12644 0 0 0 0 7 4 20 0 20 0 4949957 11188039680 56690 33554432000 4194304 4196468 140727040025904 140389570057440 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12239] ppid=12170 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12239/stat : 12239 (java) S 12170 12173 7912 0 -1 1077944384 42 12644 0 0 0 0 7 4 20 0 20 0 4949957 11188039680 56690 33554432000 4194304 4196468 140727040025904 140389569004288 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12240] ppid=12170 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12240/stat : 12240 (java) S 12170 12173 7912 0 -1 1077944384 1 12644 0 0 0 0 7 4 20 0 20 0 4949961 11188039680 56690 33554432000 4194304 4196468 140727040025904 140389567952848 140390096471963 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12241] ppid=12170 vsize=10925820 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12241/stat : 12241 (java) S 12170 12173 7912 0 -1 1077944384 2407 12644 0 0 69 1 7 4 20 0 20 0 4949961 11188039680 56690 33554432000 4194304 4196468 140727040025904 140389566900976 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12242] ppid=12170 vsize=10925820 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12242/stat : 12242 (java) S 12170 12173 7912 0 -1 1077944384 4134 12644 0 0 88 0 7 4 20 0 20 0 4949961 11188039680 56690 33554432000 4194304 4196468 140727040025904 140389565848432 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12243] ppid=12170 vsize=10925820 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12243/stat : 12243 (java) S 12170 12173 7912 0 -1 1077944384 2532 12644 0 0 68 1 7 4 20 0 20 0 4949961 11188039680 56690 33554432000 4194304 4196468 140727040025904 140389564795376 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12244] ppid=12170 vsize=10925820 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12244/stat : 12244 (java) S 12170 12173 7912 0 -1 1077944384 3965 12644 0 0 107 1 7 4 20 0 20 0 4949961 11188039680 56690 33554432000 4194304 4196468 140727040025904 140389563742832 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12245] ppid=12170 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12245/stat : 12245 (java) S 12170 12173 7912 0 -1 1077944384 3 12644 0 0 0 0 7 4 20 0 20 0 4949962 11188039680 56690 33554432000 4194304 4196468 140727040025904 140389562690016 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12246] ppid=12170 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12246/stat : 12246 (java) S 12170 12173 7912 0 -1 1077944384 5 12644 0 0 0 0 7 4 20 0 20 0 4949962 11188039680 56690 33554432000 4194304 4196468 140727040025904 140389561637552 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
Current children cumulated CPU time (s) 6.57
Current children cumulated vsize (KiB) 10925820

[startup+6.30117 s]
/proc/loadavg: 2.06 1.58 1.49 6/281 12246
/proc/meminfo: memFree=30585084/32770624 swapFree=5792/382392
[pid=12173] ppid=12170 vsize=10927868 CPUtime=18.48 cores=1,3,5,7,9,11,13,15
/proc/12173/stat : 12173 (java) S 12170 12173 7912 0 -1 1077944320 65434 12644 0 0 1803 34 7 4 20 0 20 0 4949941 11190136832 104255 33554432000 4194304 4196468 140727040025904 140727040008448 140390096453367 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
/proc/12173/statm: 2731967 104255 3502 1 0 2719522 0
[pid=12173/tid=12228] ppid=12170 vsize=10927868 CPUtime=6.09 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12228/stat : 12228 (java) R 12170 12173 7912 0 -1 4202560 32949 12644 0 0 587 11 7 4 20 0 20 0 4949953 11190136832 104255 33554432000 4194304 4196468 140727040025904 140390100683064 140389750545802 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12229] ppid=12170 vsize=10927868 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12229/stat : 12229 (java) S 12170 12173 7912 0 -1 1077944384 67 12644 0 0 5 2 7 4 20 0 20 0 4949954 11190136832 104255 33554432000 4194304 4196468 140727040025904 140389703354896 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12230] ppid=12170 vsize=10927868 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12230/stat : 12230 (java) S 12170 12173 7912 0 -1 1077944384 49 12644 0 0 4 1 7 4 20 0 20 0 4949954 11190136832 104255 33554432000 4194304 4196468 140727040025904 140389702302352 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12231] ppid=12170 vsize=10927868 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12231/stat : 12231 (java) S 12170 12173 7912 0 -1 1077944384 58 12644 0 0 5 1 7 4 20 0 20 0 4949954 11190136832 104255 33554432000 4194304 4196468 140727040025904 140389701249296 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12232] ppid=12170 vsize=10927868 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12232/stat : 12232 (java) S 12170 12173 7912 0 -1 1077944384 49 12644 0 0 6 1 7 4 20 0 20 0 4949954 11190136832 104255 33554432000 4194304 4196468 140727040025904 140389700196752 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12233] ppid=12170 vsize=10927868 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12233/stat : 12233 (java) S 12170 12173 7912 0 -1 1077944384 162 12644 0 0 6 1 7 4 20 0 20 0 4949954 11190136832 104255 33554432000 4194304 4196468 140727040025904 140389699144720 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12234] ppid=12170 vsize=10927868 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12234/stat : 12234 (java) S 12170 12173 7912 0 -1 1077944384 89 12644 0 0 6 1 7 4 20 0 20 0 4949954 11190136832 104255 33554432000 4194304 4196468 140727040025904 140389698092176 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12235] ppid=12170 vsize=10927868 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12235/stat : 12235 (java) S 12170 12173 7912 0 -1 1077944384 849 12644 0 0 7 1 7 4 20 0 20 0 4949954 11190136832 104255 33554432000 4194304 4196468 140727040025904 140389697039120 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12236] ppid=12170 vsize=10927868 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12236/stat : 12236 (java) S 12170 12173 7912 0 -1 1077944384 71 12644 0 0 5 1 7 4 20 0 20 0 4949954 11190136832 104255 33554432000 4194304 4196468 140727040025904 140389695986576 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12237] ppid=12170 vsize=10927868 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12237/stat : 12237 (java) S 12170 12173 7912 0 -1 1077944384 2491 12644 0 0 5 0 7 4 20 0 20 0 4949956 11190136832 104255 33554432000 4194304 4196468 140727040025904 140389571111152 140390096464514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12238] ppid=12170 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12238/stat : 12238 (java) S 12170 12173 7912 0 -1 1077944384 57 12644 0 0 0 0 7 4 20 0 20 0 4949957 11190136832 104255 33554432000 4194304 4196468 140727040025904 140389570057440 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12239] ppid=12170 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12239/stat : 12239 (java) S 12170 12173 7912 0 -1 1077944384 42 12644 0 0 0 0 7 4 20 0 20 0 4949957 11190136832 104255 33554432000 4194304 4196468 140727040025904 140389569004288 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12240] ppid=12170 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12240/stat : 12240 (java) S 12170 12173 7912 0 -1 1077944384 1 12644 0 0 0 0 7 4 20 0 20 0 4949961 11190136832 104255 33554432000 4194304 4196468 140727040025904 140389567952848 140390096471963 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12241] ppid=12170 vsize=10927868 CPUtime=3.31 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12241/stat : 12241 (java) S 12170 12173 7912 0 -1 1077944384 6619 12644 0 0 318 2 7 4 20 0 20 0 4949961 11190136832 104255 33554432000 4194304 4196468 140727040025904 140389566900976 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12242] ppid=12170 vsize=10927868 CPUtime=3.51 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12242/stat : 12242 (java) S 12170 12173 7912 0 -1 1077944384 7527 12644 0 0 339 1 7 4 20 0 20 0 4949961 11190136832 104255 33554432000 4194304 4196468 140727040025904 140389565848432 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12243] ppid=12170 vsize=10927868 CPUtime=3.26 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12243/stat : 12243 (java) S 12170 12173 7912 0 -1 1077944384 6199 12644 0 0 313 2 7 4 20 0 20 0 4949961 11190136832 104255 33554432000 4194304 4196468 140727040025904 140389564795376 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12244] ppid=12170 vsize=10927868 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12244/stat : 12244 (java) S 12170 12173 7912 0 -1 1077944384 6016 12644 0 0 189 2 7 4 20 0 20 0 4949961 11190136832 104255 33554432000 4194304 4196468 140727040025904 140389563742832 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12245] ppid=12170 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15

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

[pid=12173/tid=12242] ppid=12170 vsize=10999548 CPUtime=10.84 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12242/stat : 12242 (java) S 12170 12173 7912 0 -1 1077944384 41537 12644 0 0 1066 7 7 4 20 0 20 0 4949961 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389565848432 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12243] ppid=12170 vsize=10999548 CPUtime=10.71 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12243/stat : 12243 (java) S 12170 12173 7912 0 -1 1077944384 45488 12644 0 0 1052 8 7 4 20 0 20 0 4949961 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389564795376 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12244] ppid=12170 vsize=10999548 CPUtime=5.03 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12244/stat : 12244 (java) S 12170 12173 7912 0 -1 1077944384 62121 12644 0 0 483 9 7 4 20 0 20 0 4949961 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389563742832 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12245] ppid=12170 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12245/stat : 12245 (java) S 12170 12173 7912 0 -1 1077944384 3 12644 0 0 0 0 7 4 20 0 20 0 4949962 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389562690016 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12246] ppid=12170 vsize=10999548 CPUtime=1.12 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12246/stat : 12246 (java) S 12170 12173 7912 0 -1 1077944384 1899 12644 0 0 50 51 7 4 20 0 20 0 4949962 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389561637552 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
Current children cumulated CPU time (s) 2248.27
Current children cumulated vsize (KiB) 10999548

[startup+2202.31 s]
/proc/loadavg: 2.60 1.96 1.75 3/281 12313
/proc/meminfo: memFree=25605800/32770624 swapFree=5792/385368
[pid=12173] ppid=12170 vsize=10999548 CPUtime=2309.38 cores=1,3,5,7,9,11,13,15
/proc/12173/stat : 12173 (java) S 12170 12173 7912 0 -1 1077944320 548832 12644 0 0 229226 1701 7 4 20 0 20 0 4949941 11263537152 818428 33554432000 4194304 4196468 140727040025904 140727040008448 140390096453367 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
/proc/12173/statm: 2749887 818428 3540 1 0 2737442 0
[pid=12173/tid=12228] ppid=12170 vsize=10999548 CPUtime=2190.22 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12228/stat : 12228 (java) R 12170 12173 7912 0 -1 4202560 214965 12644 0 0 218946 65 7 4 20 0 20 0 4949953 11263537152 818428 33554432000 4194304 4196468 140727040025904 140390100686416 140389743545519 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12229] ppid=12170 vsize=10999548 CPUtime=10.29 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12229/stat : 12229 (java) S 12170 12173 7912 0 -1 1077944384 10387 12644 0 0 821 197 7 4 20 0 20 0 4949954 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389703354896 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12230] ppid=12170 vsize=10999548 CPUtime=10.18 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12230/stat : 12230 (java) S 12170 12173 7912 0 -1 1077944384 8980 12644 0 0 814 193 7 4 20 0 20 0 4949954 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389702302352 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12231] ppid=12170 vsize=10999548 CPUtime=10.14 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12231/stat : 12231 (java) S 12170 12173 7912 0 -1 1077944384 14424 12644 0 0 811 192 7 4 20 0 20 0 4949954 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389701249296 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12232] ppid=12170 vsize=10999548 CPUtime=10.09 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12232/stat : 12232 (java) S 12170 12173 7912 0 -1 1077944384 12738 12644 0 0 805 193 7 4 20 0 20 0 4949954 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389700196752 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12233] ppid=12170 vsize=10999548 CPUtime=10.22 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12233/stat : 12233 (java) S 12170 12173 7912 0 -1 1077944384 12628 12644 0 0 813 198 7 4 20 0 20 0 4949954 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389699144720 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12234] ppid=12170 vsize=10999548 CPUtime=10.07 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12234/stat : 12234 (java) S 12170 12173 7912 0 -1 1077944384 13194 12644 0 0 805 191 7 4 20 0 20 0 4949954 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389698092176 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12235] ppid=12170 vsize=10999548 CPUtime=10.22 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12235/stat : 12235 (java) S 12170 12173 7912 0 -1 1077944384 13534 12644 0 0 817 194 7 4 20 0 20 0 4949954 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389697039120 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12236] ppid=12170 vsize=10999548 CPUtime=10.13 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12236/stat : 12236 (java) S 12170 12173 7912 0 -1 1077944384 14446 12644 0 0 809 193 7 4 20 0 20 0 4949954 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389695986576 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12237] ppid=12170 vsize=10999548 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12237/stat : 12237 (java) S 12170 12173 7912 0 -1 1077944384 36887 12644 0 0 60 11 7 4 20 0 20 0 4949956 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389571111152 140390096464514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12238] ppid=12170 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12238/stat : 12238 (java) S 12170 12173 7912 0 -1 1077944384 216 12644 0 0 1 0 7 4 20 0 20 0 4949957 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389570057504 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12239] ppid=12170 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12239/stat : 12239 (java) S 12170 12173 7912 0 -1 1077944384 54 12644 0 0 0 0 7 4 20 0 20 0 4949957 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389569004288 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12240] ppid=12170 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12240/stat : 12240 (java) S 12170 12173 7912 0 -1 1077944384 1 12644 0 0 0 0 7 4 20 0 20 0 4949961 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389567952848 140390096471963 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12241] ppid=12170 vsize=10999548 CPUtime=10.65 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12241/stat : 12241 (java) S 12170 12173 7912 0 -1 1077944384 43160 12644 0 0 1046 8 7 4 20 0 20 0 4949961 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389566900976 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12242] ppid=12170 vsize=10999548 CPUtime=10.84 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12242/stat : 12242 (java) S 12170 12173 7912 0 -1 1077944384 41540 12644 0 0 1066 7 7 4 20 0 20 0 4949961 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389565848432 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12243] ppid=12170 vsize=10999548 CPUtime=10.71 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12243/stat : 12243 (java) S 12170 12173 7912 0 -1 1077944384 45490 12644 0 0 1052 8 7 4 20 0 20 0 4949961 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389564795376 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12244] ppid=12170 vsize=10999548 CPUtime=5.03 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12244/stat : 12244 (java) S 12170 12173 7912 0 -1 1077944384 62123 12644 0 0 483 9 7 4 20 0 20 0 4949961 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389563742832 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12245] ppid=12170 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12245/stat : 12245 (java) S 12170 12173 7912 0 -1 1077944384 3 12644 0 0 0 0 7 4 20 0 20 0 4949962 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389562690016 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12246] ppid=12170 vsize=10999548 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12246/stat : 12246 (java) S 12170 12173 7912 0 -1 1077944384 1933 12644 0 0 52 52 7 4 20 0 20 0 4949962 11263537152 818428 33554432000 4194304 4196468 140727040025904 140389561637552 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
Current children cumulated CPU time (s) 2309.38
Current children cumulated vsize (KiB) 10999548

[startup+2262.3 s]
/proc/loadavg: 2.14 1.93 1.76 3/281 12314
/proc/meminfo: memFree=25385008/32770624 swapFree=5792/385448
[pid=12173] ppid=12170 vsize=10999548 CPUtime=2370.1 cores=1,3,5,7,9,11,13,15
/proc/12173/stat : 12173 (java) S 12170 12173 7912 0 -1 1077944320 555461 12644 0 0 235296 1703 7 4 20 0 20 0 4949941 11263537152 818427 33554432000 4194304 4196468 140727040025904 140727040008448 140390096453367 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
/proc/12173/statm: 2749887 818427 3540 1 0 2737442 0
[pid=12173/tid=12228] ppid=12170 vsize=10999548 CPUtime=2250.06 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12228/stat : 12228 (java) R 12170 12173 7912 0 -1 4202560 218606 12644 0 0 224929 66 7 4 20 0 20 0 4949953 11263537152 818427 33554432000 4194304 4196468 140727040025904 140390100687216 140389757381394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12229] ppid=12170 vsize=10999548 CPUtime=10.38 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12229/stat : 12229 (java) S 12170 12173 7912 0 -1 1077944384 10447 12644 0 0 830 197 7 4 20 0 20 0 4949954 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389703354896 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12230] ppid=12170 vsize=10999548 CPUtime=10.29 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12230/stat : 12230 (java) S 12170 12173 7912 0 -1 1077944384 9115 12644 0 0 825 193 7 4 20 0 20 0 4949954 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389702302352 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12231] ppid=12170 vsize=10999548 CPUtime=10.24 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12231/stat : 12231 (java) S 12170 12173 7912 0 -1 1077944384 14534 12644 0 0 820 193 7 4 20 0 20 0 4949954 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389701249296 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12232] ppid=12170 vsize=10999548 CPUtime=10.21 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12232/stat : 12232 (java) S 12170 12173 7912 0 -1 1077944384 13053 12644 0 0 816 194 7 4 20 0 20 0 4949954 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389700196752 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12233] ppid=12170 vsize=10999548 CPUtime=10.34 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12233/stat : 12233 (java) S 12170 12173 7912 0 -1 1077944384 12691 12644 0 0 825 198 7 4 20 0 20 0 4949954 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389699144720 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12234] ppid=12170 vsize=10999548 CPUtime=10.16 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12234/stat : 12234 (java) S 12170 12173 7912 0 -1 1077944384 13252 12644 0 0 814 191 7 4 20 0 20 0 4949954 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389698092176 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12235] ppid=12170 vsize=10999548 CPUtime=10.32 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12235/stat : 12235 (java) S 12170 12173 7912 0 -1 1077944384 15253 12644 0 0 827 194 7 4 20 0 20 0 4949954 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389697039120 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12236] ppid=12170 vsize=10999548 CPUtime=10.24 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12236/stat : 12236 (java) S 12170 12173 7912 0 -1 1077944384 14550 12644 0 0 820 193 7 4 20 0 20 0 4949954 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389695986576 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12237] ppid=12170 vsize=10999548 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12237/stat : 12237 (java) S 12170 12173 7912 0 -1 1077944384 37268 12644 0 0 61 11 7 4 20 0 20 0 4949956 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389571111152 140390096464514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12238] ppid=12170 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12238/stat : 12238 (java) S 12170 12173 7912 0 -1 1077944384 216 12644 0 0 1 0 7 4 20 0 20 0 4949957 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389570057504 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12239] ppid=12170 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12239/stat : 12239 (java) S 12170 12173 7912 0 -1 1077944384 54 12644 0 0 0 0 7 4 20 0 20 0 4949957 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389569004288 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12240] ppid=12170 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12240/stat : 12240 (java) S 12170 12173 7912 0 -1 1077944384 1 12644 0 0 0 0 7 4 20 0 20 0 4949961 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389567952848 140390096471963 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12241] ppid=12170 vsize=10999548 CPUtime=10.65 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12241/stat : 12241 (java) S 12170 12173 7912 0 -1 1077944384 43164 12644 0 0 1046 8 7 4 20 0 20 0 4949961 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389566900976 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12242] ppid=12170 vsize=10999548 CPUtime=10.84 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12242/stat : 12242 (java) S 12170 12173 7912 0 -1 1077944384 41543 12644 0 0 1066 7 7 4 20 0 20 0 4949961 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389565848432 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12243] ppid=12170 vsize=10999548 CPUtime=10.71 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12243/stat : 12243 (java) S 12170 12173 7912 0 -1 1077944384 45500 12644 0 0 1052 8 7 4 20 0 20 0 4949961 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389564795376 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12244] ppid=12170 vsize=10999548 CPUtime=5.03 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12244/stat : 12244 (java) S 12170 12173 7912 0 -1 1077944384 62126 12644 0 0 483 9 7 4 20 0 20 0 4949961 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389563742832 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12245] ppid=12170 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12245/stat : 12245 (java) S 12170 12173 7912 0 -1 1077944384 3 12644 0 0 0 0 7 4 20 0 20 0 4949962 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389562690016 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12246] ppid=12170 vsize=10999548 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12246/stat : 12246 (java) S 12170 12173 7912 0 -1 1077944384 1956 12644 0 0 53 53 7 4 20 0 20 0 4949962 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389561637552 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
Current children cumulated CPU time (s) 2370.1
Current children cumulated vsize (KiB) 10999548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2291.8 s]
/proc/loadavg: 2.08 1.94 1.76 3/281 12315
/proc/meminfo: memFree=25290140/32770624 swapFree=5792/385500
[pid=12173] ppid=12170 vsize=10999548 CPUtime=2400.01 cores=1,3,5,7,9,11,13,15
/proc/12173/stat : 12173 (java) S 12170 12173 7912 0 -1 1077944320 563560 12644 0 0 238285 1705 7 4 20 0 20 0 4949941 11263537152 818427 33554432000 4194304 4196468 140727040025904 140727040008448 140390096453367 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
/proc/12173/statm: 2749887 818427 3540 1 0 2737442 0
[pid=12173/tid=12228] ppid=12170 vsize=10999548 CPUtime=2279.48 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12228/stat : 12228 (java) R 12170 12173 7912 0 -1 4202560 221205 12644 0 0 227871 66 7 4 20 0 20 0 4949953 11263537152 818427 33554432000 4194304 4196468 140727040025904 140390100687232 140389757672268 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12229] ppid=12170 vsize=10999548 CPUtime=10.43 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12229/stat : 12229 (java) S 12170 12173 7912 0 -1 1077944384 10660 12644 0 0 835 197 7 4 20 0 20 0 4949954 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389703354896 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12230] ppid=12170 vsize=10999548 CPUtime=10.33 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12230/stat : 12230 (java) S 12170 12173 7912 0 -1 1077944384 9159 12644 0 0 829 193 7 4 20 0 20 0 4949954 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389702302352 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12231] ppid=12170 vsize=10999548 CPUtime=10.3 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12231/stat : 12231 (java) S 12170 12173 7912 0 -1 1077944384 14746 12644 0 0 826 193 7 4 20 0 20 0 4949954 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389701249296 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12232] ppid=12170 vsize=10999548 CPUtime=10.26 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12232/stat : 12232 (java) S 12170 12173 7912 0 -1 1077944384 14544 12644 0 0 821 194 7 4 20 0 20 0 4949954 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389700196752 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12233] ppid=12170 vsize=10999548 CPUtime=10.39 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12233/stat : 12233 (java) S 12170 12173 7912 0 -1 1077944384 12738 12644 0 0 830 198 7 4 20 0 20 0 4949954 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389699144720 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12234] ppid=12170 vsize=10999548 CPUtime=10.22 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12234/stat : 12234 (java) S 12170 12173 7912 0 -1 1077944384 13352 12644 0 0 820 191 7 4 20 0 20 0 4949954 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389698092176 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12235] ppid=12170 vsize=10999548 CPUtime=10.38 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12235/stat : 12235 (java) S 12170 12173 7912 0 -1 1077944384 15407 12644 0 0 833 194 7 4 20 0 20 0 4949954 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389697039120 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12236] ppid=12170 vsize=10999548 CPUtime=10.29 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12236/stat : 12236 (java) S 12170 12173 7912 0 -1 1077944384 14614 12644 0 0 825 193 7 4 20 0 20 0 4949954 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389695986576 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12237] ppid=12170 vsize=10999548 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12237/stat : 12237 (java) S 12170 12173 7912 0 -1 1077944384 37627 12644 0 0 61 11 7 4 20 0 20 0 4949956 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389571111152 140390096464514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12238] ppid=12170 vsize=10999548 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12238/stat : 12238 (java) S 12170 12173 7912 0 -1 1077944384 216 12644 0 0 1 0 7 4 20 0 20 0 4949957 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389570057504 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12239] ppid=12170 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12239/stat : 12239 (java) S 12170 12173 7912 0 -1 1077944384 54 12644 0 0 0 0 7 4 20 0 20 0 4949957 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389569004288 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12240] ppid=12170 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12240/stat : 12240 (java) S 12170 12173 7912 0 -1 1077944384 1 12644 0 0 0 0 7 4 20 0 20 0 4949961 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389567952848 140390096471963 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12241] ppid=12170 vsize=10999548 CPUtime=10.65 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12241/stat : 12241 (java) S 12170 12173 7912 0 -1 1077944384 43168 12644 0 0 1046 8 7 4 20 0 20 0 4949961 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389566900976 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12242] ppid=12170 vsize=10999548 CPUtime=10.88 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12242/stat : 12242 (java) S 12170 12173 7912 0 -1 1077944384 44306 12644 0 0 1070 7 7 4 20 0 20 0 4949961 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389565848432 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12243] ppid=12170 vsize=10999548 CPUtime=10.71 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12243/stat : 12243 (java) S 12170 12173 7912 0 -1 1077944384 45510 12644 0 0 1052 8 7 4 20 0 20 0 4949961 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389564795376 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12244] ppid=12170 vsize=10999548 CPUtime=5.03 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12244/stat : 12244 (java) S 12170 12173 7912 0 -1 1077944384 62129 12644 0 0 483 9 7 4 20 0 20 0 4949961 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389563742832 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12245] ppid=12170 vsize=10999548 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12245/stat : 12245 (java) S 12170 12173 7912 0 -1 1077944384 3 12644 0 0 0 0 7 4 20 0 20 0 4949962 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389562690016 140390096463573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
[pid=12173/tid=12246] ppid=12170 vsize=10999548 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/12173/task/12246/stat : 12246 (java) S 12170 12173 7912 0 -1 1077944384 1992 12644 0 0 54 54 7 4 20 0 20 0 4949962 11263537152 818427 33554432000 4194304 4196468 140727040025904 140389561637552 140390096464514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29081600 140727040027329 140727040030103 140727040030103 140727040032719 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 10999548

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

Child status: 143
Real time (s): 2291.85
CPU time (s): 2400.09
CPU user time (s): 2382.94
CPU system time (s): 17.1451
CPU usage (%): 104.723
Max. virtual memory (cumulated for all children) (KiB): 11002180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2382.94
system time used= 17.1451
maximum resident set size= 3280856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 580417
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88104
involuntary context switches= 126285

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4829 second user time and 20.5996 second system time

The end

Launcher Data 

Begin job on node125 at 2017-07-22 06:13:43
IDJOB=4244758
IDBENCH=115895
IDSOLVER=2630
FILE ID=node125/4244758-1500696823
RUNJOBID= node125-1500682887-8969
PBS_JOBID= 20623328
Free space on /tmp= 61952 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-4244758-1500696823/watcher-4244758-1500696823 -o /tmp/evaluation-result-4244758-1500696823/solver-4244758-1500696823 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1500682887-8969 --watchdog 2560  bin/concrete HOME/instance-4244758-1500696823.xml

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

MD5SUM BENCH= 4997da7be544d89c7d7e917a89d7c5a2
RANDOM SEED=2094861613

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31264528 kB
MemAvailable:   31691200 kB
Buffers:          171020 kB
Cached:           532640 kB
SwapCached:            0 kB
Active:           676204 kB
Inactive:         391084 kB
Active(anon):     366456 kB
Inactive(anon):     8752 kB
Active(file):     309748 kB
Inactive(file):   382332 kB
Unevictable:        5792 kB
Mlocked:            5792 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24600 kB
Writeback:             0 kB
AnonPages:        298412 kB
Mapped:            43408 kB
Shmem:              8840 kB
Slab:             133768 kB
SReclaimable:     100852 kB
SUnreclaim:        32916 kB
KernelStack:        4480 kB
PageTables:         6220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1132368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    124928 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61928 MiB
End job on node125 at 2017-07-22 06:51:55