Trace number 4249024

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)561 2400.11 2292.65

General information on the benchmark

NamePseudoBoolean/
PseudoBoolean-opt-dimacs/Pb-ii8d2.xml
MD5SUMf6e5619a9394ff6fb9e35a49c1220c66
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark547
Best CPU time to get the best result obtained on this benchmark2400.01
Satisfiable
(Un)Satisfiability was proved
Number of variables1860
Number of constraints7477
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1860}]
Minimum variable degree2
Maximum variable degree53
Distribution of variable degrees[{"degree":2,"count":20},{"degree":3,"count":770},{"degree":6,"count":10},{"degree":8,"count":10},{"degree":10,"count":790},{"degree":11,"count":10},{"degree":12,"count":10},{"degree":15,"count":10},{"degree":16,"count":10},{"degree":17,"count":20},{"degree":19,"count":10},{"degree":21,"count":10},{"degree":25,"count":20},{"degree":30,"count":10},{"degree":35,"count":20},{"degree":37,"count":10},{"degree":38,"count":10},{"degree":39,"count":10},{"degree":40,"count":10},{"degree":41,"count":10},{"degree":42,"count":10},{"degree":43,"count":10},{"degree":44,"count":10},{"degree":45,"count":10},{"degree":46,"count":10},{"degree":48,"count":20},{"degree":53,"count":10}]
Minimum constraint arity2
Maximum constraint arity10
Distribution of constraint arities[{"arity":2,"count":7170},{"arity":8,"count":230},{"arity":10,"count":77}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":7477}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

3.57/2.19	c Concrete v3.4 running
21.65/7.10	o 930
21.98/7.26	o 929
22.34/7.39	o 928
22.73/7.49	o 927
23.04/7.58	o 926
23.24/7.68	o 925
23.44/7.77	o 924
23.58/7.85	o 923
23.72/7.93	o 922
23.85/8.02	o 921
23.97/8.11	o 920
23.97/8.19	o 919
24.19/8.28	o 918
24.51/8.36	o 917
24.83/8.44	o 916
25.17/8.53	o 915
25.41/8.61	o 914
25.41/8.68	o 913
25.52/8.76	o 912
25.67/8.84	o 911
25.78/8.93	o 910
25.93/9.01	o 909
25.93/9.09	o 908
26.04/9.16	o 907
26.14/9.24	o 906
26.24/9.31	o 905
26.24/9.39	o 904
26.34/9.46	o 903
26.47/9.54	o 902
26.58/9.61	o 901
26.58/9.68	o 900
26.68/9.76	o 899
26.78/9.84	o 898
26.91/9.91	o 897
26.91/9.99	o 896
27.01/10.07	o 895
27.17/10.14	o 894
27.27/10.22	o 893
27.27/10.29	o 892
27.40/10.37	o 891
27.51/10.45	o 890
27.62/10.53	o 889
27.72/10.60	o 888
27.72/10.68	o 887
27.83/10.75	o 886
27.93/10.82	o 885
28.03/10.90	o 884
28.03/10.97	o 883
28.14/11.04	o 882
28.30/11.12	o 881
28.47/11.21	o 880
28.47/11.28	o 879
28.57/11.36	o 878
28.67/11.43	o 877
28.77/11.50	o 876
28.77/11.58	o 875
28.87/11.65	o 874
28.97/11.72	o 873
28.97/11.79	o 872
29.08/11.87	o 871
29.21/11.94	o 870
29.31/12.01	o 869
29.31/12.08	o 868
29.44/12.15	o 867
29.55/12.23	o 866
29.65/12.30	o 865
29.65/12.38	o 864
29.75/12.46	o 863
29.85/12.54	o 862
30.02/12.62	o 861
30.15/12.70	o 860
30.15/12.78	o 859
30.25/12.85	o 858
30.37/12.92	o 857
30.48/13.00	o 856
30.48/13.07	o 855
30.58/13.15	o 854
30.69/13.22	o 853
30.69/13.29	o 852
30.79/13.37	o 851
30.92/13.44	o 850
31.03/13.52	o 849
31.03/13.59	o 848
31.13/13.66	o 847
31.23/13.73	o 846
31.36/13.81	o 845
31.36/13.89	o 844
31.46/13.96	o 843
31.56/14.04	o 842
31.66/14.11	o 841
31.87/14.20	o 840
31.87/14.27	o 839
31.98/14.34	o 838
32.08/14.41	o 837
32.08/14.49	o 836
32.17/14.56	o 835
32.30/14.63	o 834
32.40/14.71	o 833
32.40/14.77	o 832
32.51/14.85	o 831
32.62/14.92	o 830
32.73/15.00	o 829
32.73/15.08	o 828
32.86/15.16	o 827
32.97/15.23	o 826
33.07/15.31	o 825
33.07/15.39	o 824
33.19/15.47	o 823
33.29/15.54	o 822
33.41/15.62	o 821
33.52/15.70	o 820
33.52/15.78	o 819
33.65/15.87	o 818
33.81/15.95	o 817
33.91/16.05	o 816
34.02/16.12	o 815
34.12/16.20	o 814
34.12/16.28	o 813
34.24/16.36	o 812
34.42/16.43	o 811
34.53/16.51	o 810
34.69/16.62	o 809
34.78/16.70	o 808
34.78/16.77	o 807
34.91/16.84	o 806
35.02/16.91	o 805
35.02/16.98	o 804
35.14/17.05	o 803
35.24/17.12	o 802
35.24/17.19	o 801
35.34/17.26	o 800
35.44/17.33	o 799
35.44/17.40	o 798
35.56/17.47	o 797
35.67/17.53	o 796
35.83/17.62	o 795
35.83/17.71	o 794
35.96/17.78	o 793
36.05/17.85	o 792
36.16/17.92	o 791
36.16/17.99	o 790
36.26/18.06	o 789
36.36/18.13	o 788
36.46/18.20	o 787
36.46/18.27	o 786
36.59/18.34	o 785
36.69/18.41	o 784
36.69/18.48	o 783
36.81/18.55	o 782
36.91/18.62	o 781
36.91/18.69	o 780
37.03/18.76	o 779
37.13/18.82	o 778
37.13/18.89	o 777
37.22/18.96	o 776
37.33/19.04	o 775
37.46/19.11	o 774
37.46/19.18	o 773
37.56/19.25	o 772
37.66/19.32	o 771
37.66/19.40	o 770
37.78/19.47	o 769
37.89/19.54	o 768
38.04/19.62	o 767
38.04/19.69	o 766
38.14/19.76	o 765
38.29/19.83	o 764
38.29/19.90	o 763
38.39/19.96	o 762
38.49/20.03	o 761
38.59/20.10	o 760
38.59/20.17	o 759
38.71/20.24	o 758
38.81/20.31	o 757
38.81/20.37	o 756
38.91/20.44	o 755
39.04/20.51	o 754
39.04/20.58	o 753
39.14/20.65	o 752
39.24/20.71	o 751
39.24/20.79	o 750
39.36/20.85	o 749
39.47/20.92	o 748
39.47/20.99	o 747
39.57/21.06	o 746
39.67/21.13	o 745
39.67/21.19	o 744
39.84/21.26	o 743
39.94/21.33	o 742
40.06/21.41	o 741
40.06/21.48	o 740
40.21/21.55	o 739
40.32/21.62	o 738
40.32/21.68	o 737
40.42/21.75	o 736
40.52/21.82	o 735
40.52/21.89	o 734
40.65/21.95	o 733
40.78/22.03	o 732
40.78/22.10	o 731
40.88/22.16	o 730
40.97/22.23	o 729
41.08/22.30	o 728
41.08/22.37	o 727
41.21/22.43	o 726
41.31/22.50	o 725
41.31/22.57	o 724
41.43/22.64	o 723
41.54/22.70	o 722
41.54/22.77	o 721
41.64/22.83	o 720
41.74/22.90	o 719
41.74/22.97	o 718
41.87/23.04	o 717
42.00/23.11	o 716
42.00/23.18	o 715
42.11/23.24	o 714
42.20/23.31	o 713
42.20/23.37	o 712
42.30/23.44	o 711
42.41/23.51	o 710
42.41/23.59	o 709
42.55/23.66	o 708
42.70/23.73	o 707
42.81/23.80	o 706
42.81/23.86	o 705
42.92/23.93	o 704
42.92/23.99	o 703
43.02/24.06	o 702
43.12/24.13	o 701
43.12/24.19	o 700
43.23/24.26	o 699
43.37/24.36	o 698
43.46/24.44	o 697
43.57/24.51	o 696
43.57/24.57	o 695
43.70/24.64	o 694
43.80/24.70	o 693
43.80/24.77	o 692
43.90/24.83	o 691
44.03/24.90	o 690
44.03/24.96	o 689
44.13/25.03	o 688
44.13/25.09	o 687
44.23/25.16	o 686
44.35/25.23	o 685
44.35/25.29	o 684
44.46/25.35	o 683
44.57/25.42	o 682
44.57/25.48	o 681
44.66/25.55	o 680
44.76/25.61	o 679
44.76/25.68	o 678
44.90/25.75	o 677
45.01/25.82	o 676
45.01/25.89	o 675
45.17/25.95	o 674
45.27/26.02	o 673
45.27/26.09	o 672
45.39/26.15	o 671
45.49/26.22	o 670
45.49/26.28	o 669
45.59/26.35	o 668
45.76/26.41	o 667
45.76/26.48	o 666
45.86/26.54	o 665
45.96/26.60	o 664
45.96/26.67	o 663
46.06/26.73	o 662
46.06/26.80	o 661
46.16/26.86	o 660
46.26/26.92	o 659
46.26/26.99	o 658
46.37/27.05	o 657
46.47/27.11	o 656
46.47/27.18	o 655
46.57/27.24	o 654
46.70/27.30	o 653
46.70/27.37	o 652
46.80/27.43	o 651
46.80/27.49	o 650
46.92/27.55	o 649
47.03/27.62	o 648
47.03/27.68	o 647
47.13/27.74	o 646
47.23/27.80	o 645
47.23/27.85	o 644
47.36/27.91	o 643
47.36/27.98	o 642
47.47/28.05	o 641
47.64/28.12	o 640
47.64/28.18	o 639
47.74/28.26	o 638
47.85/28.34	o 637
47.95/28.43	o 636
48.05/28.51	o 635
48.05/28.59	o 634
48.19/28.67	o 633
48.31/28.74	o 632
48.40/28.81	o 631
48.40/28.89	o 630
48.51/28.97	o 629
48.61/29.03	o 628
48.61/29.08	o 627
49.01/29.31	o 626
49.01/29.39	o 625
49.11/29.48	o 624
49.21/29.57	o 623
49.32/29.66	o 622
49.42/29.74	o 621
49.52/29.83	o 620
49.65/29.91	o 619
49.75/30.00	o 618
49.75/30.09	o 617
49.85/30.18	o 616
49.97/30.26	o 615
50.07/30.35	o 614
50.17/30.43	o 613
50.27/30.52	o 612
50.40/30.60	o 611
50.59/30.70	o 610
50.59/30.79	o 609
50.71/30.86	o 608
50.82/30.94	o 607
50.91/31.01	o 606
50.91/31.08	o 605
51.01/31.15	o 604
51.78/31.85	o 603
51.92/31.93	o 602
52.02/32.01	o 601
52.02/32.09	o 600
52.12/32.17	o 599
52.23/32.23	o 598
52.34/32.30	o 597
62.97/41.60	o 596
62.97/41.69	o 595
63.07/41.78	o 594
63.19/41.87	o 593
63.29/41.96	o 592
63.38/42.04	o 591
63.50/42.12	o 590
63.50/42.18	o 589
63.60/42.23	o 588
63.60/42.29	o 587
67.10/45.32	o 586
67.20/45.40	o 585
67.20/45.49	o 584
67.30/45.58	o 583
67.43/45.66	o 582
67.53/45.73	o 581
67.64/45.82	o 580
67.75/45.91	o 579
67.85/46.00	o 578
67.85/46.09	o 577
67.95/46.18	o 576
68.06/46.27	o 575
68.20/46.36	o 574
68.29/46.45	o 573
68.39/46.54	o 572
68.51/46.63	o 571
68.61/46.71	o 570
68.71/46.80	o 569
68.71/46.89	o 568
68.83/46.97	o 567
68.94/47.05	o 566
69.07/47.14	o 565
69.16/47.22	o 564
69.16/47.30	o 563
69.27/47.35	o 562
69.27/47.40	o 561
2400.04/2292.61	java.util.concurrent.TimeoutException
2400.04/2292.61		at concrete.MAC.mac(MAC.scala:74)
2400.04/2292.61		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.04/2292.61		at scala.util.Try$.apply(Try.scala:209)
2400.04/2292.61		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.04/2292.61		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.04/2292.61		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.04/2292.61		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.04/2292.61		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.04/2292.61		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.04/2292.61		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.04/2292.61		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.04/2292.61		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.04/2292.61		at concrete.MAC.oneRun(MAC.scala:146)
2400.04/2292.61		at concrete.MAC.nextSolution(MAC.scala:166)
2400.04/2292.61		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.04/2292.61		at concrete.ProblemState.map(ProblemState.scala:203)
2400.04/2292.61		at concrete.ProblemState.map(ProblemState.scala:188)
2400.04/2292.61		at concrete.MAC.nextSolution(MAC.scala:195)
2400.04/2292.61		at concrete.Solver.hasNext(Solver.scala:202)
2400.04/2292.61		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.04/2292.61		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.04/2292.61		at concrete.Solver.toStream(Solver.scala:73)
2400.04/2292.61		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.04/2292.61		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.04/2292.61		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.04/2292.61		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.04/2292.61		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.04/2292.61		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.04/2292.61		at scala.util.Success.map(Try.scala:209)
2400.04/2292.61		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.04/2292.61		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.04/2292.61		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.04/2292.61		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.04/2292.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.04/2292.61		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.04/2292.61		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.04/2292.61		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.04/2292.61		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.04/2292.61		at scala.collection.immutable.List.foreach(List.scala:389)
2400.04/2292.61		at scala.App.main(App.scala:76)
2400.04/2292.61		at scala.App.main$(App.scala:74)
2400.04/2292.61		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.04/2292.61		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.04/2292.63	v <instantiation cost="561">
2400.04/2292.63	v       <list>
2400.04/2292.63	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859]
2400.04/2292.63	v       </list>
2400.04/2292.63	v       <values>
2400.04/2292.63	v         1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 1
2400.04/2292.63	v       </values>
2400.04/2292.63	v     </instantiation>
2400.04/2292.63	s SATISFIABLE

Verifier Data 

OK	561

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-4249024-1500754635/watcher-4249024-1500754635 -o /tmp/evaluation-result-4249024-1500754635/solver-4249024-1500754635 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500752272-21524 --watchdog 2560 bin/concrete HOME/instance-4249024-1500754635.xml 

pid=23826
running on 8 cores: 4-7,12-15

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


[startup+0 s]
/proc/loadavg: 1.24 1.35 1.44 3/261 23829
/proc/meminfo: memFree=29770188/32770624 swapFree=5832/239288
[pid=23829] ppid=23826 vsize=9508 CPUtime=0 cores=4-7,12-15
/proc/23829/stat : 23829 (bash) S 23826 23829 21492 0 -1 4202496 687 1530 0 0 0 0 0 0 20 0 1 0 10728802 9736192 351 33554432000 4194304 5098028 140723545233616 140723545231256 140064515714048 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 39989248 140723545236750 140723545236835 140723545236835 140723545239534 0
/proc/23829/statm: 2377 351 278 221 0 86 0

[startup+0.100131 s]
/proc/loadavg: 1.24 1.35 1.44 3/261 23829
/proc/meminfo: memFree=29770188/32770624 swapFree=5832/239288
[pid=23829] ppid=23826 vsize=9640 CPUtime=0.01 cores=4-7,12-15
/proc/23829/stat : 23829 (bash) S 23826 23829 21492 0 -1 4202496 885 6408 0 0 0 0 0 1 20 0 1 0 10728802 9871360 378 33554432000 4194304 5098028 140723545233616 140723545227624 140064515714048 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 39989248 140723545236750 140723545236835 140723545236835 140723545239534 0
/proc/23829/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200303 s]
/proc/loadavg: 1.24 1.35 1.44 3/261 23829
/proc/meminfo: memFree=29770188/32770624 swapFree=5832/239288
[pid=23829] ppid=23826 vsize=10435860 CPUtime=0.18 cores=4-7,12-15
/proc/23829/stat : 23829 (java) S 23826 23829 21492 0 -1 1077944320 4975 12549 0 0 5 1 8 4 20 0 13 0 10728802 10686320640 5306 33554432000 4194304 4196468 140721046784640 140721046767184 140624018075383 0 0 0 16800971 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
/proc/23829/statm: 2608965 5306 2139 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300336 s]
/proc/loadavg: 1.24 1.35 1.44 3/261 23829
/proc/meminfo: memFree=29770188/32770624 swapFree=5832/239288
[pid=23829] ppid=23826 vsize=10902392 CPUtime=0.36 cores=4-7,12-15
/proc/23829/stat : 23829 (java) S 23826 23829 21492 0 -1 1077944320 7270 12549 0 0 22 2 8 4 20 0 20 0 10728802 11164049408 8943 33554432000 4194304 4196468 140721046784640 140721046767184 140624018075383 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
/proc/23829/statm: 2725598 8943 2989 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902392

[startup+0.700213 s]
/proc/loadavg: 1.24 1.35 1.44 3/261 23829
/proc/meminfo: memFree=29770188/32770624 swapFree=5832/239288
[pid=23829] ppid=23826 vsize=10902720 CPUtime=0.93 cores=4-7,12-15
/proc/23829/stat : 23829 (java) S 23826 23829 21492 0 -1 1077944320 12543 12549 0 0 77 4 8 4 20 0 20 0 10728802 11164385280 15829 33554432000 4194304 4196468 140721046784640 140721046767184 140624018075383 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
/proc/23829/statm: 2725680 15829 3204 1 0 2713890 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 10902720

[startup+1.50073 s]
/proc/loadavg: 1.24 1.35 1.44 3/281 23902
/proc/meminfo: memFree=29666816/32770624 swapFree=5832/239640
[pid=23829] ppid=23826 vsize=10913344 CPUtime=2.25 cores=4-7,12-15
/proc/23829/stat : 23829 (java) S 23826 23829 21492 0 -1 1077944320 24442 12549 0 0 199 14 8 4 20 0 20 0 10728802 11175264256 45111 33554432000 4194304 4196468 140721046784640 140721046767184 140624018075383 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
/proc/23829/statm: 2728336 45111 3403 1 0 2716450 0
[pid=23829/tid=23884] ppid=23826 vsize=10913344 CPUtime=1.43 cores=4-7,12-15
/proc/23829/task/23884/stat : 23884 (java) R 23826 23829 21492 0 -1 4202560 18242 12549 0 0 125 6 8 4 20 0 20 0 10728815 11175264256 45111 33554432000 4194304 4196468 140721046784640 140624022294096 140623622553950 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23885] ppid=23826 vsize=10913344 CPUtime=0.13 cores=4-7,12-15
/proc/23829/task/23885/stat : 23885 (java) S 23826 23829 21492 0 -1 1077944384 133 12549 0 0 1 0 8 4 20 0 20 0 10728816 11175264256 45111 33554432000 4194304 4196468 140721046784640 140623944149520 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23886] ppid=23826 vsize=10913344 CPUtime=0.13 cores=4-7,12-15
/proc/23829/task/23886/stat : 23886 (java) S 23826 23829 21492 0 -1 1077944384 27 12549 0 0 1 0 8 4 20 0 20 0 10728816 11175264256 45111 33554432000 4194304 4196468 140721046784640 140623943096976 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23887] ppid=23826 vsize=10913344 CPUtime=0.13 cores=4-7,12-15
/proc/23829/task/23887/stat : 23887 (java) S 23826 23829 21492 0 -1 1077944384 34 12549 0 0 1 0 8 4 20 0 20 0 10728816 11175264256 45111 33554432000 4194304 4196468 140721046784640 140623942043920 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23888] ppid=23826 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23888/stat : 23888 (java) S 23826 23829 21492 0 -1 1077944384 15 12549 0 0 0 0 8 4 20 0 20 0 10728816 11175264256 45111 33554432000 4194304 4196468 140721046784640 140623621384592 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23889] ppid=23826 vsize=10913344 CPUtime=0.13 cores=4-7,12-15
/proc/23829/task/23889/stat : 23889 (java) S 23826 23829 21492 0 -1 1077944384 23 12549 0 0 1 0 8 4 20 0 20 0 10728816 11175264256 45111 33554432000 4194304 4196468 140721046784640 140623620332560 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23890] ppid=23826 vsize=10913344 CPUtime=0.13 cores=4-7,12-15
/proc/23829/task/23890/stat : 23890 (java) S 23826 23829 21492 0 -1 1077944384 13 12549 0 0 1 0 8 4 20 0 20 0 10728816 11175264256 45111 33554432000 4194304 4196468 140721046784640 140623619280016 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23891] ppid=23826 vsize=10913344 CPUtime=0.13 cores=4-7,12-15
/proc/23829/task/23891/stat : 23891 (java) S 23826 23829 21492 0 -1 1077944384 28 12549 0 0 1 0 8 4 20 0 20 0 10728816 11175264256 45111 33554432000 4194304 4196468 140721046784640 140623618226960 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23892] ppid=23826 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23892/stat : 23892 (java) S 23826 23829 21492 0 -1 1077944384 21 12549 0 0 0 0 8 4 20 0 20 0 10728816 11175264256 45111 33554432000 4194304 4196468 140721046784640 140623617174416 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23893] ppid=23826 vsize=10913344 CPUtime=0.13 cores=4-7,12-15
/proc/23829/task/23893/stat : 23893 (java) S 23826 23829 21492 0 -1 1077944384 760 12549 0 0 1 0 8 4 20 0 20 0 10728819 11175264256 45111 33554432000 4194304 4196468 140721046784640 140622767585520 140624018086530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23894] ppid=23826 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23894/stat : 23894 (java) S 23826 23829 21492 0 -1 1077944384 56 12549 0 0 0 0 8 4 20 0 20 0 10728819 11175264256 45111 33554432000 4194304 4196468 140721046784640 140622766531808 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23895] ppid=23826 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23895/stat : 23895 (java) S 23826 23829 21492 0 -1 1077944384 44 12549 0 0 0 0 8 4 20 0 20 0 10728820 11175264256 45111 33554432000 4194304 4196468 140721046784640 140622765478656 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23896] ppid=23826 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23896/stat : 23896 (java) S 23826 23829 21492 0 -1 1077944384 1 12549 0 0 0 0 8 4 20 0 20 0 10728824 11175264256 45111 33554432000 4194304 4196468 140721046784640 140622764427216 140624018093979 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23897] ppid=23826 vsize=10913344 CPUtime=0.24 cores=4-7,12-15
/proc/23829/task/23897/stat : 23897 (java) S 23826 23829 21492 0 -1 1077944384 857 12549 0 0 12 0 8 4 20 0 20 0 10728824 11175264256 45111 33554432000 4194304 4196468 140721046784640 140622763375344 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23898] ppid=23826 vsize=10913344 CPUtime=0.23 cores=4-7,12-15
/proc/23829/task/23898/stat : 23898 (java) S 23826 23829 21492 0 -1 1077944384 749 12549 0 0 11 0 8 4 20 0 20 0 10728824 11175264256 45111 33554432000 4194304 4196468 140721046784640 140622762322800 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23899] ppid=23826 vsize=10913344 CPUtime=0.24 cores=4-7,12-15
/proc/23829/task/23899/stat : 23899 (java) R 23826 23829 21492 0 -1 4202560 360 12549 0 0 12 0 8 4 20 0 20 0 10728824 11175264256 45111 33554432000 4194304 4196468 140721046784640 140622761269744 140623997250634 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23900] ppid=23826 vsize=10913344 CPUtime=0.37 cores=4-7,12-15
/proc/23829/task/23900/stat : 23900 (java) S 23826 23829 21492 0 -1 1077944384 942 12549 0 0 25 0 8 4 20 0 20 0 10728824 11175264256 45111 33554432000 4194304 4196468 140721046784640 140622760217200 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23901] ppid=23826 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23901/stat : 23901 (java) S 23826 23829 21492 0 -1 1077944384 3 12549 0 0 0 0 8 4 20 0 20 0 10728824 11175264256 45111 33554432000 4194304 4196468 140721046784640 140622759164384 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23902] ppid=23826 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23902/stat : 23902 (java) S 23826 23829 21492 0 -1 1077944384 3 12549 0 0 0 0 8 4 20 0 20 0 10728824 11175264256 45111 33554432000 4194304 4196468 140721046784640 140622758111920 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 10913344

[startup+3.10084 s]
/proc/loadavg: 1.24 1.35 1.44 4/281 23902
/proc/meminfo: memFree=29589004/32770624 swapFree=5832/239672
[pid=23829] ppid=23826 vsize=10923772 CPUtime=6.97 cores=4-7,12-15
/proc/23829/stat : 23829 (java) S 23826 23829 21492 0 -1 1077944320 37001 12549 0 0 667 18 8 4 20 0 20 0 10728802 11185942528 60899 33554432000 4194304 4196468 140721046784640 140721046767184 140624018075383 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
/proc/23829/statm: 2730943 60899 3478 1 0 2718498 0
[pid=23829/tid=23884] ppid=23826 vsize=10923772 CPUtime=3.02 cores=4-7,12-15
/proc/23829/task/23884/stat : 23884 (java) R 23826 23829 21492 0 -1 4202560 23861 12549 0 0 283 7 8 4 20 0 20 0 10728815 11185942528 60899 33554432000 4194304 4196468 140721046784640 140624022306240 140623622511063 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23885] ppid=23826 vsize=10923772 CPUtime=0.13 cores=4-7,12-15
/proc/23829/task/23885/stat : 23885 (java) S 23826 23829 21492 0 -1 1077944384 133 12549 0 0 1 0 8 4 20 0 20 0 10728816 11185942528 60899 33554432000 4194304 4196468 140721046784640 140623944149520 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23886] ppid=23826 vsize=10923772 CPUtime=0.13 cores=4-7,12-15
/proc/23829/task/23886/stat : 23886 (java) S 23826 23829 21492 0 -1 1077944384 27 12549 0 0 1 0 8 4 20 0 20 0 10728816 11185942528 60899 33554432000 4194304 4196468 140721046784640 140623943096976 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23887] ppid=23826 vsize=10923772 CPUtime=0.13 cores=4-7,12-15
/proc/23829/task/23887/stat : 23887 (java) S 23826 23829 21492 0 -1 1077944384 34 12549 0 0 1 0 8 4 20 0 20 0 10728816 11185942528 60899 33554432000 4194304 4196468 140721046784640 140623942043920 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23888] ppid=23826 vsize=10923772 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23888/stat : 23888 (java) S 23826 23829 21492 0 -1 1077944384 15 12549 0 0 0 0 8 4 20 0 20 0 10728816 11185942528 60899 33554432000 4194304 4196468 140721046784640 140623621384592 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23889] ppid=23826 vsize=10923772 CPUtime=0.13 cores=4-7,12-15
/proc/23829/task/23889/stat : 23889 (java) S 23826 23829 21492 0 -1 1077944384 23 12549 0 0 1 0 8 4 20 0 20 0 10728816 11185942528 60899 33554432000 4194304 4196468 140721046784640 140623620332560 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23890] ppid=23826 vsize=10923772 CPUtime=0.13 cores=4-7,12-15
/proc/23829/task/23890/stat : 23890 (java) S 23826 23829 21492 0 -1 1077944384 13 12549 0 0 1 0 8 4 20 0 20 0 10728816 11185942528 60899 33554432000 4194304 4196468 140721046784640 140623619280016 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23891] ppid=23826 vsize=10923772 CPUtime=0.13 cores=4-7,12-15
/proc/23829/task/23891/stat : 23891 (java) S 23826 23829 21492 0 -1 1077944384 28 12549 0 0 1 0 8 4 20 0 20 0 10728816 11185942528 60899 33554432000 4194304 4196468 140721046784640 140623618226960 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23892] ppid=23826 vsize=10923772 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23892/stat : 23892 (java) S 23826 23829 21492 0 -1 1077944384 21 12549 0 0 0 0 8 4 20 0 20 0 10728816 11185942528 61411 33554432000 4194304 4196468 140721046784640 140623617174416 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23893] ppid=23826 vsize=10923772 CPUtime=0.13 cores=4-7,12-15
/proc/23829/task/23893/stat : 23893 (java) S 23826 23829 21492 0 -1 1077944384 1013 12549 0 0 1 0 8 4 20 0 20 0 10728819 11185942528 61411 33554432000 4194304 4196468 140721046784640 140622767585520 140624018086530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23894] ppid=23826 vsize=10923772 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23894/stat : 23894 (java) S 23826 23829 21492 0 -1 1077944384 56 12549 0 0 0 0 8 4 20 0 20 0 10728819 11185942528 61411 33554432000 4194304 4196468 140721046784640 140622766531808 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23895] ppid=23826 vsize=10923772 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23895/stat : 23895 (java) S 23826 23829 21492 0 -1 1077944384 44 12549 0 0 0 0 8 4 20 0 20 0 10728820 11185942528 61411 33554432000 4194304 4196468 140721046784640 140622765478656 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23896] ppid=23826 vsize=10923772 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23896/stat : 23896 (java) S 23826 23829 21492 0 -1 1077944384 1 12549 0 0 0 0 8 4 20 0 20 0 10728824 11185942528 61411 33554432000 4194304 4196468 140721046784640 140622764427216 140624018093979 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23897] ppid=23826 vsize=10923772 CPUtime=1.15 cores=4-7,12-15
/proc/23829/task/23897/stat : 23897 (java) S 23826 23829 21492 0 -1 1077944384 3477 12549 0 0 103 0 8 4 20 0 20 0 10728824 11185942528 61411 33554432000 4194304 4196468 140721046784640 140622763375344 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23898] ppid=23826 vsize=10923772 CPUtime=0.89 cores=4-7,12-15
/proc/23829/task/23898/stat : 23898 (java) R 23826 23829 21492 0 -1 4202560 1691 12549 0 0 76 1 8 4 20 0 20 0 10728824 11185942528 61411 33554432000 4194304 4196468 140721046784640 140622762310024 140624003004853 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23899] ppid=23826 vsize=10923772 CPUtime=0.96 cores=4-7,12-15
/proc/23829/task/23899/stat : 23899 (java) R 23826 23829 21492 0 -1 4202560 1099 12549 0 0 83 1 8 4 20 0 20 0 10728824 11185942528 61411 33554432000 4194304 4196468 140721046784640 140622761255624 140624002997165 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23900] ppid=23826 vsize=10923772 CPUtime=1.21 cores=4-7,12-15
/proc/23829/task/23900/stat : 23900 (java) R 23826 23829 21492 0 -1 4202560 3327 12549 0 0 108 1 8 4 20 0 20 0 10728824 11185942528 61411 33554432000 4194304 4196468 140721046784640 140622760217328 140623996944577 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23901] ppid=23826 vsize=10923772 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23901/stat : 23901 (java) S 23826 23829 21492 0 -1 1077944384 3 12549 0 0 0 0 8 4 20 0 20 0 10728824 11185942528 61411 33554432000 4194304 4196468 140721046784640 140622759164384 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23902] ppid=23826 vsize=10923772 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23902/stat : 23902 (java) S 23826 23829 21492 0 -1 1077944384 4 12549 0 0 0 0 8 4 20 0 20 0 10728824 11185942528 61411 33554432000 4194304 4196468 140721046784640 140622758111920 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 10923772

[startup+6.30085 s]
/proc/loadavg: 1.38 1.38 1.45 6/281 23902
/proc/meminfo: memFree=29441992/32770624 swapFree=5832/239684
[pid=23829] ppid=23826 vsize=10995452 CPUtime=17.45 cores=4-7,12-15
/proc/23829/stat : 23829 (java) S 23826 23829 21492 0 -1 1077944320 72195 12549 0 0 1684 49 8 4 20 0 20 0 10728802 11259342848 107182 33554432000 4194304 4196468 140721046784640 140721046767184 140624018075383 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
/proc/23829/statm: 2748863 107182 3510 1 0 2736418 0
[pid=23829/tid=23884] ppid=23826 vsize=10995452 CPUtime=6.04 cores=4-7,12-15
/proc/23829/task/23884/stat : 23884 (java) R 23826 23829 21492 0 -1 4202560 37671 12549 0 0 583 9 8 4 20 0 20 0 10728815 11259342848 107182 33554432000 4194304 4196468 140721046784640 140624022307088 140623639250447 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23885] ppid=23826 vsize=10995452 CPUtime=0.25 cores=4-7,12-15
/proc/23829/task/23885/stat : 23885 (java) S 23826 23829 21492 0 -1 1077944384 178 12549 0 0 9 4 8 4 20 0 20 0 10728816 11259342848 107182 33554432000 4194304 4196468 140721046784640 140623944149520 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23886] ppid=23826 vsize=10995452 CPUtime=0.25 cores=4-7,12-15
/proc/23829/task/23886/stat : 23886 (java) S 23826 23829 21492 0 -1 1077944384 80 12549 0 0 10 3 8 4 20 0 20 0 10728816 11259342848 107182 33554432000 4194304 4196468 140721046784640 140623943096976 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23887] ppid=23826 vsize=10995452 CPUtime=0.24 cores=4-7,12-15
/proc/23829/task/23887/stat : 23887 (java) S 23826 23829 21492 0 -1 1077944384 75 12549 0 0 9 3 8 4 20 0 20 0 10728816 11259342848 107182 33554432000 4194304 4196468 140721046784640 140623942043920 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23888] ppid=23826 vsize=10995452 CPUtime=0.25 cores=4-7,12-15
/proc/23829/task/23888/stat : 23888 (java) S 23826 23829 21492 0 -1 1077944384 220 12549 0 0 9 4 8 4 20 0 20 0 10728816 11259342848 107182 33554432000 4194304 4196468 140721046784640 140623621384592 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23889] ppid=23826 vsize=10995452 CPUtime=0.24 cores=4-7,12-15
/proc/23829/task/23889/stat : 23889 (java) S 23826 23829 21492 0 -1 1077944384 105 12549 0 0 9 3 8 4 20 0 20 0 10728816 11259342848 107182 33554432000 4194304 4196468 140721046784640 140623620332560 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23890] ppid=23826 vsize=10995452 CPUtime=0.23 cores=4-7,12-15
/proc/23829/task/23890/stat : 23890 (java) S 23826 23829 21492 0 -1 1077944384 113 12549 0 0 8 3 8 4 20 0 20 0 10728816 11259342848 107182 33554432000 4194304 4196468 140721046784640 140623619280016 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23891] ppid=23826 vsize=10995452 CPUtime=0.25 cores=4-7,12-15
/proc/23829/task/23891/stat : 23891 (java) S 23826 23829 21492 0 -1 1077944384 346 12549 0 0 9 4 8 4 20 0 20 0 10728816 11259342848 107182 33554432000 4194304 4196468 140721046784640 140623618226960 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23892] ppid=23826 vsize=10995452 CPUtime=0.24 cores=4-7,12-15
/proc/23829/task/23892/stat : 23892 (java) S 23826 23829 21492 0 -1 1077944384 132 12549 0 0 9 3 8 4 20 0 20 0 10728816 11259342848 107182 33554432000 4194304 4196468 140721046784640 140623617174416 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23893] ppid=23826 vsize=10995452 CPUtime=0.17 cores=4-7,12-15
/proc/23829/task/23893/stat : 23893 (java) S 23826 23829 21492 0 -1 1077944384 4696 12549 0 0 5 0 8 4 20 0 20 0 10728819 11259342848 107182 33554432000 4194304 4196468 140721046784640 140622767585520 140624018086530 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23894] ppid=23826 vsize=10995452 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23894/stat : 23894 (java) S 23826 23829 21492 0 -1 1077944384 60 12549 0 0 0 0 8 4 20 0 20 0 10728819 11259342848 107182 33554432000 4194304 4196468 140721046784640 140622766531808 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23895] ppid=23826 vsize=10995452 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23895/stat : 23895 (java) S 23826 23829 21492 0 -1 1077944384 48 12549 0 0 0 0 8 4 20 0 20 0 10728820 11259342848 107182 33554432000 4194304 4196468 140721046784640 140622765478656 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23896] ppid=23826 vsize=10995452 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23896/stat : 23896 (java) S 23826 23829 21492 0 -1 1077944384 1 12549 0 0 0 0 8 4 20 0 20 0 10728824 11259342848 107182 33554432000 4194304 4196468 140721046784640 140622764427216 140624018093979 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23897] ppid=23826 vsize=10995452 CPUtime=2.99 cores=4-7,12-15
/proc/23829/task/23897/stat : 23897 (java) R 23826 23829 21492 0 -1 4202560 6865 12549 0 0 286 1 8 4 20 0 20 0 10728824 11259342848 107182 33554432000 4194304 4196468 140721046784640 140622763356544 140624001989288 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23898] ppid=23826 vsize=10995452 CPUtime=2.85 cores=4-7,12-15
/proc/23829/task/23898/stat : 23898 (java) R 23826 23829 21492 0 -1 4202560 6064 12549 0 0 272 1 8 4 20 0 20 0 10728824 11259342848 107182 33554432000 4194304 4196468 140721046784640 140622762309152 140623996092375 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23899] ppid=23826 vsize=10995452 CPUtime=2.67 cores=4-7,12-15
/proc/23829/task/23899/stat : 23899 (java) R 23826 23829 21492 0 -1 4202560 3158 12549 0 0 253 2 8 4 20 0 20 0 10728824 11259342848 107182 33554432000 4194304 4196468 140721046784640 140622761257184 140623997322059 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23900] ppid=23826 vsize=10995452 CPUtime=2.19 cores=4-7,12-15
/proc/23829/task/23900/stat : 23900 (java) R 23826 23829 21492 0 -1 4202560 10092 12549 0 0 205 2 8 4 20 0 20 0 10728824 11259342848 107182 33554432000 4194304 4196468 140721046784640 140622760212928 140623996092464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23901] ppid=23826 vsize=10995452 CPUtime=0.12 cores=4-7,12-15

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

[pid=23829/tid=23898] ppid=23826 vsize=10997500 CPUtime=11.72 cores=4-7,12-15
/proc/23829/task/23898/stat : 23898 (java) S 23826 23829 21492 0 -1 1077944384 42540 12549 0 0 1150 10 8 4 20 0 20 0 10728824 11261440000 575823 33554432000 4194304 4196468 140721046784640 140622762322800 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23899] ppid=23826 vsize=10997500 CPUtime=12.19 cores=4-7,12-15
/proc/23829/task/23899/stat : 23899 (java) S 23826 23829 21492 0 -1 1077944384 32813 12549 0 0 1197 10 8 4 20 0 20 0 10728824 11261440000 575823 33554432000 4194304 4196468 140721046784640 140622761269744 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23900] ppid=23826 vsize=10997500 CPUtime=4.84 cores=4-7,12-15
/proc/23829/task/23900/stat : 23900 (java) S 23826 23829 21492 0 -1 1077944384 47856 12549 0 0 463 9 8 4 20 0 20 0 10728824 11261440000 575823 33554432000 4194304 4196468 140721046784640 140622760217200 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23901] ppid=23826 vsize=10997500 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23901/stat : 23901 (java) S 23826 23829 21492 0 -1 1077944384 3 12549 0 0 0 0 8 4 20 0 20 0 10728824 11261440000 575823 33554432000 4194304 4196468 140721046784640 140622759164384 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23902] ppid=23826 vsize=10997500 CPUtime=1.3 cores=4-7,12-15
/proc/23829/task/23902/stat : 23902 (java) S 23826 23829 21492 0 -1 1077944384 2750 12549 0 0 51 67 8 4 20 0 20 0 10728824 11261440000 575823 33554432000 4194304 4196468 140721046784640 140622758111920 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
Current children cumulated CPU time (s) 2245.14
Current children cumulated vsize (KiB) 10997500

[startup+2202.31 s]
/proc/loadavg: 1.22 1.30 1.37 3/281 24110
/proc/meminfo: memFree=28689372/32770624 swapFree=5832/240936
[pid=23829] ppid=23826 vsize=10997500 CPUtime=2306.99 cores=4-7,12-15
/proc/23829/stat : 23829 (java) S 23826 23829 21492 0 -1 1077944320 395120 12549 0 0 229995 692 8 4 20 0 20 0 10728802 11261440000 575844 33554432000 4194304 4196468 140721046784640 140721046767184 140624018075383 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
/proc/23829/statm: 2749375 575844 3521 1 0 2736930 0
[pid=23829/tid=23884] ppid=23826 vsize=10997500 CPUtime=2181.34 cores=4-7,12-15
/proc/23829/task/23884/stat : 23884 (java) R 23826 23829 21492 0 -1 4202560 108003 12549 0 0 218055 67 8 4 20 0 20 0 10728815 11261440000 575844 33554432000 4194304 4196468 140721046784640 140624022308704 140623640940628 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23885] ppid=23826 vsize=10997500 CPUtime=9.84 cores=4-7,12-15
/proc/23829/task/23885/stat : 23885 (java) S 23826 23829 21492 0 -1 1077944384 14343 12549 0 0 903 69 8 4 20 0 20 0 10728816 11261440000 575844 33554432000 4194304 4196468 140721046784640 140623944149520 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23886] ppid=23826 vsize=10997500 CPUtime=9.78 cores=4-7,12-15
/proc/23829/task/23886/stat : 23886 (java) S 23826 23829 21492 0 -1 1077944384 9102 12549 0 0 903 63 8 4 20 0 20 0 10728816 11261440000 575844 33554432000 4194304 4196468 140721046784640 140623943096976 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23887] ppid=23826 vsize=10997500 CPUtime=9.81 cores=4-7,12-15
/proc/23829/task/23887/stat : 23887 (java) S 23826 23829 21492 0 -1 1077944384 12484 12549 0 0 901 68 8 4 20 0 20 0 10728816 11261440000 575844 33554432000 4194304 4196468 140721046784640 140623942043920 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23888] ppid=23826 vsize=10997500 CPUtime=9.84 cores=4-7,12-15
/proc/23829/task/23888/stat : 23888 (java) S 23826 23829 21492 0 -1 1077944384 14245 12549 0 0 903 69 8 4 20 0 20 0 10728816 11261440000 575844 33554432000 4194304 4196468 140721046784640 140623621384592 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23889] ppid=23826 vsize=10997500 CPUtime=9.81 cores=4-7,12-15
/proc/23829/task/23889/stat : 23889 (java) S 23826 23829 21492 0 -1 1077944384 10725 12549 0 0 905 64 8 4 20 0 20 0 10728816 11261440000 575844 33554432000 4194304 4196468 140721046784640 140623620332560 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23890] ppid=23826 vsize=10997500 CPUtime=9.88 cores=4-7,12-15
/proc/23829/task/23890/stat : 23890 (java) S 23826 23829 21492 0 -1 1077944384 14925 12549 0 0 910 66 8 4 20 0 20 0 10728816 11261440000 575844 33554432000 4194304 4196468 140721046784640 140623619280016 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23891] ppid=23826 vsize=10997500 CPUtime=9.79 cores=4-7,12-15
/proc/23829/task/23891/stat : 23891 (java) S 23826 23829 21492 0 -1 1077944384 12837 12549 0 0 900 67 8 4 20 0 20 0 10728816 11261440000 575844 33554432000 4194304 4196468 140721046784640 140623618226960 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23892] ppid=23826 vsize=10997500 CPUtime=9.84 cores=4-7,12-15
/proc/23829/task/23892/stat : 23892 (java) S 23826 23829 21492 0 -1 1077944384 12901 12549 0 0 905 67 8 4 20 0 20 0 10728816 11261440000 575844 33554432000 4194304 4196468 140721046784640 140623617174416 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23893] ppid=23826 vsize=10997500 CPUtime=7.12 cores=4-7,12-15
/proc/23829/task/23893/stat : 23893 (java) S 23826 23829 21492 0 -1 1077944384 26254 12549 0 0 656 44 8 4 20 0 20 0 10728819 11261440000 575844 33554432000 4194304 4196468 140721046784640 140622767585520 140624018086530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23894] ppid=23826 vsize=10997500 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23894/stat : 23894 (java) S 23826 23829 21492 0 -1 1077944384 70 12549 0 0 0 0 8 4 20 0 20 0 10728819 11261440000 575844 33554432000 4194304 4196468 140721046784640 140622766531872 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23895] ppid=23826 vsize=10997500 CPUtime=0.13 cores=4-7,12-15
/proc/23829/task/23895/stat : 23895 (java) S 23826 23829 21492 0 -1 1077944384 58 12549 0 0 1 0 8 4 20 0 20 0 10728820 11261440000 575844 33554432000 4194304 4196468 140721046784640 140622765478656 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23896] ppid=23826 vsize=10997500 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23896/stat : 23896 (java) S 23826 23829 21492 0 -1 1077944384 1 12549 0 0 0 0 8 4 20 0 20 0 10728824 11261440000 575844 33554432000 4194304 4196468 140721046784640 140622764427216 140624018093979 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23897] ppid=23826 vsize=10997500 CPUtime=11.36 cores=4-7,12-15
/proc/23829/task/23897/stat : 23897 (java) S 23826 23829 21492 0 -1 1077944384 31044 12549 0 0 1116 8 8 4 20 0 20 0 10728824 11261440000 575844 33554432000 4194304 4196468 140721046784640 140622763375344 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23898] ppid=23826 vsize=10997500 CPUtime=11.72 cores=4-7,12-15
/proc/23829/task/23898/stat : 23898 (java) S 23826 23829 21492 0 -1 1077944384 42545 12549 0 0 1150 10 8 4 20 0 20 0 10728824 11261440000 575844 33554432000 4194304 4196468 140721046784640 140622762322800 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23899] ppid=23826 vsize=10997500 CPUtime=12.19 cores=4-7,12-15
/proc/23829/task/23899/stat : 23899 (java) S 23826 23829 21492 0 -1 1077944384 32817 12549 0 0 1197 10 8 4 20 0 20 0 10728824 11261440000 575844 33554432000 4194304 4196468 140721046784640 140622761269744 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23900] ppid=23826 vsize=10997500 CPUtime=4.84 cores=4-7,12-15
/proc/23829/task/23900/stat : 23900 (java) S 23826 23829 21492 0 -1 1077944384 47860 12549 0 0 463 9 8 4 20 0 20 0 10728824 11261440000 575844 33554432000 4194304 4196468 140721046784640 140622760217200 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23901] ppid=23826 vsize=10997500 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23901/stat : 23901 (java) S 23826 23829 21492 0 -1 1077944384 3 12549 0 0 0 0 8 4 20 0 20 0 10728824 11261440000 575844 33554432000 4194304 4196468 140721046784640 140622759164384 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23902] ppid=23826 vsize=10997500 CPUtime=1.33 cores=4-7,12-15
/proc/23829/task/23902/stat : 23902 (java) S 23826 23829 21492 0 -1 1077944384 2771 12549 0 0 52 69 8 4 20 0 20 0 10728824 11261440000 575844 33554432000 4194304 4196468 140721046784640 140622758111920 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
Current children cumulated CPU time (s) 2306.99
Current children cumulated vsize (KiB) 10997500

[startup+2262.3 s]
/proc/loadavg: 1.34 1.31 1.37 3/281 24111
/proc/meminfo: memFree=28724872/32770624 swapFree=5832/240968
[pid=23829] ppid=23826 vsize=10997500 CPUtime=2368.82 cores=4-7,12-15
/proc/23829/stat : 23829 (java) S 23826 23829 21492 0 -1 1077944320 397801 12549 0 0 236167 703 8 4 20 0 20 0 10728802 11261440000 575869 33554432000 4194304 4196468 140721046784640 140721046767184 140624018075383 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
/proc/23829/statm: 2749375 575869 3521 1 0 2736930 0
[pid=23829/tid=23884] ppid=23826 vsize=10997500 CPUtime=2240.75 cores=4-7,12-15
/proc/23829/task/23884/stat : 23884 (java) R 23826 23829 21492 0 -1 4202560 109284 12549 0 0 223995 68 8 4 20 0 20 0 10728815 11261440000 575869 33554432000 4194304 4196468 140721046784640 140624022308688 140623631219928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23885] ppid=23826 vsize=10997500 CPUtime=10.11 cores=4-7,12-15
/proc/23829/task/23885/stat : 23885 (java) S 23826 23829 21492 0 -1 1077944384 14400 12549 0 0 929 70 8 4 20 0 20 0 10728816 11261440000 575869 33554432000 4194304 4196468 140721046784640 140623944149520 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23886] ppid=23826 vsize=10997500 CPUtime=10.07 cores=4-7,12-15
/proc/23829/task/23886/stat : 23886 (java) S 23826 23829 21492 0 -1 1077944384 9125 12549 0 0 931 64 8 4 20 0 20 0 10728816 11261440000 575869 33554432000 4194304 4196468 140721046784640 140623943096976 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23887] ppid=23826 vsize=10997500 CPUtime=10.1 cores=4-7,12-15
/proc/23829/task/23887/stat : 23887 (java) S 23826 23829 21492 0 -1 1077944384 12588 12549 0 0 929 69 8 4 20 0 20 0 10728816 11261440000 575869 33554432000 4194304 4196468 140721046784640 140623942043920 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23888] ppid=23826 vsize=10997500 CPUtime=10.12 cores=4-7,12-15
/proc/23829/task/23888/stat : 23888 (java) S 23826 23829 21492 0 -1 1077944384 14572 12549 0 0 929 71 8 4 20 0 20 0 10728816 11261440000 575869 33554432000 4194304 4196468 140721046784640 140623621384592 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23889] ppid=23826 vsize=10997500 CPUtime=10.06 cores=4-7,12-15
/proc/23829/task/23889/stat : 23889 (java) S 23826 23829 21492 0 -1 1077944384 10929 12549 0 0 929 65 8 4 20 0 20 0 10728816 11261440000 575869 33554432000 4194304 4196468 140721046784640 140623620332560 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23890] ppid=23826 vsize=10997500 CPUtime=10.15 cores=4-7,12-15
/proc/23829/task/23890/stat : 23890 (java) S 23826 23829 21492 0 -1 1077944384 15044 12549 0 0 937 66 8 4 20 0 20 0 10728816 11261440000 575869 33554432000 4194304 4196468 140721046784640 140623619280016 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23891] ppid=23826 vsize=10997500 CPUtime=10.06 cores=4-7,12-15
/proc/23829/task/23891/stat : 23891 (java) S 23826 23829 21492 0 -1 1077944384 12879 12549 0 0 926 68 8 4 20 0 20 0 10728816 11261440000 575869 33554432000 4194304 4196468 140721046784640 140623618226960 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23892] ppid=23826 vsize=10997500 CPUtime=10.11 cores=4-7,12-15
/proc/23829/task/23892/stat : 23892 (java) S 23826 23829 21492 0 -1 1077944384 12977 12549 0 0 932 67 8 4 20 0 20 0 10728816 11261440000 575869 33554432000 4194304 4196468 140721046784640 140623617174416 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23893] ppid=23826 vsize=10997500 CPUtime=7.32 cores=4-7,12-15
/proc/23829/task/23893/stat : 23893 (java) S 23826 23829 21492 0 -1 1077944384 26658 12549 0 0 675 45 8 4 20 0 20 0 10728819 11261440000 575869 33554432000 4194304 4196468 140721046784640 140622767585520 140624018086530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23894] ppid=23826 vsize=10997500 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23894/stat : 23894 (java) S 23826 23829 21492 0 -1 1077944384 70 12549 0 0 0 0 8 4 20 0 20 0 10728819 11261440000 575869 33554432000 4194304 4196468 140721046784640 140622766531872 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23895] ppid=23826 vsize=10997500 CPUtime=0.13 cores=4-7,12-15
/proc/23829/task/23895/stat : 23895 (java) S 23826 23829 21492 0 -1 1077944384 58 12549 0 0 1 0 8 4 20 0 20 0 10728820 11261440000 575869 33554432000 4194304 4196468 140721046784640 140622765478656 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23896] ppid=23826 vsize=10997500 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23896/stat : 23896 (java) S 23826 23829 21492 0 -1 1077944384 1 12549 0 0 0 0 8 4 20 0 20 0 10728824 11261440000 575869 33554432000 4194304 4196468 140721046784640 140622764427216 140624018093979 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23897] ppid=23826 vsize=10997500 CPUtime=11.36 cores=4-7,12-15
/proc/23829/task/23897/stat : 23897 (java) S 23826 23829 21492 0 -1 1077944384 31048 12549 0 0 1116 8 8 4 20 0 20 0 10728824 11261440000 575869 33554432000 4194304 4196468 140721046784640 140622763375344 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23898] ppid=23826 vsize=10997500 CPUtime=11.72 cores=4-7,12-15
/proc/23829/task/23898/stat : 23898 (java) S 23826 23829 21492 0 -1 1077944384 42549 12549 0 0 1150 10 8 4 20 0 20 0 10728824 11261440000 575869 33554432000 4194304 4196468 140721046784640 140622762322800 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23899] ppid=23826 vsize=10997500 CPUtime=12.2 cores=4-7,12-15
/proc/23829/task/23899/stat : 23899 (java) S 23826 23829 21492 0 -1 1077944384 32821 12549 0 0 1198 10 8 4 20 0 20 0 10728824 11261440000 575869 33554432000 4194304 4196468 140721046784640 140622761269744 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23900] ppid=23826 vsize=10997500 CPUtime=4.84 cores=4-7,12-15
/proc/23829/task/23900/stat : 23900 (java) S 23826 23829 21492 0 -1 1077944384 47864 12549 0 0 463 9 8 4 20 0 20 0 10728824 11261440000 575869 33554432000 4194304 4196468 140721046784640 140622760217200 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23901] ppid=23826 vsize=10997500 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23901/stat : 23901 (java) S 23826 23829 21492 0 -1 1077944384 3 12549 0 0 0 0 8 4 20 0 20 0 10728824 11261440000 575869 33554432000 4194304 4196468 140721046784640 140622759164384 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23902] ppid=23826 vsize=10997500 CPUtime=1.37 cores=4-7,12-15
/proc/23829/task/23902/stat : 23902 (java) S 23826 23829 21492 0 -1 1077944384 2799 12549 0 0 54 71 8 4 20 0 20 0 10728824 11261440000 575869 33554432000 4194304 4196468 140721046784640 140622758111920 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
Current children cumulated CPU time (s) 2368.82
Current children cumulated vsize (KiB) 10997500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2292.6 s]
/proc/loadavg: 1.36 1.31 1.37 3/281 24112
/proc/meminfo: memFree=28743928/32770624 swapFree=5832/240996
[pid=23829] ppid=23826 vsize=10997500 CPUtime=2400.04 cores=4-7,12-15
/proc/23829/stat : 23829 (java) S 23826 23829 21492 0 -1 1077944320 399217 12549 0 0 239285 707 8 4 20 0 20 0 10728802 11261440000 575882 33554432000 4194304 4196468 140721046784640 140721046767184 140624018075383 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
/proc/23829/statm: 2749375 575882 3521 1 0 2736930 0
[pid=23829/tid=23884] ppid=23826 vsize=10997500 CPUtime=2270.76 cores=4-7,12-15
/proc/23829/task/23884/stat : 23884 (java) R 23826 23829 21492 0 -1 4202560 109965 12549 0 0 226996 68 8 4 20 0 20 0 10728815 11261440000 575882 33554432000 4194304 4196468 140721046784640 140624022308624 140623622511207 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23885] ppid=23826 vsize=10997500 CPUtime=10.23 cores=4-7,12-15
/proc/23829/task/23885/stat : 23885 (java) S 23826 23829 21492 0 -1 1077944384 14468 12549 0 0 941 70 8 4 20 0 20 0 10728816 11261440000 575882 33554432000 4194304 4196468 140721046784640 140623944149520 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23886] ppid=23826 vsize=10997500 CPUtime=10.2 cores=4-7,12-15
/proc/23829/task/23886/stat : 23886 (java) S 23826 23829 21492 0 -1 1077944384 9213 12549 0 0 943 65 8 4 20 0 20 0 10728816 11261440000 575882 33554432000 4194304 4196468 140721046784640 140623943096976 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23887] ppid=23826 vsize=10997500 CPUtime=10.23 cores=4-7,12-15
/proc/23829/task/23887/stat : 23887 (java) S 23826 23829 21492 0 -1 1077944384 12608 12549 0 0 942 69 8 4 20 0 20 0 10728816 11261440000 575882 33554432000 4194304 4196468 140721046784640 140623942043920 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23888] ppid=23826 vsize=10997500 CPUtime=10.26 cores=4-7,12-15
/proc/23829/task/23888/stat : 23888 (java) S 23826 23829 21492 0 -1 1077944384 14608 12549 0 0 943 71 8 4 20 0 20 0 10728816 11261440000 575882 33554432000 4194304 4196468 140721046784640 140623621384592 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23889] ppid=23826 vsize=10997500 CPUtime=10.2 cores=4-7,12-15
/proc/23829/task/23889/stat : 23889 (java) S 23826 23829 21492 0 -1 1077944384 10950 12549 0 0 943 65 8 4 20 0 20 0 10728816 11261440000 575882 33554432000 4194304 4196468 140721046784640 140623620332560 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23890] ppid=23826 vsize=10997500 CPUtime=10.29 cores=4-7,12-15
/proc/23829/task/23890/stat : 23890 (java) S 23826 23829 21492 0 -1 1077944384 15056 12549 0 0 951 66 8 4 20 0 20 0 10728816 11261440000 575882 33554432000 4194304 4196468 140721046784640 140623619280016 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23891] ppid=23826 vsize=10997500 CPUtime=10.21 cores=4-7,12-15
/proc/23829/task/23891/stat : 23891 (java) S 23826 23829 21492 0 -1 1077944384 13111 12549 0 0 941 68 8 4 20 0 20 0 10728816 11261440000 575882 33554432000 4194304 4196468 140721046784640 140623618226960 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23892] ppid=23826 vsize=10997500 CPUtime=10.25 cores=4-7,12-15
/proc/23829/task/23892/stat : 23892 (java) S 23826 23829 21492 0 -1 1077944384 13015 12549 0 0 945 68 8 4 20 0 20 0 10728816 11261440000 575882 33554432000 4194304 4196468 140721046784640 140623617174416 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23893] ppid=23826 vsize=10997500 CPUtime=7.41 cores=4-7,12-15
/proc/23829/task/23893/stat : 23893 (java) S 23826 23829 21492 0 -1 1077944384 26856 12549 0 0 683 46 8 4 20 0 20 0 10728819 11261440000 575882 33554432000 4194304 4196468 140721046784640 140622767585520 140624018086530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23894] ppid=23826 vsize=10997500 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23894/stat : 23894 (java) S 23826 23829 21492 0 -1 1077944384 70 12549 0 0 0 0 8 4 20 0 20 0 10728819 11261440000 575882 33554432000 4194304 4196468 140721046784640 140622766531872 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23895] ppid=23826 vsize=10997500 CPUtime=0.13 cores=4-7,12-15
/proc/23829/task/23895/stat : 23895 (java) S 23826 23829 21492 0 -1 1077944384 58 12549 0 0 1 0 8 4 20 0 20 0 10728820 11261440000 575882 33554432000 4194304 4196468 140721046784640 140622765478656 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23896] ppid=23826 vsize=10997500 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23896/stat : 23896 (java) S 23826 23829 21492 0 -1 1077944384 1 12549 0 0 0 0 8 4 20 0 20 0 10728824 11261440000 575882 33554432000 4194304 4196468 140721046784640 140622764427216 140624018093979 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23897] ppid=23826 vsize=10997500 CPUtime=11.36 cores=4-7,12-15
/proc/23829/task/23897/stat : 23897 (java) S 23826 23829 21492 0 -1 1077944384 31050 12549 0 0 1116 8 8 4 20 0 20 0 10728824 11261440000 575882 33554432000 4194304 4196468 140721046784640 140622763375344 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23898] ppid=23826 vsize=10997500 CPUtime=11.72 cores=4-7,12-15
/proc/23829/task/23898/stat : 23898 (java) S 23826 23829 21492 0 -1 1077944384 42551 12549 0 0 1150 10 8 4 20 0 20 0 10728824 11261440000 575882 33554432000 4194304 4196468 140721046784640 140622762322800 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23899] ppid=23826 vsize=10997500 CPUtime=12.2 cores=4-7,12-15
/proc/23829/task/23899/stat : 23899 (java) S 23826 23829 21492 0 -1 1077944384 32823 12549 0 0 1198 10 8 4 20 0 20 0 10728824 11261440000 575882 33554432000 4194304 4196468 140721046784640 140622761269744 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23900] ppid=23826 vsize=10997500 CPUtime=4.84 cores=4-7,12-15
/proc/23829/task/23900/stat : 23900 (java) S 23826 23829 21492 0 -1 1077944384 47866 12549 0 0 463 9 8 4 20 0 20 0 10728824 11261440000 575882 33554432000 4194304 4196468 140721046784640 140622760217200 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23901] ppid=23826 vsize=10997500 CPUtime=0.12 cores=4-7,12-15
/proc/23829/task/23901/stat : 23901 (java) S 23826 23829 21492 0 -1 1077944384 3 12549 0 0 0 0 8 4 20 0 20 0 10728824 11261440000 575882 33554432000 4194304 4196468 140721046784640 140622759164384 140624018085589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
[pid=23829/tid=23902] ppid=23826 vsize=10997500 CPUtime=1.38 cores=4-7,12-15
/proc/23829/task/23902/stat : 23902 (java) S 23826 23829 21492 0 -1 1077944384 2813 12549 0 0 54 72 8 4 20 0 20 0 10728824 11261440000 575882 33554432000 4194304 4196468 140721046784640 140622758111920 140624018086530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8830976 140721046792897 140721046795671 140721046795671 140721046798287 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10997500

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

Child status: 143
Real time (s): 2292.65
CPU time (s): 2400.11
CPU user time (s): 2392.98
CPU system time (s): 7.13472
CPU usage (%): 104.687
Max. virtual memory (cumulated for all children) (KiB): 10998236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.98
system time used= 7.13472
maximum resident set size= 2868380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 412882
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 305721
involuntary context switches= 182309

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.179 second user time and 19.7328 second system time

The end

Launcher Data 

Begin job on node144 at 2017-07-22 22:17:15
IDJOB=4249024
IDBENCH=135000
IDSOLVER=2630
FILE ID=node144/4249024-1500754635
RUNJOBID= node144-1500752272-21524
PBS_JOBID= 20624582
Free space on /tmp= 61992 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-ii8d2.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4249024-1500754635/watcher-4249024-1500754635 -o /tmp/evaluation-result-4249024-1500754635/solver-4249024-1500754635 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500752272-21524 --watchdog 2560  bin/concrete HOME/instance-4249024-1500754635.xml

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

MD5SUM BENCH= f6e5619a9394ff6fb9e35a49c1220c66
RANDOM SEED=151722202

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

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

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

processor	: 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		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29770528 kB
MemAvailable:   29999580 kB
Buffers:          149152 kB
Cached:           362440 kB
SwapCached:            0 kB
Active:          2318276 kB
Inactive:         248000 kB
Active(anon):    2057408 kB
Inactive(anon):     8712 kB
Active(file):     260868 kB
Inactive(file):   239288 kB
Unevictable:        5832 kB
Mlocked:            5832 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24788 kB
Writeback:            28 kB
AnonPages:       2060176 kB
Mapped:            44396 kB
Shmem:              8844 kB
Slab:             123816 kB
SReclaimable:      89460 kB
SUnreclaim:        34356 kB
KernelStack:        4560 kB
PageTables:         9276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2887060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1832960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 61968 MiB
End job on node144 at 2017-07-22 22:55:28