Trace number 4387009

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.10OPT6 2007.68 1954.79

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-2-fullins-5.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 benchmark58.2779
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 

0.64/0.59	c Concrete v3.10.1560635388952 running
19.83/9.05	o 851
21.50/9.85	o 850
22.18/10.13	o 849
22.51/10.35	o 848
22.89/10.56	o 847
23.45/10.76	o 846
23.81/10.99	o 845
24.24/11.21	o 844
24.63/11.42	o 843
25.01/11.67	o 842
25.64/11.90	o 841
25.85/12.09	o 840
26.21/12.26	o 839
26.61/12.41	o 838
26.76/12.57	o 837
27.09/12.74	o 836
27.36/12.90	o 835
27.49/13.03	o 834
27.61/13.18	o 833
27.84/13.30	o 832
28.00/13.45	o 831
28.11/13.58	o 830
28.35/13.70	o 829
28.48/13.87	o 828
28.60/14.00	o 827
28.89/14.13	o 826
29.00/14.29	o 825
29.24/14.44	o 824
29.38/14.58	o 823
29.68/14.71	o 822
29.80/14.87	o 821
29.91/15.00	o 820
30.18/15.14	o 819
30.29/15.28	o 818
30.54/15.44	o 817
30.66/15.59	o 816
30.94/15.79	o 815
31.23/15.97	o 814
31.49/16.12	o 813
31.60/16.26	o 812
31.84/16.41	o 811
31.97/16.55	o 810
32.09/16.69	o 809
32.36/16.81	o 808
32.49/16.94	o 807
32.69/17.10	o 806
32.94/17.23	o 805
33.06/17.36	o 804
33.19/17.46	o 803
33.30/17.58	o 802
33.42/17.67	o 801
33.53/17.75	o 800
33.65/17.84	o 799
33.77/17.99	o 798
34.03/18.14	o 797
34.14/18.26	o 796
34.25/18.38	o 795
34.50/18.51	o 794
34.62/18.62	o 793
34.73/18.74	o 792
34.85/18.85	o 791
34.97/18.96	o 790
35.13/19.09	o 789
35.49/19.27	o 788
35.73/19.40	o 787
35.86/19.54	o 786
35.97/19.66	o 785
36.11/19.78	o 784
36.30/19.89	o 783
36.42/19.99	o 782
36.54/20.09	o 781
36.66/20.19	o 780
36.79/20.27	o 779
37.03/20.42	o 778
37.13/20.57	o 777
37.33/20.70	o 776
37.44/20.84	o 775
37.57/20.95	o 774
37.69/21.06	o 773
37.79/21.15	o 772
37.89/21.25	o 771
37.99/21.35	o 770
38.09/21.44	o 769
38.20/21.53	o 768
38.31/21.62	o 767
38.45/21.70	o 766
38.56/21.83	o 765
38.66/21.96	o 764
38.77/22.07	o 763
38.87/22.17	o 762
38.97/22.28	o 761
39.07/22.38	o 760
39.17/22.46	o 759
39.28/22.55	o 758
39.40/22.63	o 757
39.50/22.71	o 756
39.50/22.80	o 755
39.61/22.87	o 754
39.71/22.94	o 753
39.83/23.01	o 752
39.83/23.08	o 751
39.95/23.14	o 750
40.05/23.21	o 749
40.15/23.33	o 748
40.25/23.44	o 747
40.36/23.55	o 746
40.46/23.66	o 745
40.56/23.77	o 744
40.67/23.87	o 743
40.77/23.98	o 742
40.88/24.08	o 741
40.99/24.18	o 740
41.08/24.28	o 739
41.18/24.37	o 738
41.29/24.46	o 737
41.39/24.55	o 736
41.50/24.63	o 735
41.60/24.71	o 734
41.60/24.79	o 733
41.70/24.86	o 732
41.80/24.93	o 731
41.80/25.00	o 730
42.02/25.12	o 729
42.11/25.24	o 728
42.21/25.34	o 727
42.32/25.44	o 726
42.43/25.53	o 725
42.53/25.62	o 724
42.64/25.71	o 723
42.74/25.80	o 722
42.74/25.89	o 721
42.85/25.96	o 720
42.96/26.03	o 719
42.96/26.10	o 718
43.06/26.17	o 717
43.17/26.23	o 716
43.17/26.29	o 715
43.27/26.35	o 714
43.38/26.41	o 713
43.38/26.46	o 712
43.48/26.51	o 711
43.48/26.56	o 710
43.58/26.61	o 709
43.58/26.66	o 708
43.68/26.70	o 707
43.68/26.74	o 706
43.68/26.79	o 705
43.78/26.83	o 704
43.78/26.87	o 703
43.88/26.90	o 702
43.88/26.94	o 701
43.99/27.05	o 700
44.09/27.18	o 699
44.29/27.32	o 698
44.40/27.44	o 697
44.50/27.55	o 696
44.60/27.66	o 695
44.71/27.76	o 694
44.81/27.86	o 693
44.91/27.95	o 692
45.02/28.05	o 691
45.13/28.13	o 690
45.23/28.23	o 689
45.33/28.31	o 688
45.43/28.40	o 687
45.43/28.47	o 686
45.54/28.54	o 685
45.64/28.61	o 684
45.64/28.68	o 683
45.74/28.74	o 682
45.84/28.81	o 681
45.84/28.87	o 680
45.97/28.95	o 679
46.08/29.01	o 678
46.08/29.07	o 677
46.18/29.13	o 676
46.18/29.18	o 675
46.28/29.23	o 674
46.28/29.27	o 673
46.38/29.32	o 672
46.38/29.37	o 671
46.48/29.42	o 670
46.58/29.54	o 669
46.68/29.67	o 668
46.78/29.79	o 667
46.99/29.92	o 666
47.10/30.03	o 665
47.20/30.15	o 664
47.30/30.26	o 663
47.40/30.37	o 662
47.50/30.48	o 661
47.72/30.60	o 660
47.83/30.71	o 659
47.94/30.81	o 658
48.04/30.90	o 657
48.04/30.99	o 656
48.15/31.08	o 655
48.25/31.18	o 654
48.35/31.25	o 653
48.45/31.31	o 652
48.45/31.37	o 651
48.55/31.43	o 650
48.55/31.48	o 649
48.65/31.53	o 648
48.65/31.58	o 647
48.76/31.63	o 646
48.76/31.68	o 645
48.86/31.72	o 644
48.86/31.77	o 643
48.98/31.80	o 642
48.98/31.83	o 641
48.98/31.86	o 640
48.98/31.88	o 639
48.98/31.89	o 638
49.08/31.91	o 637
49.08/31.92	o 636
49.08/31.93	o 635
49.08/31.94	o 634
49.08/31.95	o 633
49.08/31.96	o 632
49.08/31.97	o 631
49.08/31.98	o 630
49.08/31.99	o 7
49.51/32.13	o 6
2007.57/1954.77	v <instantiation
2007.57/1954.77	v         cost = '6'>
2007.57/1954.77	v       <list>
2007.57/1954.77	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]
2007.57/1954.77	v       </list>
2007.57/1954.77	v       <values>
2007.57/1954.77	v         5 1 0 4 3 3 2 2 0 3 2 4 2 1 2 1 1 1 1 1 1 1 1 1 4 1 3 3 3 3 3 3 3 3 3 3 6 6 2 2 2 2 2 2 2 2 2 2 3 4 2 1 6 3 0 6 6 3 6 6 0 6 6 6 6 6 0 6 6 6 6 6 0 6 6 6 0 0 0 0 0 0 0 6 6 0 0 0 0 0 6 6 0 6 0 0 0 0 0 0 0 6 0 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 3 1 1 1 3 1 1 1 1 3 1 1 3 4 3 3 3 3 4 3 4 4 3 4 3 3 3 3 0 0 0 0 0 0 0 0 6 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 3 4 0 5 0 3 5 0 0 3 2 2 0 3 2 5 5 2 2 2 5 5 2 2 5 5 2 5 3 3 5 3 3 3 3 3 3 5 3 3 2 2 2 2 2 2 2 2 2 2 2 2 3 5 5 5 0 3 0 6 0 3 2 2 0 3 2 5 0 6 0 2 0 6 2 2 0 6 2 5 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 6 0 0 5 0 0 0 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 6 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 2 2 2 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 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 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 5 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 6 1 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 6 1 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 1 6 1 1 1 1 1 1 1 6 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 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 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 6 6 0 0 0 0 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 1 4 0 2
2007.57/1954.77	v       </values>
2007.57/1954.77	v     </instantiation>
2007.57/1954.77	s OPTIMUM FOUND

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387009-1568287665/watcher-4387009-1568287665 -o /tmp/evaluation-result-4387009-1568287665/solver-4387009-1568287665 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568287628-8128 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=19476020 HOME/instance-4387009-1568287665.xml 

running on 4 cores: 0,2,4,6

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=8158, runsolver pid=8151
Current StackSize limit: 8192 KiB


[startup+0.100663 s]*
/proc/loadavg: 1.00 1.01 1.24 7/231 8241
/proc/meminfo: memFree=31218700/32770624 swapFree=66940004/67108860
[pid=8158] ppid=8151 vsize=113256 memory=1616 CPUtime=0.08 cores=0,2,4,6
/proc/8158/stat : 8158 (bash) S 8151 8158 6622 0 -1 4202496 926 11077 0 0 0 0 5 3 20 0 1 0 405005280 115974144 404 33554432000 4194304 5098028 140734808774416 140734808767640 139644413086720 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 1 0 0 7196144 7232144 19226624 140734808777750 140734808777873 140734808777873 140734808780782 0
/proc/8158/statm: 28314 404 320 221 0 119 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1616 KiB

[startup+0.20967 s]*
/proc/loadavg: 1.00 1.01 1.24 10/227 8289
/proc/meminfo: memFree=31203176/32770624 swapFree=66940004/67108860
[pid=8158] ppid=8151 vsize=10818900 memory=34416 CPUtime=0.21 cores=0,2,4,6
/proc/8158/stat : 8158 (java) S 8151 8158 6622 0 -1 1077944320 7009 13108 0 1 12 1 5 3 20 0 15 0 405005280 11078553600 8604 33554432000 4194304 4196468 140734552000128 140734551982672 139637032529655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
/proc/8158/statm: 2704725 8604 2944 1 0 2667149 0
[pid=8158/tid=8263] ppid=8151 vsize=10818900 memory=7022364594140610616 CPUtime=0.16 cores=0,2,4,6
/proc/8158/task/8263/stat : 8263 (java) R 8151 8158 6622 0 -1 4202560 3499 13108 0 1 8 0 5 3 20 0 15 0 405005292 11078553600 8604 33554432000 4194304 4196468 140734552000128 139637004362352 139637024766782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8264] ppid=8151 vsize=10818900 memory=331 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8264/stat : 8264 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005293 11078553600 8604 33554432000 4194304 4196468 140734552000128 139637036771728 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8265] ppid=8151 vsize=10818900 memory=140372944521055 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8265/stat : 8265 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005293 11078553600 8604 33554432000 4194304 4196468 140734552000128 139636605552912 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8266] ppid=8151 vsize=10818900 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8266/stat : 8266 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005293 11078553600 8604 33554432000 4194304 4196468 140734552000128 139636604500624 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8267] ppid=8151 vsize=10818900 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8267/stat : 8267 (java) S 8151 8158 6622 0 -1 1077944384 2 13108 0 1 0 0 5 3 20 0 15 0 405005293 11078553600 8604 33554432000 4194304 4196468 140734552000128 139636603447824 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8273] ppid=8151 vsize=10818900 memory=140372944512640 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8273/stat : 8273 (java) S 8151 8158 6622 0 -1 1077944384 2 13108 0 1 0 0 5 3 20 0 15 0 405005294 11078553600 8604 33554432000 4194304 4196468 140734552000128 139636491905648 139637032540802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8275] ppid=8151 vsize=10818900 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8275/stat : 8275 (java) S 8151 8158 6622 0 -1 1077944384 33 13108 0 1 0 0 5 3 20 0 15 0 405005295 11078553600 8604 33554432000 4194304 4196468 140734552000128 139636490851616 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8277] ppid=8151 vsize=10818900 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8277/stat : 8277 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005295 11078553600 8604 33554432000 4194304 4196468 140734552000128 139636366108272 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8282] ppid=8151 vsize=10818900 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8282/stat : 8282 (java) S 8151 8158 6622 0 -1 1077944384 2 13108 0 1 0 0 5 3 20 0 15 0 405005298 11078553600 8604 33554432000 4194304 4196468 140734552000128 139635762129488 139637032548251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8283] ppid=8151 vsize=10818900 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8158/task/8283/stat : 8283 (java) R 8151 8158 6622 0 -1 4202560 559 13108 0 1 1 0 5 3 20 0 15 0 405005298 11078553600 8604 33554432000 4194304 4196468 140734552000128 139636457293936 139637016926380 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8284] ppid=8151 vsize=10818900 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8284/stat : 8284 (java) S 8151 8158 6622 0 -1 1077944384 58 13108 0 1 0 0 5 3 20 0 15 0 405005298 11078553600 8604 33554432000 4194304 4196468 140734552000128 139636456241136 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8285] ppid=8151 vsize=10818900 memory=140372944512640 CPUtime=0.09 cores=0,2,4,6
/proc/8158/task/8285/stat : 8285 (java) R 8151 8158 6622 0 -1 4202560 640 13108 0 1 1 0 5 3 20 0 15 0 405005298 11078553600 8604 33554432000 4194304 4196468 140734552000128 139636455188976 139637032541590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8287] ppid=8151 vsize=10818900 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8287/stat : 8287 (java) S 8151 8158 6622 0 -1 1077944384 3 13108 0 1 0 0 5 3 20 0 15 0 405005298 11078553600 8604 33554432000 4194304 4196468 140734552000128 139635292367328 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8289] ppid=8151 vsize=10818900 memory=140372944512640 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8289/stat : 8289 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005298 11078553600 8604 33554432000 4194304 4196468 140734552000128 139636454136752 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 10818900 KiB
Current children cumulated memory: 34416 KiB

[startup+0.310414 s]*
/proc/loadavg: 1.00 1.01 1.24 6/227 8289
/proc/meminfo: memFree=31175612/32770624 swapFree=66940004/67108860
[pid=8158] ppid=8151 vsize=10819084 memory=47948 CPUtime=0.36 cores=0,2,4,6
/proc/8158/stat : 8158 (java) S 8151 8158 6622 0 -1 1077944320 10304 13108 0 1 25 3 5 3 20 0 15 0 405005280 11078742016 11987 33554432000 4194304 4196468 140734552000128 140734551982672 139637032529655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
/proc/8158/statm: 2704771 11987 3010 1 0 2667149 0
[pid=8158/tid=8263] ppid=8151 vsize=10819084 memory=576461178948550685 CPUtime=0.26 cores=0,2,4,6
/proc/8158/task/8263/stat : 8263 (java) R 8151 8158 6622 0 -1 4202560 6692 13108 0 1 16 2 5 3 20 0 15 0 405005292 11078742016 11987 33554432000 4194304 4196468 140734552000128 139637004356976 139637015716436 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8264] ppid=8151 vsize=10819084 memory=301741394933055511 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8264/stat : 8264 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005293 11078742016 11987 33554432000 4194304 4196468 140734552000128 139637036771728 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8265] ppid=8151 vsize=10819084 memory=14832262952674968 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8265/stat : 8265 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005293 11078742016 11987 33554432000 4194304 4196468 140734552000128 139636605552912 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8266] ppid=8151 vsize=10819084 memory=8514726395715349622 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8266/stat : 8266 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005293 11078742016 11987 33554432000 4194304 4196468 140734552000128 139636604500624 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8267] ppid=8151 vsize=10819084 memory=7517363405094662191 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8267/stat : 8267 (java) S 8151 8158 6622 0 -1 1077944384 2 13108 0 1 0 0 5 3 20 0 15 0 405005293 11078742016 11987 33554432000 4194304 4196468 140734552000128 139636603447824 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8273] ppid=8151 vsize=10819084 memory=3472468669172192944 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8273/stat : 8273 (java) S 8151 8158 6622 0 -1 1077944384 2 13108 0 1 0 0 5 3 20 0 15 0 405005294 11078742016 11987 33554432000 4194304 4196468 140734552000128 139636491905648 139637032540802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8275] ppid=8151 vsize=10819084 memory=734139722786418735 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8275/stat : 8275 (java) S 8151 8158 6622 0 -1 1077944384 33 13108 0 1 0 0 5 3 20 0 15 0 405005295 11078742016 11987 33554432000 4194304 4196468 140734552000128 139636490851616 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8277] ppid=8151 vsize=10819084 memory=9051283677730746851 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8277/stat : 8277 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005295 11078742016 11987 33554432000 4194304 4196468 140734552000128 139636366108272 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8282] ppid=8151 vsize=10819084 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8282/stat : 8282 (java) S 8151 8158 6622 0 -1 1077944384 2 13108 0 1 0 0 5 3 20 0 15 0 405005298 11078742016 11987 33554432000 4194304 4196468 140734552000128 139635762129488 139637032548251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8283] ppid=8151 vsize=10819084 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/8158/task/8283/stat : 8283 (java) S 8151 8158 6622 0 -1 1077944384 572 13108 0 1 1 0 5 3 20 0 15 0 405005298 11078742016 11987 33554432000 4194304 4196468 140734552000128 139636457293936 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8284] ppid=8151 vsize=10819084 memory=664970774370808936 CPUtime=0.09 cores=0,2,4,6
/proc/8158/task/8284/stat : 8284 (java) S 8151 8158 6622 0 -1 1077944384 64 13108 0 1 1 0 5 3 20 0 15 0 405005298 11078742016 11987 33554432000 4194304 4196468 140734552000128 139636456241136 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8285] ppid=8151 vsize=10819084 memory=140372944512640 CPUtime=0.12 cores=0,2,4,6
/proc/8158/task/8285/stat : 8285 (java) S 8151 8158 6622 0 -1 1077944384 719 13108 0 1 4 0 5 3 20 0 15 0 405005298 11078742016 11987 33554432000 4194304 4196468 140734552000128 139636455188848 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8287] ppid=8151 vsize=10819084 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8287/stat : 8287 (java) S 8151 8158 6622 0 -1 1077944384 3 13108 0 1 0 0 5 3 20 0 15 0 405005298 11078742016 11987 33554432000 4194304 4196468 140734552000128 139635292367328 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8289] ppid=8151 vsize=10819084 memory=140372944512640 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8289/stat : 8289 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005298 11078742016 11987 33554432000 4194304 4196468 140734552000128 139636454136752 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10819084 KiB
Current children cumulated memory: 47948 KiB

[startup+0.703313 s]
/proc/loadavg: 1.00 1.01 1.24 4/227 8289
/proc/meminfo: memFree=31150724/32770624 swapFree=66940004/67108860
[pid=8158] ppid=8151 vsize=10822292 memory=75968 CPUtime=0.9 cores=0,2,4,6
/proc/8158/stat : 8158 (java) S 8151 8158 6622 0 -1 1077944320 14288 13108 0 1 77 5 5 3 20 0 15 0 405005280 11082027008 18992 33554432000 4194304 4196468 140734552000128 140734551982672 139637032529655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
/proc/8158/statm: 2705573 18992 3486 1 0 2667661 0
[pid=8158/tid=8263] ppid=8151 vsize=10822292 memory=494 CPUtime=0.58 cores=0,2,4,6
/proc/8158/task/8263/stat : 8263 (java) R 8151 8158 6622 0 -1 1077944384 9941 13108 0 1 46 4 5 3 20 0 15 0 405005292 11082027008 18992 33554432000 4194304 4196468 140734552000128 139637004361216 139637032553533 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8264] ppid=8151 vsize=10822292 memory=27375 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8264/stat : 8264 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005293 11082027008 18992 33554432000 4194304 4196468 140734552000128 139637036771728 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8265] ppid=8151 vsize=10822292 memory=15339 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8265/stat : 8265 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005293 11082027008 18992 33554432000 4194304 4196468 140734552000128 139636605552912 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8266] ppid=8151 vsize=10822292 memory=1875 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8266/stat : 8266 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005293 11082027008 19058 33554432000 4194304 4196468 140734552000128 139636604500624 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8267] ppid=8151 vsize=10822292 memory=1275 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8267/stat : 8267 (java) S 8151 8158 6622 0 -1 1077944384 2 13108 0 1 0 0 5 3 20 0 15 0 405005293 11082027008 19058 33554432000 4194304 4196468 140734552000128 139636603447824 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8273] ppid=8151 vsize=10822292 memory=3892 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8273/stat : 8273 (java) S 8151 8158 6622 0 -1 1077944384 5 13108 0 1 0 0 5 3 20 0 15 0 405005294 11082027008 19058 33554432000 4194304 4196468 140734552000128 139636491905648 139637032540802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8275] ppid=8151 vsize=10822292 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8275/stat : 8275 (java) S 8151 8158 6622 0 -1 1077944384 33 13108 0 1 0 0 5 3 20 0 15 0 405005295 11082027008 19058 33554432000 4194304 4196468 140734552000128 139636490851616 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8277] ppid=8151 vsize=10822292 memory=5938085586822190955 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8277/stat : 8277 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005295 11082027008 19058 33554432000 4194304 4196468 140734552000128 139636366108272 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8282] ppid=8151 vsize=10822292 memory=6935650355287975249 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8282/stat : 8282 (java) S 8151 8158 6622 0 -1 1077944384 2 13108 0 1 0 0 5 3 20 0 15 0 405005298 11082027008 19058 33554432000 4194304 4196468 140734552000128 139635762129488 139637032548251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8283] ppid=8151 vsize=10822292 memory=5787213827080022119 CPUtime=0.15 cores=0,2,4,6
/proc/8158/task/8283/stat : 8283 (java) S 8151 8158 6622 0 -1 1077944384 795 13108 0 1 7 0 5 3 20 0 15 0 405005298 11082027008 19058 33554432000 4194304 4196468 140734552000128 139636457293936 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8284] ppid=8151 vsize=10822292 memory=-6168368575958768251 CPUtime=0.16 cores=0,2,4,6
/proc/8158/task/8284/stat : 8284 (java) R 8151 8158 6622 0 -1 4202560 405 13108 0 1 8 0 5 3 20 0 15 0 405005298 11082027008 19058 33554432000 4194304 4196468 140734552000128 139636456229936 139637015914459 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8285] ppid=8151 vsize=10822292 memory=8326441112149131693 CPUtime=0.21 cores=0,2,4,6
/proc/8158/task/8285/stat : 8285 (java) S 8151 8158 6622 0 -1 1077944384 914 13108 0 1 13 0 5 3 20 0 15 0 405005298 11082027008 19058 33554432000 4194304 4196468 140734552000128 139636455188848 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8287] ppid=8151 vsize=10822292 memory=6944656592455360569 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8287/stat : 8287 (java) S 8151 8158 6622 0 -1 1077944384 3 13108 0 1 0 0 5 3 20 0 15 0 405005298 11082027008 19058 33554432000 4194304 4196468 140734552000128 139635292367328 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8289] ppid=8151 vsize=10822292 memory=14012 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8289/stat : 8289 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005298 11082027008 19058 33554432000 4194304 4196468 140734552000128 139636454136752 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
Current children cumulated CPU time: 0.9 s
Current children cumulated vsize: 10822292 KiB
Current children cumulated memory: 75968 KiB

[startup+1.50067 s]
/proc/loadavg: 1.00 1.01 1.24 6/227 8289
/proc/meminfo: memFree=31067144/32770624 swapFree=66940004/67108860
[pid=8158] ppid=8151 vsize=10828512 memory=189668 CPUtime=3 cores=0,2,4,6
/proc/8158/stat : 8158 (java) S 8151 8158 6622 0 -1 1077944320 22611 13108 0 1 283 9 5 3 20 0 15 0 405005280 11088396288 47417 33554432000 4194304 4196468 140734552000128 140734551982672 139637032529655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
/proc/8158/statm: 2707128 47417 3552 1 0 2669197 0
[pid=8158/tid=8263] ppid=8151 vsize=10828512 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/8158/task/8263/stat : 8263 (java) R 8151 8158 6622 0 -1 4202560 13482 13108 0 1 121 7 5 3 20 0 15 0 405005292 11088396288 47417 33554432000 4194304 4196468 140734552000128 139637004352336 139637014093136 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8264] ppid=8151 vsize=10828512 memory=3834869165756525763 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8264/stat : 8264 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005293 11088396288 47417 33554432000 4194304 4196468 140734552000128 139637036771728 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8265] ppid=8151 vsize=10828512 memory=7307196379688167019 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8265/stat : 8265 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005293 11088396288 47417 33554432000 4194304 4196468 140734552000128 139636605552912 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8266] ppid=8151 vsize=10828512 memory=7590655979367786604 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8266/stat : 8266 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005293 11088396288 47417 33554432000 4194304 4196468 140734552000128 139636604500624 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8267] ppid=8151 vsize=10828512 memory=7234585727006502246 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8267/stat : 8267 (java) S 8151 8158 6622 0 -1 1077944384 2 13108 0 1 0 0 5 3 20 0 15 0 405005293 11088396288 47417 33554432000 4194304 4196468 140734552000128 139636603447824 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8273] ppid=8151 vsize=10828512 memory=6944944595916120661 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8273/stat : 8273 (java) S 8151 8158 6622 0 -1 1077944384 16 13108 0 1 0 0 5 3 20 0 15 0 405005294 11088396288 47417 33554432000 4194304 4196468 140734552000128 139636491905648 139637032540802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8275] ppid=8151 vsize=10828512 memory=5868284341369017003 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8275/stat : 8275 (java) S 8151 8158 6622 0 -1 1077944384 33 13108 0 1 0 0 5 3 20 0 15 0 405005295 11088396288 47417 33554432000 4194304 4196468 140734552000128 139636490851616 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8277] ppid=8151 vsize=10828512 memory=11484935151 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8277/stat : 8277 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005295 11088396288 47417 33554432000 4194304 4196468 140734552000128 139636366108272 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8282] ppid=8151 vsize=10828512 memory=280745637838808 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8282/stat : 8282 (java) S 8151 8158 6622 0 -1 1077944384 2 13108 0 1 0 0 5 3 20 0 15 0 405005298 11088396288 47417 33554432000 4194304 4196468 140734552000128 139635762129488 139637032548251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8283] ppid=8151 vsize=10828512 memory=280745638098288 CPUtime=0.67 cores=0,2,4,6
/proc/8158/task/8283/stat : 8283 (java) S 8151 8158 6622 0 -1 1077944384 2693 13108 0 1 59 0 5 3 20 0 15 0 405005298 11088396288 47417 33554432000 4194304 4196468 140734552000128 139636457293936 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8284] ppid=8151 vsize=10828512 memory=6944656592455360604 CPUtime=0.68 cores=0,2,4,6
/proc/8158/task/8284/stat : 8284 (java) R 8151 8158 6622 0 -1 4202560 2181 13108 0 1 60 0 5 3 20 0 15 0 405005298 11088396288 47417 33554432000 4194304 4196468 140734552000128 139636456241136 139637016953785 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8285] ppid=8151 vsize=10828512 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/8158/task/8285/stat : 8285 (java) S 8151 8158 6622 0 -1 1077944384 1984 13108 0 1 41 0 5 3 20 0 15 0 405005298 11088396288 47417 33554432000 4194304 4196468 140734552000128 139636455188848 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8287] ppid=8151 vsize=10828512 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8287/stat : 8287 (java) S 8151 8158 6622 0 -1 1077944384 3 13108 0 1 0 0 5 3 20 0 15 0 405005298 11088396288 47417 33554432000 4194304 4196468 140734552000128 139635292367328 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8289] ppid=8151 vsize=10828512 memory=13546326854056 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8289/stat : 8289 (java) S 8151 8158 6622 0 -1 1077944384 1 13108 0 1 0 0 5 3 20 0 15 0 405005298 11088396288 47417 33554432000 4194304 4196468 140734552000128 139636454136752 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 10828512 KiB
Current children cumulated memory: 189668 KiB

[startup+3.11017 s]
/proc/loadavg: 1.16 1.05 1.25 9/227 8289
/proc/meminfo: memFree=30726244/32770624 swapFree=66940004/67108860
[pid=8158] ppid=8151 vsize=10838772 memory=298556 CPUtime=6.84 cores=0,2,4,6
/proc/8158/stat : 8158 (java) S 8151 8158 6622 0 -1 1077944320 38473 13108 0 1 659 17 5 3 20 0 15 0 405005280 11098902528 74639 33554432000 4194304 4196468 140734552000128 140734551982672 139637032529655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
/proc/8158/statm: 2709693 74639 3604 1 0 2671757 0
[pid=8158/tid=8263] ppid=8151 vsize=10838772 memory=2241 CPUtime=2.9 cores=0,2,4,6
/proc/8158/task/8263/stat : 8263 (java) R 8151 8158 6622 0 -1 4202560 20647 13108 0 1 272 10 5 3 20 0 15 0 405005292 11098902528 74639 33554432000 4194304 4196468 140734552000128 139637004361472 139636645719232 0 4 0 16800975 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0

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

[pid=8158/tid=8287] ppid=8151 vsize=10846964 memory=2729328 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8287/stat : 8287 (java) S 8151 8158 6622 0 -1 1077944384 3 13108 0 1 0 0 5 3 20 0 15 0 405005298 11107291136 683843 33554432000 4194304 4196468 140734552000128 139635292367328 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8289] ppid=8151 vsize=10846964 memory=1056 CPUtime=1.16 cores=0,2,4,6
/proc/8158/task/8289/stat : 8289 (java) S 8151 8158 6622 0 -1 1077944384 1410 13108 0 1 51 57 5 3 20 0 15 0 405005298 11107291136 683843 33554432000 4194304 4196468 140734552000128 139636454136752 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
Current children cumulated CPU time: 2004.83 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2735372 KiB

[startup+1953.6 s]
/proc/loadavg: 1.10 1.37 1.36 4/227 8721
/proc/meminfo: memFree=27640416/32770624 swapFree=66940016/67108860
[pid=8158] ppid=8151 vsize=10846964 memory=2735408 CPUtime=2006.46 cores=0,2,4,6
/proc/8158/stat : 8158 (java) S 8151 8158 6622 0 -1 1077944320 300691 13108 0 1 200361 277 5 3 20 0 15 0 405005280 11107291136 683852 33554432000 4194304 4196468 140734552000128 140734551982672 139637032529655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
/proc/8158/statm: 2711741 683852 3634 1 0 2673805 0
[pid=8158/tid=8263] ppid=8151 vsize=10846964 memory=111628 CPUtime=1933.85 cores=0,2,4,6
/proc/8158/task/8263/stat : 8263 (java) R 8151 8158 6622 0 -1 4202560 93605 13108 0 1 193304 73 5 3 20 0 15 0 405005292 11107291136 683852 33554432000 4194304 4196468 140734552000128 139637004365968 139636652562982 0 4 0 16800975 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8264] ppid=8151 vsize=10846964 memory=800 CPUtime=11.21 cores=0,2,4,6
/proc/8158/task/8264/stat : 8264 (java) S 8151 8158 6622 0 -1 1077944384 28350 13108 0 1 1081 32 5 3 20 0 15 0 405005293 11107291136 683852 33554432000 4194304 4196468 140734552000128 139637036771728 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8265] ppid=8151 vsize=10846964 memory=8112282956445269571 CPUtime=11.2 cores=0,2,4,6
/proc/8158/task/8265/stat : 8265 (java) S 8151 8158 6622 0 -1 1077944384 33762 13108 0 1 1080 32 5 3 20 0 15 0 405005293 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636605552912 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8266] ppid=8151 vsize=10846964 memory=6153724024135378019 CPUtime=11.22 cores=0,2,4,6
/proc/8158/task/8266/stat : 8266 (java) S 8151 8158 6622 0 -1 1077944384 26349 13108 0 1 1082 32 5 3 20 0 15 0 405005293 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636604500624 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8267] ppid=8151 vsize=10846964 memory=6153724024135378019 CPUtime=11.22 cores=0,2,4,6
/proc/8158/task/8267/stat : 8267 (java) S 8151 8158 6622 0 -1 1077944384 23078 13108 0 1 1085 29 5 3 20 0 15 0 405005293 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636603447824 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8273] ppid=8151 vsize=10846964 memory=2735372 CPUtime=6.42 cores=0,2,4,6
/proc/8158/task/8273/stat : 8273 (java) S 8151 8158 6622 0 -1 1077944384 26765 13108 0 1 603 31 5 3 20 0 15 0 405005294 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636491905648 139637032540802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8275] ppid=8151 vsize=10846964 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8275/stat : 8275 (java) S 8151 8158 6622 0 -1 1077944384 44 13108 0 1 0 0 5 3 20 0 15 0 405005295 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636490851744 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8277] ppid=8151 vsize=10846964 memory=3440 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8277/stat : 8277 (java) S 8151 8158 6622 0 -1 1077944384 7 13108 0 1 0 0 5 3 20 0 15 0 405005295 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636366108288 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8282] ppid=8151 vsize=10846964 memory=2832 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8282/stat : 8282 (java) S 8151 8158 6622 0 -1 1077944384 2 13108 0 1 0 0 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139635762129488 139637032548251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8283] ppid=8151 vsize=10846964 memory=14012 CPUtime=9.04 cores=0,2,4,6
/proc/8158/task/8283/stat : 8283 (java) S 8151 8158 6622 0 -1 1077944384 25371 13108 0 1 891 5 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636457293936 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8284] ppid=8151 vsize=10846964 memory=2112 CPUtime=7.94 cores=0,2,4,6
/proc/8158/task/8284/stat : 8284 (java) S 8151 8158 6622 0 -1 1077944384 23888 13108 0 1 781 5 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636456241136 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8285] ppid=8151 vsize=10846964 memory=8112282956445269571 CPUtime=3.81 cores=0,2,4,6
/proc/8158/task/8285/stat : 8285 (java) S 8151 8158 6622 0 -1 1077944384 15845 13108 0 1 367 6 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636455188848 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8287] ppid=8151 vsize=10846964 memory=1988 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8287/stat : 8287 (java) S 8151 8158 6622 0 -1 1077944384 3 13108 0 1 0 0 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139635292367328 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8289] ppid=8151 vsize=10846964 memory=988 CPUtime=1.16 cores=0,2,4,6
/proc/8158/task/8289/stat : 8289 (java) S 8151 8158 6622 0 -1 1077944384 1412 13108 0 1 51 57 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636454136752 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
Current children cumulated CPU time: 2006.46 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2735408 KiB

[startup+1954.4 s]
/proc/loadavg: 1.10 1.37 1.36 4/227 8721
/proc/meminfo: memFree=27640416/32770624 swapFree=66940016/67108860
[pid=8158] ppid=8151 vsize=10846964 memory=2735408 CPUtime=2007.27 cores=0,2,4,6
/proc/8158/stat : 8158 (java) S 8151 8158 6622 0 -1 1077944320 300704 13108 0 1 200442 277 5 3 20 0 15 0 405005280 11107291136 683852 33554432000 4194304 4196468 140734552000128 140734551982672 139637032529655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
/proc/8158/statm: 2711741 683852 3634 1 0 2673805 0
[pid=8158/tid=8263] ppid=8151 vsize=10846964 memory=8112282956445269571 CPUtime=1934.64 cores=0,2,4,6
/proc/8158/task/8263/stat : 8263 (java) R 8151 8158 6622 0 -1 4202560 93610 13108 0 1 193383 73 5 3 20 0 15 0 405005292 11107291136 683852 33554432000 4194304 4196468 140734552000128 139637004365968 139636652318422 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8264] ppid=8151 vsize=10846964 memory=8112282956445269571 CPUtime=11.22 cores=0,2,4,6
/proc/8158/task/8264/stat : 8264 (java) S 8151 8158 6622 0 -1 1077944384 28350 13108 0 1 1082 32 5 3 20 0 15 0 405005293 11107291136 683852 33554432000 4194304 4196468 140734552000128 139637036771728 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8265] ppid=8151 vsize=10846964 memory=2112 CPUtime=11.21 cores=0,2,4,6
/proc/8158/task/8265/stat : 8265 (java) S 8151 8158 6622 0 -1 1077944384 33762 13108 0 1 1081 32 5 3 20 0 15 0 405005293 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636605552912 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8266] ppid=8151 vsize=10846964 memory=12040 CPUtime=11.22 cores=0,2,4,6
/proc/8158/task/8266/stat : 8266 (java) S 8151 8158 6622 0 -1 1077944384 26349 13108 0 1 1082 32 5 3 20 0 15 0 405005293 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636604500624 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8267] ppid=8151 vsize=10846964 memory=21984 CPUtime=11.22 cores=0,2,4,6
/proc/8158/task/8267/stat : 8267 (java) S 8151 8158 6622 0 -1 1077944384 23078 13108 0 1 1085 29 5 3 20 0 15 0 405005293 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636603447824 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8273] ppid=8151 vsize=10846964 memory=1556 CPUtime=6.42 cores=0,2,4,6
/proc/8158/task/8273/stat : 8273 (java) S 8151 8158 6622 0 -1 1077944384 26767 13108 0 1 603 31 5 3 20 0 15 0 405005294 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636491905648 139637032540802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8275] ppid=8151 vsize=10846964 memory=532 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8275/stat : 8275 (java) S 8151 8158 6622 0 -1 1077944384 44 13108 0 1 0 0 5 3 20 0 15 0 405005295 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636490851744 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8277] ppid=8151 vsize=10846964 memory=2735372 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8277/stat : 8277 (java) S 8151 8158 6622 0 -1 1077944384 7 13108 0 1 0 0 5 3 20 0 15 0 405005295 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636366108288 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8282] ppid=8151 vsize=10846964 memory=2735372 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8282/stat : 8282 (java) S 8151 8158 6622 0 -1 1077944384 2 13108 0 1 0 0 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139635762129488 139637032548251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8283] ppid=8151 vsize=10846964 memory=780 CPUtime=9.04 cores=0,2,4,6
/proc/8158/task/8283/stat : 8283 (java) S 8151 8158 6622 0 -1 1077944384 25373 13108 0 1 891 5 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636457293936 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8284] ppid=8151 vsize=10846964 memory=5960 CPUtime=7.94 cores=0,2,4,6
/proc/8158/task/8284/stat : 8284 (java) S 8151 8158 6622 0 -1 1077944384 23890 13108 0 1 781 5 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636456241136 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8285] ppid=8151 vsize=10846964 memory=624 CPUtime=3.81 cores=0,2,4,6
/proc/8158/task/8285/stat : 8285 (java) S 8151 8158 6622 0 -1 1077944384 15847 13108 0 1 367 6 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636455188848 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8287] ppid=8151 vsize=10846964 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8287/stat : 8287 (java) S 8151 8158 6622 0 -1 1077944384 3 13108 0 1 0 0 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139635292367328 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8289] ppid=8151 vsize=10846964 memory=780 CPUtime=1.16 cores=0,2,4,6
/proc/8158/task/8289/stat : 8289 (java) S 8151 8158 6622 0 -1 1077944384 1412 13108 0 1 51 57 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636454136752 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
Current children cumulated CPU time: 2007.27 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2735408 KiB

[startup+1954.6 s]
/proc/loadavg: 1.10 1.37 1.36 4/227 8721
/proc/meminfo: memFree=27640416/32770624 swapFree=66940016/67108860
[pid=8158] ppid=8151 vsize=10846964 memory=2735408 CPUtime=2007.47 cores=0,2,4,6
/proc/8158/stat : 8158 (java) S 8151 8158 6622 0 -1 1077944320 300707 13108 0 1 200462 277 5 3 20 0 15 0 405005280 11107291136 683852 33554432000 4194304 4196468 140734552000128 140734551982672 139637032529655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
/proc/8158/statm: 2711741 683852 3634 1 0 2673805 0
[pid=8158/tid=8263] ppid=8151 vsize=10846964 memory=624 CPUtime=1934.84 cores=0,2,4,6
/proc/8158/task/8263/stat : 8263 (java) R 8151 8158 6622 0 -1 4202560 93611 13108 0 1 193403 73 5 3 20 0 15 0 405005292 11107291136 683852 33554432000 4194304 4196468 140734552000128 139637004365712 139636651115548 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8264] ppid=8151 vsize=10846964 memory=3440 CPUtime=11.22 cores=0,2,4,6
/proc/8158/task/8264/stat : 8264 (java) S 8151 8158 6622 0 -1 1077944384 28351 13108 0 1 1082 32 5 3 20 0 15 0 405005293 11107291136 683852 33554432000 4194304 4196468 140734552000128 139637036771728 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8265] ppid=8151 vsize=10846964 memory=2832 CPUtime=11.21 cores=0,2,4,6
/proc/8158/task/8265/stat : 8265 (java) S 8151 8158 6622 0 -1 1077944384 33762 13108 0 1 1081 32 5 3 20 0 15 0 405005293 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636605552912 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8266] ppid=8151 vsize=10846964 memory=2735408 CPUtime=11.22 cores=0,2,4,6
/proc/8158/task/8266/stat : 8266 (java) S 8151 8158 6622 0 -1 1077944384 26349 13108 0 1 1082 32 5 3 20 0 15 0 405005293 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636604500624 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8267] ppid=8151 vsize=10846964 memory=1408 CPUtime=11.22 cores=0,2,4,6
/proc/8158/task/8267/stat : 8267 (java) S 8151 8158 6622 0 -1 1077944384 23078 13108 0 1 1085 29 5 3 20 0 15 0 405005293 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636603447824 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8273] ppid=8151 vsize=10846964 memory=3200 CPUtime=6.42 cores=0,2,4,6
/proc/8158/task/8273/stat : 8273 (java) S 8151 8158 6622 0 -1 1077944384 26768 13108 0 1 603 31 5 3 20 0 15 0 405005294 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636491905648 139637032540802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8275] ppid=8151 vsize=10846964 memory=871272 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8275/stat : 8275 (java) S 8151 8158 6622 0 -1 1077944384 44 13108 0 1 0 0 5 3 20 0 15 0 405005295 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636490851744 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8277] ppid=8151 vsize=10846964 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8277/stat : 8277 (java) S 8151 8158 6622 0 -1 1077944384 7 13108 0 1 0 0 5 3 20 0 15 0 405005295 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636366108288 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8282] ppid=8151 vsize=10846964 memory=36668 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8282/stat : 8282 (java) S 8151 8158 6622 0 -1 1077944384 2 13108 0 1 0 0 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139635762129488 139637032548251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8283] ppid=8151 vsize=10846964 memory=1988 CPUtime=9.04 cores=0,2,4,6
/proc/8158/task/8283/stat : 8283 (java) S 8151 8158 6622 0 -1 1077944384 25373 13108 0 1 891 5 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636457293936 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8284] ppid=8151 vsize=10846964 memory=988 CPUtime=7.94 cores=0,2,4,6
/proc/8158/task/8284/stat : 8284 (java) S 8151 8158 6622 0 -1 1077944384 23890 13108 0 1 781 5 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636456241136 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8285] ppid=8151 vsize=10846964 memory=1428 CPUtime=3.81 cores=0,2,4,6
/proc/8158/task/8285/stat : 8285 (java) S 8151 8158 6622 0 -1 1077944384 15847 13108 0 1 367 6 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636455188848 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8287] ppid=8151 vsize=10846964 memory=1660 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8287/stat : 8287 (java) S 8151 8158 6622 0 -1 1077944384 3 13108 0 1 0 0 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139635292367328 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8289] ppid=8151 vsize=10846964 memory=2735408 CPUtime=1.16 cores=0,2,4,6
/proc/8158/task/8289/stat : 8289 (java) S 8151 8158 6622 0 -1 1077944384 1412 13108 0 1 51 57 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636454136752 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
Current children cumulated CPU time: 2007.47 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2735408 KiB

[startup+1954.7 s]
/proc/loadavg: 1.10 1.37 1.36 4/227 8721
/proc/meminfo: memFree=27640416/32770624 swapFree=66940016/67108860
[pid=8158] ppid=8151 vsize=10846964 memory=2735408 CPUtime=2007.57 cores=0,2,4,6
/proc/8158/stat : 8158 (java) S 8151 8158 6622 0 -1 1077944320 300707 13108 0 1 200472 277 5 3 20 0 15 0 405005280 11107291136 683852 33554432000 4194304 4196468 140734552000128 140734551982672 139637032529655 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
/proc/8158/statm: 2711741 683852 3634 1 0 2673805 0
[pid=8158/tid=8263] ppid=8151 vsize=10846964 memory=2735372 CPUtime=1934.94 cores=0,2,4,6
/proc/8158/task/8263/stat : 8263 (java) R 8151 8158 6622 0 -1 4202560 93611 13108 0 1 193413 73 5 3 20 0 15 0 405005292 11107291136 683852 33554432000 4194304 4196468 140734552000128 139637004365712 139636651115780 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8264] ppid=8151 vsize=10846964 memory=2735372 CPUtime=11.22 cores=0,2,4,6
/proc/8158/task/8264/stat : 8264 (java) S 8151 8158 6622 0 -1 1077944384 28351 13108 0 1 1082 32 5 3 20 0 15 0 405005293 11107291136 683852 33554432000 4194304 4196468 140734552000128 139637036771728 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8265] ppid=8151 vsize=10846964 memory=2735372 CPUtime=11.21 cores=0,2,4,6
/proc/8158/task/8265/stat : 8265 (java) S 8151 8158 6622 0 -1 1077944384 33762 13108 0 1 1081 32 5 3 20 0 15 0 405005293 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636605552912 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8266] ppid=8151 vsize=10846964 memory=2735372 CPUtime=11.22 cores=0,2,4,6
/proc/8158/task/8266/stat : 8266 (java) S 8151 8158 6622 0 -1 1077944384 26349 13108 0 1 1082 32 5 3 20 0 15 0 405005293 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636604500624 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8267] ppid=8151 vsize=10846964 memory=2735372 CPUtime=11.22 cores=0,2,4,6
/proc/8158/task/8267/stat : 8267 (java) S 8151 8158 6622 0 -1 1077944384 23078 13108 0 1 1085 29 5 3 20 0 15 0 405005293 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636603447824 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8273] ppid=8151 vsize=10846964 memory=2735372 CPUtime=6.42 cores=0,2,4,6
/proc/8158/task/8273/stat : 8273 (java) S 8151 8158 6622 0 -1 1077944384 26768 13108 0 1 603 31 5 3 20 0 15 0 405005294 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636491905648 139637032540802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8275] ppid=8151 vsize=10846964 memory=2735408 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8275/stat : 8275 (java) S 8151 8158 6622 0 -1 1077944384 44 13108 0 1 0 0 5 3 20 0 15 0 405005295 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636490851744 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8277] ppid=8151 vsize=10846964 memory=2735372 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8277/stat : 8277 (java) S 8151 8158 6622 0 -1 1077944384 7 13108 0 1 0 0 5 3 20 0 15 0 405005295 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636366108288 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8282] ppid=8151 vsize=10846964 memory=2735408 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8282/stat : 8282 (java) S 8151 8158 6622 0 -1 1077944384 2 13108 0 1 0 0 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139635762129488 139637032548251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8283] ppid=8151 vsize=10846964 memory=2735408 CPUtime=9.04 cores=0,2,4,6
/proc/8158/task/8283/stat : 8283 (java) S 8151 8158 6622 0 -1 1077944384 25373 13108 0 1 891 5 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636457293936 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8284] ppid=8151 vsize=10846964 memory=13546326854056 CPUtime=7.94 cores=0,2,4,6
/proc/8158/task/8284/stat : 8284 (java) S 8151 8158 6622 0 -1 1077944384 23890 13108 0 1 781 5 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636456241136 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8285] ppid=8151 vsize=10846964 memory=3472328296227679313 CPUtime=3.81 cores=0,2,4,6
/proc/8158/task/8285/stat : 8285 (java) S 8151 8158 6622 0 -1 1077944384 15847 13108 0 1 367 6 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636455188848 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8287] ppid=8151 vsize=10846964 memory=2735408 CPUtime=0.08 cores=0,2,4,6
/proc/8158/task/8287/stat : 8287 (java) S 8151 8158 6622 0 -1 1077944384 3 13108 0 1 0 0 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139635292367328 139637032539861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
[pid=8158/tid=8289] ppid=8151 vsize=10846964 memory=1660 CPUtime=1.16 cores=0,2,4,6
/proc/8158/task/8289/stat : 8289 (java) S 8151 8158 6622 0 -1 1077944384 1412 13108 0 1 51 57 5 3 20 0 15 0 405005298 11107291136 683852 33554432000 4194304 4196468 140734552000128 139636454136752 139637032540802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12840960 140734552001271 140734552003781 140734552003781 140734552006607 0
Current children cumulated CPU time: 2007.57 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 2735408 KiB

Child status: 0
Real time (s): 1954.79
CPU time (s): 2007.68
CPU user time (s): 2004.85
CPU system time (s): 2.82977
CPU usage (%): 102.706
Max. virtual memory (cumulated for all children) (KiB): 10847736
Max. memory (cumulated for all children) (KiB): 2859848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2004.85
system time used= 2.82977
maximum resident set size= 2861388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315617
page faults= 1
swaps= 0
block input operations= 2048
block output operations= 2288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 174789
involuntary context switches= 4894


# summary of solver processes directly reported to runsolver:
#   pid: 8158
#   total CPU time (s): 2007.68
#   total CPU user time (s): 2004.85
#   total CPU system time (s): 2.82977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5973 second user time and 18.4681 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-12 13:27:08
IDJOB=4387009
IDBENCH=120609
IDSOLVER=2823
FILE ID=node149/4387009-1568287665
RUNJOBID= node149-1568287628-8128
PBS_JOBID= 21701062
Free space on /tmp= 54672 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-2-fullins-5.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387009-1568287665/watcher-4387009-1568287665 -o /tmp/evaluation-result-4387009-1568287665/solver-4387009-1568287665 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568287628-8128 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=19476020 HOME/instance-4387009-1568287665.xml

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

MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33
RANDOM SEED=19476020

node149.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.81
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.81
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.81
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.81
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:        31246056 kB
MemAvailable:   31863612 kB
Buffers:           92752 kB
Cached:           823832 kB
SwapCached:        61056 kB
Active:           423544 kB
Inactive:         552724 kB
Active(anon):      28060 kB
Inactive(anon):    71332 kB
Active(file):     395484 kB
Inactive(file):   481392 kB
Unevictable:      111364 kB
Mlocked:          111364 kB
SwapTotal:      67108860 kB
SwapFree:       66940004 kB
Dirty:             70772 kB
Writeback:             0 kB
AnonPages:        111612 kB
Mapped:            41648 kB
Shmem:             30952 kB
Slab:             141324 kB
SReclaimable:     113032 kB
SUnreclaim:        28292 kB
KernelStack:        3376 kB
PageTables:         5388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     503436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 54604 MiB
End job on node149 at 2019-09-12 13:59:43