Trace number 4302634

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.9.2-SuperNGSAT (TO)6 252.082 220.244

General information on the benchmark

NameGraphColoring/
GraphColoring-2-fullins-5_c18.xml
MD5SUM7175cc64c8263572fa1d1d1459976d33
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark236.466
Satisfiable
(Un)Satisfiability was proved
Number of variables852
Number of constraints12201
Number of domains1
Minimum domain size852
Maximum domain size852
Distribution of domain sizes[{"size":852,"count":852}]
Minimum variable degree9
Maximum variable degree216
Distribution of variable degrees[{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":12201}]
Number of extensional constraints0
Number of intensional constraints12201
Distribution of constraint types[{"type":"intension","count":12201}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

1.00/0.74	c Concrete v3.9.2.1532736233296 running
26.13/12.71	o 851
28.09/13.83	o 850
28.64/14.04	o 849
29.23/14.29	o 848
30.09/14.51	o 847
30.59/14.75	o 846
31.29/15.01	o 845
31.69/15.23	o 844
32.10/15.47	o 843
32.40/15.68	o 842
32.72/15.86	o 841
33.04/16.05	o 840
33.34/16.20	o 839
33.49/16.36	o 838
33.88/16.53	o 837
34.05/16.67	o 836
34.29/16.86	o 835
34.57/17.02	o 834
34.76/17.21	o 833
34.87/17.39	o 832
35.14/17.58	o 831
35.34/17.74	o 830
35.48/17.88	o 829
35.94/18.16	o 828
36.05/18.29	o 827
36.32/18.46	o 826
36.59/18.66	o 825
36.79/18.80	o 824
36.89/18.91	o 823
37.00/19.03	o 822
37.23/19.25	o 821
37.43/19.40	o 820
37.53/19.54	o 819
37.63/19.67	o 818
37.83/19.88	o 817
38.04/20.04	o 816
38.24/20.21	o 815
38.37/20.34	o 814
38.47/20.45	o 813
38.78/20.71	o 812
38.88/20.88	o 811
39.09/21.03	o 810
39.19/21.15	o 809
39.28/21.27	o 808
39.39/21.39	o 807
39.92/21.78	o 806
40.12/21.92	o 805
40.23/22.06	o 804
40.43/22.22	o 803
40.53/22.35	o 802
40.64/22.48	o 801
40.74/22.59	o 800
41.04/22.87	o 799
41.25/23.09	o 798
41.44/23.26	o 797
41.64/23.40	o 796
41.74/23.52	o 795
41.84/23.65	o 794
41.94/23.76	o 793
42.04/23.88	o 792
42.14/24.00	o 791
42.54/24.37	o 790
43.02/24.62	o 789
43.12/24.77	o 788
43.33/24.91	o 787
43.66/25.11	o 786
43.77/25.25	o 785
43.95/25.37	o 784
44.08/25.48	o 783
44.18/25.57	o 782
44.28/25.66	o 781
44.38/25.75	o 780
44.88/26.22	o 779
44.98/26.38	o 778
45.18/26.54	o 777
45.28/26.68	o 776
45.48/26.84	o 775
45.58/26.98	o 774
45.79/27.14	o 773
45.88/27.29	o 772
46.08/27.44	o 771
46.29/27.65	o 770
46.39/27.79	o 769
46.59/27.97	o 768
46.80/28.11	o 767
46.89/28.22	o 766
47.98/29.03	o 765
48.18/29.28	o 764
48.38/29.48	o 763
48.58/29.67	o 762
48.78/29.84	o 761
48.88/29.99	o 760
49.09/30.13	o 759
49.18/30.24	o 758
49.28/30.35	o 757
49.38/30.46	o 756
49.49/30.57	o 755
49.59/30.67	o 754
49.69/30.77	o 753
49.81/30.87	o 752
49.92/30.98	o 751
50.65/31.62	o 750
50.85/31.80	o 749
50.95/31.98	o 748
51.19/32.13	o 747
51.28/32.28	o 746
51.38/32.39	o 745
51.48/32.49	o 744
51.58/32.59	o 743
51.69/32.67	o 742
51.80/32.76	o 741
51.90/32.84	o 740
52.00/32.92	o 739
52.34/33.08	o 738
52.45/33.16	o 737
52.54/33.23	o 736
52.54/33.29	o 735
52.64/33.35	o 734
52.74/33.41	o 733
52.74/33.47	o 732
52.84/33.52	o 731
52.84/33.56	o 730
52.94/33.61	o 729
52.94/33.65	o 728
54.15/34.83	o 727
54.36/35.08	o 726
54.65/35.30	o 725
54.85/35.54	o 724
55.06/35.78	o 723
55.36/36.01	o 722
55.55/36.27	o 721
55.86/36.51	o 720
55.95/36.68	o 719
56.64/36.99	o 718
56.90/37.12	o 717
56.99/37.25	o 716
57.09/37.37	o 715
57.19/37.49	o 714
57.39/37.61	o 713
57.49/37.72	o 712
57.59/37.82	o 711
57.69/37.93	o 710
57.80/38.03	o 709
57.90/38.13	o 708
57.99/38.21	o 707
58.09/38.30	o 706
58.09/38.38	o 705
59.09/39.37	o 704
59.29/39.57	o 703
59.49/39.74	o 702
59.59/39.88	o 701
59.80/40.02	o 700
59.90/40.16	o 699
60.00/40.29	o 698
60.20/40.42	o 697
60.30/40.55	o 696
60.40/40.68	o 695
60.60/40.81	o 694
60.70/40.93	o 693
60.81/41.04	o 692
60.91/41.14	o 691
61.00/41.24	o 690
65.33/42.45	o 689
65.43/42.55	o 688
65.53/42.64	o 687
65.63/42.73	o 686
65.73/42.82	o 685
65.83/42.91	o 684
65.83/43.00	o 683
65.94/43.09	o 682
66.04/43.18	o 681
66.13/43.26	o 680
66.23/43.35	o 679
66.33/43.43	o 678
66.43/43.51	o 677
66.43/43.58	o 676
66.53/43.65	o 675
67.94/45.01	o 674
68.23/45.35	o 673
68.53/45.61	o 672
68.73/45.85	o 671
69.04/46.11	o 670
69.24/46.32	o 669
69.44/46.54	o 668
70.29/46.89	o 667
70.50/47.06	o 666
70.69/47.24	o 665
70.89/47.40	o 664
70.99/47.56	o 663
71.10/47.70	o 662
71.30/47.81	o 661
71.40/47.92	o 660
71.51/48.03	o 659
71.61/48.12	o 658
71.70/48.20	o 657
71.70/48.28	o 656
71.80/48.36	o 655
71.90/48.43	o 654
72.00/48.50	o 653
72.00/48.58	o 652
72.10/48.65	o 651
72.20/48.71	o 650
72.20/48.78	o 649
72.30/48.84	o 648
72.40/48.90	o 647
72.40/48.97	o 646
72.51/49.02	o 645
72.51/49.08	o 644
72.61/49.14	o 643
72.61/49.19	o 642
72.70/49.25	o 641
72.80/49.30	o 640
72.80/49.34	o 639
72.80/49.39	o 638
72.90/49.43	o 637
72.90/49.47	o 636
73.00/49.51	o 635
73.00/49.55	o 634
73.00/49.58	o 633
73.11/49.62	o 632
73.11/49.65	o 631
76.14/52.05	o 630
76.43/52.36	o 629
76.63/52.59	o 628
76.94/52.80	o 627
77.04/52.98	o 626
77.25/53.16	o 625
77.44/53.32	o 624
77.54/53.48	o 623
77.74/53.62	o 622
77.84/53.77	o 621
78.04/53.90	o 620
78.15/54.02	o 619
78.25/54.15	o 618
78.34/54.26	o 617
78.44/54.38	o 616
78.54/54.50	o 615
78.75/54.61	o 614
78.85/54.72	o 613
78.95/54.81	o 612
79.05/54.90	o 611
79.05/54.99	o 610
79.16/55.08	o 609
79.26/55.16	o 608
79.35/55.24	o 607
79.46/55.32	o 606
79.46/55.39	o 605
79.56/55.45	o 604
79.66/55.51	o 603
79.66/55.57	o 602
79.76/55.62	o 601
79.76/55.67	o 600
79.86/55.71	o 599
79.86/55.76	o 598
79.86/55.80	o 597
79.96/55.83	o 596
80.61/56.03	o 595
80.61/56.06	o 594
80.61/56.09	o 593
80.73/56.13	o 592
80.73/56.16	o 591
80.73/56.18	o 590
80.82/56.20	o 589
80.82/56.22	o 588
80.82/56.24	o 587
80.82/56.25	o 586
80.82/56.26	o 585
80.82/56.27	o 584
80.82/56.28	o 583
80.82/56.29	o 582
80.82/56.29	o 6
252.03/220.20	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
252.03/220.20		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
252.03/220.20		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
252.03/220.20		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
252.03/220.20		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
252.03/220.20		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
252.03/220.20		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
252.03/220.20		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
252.03/220.20		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.03/220.20		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.03/220.20		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.03/220.20		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.03/220.20		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.03/220.20		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.03/220.20		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.03/220.20		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
252.03/220.20		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
252.03/220.20		at scala.Option.map(Option.scala:146)
252.03/220.20		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
252.03/220.20		at concrete.MAC.mac(MAC.scala:203)
252.03/220.20		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.03/220.20		at scala.util.Try$.apply(Try.scala:209)
252.03/220.20		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.03/220.20		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.03/220.20		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.03/220.20		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.03/220.20		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.03/220.20		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.03/220.20		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.03/220.20		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.03/220.21		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.03/220.21		at concrete.MAC.oneRun(MAC.scala:253)
252.03/220.21		at concrete.MAC.nextSolution(MAC.scala:272)
252.03/220.21		at concrete.MAC.nextSolution(MAC.scala:355)
252.03/220.21		at concrete.Solver.hasNext(Solver.scala:166)
252.03/220.21		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.03/220.21		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.03/220.21		at concrete.Solver.foreach(Solver.scala:68)
252.03/220.21		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.03/220.21		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.03/220.21		at scala.util.Success.map(Try.scala:209)
252.03/220.21		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.03/220.21		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.03/220.21		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.03/220.21		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.03/220.21		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.03/220.21		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.03/220.21		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.03/220.21		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.03/220.21		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.03/220.21		at scala.collection.immutable.List.foreach(List.scala:389)
252.03/220.21		at scala.App.main(App.scala:76)
252.03/220.21		at scala.App.main$(App.scala:74)
252.03/220.21		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.03/220.21		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.03/220.22	v <instantiation cost="6">
252.03/220.22	v       <list>
252.03/220.22	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]
252.03/220.22	v       </list>
252.03/220.22	v       <values>
252.03/220.22	v         1 2 0 0 1 1 0 0 3 1 0 2 1 2 6 2 1 2 6 6 6 1 6 2 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 0 3 2 1 4 4 4 4 1 1 4 4 4 1 4 2 1 2 4 2 1 1 4 4 4 1 4 2 0 0 0 0 1 1 1 0 0 0 0 0 2 2 2 2 2 2 4 2 2 2 2 2 0 4 2 1 0 0 0 0 0 0 0 0 3 0 0 0 2 2 2 2 2 2 3 3 3 3 3 2 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 0 3 2 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 3 1 0 3 3 0 0 3 3 0 0 3 1 0 2 5 5 5 5 5 5 5 5 5 5 5 2 0 0 0 0 0 0 0 0 0 0 0 0 3 3 3 3 3 3 3 3 3 3 3 3 5 3 5 5 5 5 5 5 5 5 5 5 5 5 5 2 5 5 5 2 5 5 5 5 5 5 5 2 5 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 0 5 5 5 0 0 0 0 0 3 0 0 3 0 0 0 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 3 3 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 1 3 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 3 5 0 1 1 2 2 1 1 1 1 3 1 4 2 1 1 2 2 1 1 1 1 4 1 4 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 1 1 1 1 4 1 4 2 1 1 2 2 1 1 1 1 4 4 4 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 4 0 2
252.03/220.22	v       </values>
252.03/220.22	v     </instantiation>
252.03/220.22	s SATISFIABLE

Verifier Data 

OK	6

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (9511 MiB free)
  memory of node 1: 16384 MiB (15801 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302634-1532895085/watcher-4302634-1532895085 -o /tmp/evaluation-result-4302634-1532895085/solver-4302634-1532895085 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22777 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=190910826 -superng HOME/instance-4302634-1532895085.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24346, runsolver pid=24343
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 1.98 2.01 1.82 3/207 24403
/proc/meminfo: memFree=25914048/32770624 swapFree=67108860/67108860
[pid=24346] ppid=24343 vsize=10005480 memory=17080 CPUtime=0.09 cores=1,3,5,7
/proc/24346/stat : 24346 (java) S 24343 24346 13514 0 -1 1077944320 4416 13152 0 0 1 0 5 3 20 0 6 0 107071696 10245611520 4270 33554432000 4194304 4196468 140722007910016 140722007892560 139978378510071 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
/proc/24346/statm: 2501370 4270 1935 1 0 2489808 0
[pid=24346/tid=24399] ppid=24343 vsize=10005480 memory=4279135703913364878 CPUtime=0.09 cores=1,3,5,7
/proc/24346/task/24399/stat : 24399 (java) R 24343 24346 13514 0 -1 4202560 2224 13152 0 0 1 0 5 3 20 0 6 0 107071705 10245611520 4270 33554432000 4194304 4196468 140722007910016 139978350346832 139978362590558 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24400] ppid=24343 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24400/stat : 24400 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 6 0 107071705 10245611520 4270 33554432000 4194304 4196468 140722007910016 139978382752656 139978378520277 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24401] ppid=24343 vsize=10005480 memory=139873025214080 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24401/stat : 24401 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 6 0 107071706 10245611520 4270 33554432000 4194304 4196468 140722007910016 139978237471504 139978378520277 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24402] ppid=24343 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24402/stat : 24402 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 6 0 107071706 10245611520 4270 33554432000 4194304 4196468 140722007910016 139978236419216 139978378520277 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24403] ppid=24343 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24403/stat : 24403 (java) S 24343 24346 13514 0 -1 1077944384 2 13152 0 0 0 0 5 3 20 0 6 0 107071706 10245611520 4270 33554432000 4194304 4196468 140722007910016 139978235366416 139978378520277 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 17080 KiB

[startup+0.210081 s]*
/proc/loadavg: 1.98 2.01 1.82 3/216 24412
/proc/meminfo: memFree=25889652/32770624 swapFree=67108860/67108860
[pid=24346] ppid=24343 vsize=10982744 memory=45340 CPUtime=0.26 cores=1,3,5,7
/proc/24346/stat : 24346 (java) S 24343 24346 13514 0 -1 1077944320 8075 13152 0 0 17 1 5 3 20 0 15 0 107071696 11246329856 11335 33554432000 4194304 4196468 140722007910016 140722007892560 139978378510071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
/proc/24346/statm: 2745686 11335 2957 1 0 2708109 0
[pid=24346/tid=24399] ppid=24343 vsize=10983736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/24346/task/24399/stat : 24399 (java) R 24343 24346 13514 0 -1 4202560 4681 13152 0 0 11 0 5 3 20 0 15 0 107071705 11247345664 11401 33554432000 4194304 4196468 140722007910016 139978350334880 139978371189789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24400] ppid=24343 vsize=10983736 memory=339 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24400/stat : 24400 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071705 11247345664 11401 33554432000 4194304 4196468 140722007910016 139978382752656 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24401] ppid=24343 vsize=10983736 memory=3617997337902663328 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24401/stat : 24401 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071706 11247345664 11467 33554432000 4194304 4196468 140722007910016 139978237471504 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24402] ppid=24343 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24402/stat : 24402 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071706 11247345664 11467 33554432000 4194304 4196468 140722007910016 139978236419216 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24403] ppid=24343 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24403/stat : 24403 (java) S 24343 24346 13514 0 -1 1077944384 2 13152 0 0 0 0 5 3 20 0 15 0 107071706 11247345664 11467 33554432000 4194304 4196468 140722007910016 139978235366416 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24404] ppid=24343 vsize=10983736 memory=139873025214080 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24404/stat : 24404 (java) S 24343 24346 13514 0 -1 1077944384 2 13152 0 0 0 0 5 3 20 0 15 0 107071707 11247345664 11467 33554432000 4194304 4196468 140722007910016 139977803376752 139978378521218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24405] ppid=24343 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24405/stat : 24405 (java) S 24343 24346 13514 0 -1 1077944384 13 13152 0 0 0 0 5 3 20 0 15 0 107071707 11247345664 11533 33554432000 4194304 4196468 140722007910016 139977158550304 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24406] ppid=24343 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24406/stat : 24406 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071708 11247345664 11533 33554432000 4194304 4196468 140722007910016 139977010701424 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24407] ppid=24343 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24407/stat : 24407 (java) S 24343 24346 13514 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 107071710 11247345664 11533 33554432000 4194304 4196468 140722007910016 139976703301712 139978378528667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24408] ppid=24343 vsize=10983736 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24346/task/24408/stat : 24408 (java) S 24343 24346 13514 0 -1 1077944384 529 13152 0 0 1 0 5 3 20 0 15 0 107071710 11247345664 11533 33554432000 4194304 4196468 140722007910016 139977802324592 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24409] ppid=24343 vsize=10983736 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/24346/task/24409/stat : 24409 (java) S 24343 24346 13514 0 -1 1077944384 63 13152 0 0 1 0 5 3 20 0 15 0 107071710 11247345664 11599 33554432000 4194304 4196468 140722007910016 139977801271792 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24410] ppid=24343 vsize=10983736 memory=139873025214080 CPUtime=0.11 cores=1,3,5,7
/proc/24346/task/24410/stat : 24410 (java) S 24343 24346 13514 0 -1 1077944384 620 13152 0 0 3 0 5 3 20 0 15 0 107071710 11247345664 11599 33554432000 4194304 4196468 140722007910016 139977800219504 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24411] ppid=24343 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24411/stat : 24411 (java) S 24343 24346 13514 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 107071710 11247345664 11599 33554432000 4194304 4196468 140722007910016 139976272505824 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24412] ppid=24343 vsize=10983736 memory=139873025214080 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24412/stat : 24412 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071711 11247345664 11599 33554432000 4194304 4196468 140722007910016 139977799166384 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45340 KiB

[startup+0.310343 s]*
/proc/loadavg: 1.98 2.01 1.82 3/216 24412
/proc/meminfo: memFree=25878116/32770624 swapFree=67108860/67108860
[pid=24346] ppid=24343 vsize=10983192 memory=56072 CPUtime=0.39 cores=1,3,5,7
/proc/24346/stat : 24346 (java) S 24343 24346 13514 0 -1 1077944320 10579 13152 0 0 29 2 5 3 20 0 15 0 107071696 11246788608 14018 33554432000 4194304 4196468 140722007910016 140722007892560 139978378510071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
/proc/24346/statm: 2745798 14018 3076 1 0 2708109 0
[pid=24346/tid=24399] ppid=24343 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/24346/task/24399/stat : 24399 (java) R 24343 24346 13514 0 -1 4202560 7138 13152 0 0 20 1 5 3 20 0 15 0 107071705 11246788608 14018 33554432000 4194304 4196468 140722007910016 139978350322080 139978362590558 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24400] ppid=24343 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24400/stat : 24400 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071705 11246788608 14018 33554432000 4194304 4196468 140722007910016 139978382752656 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24401] ppid=24343 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24401/stat : 24401 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071706 11246788608 14018 33554432000 4194304 4196468 140722007910016 139978237471504 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24402] ppid=24343 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24402/stat : 24402 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071706 11246788608 14018 33554432000 4194304 4196468 140722007910016 139978236419216 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24403] ppid=24343 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24403/stat : 24403 (java) S 24343 24346 13514 0 -1 1077944384 2 13152 0 0 0 0 5 3 20 0 15 0 107071706 11246788608 14018 33554432000 4194304 4196468 140722007910016 139978235366416 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24404] ppid=24343 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24404/stat : 24404 (java) S 24343 24346 13514 0 -1 1077944384 2 13152 0 0 0 0 5 3 20 0 15 0 107071707 11246788608 14018 33554432000 4194304 4196468 140722007910016 139977803376752 139978378521218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24405] ppid=24343 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24405/stat : 24405 (java) S 24343 24346 13514 0 -1 1077944384 13 13152 0 0 0 0 5 3 20 0 15 0 107071707 11246788608 14018 33554432000 4194304 4196468 140722007910016 139977158550304 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24406] ppid=24343 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24406/stat : 24406 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071708 11246788608 14018 33554432000 4194304 4196468 140722007910016 139977010701424 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24407] ppid=24343 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24407/stat : 24407 (java) S 24343 24346 13514 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 107071710 11246788608 14018 33554432000 4194304 4196468 140722007910016 139976703301712 139978378528667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24408] ppid=24343 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24346/task/24408/stat : 24408 (java) S 24343 24346 13514 0 -1 1077944384 529 13152 0 0 1 0 5 3 20 0 15 0 107071710 11246788608 14018 33554432000 4194304 4196468 140722007910016 139977802324592 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24409] ppid=24343 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/24346/task/24409/stat : 24409 (java) S 24343 24346 13514 0 -1 1077944384 64 13152 0 0 1 0 5 3 20 0 15 0 107071710 11246788608 14018 33554432000 4194304 4196468 140722007910016 139977801271792 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24410] ppid=24343 vsize=10983192 memory=139873025214080 CPUtime=0.12 cores=1,3,5,7
/proc/24346/task/24410/stat : 24410 (java) R 24343 24346 13514 0 -1 4202560 625 13152 0 0 4 0 5 3 20 0 15 0 107071710 11246788608 14018 33554432000 4194304 4196468 140722007910016 139977800219504 139978378531418 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24411] ppid=24343 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24411/stat : 24411 (java) S 24343 24346 13514 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 107071710 11246788608 14018 33554432000 4194304 4196468 140722007910016 139976272505824 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24412] ppid=24343 vsize=10983192 memory=139873025214080 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24412/stat : 24412 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071711 11246788608 14018 33554432000 4194304 4196468 140722007910016 139977799166384 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56072 KiB

[startup+0.700805 s]
/proc/loadavg: 1.98 2.01 1.82 3/216 24412
/proc/meminfo: memFree=25867200/32770624 swapFree=67108860/67108860
[pid=24346] ppid=24343 vsize=10983192 memory=88704 CPUtime=1 cores=1,3,5,7
/proc/24346/stat : 24346 (java) S 24343 24346 13514 0 -1 1077944320 16775 13152 0 0 88 4 5 3 20 0 15 0 107071696 11246788608 22176 33554432000 4194304 4196468 140722007910016 140722007892560 139978378510071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
/proc/24346/statm: 2745798 22176 3238 1 0 2708109 0
[pid=24346/tid=24399] ppid=24343 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/24346/task/24399/stat : 24399 (java) R 24343 24346 13514 0 -1 4202560 12204 13152 0 0 56 3 5 3 20 0 15 0 107071705 11246788608 22176 33554432000 4194304 4196468 140722007910016 139978350330896 139978358785960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24400] ppid=24343 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24400/stat : 24400 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071705 11246788608 22176 33554432000 4194304 4196468 140722007910016 139978382752656 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24401] ppid=24343 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24401/stat : 24401 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071706 11246788608 22176 33554432000 4194304 4196468 140722007910016 139978237471504 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24402] ppid=24343 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24402/stat : 24402 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071706 11246788608 22176 33554432000 4194304 4196468 140722007910016 139978236419216 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24403] ppid=24343 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24403/stat : 24403 (java) S 24343 24346 13514 0 -1 1077944384 2 13152 0 0 0 0 5 3 20 0 15 0 107071706 11246788608 22176 33554432000 4194304 4196468 140722007910016 139978235366416 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24404] ppid=24343 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24404/stat : 24404 (java) S 24343 24346 13514 0 -1 1077944384 5 13152 0 0 0 0 5 3 20 0 15 0 107071707 11246788608 22176 33554432000 4194304 4196468 140722007910016 139977803376752 139978378521218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24405] ppid=24343 vsize=10983192 memory=139872925004464 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24405/stat : 24405 (java) S 24343 24346 13514 0 -1 1077944384 13 13152 0 0 0 0 5 3 20 0 15 0 107071707 11246788608 22176 33554432000 4194304 4196468 140722007910016 139977158550304 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24406] ppid=24343 vsize=10983192 memory=139874199929424 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24406/stat : 24406 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071708 11246788608 22176 33554432000 4194304 4196468 140722007910016 139977010701424 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24407] ppid=24343 vsize=10983192 memory=1020 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24407/stat : 24407 (java) S 24343 24346 13514 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 107071710 11246788608 22176 33554432000 4194304 4196468 140722007910016 139976703301712 139978378528667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24408] ppid=24343 vsize=10983192 memory=7089042195949315648 CPUtime=0.16 cores=1,3,5,7
/proc/24346/task/24408/stat : 24408 (java) S 24343 24346 13514 0 -1 1077944384 946 13152 0 0 8 0 5 3 20 0 15 0 107071710 11246788608 22176 33554432000 4194304 4196468 140722007910016 139977802324592 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24409] ppid=24343 vsize=10983192 memory=7881696724453321575 CPUtime=0.17 cores=1,3,5,7
/proc/24346/task/24409/stat : 24409 (java) S 24343 24346 13514 0 -1 1077944384 696 13152 0 0 9 0 5 3 20 0 15 0 107071710 11246788608 22176 33554432000 4194304 4196468 140722007910016 139977801271792 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24410] ppid=24343 vsize=10983192 memory=5789189752906409301 CPUtime=0.21 cores=1,3,5,7
/proc/24346/task/24410/stat : 24410 (java) S 24343 24346 13514 0 -1 1077944384 701 13152 0 0 13 0 5 3 20 0 15 0 107071710 11246788608 22176 33554432000 4194304 4196468 140722007910016 139977800219504 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24411] ppid=24343 vsize=10983192 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24411/stat : 24411 (java) S 24343 24346 13514 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 107071710 11246788608 22176 33554432000 4194304 4196468 140722007910016 139976272505824 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24412] ppid=24343 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24412/stat : 24412 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071711 11246788608 22176 33554432000 4194304 4196468 140722007910016 139977799166384 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88704 KiB

[startup+1.50453 s]
/proc/loadavg: 1.98 2.01 1.82 3/216 24412
/proc/meminfo: memFree=25821104/32770624 swapFree=67108860/67108860
[pid=24346] ppid=24343 vsize=10991948 memory=195588 CPUtime=3.08 cores=1,3,5,7
/proc/24346/stat : 24346 (java) S 24343 24346 13514 0 -1 1077944320 22431 13152 0 0 292 8 5 3 20 0 15 0 107071696 11255754752 48897 33554432000 4194304 4196468 140722007910016 140722007892560 139978378510071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
/proc/24346/statm: 2747987 48897 3452 1 0 2709645 0
[pid=24346/tid=24399] ppid=24343 vsize=10991948 memory=10757 CPUtime=1.47 cores=1,3,5,7
/proc/24346/task/24399/stat : 24399 (java) R 24343 24346 13514 0 -1 4202560 14994 13152 0 0 133 6 5 3 20 0 15 0 107071705 11255754752 48897 33554432000 4194304 4196468 140722007910016 139978350338120 139978362590558 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24400] ppid=24343 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24400/stat : 24400 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071705 11255754752 48897 33554432000 4194304 4196468 140722007910016 139978382752656 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24401] ppid=24343 vsize=10991948 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24401/stat : 24401 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071706 11255754752 48897 33554432000 4194304 4196468 140722007910016 139978237471504 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24402] ppid=24343 vsize=10991948 memory=2804 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24402/stat : 24402 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071706 11255754752 48897 33554432000 4194304 4196468 140722007910016 139978236419216 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24403] ppid=24343 vsize=10991948 memory=88704 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24403/stat : 24403 (java) S 24343 24346 13514 0 -1 1077944384 2 13152 0 0 0 0 5 3 20 0 15 0 107071706 11255754752 48897 33554432000 4194304 4196468 140722007910016 139978235366416 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24404] ppid=24343 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24404/stat : 24404 (java) S 24343 24346 13514 0 -1 1077944384 13 13152 0 0 0 0 5 3 20 0 15 0 107071707 11255754752 48897 33554432000 4194304 4196468 140722007910016 139977803376752 139978378521218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24405] ppid=24343 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24405/stat : 24405 (java) S 24343 24346 13514 0 -1 1077944384 13 13152 0 0 0 0 5 3 20 0 15 0 107071707 11255754752 48897 33554432000 4194304 4196468 140722007910016 139977158550304 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24406] ppid=24343 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24406/stat : 24406 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071708 11255754752 48897 33554432000 4194304 4196468 140722007910016 139977010701424 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24407] ppid=24343 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24407/stat : 24407 (java) S 24343 24346 13514 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 107071710 11255754752 48897 33554432000 4194304 4196468 140722007910016 139976703301712 139978378528667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24408] ppid=24343 vsize=10991948 memory=4638778398332698720 CPUtime=0.64 cores=1,3,5,7
/proc/24346/task/24408/stat : 24408 (java) R 24343 24346 13514 0 -1 4202560 1696 13152 0 0 56 0 5 3 20 0 15 0 107071710 11255754752 48897 33554432000 4194304 4196468 140722007910016 139977802312912 139978364574267 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24409] ppid=24343 vsize=10991948 memory=279745850284928 CPUtime=0.64 cores=1,3,5,7
/proc/24346/task/24409/stat : 24409 (java) R 24343 24346 13514 0 -1 4202560 1987 13152 0 0 56 0 5 3 20 0 15 0 107071710 11255754752 48897 33554432000 4194304 4196468 140722007910016 139977801257232 139978362907050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24410] ppid=24343 vsize=10991948 memory=6944656592452807323 CPUtime=0.53 cores=1,3,5,7
/proc/24346/task/24410/stat : 24410 (java) S 24343 24346 13514 0 -1 1077944384 1518 13152 0 0 45 0 5 3 20 0 15 0 107071710 11255754752 48897 33554432000 4194304 4196468 140722007910016 139977800219504 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24411] ppid=24343 vsize=10991948 memory=6944656591801719708 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24411/stat : 24411 (java) S 24343 24346 13514 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 107071710 11255754752 48897 33554432000 4194304 4196468 140722007910016 139976272505824 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24412] ppid=24343 vsize=10991948 memory=1399101730491701635 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24412/stat : 24412 (java) S 24343 24346 13514 0 -1 1077944384 1 13152 0 0 0 0 5 3 20 0 15 0 107071711 11255754752 48897 33554432000 4194304 4196468 140722007910016 139977799166384 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 10991948 KiB

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

/proc/24346/task/24399/stat : 24399 (java) R 24343 24346 13514 0 -1 4202560 44509 13152 0 0 4812 40 5 3 20 0 15 0 107071705 11276746752 838749 33554432000 4194304 4196468 140722007910016 139978350345712 139977920136980 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24400] ppid=24343 vsize=11012448 memory=2840 CPUtime=2.36 cores=1,3,5,7
/proc/24346/task/24400/stat : 24400 (java) S 24343 24346 13514 0 -1 1077944384 1645 13152 0 0 204 24 5 3 20 0 15 0 107071705 11276746752 838749 33554432000 4194304 4196468 140722007910016 139978382752656 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24401] ppid=24343 vsize=11012448 memory=1324 CPUtime=2.35 cores=1,3,5,7
/proc/24346/task/24401/stat : 24401 (java) S 24343 24346 13514 0 -1 1077944384 2864 13152 0 0 202 25 5 3 20 0 15 0 107071706 11276746752 838749 33554432000 4194304 4196468 140722007910016 139978237471504 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24402] ppid=24343 vsize=11012448 memory=3195220 CPUtime=2.36 cores=1,3,5,7
/proc/24346/task/24402/stat : 24402 (java) S 24343 24346 13514 0 -1 1077944384 1562 13152 0 0 204 24 5 3 20 0 15 0 107071706 11276746752 838749 33554432000 4194304 4196468 140722007910016 139978236419216 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24403] ppid=24343 vsize=11012448 memory=2634 CPUtime=2.33 cores=1,3,5,7
/proc/24346/task/24403/stat : 24403 (java) S 24343 24346 13514 0 -1 1077944384 1807 13152 0 0 200 25 5 3 20 0 15 0 107071706 11276746752 838749 33554432000 4194304 4196468 140722007910016 139978235366416 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24404] ppid=24343 vsize=11012448 memory=3195248 CPUtime=0.22 cores=1,3,5,7
/proc/24346/task/24404/stat : 24404 (java) S 24343 24346 13514 0 -1 1077944384 10207 13152 0 0 13 1 5 3 20 0 15 0 107071707 11276746752 838749 33554432000 4194304 4196468 140722007910016 139977803376752 139978378521218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24405] ppid=24343 vsize=11012448 memory=2840 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24405/stat : 24405 (java) S 24343 24346 13514 0 -1 1077944384 26 13152 0 0 0 0 5 3 20 0 15 0 107071707 11276746752 838749 33554432000 4194304 4196468 140722007910016 139977158550432 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24406] ppid=24343 vsize=11012448 memory=3195248 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24406/stat : 24406 (java) S 24343 24346 13514 0 -1 1077944384 24 13152 0 0 0 0 5 3 20 0 15 0 107071708 11276746752 838749 33554432000 4194304 4196468 140722007910016 139977010701440 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24407] ppid=24343 vsize=11012448 memory=3195220 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24407/stat : 24407 (java) S 24343 24346 13514 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 107071710 11276746752 838749 33554432000 4194304 4196468 140722007910016 139976703301712 139978378528667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24408] ppid=24343 vsize=11012448 memory=3195220 CPUtime=7.42 cores=1,3,5,7
/proc/24346/task/24408/stat : 24408 (java) S 24343 24346 13514 0 -1 1077944384 12730 13152 0 0 731 3 5 3 20 0 15 0 107071710 11276746752 838749 33554432000 4194304 4196468 140722007910016 139977802324592 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24409] ppid=24343 vsize=11012448 memory=139872925172564 CPUtime=7.48 cores=1,3,5,7
/proc/24346/task/24409/stat : 24409 (java) S 24343 24346 13514 0 -1 1077944384 15499 13152 0 0 737 3 5 3 20 0 15 0 107071710 11276746752 838749 33554432000 4194304 4196468 140722007910016 139977801271792 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24410] ppid=24343 vsize=11012448 memory=4941731378518561840 CPUtime=2.64 cores=1,3,5,7
/proc/24346/task/24410/stat : 24410 (java) S 24343 24346 13514 0 -1 1077944384 12042 13152 0 0 251 5 5 3 20 0 15 0 107071710 11276746752 838749 33554432000 4194304 4196468 140722007910016 139977800219504 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24411] ppid=24343 vsize=11012448 memory=3195220 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24411/stat : 24411 (java) S 24343 24346 13514 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 107071710 11276746752 838749 33554432000 4194304 4196468 140722007910016 139976272505824 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24412] ppid=24343 vsize=11012448 memory=924 CPUtime=0.1 cores=1,3,5,7
/proc/24346/task/24412/stat : 24412 (java) S 24343 24346 13514 0 -1 1077944384 424 13152 0 0 1 1 5 3 20 0 15 0 107071711 11276746752 838749 33554432000 4194304 4196468 140722007910016 139977799166384 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
Current children cumulated CPU time: 75.24 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 3354996 KiB

[startup+102.301 s]
/proc/loadavg: 2.21 2.11 1.88 3/216 24413
/proc/meminfo: memFree=20933428/32770624 swapFree=67108860/67108860
[pid=24346] ppid=24343 vsize=11012448 memory=3576232 CPUtime=133.9 cores=1,3,5,7
/proc/24346/stat : 24346 (java) S 24343 24346 13514 0 -1 1077944320 132861 13152 0 0 13195 187 5 3 20 0 15 0 107071696 11276746752 894058 33554432000 4194304 4196468 140722007910016 140722007892560 139978378510071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
/proc/24346/statm: 2753112 894058 3536 1 0 2714765 0
[pid=24346/tid=24399] ppid=24343 vsize=11012448 memory=3576232 CPUtime=98.12 cores=1,3,5,7
/proc/24346/task/24399/stat : 24399 (java) R 24343 24346 13514 0 -1 4202560 50152 13152 0 0 9762 42 5 3 20 0 15 0 107071705 11276746752 894058 33554432000 4194304 4196468 140722007910016 139978350345296 139977915875365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24400] ppid=24343 vsize=11012448 memory=4140 CPUtime=3.94 cores=1,3,5,7
/proc/24346/task/24400/stat : 24400 (java) S 24343 24346 13514 0 -1 1077944384 1881 13152 0 0 355 31 5 3 20 0 15 0 107071705 11276746752 894058 33554432000 4194304 4196468 140722007910016 139978382752656 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24401] ppid=24343 vsize=11012448 memory=840 CPUtime=3.95 cores=1,3,5,7
/proc/24346/task/24401/stat : 24401 (java) S 24343 24346 13514 0 -1 1077944384 3064 13152 0 0 355 32 5 3 20 0 15 0 107071706 11276746752 894058 33554432000 4194304 4196468 140722007910016 139978237471504 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24402] ppid=24343 vsize=11012448 memory=0 CPUtime=3.96 cores=1,3,5,7
/proc/24346/task/24402/stat : 24402 (java) S 24343 24346 13514 0 -1 1077944384 2855 13152 0 0 358 30 5 3 20 0 15 0 107071706 11276746752 894058 33554432000 4194304 4196468 140722007910016 139978236419216 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24403] ppid=24343 vsize=11012448 memory=279742829864127 CPUtime=3.92 cores=1,3,5,7
/proc/24346/task/24403/stat : 24403 (java) S 24343 24346 13514 0 -1 1077944384 1990 13152 0 0 352 32 5 3 20 0 15 0 107071706 11276746752 894058 33554432000 4194304 4196468 140722007910016 139978235366416 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24404] ppid=24343 vsize=11012448 memory=3576232 CPUtime=0.27 cores=1,3,5,7
/proc/24346/task/24404/stat : 24404 (java) S 24343 24346 13514 0 -1 1077944384 16581 13152 0 0 18 1 5 3 20 0 15 0 107071707 11276746752 894058 33554432000 4194304 4196468 140722007910016 139977803376752 139978378521218 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24405] ppid=24343 vsize=11012448 memory=3576232 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24405/stat : 24405 (java) S 24343 24346 13514 0 -1 1077944384 26 13152 0 0 0 0 5 3 20 0 15 0 107071707 11276746752 894058 33554432000 4194304 4196468 140722007910016 139977158550432 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24406] ppid=24343 vsize=11012448 memory=30440 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24406/stat : 24406 (java) S 24343 24346 13514 0 -1 1077944384 24 13152 0 0 0 0 5 3 20 0 15 0 107071708 11276746752 894058 33554432000 4194304 4196468 140722007910016 139977010701440 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24407] ppid=24343 vsize=11012448 memory=2204 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24407/stat : 24407 (java) S 24343 24346 13514 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 107071710 11276746752 894058 33554432000 4194304 4196468 140722007910016 139976703301712 139978378528667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24408] ppid=24343 vsize=11012448 memory=1240 CPUtime=8.48 cores=1,3,5,7
/proc/24346/task/24408/stat : 24408 (java) S 24343 24346 13514 0 -1 1077944384 15139 13152 0 0 837 3 5 3 20 0 15 0 107071710 11276746752 894058 33554432000 4194304 4196468 140722007910016 139977802324592 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24409] ppid=24343 vsize=11012448 memory=3575348 CPUtime=8.97 cores=1,3,5,7
/proc/24346/task/24409/stat : 24409 (java) S 24343 24346 13514 0 -1 1077944384 20158 13152 0 0 885 4 5 3 20 0 15 0 107071710 11276746752 894058 33554432000 4194304 4196468 140722007910016 139977801271792 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24410] ppid=24343 vsize=11012448 memory=14572 CPUtime=2.76 cores=1,3,5,7
/proc/24346/task/24410/stat : 24410 (java) S 24343 24346 13514 0 -1 1077944384 18320 13152 0 0 263 5 5 3 20 0 15 0 107071710 11276746752 894058 33554432000 4194304 4196468 140722007910016 139977800219504 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24411] ppid=24343 vsize=11012448 memory=12708 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24411/stat : 24411 (java) S 24343 24346 13514 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 107071710 11276746752 894058 33554432000 4194304 4196468 140722007910016 139976272505824 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24412] ppid=24343 vsize=11012448 memory=6625 CPUtime=0.13 cores=1,3,5,7
/proc/24346/task/24412/stat : 24412 (java) S 24343 24346 13514 0 -1 1077944384 468 13152 0 0 3 2 5 3 20 0 15 0 107071711 11276746752 894058 33554432000 4194304 4196468 140722007910016 139977799166384 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
Current children cumulated CPU time: 133.9 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 3576232 KiB

[startup+162.301 s]
/proc/loadavg: 2.08 2.09 1.88 3/216 24414
/proc/meminfo: memFree=21079024/32770624 swapFree=67108860/67108860
[pid=24346] ppid=24343 vsize=11012448 memory=3568768 CPUtime=194 cores=1,3,5,7
/proc/24346/stat : 24346 (java) S 24343 24346 13514 0 -1 1077944320 140908 13152 0 0 19203 189 5 3 20 0 15 0 107071696 11276746752 892192 33554432000 4194304 4196468 140722007910016 140722007892560 139978378510071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
/proc/24346/statm: 2753112 892192 3536 1 0 2714765 0
[pid=24346/tid=24399] ppid=24343 vsize=11012448 memory=3568768 CPUtime=158.08 cores=1,3,5,7
/proc/24346/task/24399/stat : 24399 (java) R 24343 24346 13514 0 -1 4202560 53821 13152 0 0 15758 42 5 3 20 0 15 0 107071705 11276746752 892192 33554432000 4194304 4196468 140722007910016 139978350344416 139977919981581 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24400] ppid=24343 vsize=11012448 memory=3568768 CPUtime=3.97 cores=1,3,5,7
/proc/24346/task/24400/stat : 24400 (java) S 24343 24346 13514 0 -1 1077944384 3601 13152 0 0 357 32 5 3 20 0 15 0 107071705 11276746752 892192 33554432000 4194304 4196468 140722007910016 139978382752656 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24401] ppid=24343 vsize=11012448 memory=3568768 CPUtime=3.97 cores=1,3,5,7
/proc/24346/task/24401/stat : 24401 (java) S 24343 24346 13514 0 -1 1077944384 3570 13152 0 0 357 32 5 3 20 0 15 0 107071706 11276746752 892192 33554432000 4194304 4196468 140722007910016 139978237471504 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24402] ppid=24343 vsize=11012448 memory=3568768 CPUtime=3.98 cores=1,3,5,7
/proc/24346/task/24402/stat : 24402 (java) S 24343 24346 13514 0 -1 1077944384 2953 13152 0 0 360 30 5 3 20 0 15 0 107071706 11276746752 892192 33554432000 4194304 4196468 140722007910016 139978236419216 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24403] ppid=24343 vsize=11012448 memory=279742830560276 CPUtime=3.94 cores=1,3,5,7
/proc/24346/task/24403/stat : 24403 (java) S 24343 24346 13514 0 -1 1077944384 2029 13152 0 0 354 32 5 3 20 0 15 0 107071706 11276746752 892192 33554432000 4194304 4196468 140722007910016 139978235366416 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24404] ppid=24343 vsize=11012448 memory=3568768 CPUtime=0.27 cores=1,3,5,7
/proc/24346/task/24404/stat : 24404 (java) S 24343 24346 13514 0 -1 1077944384 16896 13152 0 0 18 1 5 3 20 0 15 0 107071707 11276746752 892192 33554432000 4194304 4196468 140722007910016 139977803376752 139978378521218 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24405] ppid=24343 vsize=11012448 memory=3568768 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24405/stat : 24405 (java) S 24343 24346 13514 0 -1 1077944384 26 13152 0 0 0 0 5 3 20 0 15 0 107071707 11276746752 892192 33554432000 4194304 4196468 140722007910016 139977158550432 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24406] ppid=24343 vsize=11012448 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24406/stat : 24406 (java) S 24343 24346 13514 0 -1 1077944384 24 13152 0 0 0 0 5 3 20 0 15 0 107071708 11276746752 892192 33554432000 4194304 4196468 140722007910016 139977010701440 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24407] ppid=24343 vsize=11012448 memory=3568768 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24407/stat : 24407 (java) S 24343 24346 13514 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 107071710 11276746752 892192 33554432000 4194304 4196468 140722007910016 139976703301712 139978378528667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24408] ppid=24343 vsize=11012448 memory=3568768 CPUtime=8.49 cores=1,3,5,7
/proc/24346/task/24408/stat : 24408 (java) S 24343 24346 13514 0 -1 1077944384 16556 13152 0 0 838 3 5 3 20 0 15 0 107071710 11276746752 892192 33554432000 4194304 4196468 140722007910016 139977802324592 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24409] ppid=24343 vsize=11012448 memory=3568768 CPUtime=8.98 cores=1,3,5,7
/proc/24346/task/24409/stat : 24409 (java) S 24343 24346 13514 0 -1 1077944384 20166 13152 0 0 886 4 5 3 20 0 15 0 107071710 11276746752 892192 33554432000 4194304 4196468 140722007910016 139977801271792 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24410] ppid=24343 vsize=11012448 memory=3568768 CPUtime=2.76 cores=1,3,5,7
/proc/24346/task/24410/stat : 24410 (java) S 24343 24346 13514 0 -1 1077944384 18540 13152 0 0 263 5 5 3 20 0 15 0 107071710 11276746752 892192 33554432000 4194304 4196468 140722007910016 139977800219504 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24411] ppid=24343 vsize=11012448 memory=7301607407352129941 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24411/stat : 24411 (java) S 24343 24346 13514 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 107071710 11276746752 892192 33554432000 4194304 4196468 140722007910016 139976272505824 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24412] ppid=24343 vsize=11012448 memory=6791534058613427641 CPUtime=0.17 cores=1,3,5,7
/proc/24346/task/24412/stat : 24412 (java) S 24343 24346 13514 0 -1 1077944384 523 13152 0 0 5 4 5 3 20 0 15 0 107071711 11276746752 892192 33554432000 4194304 4196468 140722007910016 139977799166384 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
Current children cumulated CPU time: 194 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 3568768 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+220.201 s]
/proc/loadavg: 2.22 2.16 1.92 3/215 24542
/proc/meminfo: memFree=22551532/32770624 swapFree=67108860/67108860
[pid=24346] ppid=24343 vsize=11012448 memory=3555692 CPUtime=252.03 cores=1,3,5,7
/proc/24346/stat : 24346 (java) S 24343 24346 13514 0 -1 1077944320 152049 13152 0 0 25003 192 5 3 20 0 15 0 107071696 11276746752 888923 33554432000 4194304 4196468 140722007910016 140722007892560 139978378510071 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
/proc/24346/statm: 2753112 888923 3536 1 0 2714765 0
[pid=24346/tid=24399] ppid=24343 vsize=11012448 memory=1812 CPUtime=215.95 cores=1,3,5,7
/proc/24346/task/24399/stat : 24399 (java) R 24343 24346 13514 0 -1 4202560 58745 13152 0 0 21543 44 5 3 20 0 15 0 107071705 11276746752 888923 33554432000 4194304 4196468 140722007910016 139978350344496 139977920960348 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24400] ppid=24343 vsize=11012448 memory=1020 CPUtime=3.99 cores=1,3,5,7
/proc/24346/task/24400/stat : 24400 (java) S 24343 24346 13514 0 -1 1077944384 3660 13152 0 0 359 32 5 3 20 0 15 0 107071705 11276746752 888923 33554432000 4194304 4196468 140722007910016 139978382752656 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24401] ppid=24343 vsize=11012448 memory=5456 CPUtime=4 cores=1,3,5,7
/proc/24346/task/24401/stat : 24401 (java) S 24343 24346 13514 0 -1 1077944384 3628 13152 0 0 360 32 5 3 20 0 15 0 107071706 11276746752 888923 33554432000 4194304 4196468 140722007910016 139978237471504 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24402] ppid=24343 vsize=11012448 memory=756 CPUtime=4 cores=1,3,5,7
/proc/24346/task/24402/stat : 24402 (java) S 24343 24346 13514 0 -1 1077944384 4917 13152 0 0 362 30 5 3 20 0 15 0 107071706 11276746752 888923 33554432000 4194304 4196468 140722007910016 139978236419216 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24403] ppid=24343 vsize=11012448 memory=288230574492221466 CPUtime=3.97 cores=1,3,5,7
/proc/24346/task/24403/stat : 24403 (java) S 24343 24346 13514 0 -1 1077944384 2346 13152 0 0 357 32 5 3 20 0 15 0 107071706 11276746752 888923 33554432000 4194304 4196468 140722007910016 139978235366416 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24404] ppid=24343 vsize=11012448 memory=288230617509003574 CPUtime=0.29 cores=1,3,5,7
/proc/24346/task/24404/stat : 24404 (java) S 24343 24346 13514 0 -1 1077944384 17211 13152 0 0 19 2 5 3 20 0 15 0 107071707 11276746752 888923 33554432000 4194304 4196468 140722007910016 139977803376752 139978378521218 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24405] ppid=24343 vsize=11012448 memory=13847486485760432 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24405/stat : 24405 (java) S 24343 24346 13514 0 -1 1077944384 26 13152 0 0 0 0 5 3 20 0 15 0 107071707 11276746752 888923 33554432000 4194304 4196468 140722007910016 139977158550432 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24406] ppid=24343 vsize=11012448 memory=756 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24406/stat : 24406 (java) S 24343 24346 13514 0 -1 1077944384 24 13152 0 0 0 0 5 3 20 0 15 0 107071708 11276746752 888923 33554432000 4194304 4196468 140722007910016 139977010701440 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24407] ppid=24343 vsize=11012448 memory=14572 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24407/stat : 24407 (java) S 24343 24346 13514 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 107071710 11276746752 888923 33554432000 4194304 4196468 140722007910016 139976703301712 139978378528667 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24408] ppid=24343 vsize=11012448 memory=12708 CPUtime=8.5 cores=1,3,5,7
/proc/24346/task/24408/stat : 24408 (java) S 24343 24346 13514 0 -1 1077944384 17320 13152 0 0 839 3 5 3 20 0 15 0 107071710 11276746752 888923 33554432000 4194304 4196468 140722007910016 139977802324592 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24409] ppid=24343 vsize=11012448 memory=17004 CPUtime=8.98 cores=1,3,5,7
/proc/24346/task/24409/stat : 24409 (java) S 24343 24346 13514 0 -1 1077944384 21355 13152 0 0 886 4 5 3 20 0 15 0 107071710 11276746752 888923 33554432000 4194304 4196468 140722007910016 139977801271792 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24410] ppid=24343 vsize=11012448 memory=2324 CPUtime=2.76 cores=1,3,5,7
/proc/24346/task/24410/stat : 24410 (java) S 24343 24346 13514 0 -1 1077944384 20031 13152 0 0 263 5 5 3 20 0 15 0 107071710 11276746752 888923 33554432000 4194304 4196468 140722007910016 139977800219504 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24411] ppid=24343 vsize=11012448 memory=1584 CPUtime=0.08 cores=1,3,5,7
/proc/24346/task/24411/stat : 24411 (java) S 24343 24346 13514 0 -1 1077944384 3 13152 0 0 0 0 5 3 20 0 15 0 107071710 11276746752 888923 33554432000 4194304 4196468 140722007910016 139976272505824 139978378520277 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
[pid=24346/tid=24412] ppid=24343 vsize=11012448 memory=496 CPUtime=0.21 cores=1,3,5,7
/proc/24346/task/24412/stat : 24412 (java) S 24343 24346 13514 0 -1 1077944384 583 13152 0 0 7 6 5 3 20 0 15 0 107071711 11276746752 888923 33554432000 4194304 4196468 140722007910016 139977799166384 139978378521218 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11145216 140722007915113 140722007917921 140722007917921 140722007920591 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 11012448 KiB
Current children cumulated memory: 3555692 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+220.244 s]
# the end of solver process 24346 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.102 s, system=1.97961 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 220.244
CPU time (s): 252.082
CPU user time (s): 250.102
CPU system time (s): 1.97961
CPU usage (%): 114.456
Max. virtual memory (cumulated for all children) (KiB): 11012448
Max. memory (cumulated for all children) (KiB): 3580576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.102
system time used= 1.97961
maximum resident set size= 3580576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166875
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15519
involuntary context switches= 394


# summary of solver processes directly reported to runsolver:
#   pid: 24346
#   total CPU time (s): 252.082
#   total CPU user time (s): 250.102
#   total CPU system time (s): 1.97961

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40142 second user time and 2.13736 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-29 22:11:25
IDJOB=4302634
IDBENCH=141143
IDSOLVER=2777
FILE ID=node136/4302634-1532895085
RUNJOBID= node136-1532893975-22777
PBS_JOBID= 21022516
Free space on /tmp= 60200 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/GraphColoring/GraphColoring-2-fullins-5_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302634-1532895085/watcher-4302634-1532895085 -o /tmp/evaluation-result-4302634-1532895085/solver-4302634-1532895085 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22777 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=190910826 -superng HOME/instance-4302634-1532895085.xml

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

MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33
RANDOM SEED=190910826

node136.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.50
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.50
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.50
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.50
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:        25920148 kB
MemAvailable:   29331616 kB
Buffers:          217188 kB
Cached:          3464232 kB
SwapCached:            0 kB
Active:          4414444 kB
Inactive:        1957084 kB
Active(anon):    2641032 kB
Inactive(anon):    76480 kB
Active(file):    1773412 kB
Inactive(file):  1880604 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26856 kB
Writeback:             0 kB
AnonPages:       2696700 kB
Mapped:            48092 kB
Shmem:             25228 kB
Slab:             174456 kB
SReclaimable:     146576 kB
SUnreclaim:        27880 kB
KernelStack:        3552 kB
PageTables:        10536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4359332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2510848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 60176 MiB
End job on node136 at 2018-07-29 22:15:06