Trace number 4293258

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.8-SuperNG 2018-06-13OPT29 358.86 320.229

General information on the benchmark

NameGraphColoring/
GraphColoring-qg-order30_c18.xml
MD5SUM2f5cbdca11052f8d5a6d32bd8b795ba4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark303.273
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of constraints26100
Number of domains1
Minimum domain size900
Maximum domain size900
Distribution of domain sizes[{"size":900,"count":900}]
Minimum variable degree59
Maximum variable degree59
Distribution of variable degrees[{"degree":59,"count":900}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":26100}]
Number of extensional constraints0
Number of intensional constraints26100
Distribution of constraint types[{"type":"intension","count":26100}]
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 

0.98/0.73	c Concrete v3.8.1528841891564 running
33.98/17.91	o 899
35.11/18.39	o 898
36.03/18.76	o 897
36.50/19.08	o 896
37.18/19.43	o 895
37.63/19.75	o 894
38.20/20.04	o 893
38.79/20.35	o 892
39.22/20.65	o 891
39.66/20.95	o 890
40.10/21.23	o 889
40.84/21.54	o 888
41.27/21.82	o 887
41.63/22.11	o 886
41.84/22.39	o 885
42.25/22.72	o 884
42.56/23.01	o 883
42.86/23.35	o 882
43.17/23.66	o 881
43.66/24.05	o 880
43.95/24.37	o 879
44.35/24.70	o 878
44.87/25.10	o 877
45.26/25.40	o 876
45.57/25.73	o 875
45.98/26.13	o 874
46.44/26.50	o 873
46.75/26.86	o 872
47.16/27.26	o 871
47.56/27.65	o 870
47.86/27.99	o 869
48.26/28.32	o 868
48.76/28.72	o 867
49.17/29.11	o 866
49.48/29.44	o 865
49.79/29.75	o 864
50.21/30.11	o 863
50.61/30.56	o 862
51.02/30.95	o 861
51.42/31.31	o 860
51.82/31.72	o 859
52.13/32.07	o 858
52.52/32.41	o 857
53.03/32.94	o 856
53.66/33.41	o 855
54.06/33.84	o 854
54.56/34.33	o 853
54.96/34.74	o 852
55.37/35.16	o 851
55.76/35.57	o 850
56.37/36.15	o 849
56.86/36.63	o 848
57.28/37.07	o 847
57.77/37.56	o 846
58.28/38.01	o 845
58.67/38.43	o 844
59.11/38.85	o 843
59.51/39.24	o 842
60.47/39.98	o 841
61.11/40.47	o 840
61.72/41.03	o 839
62.21/41.53	o 838
62.61/41.99	o 837
63.11/42.43	o 836
63.52/42.84	o 835
64.15/43.31	o 834
64.45/43.68	o 833
64.86/44.04	o 832
65.82/44.95	o 831
66.35/45.49	o 830
66.95/46.02	o 829
67.45/46.60	o 828
68.06/47.13	o 827
68.55/47.68	o 826
69.15/48.28	o 825
69.65/48.79	o 824
70.15/49.27	o 823
70.65/49.74	o 822
71.15/50.26	o 821
71.65/50.76	o 820
72.65/51.70	o 819
73.25/52.39	o 818
74.28/53.15	o 817
74.97/53.84	o 816
75.57/54.48	o 815
76.28/55.12	o 814
76.88/55.79	o 813
77.58/56.41	o 812
78.19/57.03	o 811
78.78/57.68	o 810
79.38/58.30	o 809
79.98/58.86	o 808
80.58/59.44	o 807
81.19/60.07	o 806
82.39/61.22	o 805
83.21/62.01	o 804
83.90/62.76	o 803
84.60/63.49	o 802
85.31/64.17	o 801
86.41/65.01	o 800
87.10/65.70	o 799
87.90/66.50	o 798
88.60/67.22	o 797
89.30/67.96	o 796
90.00/68.66	o 795
90.60/69.29	o 794
91.30/69.92	o 793
92.00/70.62	o 792
92.60/71.22	o 791
93.10/71.80	o 790
93.60/72.28	o 789
95.10/73.72	o 788
96.00/74.64	o 787
96.81/75.49	o 786
98.02/76.44	o 785
98.82/77.28	o 784
99.63/78.03	o 783
100.42/78.80	o 782
101.12/79.54	o 781
101.92/80.31	o 780
102.63/81.08	o 779
103.42/81.85	o 778
104.12/82.57	o 777
104.92/83.35	o 776
105.63/84.09	o 775
106.43/84.81	o 774
107.13/85.50	o 773
107.74/86.19	o 772
108.43/86.83	o 771
109.03/87.46	o 770
109.54/88.00	o 769
110.24/88.65	o 768
115.24/91.11	o 767
116.24/92.12	o 766
117.14/93.08	o 765
118.14/94.01	o 764
119.03/94.90	o 763
119.93/95.89	o 762
120.93/96.83	o 761
121.83/97.77	o 760
122.73/98.65	o 759
123.63/99.50	o 758
124.53/100.41	o 757
125.43/101.37	o 756
126.33/102.26	o 755
127.14/103.09	o 754
128.03/103.95	o 753
129.00/104.87	o 752
129.80/105.65	o 751
130.60/106.49	o 750
131.50/107.30	o 749
132.31/108.16	o 748
133.11/108.95	o 747
133.91/109.76	o 746
134.81/110.64	o 745
135.61/111.46	o 744
136.41/112.22	o 743
138.12/113.97	o 742
139.12/115.00	o 741
140.23/116.10	o 740
141.51/117.12	o 739
142.51/118.14	o 738
143.60/119.22	o 737
144.60/120.27	o 736
145.60/121.26	o 735
146.61/122.22	o 734
147.53/123.13	o 733
148.45/124.04	o 732
149.45/125.06	o 731
150.35/126.00	o 730
151.35/126.97	o 729
152.35/127.95	o 728
153.25/128.84	o 727
154.05/129.61	o 726
154.75/130.35	o 725
155.56/131.13	o 724
156.25/131.84	o 723
156.95/132.59	o 722
157.75/133.30	o 721
158.61/134.05	o 720
159.30/134.76	o 719
160.00/135.47	o 718
160.80/136.27	o 717
161.50/136.99	o 716
162.20/137.69	o 715
162.90/138.36	o 714
163.62/139.04	o 713
164.31/139.71	o 712
164.91/140.33	o 711
168.26/143.23	o 710
169.67/144.62	o 709
170.97/145.98	o 708
172.38/147.30	o 707
173.68/148.67	o 706
174.88/149.89	o 705
176.09/151.06	o 704
177.28/152.23	o 703
178.38/153.36	o 702
179.58/154.57	o 701
180.78/155.70	o 700
181.78/156.75	o 699
183.12/157.94	o 698
184.26/158.97	o 697
185.37/160.06	o 696
186.47/161.13	o 695
187.47/162.15	o 694
188.47/163.13	o 693
189.37/164.08	o 692
190.37/165.04	o 691
191.37/166.07	o 690
192.47/167.12	o 689
193.48/168.13	o 688
194.37/169.08	o 687
195.48/170.14	o 686
196.27/170.98	o 685
197.17/171.84	o 684
197.97/172.62	o 683
198.77/173.42	o 682
199.57/174.25	o 681
200.38/175.03	o 680
201.07/175.76	o 679
201.97/176.51	o 678
202.58/177.18	o 677
203.28/177.85	o 676
203.88/178.45	o 675
204.49/179.08	o 674
204.98/179.59	o 673
205.49/180.10	o 672
206.08/180.64	o 671
210.80/184.87	o 670
212.50/186.56	o 669
213.80/187.88	o 668
215.30/189.36	o 667
221.95/192.11	o 666
223.24/193.48	o 665
224.64/194.80	o 664
225.95/196.16	o 663
227.34/197.53	o 662
228.64/198.86	o 661
230.04/200.29	o 660
231.34/201.58	o 659
232.65/202.83	o 658
233.86/204.08	o 657
235.06/205.24	o 656
236.16/206.37	o 655
237.26/207.43	o 654
238.46/208.60	o 653
240.16/209.95	o 652
241.27/211.06	o 651
242.37/212.15	o 650
243.37/213.17	o 649
244.46/214.25	o 648
245.38/215.19	o 647
246.47/216.25	o 646
247.47/217.25	o 645
248.38/218.14	o 644
249.29/219.04	o 643
250.08/219.86	o 642
250.98/220.77	o 641
251.88/221.69	o 640
252.69/222.47	o 639
253.59/223.34	o 638
254.29/224.04	o 637
254.98/224.72	o 636
255.59/225.31	o 635
256.19/225.91	o 634
256.69/226.49	o 633
257.29/227.08	o 632
258.16/227.71	o 631
258.76/228.34	o 630
259.26/228.88	o 629
259.86/229.43	o 628
260.36/229.95	o 627
260.86/230.48	o 626
261.47/231.02	o 625
261.87/231.49	o 624
262.27/231.85	o 623
262.67/232.20	o 622
262.97/232.58	o 621
263.37/232.91	o 620
263.67/233.26	o 619
264.07/233.60	o 618
264.37/233.94	o 617
264.67/234.26	o 616
264.97/234.55	o 615
265.27/234.85	o 614
272.12/240.82	o 613
274.02/242.75	o 612
275.83/244.57	o 611
278.58/246.56	o 610
280.38/248.34	o 609
282.29/250.21	o 608
284.20/252.11	o 607
285.99/253.92	o 606
287.59/255.55	o 605
289.29/257.24	o 604
290.99/258.97	o 603
292.59/260.57	o 602
300.73/263.87	o 601
302.33/265.47	o 600
303.84/266.99	o 599
305.34/268.40	o 598
306.74/269.85	o 597
308.05/271.11	o 596
309.24/272.30	o 595
310.45/273.57	o 594
311.75/274.81	o 593
312.85/275.99	o 592
314.15/277.20	o 591
315.24/278.35	o 590
316.45/279.57	o 589
317.67/280.78	o 588
318.99/282.07	o 587
320.18/283.29	o 586
321.18/284.27	o 585
322.28/285.33	o 584
323.38/286.40	o 583
324.28/287.38	o 582
325.28/288.31	o 581
326.10/289.18	o 580
326.89/289.95	o 579
327.69/290.77	o 578
328.49/291.58	o 577
329.28/292.33	o 576
329.99/293.01	o 575
330.59/293.67	o 574
331.39/294.42	o 573
332.10/295.12	o 572
332.69/295.71	o 571
333.29/296.32	o 570
333.79/296.89	o 569
334.39/297.49	o 568
334.99/298.09	o 567
335.72/298.70	o 566
336.22/299.25	o 565
336.72/299.77	o 564
337.22/300.25	o 563
337.72/300.73	o 562
338.22/301.21	o 561
338.62/301.65	o 560
339.03/302.07	o 559
339.52/302.50	o 558
339.92/302.95	o 557
340.33/303.39	o 556
340.73/303.74	o 555
341.15/304.13	o 554
341.44/304.47	o 553
341.84/304.85	o 552
342.24/305.22	o 551
342.54/305.55	o 550
342.85/305.83	o 549
343.06/306.06	o 548
343.35/306.30	o 547
343.55/306.55	o 546
343.75/306.71	o 545
343.85/306.87	o 544
344.06/307.01	o 543
344.16/307.15	o 542
344.25/307.29	o 541
344.35/307.39	o 540
344.45/307.47	o 539
344.55/307.55	o 538
344.65/307.62	o 537
344.65/307.67	o 536
344.75/307.70	o 535
344.75/307.72	o 534
344.75/307.74	o 533
344.75/307.75	o 532
344.75/307.76	o 531
344.75/307.78	o 530
344.75/307.79	o 529
344.86/307.81	o 528
344.86/307.81	o 35
344.86/307.86	o 34
345.09/307.91	o 33
346.86/309.29	o 32
350.44/312.78	o 31
355.01/316.89	o 30
358.71/320.17	o 29
358.81/320.20	v <instantiation cost="29">
358.81/320.20	v       <list>
358.81/320.20	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899]
358.81/320.20	v       </list>
358.81/320.20	v       <values>
358.81/320.20	v         16 9 5 27 19 23 3 25 18 4 28 13 11 24 10 1 22 26 7 14 2 0 17 21 29 20 12 8 6 15 3 6 12 0 23 10 14 8 22 25 2 18 29 19 7 4 9 20 5 17 27 16 21 15 1 11 24 26 13 28 15 16 19 21 1 9 17 18 8 24 26 20 13 11 0 10 5 14 29 4 25 7 12 23 3 28 6 2 27 22 28 20 13 17 3 29 25 22 9 8 0 4 23 15 6 19 26 2 18 27 1 14 10 11 7 16 21 12 5 24 20 7 4 1 26 12 23 2 11 0 19 3 24 27 29 17 28 8 9 10 18 25 6 16 5 15 22 21 14 13 10 18 1 5 8 22 28 26 21 14 6 24 4 29 15 7 17 23 25 9 3 13 27 20 11 12 2 19 0 16 12 0 14 26 25 6 18 16 10 21 27 17 5 9 2 24 3 1 19 7 11 22 4 13 8 29 20 28 15 23 22 12 6 10 21 16 8 14 28 15 18 5 0 1 27 26 7 29 24 3 17 19 11 4 20 2 13 23 9 25 25 14 11 12 17 0 9 15 6 13 24 2 22 28 16 29 23 7 21 18 8 20 5 26 4 27 19 10 1 3 17 22 23 14 6 4 16 11 26 28 13 1 27 10 21 9 24 12 2 8 15 3 7 29 19 0 18 20 25 5 8 3 24 18 22 21 15 0 17 27 5 26 16 20 28 25 6 4 11 13 14 2 9 19 10 1 23 7 12 29 9 10 27 29 7 13 0 12 2 17 8 25 15 16 26 20 4 6 23 21 28 11 1 24 22 14 5 3 18 19 7 21 0 23 12 5 19 3 16 1 17 29 18 13 8 6 10 15 28 20 26 24 22 27 14 9 25 11 2 4 4 26 25 22 5 19 12 24 7 9 23 6 2 18 13 11 20 21 14 16 10 15 29 28 27 17 8 1 3 0 14 28 18 3 10 8 4 13 19 5 21 16 12 17 20 15 11 25 27 2 6 23 0 1 9 24 7 22 29 26 21 15 28 20 4 24 26 19 12 10 3 9 7 2 18 23 14 0 22 25 29 6 13 17 16 5 11 27 8 1 11 19 2 6 29 7 22 10 1 26 9 27 21 12 5 3 13 16 17 23 20 8 25 0 24 4 15 18 28 14 5 27 26 7 16 11 29 28 15 22 10 23 17 6 1 2 12 13 3 24 21 4 19 8 0 18 14 25 20 9 29 25 20 11 9 17 24 6 13 23 1 22 8 5 19 21 2 3 10 26 16 27 15 18 28 7 0 14 4 12 0 11 17 16 13 2 27 21 25 6 20 8 19 23 24 18 1 10 15 28 9 29 14 5 12 22 3 4 26 7 26 2 3 9 20 27 11 1 29 7 15 0 25 14 17 22 8 5 4 6 19 18 24 12 13 23 28 16 10 21 6 1 7 13 0 18 2 4 23 12 22 28 14 3 25 8 15 27 16 29 24 5 20 9 26 19 10 17 21 11 19 29 22 4 27 28 20 9 24 2 14 7 6 8 11 5 21 17 12 15 0 1 23 3 25 10 26 13 16 18 13 5 29 25 18 15 10 23 20 16 11 21 3 7 9 27 19 24 0 1 12 17 28 14 2 26 4 6 22 8 2 24 8 15 28 20 7 27 0 29 12 14 26 4 22 16 25 18 1 19 5 21 3 6 23 13 17 9 11 10 27 8 10 2 24 14 21 17 3 20 29 12 9 26 4 0 18 19 13 11 22 28 16 7 15 25 1 5 23 6 1 23 15 8 11 3 5 29 4 19 25 10 28 21 14 13 27 22 26 12 7 9 18 2 17 6 16 0 24 20 23 13 16 24 14 1 6 5 27 11 7 19 20 25 3 12 29 28 8 0 4 10 26 22 18 21 9 15 17 2 18 17 21 28 15 26 1 7 5 3 4 11 10 0 23 14 16 9 20 22 13 12 2 25 6 8 29 24 19 27 24 4 9 19 2 25 13 20 14 18 16 15 1 22 12 28 0 11 6 5 23 26 8 10 21 3 27 29 7 17
358.81/320.20	v       </values>
358.81/320.20	v     </instantiation>
358.81/320.20	s OPTIMUM FOUND

Verifier Data 

OK	29

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 (3408 MiB free)
  memory of node 1: 16384 MiB (14035 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293258-1532310988/watcher-4293258-1532310988 -o /tmp/evaluation-result-4293258-1532310988/solver-4293258-1532310988 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532297041-4850 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=335427141 -superng HOME/instance-4293258-1532310988.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=7315, runsolver pid=7312
Current StackSize limit: 8192 KiB


[startup+0.110678 s]*
/proc/loadavg: 2.61 2.08 1.81 3/206 7372
/proc/meminfo: memFree=17850700/32770624 swapFree=67108860/67108860
[pid=7315] ppid=7312 vsize=10355560 memory=24132 CPUtime=0.09 cores=1,3,5,7
/proc/7315/stat : 7315 (java) S 7312 7315 4818 0 -1 1077944320 4660 13193 0 0 2 0 4 3 20 0 9 0 48662084 10604093440 6033 33554432000 4194304 4196468 140727037026240 140727037008784 140402573917943 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
/proc/7315/statm: 2588890 6033 2101 1 0 2551431 0
[pid=7315/tid=7368] ppid=7312 vsize=10355560 memory=-8818459028388888517 CPUtime=0.09 cores=1,3,5,7
/proc/7315/task/7368/stat : 7368 (java) R 7312 7315 4818 0 -1 4202560 2450 13193 0 0 2 0 4 3 20 0 9 0 48662093 10604093440 6033 33554432000 4194304 4196468 140727037026240 140402545753968 140402573939869 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7369] ppid=7312 vsize=10355560 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7369/stat : 7369 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 9 0 48662094 10604093440 6033 33554432000 4194304 4196468 140727037026240 140402578160400 140402573928149 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7370] ppid=7312 vsize=10355560 memory=140194341750400 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7370/stat : 7370 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 9 0 48662094 10604093440 6033 33554432000 4194304 4196468 140727037026240 140402482363280 140402573928149 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7371] ppid=7312 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7371/stat : 7371 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 9 0 48662094 10604093440 6033 33554432000 4194304 4196468 140727037026240 140402146204688 140402573928149 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7372] ppid=7312 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7372/stat : 7372 (java) S 7312 7315 4818 0 -1 1077944384 2 13193 0 0 0 0 4 3 20 0 9 0 48662094 10604093440 6033 33554432000 4194304 4196468 140727037026240 140402145152144 140402573928149 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7373] ppid=7312 vsize=10355560 memory=140194341750400 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7373/stat : 7373 (java) S 7312 7315 4818 0 -1 1077944384 2 13193 0 0 0 0 4 3 20 0 9 0 48662095 10604093440 6033 33554432000 4194304 4196468 140727037026240 140402100574192 140402573929090 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7374] ppid=7312 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7374/stat : 7374 (java) S 7312 7315 4818 0 -1 1077944384 13 13193 0 0 0 0 4 3 20 0 9 0 48662096 10604093440 6033 33554432000 4194304 4196468 140727037026240 140401474266016 140402573928149 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7375] ppid=7312 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7375/stat : 7375 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 9 0 48662096 10604093440 6033 33554432000 4194304 4196468 140727037026240 140401340048432 140402573928149 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 24132 KiB

[startup+0.20989 s]*
/proc/loadavg: 2.61 2.08 1.81 3/215 7381
/proc/meminfo: memFree=17833124/32770624 swapFree=67108860/67108860
[pid=7315] ppid=7312 vsize=10818904 memory=45472 CPUtime=0.25 cores=1,3,5,7
/proc/7315/stat : 7315 (java) S 7312 7315 4818 0 -1 1077944320 9235 13193 0 0 16 2 4 3 20 0 15 0 48662084 11078557696 11368 33554432000 4194304 4196468 140727037026240 140727037008784 140402573917943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
/proc/7315/statm: 2704726 11368 2969 1 0 2667149 0
[pid=7315/tid=7368] ppid=7312 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/7315/task/7368/stat : 7368 (java) R 7312 7315 4818 0 -1 4202560 5865 13193 0 0 10 1 4 3 20 0 15 0 48662093 11078557696 11368 33554432000 4194304 4196468 140727037026240 140402545742752 140402573939869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7369] ppid=7312 vsize=10818904 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7369/stat : 7369 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 15 0 48662094 11078557696 11368 33554432000 4194304 4196468 140727037026240 140402578160400 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7370] ppid=7312 vsize=10818904 memory=140194341759709 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7370/stat : 7370 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 15 0 48662094 11078557696 11368 33554432000 4194304 4196468 140727037026240 140402482363280 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7371] ppid=7312 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7371/stat : 7371 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 15 0 48662094 11078557696 11368 33554432000 4194304 4196468 140727037026240 140402146204688 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7372] ppid=7312 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7372/stat : 7372 (java) S 7312 7315 4818 0 -1 1077944384 2 13193 0 0 0 0 4 3 20 0 15 0 48662094 11078557696 11368 33554432000 4194304 4196468 140727037026240 140402145152144 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7373] ppid=7312 vsize=10818904 memory=140194341750400 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7373/stat : 7373 (java) S 7312 7315 4818 0 -1 1077944384 2 13193 0 0 0 0 4 3 20 0 15 0 48662095 11078557696 11368 33554432000 4194304 4196468 140727037026240 140402100574192 140402573929090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7374] ppid=7312 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7374/stat : 7374 (java) S 7312 7315 4818 0 -1 1077944384 13 13193 0 0 0 0 4 3 20 0 15 0 48662096 11078557696 11368 33554432000 4194304 4196468 140727037026240 140401474266016 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7375] ppid=7312 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7375/stat : 7375 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 15 0 48662096 11078557696 11368 33554432000 4194304 4196468 140727037026240 140401340048368 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7376] ppid=7312 vsize=10818904 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7376/stat : 7376 (java) S 7312 7315 4818 0 -1 1077944384 3 13193 0 0 0 0 4 3 20 0 15 0 48662098 11078557696 11368 33554432000 4194304 4196468 140727037026240 140401099757776 140402573936539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7377] ppid=7312 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7315/task/7377/stat : 7377 (java) S 7312 7315 4818 0 -1 1077944384 492 13193 0 0 1 0 4 3 20 0 15 0 48662098 11078557696 11368 33554432000 4194304 4196468 140727037026240 140402099522032 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7378] ppid=7312 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7315/task/7378/stat : 7378 (java) S 7312 7315 4818 0 -1 1077944384 89 13193 0 0 1 0 4 3 20 0 15 0 48662098 11078557696 11368 33554432000 4194304 4196468 140727037026240 140402098469488 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7379] ppid=7312 vsize=10818904 memory=140194341750400 CPUtime=0.1 cores=1,3,5,7
/proc/7315/task/7379/stat : 7379 (java) R 7312 7315 4818 0 -1 4202560 571 13193 0 0 3 0 4 3 20 0 15 0 48662099 11078557696 11368 33554432000 4194304 4196468 140727037026240 140402097416944 140402553300558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7380] ppid=7312 vsize=10818904 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7380/stat : 7380 (java) S 7312 7315 4818 0 -1 1077944384 3 13193 0 0 0 0 4 3 20 0 15 0 48662099 11078557696 11368 33554432000 4194304 4196468 140727037026240 140401066200160 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7381] ppid=7312 vsize=10818904 memory=140194341750400 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7381/stat : 7381 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 15 0 48662099 11078557696 11368 33554432000 4194304 4196468 140727037026240 140402096363824 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 45472 KiB

[startup+0.31017 s]*
/proc/loadavg: 2.61 2.08 1.81 3/215 7381
/proc/meminfo: memFree=17820844/32770624 swapFree=67108860/67108860
[pid=7315] ppid=7312 vsize=10819352 memory=53348 CPUtime=0.38 cores=1,3,5,7
/proc/7315/stat : 7315 (java) S 7312 7315 4818 0 -1 1077944320 10448 13193 0 0 28 3 4 3 20 0 15 0 48662084 11079016448 13337 33554432000 4194304 4196468 140727037026240 140727037008784 140402573917943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
/proc/7315/statm: 2704838 13337 3088 1 0 2667149 0
[pid=7315/tid=7368] ppid=7312 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/7315/task/7368/stat : 7368 (java) R 7312 7315 4818 0 -1 4202560 7055 13193 0 0 19 2 4 3 20 0 15 0 48662093 11079016448 13337 33554432000 4194304 4196468 140727037026240 140402545729952 140402557104805 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7369] ppid=7312 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7369/stat : 7369 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 15 0 48662094 11079016448 13337 33554432000 4194304 4196468 140727037026240 140402578160400 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7370] ppid=7312 vsize=10819352 memory=140194341757393 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7370/stat : 7370 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 15 0 48662094 11079016448 13337 33554432000 4194304 4196468 140727037026240 140402482363280 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7371] ppid=7312 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7371/stat : 7371 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 15 0 48662094 11079016448 13337 33554432000 4194304 4196468 140727037026240 140402146204688 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7372] ppid=7312 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7372/stat : 7372 (java) S 7312 7315 4818 0 -1 1077944384 2 13193 0 0 0 0 4 3 20 0 15 0 48662094 11079016448 13337 33554432000 4194304 4196468 140727037026240 140402145152144 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7373] ppid=7312 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7373/stat : 7373 (java) S 7312 7315 4818 0 -1 1077944384 2 13193 0 0 0 0 4 3 20 0 15 0 48662095 11079016448 13337 33554432000 4194304 4196468 140727037026240 140402100574192 140402573929090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7374] ppid=7312 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7374/stat : 7374 (java) S 7312 7315 4818 0 -1 1077944384 13 13193 0 0 0 0 4 3 20 0 15 0 48662096 11079016448 13337 33554432000 4194304 4196468 140727037026240 140401474266016 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7375] ppid=7312 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7375/stat : 7375 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 15 0 48662096 11079016448 13337 33554432000 4194304 4196468 140727037026240 140401340048368 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7376] ppid=7312 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7376/stat : 7376 (java) S 7312 7315 4818 0 -1 1077944384 3 13193 0 0 0 0 4 3 20 0 15 0 48662098 11079016448 13337 33554432000 4194304 4196468 140727037026240 140401099757776 140402573936539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7377] ppid=7312 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7315/task/7377/stat : 7377 (java) S 7312 7315 4818 0 -1 1077944384 493 13193 0 0 1 0 4 3 20 0 15 0 48662098 11079016448 13337 33554432000 4194304 4196468 140727037026240 140402099522032 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7378] ppid=7312 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7315/task/7378/stat : 7378 (java) S 7312 7315 4818 0 -1 1077944384 89 13193 0 0 1 0 4 3 20 0 15 0 48662098 11079016448 13337 33554432000 4194304 4196468 140727037026240 140402098469488 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7379] ppid=7312 vsize=10819352 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/7315/task/7379/stat : 7379 (java) S 7312 7315 4818 0 -1 1077944384 590 13193 0 0 5 0 4 3 20 0 15 0 48662099 11079016448 13337 33554432000 4194304 4196468 140727037026240 140402097416944 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7380] ppid=7312 vsize=10819352 memory=140194341750400 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7380/stat : 7380 (java) S 7312 7315 4818 0 -1 1077944384 3 13193 0 0 0 0 4 3 20 0 15 0 48662099 11079016448 13337 33554432000 4194304 4196468 140727037026240 140401066200160 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7381] ppid=7312 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7381/stat : 7381 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 15 0 48662099 11079016448 13337 33554432000 4194304 4196468 140727037026240 140402096363824 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53348 KiB

[startup+0.700702 s]
/proc/loadavg: 2.61 2.08 1.81 3/215 7381
/proc/meminfo: memFree=17811416/32770624 swapFree=67108860/67108860
[pid=7315] ppid=7312 vsize=10819352 memory=86680 CPUtime=0.98 cores=1,3,5,7
/proc/7315/stat : 7315 (java) S 7312 7315 4818 0 -1 1077944320 16761 13193 0 0 87 4 4 3 20 0 15 0 48662084 11079016448 21670 33554432000 4194304 4196468 140727037026240 140727037008784 140402573917943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
/proc/7315/statm: 2704838 21670 3237 1 0 2667149 0
[pid=7315/tid=7368] ppid=7312 vsize=10819352 memory=140196322476581 CPUtime=0.66 cores=1,3,5,7
/proc/7315/task/7368/stat : 7368 (java) R 7312 7315 4818 0 -1 4202560 12277 13193 0 0 56 3 4 3 20 0 15 0 48662093 11079016448 21670 33554432000 4194304 4196468 140727037026240 140402545738768 140402559083598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7369] ppid=7312 vsize=10819352 memory=140196322476602 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7369/stat : 7369 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 15 0 48662094 11079016448 21670 33554432000 4194304 4196468 140727037026240 140402578160400 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7370] ppid=7312 vsize=10819352 memory=140196322476603 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7370/stat : 7370 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 15 0 48662094 11079016448 21670 33554432000 4194304 4196468 140727037026240 140402482363280 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7371] ppid=7312 vsize=10819352 memory=140196322476605 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7371/stat : 7371 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 15 0 48662094 11079016448 21670 33554432000 4194304 4196468 140727037026240 140402146204688 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7372] ppid=7312 vsize=10819352 memory=140196322476611 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7372/stat : 7372 (java) S 7312 7315 4818 0 -1 1077944384 2 13193 0 0 0 0 4 3 20 0 15 0 48662094 11079016448 21670 33554432000 4194304 4196468 140727037026240 140402145152144 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7373] ppid=7312 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7373/stat : 7373 (java) S 7312 7315 4818 0 -1 1077944384 6 13193 0 0 0 0 4 3 20 0 15 0 48662095 11079016448 21670 33554432000 4194304 4196468 140727037026240 140402100574192 140402573929090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7374] ppid=7312 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7374/stat : 7374 (java) S 7312 7315 4818 0 -1 1077944384 13 13193 0 0 0 0 4 3 20 0 15 0 48662096 11079016448 21670 33554432000 4194304 4196468 140727037026240 140401474266016 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7375] ppid=7312 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7375/stat : 7375 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 15 0 48662096 11079016448 21670 33554432000 4194304 4196468 140727037026240 140401340048368 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7376] ppid=7312 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7376/stat : 7376 (java) S 7312 7315 4818 0 -1 1077944384 3 13193 0 0 0 0 4 3 20 0 15 0 48662098 11079016448 21670 33554432000 4194304 4196468 140727037026240 140401099757776 140402573936539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7377] ppid=7312 vsize=10819352 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/7315/task/7377/stat : 7377 (java) S 7312 7315 4818 0 -1 1077944384 882 13193 0 0 7 0 4 3 20 0 15 0 48662098 11079016448 21670 33554432000 4194304 4196468 140727037026240 140402099522032 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7378] ppid=7312 vsize=10819352 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/7315/task/7378/stat : 7378 (java) S 7312 7315 4818 0 -1 1077944384 695 13193 0 0 9 0 4 3 20 0 15 0 48662098 11079016448 21670 33554432000 4194304 4196468 140727037026240 140402098469488 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7379] ppid=7312 vsize=10819352 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/7315/task/7379/stat : 7379 (java) S 7312 7315 4818 0 -1 1077944384 682 13193 0 0 13 0 4 3 20 0 15 0 48662099 11079016448 21670 33554432000 4194304 4196468 140727037026240 140402097416944 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7380] ppid=7312 vsize=10819352 memory=5 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7380/stat : 7380 (java) S 7312 7315 4818 0 -1 1077944384 3 13193 0 0 0 0 4 3 20 0 15 0 48662099 11079016448 21670 33554432000 4194304 4196468 140727037026240 140401066200160 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7381] ppid=7312 vsize=10819352 memory=18464 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7381/stat : 7381 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 15 0 48662099 11079016448 21670 33554432000 4194304 4196468 140727037026240 140402096363824 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86680 KiB

[startup+1.50148 s]
/proc/loadavg: 2.61 2.08 1.81 5/215 7381
/proc/meminfo: memFree=17764464/32770624 swapFree=67108860/67108860
[pid=7315] ppid=7312 vsize=10828108 memory=236084 CPUtime=2.99 cores=1,3,5,7
/proc/7315/stat : 7315 (java) S 7312 7315 4818 0 -1 1077944320 22444 13193 0 0 282 10 4 3 20 0 15 0 48662084 11087982592 59021 33554432000 4194304 4196468 140727037026240 140727037008784 140402573917943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
/proc/7315/statm: 2707027 59021 3476 1 0 2668685 0
[pid=7315/tid=7368] ppid=7312 vsize=10828108 memory=111044 CPUtime=1.43 cores=1,3,5,7
/proc/7315/task/7368/stat : 7368 (java) R 7312 7315 4818 0 -1 4202560 14996 13193 0 0 130 6 4 3 20 0 15 0 48662093 11087982592 59021 33554432000 4194304 4196468 140727037026240 140402545751344 140402166258405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7369] ppid=7312 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7369/stat : 7369 (java) S 7312 7315 4818 0 -1 1077944384 102 13193 0 0 0 0 4 3 20 0 15 0 48662094 11087982592 59021 33554432000 4194304 4196468 140727037026240 140402578160400 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7370] ppid=7312 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7370/stat : 7370 (java) S 7312 7315 4818 0 -1 1077944384 34 13193 0 0 0 0 4 3 20 0 15 0 48662094 11087982592 59021 33554432000 4194304 4196468 140727037026240 140402482363280 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7371] ppid=7312 vsize=10828108 memory=140194242317136 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7371/stat : 7371 (java) S 7312 7315 4818 0 -1 1077944384 4 13193 0 0 0 0 4 3 20 0 15 0 48662094 11087982592 59021 33554432000 4194304 4196468 140727037026240 140402146204688 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7372] ppid=7312 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7372/stat : 7372 (java) R 7312 7315 4818 0 -1 1077944384 214 13193 0 0 0 0 4 3 20 0 15 0 48662094 11087982592 59021 33554432000 4194304 4196468 140727037026240 140402145152144 140402573928149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7373] ppid=7312 vsize=10828108 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7373/stat : 7373 (java) S 7312 7315 4818 0 -1 1077944384 88 13193 0 0 0 0 4 3 20 0 15 0 48662095 11087982592 59021 33554432000 4194304 4196468 140727037026240 140402100574192 140402573929090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7374] ppid=7312 vsize=10828108 memory=-7452431979323206951 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7374/stat : 7374 (java) S 7312 7315 4818 0 -1 1077944384 14 13193 0 0 0 0 4 3 20 0 15 0 48662096 11087982592 59021 33554432000 4194304 4196468 140727037026240 140401474266016 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7375] ppid=7312 vsize=10828108 memory=280388484207104 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7375/stat : 7375 (java) S 7312 7315 4818 0 -1 1077944384 1 13193 0 0 0 0 4 3 20 0 15 0 48662096 11087982592 59021 33554432000 4194304 4196468 140727037026240 140401340047200 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7376] ppid=7312 vsize=10828108 memory=10799 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7376/stat : 7376 (java) S 7312 7315 4818 0 -1 1077944384 3 13193 0 0 0 0 4 3 20 0 15 0 48662098 11087982592 59021 33554432000 4194304 4196468 140727037026240 140401099757776 140402573936539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7377] ppid=7312 vsize=10828108 memory=25313 CPUtime=0.61 cores=1,3,5,7
/proc/7315/task/7377/stat : 7377 (java) R 7312 7315 4818 0 -1 4202560 1690 13193 0 0 54 0 4 3 20 0 15 0 48662098 11087982592 59021 33554432000 4194304 4196468 140727037026240 140402099507024 140402558033660 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7378] ppid=7312 vsize=10828108 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/7315/task/7378/stat : 7378 (java) R 7312 7315 4818 0 -1 4202560 1778 13193 0 0 54 0 4 3 20 0 15 0 48662098 11087982592 59021 33554432000 4194304 4196468 140727037026240 140402098449040 140402557304554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7379] ppid=7312 vsize=10828108 memory=321013415751723303 CPUtime=0.45 cores=1,3,5,7
/proc/7315/task/7379/stat : 7379 (java) R 7312 7315 4818 0 -1 1077944384 1321 13193 0 0 38 0 4 3 20 0 15 0 48662099 11087982592 59021 33554432000 4194304 4196468 140727037026240 140402097416944 140402573929090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0

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

[pid=7315/tid=7380] ppid=7312 vsize=10914144 memory=18464 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7380/stat : 7380 (java) S 7312 7315 4818 0 -1 1077944384 3 13193 0 0 0 0 4 3 20 0 15 0 48662099 11176083456 1011898 33554432000 4194304 4196468 140727037026240 140401066200160 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7381] ppid=7312 vsize=10914144 memory=10556 CPUtime=0.24 cores=1,3,5,7
/proc/7315/task/7381/stat : 7381 (java) S 7312 7315 4818 0 -1 1077944384 494 13193 0 0 8 9 4 3 20 0 15 0 48662099 11176083456 1011898 33554432000 4194304 4196468 140727037026240 140402096363824 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
Current children cumulated CPU time: 355.01 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 4047592 KiB

[startup+318.401 s]
/proc/loadavg: 1.87 2.01 1.86 3/217 7418
/proc/meminfo: memFree=13733344/32770624 swapFree=67108860/67108860
[pid=7315] ppid=7312 vsize=10914144 memory=4047596 CPUtime=356.88 cores=1,3,5,7
/proc/7315/stat : 7315 (java) S 7312 7315 4818 0 -1 1077944320 188518 13193 0 0 35448 233 4 3 20 0 15 0 48662084 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140727037008784 140402573917943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
/proc/7315/statm: 2728536 1011899 3539 1 0 2690189 0
[pid=7315/tid=7368] ppid=7312 vsize=10914144 memory=8112282956445269571 CPUtime=312.17 cores=1,3,5,7
/proc/7315/task/7368/stat : 7368 (java) R 7312 7315 4818 0 -1 4202560 60579 13193 0 0 31163 47 4 3 20 0 15 0 48662093 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402545747936 140402181836258 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7369] ppid=7312 vsize=10914144 memory=4043432 CPUtime=5.9 cores=1,3,5,7
/proc/7315/task/7369/stat : 7369 (java) S 7312 7315 4818 0 -1 1077944384 4183 13193 0 0 541 42 4 3 20 0 15 0 48662094 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402578160400 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7370] ppid=7312 vsize=10914144 memory=4047596 CPUtime=5.86 cores=1,3,5,7
/proc/7315/task/7370/stat : 7370 (java) S 7312 7315 4818 0 -1 1077944384 4011 13193 0 0 541 38 4 3 20 0 15 0 48662094 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402482363280 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7371] ppid=7312 vsize=10914144 memory=4136 CPUtime=5.91 cores=1,3,5,7
/proc/7315/task/7371/stat : 7371 (java) S 7312 7315 4818 0 -1 1077944384 5534 13193 0 0 543 41 4 3 20 0 15 0 48662094 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402146204688 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7372] ppid=7312 vsize=10914144 memory=1708 CPUtime=5.88 cores=1,3,5,7
/proc/7315/task/7372/stat : 7372 (java) S 7312 7315 4818 0 -1 1077944384 6964 13193 0 0 542 39 4 3 20 0 15 0 48662094 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402145152144 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7373] ppid=7312 vsize=10914144 memory=5792 CPUtime=0.33 cores=1,3,5,7
/proc/7315/task/7373/stat : 7373 (java) S 7312 7315 4818 0 -1 1077944384 34283 13193 0 0 23 3 4 3 20 0 15 0 48662095 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402100574192 140402573929090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7374] ppid=7312 vsize=10914144 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7374/stat : 7374 (java) S 7312 7315 4818 0 -1 1077944384 18 13193 0 0 0 0 4 3 20 0 15 0 48662096 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140401474266080 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7375] ppid=7312 vsize=10914144 memory=9920 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7375/stat : 7375 (java) S 7312 7315 4818 0 -1 1077944384 12 13193 0 0 0 0 4 3 20 0 15 0 48662096 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140401340048384 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7376] ppid=7312 vsize=10914144 memory=1944 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7376/stat : 7376 (java) S 7312 7315 4818 0 -1 1077944384 3 13193 0 0 0 0 4 3 20 0 15 0 48662098 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140401099757776 140402573936539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7377] ppid=7312 vsize=10914144 memory=15876 CPUtime=9.12 cores=1,3,5,7
/proc/7315/task/7377/stat : 7377 (java) S 7312 7315 4818 0 -1 1077944384 20319 13193 0 0 902 3 4 3 20 0 15 0 48662098 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402099522032 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7378] ppid=7312 vsize=10914144 memory=18464 CPUtime=9.27 cores=1,3,5,7
/proc/7315/task/7378/stat : 7378 (java) S 7312 7315 4818 0 -1 1077944384 24445 13193 0 0 915 5 4 3 20 0 15 0 48662098 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402098469488 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7379] ppid=7312 vsize=10914144 memory=10556 CPUtime=2.73 cores=1,3,5,7
/proc/7315/task/7379/stat : 7379 (java) S 7312 7315 4818 0 -1 1077944384 25477 13193 0 0 261 5 4 3 20 0 15 0 48662099 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402097416944 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7380] ppid=7312 vsize=10914144 memory=4052 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7380/stat : 7380 (java) S 7312 7315 4818 0 -1 1077944384 3 13193 0 0 0 0 4 3 20 0 15 0 48662099 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140401066200160 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7381] ppid=7312 vsize=10914144 memory=644 CPUtime=0.24 cores=1,3,5,7
/proc/7315/task/7381/stat : 7381 (java) S 7312 7315 4818 0 -1 1077944384 494 13193 0 0 8 9 4 3 20 0 15 0 48662099 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402096363824 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
Current children cumulated CPU time: 356.88 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 4047596 KiB

[startup+319.201 s]
/proc/loadavg: 1.87 2.01 1.86 3/217 7418
/proc/meminfo: memFree=13733336/32770624 swapFree=67108860/67108860
[pid=7315] ppid=7312 vsize=10914144 memory=4047596 CPUtime=357.8 cores=1,3,5,7
/proc/7315/stat : 7315 (java) S 7312 7315 4818 0 -1 1077944320 188583 13193 0 0 35540 233 4 3 20 0 15 0 48662084 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140727037008784 140402573917943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
/proc/7315/statm: 2728536 1011899 3539 1 0 2690189 0
[pid=7315/tid=7368] ppid=7312 vsize=10914144 memory=16156 CPUtime=312.97 cores=1,3,5,7
/proc/7315/task/7368/stat : 7368 (java) R 7312 7315 4818 0 -1 4202560 60618 13193 0 0 31243 47 4 3 20 0 15 0 48662093 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402545749120 140402167133568 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7369] ppid=7312 vsize=10914144 memory=8112282956445269571 CPUtime=5.9 cores=1,3,5,7
/proc/7315/task/7369/stat : 7369 (java) S 7312 7315 4818 0 -1 1077944384 4183 13193 0 0 541 42 4 3 20 0 15 0 48662094 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402578160400 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7370] ppid=7312 vsize=10914144 memory=8368 CPUtime=5.86 cores=1,3,5,7
/proc/7315/task/7370/stat : 7370 (java) S 7312 7315 4818 0 -1 1077944384 4011 13193 0 0 541 38 4 3 20 0 15 0 48662094 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402482363280 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7371] ppid=7312 vsize=10914144 memory=792 CPUtime=5.91 cores=1,3,5,7
/proc/7315/task/7371/stat : 7371 (java) S 7312 7315 4818 0 -1 1077944384 5534 13193 0 0 543 41 4 3 20 0 15 0 48662094 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402146204688 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7372] ppid=7312 vsize=10914144 memory=1008 CPUtime=5.88 cores=1,3,5,7
/proc/7315/task/7372/stat : 7372 (java) S 7312 7315 4818 0 -1 1077944384 6964 13193 0 0 542 39 4 3 20 0 15 0 48662094 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402145152144 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7373] ppid=7312 vsize=10914144 memory=1228 CPUtime=0.33 cores=1,3,5,7
/proc/7315/task/7373/stat : 7373 (java) S 7312 7315 4818 0 -1 1077944384 34283 13193 0 0 23 3 4 3 20 0 15 0 48662095 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402100574192 140402573929090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7374] ppid=7312 vsize=10914144 memory=1200 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7374/stat : 7374 (java) S 7312 7315 4818 0 -1 1077944384 18 13193 0 0 0 0 4 3 20 0 15 0 48662096 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140401474266080 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7375] ppid=7312 vsize=10914144 memory=792 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7375/stat : 7375 (java) S 7312 7315 4818 0 -1 1077944384 12 13193 0 0 0 0 4 3 20 0 15 0 48662096 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140401340048384 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7376] ppid=7312 vsize=10914144 memory=1008 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7376/stat : 7376 (java) S 7312 7315 4818 0 -1 1077944384 3 13193 0 0 0 0 4 3 20 0 15 0 48662098 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140401099757776 140402573936539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7377] ppid=7312 vsize=10914144 memory=1228 CPUtime=9.22 cores=1,3,5,7
/proc/7315/task/7377/stat : 7377 (java) S 7312 7315 4818 0 -1 1077944384 20337 13193 0 0 912 3 4 3 20 0 15 0 48662098 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402099522032 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7378] ppid=7312 vsize=10914144 memory=1200 CPUtime=9.3 cores=1,3,5,7
/proc/7315/task/7378/stat : 7378 (java) S 7312 7315 4818 0 -1 1077944384 24453 13193 0 0 918 5 4 3 20 0 15 0 48662098 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402098469488 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7379] ppid=7312 vsize=10914144 memory=15876 CPUtime=2.73 cores=1,3,5,7
/proc/7315/task/7379/stat : 7379 (java) S 7312 7315 4818 0 -1 1077944384 25477 13193 0 0 261 5 4 3 20 0 15 0 48662099 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402097416944 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7380] ppid=7312 vsize=10914144 memory=18464 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7380/stat : 7380 (java) S 7312 7315 4818 0 -1 1077944384 3 13193 0 0 0 0 4 3 20 0 15 0 48662099 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140401066200160 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7381] ppid=7312 vsize=10914144 memory=10556 CPUtime=0.24 cores=1,3,5,7
/proc/7315/task/7381/stat : 7381 (java) S 7312 7315 4818 0 -1 1077944384 494 13193 0 0 8 9 4 3 20 0 15 0 48662099 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402096363824 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
Current children cumulated CPU time: 357.8 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 4047596 KiB

[startup+320.001 s]*
/proc/loadavg: 1.87 2.01 1.86 3/217 7418
/proc/meminfo: memFree=13733460/32770624 swapFree=67108860/67108860
[pid=7315] ppid=7312 vsize=10914144 memory=4047596 CPUtime=358.61 cores=1,3,5,7
/proc/7315/stat : 7315 (java) S 7312 7315 4818 0 -1 1077944320 188618 13193 0 0 35621 233 4 3 20 0 15 0 48662084 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140727037008784 140402573917943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
/proc/7315/statm: 2728536 1011899 3539 1 0 2690189 0
[pid=7315/tid=7368] ppid=7312 vsize=10914144 memory=2200 CPUtime=313.78 cores=1,3,5,7
/proc/7315/task/7368/stat : 7368 (java) R 7312 7315 4818 0 -1 4202560 60653 13193 0 0 31324 47 4 3 20 0 15 0 48662093 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402545749008 140402181836258 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7369] ppid=7312 vsize=10914144 memory=7892 CPUtime=5.9 cores=1,3,5,7
/proc/7315/task/7369/stat : 7369 (java) S 7312 7315 4818 0 -1 1077944384 4183 13193 0 0 541 42 4 3 20 0 15 0 48662094 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402578160400 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7370] ppid=7312 vsize=10914144 memory=4126316290023845779 CPUtime=5.86 cores=1,3,5,7
/proc/7315/task/7370/stat : 7370 (java) S 7312 7315 4818 0 -1 1077944384 4011 13193 0 0 541 38 4 3 20 0 15 0 48662094 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402482363280 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7371] ppid=7312 vsize=10914144 memory=1800 CPUtime=5.91 cores=1,3,5,7
/proc/7315/task/7371/stat : 7371 (java) S 7312 7315 4818 0 -1 1077944384 5534 13193 0 0 543 41 4 3 20 0 15 0 48662094 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402146204688 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7372] ppid=7312 vsize=10914144 memory=920 CPUtime=5.88 cores=1,3,5,7
/proc/7315/task/7372/stat : 7372 (java) S 7312 7315 4818 0 -1 1077944384 6964 13193 0 0 542 39 4 3 20 0 15 0 48662094 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402145152144 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7373] ppid=7312 vsize=10914144 memory=3848 CPUtime=0.33 cores=1,3,5,7
/proc/7315/task/7373/stat : 7373 (java) S 7312 7315 4818 0 -1 1077944384 34283 13193 0 0 23 3 4 3 20 0 15 0 48662095 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402100574192 140402573929090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7374] ppid=7312 vsize=10914144 memory=2600 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7374/stat : 7374 (java) S 7312 7315 4818 0 -1 1077944384 18 13193 0 0 0 0 4 3 20 0 15 0 48662096 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140401474266080 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7375] ppid=7312 vsize=10914144 memory=2600 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7375/stat : 7375 (java) S 7312 7315 4818 0 -1 1077944384 12 13193 0 0 0 0 4 3 20 0 15 0 48662096 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140401340048384 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7376] ppid=7312 vsize=10914144 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7376/stat : 7376 (java) S 7312 7315 4818 0 -1 1077944384 3 13193 0 0 0 0 4 3 20 0 15 0 48662098 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140401099757776 140402573936539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7377] ppid=7312 vsize=10914144 memory=3240 CPUtime=9.22 cores=1,3,5,7
/proc/7315/task/7377/stat : 7377 (java) S 7312 7315 4818 0 -1 1077944384 20337 13193 0 0 912 3 4 3 20 0 15 0 48662098 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402099522032 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7378] ppid=7312 vsize=10914144 memory=16156 CPUtime=9.3 cores=1,3,5,7
/proc/7315/task/7378/stat : 7378 (java) S 7312 7315 4818 0 -1 1077944384 24453 13193 0 0 918 5 4 3 20 0 15 0 48662098 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402098469488 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7379] ppid=7312 vsize=10914144 memory=1292 CPUtime=2.73 cores=1,3,5,7
/proc/7315/task/7379/stat : 7379 (java) S 7312 7315 4818 0 -1 1077944384 25477 13193 0 0 261 5 4 3 20 0 15 0 48662099 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402097416944 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7380] ppid=7312 vsize=10914144 memory=2436 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7380/stat : 7380 (java) S 7312 7315 4818 0 -1 1077944384 3 13193 0 0 0 0 4 3 20 0 15 0 48662099 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140401066200160 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7381] ppid=7312 vsize=10914144 memory=1728 CPUtime=0.24 cores=1,3,5,7
/proc/7315/task/7381/stat : 7381 (java) S 7312 7315 4818 0 -1 1077944384 494 13193 0 0 8 9 4 3 20 0 15 0 48662099 11176083456 1011899 33554432000 4194304 4196468 140727037026240 140402096363824 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
Current children cumulated CPU time: 358.61 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 4047596 KiB

[startup+320.201 s]
/proc/loadavg: 1.87 2.01 1.86 3/217 7418
/proc/meminfo: memFree=13733460/32770624 swapFree=67108860/67108860
[pid=7315] ppid=7312 vsize=10914144 memory=4047660 CPUtime=358.81 cores=1,3,5,7
/proc/7315/stat : 7315 (java) S 7312 7315 4818 0 -1 1077944320 188869 13193 0 0 35640 234 4 3 20 0 15 0 48662084 11176083456 1011915 33554432000 4194304 4196468 140727037026240 140727037008784 140402573917943 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
/proc/7315/statm: 2728536 1011915 3540 1 0 2690189 0
[pid=7315/tid=7368] ppid=7312 vsize=10914144 memory=1200 CPUtime=313.97 cores=1,3,5,7
/proc/7315/task/7368/stat : 7368 (java) R 7312 7315 4818 0 -1 4202560 60905 13193 0 0 31343 47 4 3 20 0 15 0 48662093 11176083456 1011915 33554432000 4194304 4196468 140727037026240 140402545754752 140402559611441 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7369] ppid=7312 vsize=10914144 memory=15876 CPUtime=5.9 cores=1,3,5,7
/proc/7315/task/7369/stat : 7369 (java) S 7312 7315 4818 0 -1 1077944384 4183 13193 0 0 541 42 4 3 20 0 15 0 48662094 11176083456 1011915 33554432000 4194304 4196468 140727037026240 140402578160400 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7370] ppid=7312 vsize=10914144 memory=18464 CPUtime=5.86 cores=1,3,5,7
/proc/7315/task/7370/stat : 7370 (java) S 7312 7315 4818 0 -1 1077944384 4011 13193 0 0 541 38 4 3 20 0 15 0 48662094 11176083456 1011915 33554432000 4194304 4196468 140727037026240 140402482363280 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7371] ppid=7312 vsize=10914144 memory=10556 CPUtime=5.91 cores=1,3,5,7
/proc/7315/task/7371/stat : 7371 (java) S 7312 7315 4818 0 -1 1077944384 5534 13193 0 0 543 41 4 3 20 0 15 0 48662094 11176083456 1011915 33554432000 4194304 4196468 140727037026240 140402146204688 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7372] ppid=7312 vsize=10914144 memory=8112282956445269571 CPUtime=5.88 cores=1,3,5,7
/proc/7315/task/7372/stat : 7372 (java) S 7312 7315 4818 0 -1 1077944384 6964 13193 0 0 542 39 4 3 20 0 15 0 48662094 11176083456 1011915 33554432000 4194304 4196468 140727037026240 140402145152144 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7373] ppid=7312 vsize=10914144 memory=2436 CPUtime=0.33 cores=1,3,5,7
/proc/7315/task/7373/stat : 7373 (java) S 7312 7315 4818 0 -1 1077944384 34283 13193 0 0 23 3 4 3 20 0 15 0 48662095 11176083456 1011915 33554432000 4194304 4196468 140727037026240 140402100574192 140402573929090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7374] ppid=7312 vsize=10946916 memory=1728 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7374/stat : 7374 (java) S 7312 7315 4818 0 -1 1077944384 18 13193 0 0 0 0 4 3 20 0 15 0 48662096 11209641984 1011915 33554432000 4194304 4196468 140727037026240 140401474266080 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7375] ppid=7312 vsize=10946916 memory=1708 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7375/stat : 7375 (java) S 7312 7315 4818 0 -1 1077944384 12 13193 0 0 0 0 4 3 20 0 15 0 48662096 11209641984 1011915 33554432000 4194304 4196468 140727037026240 140401340048384 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7376] ppid=7312 vsize=10946916 memory=5792 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7376/stat : 7376 (java) S 7312 7315 4818 0 -1 1077944384 3 13193 0 0 0 0 4 3 20 0 15 0 48662098 11209641984 1011915 33554432000 4194304 4196468 140727037026240 140401099757776 140402573936539 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7377] ppid=7312 vsize=10946916 memory=4612 CPUtime=9.23 cores=1,3,5,7
/proc/7315/task/7377/stat : 7377 (java) S 7312 7315 4818 0 -1 1077944384 20337 13193 0 0 913 3 4 3 20 0 15 0 48662098 11209641984 1011915 33554432000 4194304 4196468 140727037026240 140402099522032 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7378] ppid=7312 vsize=10946916 memory=9920 CPUtime=9.3 cores=1,3,5,7
/proc/7315/task/7378/stat : 7378 (java) S 7312 7315 4818 0 -1 1077944384 24453 13193 0 0 918 5 4 3 20 0 15 0 48662098 11209641984 1011915 33554432000 4194304 4196468 140727037026240 140402098469488 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7379] ppid=7312 vsize=10946916 memory=1944 CPUtime=2.73 cores=1,3,5,7
/proc/7315/task/7379/stat : 7379 (java) S 7312 7315 4818 0 -1 1077944384 25481 13193 0 0 261 5 4 3 20 0 15 0 48662099 11209641984 1011915 33554432000 4194304 4196468 140727037026240 140402097416944 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7380] ppid=7312 vsize=10946916 memory=1428 CPUtime=0.07 cores=1,3,5,7
/proc/7315/task/7380/stat : 7380 (java) S 7312 7315 4818 0 -1 1077944384 3 13193 0 0 0 0 4 3 20 0 15 0 48662099 11209641984 1011915 33554432000 4194304 4196468 140727037026240 140401066200160 140402573928149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
[pid=7315/tid=7381] ppid=7312 vsize=10946916 memory=8368 CPUtime=0.24 cores=1,3,5,7
/proc/7315/task/7381/stat : 7381 (java) S 7312 7315 4818 0 -1 1077944384 494 13193 0 0 8 9 4 3 20 0 15 0 48662099 11209641984 1011915 33554432000 4194304 4196468 140727037026240 140402096363824 140402573929090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13467648 140727037032620 140727037035868 140727037035868 140727037038543 0
Current children cumulated CPU time: 358.81 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 4047660 KiB

Child status: 0
Real time (s): 320.229
CPU time (s): 358.86
CPU user time (s): 356.456
CPU system time (s): 2.40428
CPU usage (%): 112.064
Max. virtual memory (cumulated for all children) (KiB): 10916976
Max. memory (cumulated for all children) (KiB): 4064824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 356.456
system time used= 2.40428
maximum resident set size= 4064976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202147
page faults= 0
swaps= 0
block input operations= 0
block output operations= 624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17695
involuntary context switches= 489


# summary of solver processes directly reported to runsolver:
#   pid: 7315
#   total CPU time (s): 358.86
#   total CPU user time (s): 356.456
#   total CPU system time (s): 2.40428

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.59148 second user time and 3.36878 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-23 03:56:28
IDJOB=4293258
IDBENCH=141144
IDSOLVER=2751
FILE ID=node150/4293258-1532310988
RUNJOBID= node150-1532297041-4850
PBS_JOBID= 21018991
Free space on /tmp= 57224 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/GraphColoring/GraphColoring-qg-order30_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293258-1532310988/watcher-4293258-1532310988 -o /tmp/evaluation-result-4293258-1532310988/solver-4293258-1532310988 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532297041-4850 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=335427141 -superng HOME/instance-4293258-1532310988.xml

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

MD5SUM BENCH= 2f5cbdca11052f8d5a6d32bd8b795ba4
RANDOM SEED=335427141

node150.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.76
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.76
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.76
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.76
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:        17862160 kB
MemAvailable:   26930076 kB
Buffers:          202260 kB
Cached:          9073568 kB
SwapCached:            0 kB
Active:          6165148 kB
Inactive:        8165748 kB
Active(anon):    5013420 kB
Inactive(anon):    61460 kB
Active(file):    1151728 kB
Inactive(file):  8104288 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             27180 kB
Writeback:             0 kB
AnonPages:       5042404 kB
Mapped:            49944 kB
Shmem:             17032 kB
Slab:             267128 kB
SReclaimable:     240360 kB
SUnreclaim:        26768 kB
KernelStack:        3696 kB
PageTables:        14912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5733160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4771840 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 57200 MiB
End job on node150 at 2018-07-23 04:01:49