Trace number 4259632

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)561 259.948 240.047

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 benchmark561
Best CPU time to get the best result obtained on this benchmark259.948
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.42/2.22	c Concrete v3.4 running
17.07/7.00	o 930
17.39/7.17	o 929
18.00/7.32	o 928
18.29/7.43	o 927
18.58/7.52	o 926
18.79/7.62	o 925
18.97/7.71	o 924
18.97/7.80	o 923
19.13/7.88	o 922
19.26/7.96	o 921
19.37/8.05	o 920
19.49/8.14	o 919
19.73/8.23	o 918
19.91/8.30	o 917
19.91/8.38	o 916
20.08/8.47	o 915
20.36/8.55	o 914
20.51/8.63	o 913
20.62/8.70	o 912
20.62/8.78	o 911
20.73/8.86	o 910
20.92/8.95	o 909
21.03/9.02	o 908
21.14/9.10	o 907
21.14/9.18	o 906
21.24/9.25	o 905
21.34/9.33	o 904
21.46/9.40	o 903
21.46/9.47	o 902
21.56/9.54	o 901
21.66/9.61	o 900
21.66/9.69	o 899
21.77/9.76	o 898
21.87/9.84	o 897
21.99/9.91	o 896
21.99/9.99	o 895
22.08/10.06	o 894
22.20/10.14	o 893
22.30/10.21	o 892
22.30/10.29	o 891
22.41/10.37	o 890
22.51/10.45	o 889
22.61/10.52	o 888
22.61/10.59	o 887
22.72/10.67	o 886
22.82/10.74	o 885
22.92/10.81	o 884
22.92/10.89	o 883
23.02/10.96	o 882
23.15/11.03	o 881
23.25/11.11	o 880
23.25/11.19	o 879
23.35/11.27	o 878
23.50/11.34	o 877
23.60/11.41	o 876
23.60/11.49	o 875
23.71/11.56	o 874
23.81/11.63	o 873
23.90/11.70	o 872
23.90/11.77	o 871
24.01/11.84	o 870
24.11/11.91	o 869
24.11/11.98	o 868
24.22/12.06	o 867
24.33/12.13	o 866
24.44/12.21	o 865
24.44/12.28	o 864
24.55/12.36	o 863
24.65/12.44	o 862
24.74/12.51	o 861
24.74/12.59	o 860
24.85/12.67	o 859
24.98/12.75	o 858
25.08/12.82	o 857
25.08/12.89	o 856
25.18/12.97	o 855
25.28/13.04	o 854
25.38/13.11	o 853
25.38/13.18	o 852
25.50/13.26	o 851
25.60/13.33	o 850
25.70/13.41	o 849
25.70/13.48	o 848
25.80/13.55	o 847
25.91/13.62	o 846
26.01/13.70	o 845
26.01/13.77	o 844
26.11/13.85	o 843
26.21/13.92	o 842
26.21/13.99	o 841
26.32/14.07	o 840
26.42/14.15	o 839
26.54/14.22	o 838
26.54/14.29	o 837
26.64/14.37	o 836
26.75/14.44	o 835
26.85/14.51	o 834
26.85/14.58	o 833
26.95/14.65	o 832
27.07/14.72	o 831
27.19/14.80	o 830
27.19/14.88	o 829
27.30/14.95	o 828
27.40/15.03	o 827
27.50/15.11	o 826
27.50/15.19	o 825
27.61/15.26	o 824
27.72/15.34	o 823
27.83/15.42	o 822
27.83/15.49	o 821
27.96/15.57	o 820
28.06/15.64	o 819
28.17/15.72	o 818
28.27/15.80	o 817
28.27/15.89	o 816
28.38/15.96	o 815
28.49/16.04	o 814
28.59/16.11	o 813
28.59/16.19	o 812
28.74/16.27	o 811
28.88/16.34	o 810
28.99/16.41	o 809
28.99/16.48	o 808
29.11/16.55	o 807
29.21/16.62	o 806
29.21/16.69	o 805
29.31/16.76	o 804
29.42/16.83	o 803
29.42/16.90	o 802
29.53/16.96	o 801
29.63/17.03	o 800
29.73/17.10	o 799
29.73/17.17	o 798
29.83/17.23	o 797
29.94/17.30	o 796
29.94/17.37	o 795
30.04/17.44	o 794
30.15/17.51	o 793
30.15/17.58	o 792
30.27/17.65	o 791
30.36/17.72	o 790
30.36/17.79	o 789
30.46/17.86	o 788
30.56/17.93	o 787
30.67/18.00	o 786
30.67/18.07	o 785
30.77/18.14	o 784
30.87/18.21	o 783
30.87/18.27	o 782
30.97/18.34	o 781
31.08/18.41	o 780
31.08/18.48	o 779
31.18/18.55	o 778
31.28/18.61	o 777
31.28/18.68	o 776
31.39/18.75	o 775
31.50/18.82	o 774
31.50/18.89	o 773
31.59/18.96	o 772
31.69/19.03	o 771
31.79/19.10	o 770
31.79/19.17	o 769
31.90/19.25	o 768
32.02/19.32	o 767
32.02/19.39	o 766
32.12/19.46	o 765
32.22/19.52	o 764
32.22/19.59	o 763
32.33/19.66	o 762
32.44/19.73	o 761
32.44/19.79	o 760
32.55/19.86	o 759
32.65/19.93	o 758
32.65/20.00	o 757
32.74/20.06	o 756
32.85/20.13	o 755
32.96/20.20	o 754
32.96/20.26	o 753
33.06/20.33	o 752
33.15/20.40	o 751
33.15/20.47	o 750
33.27/20.53	o 749
33.37/20.60	o 748
33.37/20.67	o 747
33.47/20.74	o 746
33.57/20.80	o 745
33.57/20.87	o 744
33.73/20.94	o 743
33.83/21.00	o 742
33.83/21.08	o 741
33.95/21.15	o 740
34.05/21.22	o 739
34.05/21.28	o 738
34.17/21.35	o 737
34.27/21.42	o 736
34.27/21.48	o 735
34.36/21.55	o 734
34.46/21.62	o 733
34.46/21.68	o 732
34.58/21.75	o 731
34.68/21.81	o 730
34.68/21.88	o 729
34.78/21.95	o 728
34.88/22.02	o 727
34.88/22.08	o 726
35.03/22.15	o 725
35.12/22.22	o 724
35.12/22.28	o 723
35.22/22.35	o 722
35.32/22.41	o 721
35.32/22.48	o 720
35.43/22.54	o 719
35.53/22.61	o 718
35.53/22.67	o 717
35.63/22.73	o 716
35.73/22.80	o 715
35.73/22.87	o 714
35.85/22.94	o 713
35.95/23.01	o 712
35.95/23.08	o 711
36.08/23.15	o 710
36.18/23.21	o 709
36.18/23.28	o 708
36.28/23.34	o 707
36.38/23.41	o 706
36.38/23.47	o 705
36.48/23.53	o 704
36.59/23.60	o 703
36.59/23.67	o 702
36.69/23.73	o 701
36.69/23.79	o 700
36.79/23.86	o 699
36.90/23.92	o 698
36.90/23.99	o 697
37.00/24.05	o 696
37.10/24.12	o 695
37.10/24.18	o 694
37.21/24.25	o 693
37.32/24.31	o 692
37.32/24.38	o 691
37.41/24.44	o 690
37.51/24.50	o 689
37.51/24.57	o 688
37.61/24.63	o 687
37.72/24.70	o 686
37.72/24.76	o 685
37.82/24.83	o 684
37.82/24.89	o 683
37.92/24.96	o 682
38.06/25.03	o 681
38.06/25.09	o 680
38.17/25.15	o 679
38.27/25.22	o 678
38.27/25.28	o 677
38.38/25.35	o 676
38.50/25.41	o 675
38.50/25.48	o 674
38.60/25.55	o 673
38.70/25.61	o 672
38.70/25.67	o 671
38.80/25.74	o 670
38.91/25.80	o 669
38.91/25.87	o 668
39.01/25.93	o 667
39.01/25.99	o 666
39.11/26.06	o 665
39.21/26.12	o 664
39.21/26.18	o 663
39.32/26.24	o 662
39.42/26.31	o 661
39.42/26.37	o 660
39.52/26.43	o 659
39.52/26.50	o 658
39.63/26.56	o 657
39.73/26.62	o 656
39.73/26.68	o 655
39.83/26.74	o 654
39.93/26.81	o 653
39.93/26.87	o 652
40.04/26.94	o 651
40.15/27.00	o 650
40.15/27.06	o 649
40.26/27.13	o 648
40.26/27.19	o 647
40.36/27.25	o 646
40.47/27.31	o 645
40.47/27.36	o 644
40.57/27.42	o 643
40.57/27.48	o 642
40.68/27.53	o 641
40.80/27.60	o 640
40.80/27.67	o 639
40.90/27.74	o 638
41.00/27.83	o 637
41.10/27.91	o 636
41.10/27.99	o 635
41.21/28.07	o 634
41.31/28.15	o 633
41.41/28.22	o 632
41.41/28.29	o 631
41.52/28.37	o 630
41.62/28.44	o 629
41.72/28.50	o 628
41.72/28.55	o 627
41.97/28.78	o 626
42.07/28.86	o 625
42.18/28.95	o 624
42.28/29.03	o 623
42.38/29.12	o 622
42.48/29.20	o 621
42.61/29.30	o 620
42.61/29.38	o 619
42.71/29.47	o 618
42.81/29.56	o 617
42.93/29.64	o 616
43.03/29.73	o 615
43.13/29.81	o 614
43.13/29.89	o 613
43.23/29.97	o 612
43.34/30.05	o 611
43.44/30.14	o 610
43.54/30.22	o 609
43.65/30.30	o 608
43.65/30.37	o 607
43.75/30.44	o 606
43.85/30.51	o 605
43.85/30.58	o 604
44.60/31.27	o 603
44.72/31.36	o 602
44.82/31.43	o 601
44.92/31.52	o 600
44.92/31.59	o 599
45.03/31.65	o 598
45.13/31.72	o 597
54.88/40.90	o 596
54.88/40.98	o 595
54.98/41.07	o 594
55.08/41.15	o 593
55.19/41.24	o 592
55.29/41.32	o 591
55.39/41.40	o 590
55.39/41.46	o 589
55.49/41.51	o 588
55.49/41.57	o 587
58.64/44.52	o 586
58.75/44.60	o 585
58.75/44.69	o 584
58.85/44.78	o 583
58.95/44.85	o 582
59.05/44.92	o 581
59.16/45.01	o 580
59.16/45.10	o 579
59.26/45.19	o 578
59.36/45.27	o 577
59.46/45.36	o 576
59.57/45.45	o 575
59.67/45.53	o 574
59.77/45.62	o 573
59.88/45.71	o 572
59.98/45.80	o 571
59.98/45.88	o 570
60.08/45.97	o 569
60.19/46.06	o 568
60.29/46.13	o 567
60.40/46.21	o 566
60.40/46.29	o 565
60.50/46.38	o 564
60.61/46.45	o 563
60.71/46.51	o 562
60.71/46.56	o 561
259.89/240.00	java.util.concurrent.TimeoutException
259.89/240.01		at concrete.MAC.mac(MAC.scala:74)
259.89/240.01		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
259.89/240.01		at scala.util.Try$.apply(Try.scala:209)
259.89/240.01		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
259.89/240.01		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
259.89/240.01		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
259.89/240.01		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
259.89/240.01		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
259.89/240.01		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
259.89/240.01		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
259.89/240.01		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
259.89/240.01		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
259.89/240.01		at concrete.MAC.oneRun(MAC.scala:146)
259.89/240.01		at concrete.MAC.nextSolution(MAC.scala:166)
259.89/240.01		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
259.89/240.01		at concrete.ProblemState.map(ProblemState.scala:203)
259.89/240.01		at concrete.ProblemState.map(ProblemState.scala:188)
259.89/240.01		at concrete.MAC.nextSolution(MAC.scala:195)
259.89/240.01		at concrete.Solver.hasNext(Solver.scala:202)
259.89/240.01		at scala.collection.Iterator.toStream(Iterator.scala:1403)
259.89/240.01		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
259.89/240.01		at concrete.Solver.toStream(Solver.scala:73)
259.89/240.01		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
259.89/240.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
259.89/240.01		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
259.89/240.01		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
259.89/240.01		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
259.89/240.01		at scala.util.Success.$anonfun$map$1(Try.scala:251)
259.89/240.01		at scala.util.Success.map(Try.scala:209)
259.89/240.01		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
259.89/240.01		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
259.89/240.01		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
259.89/240.01		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
259.89/240.01		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
259.89/240.01		at scala.Function0.apply$mcV$sp(Function0.scala:34)
259.89/240.01		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
259.89/240.01		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
259.89/240.01		at scala.App.$anonfun$main$1$adapted(App.scala:76)
259.89/240.01		at scala.collection.immutable.List.foreach(List.scala:389)
259.89/240.01		at scala.App.main(App.scala:76)
259.89/240.01		at scala.App.main$(App.scala:74)
259.89/240.01		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
259.89/240.01		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
259.89/240.01	v <instantiation cost="561">
259.89/240.01	v       <list>
259.89/240.01	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]
259.89/240.01	v       </list>
259.89/240.01	v       <values>
259.89/240.01	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
259.89/240.01	v       </values>
259.89/240.01	v     </instantiation>
259.89/240.01	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-4259632-1501657538/watcher-4259632-1501657538 -o /tmp/evaluation-result-4259632-1501657538/solver-4259632-1501657538 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501653519-11655 --watchdog 300 bin/concrete HOME/instance-4259632-1501657538.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.44 1.64 1.65 2/200 16479
/proc/meminfo: memFree=30437580/32770624 swapFree=0/240720
[pid=16479] ppid=16476 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/16479/stat : 16479 (runsolver) D 16476 16479 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 13569154 24240128 108 18446744073709551615 4194304 4338465 140725275893152 140725275890792 140377492931287 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 19222528 140725275902160 140725275902534 140725275902534 140725275905994 0
/proc/16479/statm: 5918 108 54 36 0 2156 0

[startup+0.100153 s]
/proc/loadavg: 1.44 1.64 1.65 2/200 16479
/proc/meminfo: memFree=30437580/32770624 swapFree=0/240720
[pid=16479] ppid=16476 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/16479/stat : 16479 (bash) S 16476 16479 5228 0 -1 4202496 889 6484 0 0 0 0 0 1 20 0 1 0 13569154 9867264 376 18446744073709551615 4194304 5098028 140722503220416 140722503214424 140460153383936 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 6 0 0 7196144 7232144 14790656 140722503225873 140722503225958 140722503225958 140722503229418 0
/proc/16479/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200319 s]
/proc/loadavg: 1.44 1.64 1.65 2/200 16479
/proc/meminfo: memFree=30437580/32770624 swapFree=0/240720
[pid=16479] ppid=16476 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/16479/stat : 16479 (bash) S 16476 16479 5228 0 -1 4202496 889 6484 0 0 0 0 0 1 20 0 1 0 13569154 9867264 376 18446744073709551615 4194304 5098028 140722503220416 140722503214424 140460153383936 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 6 0 0 7196144 7232144 14790656 140722503225873 140722503225958 140722503225958 140722503229418 0
/proc/16479/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300321 s]
/proc/loadavg: 1.44 1.64 1.65 2/200 16479
/proc/meminfo: memFree=30437580/32770624 swapFree=0/240720
[pid=16479] ppid=16476 vsize=13907308 CPUtime=0.14 cores=0,2,4,6
/proc/16479/stat : 16479 (java) S 16476 16479 5228 0 -1 1077944320 5816 12642 0 0 5 1 5 3 20 0 14 0 13569154 14241083392 6006 18446744073709551615 4194304 4196468 140735288818528 140735288801072 139843180744439 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
/proc/16479/statm: 3476827 6006 2554 1 0 3466332 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.702556 s]
/proc/loadavg: 1.44 1.64 1.65 2/200 16479
/proc/meminfo: memFree=30437580/32770624 swapFree=0/240720
[pid=16479] ppid=16476 vsize=13974784 CPUtime=0.65 cores=0,2,4,6
/proc/16479/stat : 16479 (java) S 16476 16479 5228 0 -1 1077944320 13868 12642 0 0 52 5 5 3 20 0 15 0 13569154 14310178816 14840 18446744073709551615 4194304 4196468 140735288818528 140735288801072 139843180744439 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
/proc/16479/statm: 3493696 14840 3101 1 0 3482973 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 13974784

[startup+1.50063 s]
/proc/loadavg: 1.48 1.65 1.65 3/215 16542
/proc/meminfo: memFree=30344216/32770624 swapFree=0/241460
[pid=16479] ppid=16476 vsize=13985408 CPUtime=1.84 cores=0,2,4,6
/proc/16479/stat : 16479 (java) S 16476 16479 5228 0 -1 1077944320 25487 12642 0 0 168 8 5 3 20 0 15 0 13569154 14321057792 34507 18446744073709551615 4194304 4196468 140735288818528 140735288801072 139843180744439 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
/proc/16479/statm: 3496352 34507 3333 1 0 3485533 0
[pid=16479/tid=16529] ppid=16476 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/16479/task/16529/stat : 16529 (java) R 16476 16479 5228 0 -1 4202560 20363 12642 0 0 115 6 5 3 20 0 15 0 13569176 14321057792 34507 18446744073709551615 4194304 4196468 140735288818528 139843184968448 139843164090074 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16530] ppid=16476 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16530/stat : 16530 (java) S 16476 16479 5228 0 -1 1077944384 1 12642 0 0 0 0 5 3 20 0 15 0 13569176 14321057792 34507 18446744073709551615 4194304 4196468 140735288818528 139843137710352 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16531] ppid=16476 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16531/stat : 16531 (java) S 16476 16479 5228 0 -1 1077944384 1 12642 0 0 0 0 5 3 20 0 15 0 13569176 14321057792 34507 18446744073709551615 4194304 4196468 140735288818528 139843136657808 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16532] ppid=16476 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16532/stat : 16532 (java) S 16476 16479 5228 0 -1 1077944384 1 12642 0 0 0 0 5 3 20 0 15 0 13569176 14321057792 34507 18446744073709551615 4194304 4196468 140735288818528 139843135605264 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16533] ppid=16476 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16533/stat : 16533 (java) S 16476 16479 5228 0 -1 1077944384 2 12642 0 0 0 0 5 3 20 0 15 0 13569177 14321057792 34507 18446744073709551615 4194304 4196468 140735288818528 139843134552720 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16534] ppid=16476 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16534/stat : 16534 (java) S 16476 16479 5228 0 -1 1077944384 5 12642 0 0 0 0 5 3 20 0 15 0 13569178 14321057792 34507 18446744073709551615 4194304 4196468 140735288818528 139842096982512 139843180755586 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16535] ppid=16476 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16535/stat : 16535 (java) S 16476 16479 5228 0 -1 1077944384 33 12642 0 0 0 0 5 3 20 0 15 0 13569178 14321057792 34507 18446744073709551615 4194304 4196468 140735288818528 139842095928736 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16536] ppid=16476 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16536/stat : 16536 (java) S 16476 16479 5228 0 -1 1077944384 21 12642 0 0 0 0 5 3 20 0 15 0 13569179 14321057792 34507 18446744073709551615 4194304 4196468 140735288818528 139842094876144 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16537] ppid=16476 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16537/stat : 16537 (java) S 16476 16479 5228 0 -1 1077944384 3 12642 0 0 0 0 5 3 20 0 15 0 13569181 14321057792 34507 18446744073709551615 4194304 4196468 140735288818528 139842093824720 139843180763035 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16538] ppid=16476 vsize=13985408 CPUtime=0.25 cores=0,2,4,6
/proc/16479/task/16538/stat : 16538 (java) S 16476 16479 5228 0 -1 1077944384 1123 12642 0 0 17 0 5 3 20 0 15 0 13569181 14321057792 34507 18446744073709551615 4194304 4196468 140735288818528 139842092771312 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16539] ppid=16476 vsize=13985408 CPUtime=0.2 cores=0,2,4,6
/proc/16479/task/16539/stat : 16539 (java) S 16476 16479 5228 0 -1 1077944384 530 12642 0 0 12 0 5 3 20 0 15 0 13569181 14321057792 34507 18446744073709551615 4194304 4196468 140735288818528 139842091718768 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16540] ppid=16476 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/16479/task/16540/stat : 16540 (java) S 16476 16479 5228 0 -1 1077944384 1249 12642 0 0 22 0 5 3 20 0 15 0 13569181 14321057792 34507 18446744073709551615 4194304 4196468 140735288818528 139842090666224 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16541] ppid=16476 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16541/stat : 16541 (java) S 16476 16479 5228 0 -1 1077944384 3 12642 0 0 0 0 5 3 20 0 15 0 13569181 14321057792 34507 18446744073709551615 4194304 4196468 140735288818528 139842089613920 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16542] ppid=16476 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16542/stat : 16542 (java) S 16476 16479 5228 0 -1 1077944384 3 12642 0 0 0 0 5 3 20 0 15 0 13569187 14321057792 34507 18446744073709551615 4194304 4196468 140735288818528 139842088561456 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 13985408

[startup+3.10154 s]
/proc/loadavg: 1.48 1.65 1.65 7/215 16542
/proc/meminfo: memFree=30266036/32770624 swapFree=0/241460
[pid=16479] ppid=16476 vsize=13995836 CPUtime=6.04 cores=0,2,4,6
/proc/16479/stat : 16479 (java) S 16476 16479 5228 0 -1 1077944320 34608 12642 0 0 582 14 5 3 20 0 15 0 13569154 14331736064 59623 18446744073709551615 4194304 4196468 140735288818528 140735288801072 139843180744439 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
/proc/16479/statm: 3498959 59623 3438 1 0 3487581 0
[pid=16479/tid=16529] ppid=16476 vsize=13995836 CPUtime=2.85 cores=0,2,4,6
/proc/16479/task/16529/stat : 16529 (java) R 16476 16479 5228 0 -1 4202560 23766 12642 0 0 269 8 5 3 20 0 15 0 13569176 14331736064 59623 18446744073709551615 4194304 4196468 140735288818528 139843184976184 139842818455839 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16530] ppid=16476 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16530/stat : 16530 (java) S 16476 16479 5228 0 -1 1077944384 39 12642 0 0 0 0 5 3 20 0 15 0 13569176 14331736064 59623 18446744073709551615 4194304 4196468 140735288818528 139843137710352 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16531] ppid=16476 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/16479/task/16531/stat : 16531 (java) S 16476 16479 5228 0 -1 1077944384 32 12642 0 0 1 0 5 3 20 0 15 0 13569176 14331736064 59623 18446744073709551615 4194304 4196468 140735288818528 139843136657808 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16532] ppid=16476 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/16479/task/16532/stat : 16532 (java) S 16476 16479 5228 0 -1 1077944384 180 12642 0 0 1 0 5 3 20 0 15 0 13569176 14331736064 59623 18446744073709551615 4194304 4196468 140735288818528 139843135605264 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16533] ppid=16476 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/16479/task/16533/stat : 16533 (java) S 16476 16479 5228 0 -1 1077944384 45 12642 0 0 1 0 5 3 20 0 15 0 13569177 14331736064 59623 18446744073709551615 4194304 4196468 140735288818528 139843134552720 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16534] ppid=16476 vsize=13995836 CPUtime=0.09 cores=0,2,4,6
/proc/16479/task/16534/stat : 16534 (java) S 16476 16479 5228 0 -1 1077944384 640 12642 0 0 1 0 5 3 20 0 15 0 13569178 14331736064 59623 18446744073709551615 4194304 4196468 140735288818528 139842096982512 139843180755586 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16535] ppid=16476 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16535/stat : 16535 (java) S 16476 16479 5228 0 -1 1077944384 54 12642 0 0 0 0 5 3 20 0 15 0 13569178 14331736064 59623 18446744073709551615 4194304 4196468 140735288818528 139842095928736 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16536] ppid=16476 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16536/stat : 16536 (java) S 16476 16479 5228 0 -1 1077944384 44 12642 0 0 0 0 5 3 20 0 15 0 13569179 14331736064 59623 18446744073709551615 4194304 4196468 140735288818528 139842094876160 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16537] ppid=16476 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16537/stat : 16537 (java) S 16476 16479 5228 0 -1 1077944384 3 12642 0 0 0 0 5 3 20 0 15 0 13569181 14331736064 59623 18446744073709551615 4194304 4196468 140735288818528 139842093824720 139843180763035 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16538] ppid=16476 vsize=13995836 CPUtime=1.19 cores=0,2,4,6
/proc/16479/task/16538/stat : 16538 (java) R 16476 16479 5228 0 -1 4202560 3040 12642 0 0 111 0 5 3 20 0 15 0 13569181 14331736064 59623 18446744073709551615 4194304 4196468 140735288818528 139842092771312 139843164650128 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16539] ppid=16476 vsize=13995836 CPUtime=0.97 cores=0,2,4,6
/proc/16479/task/16539/stat : 16539 (java) R 16476 16479 5228 0 -1 4202560 1369 12642 0 0 89 0 5 3 20 0 15 0 13569181 14331736064 59623 18446744073709551615 4194304 4196468 140735288818528 139842091718768 139843165850531 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16540] ppid=16476 vsize=13995836 CPUtime=1.14 cores=0,2,4,6
/proc/16479/task/16540/stat : 16540 (java) S 16476 16479 5228 0 -1 1077944384 3241 12642 0 0 104 2 5 3 20 0 15 0 13569181 14331736064 59623 18446744073709551615 4194304 4196468 140735288818528 139842090666224 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16541] ppid=16476 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16541/stat : 16541 (java) S 16476 16479 5228 0 -1 1077944384 3 12642 0 0 0 0 5 3 20 0 15 0 13569181 14331736064 59623 18446744073709551615 4194304 4196468 140735288818528 139842089613920 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16542] ppid=16476 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16542/stat : 16542 (java) S 16476 16479 5228 0 -1 1077944384 3 12642 0 0 0 0 5 3 20 0 15 0 13569187 14331736064 59623 18446744073709551615 4194304 4196468 140735288818528 139842088561456 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 13995836

[startup+6.30475 s]
/proc/loadavg: 1.48 1.65 1.65 5/215 16542
/proc/meminfo: memFree=30117764/32770624 swapFree=0/241472
[pid=16479] ppid=16476 vsize=14067516 CPUtime=14.9 cores=0,2,4,6
/proc/16479/stat : 16479 (java) S 16476 16479 5228 0 -1 1077944320 66563 12642 0 0 1453 29 5 3 20 0 15 0 13569154 14405136384 106064 18446744073709551615 4194304 4196468 140735288818528 140735288801072 139843180744439 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
/proc/16479/statm: 3516879 106064 3470 1 0 3505501 0
[pid=16479/tid=16529] ppid=16476 vsize=14067516 CPUtime=5.87 cores=0,2,4,6
/proc/16479/task/16529/stat : 16529 (java) R 16476 16479 5228 0 -1 4202560 38483 12642 0 0 568 11 5 3 20 0 15 0 13569176 14405136384 106064 18446744073709551615 4194304 4196468 140735288818528 139843184975904 139842827573451 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16530] ppid=16476 vsize=14067516 CPUtime=0.2 cores=0,2,4,6
/proc/16479/task/16530/stat : 16530 (java) S 16476 16479 5228 0 -1 1077944384 108 12642 0 0 11 1 5 3 20 0 15 0 13569176 14405136384 106064 18446744073709551615 4194304 4196468 140735288818528 139843137710352 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16531] ppid=16476 vsize=14067516 CPUtime=0.21 cores=0,2,4,6
/proc/16479/task/16531/stat : 16531 (java) S 16476 16479 5228 0 -1 1077944384 84 12642 0 0 12 1 5 3 20 0 15 0 13569176 14405136384 106064 18446744073709551615 4194304 4196468 140735288818528 139843136657808 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16532] ppid=16476 vsize=14067516 CPUtime=0.2 cores=0,2,4,6
/proc/16479/task/16532/stat : 16532 (java) S 16476 16479 5228 0 -1 1077944384 372 12642 0 0 11 1 5 3 20 0 15 0 13569176 14405136384 106064 18446744073709551615 4194304 4196468 140735288818528 139843135605264 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16533] ppid=16476 vsize=14067516 CPUtime=0.21 cores=0,2,4,6
/proc/16479/task/16533/stat : 16533 (java) S 16476 16479 5228 0 -1 1077944384 128 12642 0 0 12 1 5 3 20 0 15 0 13569177 14405136384 106064 18446744073709551615 4194304 4196468 140735288818528 139843134552720 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16534] ppid=16476 vsize=14067516 CPUtime=0.12 cores=0,2,4,6
/proc/16479/task/16534/stat : 16534 (java) S 16476 16479 5228 0 -1 1077944384 2167 12642 0 0 4 0 5 3 20 0 15 0 13569178 14405136384 106064 18446744073709551615 4194304 4196468 140735288818528 139842096982512 139843180755586 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16535] ppid=16476 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16535/stat : 16535 (java) S 16476 16479 5228 0 -1 1077944384 54 12642 0 0 0 0 5 3 20 0 15 0 13569178 14405136384 106064 18446744073709551615 4194304 4196468 140735288818528 139842095928800 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16536] ppid=16476 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16536/stat : 16536 (java) S 16476 16479 5228 0 -1 1077944384 44 12642 0 0 0 0 5 3 20 0 15 0 13569179 14405136384 106064 18446744073709551615 4194304 4196468 140735288818528 139842094876160 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16537] ppid=16476 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16537/stat : 16537 (java) S 16476 16479 5228 0 -1 1077944384 3 12642 0 0 0 0 5 3 20 0 15 0 13569181 14405136384 106064 18446744073709551615 4194304 4196468 140735288818528 139842093824720 139843180763035 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16538] ppid=16476 vsize=14067516 CPUtime=3.46 cores=0,2,4,6
/proc/16479/task/16538/stat : 16538 (java) R 16476 16479 5228 0 -1 4202560 9657 12642 0 0 334 4 5 3 20 0 15 0 13569181 14405136384 106064 18446744073709551615 4194304 4196468 140735288818528 139842092752328 139843162265618 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16539] ppid=16476 vsize=14067516 CPUtime=3.18 cores=0,2,4,6
/proc/16479/task/16539/stat : 16539 (java) R 16476 16479 5228 0 -1 1077944384 6247 12642 0 0 309 1 5 3 20 0 15 0 13569181 14405136384 106064 18446744073709551615 4194304 4196468 140735288818528 139842091708480 139843180754645 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16540] ppid=16476 vsize=14067516 CPUtime=1.97 cores=0,2,4,6
/proc/16479/task/16540/stat : 16540 (java) R 16476 16479 5228 0 -1 4202560 6926 12642 0 0 186 3 5 3 20 0 15 0 13569181 14405136384 106064 18446744073709551615 4194304 4196468 140735288818528 139842090666224 139843180756374 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16541] ppid=16476 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16541/stat : 16541 (java) S 16476 16479 5228 0 -1 1077944384 3 12642 0 0 0 0 5 3 20 0 15 0 13569181 14405136384 106064 18446744073709551615 4194304 4196468 140735288818528 139842089613920 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16542] ppid=16476 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16542/stat : 16542 (java) S 16476 16479 5228 0 -1 1077944384 138 12642 0 0 0 0 5 3 20 0 15 0 13569187 14405136384 106064 18446744073709551615 4194304 4196468 140735288818528 139842088561456 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
Current children cumulated CPU time (s) 14.9
Current children cumulated vsize (KiB) 14067516

[startup+12.7006 s]
/proc/loadavg: 1.48 1.64 1.65 3/215 16542
/proc/meminfo: memFree=29808600/32770624 swapFree=0/241480
[pid=16479] ppid=16476 vsize=14067516 CPUtime=24.98 cores=0,2,4,6
/proc/16479/stat : 16479 (java) S 16476 16479 5228 0 -1 1077944320 78597 12642 0 0 2449 41 5 3 20 0 15 0 13569154 14405136384 182224 18446744073709551615 4194304 4196468 140735288818528 140735288801072 139843180744439 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
/proc/16479/statm: 3516879 182224 3475 1 0 3505501 0
[pid=16479/tid=16529] ppid=16476 vsize=14067516 CPUtime=11.88 cores=0,2,4,6
/proc/16479/task/16529/stat : 16529 (java) R 16476 16479 5228 0 -1 4202560 40782 12642 0 0 1165 15 5 3 20 0 15 0 13569176 14405136384 182224 18446744073709551615 4194304 4196468 140735288818528 139843184978512 139842827929841 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16530] ppid=16476 vsize=14067516 CPUtime=0.42 cores=0,2,4,6
/proc/16479/task/16530/stat : 16530 (java) S 16476 16479 5228 0 -1 1077944384 991 12642 0 0 31 3 5 3 20 0 15 0 13569176 14405136384 182224 18446744073709551615 4194304 4196468 140735288818528 139843137710352 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16531] ppid=16476 vsize=14067516 CPUtime=0.42 cores=0,2,4,6
/proc/16479/task/16531/stat : 16531 (java) S 16476 16479 5228 0 -1 1077944384 157 12642 0 0 31 3 5 3 20 0 15 0 13569176 14405136384 182224 18446744073709551615 4194304 4196468 140735288818528 139843136657808 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16532] ppid=16476 vsize=14067516 CPUtime=0.47 cores=0,2,4,6
/proc/16479/task/16532/stat : 16532 (java) S 16476 16479 5228 0 -1 1077944384 452 12642 0 0 36 3 5 3 20 0 15 0 13569176 14405136384 182224 18446744073709551615 4194304 4196468 140735288818528 139843135605264 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16533] ppid=16476 vsize=14067516 CPUtime=0.45 cores=0,2,4,6
/proc/16479/task/16533/stat : 16533 (java) S 16476 16479 5228 0 -1 1077944384 665 12642 0 0 34 3 5 3 20 0 15 0 13569177 14405136384 182224 18446744073709551615 4194304 4196468 140735288818528 139843134552720 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16534] ppid=16476 vsize=14067516 CPUtime=0.22 cores=0,2,4,6
/proc/16479/task/16534/stat : 16534 (java) S 16476 16479 5228 0 -1 1077944384 2598 12642 0 0 14 0 5 3 20 0 15 0 13569178 14405136384 182224 18446744073709551615 4194304 4196468 140735288818528 139842096982512 139843180755586 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16535] ppid=16476 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16535/stat : 16535 (java) S 16476 16479 5228 0 -1 1077944384 62 12642 0 0 0 0 5 3 20 0 15 0 13569178 14405136384 182224 18446744073709551615 4194304 4196468 140735288818528 139842095928800 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16536] ppid=16476 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16536/stat : 16536 (java) S 16476 16479 5228 0 -1 1077944384 45 12642 0 0 0 0 5 3 20 0 15 0 13569179 14405136384 182224 18446744073709551615 4194304 4196468 140735288818528 139842094876160 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16537] ppid=16476 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16537/stat : 16537 (java) S 16476 16479 5228 0 -1 1077944384 3 12642 0 0 0 0 5 3 20 0 15 0 13569181 14405136384 182224 18446744073709551615 4194304 4196468 140735288818528 139842093824720 139843180763035 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0

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

/proc/16479/task/16541/stat : 16541 (java) S 16476 16479 5228 0 -1 1077944384 3 12642 0 0 0 0 5 3 20 0 15 0 13569181 14407233536 420768 18446744073709551615 4194304 4196468 140735288818528 139842089613920 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16542] ppid=16476 vsize=14069564 CPUtime=0.1 cores=0,2,4,6
/proc/16479/task/16542/stat : 16542 (java) S 16476 16479 5228 0 -1 1077944384 896 12642 0 0 1 1 5 3 20 0 15 0 13569187 14407233536 420768 18446744073709551615 4194304 4196468 140735288818528 139842088561456 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
Current children cumulated CPU time (s) 65.49
Current children cumulated vsize (KiB) 14069564

[startup+102.301 s]
/proc/loadavg: 1.59 1.63 1.65 3/214 16545
/proc/meminfo: memFree=28522128/32770624 swapFree=0/241520
[pid=16479] ppid=16476 vsize=14069564 CPUtime=118.38 cores=0,2,4,6
/proc/16479/stat : 16479 (java) S 16476 16479 5228 0 -1 1077944320 117733 12642 0 0 11716 114 5 3 20 0 15 0 13569154 14407233536 556582 18446744073709551615 4194304 4196468 140735288818528 140735288801072 139843180744439 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
/proc/16479/statm: 3517391 556582 3480 1 0 3506013 0
[pid=16479/tid=16529] ppid=16476 vsize=14069564 CPUtime=101.1 cores=0,2,4,6
/proc/16479/task/16529/stat : 16529 (java) R 16476 16479 5228 0 -1 4202560 52033 12642 0 0 10069 33 5 3 20 0 15 0 13569176 14407233536 556582 18446744073709551615 4194304 4196468 140735288818528 139843184977432 139842810878278 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16530] ppid=16476 vsize=14069564 CPUtime=0.73 cores=0,2,4,6
/proc/16479/task/16530/stat : 16530 (java) S 16476 16479 5228 0 -1 1077944384 2295 12642 0 0 49 16 5 3 20 0 15 0 13569176 14407233536 556582 18446744073709551615 4194304 4196468 140735288818528 139843137710352 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16531] ppid=16476 vsize=14069564 CPUtime=0.72 cores=0,2,4,6
/proc/16479/task/16531/stat : 16531 (java) S 16476 16479 5228 0 -1 1077944384 830 12642 0 0 49 15 5 3 20 0 15 0 13569176 14407233536 556582 18446744073709551615 4194304 4196468 140735288818528 139843136657808 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16532] ppid=16476 vsize=14069564 CPUtime=0.77 cores=0,2,4,6
/proc/16479/task/16532/stat : 16532 (java) S 16476 16479 5228 0 -1 1077944384 1741 12642 0 0 53 16 5 3 20 0 15 0 13569176 14407233536 556582 18446744073709551615 4194304 4196468 140735288818528 139843135605264 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16533] ppid=16476 vsize=14069564 CPUtime=0.75 cores=0,2,4,6
/proc/16479/task/16533/stat : 16533 (java) S 16476 16479 5228 0 -1 1077944384 1487 12642 0 0 51 16 5 3 20 0 15 0 13569177 14407233536 556582 18446744073709551615 4194304 4196468 140735288818528 139843134552720 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16534] ppid=16476 vsize=14069564 CPUtime=0.29 cores=0,2,4,6
/proc/16479/task/16534/stat : 16534 (java) S 16476 16479 5228 0 -1 1077944384 3938 12642 0 0 19 2 5 3 20 0 15 0 13569178 14407233536 556582 18446744073709551615 4194304 4196468 140735288818528 139842096982512 139843180755586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16535] ppid=16476 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16535/stat : 16535 (java) S 16476 16479 5228 0 -1 1077944384 70 12642 0 0 0 0 5 3 20 0 15 0 13569178 14407233536 556582 18446744073709551615 4194304 4196468 140735288818528 139842095928800 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16536] ppid=16476 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16536/stat : 16536 (java) S 16476 16479 5228 0 -1 1077944384 55 12642 0 0 0 0 5 3 20 0 15 0 13569179 14407233536 556582 18446744073709551615 4194304 4196468 140735288818528 139842094876160 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16537] ppid=16476 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16537/stat : 16537 (java) S 16476 16479 5228 0 -1 1077944384 3 12642 0 0 0 0 5 3 20 0 15 0 13569181 14407233536 556582 18446744073709551615 4194304 4196468 140735288818528 139842093824720 139843180763035 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16538] ppid=16476 vsize=14069564 CPUtime=5.94 cores=0,2,4,6
/proc/16479/task/16538/stat : 16538 (java) S 16476 16479 5228 0 -1 1077944384 18512 12642 0 0 580 6 5 3 20 0 15 0 13569181 14407233536 556582 18446744073709551615 4194304 4196468 140735288818528 139842092771312 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16539] ppid=16476 vsize=14069564 CPUtime=5.81 cores=0,2,4,6
/proc/16479/task/16539/stat : 16539 (java) S 16476 16479 5228 0 -1 1077944384 14823 12642 0 0 571 2 5 3 20 0 15 0 13569181 14407233536 556582 18446744073709551615 4194304 4196468 140735288818528 139842091718768 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16540] ppid=16476 vsize=14069564 CPUtime=2.78 cores=0,2,4,6
/proc/16479/task/16540/stat : 16540 (java) S 16476 16479 5228 0 -1 1077944384 18875 12642 0 0 265 5 5 3 20 0 15 0 13569181 14407233536 556582 18446744073709551615 4194304 4196468 140735288818528 139842090666224 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16541] ppid=16476 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16541/stat : 16541 (java) S 16476 16479 5228 0 -1 1077944384 3 12642 0 0 0 0 5 3 20 0 15 0 13569181 14407233536 556582 18446744073709551615 4194304 4196468 140735288818528 139842089613920 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16542] ppid=16476 vsize=14069564 CPUtime=0.12 cores=0,2,4,6
/proc/16479/task/16542/stat : 16542 (java) S 16476 16479 5228 0 -1 1077944384 919 12642 0 0 2 2 5 3 20 0 15 0 13569187 14407233536 556582 18446744073709551615 4194304 4196468 140735288818528 139842088561456 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
Current children cumulated CPU time (s) 118.38
Current children cumulated vsize (KiB) 14069564

[startup+162.301 s]
/proc/loadavg: 1.34 1.54 1.61 3/212 16547
/proc/meminfo: memFree=28937856/32770624 swapFree=0/241544
[pid=16479] ppid=16476 vsize=14069564 CPUtime=180.51 cores=0,2,4,6
/proc/16479/stat : 16479 (java) S 16476 16479 5228 0 -1 1077944320 128203 12642 0 0 17920 123 5 3 20 0 15 0 13569154 14407233536 461998 18446744073709551615 4194304 4196468 140735288818528 140735288801072 139843180744439 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
/proc/16479/statm: 3517391 461998 3480 1 0 3506013 0
[pid=16479/tid=16529] ppid=16476 vsize=14069564 CPUtime=160.7 cores=0,2,4,6
/proc/16479/task/16529/stat : 16529 (java) R 16476 16479 5228 0 -1 4202560 53065 12642 0 0 16029 33 5 3 20 0 15 0 13569176 14407233536 461998 18446744073709551615 4194304 4196468 140735288818528 139843184977968 139842820625708 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16530] ppid=16476 vsize=14069564 CPUtime=0.94 cores=0,2,4,6
/proc/16479/task/16530/stat : 16530 (java) S 16476 16479 5228 0 -1 1077944384 2538 12642 0 0 69 17 5 3 20 0 15 0 13569176 14407233536 461998 18446744073709551615 4194304 4196468 140735288818528 139843137710352 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16531] ppid=16476 vsize=14069564 CPUtime=0.94 cores=0,2,4,6
/proc/16479/task/16531/stat : 16531 (java) S 16476 16479 5228 0 -1 1077944384 1886 12642 0 0 69 17 5 3 20 0 15 0 13569176 14407233536 461998 18446744073709551615 4194304 4196468 140735288818528 139843136657808 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16532] ppid=16476 vsize=14069564 CPUtime=0.99 cores=0,2,4,6
/proc/16479/task/16532/stat : 16532 (java) S 16476 16479 5228 0 -1 1077944384 1909 12642 0 0 74 17 5 3 20 0 15 0 13569176 14407233536 461998 18446744073709551615 4194304 4196468 140735288818528 139843135605264 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16533] ppid=16476 vsize=14069564 CPUtime=0.96 cores=0,2,4,6
/proc/16479/task/16533/stat : 16533 (java) S 16476 16479 5228 0 -1 1077944384 2016 12642 0 0 71 17 5 3 20 0 15 0 13569177 14407233536 461998 18446744073709551615 4194304 4196468 140735288818528 139843134552720 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16534] ppid=16476 vsize=14069564 CPUtime=0.42 cores=0,2,4,6
/proc/16479/task/16534/stat : 16534 (java) S 16476 16479 5228 0 -1 1077944384 4218 12642 0 0 31 3 5 3 20 0 15 0 13569178 14407233536 461998 18446744073709551615 4194304 4196468 140735288818528 139842096982512 139843180755586 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16535] ppid=16476 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16535/stat : 16535 (java) S 16476 16479 5228 0 -1 1077944384 70 12642 0 0 0 0 5 3 20 0 15 0 13569178 14407233536 461998 18446744073709551615 4194304 4196468 140735288818528 139842095928800 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16536] ppid=16476 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16536/stat : 16536 (java) S 16476 16479 5228 0 -1 1077944384 55 12642 0 0 0 0 5 3 20 0 15 0 13569179 14407233536 461998 18446744073709551615 4194304 4196468 140735288818528 139842094876160 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16537] ppid=16476 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16537/stat : 16537 (java) S 16476 16479 5228 0 -1 1077944384 3 12642 0 0 0 0 5 3 20 0 15 0 13569181 14407233536 461998 18446744073709551615 4194304 4196468 140735288818528 139842093824720 139843180763035 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16538] ppid=16476 vsize=14069564 CPUtime=6.54 cores=0,2,4,6
/proc/16479/task/16538/stat : 16538 (java) S 16476 16479 5228 0 -1 1077944384 21521 12642 0 0 639 7 5 3 20 0 15 0 13569181 14407233536 461998 18446744073709551615 4194304 4196468 140735288818528 139842092771312 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16539] ppid=16476 vsize=14069564 CPUtime=6.4 cores=0,2,4,6
/proc/16479/task/16539/stat : 16539 (java) S 16476 16479 5228 0 -1 1077944384 16245 12642 0 0 629 3 5 3 20 0 15 0 13569181 14407233536 461998 18446744073709551615 4194304 4196468 140735288818528 139842091718768 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16540] ppid=16476 vsize=14069564 CPUtime=3.07 cores=0,2,4,6
/proc/16479/task/16540/stat : 16540 (java) S 16476 16479 5228 0 -1 1077944384 21581 12642 0 0 294 5 5 3 20 0 15 0 13569181 14407233536 461998 18446744073709551615 4194304 4196468 140735288818528 139842090666224 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16541] ppid=16476 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16541/stat : 16541 (java) S 16476 16479 5228 0 -1 1077944384 3 12642 0 0 0 0 5 3 20 0 15 0 13569181 14407233536 461998 18446744073709551615 4194304 4196468 140735288818528 139842089613920 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16542] ppid=16476 vsize=14069564 CPUtime=0.16 cores=0,2,4,6
/proc/16479/task/16542/stat : 16542 (java) S 16476 16479 5228 0 -1 1077944384 944 12642 0 0 4 4 5 3 20 0 15 0 13569187 14407233536 461998 18446744073709551615 4194304 4196468 140735288818528 139842088561456 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
Current children cumulated CPU time (s) 180.51
Current children cumulated vsize (KiB) 14069564

[startup+222.307 s]
/proc/loadavg: 1.65 1.58 1.62 3/213 16675
/proc/meminfo: memFree=29084540/32770624 swapFree=0/241556
[pid=16479] ppid=16476 vsize=14069564 CPUtime=241.94 cores=0,2,4,6
/proc/16479/stat : 16479 (java) S 16476 16479 5228 0 -1 1077944320 132320 12642 0 0 24054 132 5 3 20 0 15 0 13569154 14407233536 454966 18446744073709551615 4194304 4196468 140735288818528 140735288801072 139843180744439 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
/proc/16479/statm: 3517391 454966 3480 1 0 3506013 0
[pid=16479/tid=16529] ppid=16476 vsize=14069564 CPUtime=220.14 cores=0,2,4,6
/proc/16479/task/16529/stat : 16529 (java) R 16476 16479 5228 0 -1 4202560 54708 12642 0 0 21973 33 5 3 20 0 15 0 13569176 14407233536 454966 18446744073709551615 4194304 4196468 140735288818528 139843184977712 139842810878638 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16530] ppid=16476 vsize=14069564 CPUtime=1.21 cores=0,2,4,6
/proc/16479/task/16530/stat : 16530 (java) S 16476 16479 5228 0 -1 1077944384 2636 12642 0 0 94 19 5 3 20 0 15 0 13569176 14407233536 454966 18446744073709551615 4194304 4196468 140735288818528 139843137710352 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16531] ppid=16476 vsize=14069564 CPUtime=1.2 cores=0,2,4,6
/proc/16479/task/16531/stat : 16531 (java) S 16476 16479 5228 0 -1 1077944384 2000 12642 0 0 94 18 5 3 20 0 15 0 13569176 14407233536 454966 18446744073709551615 4194304 4196468 140735288818528 139843136657808 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16532] ppid=16476 vsize=14069564 CPUtime=1.26 cores=0,2,4,6
/proc/16479/task/16532/stat : 16532 (java) S 16476 16479 5228 0 -1 1077944384 3037 12642 0 0 99 19 5 3 20 0 15 0 13569176 14407233536 454966 18446744073709551615 4194304 4196468 140735288818528 139843135605264 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16533] ppid=16476 vsize=14069564 CPUtime=1.24 cores=0,2,4,6
/proc/16479/task/16533/stat : 16533 (java) S 16476 16479 5228 0 -1 1077944384 2646 12642 0 0 97 19 5 3 20 0 15 0 13569177 14407233536 454966 18446744073709551615 4194304 4196468 140735288818528 139843134552720 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16534] ppid=16476 vsize=14069564 CPUtime=0.64 cores=0,2,4,6
/proc/16479/task/16534/stat : 16534 (java) S 16476 16479 5228 0 -1 1077944384 4566 12642 0 0 50 6 5 3 20 0 15 0 13569178 14407233536 454966 18446744073709551615 4194304 4196468 140735288818528 139842096982512 139843180755586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16535] ppid=16476 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16535/stat : 16535 (java) S 16476 16479 5228 0 -1 1077944384 70 12642 0 0 0 0 5 3 20 0 15 0 13569178 14407233536 454966 18446744073709551615 4194304 4196468 140735288818528 139842095928800 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16536] ppid=16476 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16536/stat : 16536 (java) S 16476 16479 5228 0 -1 1077944384 55 12642 0 0 0 0 5 3 20 0 15 0 13569179 14407233536 454966 18446744073709551615 4194304 4196468 140735288818528 139842094876160 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16537] ppid=16476 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16537/stat : 16537 (java) S 16476 16479 5228 0 -1 1077944384 3 12642 0 0 0 0 5 3 20 0 15 0 13569181 14407233536 454966 18446744073709551615 4194304 4196468 140735288818528 139842093824720 139843180763035 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16538] ppid=16476 vsize=14069564 CPUtime=6.8 cores=0,2,4,6
/proc/16479/task/16538/stat : 16538 (java) S 16476 16479 5228 0 -1 1077944384 21549 12642 0 0 665 7 5 3 20 0 15 0 13569181 14407233536 454966 18446744073709551615 4194304 4196468 140735288818528 139842092771312 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16539] ppid=16476 vsize=14069564 CPUtime=6.66 cores=0,2,4,6
/proc/16479/task/16539/stat : 16539 (java) S 16476 16479 5228 0 -1 1077944384 16257 12642 0 0 655 3 5 3 20 0 15 0 13569181 14407233536 454966 18446744073709551615 4194304 4196468 140735288818528 139842091718768 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16540] ppid=16476 vsize=14069564 CPUtime=3.2 cores=0,2,4,6
/proc/16479/task/16540/stat : 16540 (java) S 16476 16479 5228 0 -1 1077944384 21617 12642 0 0 307 5 5 3 20 0 15 0 13569181 14407233536 454966 18446744073709551615 4194304 4196468 140735288818528 139842090666224 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16541] ppid=16476 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16541/stat : 16541 (java) S 16476 16479 5228 0 -1 1077944384 3 12642 0 0 0 0 5 3 20 0 15 0 13569181 14407233536 454966 18446744073709551615 4194304 4196468 140735288818528 139842089613920 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16542] ppid=16476 vsize=14069564 CPUtime=0.2 cores=0,2,4,6
/proc/16479/task/16542/stat : 16542 (java) S 16476 16479 5228 0 -1 1077944384 1024 12642 0 0 5 7 5 3 20 0 15 0 13569187 14407233536 454966 18446744073709551615 4194304 4196468 140735288818528 139842088561456 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
Current children cumulated CPU time (s) 241.94
Current children cumulated vsize (KiB) 14069564



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.65 1.58 1.62 3/213 16676
/proc/meminfo: memFree=29115076/32770624 swapFree=0/241588
[pid=16479] ppid=16476 vsize=14069564 CPUtime=259.89 cores=0,2,4,6
/proc/16479/stat : 16479 (java) S 16476 16479 5228 0 -1 1077944320 133686 12642 0 0 25846 135 5 3 20 0 15 0 13569154 14407233536 454075 18446744073709551615 4194304 4196468 140735288818528 140735288801072 139843180744439 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
/proc/16479/statm: 3517391 454075 3480 1 0 3506013 0
[pid=16479/tid=16529] ppid=16476 vsize=14069564 CPUtime=237.68 cores=0,2,4,6
/proc/16479/task/16529/stat : 16529 (java) R 16476 16479 5228 0 -1 4202560 54910 12642 0 0 23726 34 5 3 20 0 15 0 13569176 14407233536 454075 18446744073709551615 4194304 4196468 140735288818528 139843184977824 139842810878622 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16530] ppid=16476 vsize=14069564 CPUtime=1.29 cores=0,2,4,6
/proc/16479/task/16530/stat : 16530 (java) S 16476 16479 5228 0 -1 1077944384 2643 12642 0 0 102 19 5 3 20 0 15 0 13569176 14407233536 454075 18446744073709551615 4194304 4196468 140735288818528 139843137710352 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16531] ppid=16476 vsize=14069564 CPUtime=1.29 cores=0,2,4,6
/proc/16479/task/16531/stat : 16531 (java) S 16476 16479 5228 0 -1 1077944384 2021 12642 0 0 102 19 5 3 20 0 15 0 13569176 14407233536 454075 18446744073709551615 4194304 4196468 140735288818528 139843136657808 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16532] ppid=16476 vsize=14069564 CPUtime=1.34 cores=0,2,4,6
/proc/16479/task/16532/stat : 16532 (java) S 16476 16479 5228 0 -1 1077944384 3124 12642 0 0 107 19 5 3 20 0 15 0 13569176 14407233536 454075 18446744073709551615 4194304 4196468 140735288818528 139843135605264 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16533] ppid=16476 vsize=14069564 CPUtime=1.33 cores=0,2,4,6
/proc/16479/task/16533/stat : 16533 (java) S 16476 16479 5228 0 -1 1077944384 3645 12642 0 0 105 20 5 3 20 0 15 0 13569177 14407233536 454075 18446744073709551615 4194304 4196468 140735288818528 139843134552720 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16534] ppid=16476 vsize=14069564 CPUtime=0.7 cores=0,2,4,6
/proc/16479/task/16534/stat : 16534 (java) S 16476 16479 5228 0 -1 1077944384 4614 12642 0 0 56 6 5 3 20 0 15 0 13569178 14407233536 454075 18446744073709551615 4194304 4196468 140735288818528 139842096982512 139843180755586 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16535] ppid=16476 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16535/stat : 16535 (java) S 16476 16479 5228 0 -1 1077944384 70 12642 0 0 0 0 5 3 20 0 15 0 13569178 14407233536 454075 18446744073709551615 4194304 4196468 140735288818528 139842095928800 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16536] ppid=16476 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16536/stat : 16536 (java) S 16476 16479 5228 0 -1 1077944384 55 12642 0 0 0 0 5 3 20 0 15 0 13569179 14407233536 454075 18446744073709551615 4194304 4196468 140735288818528 139842094876160 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16537] ppid=16476 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16537/stat : 16537 (java) S 16476 16479 5228 0 -1 1077944384 3 12642 0 0 0 0 5 3 20 0 15 0 13569181 14407233536 454075 18446744073709551615 4194304 4196468 140735288818528 139842093824720 139843180763035 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16538] ppid=16476 vsize=14069564 CPUtime=6.8 cores=0,2,4,6
/proc/16479/task/16538/stat : 16538 (java) S 16476 16479 5228 0 -1 1077944384 21549 12642 0 0 665 7 5 3 20 0 15 0 13569181 14407233536 454075 18446744073709551615 4194304 4196468 140735288818528 139842092771312 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16539] ppid=16476 vsize=14069564 CPUtime=6.66 cores=0,2,4,6
/proc/16479/task/16539/stat : 16539 (java) S 16476 16479 5228 0 -1 1077944384 16257 12642 0 0 655 3 5 3 20 0 15 0 13569181 14407233536 454075 18446744073709551615 4194304 4196468 140735288818528 139842091718768 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16540] ppid=16476 vsize=14069564 CPUtime=3.2 cores=0,2,4,6
/proc/16479/task/16540/stat : 16540 (java) S 16476 16479 5228 0 -1 1077944384 21617 12642 0 0 307 5 5 3 20 0 15 0 13569181 14407233536 454075 18446744073709551615 4194304 4196468 140735288818528 139842090666224 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16541] ppid=16476 vsize=14069564 CPUtime=0.08 cores=0,2,4,6
/proc/16479/task/16541/stat : 16541 (java) S 16476 16479 5228 0 -1 1077944384 3 12642 0 0 0 0 5 3 20 0 15 0 13569181 14407233536 454075 18446744073709551615 4194304 4196468 140735288818528 139842089613920 139843180754645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
[pid=16479/tid=16542] ppid=16476 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/16479/task/16542/stat : 16542 (java) S 16476 16479 5228 0 -1 1077944384 1026 12642 0 0 6 7 5 3 20 0 15 0 13569187 14407233536 454075 18446744073709551615 4194304 4196468 140735288818528 139842088561456 139843180755586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29650944 140735288821709 140735288824494 140735288824494 140735288827855 0
Current children cumulated CPU time (s) 259.89
Current children cumulated vsize (KiB) 14069564

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

Child status: 143
Real time (s): 240.047
CPU time (s): 259.948
CPU user time (s): 258.544
CPU system time (s): 1.40483
CPU usage (%): 108.291
Max. virtual memory (cumulated for all children) (KiB): 14069692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 258.544
system time used= 1.40483
maximum resident set size= 2267436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150745
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26217
involuntary context switches= 1138

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.06688 second user time and 1.51825 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-02 08:51:32
IDJOB=4259632
IDBENCH=135000
IDSOLVER=2646
FILE ID=node133/4259632-1501657538
RUNJOBID= node133-1501653519-11655
PBS_JOBID= 
Free space on /tmp= 61840 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-4259632-1501657538/watcher-4259632-1501657538 -o /tmp/evaluation-result-4259632-1501657538/solver-4259632-1501657538 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501653519-11655 --watchdog 300  bin/concrete HOME/instance-4259632-1501657538.xml

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

MD5SUM BENCH= f6e5619a9394ff6fb9e35a49c1220c66
RANDOM SEED=734215292

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30438636 kB
MemAvailable:   30681904 kB
Buffers:          129076 kB
Cached:           394464 kB
SwapCached:            0 kB
Active:          1669520 kB
Inactive:         249516 kB
Active(anon):    1396140 kB
Inactive(anon):     8536 kB
Active(file):     273380 kB
Inactive(file):   240980 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24656 kB
Writeback:             0 kB
AnonPages:       1391400 kB
Mapped:            43688 kB
Shmem:              8892 kB
Slab:             115568 kB
SReclaimable:      89484 kB
SUnreclaim:        26084 kB
KernelStack:        3552 kB
PageTables:         7572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2300004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1159168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61816 MiB
End job on node133 at 2017-08-02 08:55:32