Trace number 4248590

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)5 2400.1399 2344.03

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-38.xml
MD5SUMf8d5128c7bc11e119a8a7f8e485ceae3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark2400.0801
Satisfiable
(Un)Satisfiability was proved
Number of variables1444
Number of constraints8436
Number of domains1
Minimum domain size703
Maximum domain size703
Distribution of domain sizes[{"size":703,"count":703}]
Minimum variable degree0
Maximum variable degree37
Distribution of variable degrees[{"degree":0,"count":741},{"degree":37,"count":703}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":8436}]
Number of extensional constraints0
Number of intensional constraints8436
Distribution of constraint types[{"type":"intension","count":8436}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

3.18/2.20	c Concrete v3.4 running
44.61/22.05	o 702
47.98/24.27	o 701
50.30/26.10	o 700
52.14/27.93	o 699
54.30/29.80	o 698
56.16/31.57	o 697
58.01/33.38	o 696
59.99/35.15	o 695
62.12/36.93	o 694
63.97/38.73	o 693
66.06/40.53	o 692
67.78/42.29	o 691
69.63/44.05	o 690
71.42/45.80	o 689
73.04/47.41	o 688
74.93/49.20	o 687
76.43/50.76	o 686
78.23/52.50	o 685
80.04/54.30	o 684
81.74/56.04	o 683
83.54/57.80	o 682
85.40/59.63	o 681
87.11/61.39	o 680
88.91/63.13	o 679
90.62/64.88	o 678
92.42/66.64	o 677
94.02/68.21	o 676
95.72/69.95	o 675
97.56/71.74	o 674
99.26/73.49	o 673
101.06/75.26	o 672
102.87/77.02	o 671
104.58/78.76	o 670
106.38/80.50	o 669
108.15/82.28	o 668
110.15/84.25	o 667
111.95/86.02	o 666
113.65/87.79	o 665
115.45/89.55	o 664
117.15/91.30	o 663
118.99/93.07	o 662
120.61/94.63	o 661
122.41/96.44	o 660
124.11/98.19	o 659
125.92/99.99	o 658
127.73/101.74	o 657
129.54/103.51	o 656
131.26/105.26	o 655
133.06/107.00	o 654
134.77/108.74	o 653
136.47/110.49	o 652
138.28/112.25	o 651
140.08/114.01	o 650
141.81/115.79	o 649
143.61/117.56	o 648
145.41/119.33	o 647
147.12/121.10	o 646
148.92/122.86	o 645
150.72/124.61	o 644
152.46/126.36	o 643
154.27/128.12	o 642
155.97/129.88	o 641
157.79/131.63	o 640
159.60/133.40	o 639
161.31/135.16	o 638
163.12/136.92	o 637
164.86/138.68	o 636
166.66/140.44	o 635
168.46/142.21	o 634
170.16/143.96	o 633
171.97/145.72	o 632
173.47/147.29	o 631
175.30/149.06	o 630
177.10/150.82	o 629
178.79/152.58	o 628
180.59/154.34	o 627
182.29/156.09	o 626
183.90/157.65	o 625
185.70/159.40	o 624
187.44/161.18	o 623
189.04/162.74	o 622
190.75/164.48	o 621
192.55/166.25	o 620
194.35/168.00	o 619
196.05/169.75	o 618
197.89/171.53	o 617
199.69/173.30	o 616
201.40/175.08	o 615
202.99/176.63	o 614
204.70/178.37	o 613
206.50/180.14	o 612
208.31/181.90	o 611
210.04/183.70	o 610
211.94/185.52	o 609
213.74/187.35	o 608
215.54/189.13	o 607
217.35/190.90	o 606
219.05/192.67	o 605
220.87/194.45	o 604
222.67/196.20	o 603
224.37/197.98	o 602
226.17/199.77	o 601
227.97/201.55	o 600
229.77/203.31	o 599
231.50/205.08	o 598
233.31/206.85	o 597
235.10/208.61	o 596
236.82/210.36	o 595
238.42/211.92	o 594
240.25/213.70	o 593
241.96/215.44	o 592
243.76/217.20	o 591
245.46/218.97	o 590
247.26/220.74	o 589
249.06/222.51	o 588
250.79/224.26	o 587
252.60/226.01	o 586
254.30/227.76	o 585
256.10/229.52	o 584
257.80/231.28	o 583
259.63/233.04	o 582
261.33/234.79	o 581
263.13/236.54	o 580
264.83/238.29	o 579
266.63/240.04	o 578
268.46/241.81	o 577
270.16/243.54	o 576
271.86/245.29	o 575
273.67/247.06	o 574
275.51/248.82	o 573
277.01/250.38	o 572
278.81/252.12	o 571
280.51/253.87	o 570
282.31/255.61	o 569
284.04/257.35	o 568
285.74/259.09	o 567
287.55/260.85	o 566
289.24/262.60	o 565
291.07/264.38	o 564
292.87/266.15	o 563
294.67/267.91	o 562
296.38/269.68	o 561
298.21/271.45	o 560
299.91/273.20	o 559
301.71/274.94	o 558
303.41/276.69	o 557
305.25/278.45	o 556
306.75/279.99	o 555
308.55/281.74	o 554
310.45/283.68	o 553
312.27/285.44	o 552
313.98/287.18	o 551
315.78/288.92	o 550
317.61/290.70	o 549
319.11/292.27	o 548
320.92/294.02	o 547
322.62/295.78	o 546
324.46/297.54	o 545
326.16/299.29	o 544
327.96/301.04	o 543
329.79/302.80	o 542
331.49/304.55	o 541
333.09/306.12	o 540
334.60/307.66	o 539
336.44/309.40	o 538
338.14/311.15	o 537
339.84/312.88	o 536
341.69/314.66	o 535
343.28/316.21	o 534
344.99/317.96	o 533
346.71/319.69	o 532
348.52/321.44	o 531
350.22/323.19	o 530
352.05/324.96	o 529
353.75/326.68	o 528
355.59/328.44	o 527
357.30/330.16	o 526
359.09/331.90	o 525
360.83/333.63	o 524
362.53/335.37	o 523
364.37/337.13	o 522
366.08/338.89	o 521
367.87/340.64	o 520
369.71/342.42	o 519
371.41/344.17	o 518
373.25/345.93	o 517
374.96/347.69	o 516
376.81/349.46	o 515
378.61/351.20	o 514
380.36/352.97	o 513
382.16/354.73	o 512
383.88/356.47	o 511
385.71/358.22	o 510
387.56/360.00	o 509
389.26/361.75	o 508
391.12/363.51	o 507
392.82/365.27	o 506
394.67/367.03	o 505
396.37/368.78	o 504
398.02/370.34	o 503
399.73/372.08	o 502
401.59/373.85	o 501
403.43/375.62	o 500
405.17/377.37	o 499
407.02/379.14	o 498
408.73/380.89	o 497
410.68/382.70	o 496
412.38/384.49	o 495
414.24/386.25	o 494
416.09/388.02	o 493
417.81/389.77	o 492
419.67/391.52	o 491
421.42/393.28	o 490
423.23/395.05	o 489
425.08/396.81	o 488
426.78/398.59	o 487
428.64/400.35	o 486
430.50/402.13	o 485
432.20/403.88	o 484
434.05/405.67	o 483
435.91/407.45	o 482
437.73/409.21	o 481
439.46/411.00	o 480
441.37/412.79	o 479
443.17/414.56	o 478
445.01/416.32	o 477
446.77/418.10	o 476
448.57/419.86	o 475
450.41/421.62	o 474
452.15/423.39	o 473
453.99/425.17	o 472
455.84/426.95	o 471
457.43/428.52	o 470
459.18/430.28	o 469
461.01/432.05	o 468
462.84/433.82	o 467
464.38/435.39	o 466
466.21/437.15	o 465
468.06/438.92	o 464
469.69/440.51	o 463
471.42/442.26	o 462
473.25/444.04	o 461
475.08/445.81	o 460
476.81/447.57	o 459
478.64/449.33	o 458
480.41/451.10	o 457
482.24/452.86	o 456
484.06/454.63	o 455
485.92/456.40	o 454
487.64/458.19	o 453
489.28/459.77	o 452
491.11/461.55	o 451
492.94/463.34	o 450
494.77/465.11	o 449
496.50/466.89	o 448
498.15/468.47	o 447
499.98/470.23	o 446
501.72/472.00	o 445
503.57/473.76	o 444
505.40/475.53	o 443
507.23/477.31	o 442
509.08/479.10	o 441
510.82/480.87	o 440
512.65/482.62	o 439
514.39/484.39	o 438
516.02/485.98	o 437
517.85/487.75	o 436
519.68/489.53	o 435
521.51/491.30	o 434
523.38/493.11	o 433
524.89/494.69	o 432
526.73/496.45	o 431
528.57/498.21	o 430
530.32/499.98	o 429
532.16/501.74	o 428
533.80/503.32	o 427
535.55/505.09	o 426
537.35/506.87	o 425
539.20/508.65	o 424
541.06/510.44	o 423
542.91/512.20	o 422
544.61/513.96	o 421
546.48/515.73	o 420
548.14/517.32	o 419
549.84/519.07	o 418
551.71/520.86	o 417
553.52/522.62	o 416
555.07/524.18	o 415
556.94/525.94	o 414
558.64/527.68	o 413
560.49/529.48	o 412
562.35/531.26	o 411
564.15/533.02	o 410
565.92/534.78	o 409
567.78/536.56	o 408
569.59/538.34	o 407
571.45/540.11	o 406
573.32/541.92	o 405
574.82/543.49	o 404
576.70/545.27	o 403
578.50/547.03	o 402
580.27/548.79	o 401
581.87/550.34	o 400
583.72/552.12	o 399
585.43/553.89	o 398
587.30/555.67	o 397
589.09/557.46	o 396
590.97/559.23	o 395
592.84/561.01	o 394
594.53/562.79	o 393
596.39/564.58	o 392
597.99/566.18	o 391
599.85/567.95	o 390
601.71/569.73	o 389
603.56/571.52	o 388
605.37/573.30	o 387
607.13/575.07	o 386
608.98/576.85	o 385
610.79/578.61	o 384
612.33/580.19	o 383
614.18/581.95	o 382
616.01/583.72	o 381
617.71/585.49	o 380
619.57/587.24	o 379
621.40/589.01	o 378
623.15/590.77	o 377
624.97/592.53	o 376
626.70/594.27	o 375
628.54/596.04	o 374
630.37/597.80	o 373
632.11/599.56	o 372
633.93/601.34	o 371
635.76/603.11	o 370
637.49/604.88	o 369
639.32/606.68	o 368
641.18/608.46	o 367
643.00/610.25	o 366
644.82/612.04	o 365
646.66/613.83	o 364
648.32/615.40	o 363
650.05/617.15	o 362
651.88/618.93	o 361
653.64/620.69	o 360
655.47/622.48	o 359
657.30/624.26	o 358
659.14/626.04	o 357
660.99/627.81	o 356
662.82/629.60	o 355
664.55/631.39	o 354
666.40/633.17	o 353
668.24/634.94	o 352
670.08/636.72	o 351
671.74/638.32	o 350
673.47/640.09	o 349
675.30/641.85	o 348
677.03/643.60	o 347
678.86/645.38	o 346
680.73/647.15	o 345
682.57/648.92	o 344
684.30/650.68	o 343
686.14/652.47	o 342
687.97/654.26	o 341
689.81/656.05	o 340
691.67/657.86	o 339
693.52/659.67	o 338
695.37/661.45	o 337
697.21/663.23	o 336
699.04/665.00	o 335
700.79/666.76	o 334
702.64/668.52	o 333
704.51/670.30	o 332
706.21/672.07	o 331
708.06/673.83	o 330
709.92/675.61	o 329
711.77/677.40	o 328
713.27/678.96	o 327
715.12/680.75	o 326
716.97/682.53	o 325
718.83/684.32	o 324
720.63/686.11	o 323
722.38/687.89	o 322
724.23/689.68	o 321
726.17/691.51	o 320
727.93/693.28	o 319
729.78/695.05	o 318
731.62/696.81	o 317
733.37/698.56	o 316
735.22/700.34	o 315
737.07/702.11	o 314
738.83/703.89	o 313
740.68/705.66	o 312
742.48/707.41	o 311
744.22/709.18	o 310
746.08/710.95	o 309
747.75/712.52	o 308
749.45/714.26	o 307
751.30/716.02	o 306
753.26/717.98	o 305
755.06/719.72	o 304
756.71/721.30	o 303
758.49/723.05	o 302
760.19/724.78	o 301
762.04/726.53	o 300
763.80/728.29	o 299
765.65/730.06	o 298
767.45/731.80	o 297
769.84/733.75	o 296
771.67/735.53	o 295
773.37/737.28	o 294
775.00/738.84	o 293
776.94/740.80	o 292
778.75/742.54	o 291
780.59/744.32	o 290
782.39/746.10	o 289
784.14/747.88	o 288
785.94/749.67	o 287
787.84/751.42	o 286
789.33/752.98	o 285
791.19/754.74	o 284
792.68/756.28	o 283
794.57/758.05	o 282
796.26/759.79	o 281
798.15/761.54	o 280
799.85/763.28	o 279
801.84/765.07	o 278
803.65/766.82	o 277
805.55/768.62	o 276
807.25/770.37	o 275
809.05/772.18	o 274
810.98/773.92	o 273
812.69/775.66	o 272
814.61/777.45	o 271
816.41/779.21	o 270
818.35/781.01	o 269
820.04/782.77	o 268
821.84/784.53	o 267
823.79/786.33	o 266
825.49/788.08	o 265
827.30/789.84	o 264
829.26/791.65	o 263
830.86/793.22	o 262
832.75/795.03	o 261
834.54/796.77	o 260
836.34/798.53	o 259
838.34/800.35	o 258
839.84/801.89	o 257
841.64/803.63	o 256
843.55/805.43	o 255
845.32/807.18	o 254
846.92/808.73	o 253
848.62/810.47	o 252
850.65/812.27	o 251
852.45/814.01	o 250
854.35/815.95	o 249
856.15/817.59	o 248
857.95/819.33	o 247
859.65/821.08	o 246
861.79/822.91	o 245
863.49/824.67	o 244
865.29/826.43	o 243
866.99/828.17	o 242
869.09/830.00	o 241
870.59/831.57	o 240
872.39/833.33	o 239
874.10/835.08	o 238
876.26/836.91	o 237
877.96/838.65	o 236
879.66/840.39	o 235
881.46/842.15	o 234
883.48/843.97	o 233
885.28/845.71	o 232
886.99/847.47	o 231
888.80/849.20	o 230
890.66/850.85	o 229
892.47/852.60	o 228
893.96/854.17	o 227
895.68/855.89	o 226
897.82/857.71	o 225
899.53/859.45	o 224
901.23/861.20	o 223
903.03/862.95	o 222
904.73/864.70	o 221
906.93/866.54	o 220
908.73/868.30	o 219
910.43/870.05	o 218
912.13/871.79	o 217
914.29/873.62	o 216
915.99/875.36	o 215
917.69/877.09	o 214
919.49/878.85	o 213
921.32/880.61	o 212
923.57/882.47	o 211
925.17/884.01	o 210
926.87/885.75	o 209
928.37/887.28	o 208
930.17/889.02	o 207
931.88/890.77	o 206
934.06/892.60	o 205
935.76/894.36	o 204
937.56/896.10	o 203
939.26/897.84	o 202
941.06/899.60	o 201
943.21/901.48	o 200
945.04/903.26	o 199
946.83/905.02	o 198
948.53/906.78	o 197
950.33/908.55	o 196
952.55/910.41	o 195
954.25/912.15	o 194
955.95/913.89	o 193
957.75/915.65	o 192
959.45/917.39	o 191
961.06/918.95	o 190
963.34/920.99	o 189
965.15/922.75	o 188
966.85/924.50	o 187
968.66/926.26	o 186
970.45/928.00	o 185
972.15/929.75	o 184
974.22/931.58	o 183
975.82/933.14	o 182
977.52/934.88	o 181
979.32/936.61	o 180
981.02/938.36	o 179
982.83/940.12	o 178
984.70/941.77	o 177
986.51/943.53	o 176
988.21/945.29	o 175
990.01/947.06	o 174
991.81/948.81	o 173
993.88/950.66	o 172
995.68/952.41	o 171
997.19/953.96	o 170
998.99/955.70	o 169
1000.69/957.46	o 168
1002.49/959.21	o 167
1004.58/961.06	o 166
1006.38/962.82	o 165
1008.08/964.57	o 164
1009.88/966.34	o 163
1011.69/968.11	o 162
1013.18/969.68	o 161
1015.39/971.51	o 160
1017.09/973.25	o 159
1018.89/975.01	o 158
1020.59/976.76	o 157
1022.39/978.52	o 156
1024.49/980.37	o 155
1026.09/981.94	o 154
1027.61/983.48	o 153
1029.40/985.23	o 152
1031.10/986.99	o 151
1032.90/988.74	o 150
1035.11/990.61	o 149
1036.61/992.16	o 148
1038.41/993.91	o 147
1040.11/995.65	o 146
1041.91/997.40	o 145
1044.02/999.25	o 144
1045.72/1000.99	o 143
1047.52/1002.75	o 142
1049.32/1004.52	o 141
1051.03/1006.28	o 140
1052.83/1008.04	o 139
1055.04/1009.92	o 138
1056.75/1011.69	o 137
1058.35/1013.25	o 136
1060.15/1015.01	o 135
1061.85/1016.78	o 134
1063.86/1018.45	o 133
1065.46/1020.01	o 132
1067.16/1021.76	o 131
1068.96/1023.51	o 130
1070.97/1025.50	o 129
1072.67/1027.28	o 128
1074.70/1028.94	o 127
1076.40/1030.66	o 126
1078.10/1032.37	o 125
1079.90/1034.11	o 124
1081.60/1035.85	o 123
1083.30/1037.57	o 122
1085.53/1039.40	o 121
1087.23/1041.14	o 120
1088.73/1042.69	o 119
1090.53/1044.40	o 118
1092.24/1046.12	o 117
1093.94/1047.87	o 116
1096.18/1049.74	o 115
1097.88/1051.47	o 114
1099.48/1053.00	o 113
1101.18/1054.72	o 112
1102.88/1056.43	o 111
1104.58/1058.16	o 110
1106.81/1060.00	o 109
1108.51/1061.72	o 108
1110.01/1063.25	o 107
1111.72/1064.97	o 106
1113.45/1066.69	o 105
1115.25/1068.40	o 104
1117.05/1070.05	o 103
1118.89/1071.77	o 102
1120.59/1073.49	o 101
1122.39/1075.22	o 100
1124.09/1076.96	o 99
1125.80/1078.68	o 98
1127.97/1080.53	o 97
1129.74/1082.26	o 96
1131.44/1083.99	o 95
1133.25/1085.72	o 94
1134.95/1087.44	o 93
1136.66/1089.17	o 92
1138.89/1091.02	o 91
1140.59/1092.74	o 90
1142.29/1094.47	o 89
1143.79/1095.99	o 88
1145.60/1097.71	o 87
1147.30/1099.44	o 86
1148.80/1100.98	o 85
1151.05/1102.81	o 84
1152.75/1104.52	o 83
1154.45/1106.23	o 82
1156.35/1108.18	o 81
1157.94/1109.71	o 80
1159.65/1111.42	o 79
1161.79/1113.24	o 78
1163.49/1114.96	o 77
1165.19/1116.68	o 76
1166.99/1118.42	o 75
1168.69/1120.13	o 74
1170.39/1121.88	o 73
1172.63/1123.72	o 72
1174.34/1125.43	o 71
1175.83/1126.95	o 70
1177.55/1128.67	o 69
1179.34/1130.40	o 68
1181.04/1132.13	o 67
1183.18/1133.95	o 66
1184.90/1135.68	o 65
1186.77/1137.41	o 64
1188.56/1139.18	o 63
1190.45/1140.94	o 62
1192.16/1142.68	o 61
1194.41/1144.53	o 60
1196.11/1146.23	o 59
1197.81/1147.96	o 58
1199.52/1149.68	o 57
1201.31/1151.41	o 56
1203.01/1153.13	o 55
1205.15/1154.96	o 54
1206.85/1156.67	o 53
1208.45/1158.20	o 52
1210.16/1159.93	o 51
1211.88/1161.65	o 50
1213.37/1163.19	o 49
1215.63/1165.01	o 48
1217.32/1166.70	o 47
1219.02/1168.42	o 46
1220.73/1170.13	o 45
1222.23/1171.66	o 44
1223.93/1173.38	o 43
1226.18/1175.23	o 42
1227.88/1176.96	o 41
1229.59/1178.68	o 40
1231.40/1180.43	o 39
1233.09/1182.17	o 38
1234.89/1183.91	o 37
1237.05/1185.77	o 36
1238.85/1187.51	o 35
1240.56/1189.25	o 34
1242.25/1190.99	o 33
1243.87/1192.52	o 32
1245.56/1194.23	o 31
1247.07/1195.77	o 30
1249.53/1197.80	o 29
1251.23/1199.53	o 28
1252.93/1201.25	o 27
1254.63/1202.96	o 26
1256.33/1204.68	o 25
1258.13/1206.43	o 24
1260.29/1208.27	o 23
1262.09/1210.01	o 22
1263.79/1211.73	o 21
1265.50/1213.46	o 20
1267.19/1215.18	o 19
1268.99/1216.91	o 18
1271.15/1218.75	o 17
1272.85/1220.49	o 16
1274.66/1222.22	o 15
1276.36/1223.94	o 14
1278.06/1225.69	o 13
1279.86/1227.41	o 12
1282.02/1229.26	o 11
1283.83/1231.01	o 10
1285.53/1232.78	o 9
1287.33/1234.52	o 8
1289.03/1236.27	o 7
1290.63/1237.82	o 6
1292.78/1239.66	o 5
2400.08/2344.00	java.util.concurrent.TimeoutException
2400.08/2344.00		at concrete.MAC.mac(MAC.scala:74)
2400.08/2344.00		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.08/2344.00		at scala.util.Try$.apply(Try.scala:209)
2400.08/2344.00		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.08/2344.00		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.08/2344.00		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.08/2344.00		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.08/2344.00		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.08/2344.00		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.08/2344.00		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.08/2344.00		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.08/2344.00		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.08/2344.00		at concrete.MAC.oneRun(MAC.scala:146)
2400.08/2344.00		at concrete.MAC.nextSolution(MAC.scala:166)
2400.08/2344.00		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.08/2344.00		at concrete.ProblemState.map(ProblemState.scala:203)
2400.08/2344.00		at concrete.ProblemState.map(ProblemState.scala:188)
2400.08/2344.00		at concrete.MAC.nextSolution(MAC.scala:195)
2400.08/2344.00		at concrete.Solver.hasNext(Solver.scala:202)
2400.08/2344.00		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.08/2344.00		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.08/2344.00		at concrete.Solver.toStream(Solver.scala:73)
2400.08/2344.00		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.08/2344.00		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.08/2344.00		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.08/2344.00		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.08/2344.00		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.08/2344.00		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.08/2344.00		at scala.util.Success.map(Try.scala:209)
2400.08/2344.00		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.08/2344.00		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.08/2344.00		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.08/2344.00		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.08/2344.00		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.08/2344.00		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.08/2344.00		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.08/2344.00		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.08/2344.00		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.08/2344.00		at scala.collection.immutable.List.foreach(List.scala:389)
2400.08/2344.00		at scala.App.main(App.scala:76)
2400.08/2344.00		at scala.App.main$(App.scala:74)
2400.08/2344.00		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.08/2344.00		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.08/2344.01	v <instantiation cost="5">
2400.08/2344.01	v       <list>
2400.08/2344.01	v         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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[33][34] x[33][35] x[33][36] x[33][37] x[34][35] x[34][36] x[34][37] x[35][36] x[35][37] x[36][37]
2400.08/2344.01	v       </list>
2400.08/2344.01	v       <values>
2400.08/2344.01	v         4 2 4 4 3 3 4 2 1 5 1 1 3 3 4 3 4 4 3 2 5 4 4 2 1 3 2 5 5 4 3 5 3 4 5 4 4 2 3 5 4 4 3 1 4 3 5 3 1 4 5 2 2 3 1 2 4 2 5 4 4 4 4 4 2 3 2 3 2 1 5 1 3 3 2 4 3 3 4 5 4 4 2 2 4 2 5 1 3 2 5 2 4 5 5 5 4 4 4 5 4 3 4 3 2 4 5 2 5 5 2 1 2 5 4 5 4 3 4 1 5 3 2 3 2 3 1 5 1 5 4 3 4 3 2 4 5 2 3 4 5 2 4 5 3 5 4 5 4 4 5 4 1 4 3 5 3 5 5 1 0 1 2 4 1 4 3 2 4 4 2 5 4 2 5 2 4 3 1 5 1 3 5 2 4 2 4 4 4 3 3 1 4 5 3 5 3 2 4 2 1 2 2 3 5 3 5 2 4 1 4 2 4 4 5 5 4 1 4 2 3 3 4 2 5 3 5 3 5 2 5 5 4 5 3 4 5 3 3 4 4 4 4 2 4 3 4 2 2 5 3 4 2 3 3 2 5 3 4 1 5 4 5 5 5 3 3 2 5 3 3 5 3 3 2 3 5 1 5 1 4 3 4 4 5 5 5 2 2 3 4 5 3 4 2 5 4 5 2 3 3 5 5 1 4 5 2 2 5 4 4 1 3 3 3 5 4 2 2 3 4 5 5 4 4 2 2 2 2 3 0 4 2 4 4 2 2 5 4 4 0 3 3 3 5 5 1 2 1 3 5 2 3 4 1 3 2 2 3 4 5 5 5 4 4 3 3 2 5 4 0 5 3 5 5 2 3 4 5 3 0 3 4 1 1 5 5 3 5 4 2 2 4 3 5 4 3 2 1 5 5 4 4 5 3 2 4 3 5 4 4 5 3 3 4 1 1 5 2 5 5 2 5 0 3 5 3 4 5 4 4 2 5 3 1 5 3 5 1 3 1 4 1 2 5 4 4 3 4 4 4 5 1 3 5 1 3 1 4 4 4 4 4 5 2 3 2 3 3 4 2 5 4 3 5 3 3 5 4 2 3 2 5 0 4 4 5 1 5 4 1 4 4 5 2 3 5 3 5 2 3 4 1 5 1 3 5 4 3 5 4 2 1 3 4 4 1 2 5 4 4 3 4 3 5 4 2 5 3 1 5 1 5 1 4 5 5 3 2 4 3 5 3 1 3 4 4 4 4 3 2 4 4 1 2 3 4 2 4 5 3 3 4 4 4 4 4 4 2 5 1 5 2 3 4 5 3 3 4 1 4 5 0 3 5 4 5 3 2 5 2 4 3 1 2 5 3 5 1 3 5 5 4 3 2 3 4 5 3 2 2 5 3 3 5 2 3 2 3 3 4 3 2 1 2 1 2 5 4 5 5 4 5 5 3 1 4 2 3 4 3 2 1 4 4 3 4 4 5 5 3 4 2 3 5 5 2 2 4 0 2 1 3 4 1 4 4 5 5 1 5 2 1 3 3 3 1 4 3 5 3 5 5 4 2 5 4 3 4 4 3 4 5 2 3 3 3 3 5 1 5 0 5
2400.08/2344.01	v       </values>
2400.08/2344.01	v     </instantiation>
2400.08/2344.01	s SATISFIABLE

Verifier Data 

OK	5

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-4248590-1502137614/watcher-4248590-1502137614 -o /tmp/evaluation-result-4248590-1502137614/solver-4248590-1502137614 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502129723-30086 --watchdog 2560 bin/concrete HOME/instance-4248590-1502137614.xml 

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

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.46 1.38 1.36 3/194 31683
/proc/meminfo: memFree=30547520/32770624 swapFree=0/457940
[pid=31683] ppid=31680 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/31683/stat : 31683 (runsolver) D 31680 31683 9955 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 15982321 24240128 108 18446744073709551615 4194304 4338465 140723474661504 140723474659144 140616832316119 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 29110272 140723474669777 140723474670154 140723474670154 140723474673610 0
/proc/31683/statm: 5918 108 54 36 0 2156 0

[startup+0.100323 s]
/proc/loadavg: 1.46 1.38 1.36 3/194 31683
/proc/meminfo: memFree=30547520/32770624 swapFree=0/457940
[pid=31683] ppid=31680 vsize=9640 CPUtime=0.01 cores=0,2,4,6
/proc/31683/stat : 31683 (bash) S 31680 31683 9955 0 -1 4202496 881 6455 0 0 0 0 0 1 20 0 1 0 15982321 9871360 374 18446744073709551615 4194304 5098028 140724534312160 140724534306168 140283823463424 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 7 0 0 7196144 7232144 27320320 140724534317589 140724534317674 140724534317674 140724534321130 0
/proc/31683/statm: 2410 374 294 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200619 s]
/proc/loadavg: 1.46 1.38 1.36 3/194 31683
/proc/meminfo: memFree=30547520/32770624 swapFree=0/457940
[pid=31683] ppid=31680 vsize=9640 CPUtime=0.08 cores=0,2,4,6
/proc/31683/stat : 31683 (bash) S 31680 31683 9955 0 -1 4202496 921 11648 0 0 0 0 5 3 20 0 1 0 15982321 9871360 377 18446744073709551615 4194304 5098028 140724534312160 140724534307992 140283823463424 0 0 5 65536 18446744071580971376 0 0 17 4 0 0 7 0 0 7196144 7232144 27320320 140724534317589 140724534317674 140724534317674 140724534321130 0
/proc/31683/statm: 2410 377 297 221 0 119 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9640

[startup+0.300274 s]
/proc/loadavg: 1.46 1.38 1.36 3/194 31683
/proc/meminfo: memFree=30547520/32770624 swapFree=0/457940
[pid=31683] ppid=31680 vsize=10485316 CPUtime=0.14 cores=0,2,4,6
/proc/31683/stat : 31683 (java) S 31680 31683 9955 0 -1 1077944320 5768 12322 0 0 5 1 5 3 20 0 14 0 15982321 10736963584 5942 18446744073709551615 4194304 4196468 140728131723664 140728131706208 140126038630135 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
/proc/31683/statm: 2621329 5942 2566 1 0 2610826 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 10485316

[startup+0.706577 s]
/proc/loadavg: 1.46 1.38 1.36 3/194 31683
/proc/meminfo: memFree=30547520/32770624 swapFree=0/457940
[pid=31683] ppid=31680 vsize=10552792 CPUtime=0.7 cores=0,2,4,6
/proc/31683/stat : 31683 (java) S 31680 31683 9955 0 -1 1077944320 13820 12322 0 0 59 3 5 3 20 0 15 0 15982321 10806059008 14785 18446744073709551615 4194304 4196468 140728131723664 140728131706208 140126038630135 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
/proc/31683/statm: 2638198 14785 3113 1 0 2627467 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 10552792

[startup+1.50055 s]
/proc/loadavg: 1.46 1.38 1.36 3/209 31746
/proc/meminfo: memFree=30452524/32770624 swapFree=0/458236
[pid=31683] ppid=31680 vsize=10563416 CPUtime=1.88 cores=0,2,4,6
/proc/31683/stat : 31683 (java) S 31680 31683 9955 0 -1 1077944320 28952 12322 0 0 171 9 5 3 20 0 15 0 15982321 10816937984 40582 18446744073709551615 4194304 4196468 140728131723664 140728131706208 140126038630135 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
/proc/31683/statm: 2640854 40582 3376 1 0 2630027 0
[pid=31683/tid=31733] ppid=31680 vsize=10563416 CPUtime=1.3 cores=0,2,4,6
/proc/31683/task/31733/stat : 31733 (java) S 31680 31683 9955 0 -1 1077944384 23151 12322 0 0 116 6 5 3 20 0 15 0 15982341 10816937984 40582 18446744073709551615 4194304 4196468 140728131723664 140126042847408 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31734] ppid=31680 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31734/stat : 31734 (java) S 31680 31683 9955 0 -1 1077944384 176 12322 0 0 0 0 5 3 20 0 15 0 15982342 10816937984 40582 18446744073709551615 4194304 4196468 140728131723664 140125995596560 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31735] ppid=31680 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31735/stat : 31735 (java) S 31680 31683 9955 0 -1 1077944384 44 12322 0 0 0 0 5 3 20 0 15 0 15982342 10816937984 40582 18446744073709551615 4194304 4196468 140728131723664 140125994544016 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31736] ppid=31680 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31736/stat : 31736 (java) S 31680 31683 9955 0 -1 1077944384 32 12322 0 0 0 0 5 3 20 0 15 0 15982342 10816937984 40582 18446744073709551615 4194304 4196468 140728131723664 140125993491472 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31737] ppid=31680 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31737/stat : 31737 (java) S 31680 31683 9955 0 -1 1077944384 53 12322 0 0 0 0 5 3 20 0 15 0 15982342 10816937984 40582 18446744073709551615 4194304 4196468 140728131723664 140125647068304 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31738] ppid=31680 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31738/stat : 31738 (java) R 31680 31683 9955 0 -1 4202560 123 12322 0 0 0 0 5 3 20 0 15 0 15982343 10816937984 40582 18446744073709551615 4194304 4196468 140728131723664 140125602115904 140126018824826 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31739] ppid=31680 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31739/stat : 31739 (java) S 31680 31683 9955 0 -1 1077944384 33 12322 0 0 0 0 5 3 20 0 15 0 15982344 10816937984 40582 18446744073709551615 4194304 4196468 140728131723664 140125601063840 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31740] ppid=31680 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31740/stat : 31740 (java) S 31680 31683 9955 0 -1 1077944384 21 12322 0 0 0 0 5 3 20 0 15 0 15982344 10816937984 40582 18446744073709551615 4194304 4196468 140728131723664 140125600011248 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31741] ppid=31680 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31741/stat : 31741 (java) S 31680 31683 9955 0 -1 1077944384 3 12322 0 0 0 0 5 3 20 0 15 0 15982347 10816937984 40582 18446744073709551615 4194304 4196468 140728131723664 140125598959824 140126038648731 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31742] ppid=31680 vsize=10563416 CPUtime=0.24 cores=0,2,4,6
/proc/31683/task/31742/stat : 31742 (java) S 31680 31683 9955 0 -1 1077944384 1227 12322 0 0 16 0 5 3 20 0 15 0 15982347 10816937984 40582 18446744073709551615 4194304 4196468 140728131723664 140125597907440 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31743] ppid=31680 vsize=10563416 CPUtime=0.2 cores=0,2,4,6
/proc/31683/task/31743/stat : 31743 (java) S 31680 31683 9955 0 -1 1077944384 561 12322 0 0 12 0 5 3 20 0 15 0 15982347 10816937984 40582 18446744073709551615 4194304 4196468 140728131723664 140125596854896 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31744] ppid=31680 vsize=10563416 CPUtime=0.31 cores=0,2,4,6
/proc/31683/task/31744/stat : 31744 (java) S 31680 31683 9955 0 -1 1077944384 1419 12322 0 0 23 0 5 3 20 0 15 0 15982347 10816937984 40582 18446744073709551615 4194304 4196468 140728131723664 140125595802352 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31745] ppid=31680 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31745/stat : 31745 (java) S 31680 31683 9955 0 -1 1077944384 3 12322 0 0 0 0 5 3 20 0 15 0 15982347 10816937984 40582 18446744073709551615 4194304 4196468 140728131723664 140125594750048 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31746] ppid=31680 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31746/stat : 31746 (java) S 31680 31683 9955 0 -1 1077944384 7 12322 0 0 0 0 5 3 20 0 15 0 15982351 10816937984 40582 18446744073709551615 4194304 4196468 140728131723664 140125593696560 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 10563416

[startup+3.10141 s]
/proc/loadavg: 1.46 1.38 1.36 4/209 31746
/proc/meminfo: memFree=30372524/32770624 swapFree=0/458232
[pid=31683] ppid=31680 vsize=10573844 CPUtime=6.32 cores=0,2,4,6
/proc/31683/stat : 31683 (java) S 31680 31683 9955 0 -1 1077944320 43247 12322 0 0 609 15 5 3 20 0 15 0 15982321 10827616256 72094 18446744073709551615 4194304 4196468 140728131723664 140728131706208 140126038630135 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
/proc/31683/statm: 2643461 72094 3463 1 0 2632075 0
[pid=31683/tid=31733] ppid=31680 vsize=10573844 CPUtime=2.85 cores=0,2,4,6
/proc/31683/task/31733/stat : 31733 (java) R 31680 31683 9955 0 -1 4202560 28602 12322 0 0 269 8 5 3 20 0 15 0 15982341 10827616256 72094 18446744073709551615 4194304 4196468 140728131723664 140126042859904 140125682762674 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31734] ppid=31680 vsize=10573844 CPUtime=0.09 cores=0,2,4,6
/proc/31683/task/31734/stat : 31734 (java) S 31680 31683 9955 0 -1 1077944384 186 12322 0 0 1 0 5 3 20 0 15 0 15982342 10827616256 72094 18446744073709551615 4194304 4196468 140728131723664 140125995596560 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31735] ppid=31680 vsize=10573844 CPUtime=0.1 cores=0,2,4,6
/proc/31683/task/31735/stat : 31735 (java) S 31680 31683 9955 0 -1 1077944384 82 12322 0 0 2 0 5 3 20 0 15 0 15982342 10827616256 72094 18446744073709551615 4194304 4196468 140728131723664 140125994544016 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31736] ppid=31680 vsize=10573844 CPUtime=0.09 cores=0,2,4,6
/proc/31683/task/31736/stat : 31736 (java) S 31680 31683 9955 0 -1 1077944384 40 12322 0 0 1 0 5 3 20 0 15 0 15982342 10827616256 72094 18446744073709551615 4194304 4196468 140728131723664 140125993491472 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31737] ppid=31680 vsize=10573844 CPUtime=0.09 cores=0,2,4,6
/proc/31683/task/31737/stat : 31737 (java) S 31680 31683 9955 0 -1 1077944384 140 12322 0 0 1 0 5 3 20 0 15 0 15982342 10827616256 72094 18446744073709551615 4194304 4196468 140728131723664 140125647068304 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31738] ppid=31680 vsize=10573844 CPUtime=0.09 cores=0,2,4,6
/proc/31683/task/31738/stat : 31738 (java) S 31680 31683 9955 0 -1 1077944384 1761 12322 0 0 1 0 5 3 20 0 15 0 15982343 10827616256 72094 18446744073709551615 4194304 4196468 140728131723664 140125602117616 140126038641282 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31739] ppid=31680 vsize=10573844 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31739/stat : 31739 (java) S 31680 31683 9955 0 -1 1077944384 55 12322 0 0 0 0 5 3 20 0 15 0 15982344 10827616256 72094 18446744073709551615 4194304 4196468 140728131723664 140125601063904 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31740] ppid=31680 vsize=10573844 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31740/stat : 31740 (java) S 31680 31683 9955 0 -1 1077944384 43 12322 0 0 0 0 5 3 20 0 15 0 15982344 10827616256 72094 18446744073709551615 4194304 4196468 140728131723664 140125600011264 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31741] ppid=31680 vsize=10573844 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31741/stat : 31741 (java) S 31680 31683 9955 0 -1 1077944384 3 12322 0 0 0 0 5 3 20 0 15 0 15982347 10827616256 72094 18446744073709551615 4194304 4196468 140728131723664 140125598959824 140126038648731 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31742] ppid=31680 vsize=10573844 CPUtime=1.27 cores=0,2,4,6
/proc/31683/task/31742/stat : 31742 (java) R 31680 31683 9955 0 -1 4202560 4398 12322 0 0 118 1 5 3 20 0 15 0 15982347 10827616256 72094 18446744073709551615 4194304 4196468 140728131723664 140125597897120 140126018323198 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31743] ppid=31680 vsize=10573844 CPUtime=1.12 cores=0,2,4,6
/proc/31683/task/31743/stat : 31743 (java) R 31680 31683 9955 0 -1 1077944384 1931 12322 0 0 104 0 5 3 20 0 15 0 15982347 10827616256 72094 18446744073709551615 4194304 4196468 140728131723664 140125596840736 140126038640341 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31744] ppid=31680 vsize=10573844 CPUtime=1.15 cores=0,2,4,6
/proc/31683/task/31744/stat : 31744 (java) R 31680 31683 9955 0 -1 4202560 3862 12322 0 0 107 0 5 3 20 0 15 0 15982347 10827616256 72094 18446744073709551615 4194304 4196468 140728131723664 140125595797392 140126018584497 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31745] ppid=31680 vsize=10573844 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31745/stat : 31745 (java) S 31680 31683 9955 0 -1 1077944384 3 12322 0 0 0 0 5 3 20 0 15 0 15982347 10827616256 72094 18446744073709551615 4194304 4196468 140728131723664 140125594750048 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31746] ppid=31680 vsize=10573844 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31746/stat : 31746 (java) S 31680 31683 9955 0 -1 1077944384 9 12322 0 0 0 0 5 3 20 0 15 0 15982351 10827616256 72094 18446744073709551615 4194304 4196468 140728131723664 140125593696560 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 10573844

[startup+6.30185 s]
/proc/loadavg: 1.66 1.42 1.37 5/209 31746
/proc/meminfo: memFree=30132480/32770624 swapFree=0/458232
[pid=31683] ppid=31680 vsize=10575892 CPUtime=14.71 cores=0,2,4,6
/proc/31683/stat : 31683 (java) S 31680 31683 9955 0 -1 1077944320 62504 12322 0 0 1424 39 5 3 20 0 15 0 15982321 10829713408 156282 18446744073709551615 4194304 4196468 140728131723664 140728131706208 140126038630135 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
/proc/31683/statm: 2643973 156282 3489 1 0 2632587 0
[pid=31683/tid=31733] ppid=31680 vsize=10575892 CPUtime=5.8 cores=0,2,4,6
/proc/31683/task/31733/stat : 31733 (java) R 31680 31683 9955 0 -1 4202560 31573 12322 0 0 562 10 5 3 20 0 15 0 15982341 10829713408 156282 18446744073709551615 4194304 4196468 140728131723664 140126042865072 140126022710622 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31734] ppid=31680 vsize=10575892 CPUtime=0.29 cores=0,2,4,6
/proc/31683/task/31734/stat : 31734 (java) S 31680 31683 9955 0 -1 1077944384 404 12322 0 0 16 5 5 3 20 0 15 0 15982342 10829713408 156282 18446744073709551615 4194304 4196468 140728131723664 140125995596560 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31735] ppid=31680 vsize=10575892 CPUtime=0.32 cores=0,2,4,6
/proc/31683/task/31735/stat : 31735 (java) S 31680 31683 9955 0 -1 1077944384 538 12322 0 0 19 5 5 3 20 0 15 0 15982342 10829713408 156282 18446744073709551615 4194304 4196468 140728131723664 140125994544016 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31736] ppid=31680 vsize=10575892 CPUtime=0.29 cores=0,2,4,6
/proc/31683/task/31736/stat : 31736 (java) S 31680 31683 9955 0 -1 1077944384 878 12322 0 0 16 5 5 3 20 0 15 0 15982342 10829713408 156282 18446744073709551615 4194304 4196468 140728131723664 140125993491472 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31737] ppid=31680 vsize=10575892 CPUtime=0.25 cores=0,2,4,6
/proc/31683/task/31737/stat : 31737 (java) S 31680 31683 9955 0 -1 1077944384 226 12322 0 0 13 4 5 3 20 0 15 0 15982342 10829713408 156282 18446744073709551615 4194304 4196468 140728131723664 140125647068304 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31738] ppid=31680 vsize=10575892 CPUtime=0.1 cores=0,2,4,6
/proc/31683/task/31738/stat : 31738 (java) S 31680 31683 9955 0 -1 1077944384 2292 12322 0 0 2 0 5 3 20 0 15 0 15982343 10829713408 156282 18446744073709551615 4194304 4196468 140728131723664 140125602117616 140126038641282 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31739] ppid=31680 vsize=10575892 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31739/stat : 31739 (java) S 31680 31683 9955 0 -1 1077944384 58 12322 0 0 0 0 5 3 20 0 15 0 15982344 10829713408 156282 18446744073709551615 4194304 4196468 140728131723664 140125601063904 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31740] ppid=31680 vsize=10575892 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31740/stat : 31740 (java) S 31680 31683 9955 0 -1 1077944384 52 12322 0 0 0 0 5 3 20 0 15 0 15982344 10829713408 156282 18446744073709551615 4194304 4196468 140728131723664 140125600011264 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31741] ppid=31680 vsize=10575892 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31741/stat : 31741 (java) S 31680 31683 9955 0 -1 1077944384 3 12322 0 0 0 0 5 3 20 0 15 0 15982347 10829713408 156282 18446744073709551615 4194304 4196468 140728131723664 140125598959824 140126038648731 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31742] ppid=31680 vsize=10575892 CPUtime=3.48 cores=0,2,4,6
/proc/31683/task/31742/stat : 31742 (java) S 31680 31683 9955 0 -1 1077944384 9180 12322 0 0 338 2 5 3 20 0 15 0 15982347 10829713408 156282 18446744073709551615 4194304 4196468 140728131723664 140125597907440 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31743] ppid=31680 vsize=10575892 CPUtime=3.12 cores=0,2,4,6
/proc/31683/task/31743/stat : 31743 (java) S 31680 31683 9955 0 -1 1077944384 5435 12322 0 0 304 0 5 3 20 0 15 0 15982347 10829713408 156282 18446744073709551615 4194304 4196468 140728131723664 140125596854896 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31744] ppid=31680 vsize=10575892 CPUtime=1.58 cores=0,2,4,6
/proc/31683/task/31744/stat : 31744 (java) S 31680 31683 9955 0 -1 1077944384 9582 12322 0 0 148 2 5 3 20 0 15 0 15982347 10829713408 156282 18446744073709551615 4194304 4196468 140728131723664 140125595802352 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31745] ppid=31680 vsize=10575892 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31745/stat : 31745 (java) S 31680 31683 9955 0 -1 1077944384 3 12322 0 0 0 0 5 3 20 0 15 0 15982347 10829713408 156282 18446744073709551615 4194304 4196468 140728131723664 140125594750048 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31746] ppid=31680 vsize=10575892 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31746/stat : 31746 (java) S 31680 31683 9955 0 -1 1077944384 149 12322 0 0 0 0 5 3 20 0 15 0 15982351 10829713408 156282 18446744073709551615 4194304 4196468 140728131723664 140125593696560 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
Current children cumulated CPU time (s) 14.71
Current children cumulated vsize (KiB) 10575892

[startup+12.7016 s]
/proc/loadavg: 1.61 1.41 1.37 3/209 31746
/proc/meminfo: memFree=29365992/32770624 swapFree=0/458232
[pid=31683] ppid=31680 vsize=10577940 CPUtime=25.96 cores=0,2,4,6
/proc/31683/stat : 31683 (java) S 31680 31683 9955 0 -1 1077944320 70967 12322 0 0 2534 54 5 3 20 0 15 0 15982321 10831810560 298378 18446744073709551615 4194304 4196468 140728131723664 140728131706208 140126038630135 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
/proc/31683/statm: 2644485 298378 3489 1 0 2633099 0
[pid=31683/tid=31733] ppid=31680 vsize=10577940 CPUtime=12.03 cores=0,2,4,6
/proc/31683/task/31733/stat : 31733 (java) R 31680 31683 9955 0 -1 4202560 34915 12322 0 0 1178 17 5 3 20 0 15 0 15982341 10831810560 298378 18446744073709551615 4194304 4196468 140728131723664 140126042859296 140125689322097 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31734] ppid=31680 vsize=10577940 CPUtime=0.44 cores=0,2,4,6
/proc/31683/task/31734/stat : 31734 (java) S 31680 31683 9955 0 -1 1077944384 523 12322 0 0 30 6 5 3 20 0 15 0 15982342 10831810560 298378 18446744073709551615 4194304 4196468 140728131723664 140125995596560 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31735] ppid=31680 vsize=10577940 CPUtime=0.47 cores=0,2,4,6
/proc/31683/task/31735/stat : 31735 (java) S 31680 31683 9955 0 -1 1077944384 639 12322 0 0 32 7 5 3 20 0 15 0 15982342 10831810560 298378 18446744073709551615 4194304 4196468 140728131723664 140125994544016 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31736] ppid=31680 vsize=10577940 CPUtime=0.45 cores=0,2,4,6
/proc/31683/task/31736/stat : 31736 (java) S 31680 31683 9955 0 -1 1077944384 1025 12322 0 0 30 7 5 3 20 0 15 0 15982342 10831810560 298378 18446744073709551615 4194304 4196468 140728131723664 140125993491472 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31737] ppid=31680 vsize=10577940 CPUtime=0.41 cores=0,2,4,6
/proc/31683/task/31737/stat : 31737 (java) S 31680 31683 9955 0 -1 1077944384 338 12322 0 0 26 7 5 3 20 0 15 0 15982342 10831810560 298378 18446744073709551615 4194304 4196468 140728131723664 140125647068304 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31738] ppid=31680 vsize=10577940 CPUtime=0.11 cores=0,2,4,6
/proc/31683/task/31738/stat : 31738 (java) S 31680 31683 9955 0 -1 1077944384 2636 12322 0 0 3 0 5 3 20 0 15 0 15982343 10831810560 298378 18446744073709551615 4194304 4196468 140728131723664 140125602117616 140126038641282 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31739] ppid=31680 vsize=10577940 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31739/stat : 31739 (java) S 31680 31683 9955 0 -1 1077944384 58 12322 0 0 0 0 5 3 20 0 15 0 15982344 10831810560 298378 18446744073709551615 4194304 4196468 140728131723664 140125601063904 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31740] ppid=31680 vsize=10577940 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31740/stat : 31740 (java) S 31680 31683 9955 0 -1 1077944384 53 12322 0 0 0 0 5 3 20 0 15 0 15982344 10831810560 298378 18446744073709551615 4194304 4196468 140728131723664 140125600011264 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31741] ppid=31680 vsize=10577940 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31741/stat : 31741 (java) S 31680 31683 9955 0 -1 1077944384 3 12322 0 0 0 0 5 3 20 0 15 0 15982347 10831810560 298378 18446744073709551615 4194304 4196468 140728131723664 140125598959824 140126038648731 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0

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

/proc/31683/task/31745/stat : 31745 (java) S 31680 31683 9955 0 -1 1077944384 3 12322 0 0 0 0 5 3 20 0 15 0 15982347 10836004864 855433 18446744073709551615 4194304 4196468 140728131723664 140125594750048 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31746] ppid=31680 vsize=10582036 CPUtime=1.28 cores=0,2,4,6
/proc/31683/task/31746/stat : 31746 (java) S 31680 31683 9955 0 -1 1077944384 1992 12322 0 0 64 56 5 3 20 0 15 0 15982351 10836004864 855433 18446744073709551615 4194304 4196468 140728131723664 140125593696560 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
Current children cumulated CPU time (s) 2198.07
Current children cumulated vsize (KiB) 10582036

[startup+2202.31 s]
/proc/loadavg: 1.70 1.83 1.77 3/209 31992
/proc/meminfo: memFree=24616768/32770624 swapFree=0/459420
[pid=31683] ppid=31680 vsize=10582036 CPUtime=2258.17 cores=0,2,4,6
/proc/31683/stat : 31683 (java) S 31680 31683 9955 0 -1 1077944320 452915 12322 0 0 225365 444 5 3 20 0 15 0 15982321 10836004864 857568 18446744073709551615 4194304 4196468 140728131723664 140728131706208 140126038630135 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
/proc/31683/statm: 2645509 857568 3514 1 0 2634123 0
[pid=31683/tid=31733] ppid=31680 vsize=10582036 CPUtime=2190.51 cores=0,2,4,6
/proc/31683/task/31733/stat : 31733 (java) R 31680 31683 9955 0 -1 4202560 184642 12322 0 0 218979 64 5 3 20 0 15 0 15982341 10836004864 857568 18446744073709551615 4194304 4196468 140728131723664 140126042865920 140125682202447 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31734] ppid=31680 vsize=10582036 CPUtime=10.88 cores=0,2,4,6
/proc/31683/task/31734/stat : 31734 (java) S 31680 31683 9955 0 -1 1077944384 20040 12322 0 0 1003 77 5 3 20 0 15 0 15982342 10836004864 857568 18446744073709551615 4194304 4196468 140728131723664 140125995596560 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31735] ppid=31680 vsize=10582036 CPUtime=10.92 cores=0,2,4,6
/proc/31683/task/31735/stat : 31735 (java) S 31680 31683 9955 0 -1 1077944384 27456 12322 0 0 1006 78 5 3 20 0 15 0 15982342 10836004864 857568 18446744073709551615 4194304 4196468 140728131723664 140125994544016 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31736] ppid=31680 vsize=10582036 CPUtime=10.85 cores=0,2,4,6
/proc/31683/task/31736/stat : 31736 (java) S 31680 31683 9955 0 -1 1077944384 23072 12322 0 0 1001 76 5 3 20 0 15 0 15982342 10836004864 857568 18446744073709551615 4194304 4196468 140728131723664 140125993491472 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31737] ppid=31680 vsize=10582036 CPUtime=10.84 cores=0,2,4,6
/proc/31683/task/31737/stat : 31737 (java) S 31680 31683 9955 0 -1 1077944384 21619 12322 0 0 1000 76 5 3 20 0 15 0 15982342 10836004864 857568 18446744073709551615 4194304 4196468 140728131723664 140125647068304 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31738] ppid=31680 vsize=10582036 CPUtime=0.75 cores=0,2,4,6
/proc/31683/task/31738/stat : 31738 (java) S 31680 31683 9955 0 -1 1077944384 39876 12322 0 0 58 9 5 3 20 0 15 0 15982343 10836004864 857568 18446744073709551615 4194304 4196468 140728131723664 140125602117616 140126038641282 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31739] ppid=31680 vsize=10582036 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31739/stat : 31739 (java) S 31680 31683 9955 0 -1 1077944384 114 12322 0 0 0 0 5 3 20 0 15 0 15982344 10836004864 857568 18446744073709551615 4194304 4196468 140728131723664 140125601063968 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31740] ppid=31680 vsize=10582036 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31740/stat : 31740 (java) S 31680 31683 9955 0 -1 1077944384 53 12322 0 0 0 0 5 3 20 0 15 0 15982344 10836004864 857568 18446744073709551615 4194304 4196468 140728131723664 140125600011264 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31741] ppid=31680 vsize=10582036 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31741/stat : 31741 (java) S 31680 31683 9955 0 -1 1077944384 3 12322 0 0 0 0 5 3 20 0 15 0 15982347 10836004864 857568 18446744073709551615 4194304 4196468 140728131723664 140125598959824 140126038648731 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31742] ppid=31680 vsize=10582036 CPUtime=9.91 cores=0,2,4,6
/proc/31683/task/31742/stat : 31742 (java) S 31680 31683 9955 0 -1 1077944384 42567 12322 0 0 977 6 5 3 20 0 15 0 15982347 10836004864 857568 18446744073709551615 4194304 4196468 140728131723664 140125597907440 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31743] ppid=31680 vsize=10582036 CPUtime=9.83 cores=0,2,4,6
/proc/31683/task/31743/stat : 31743 (java) S 31680 31683 9955 0 -1 1077944384 41091 12322 0 0 970 5 5 3 20 0 15 0 15982347 10836004864 857568 18446744073709551615 4194304 4196468 140728131723664 140125596854896 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31744] ppid=31680 vsize=10582036 CPUtime=2.99 cores=0,2,4,6
/proc/31683/task/31744/stat : 31744 (java) S 31680 31683 9955 0 -1 1077944384 48217 12322 0 0 285 6 5 3 20 0 15 0 15982347 10836004864 857568 18446744073709551615 4194304 4196468 140728131723664 140125595802352 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31745] ppid=31680 vsize=10582036 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31745/stat : 31745 (java) S 31680 31683 9955 0 -1 1077944384 3 12322 0 0 0 0 5 3 20 0 15 0 15982347 10836004864 857568 18446744073709551615 4194304 4196468 140728131723664 140125594750048 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31746] ppid=31680 vsize=10582036 CPUtime=1.3 cores=0,2,4,6
/proc/31683/task/31746/stat : 31746 (java) S 31680 31683 9955 0 -1 1077944384 2030 12322 0 0 66 56 5 3 20 0 15 0 15982351 10836004864 857568 18446744073709551615 4194304 4196468 140728131723664 140125593696560 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
Current children cumulated CPU time (s) 2258.17
Current children cumulated vsize (KiB) 10582036

[startup+2262.3 s]
/proc/loadavg: 1.77 1.83 1.77 3/213 32009
/proc/meminfo: memFree=24544328/32770624 swapFree=0/459456
[pid=31683] ppid=31680 vsize=10582036 CPUtime=2318.26 cores=0,2,4,6
/proc/31683/stat : 31683 (java) S 31680 31683 9955 0 -1 1077944320 457226 12322 0 0 231371 447 5 3 20 0 15 0 15982321 10836004864 858411 18446744073709551615 4194304 4196468 140728131723664 140728131706208 140126038630135 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
/proc/31683/statm: 2645509 858411 3514 1 0 2634123 0
[pid=31683/tid=31733] ppid=31680 vsize=10582036 CPUtime=2250.49 cores=0,2,4,6
/proc/31683/task/31733/stat : 31733 (java) R 31680 31683 9955 0 -1 4202560 187368 12322 0 0 224976 65 5 3 20 0 15 0 15982341 10836004864 858411 18446744073709551615 4194304 4196468 140728131723664 140126042865920 140125689151659 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31734] ppid=31680 vsize=10582036 CPUtime=10.9 cores=0,2,4,6
/proc/31683/task/31734/stat : 31734 (java) S 31680 31683 9955 0 -1 1077944384 20252 12322 0 0 1005 77 5 3 20 0 15 0 15982342 10836004864 858411 18446744073709551615 4194304 4196468 140728131723664 140125995596560 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31735] ppid=31680 vsize=10582036 CPUtime=10.94 cores=0,2,4,6
/proc/31683/task/31735/stat : 31735 (java) S 31680 31683 9955 0 -1 1077944384 27613 12322 0 0 1008 78 5 3 20 0 15 0 15982342 10836004864 858411 18446744073709551615 4194304 4196468 140728131723664 140125994544016 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31736] ppid=31680 vsize=10582036 CPUtime=10.87 cores=0,2,4,6
/proc/31683/task/31736/stat : 31736 (java) S 31680 31683 9955 0 -1 1077944384 23244 12322 0 0 1003 76 5 3 20 0 15 0 15982342 10836004864 858411 18446744073709551615 4194304 4196468 140728131723664 140125993491472 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31737] ppid=31680 vsize=10582036 CPUtime=10.86 cores=0,2,4,6
/proc/31683/task/31737/stat : 31737 (java) S 31680 31683 9955 0 -1 1077944384 22381 12322 0 0 1002 76 5 3 20 0 15 0 15982342 10836004864 858411 18446744073709551615 4194304 4196468 140728131723664 140125647068304 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31738] ppid=31680 vsize=10582036 CPUtime=0.75 cores=0,2,4,6
/proc/31683/task/31738/stat : 31738 (java) S 31680 31683 9955 0 -1 1077944384 40105 12322 0 0 58 9 5 3 20 0 15 0 15982343 10836004864 858411 18446744073709551615 4194304 4196468 140728131723664 140125602117616 140126038641282 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31739] ppid=31680 vsize=10582036 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31739/stat : 31739 (java) S 31680 31683 9955 0 -1 1077944384 114 12322 0 0 0 0 5 3 20 0 15 0 15982344 10836004864 858411 18446744073709551615 4194304 4196468 140728131723664 140125601063968 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31740] ppid=31680 vsize=10582036 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31740/stat : 31740 (java) S 31680 31683 9955 0 -1 1077944384 53 12322 0 0 0 0 5 3 20 0 15 0 15982344 10836004864 858411 18446744073709551615 4194304 4196468 140728131723664 140125600011264 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31741] ppid=31680 vsize=10582036 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31741/stat : 31741 (java) S 31680 31683 9955 0 -1 1077944384 3 12322 0 0 0 0 5 3 20 0 15 0 15982347 10836004864 858411 18446744073709551615 4194304 4196468 140728131723664 140125598959824 140126038648731 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31742] ppid=31680 vsize=10582036 CPUtime=9.91 cores=0,2,4,6
/proc/31683/task/31742/stat : 31742 (java) S 31680 31683 9955 0 -1 1077944384 42573 12322 0 0 977 6 5 3 20 0 15 0 15982347 10836004864 858411 18446744073709551615 4194304 4196468 140728131723664 140125597907440 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31743] ppid=31680 vsize=10582036 CPUtime=9.83 cores=0,2,4,6
/proc/31683/task/31743/stat : 31743 (java) S 31680 31683 9955 0 -1 1077944384 41095 12322 0 0 970 5 5 3 20 0 15 0 15982347 10836004864 858411 18446744073709551615 4194304 4196468 140728131723664 140125596854896 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31744] ppid=31680 vsize=10582036 CPUtime=2.99 cores=0,2,4,6
/proc/31683/task/31744/stat : 31744 (java) S 31680 31683 9955 0 -1 1077944384 48222 12322 0 0 285 6 5 3 20 0 15 0 15982347 10836004864 858411 18446744073709551615 4194304 4196468 140728131723664 140125595802352 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31745] ppid=31680 vsize=10582036 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31745/stat : 31745 (java) S 31680 31683 9955 0 -1 1077944384 3 12322 0 0 0 0 5 3 20 0 15 0 15982347 10836004864 858411 18446744073709551615 4194304 4196468 140728131723664 140125594750048 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31746] ppid=31680 vsize=10582036 CPUtime=1.34 cores=0,2,4,6
/proc/31683/task/31746/stat : 31746 (java) S 31680 31683 9955 0 -1 1077944384 2068 12322 0 0 68 58 5 3 20 0 15 0 15982351 10836004864 858411 18446744073709551615 4194304 4196468 140728131723664 140125593696560 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
Current children cumulated CPU time (s) 2318.26
Current children cumulated vsize (KiB) 10582036

[startup+2322.3 s]
/proc/loadavg: 1.88 1.85 1.78 3/213 32011
/proc/meminfo: memFree=25045020/32770624 swapFree=0/459488
[pid=31683] ppid=31680 vsize=10582036 CPUtime=2378.34 cores=0,2,4,6
/proc/31683/stat : 31683 (java) S 31680 31683 9955 0 -1 1077944320 460813 12322 0 0 237377 449 5 3 20 0 15 0 15982321 10836004864 856911 18446744073709551615 4194304 4196468 140728131723664 140728131706208 140126038630135 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
/proc/31683/statm: 2645509 856911 3514 1 0 2634123 0
[pid=31683/tid=31733] ppid=31680 vsize=10582036 CPUtime=2310.46 cores=0,2,4,6
/proc/31683/task/31733/stat : 31733 (java) R 31680 31683 9955 0 -1 4202560 189984 12322 0 0 230973 65 5 3 20 0 15 0 15982341 10836004864 856911 18446744073709551615 4194304 4196468 140728131723664 140126042866032 140125678945920 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31734] ppid=31680 vsize=10582036 CPUtime=10.92 cores=0,2,4,6
/proc/31683/task/31734/stat : 31734 (java) S 31680 31683 9955 0 -1 1077944384 20656 12322 0 0 1007 77 5 3 20 0 15 0 15982342 10836004864 856911 18446744073709551615 4194304 4196468 140728131723664 140125995596560 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31735] ppid=31680 vsize=10582036 CPUtime=10.95 cores=0,2,4,6
/proc/31683/task/31735/stat : 31735 (java) S 31680 31683 9955 0 -1 1077944384 27697 12322 0 0 1009 78 5 3 20 0 15 0 15982342 10836004864 856911 18446744073709551615 4194304 4196468 140728131723664 140125994544016 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31736] ppid=31680 vsize=10582036 CPUtime=10.89 cores=0,2,4,6
/proc/31683/task/31736/stat : 31736 (java) S 31680 31683 9955 0 -1 1077944384 23391 12322 0 0 1005 76 5 3 20 0 15 0 15982342 10836004864 856911 18446744073709551615 4194304 4196468 140728131723664 140125993491472 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31737] ppid=31680 vsize=10582036 CPUtime=10.88 cores=0,2,4,6
/proc/31683/task/31737/stat : 31737 (java) S 31680 31683 9955 0 -1 1077944384 22513 12322 0 0 1004 76 5 3 20 0 15 0 15982342 10836004864 856911 18446744073709551615 4194304 4196468 140728131723664 140125647068304 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31738] ppid=31680 vsize=10582036 CPUtime=0.76 cores=0,2,4,6
/proc/31683/task/31738/stat : 31738 (java) S 31680 31683 9955 0 -1 1077944384 40273 12322 0 0 59 9 5 3 20 0 15 0 15982343 10836004864 856911 18446744073709551615 4194304 4196468 140728131723664 140125602117616 140126038641282 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31739] ppid=31680 vsize=10582036 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31739/stat : 31739 (java) S 31680 31683 9955 0 -1 1077944384 114 12322 0 0 0 0 5 3 20 0 15 0 15982344 10836004864 856911 18446744073709551615 4194304 4196468 140728131723664 140125601063968 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31740] ppid=31680 vsize=10582036 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31740/stat : 31740 (java) S 31680 31683 9955 0 -1 1077944384 53 12322 0 0 0 0 5 3 20 0 15 0 15982344 10836004864 856911 18446744073709551615 4194304 4196468 140728131723664 140125600011264 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31741] ppid=31680 vsize=10582036 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31741/stat : 31741 (java) S 31680 31683 9955 0 -1 1077944384 3 12322 0 0 0 0 5 3 20 0 15 0 15982347 10836004864 856911 18446744073709551615 4194304 4196468 140728131723664 140125598959824 140126038648731 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31742] ppid=31680 vsize=10582036 CPUtime=9.92 cores=0,2,4,6
/proc/31683/task/31742/stat : 31742 (java) S 31680 31683 9955 0 -1 1077944384 42575 12322 0 0 978 6 5 3 20 0 15 0 15982347 10836004864 856911 18446744073709551615 4194304 4196468 140728131723664 140125597907440 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31743] ppid=31680 vsize=10582036 CPUtime=9.83 cores=0,2,4,6
/proc/31683/task/31743/stat : 31743 (java) S 31680 31683 9955 0 -1 1077944384 41098 12322 0 0 970 5 5 3 20 0 15 0 15982347 10836004864 856911 18446744073709551615 4194304 4196468 140728131723664 140125596854896 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31744] ppid=31680 vsize=10582036 CPUtime=2.99 cores=0,2,4,6
/proc/31683/task/31744/stat : 31744 (java) S 31680 31683 9955 0 -1 1077944384 48224 12322 0 0 285 6 5 3 20 0 15 0 15982347 10836004864 856911 18446744073709551615 4194304 4196468 140728131723664 140125595802352 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31745] ppid=31680 vsize=10582036 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31745/stat : 31745 (java) S 31680 31683 9955 0 -1 1077944384 3 12322 0 0 0 0 5 3 20 0 15 0 15982347 10836004864 856911 18446744073709551615 4194304 4196468 140728131723664 140125594750048 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31746] ppid=31680 vsize=10582036 CPUtime=1.37 cores=0,2,4,6
/proc/31683/task/31746/stat : 31746 (java) S 31680 31683 9955 0 -1 1077944384 2097 12322 0 0 69 60 5 3 20 0 15 0 15982351 10836004864 856911 18446744073709551615 4194304 4196468 140728131723664 140125593696560 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
Current children cumulated CPU time (s) 2378.34
Current children cumulated vsize (KiB) 10582036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2344 s]
/proc/loadavg: 1.70 1.81 1.77 3/210 32012
/proc/meminfo: memFree=25290496/32770624 swapFree=0/459492
[pid=31683] ppid=31680 vsize=10582036 CPUtime=2400.08 cores=0,2,4,6
/proc/31683/stat : 31683 (java) S 31680 31683 9955 0 -1 1077944320 462699 12322 0 0 239550 450 5 3 20 0 15 0 15982321 10836004864 855761 18446744073709551615 4194304 4196468 140728131723664 140728131706208 140126038630135 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
/proc/31683/statm: 2645509 855761 3514 1 0 2634123 0
[pid=31683/tid=31733] ppid=31680 vsize=10582036 CPUtime=2332.15 cores=0,2,4,6
/proc/31683/task/31733/stat : 31733 (java) R 31680 31683 9955 0 -1 4202560 190946 12322 0 0 233142 65 5 3 20 0 15 0 15982341 10836004864 855761 18446744073709551615 4194304 4196468 140728131723664 140126042865696 140125687545024 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31734] ppid=31680 vsize=10582036 CPUtime=10.92 cores=0,2,4,6
/proc/31683/task/31734/stat : 31734 (java) S 31680 31683 9955 0 -1 1077944384 20750 12322 0 0 1007 77 5 3 20 0 15 0 15982342 10836004864 855761 18446744073709551615 4194304 4196468 140728131723664 140125995596560 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31735] ppid=31680 vsize=10582036 CPUtime=10.96 cores=0,2,4,6
/proc/31683/task/31735/stat : 31735 (java) S 31680 31683 9955 0 -1 1077944384 27836 12322 0 0 1010 78 5 3 20 0 15 0 15982342 10836004864 855761 18446744073709551615 4194304 4196468 140728131723664 140125994544016 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31736] ppid=31680 vsize=10582036 CPUtime=10.89 cores=0,2,4,6
/proc/31683/task/31736/stat : 31736 (java) S 31680 31683 9955 0 -1 1077944384 23580 12322 0 0 1005 76 5 3 20 0 15 0 15982342 10836004864 855761 18446744073709551615 4194304 4196468 140728131723664 140125993491472 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31737] ppid=31680 vsize=10582036 CPUtime=10.88 cores=0,2,4,6
/proc/31683/task/31737/stat : 31737 (java) S 31680 31683 9955 0 -1 1077944384 22813 12322 0 0 1004 76 5 3 20 0 15 0 15982342 10836004864 855761 18446744073709551615 4194304 4196468 140728131723664 140125647068304 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31738] ppid=31680 vsize=10582036 CPUtime=0.76 cores=0,2,4,6
/proc/31683/task/31738/stat : 31738 (java) S 31680 31683 9955 0 -1 1077944384 40439 12322 0 0 59 9 5 3 20 0 15 0 15982343 10836004864 855761 18446744073709551615 4194304 4196468 140728131723664 140125602117616 140126038641282 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31739] ppid=31680 vsize=10582036 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31739/stat : 31739 (java) S 31680 31683 9955 0 -1 1077944384 114 12322 0 0 0 0 5 3 20 0 15 0 15982344 10836004864 855761 18446744073709551615 4194304 4196468 140728131723664 140125601063968 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31740] ppid=31680 vsize=10582036 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31740/stat : 31740 (java) S 31680 31683 9955 0 -1 1077944384 53 12322 0 0 0 0 5 3 20 0 15 0 15982344 10836004864 855761 18446744073709551615 4194304 4196468 140728131723664 140125600011264 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31741] ppid=31680 vsize=10582036 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31741/stat : 31741 (java) S 31680 31683 9955 0 -1 1077944384 3 12322 0 0 0 0 5 3 20 0 15 0 15982347 10836004864 855761 18446744073709551615 4194304 4196468 140728131723664 140125598959824 140126038648731 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31742] ppid=31680 vsize=10582036 CPUtime=9.92 cores=0,2,4,6
/proc/31683/task/31742/stat : 31742 (java) S 31680 31683 9955 0 -1 1077944384 42578 12322 0 0 978 6 5 3 20 0 15 0 15982347 10836004864 855761 18446744073709551615 4194304 4196468 140728131723664 140125597907440 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31743] ppid=31680 vsize=10582036 CPUtime=9.83 cores=0,2,4,6
/proc/31683/task/31743/stat : 31743 (java) S 31680 31683 9955 0 -1 1077944384 41100 12322 0 0 970 5 5 3 20 0 15 0 15982347 10836004864 855761 18446744073709551615 4194304 4196468 140728131723664 140125596854896 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31744] ppid=31680 vsize=10582036 CPUtime=2.99 cores=0,2,4,6
/proc/31683/task/31744/stat : 31744 (java) S 31680 31683 9955 0 -1 1077944384 48226 12322 0 0 285 6 5 3 20 0 15 0 15982347 10836004864 855761 18446744073709551615 4194304 4196468 140728131723664 140125595802352 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31745] ppid=31680 vsize=10582036 CPUtime=0.08 cores=0,2,4,6
/proc/31683/task/31745/stat : 31745 (java) S 31680 31683 9955 0 -1 1077944384 3 12322 0 0 0 0 5 3 20 0 15 0 15982347 10836004864 855761 18446744073709551615 4194304 4196468 140728131723664 140125594750048 140126038640341 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
[pid=31683/tid=31746] ppid=31680 vsize=10582036 CPUtime=1.39 cores=0,2,4,6
/proc/31683/task/31746/stat : 31746 (java) S 31680 31683 9955 0 -1 1077944384 2126 12322 0 0 70 61 5 3 20 0 15 0 15982351 10836004864 855761 18446744073709551615 4194304 4196468 140728131723664 140125593696560 140126038641282 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26648576 140728131729372 140728131732146 140728131732146 140728131735503 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 10582036

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

Child status: 143
Real time (s): 2344.03
CPU time (s): 2400.14
CPU user time (s): 2395.59
CPU system time (s): 4.55156
CPU usage (%): 102.393
Max. virtual memory (cumulated for all children) (KiB): 10582096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.59
system time used= 4.55156
maximum resident set size= 3433672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 475696
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68466
involuntary context switches= 3069

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4178 second user time and 14.0988 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-07 22:12:50
IDJOB=4248590
IDBENCH=140583
IDSOLVER=2630
FILE ID=node125/4248590-1502137614
RUNJOBID= node125-1502129723-30086
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-38.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248590-1502137614/watcher-4248590-1502137614 -o /tmp/evaluation-result-4248590-1502137614/solver-4248590-1502137614 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502129723-30086 --watchdog 2560  bin/concrete HOME/instance-4248590-1502137614.xml

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

MD5SUM BENCH= f8d5128c7bc11e119a8a7f8e485ceae3
RANDOM SEED=1585385222

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30547524 kB
MemAvailable:   31052588 kB
Buffers:          166516 kB
Cached:           626416 kB
SwapCached:            0 kB
Active:          1337108 kB
Inactive:         474656 kB
Active(anon):    1019524 kB
Inactive(anon):    16716 kB
Active(file):     317584 kB
Inactive(file):   457940 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24664 kB
Writeback:             0 kB
AnonPages:       1019212 kB
Mapped:            45812 kB
Shmem:             17060 kB
Slab:             115632 kB
SReclaimable:      90752 kB
SUnreclaim:        24880 kB
KernelStack:        3424 kB
PageTables:         7516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1723892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    927744 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

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