Trace number 4402824

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.12.3OPT6 2382.72 2325.01

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.79/0.55	c Concrete v3.12.3.1568965526260 running
17.96/7.74	o 851
18.92/8.15	o 850
19.64/8.52	o 849
20.51/8.93	o 848
21.12/9.26	o 847
21.51/9.56	o 846
21.90/9.84	o 845
22.32/10.13	o 844
22.75/10.41	o 843
23.15/10.71	o 842
23.49/10.97	o 841
24.02/11.27	o 840
24.39/11.57	o 839
24.80/11.80	o 838
25.15/12.06	o 837
25.46/12.30	o 836
25.66/12.55	o 835
25.86/12.78	o 834
26.17/13.03	o 833
26.36/13.29	o 832
26.70/13.57	o 831
27.00/13.81	o 830
27.21/14.05	o 829
27.40/14.29	o 828
27.74/14.53	o 827
27.97/14.75	o 826
28.17/14.97	o 825
28.47/15.23	o 824
28.77/15.50	o 823
29.00/15.71	o 822
29.20/15.96	o 821
29.41/16.20	o 820
29.71/16.44	o 819
29.91/16.67	o 818
30.21/16.92	o 817
30.42/17.15	o 816
30.64/17.36	o 815
30.86/17.59	o 814
31.18/17.82	o 813
31.39/18.09	o 812
31.69/18.35	o 811
31.99/18.59	o 810
32.29/18.82	o 809
32.50/19.05	o 808
32.69/19.25	o 807
32.93/19.50	o 806
33.25/19.78	o 805
33.56/20.06	o 804
33.86/20.33	o 803
34.06/20.58	o 802
34.26/20.79	o 801
34.46/21.01	o 800
34.76/21.27	o 799
34.96/21.47	o 798
35.16/21.65	o 797
35.36/21.83	o 796
35.46/22.00	o 795
35.67/22.18	o 794
35.87/22.34	o 793
35.97/22.47	o 792
36.07/22.59	o 791
36.27/22.70	o 790
36.47/22.94	o 789
36.84/23.17	o 788
37.03/23.39	o 787
37.33/23.60	o 786
37.53/23.80	o 785
37.74/24.02	o 784
38.04/24.23	o 783
38.27/24.43	o 782
38.51/24.63	o 781
38.71/24.81	o 780
38.92/25.07	o 779
39.12/25.30	o 778
39.32/25.48	o 777
39.52/25.66	o 776
39.72/25.81	o 775
39.82/25.96	o 774
40.03/26.11	o 773
40.12/26.25	o 772
40.22/26.39	o 771
40.42/26.51	o 770
40.52/26.61	o 769
40.62/26.70	o 768
40.62/26.79	o 767
40.73/26.87	o 766
40.83/26.95	o 765
40.94/27.02	o 764
41.13/27.21	o 763
41.33/27.42	o 762
41.54/27.64	o 761
41.78/27.89	o 760
42.09/28.11	o 759
42.28/28.34	o 758
42.49/28.54	o 757
42.69/28.75	o 756
42.89/28.95	o 755
43.10/29.14	o 754
43.29/29.32	o 753
43.39/29.48	o 752
43.59/29.63	o 751
43.69/29.78	o 750
43.89/29.94	o 749
44.11/30.18	o 748
44.39/30.40	o 747
44.59/30.61	o 746
44.80/30.83	o 745
45.01/31.04	o 744
45.20/31.24	o 743
45.40/31.41	o 742
45.50/31.58	o 741
45.70/31.76	o 740
45.95/31.92	o 739
46.06/32.08	o 738
46.25/32.22	o 737
46.35/32.35	o 736
46.45/32.49	o 735
46.65/32.62	o 734
46.75/32.74	o 733
46.85/32.86	o 732
46.96/32.98	o 731
47.07/33.10	o 730
47.26/33.22	o 729
47.46/33.46	o 728
47.66/33.69	o 727
47.86/33.89	o 726
48.07/34.08	o 725
48.26/34.26	o 724
48.47/34.43	o 723
48.57/34.59	o 722
48.77/34.76	o 721
48.97/34.90	o 720
49.08/35.03	o 719
49.18/35.15	o 718
49.27/35.29	o 717
49.47/35.41	o 716
49.57/35.54	o 715
49.67/35.67	o 714
49.77/35.77	o 713
49.87/35.86	o 712
49.97/35.94	o 711
50.08/36.02	o 710
50.08/36.10	o 709
50.18/36.18	o 708
50.27/36.25	o 707
50.37/36.33	o 706
50.37/36.39	o 705
50.47/36.44	o 704
50.47/36.48	o 703
50.57/36.51	o 702
50.57/36.54	o 701
50.57/36.56	o 700
50.57/36.58	o 699
50.57/36.59	o 698
50.67/36.60	o 697
50.67/36.61	o 696
50.87/36.83	o 695
51.08/37.04	o 694
51.27/37.25	o 693
51.47/37.47	o 692
51.67/37.65	o 691
51.87/37.82	o 690
51.97/37.98	o 689
52.18/38.14	o 688
52.28/38.28	o 687
52.48/38.42	o 686
52.58/38.56	o 685
52.68/38.68	o 684
52.88/38.80	o 683
52.98/38.91	o 682
53.09/39.01	o 681
53.19/39.12	o 680
53.28/39.21	o 679
53.38/39.30	o 678
53.38/39.39	o 677
53.53/39.46	o 676
53.63/39.53	o 675
53.73/39.60	o 674
53.73/39.66	o 673
53.83/39.71	o 672
53.83/39.76	o 671
53.93/39.80	o 670
53.93/39.84	o 669
53.93/39.88	o 668
54.03/39.91	o 667
54.03/39.94	o 666
54.03/39.97	o 665
54.03/39.99	o 664
54.14/40.02	o 663
54.14/40.04	o 662
54.14/40.05	o 661
54.14/40.07	o 660
54.14/40.09	o 659
54.24/40.11	o 658
54.24/40.12	o 657
54.24/40.13	o 656
54.24/40.14	o 655
54.24/40.15	o 654
54.24/40.16	o 653
54.24/40.16	o 652
54.24/40.17	o 651
54.24/40.17	o 650
54.24/40.18	o 649
54.24/40.18	o 648
54.24/40.19	o 647
54.24/40.19	o 646
54.24/40.19	o 7
54.65/40.35	o 6
2382.58/2324.99	v <instantiation
2382.58/2324.99	v         cost = '6'>
2382.58/2324.99	v       <list>
2382.58/2324.99	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]
2382.58/2324.99	v       </list>
2382.58/2324.99	v       <values>
2382.58/2324.99	v         0 2 1 1 0 3 2 2 0 3 2 1 4 4 4 5 4 5 5 5 0 5 5 4 0 0 0 0 0 0 1 3 0 1 1 1 4 4 4 4 4 4 4 4 4 4 4 4 1 2 4 0 6 6 6 2 4 3 2 2 6 6 2 4 4 4 4 4 4 4 6 6 6 6 6 4 2 6 2 2 2 2 2 2 2 2 2 2 6 4 4 4 4 4 4 4 4 4 4 4 1 6 4 6 1 1 1 5 1 1 1 1 1 1 1 1 1 1 1 1 5 1 1 3 3 3 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 3 3 3 3 3 3 3 3 3 3 1 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 6 2 2 2 2 2 2 2 6 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6 2 2 2 2 2 2 2 2 2 1 5 2 3 3 3 0 2 3 3 2 2 0 3 2 4 4 3 5 5 5 3 5 3 5 3 5 4 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 4 3 3 3 4 5 3 4 3 3 4 3 6 2 6 2 4 3 2 2 0 6 2 4 4 4 4 4 4 4 4 4 4 4 4 4 2 2 2 2 2 2 2 2 2 2 2 2 6 2 6 2 2 4 4 2 2 2 2 2 6 6 6 6 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 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 1 0 5 5 0 0 5 1 1 0 1 1 1 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 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 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 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 1 1 1 1 1 1 6 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 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 6 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6 2 2 6 2 2 2 2 2 6 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6 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 6 2 2 2 2 2 2 2 6 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 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 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 6 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 3
2382.58/2324.99	v       </values>
2382.58/2324.99	v     </instantiation>
2382.58/2324.99	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 (2607 MiB free)
  memory of node 1: 16384 MiB (2568 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402824-1568968011/watcher-4402824-1568968011 -o /var/tmp/evaluation-result-4402824-1568968011/solver-4402824-1568968011 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568967595-31373 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2142651045 HOME/instance-4402824-1568968011.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
Current StackSize limit: 8192 KiB

solver pid=32273, runsolver pid=32270

[startup+0.100064 s]*
/proc/loadavg: 1.72 1.18 0.56 3/221 32330
/proc/meminfo: memFree=5291468/32770624 swapFree=66972072/67108860
[pid=32273] ppid=32270 vsize=9972712 memory=17336 CPUtime=0.08 cores=1,3,5,7
/proc/32273/stat : 32273 (java) S 32270 32273 31341 0 -1 1077944320 4553 13288 0 0 1 0 5 2 20 0 6 0 472742996 10212057088 4334 33554432000 4194304 4196468 140728122388512 140728122371056 139622310387447 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
/proc/32273/statm: 2493178 4334 1957 1 0 2481616 0
[pid=32273/tid=32326] ppid=32270 vsize=9972712 memory=4279135704013701262 CPUtime=0.08 cores=1,3,5,7
/proc/32273/task/32326/stat : 32326 (java) R 32270 32273 31341 0 -1 4202560 2347 13288 0 0 1 0 5 2 20 0 6 0 472743005 10212057088 4334 33554432000 4194304 4196468 140728122388512 139622282224208 139622295699449 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32327] ppid=32270 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32327/stat : 32327 (java) S 32270 32273 31341 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 6 0 472743005 10212057088 4334 33554432000 4194304 4196468 140728122388512 139622314630160 139622310397653 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32328] ppid=32270 vsize=9972712 memory=139688862246528 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32328/stat : 32328 (java) S 32270 32273 31341 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 6 0 472743005 10212057088 4334 33554432000 4194304 4196468 140728122388512 139622213520528 139622310397653 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32329] ppid=32270 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32329/stat : 32329 (java) S 32270 32273 31341 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 6 0 472743005 10212057088 4334 33554432000 4194304 4196468 140728122388512 139622212467472 139622310397653 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32330] ppid=32270 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32330/stat : 32330 (java) S 32270 32273 31341 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 6 0 472743005 10212057088 4334 33554432000 4194304 4196468 140728122388512 139622211414928 139622310397653 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17336 KiB

[startup+0.210053 s]*
/proc/loadavg: 1.72 1.18 0.56 3/230 32339
/proc/meminfo: memFree=5272660/32770624 swapFree=66972072/67108860
[pid=32273] ppid=32270 vsize=10820196 memory=42136 CPUtime=0.26 cores=1,3,5,7
/proc/32273/stat : 32273 (java) S 32270 32273 31341 0 -1 1077944320 7523 13288 0 0 17 2 5 2 20 0 15 0 472742996 11079880704 10534 33554432000 4194304 4196468 140728122388512 140728122371056 139622310387447 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
/proc/32273/statm: 2705049 10534 3284 1 0 2667149 0
[pid=32273/tid=32326] ppid=32270 vsize=10820196 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/32273/task/32326/stat : 32326 (java) R 32270 32273 31341 0 -1 4202560 4041 13288 0 0 11 1 5 2 20 0 15 0 472743005 11079880704 10534 33554432000 4194304 4196468 140728122388512 139622282198480 139622310408794 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32327] ppid=32270 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32327/stat : 32327 (java) S 32270 32273 31341 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 472743005 11079880704 10534 33554432000 4194304 4196468 140728122388512 139622314630160 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32328] ppid=32270 vsize=10820196 memory=139688862246528 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32328/stat : 32328 (java) S 32270 32273 31341 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 472743005 11079880704 10534 33554432000 4194304 4196468 140728122388512 139622213520528 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32329] ppid=32270 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32329/stat : 32329 (java) S 32270 32273 31341 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 472743005 11079880704 10534 33554432000 4194304 4196468 140728122388512 139622212467472 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32330] ppid=32270 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32330/stat : 32330 (java) S 32270 32273 31341 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 472743005 11079880704 10534 33554432000 4194304 4196468 140728122388512 139622211414928 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32331] ppid=32270 vsize=10820196 memory=139688862246528 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32331/stat : 32331 (java) S 32270 32273 31341 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 472743007 11079880704 10534 33554432000 4194304 4196468 140728122388512 139621769697520 139622310398594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32332] ppid=32270 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32332/stat : 32332 (java) S 32270 32273 31341 0 -1 1077944384 13 13288 0 0 0 0 5 2 20 0 15 0 472743007 11079880704 10534 33554432000 4194304 4196468 140728122388512 139621199504544 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32333] ppid=32270 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32333/stat : 32333 (java) S 32270 32273 31341 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 472743008 11079880704 10534 33554432000 4194304 4196468 140728122388512 139621065286384 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32334] ppid=32270 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32334/stat : 32334 (java) S 32270 32273 31341 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 472743010 11079880704 10534 33554432000 4194304 4196468 140728122388512 139620824995792 139622310406043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32335] ppid=32270 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32273/task/32335/stat : 32335 (java) R 32270 32273 31341 0 -1 4202560 486 13288 0 0 1 0 5 2 20 0 15 0 472743010 11079880704 10534 33554432000 4194304 4196468 140728122388512 139621768645360 139622288183339 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32336] ppid=32270 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32273/task/32336/stat : 32336 (java) S 32270 32273 31341 0 -1 1077944384 180 13288 0 0 1 0 5 2 20 0 15 0 472743010 11079880704 10534 33554432000 4194304 4196468 140728122388512 139621767592816 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32337] ppid=32270 vsize=10820196 memory=139688862246528 CPUtime=0.1 cores=1,3,5,7
/proc/32273/task/32337/stat : 32337 (java) R 32270 32273 31341 0 -1 1077944384 593 13288 0 0 3 0 5 2 20 0 15 0 472743010 11079880704 10534 33554432000 4194304 4196468 140728122388512 139621766539760 139622310398594 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32338] ppid=32270 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32338/stat : 32338 (java) S 32270 32273 31341 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 472743010 11079880704 10534 33554432000 4194304 4196468 140728122388512 139620791438176 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32339] ppid=32270 vsize=10820196 memory=139688862246528 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32339/stat : 32339 (java) S 32270 32273 31341 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 472743011 11079880704 10534 33554432000 4194304 4196468 140728122388512 139621765487152 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 42136 KiB

[startup+0.310617 s]*
/proc/loadavg: 1.72 1.18 0.56 3/230 32339
/proc/meminfo: memFree=5260836/32770624 swapFree=66972072/67108860
[pid=32273] ppid=32270 vsize=10820196 memory=50856 CPUtime=0.4 cores=1,3,5,7
/proc/32273/stat : 32273 (java) S 32270 32273 31341 0 -1 1077944320 10518 13288 0 0 30 3 5 2 20 0 15 0 472742996 11079880704 12714 33554432000 4194304 4196468 140728122388512 140728122371056 139622310387447 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
/proc/32273/statm: 2705049 12714 3313 1 0 2667149 0
[pid=32273/tid=32326] ppid=32270 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/32273/task/32326/stat : 32326 (java) R 32270 32273 31341 0 -1 4202560 7017 13288 0 0 19 2 5 2 20 0 15 0 472743005 11079880704 12714 33554432000 4194304 4196468 140728122388512 139622282203712 139622310409373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32327] ppid=32270 vsize=10820196 memory=7228928657774891088 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32327/stat : 32327 (java) S 32270 32273 31341 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 472743005 11079880704 12714 33554432000 4194304 4196468 140728122388512 139622314630160 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32328] ppid=32270 vsize=10820196 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32328/stat : 32328 (java) S 32270 32273 31341 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 472743005 11079880704 12714 33554432000 4194304 4196468 140728122388512 139622213520528 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32329] ppid=32270 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32329/stat : 32329 (java) S 32270 32273 31341 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 472743005 11079880704 12714 33554432000 4194304 4196468 140728122388512 139622212467472 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32330] ppid=32270 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32330/stat : 32330 (java) S 32270 32273 31341 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 472743005 11079880704 12714 33554432000 4194304 4196468 140728122388512 139622211414928 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32331] ppid=32270 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32331/stat : 32331 (java) S 32270 32273 31341 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 472743007 11079880704 12714 33554432000 4194304 4196468 140728122388512 139621769697520 139622310398594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32332] ppid=32270 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32332/stat : 32332 (java) S 32270 32273 31341 0 -1 1077944384 13 13288 0 0 0 0 5 2 20 0 15 0 472743007 11079880704 12714 33554432000 4194304 4196468 140728122388512 139621199504544 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32333] ppid=32270 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32333/stat : 32333 (java) S 32270 32273 31341 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 472743008 11079880704 12714 33554432000 4194304 4196468 140728122388512 139621065286384 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32334] ppid=32270 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32334/stat : 32334 (java) S 32270 32273 31341 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 472743010 11079880704 12714 33554432000 4194304 4196468 140728122388512 139620824995792 139622310406043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32335] ppid=32270 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32273/task/32335/stat : 32335 (java) S 32270 32273 31341 0 -1 1077944384 489 13288 0 0 2 0 5 2 20 0 15 0 472743010 11079880704 12714 33554432000 4194304 4196468 140728122388512 139621768645360 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32336] ppid=32270 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32273/task/32336/stat : 32336 (java) S 32270 32273 31341 0 -1 1077944384 180 13288 0 0 2 0 5 2 20 0 15 0 472743010 11079880704 12714 33554432000 4194304 4196468 140728122388512 139621767592816 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32337] ppid=32270 vsize=10820196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/32273/task/32337/stat : 32337 (java) S 32270 32273 31341 0 -1 1077944384 602 13288 0 0 5 0 5 2 20 0 15 0 472743010 11079880704 12714 33554432000 4194304 4196468 140728122388512 139621766539760 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32338] ppid=32270 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32338/stat : 32338 (java) S 32270 32273 31341 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 472743010 11079880704 12714 33554432000 4194304 4196468 140728122388512 139620791438176 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32339] ppid=32270 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32339/stat : 32339 (java) S 32270 32273 31341 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 472743011 11079880704 12714 33554432000 4194304 4196468 140728122388512 139621765487152 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50856 KiB

[startup+0.701366 s]
/proc/loadavg: 1.58 1.16 0.56 3/230 32339
/proc/meminfo: memFree=5245316/32770624 swapFree=66972072/67108860
[pid=32273] ppid=32270 vsize=10824364 memory=83356 CPUtime=1.16 cores=1,3,5,7
/proc/32273/stat : 32273 (java) S 32270 32273 31341 0 -1 1077944320 15030 13288 0 0 104 5 5 2 20 0 15 0 472742996 11084148736 20839 33554432000 4194304 4196468 140728122388512 140728122371056 139622310387447 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
/proc/32273/statm: 2706091 20839 3511 1 0 2668173 0
[pid=32273/tid=32326] ppid=32270 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/32273/task/32326/stat : 32326 (java) R 32270 32273 31341 0 -1 4202560 10420 13288 0 0 56 3 5 2 20 0 15 0 472743005 11084148736 20839 33554432000 4194304 4196468 140728122388512 139622282214608 139622294467934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32327] ppid=32270 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32327/stat : 32327 (java) S 32270 32273 31341 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 472743005 11084148736 20839 33554432000 4194304 4196468 140728122388512 139622314630160 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32328] ppid=32270 vsize=10824364 memory=3612 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32328/stat : 32328 (java) S 32270 32273 31341 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 472743005 11084148736 20839 33554432000 4194304 4196468 140728122388512 139622213520528 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32329] ppid=32270 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32329/stat : 32329 (java) S 32270 32273 31341 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 472743005 11084148736 20839 33554432000 4194304 4196468 140728122388512 139622212467472 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32330] ppid=32270 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32330/stat : 32330 (java) S 32270 32273 31341 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 472743005 11084148736 20839 33554432000 4194304 4196468 140728122388512 139622211414928 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32331] ppid=32270 vsize=10824364 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32331/stat : 32331 (java) S 32270 32273 31341 0 -1 1077944384 5 13288 0 0 0 0 5 2 20 0 15 0 472743007 11084148736 20839 33554432000 4194304 4196468 140728122388512 139621769697520 139622310398594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32332] ppid=32270 vsize=10824364 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32332/stat : 32332 (java) S 32270 32273 31341 0 -1 1077944384 13 13288 0 0 0 0 5 2 20 0 15 0 472743007 11084148736 20839 33554432000 4194304 4196468 140728122388512 139621199504544 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32333] ppid=32270 vsize=10824364 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32333/stat : 32333 (java) S 32270 32273 31341 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 472743008 11084148736 20839 33554432000 4194304 4196468 140728122388512 139621065286384 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32334] ppid=32270 vsize=10824364 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32334/stat : 32334 (java) S 32270 32273 31341 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 472743010 11084148736 20839 33554432000 4194304 4196468 140728122388512 139620824995792 139622310406043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32335] ppid=32270 vsize=10824364 memory=13252 CPUtime=0.2 cores=1,3,5,7
/proc/32273/task/32335/stat : 32335 (java) S 32270 32273 31341 0 -1 1077944384 819 13288 0 0 13 0 5 2 20 0 15 0 472743010 11084148736 20839 33554432000 4194304 4196468 140728122388512 139621768645360 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32336] ppid=32270 vsize=10824364 memory=15460 CPUtime=0.22 cores=1,3,5,7
/proc/32273/task/32336/stat : 32336 (java) S 32270 32273 31341 0 -1 1077944384 752 13288 0 0 15 0 5 2 20 0 15 0 472743010 11084148736 20839 33554432000 4194304 4196468 140728122388512 139621767592816 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32337] ppid=32270 vsize=10824364 memory=17668 CPUtime=0.24 cores=1,3,5,7
/proc/32273/task/32337/stat : 32337 (java) R 32270 32273 31341 0 -1 4202560 807 13288 0 0 17 0 5 2 20 0 15 0 472743010 11084148736 20839 33554432000 4194304 4196468 140728122388512 139621766535488 139622289398633 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32338] ppid=32270 vsize=10824364 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32338/stat : 32338 (java) S 32270 32273 31341 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 472743010 11084148736 20839 33554432000 4194304 4196468 140728122388512 139620791438176 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32339] ppid=32270 vsize=10824364 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32339/stat : 32339 (java) S 32270 32273 31341 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 472743011 11084148736 20839 33554432000 4194304 4196468 140728122388512 139621765487152 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83356 KiB

[startup+1.50079 s]
/proc/loadavg: 1.58 1.16 0.56 5/230 32339
/proc/meminfo: memFree=5191224/32770624 swapFree=66972072/67108860
[pid=32273] ppid=32270 vsize=10830584 memory=214308 CPUtime=3.23 cores=1,3,5,7
/proc/32273/stat : 32273 (java) S 32270 32273 31341 0 -1 1077944320 23042 13288 0 0 305 11 5 2 20 0 15 0 472742996 11090518016 53577 33554432000 4194304 4196468 140728122388512 140728122371056 139622310387447 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
/proc/32273/statm: 2707646 53577 3562 1 0 2669709 0
[pid=32273/tid=32326] ppid=32270 vsize=10830584 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/32273/task/32326/stat : 32326 (java) S 32270 32273 31341 0 -1 1077944384 13820 13288 0 0 132 6 5 2 20 0 15 0 472743005 11090518016 53577 33554432000 4194304 4196468 140728122388512 139622282207136 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32327] ppid=32270 vsize=10830584 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32327/stat : 32327 (java) S 32270 32273 31341 0 -1 1077944384 67 13288 0 0 0 0 5 2 20 0 15 0 472743005 11090518016 53577 33554432000 4194304 4196468 140728122388512 139622314630160 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32328] ppid=32270 vsize=10830584 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32328/stat : 32328 (java) S 32270 32273 31341 0 -1 1077944384 15 13288 0 0 0 0 5 2 20 0 15 0 472743005 11090518016 53577 33554432000 4194304 4196468 140728122388512 139622213520528 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32329] ppid=32270 vsize=10830584 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32329/stat : 32329 (java) S 32270 32273 31341 0 -1 1077944384 11 13288 0 0 0 0 5 2 20 0 15 0 472743005 11090518016 53577 33554432000 4194304 4196468 140728122388512 139622212467472 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32330] ppid=32270 vsize=10830584 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32330/stat : 32330 (java) S 32270 32273 31341 0 -1 1077944384 205 13288 0 0 0 0 5 2 20 0 15 0 472743005 11090518016 53577 33554432000 4194304 4196468 140728122388512 139622211414928 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32331] ppid=32270 vsize=10830584 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32331/stat : 32331 (java) R 32270 32273 31341 0 -1 4202560 28 13288 0 0 0 0 5 2 20 0 15 0 472743007 11090518016 53577 33554432000 4194304 4196468 140728122388512 139621769696032 139622292035018 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32332] ppid=32270 vsize=10830584 memory=279377422133504 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32332/stat : 32332 (java) S 32270 32273 31341 0 -1 1077944384 13 13288 0 0 0 0 5 2 20 0 15 0 472743007 11090518016 53577 33554432000 4194304 4196468 140728122388512 139621199504544 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32333] ppid=32270 vsize=10830584 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32333/stat : 32333 (java) S 32270 32273 31341 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 472743008 11090518016 53577 33554432000 4194304 4196468 140728122388512 139621065286384 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32334] ppid=32270 vsize=10830584 memory=1056 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32334/stat : 32334 (java) S 32270 32273 31341 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 472743010 11090518016 53577 33554432000 4194304 4196468 140728122388512 139620824995792 139622310406043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32335] ppid=32270 vsize=10830584 memory=1552 CPUtime=0.69 cores=1,3,5,7
/proc/32273/task/32335/stat : 32335 (java) S 32270 32273 31341 0 -1 1077944384 2561 13288 0 0 62 0 5 2 20 0 15 0 472743010 11090518016 53577 33554432000 4194304 4196468 140728122388512 139621768645360 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32336] ppid=32270 vsize=10830584 memory=1040 CPUtime=0.72 cores=1,3,5,7
/proc/32273/task/32336/stat : 32336 (java) S 32270 32273 31341 0 -1 1077944384 2485 13288 0 0 65 0 5 2 20 0 15 0 472743010 11090518016 53577 33554432000 4194304 4196468 140728122388512 139621767592816 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32337] ppid=32270 vsize=10830584 memory=3644 CPUtime=0.49 cores=1,3,5,7
/proc/32273/task/32337/stat : 32337 (java) S 32270 32273 31341 0 -1 1077944384 1629 13288 0 0 42 0 5 2 20 0 15 0 472743010 11090518016 53577 33554432000 4194304 4196468 140728122388512 139621766539760 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32338] ppid=32270 vsize=10830584 memory=780 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32338/stat : 32338 (java) S 32270 32273 31341 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 472743010 11090518016 53577 33554432000 4194304 4196468 140728122388512 139620791438176 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32339] ppid=32270 vsize=10830584 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32339/stat : 32339 (java) S 32270 32273 31341 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 472743011 11090518016 53577 33554432000 4194304 4196468 140728122388512 139621765487152 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
Current children cumulated CPU time: 3.23 s
Current children cumulated vsize: 10830584 KiB

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

/proc/32273/task/32326/stat : 32326 (java) R 32270 32273 31341 0 -1 4202560 109946 13288 0 0 229650 82 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622282222416 139621904897105 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32327] ppid=32270 vsize=10846988 memory=2579232 CPUtime=14.47 cores=1,3,5,7
/proc/32273/task/32327/stat : 32327 (java) S 32270 32273 31341 0 -1 1077944384 51198 13288 0 0 1397 43 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622314630160 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32328] ppid=32270 vsize=10846988 memory=2579232 CPUtime=14.45 cores=1,3,5,7
/proc/32273/task/32328/stat : 32328 (java) S 32270 32273 31341 0 -1 1077944384 39215 13288 0 0 1394 44 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622213520528 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32329] ppid=32270 vsize=10846988 memory=56 CPUtime=14.47 cores=1,3,5,7
/proc/32273/task/32329/stat : 32329 (java) S 32270 32273 31341 0 -1 1077944384 35605 13288 0 0 1394 46 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622212467472 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32330] ppid=32270 vsize=10846988 memory=2579232 CPUtime=14.48 cores=1,3,5,7
/proc/32273/task/32330/stat : 32330 (java) S 32270 32273 31341 0 -1 1077944384 39717 13288 0 0 1402 39 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622211414928 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32331] ppid=32270 vsize=10846988 memory=2579232 CPUtime=7.47 cores=1,3,5,7
/proc/32273/task/32331/stat : 32331 (java) S 32270 32273 31341 0 -1 1077944384 36695 13288 0 0 694 46 5 2 20 0 15 0 472743007 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621769697520 139622310398594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32332] ppid=32270 vsize=10846988 memory=2579232 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32332/stat : 32332 (java) S 32270 32273 31341 0 -1 1077944384 21 13288 0 0 0 0 5 2 20 0 15 0 472743007 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621199504672 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32333] ppid=32270 vsize=10846988 memory=2579232 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32333/stat : 32333 (java) S 32270 32273 31341 0 -1 1077944384 12 13288 0 0 0 0 5 2 20 0 15 0 472743008 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621065286400 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32334] ppid=32270 vsize=10846988 memory=2579232 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32334/stat : 32334 (java) S 32270 32273 31341 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139620824995792 139622310406043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32335] ppid=32270 vsize=10846988 memory=2579232 CPUtime=6.47 cores=1,3,5,7
/proc/32273/task/32335/stat : 32335 (java) S 32270 32273 31341 0 -1 1077944384 18097 13288 0 0 636 4 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621768645360 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32336] ppid=32270 vsize=10846988 memory=753 CPUtime=7.6 cores=1,3,5,7
/proc/32273/task/32336/stat : 32336 (java) S 32270 32273 31341 0 -1 1077944384 24031 13288 0 0 749 4 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621767592816 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32337] ppid=32270 vsize=10846988 memory=2579232 CPUtime=2.18 cores=1,3,5,7
/proc/32273/task/32337/stat : 32337 (java) S 32270 32273 31341 0 -1 1077944384 14593 13288 0 0 206 5 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621766539760 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32338] ppid=32270 vsize=10846988 memory=3612 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32338/stat : 32338 (java) S 32270 32273 31341 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139620791438176 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32339] ppid=32270 vsize=10846988 memory=1556 CPUtime=1.49 cores=1,3,5,7
/proc/32273/task/32339/stat : 32339 (java) S 32270 32273 31341 0 -1 1077944384 2326 13288 0 0 64 78 5 2 20 0 15 0 472743011 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621765487152 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
Current children cumulated CPU time: 2379.94 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2579232 KiB

[startup+2325.01 s]
# the end of solver process 32273 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2379.15 s, system=3.57166 s

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

[startup+2323.2 s]
/proc/loadavg: 1.72 1.50 1.37 3/230 32705
/proc/meminfo: memFree=2174972/32770624 swapFree=66972100/67108860
[pid=32273] ppid=32270 vsize=10846988 memory=2579232 CPUtime=2380.85 cores=1,3,5,7
/proc/32273/stat : 32273 (java) S 32270 32273 31341 0 -1 1077944320 373676 13288 0 0 237726 352 5 2 20 0 15 0 472742996 11107315712 644808 33554432000 4194304 4196468 140728122388512 140728122371056 139622310387447 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
/proc/32273/statm: 2711747 644808 3639 1 0 2673805 0
[pid=32273/tid=32326] ppid=32270 vsize=10846988 memory=288230621803970871 CPUtime=2298.28 cores=1,3,5,7
/proc/32273/task/32326/stat : 32326 (java) R 32270 32273 31341 0 -1 4202560 109958 13288 0 0 229739 82 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622282222992 139621890104577 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32327] ppid=32270 vsize=10846988 memory=15534115864709562 CPUtime=14.47 cores=1,3,5,7
/proc/32273/task/32327/stat : 32327 (java) S 32270 32273 31341 0 -1 1077944384 51198 13288 0 0 1397 43 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622314630160 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32328] ppid=32270 vsize=10846988 memory=3612 CPUtime=14.46 cores=1,3,5,7
/proc/32273/task/32328/stat : 32328 (java) S 32270 32273 31341 0 -1 1077944384 39215 13288 0 0 1395 44 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622213520528 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32329] ppid=32270 vsize=10846988 memory=42504 CPUtime=14.48 cores=1,3,5,7
/proc/32273/task/32329/stat : 32329 (java) S 32270 32273 31341 0 -1 1077944384 35605 13288 0 0 1395 46 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622212467472 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32330] ppid=32270 vsize=10846988 memory=992 CPUtime=14.48 cores=1,3,5,7
/proc/32273/task/32330/stat : 32330 (java) S 32270 32273 31341 0 -1 1077944384 39717 13288 0 0 1402 39 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622211414928 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32331] ppid=32270 vsize=10846988 memory=2579232 CPUtime=7.47 cores=1,3,5,7
/proc/32273/task/32331/stat : 32331 (java) S 32270 32273 31341 0 -1 1077944384 36696 13288 0 0 694 46 5 2 20 0 15 0 472743007 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621769697520 139622310398594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32332] ppid=32270 vsize=10846988 memory=2579232 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32332/stat : 32332 (java) S 32270 32273 31341 0 -1 1077944384 21 13288 0 0 0 0 5 2 20 0 15 0 472743007 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621199504672 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32333] ppid=32270 vsize=10846988 memory=1984 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32333/stat : 32333 (java) S 32270 32273 31341 0 -1 1077944384 12 13288 0 0 0 0 5 2 20 0 15 0 472743008 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621065286400 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32334] ppid=32270 vsize=10846988 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32334/stat : 32334 (java) S 32270 32273 31341 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139620824995792 139622310406043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32335] ppid=32270 vsize=10846988 memory=1040 CPUtime=6.47 cores=1,3,5,7
/proc/32273/task/32335/stat : 32335 (java) S 32270 32273 31341 0 -1 1077944384 18097 13288 0 0 636 4 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621768645360 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32336] ppid=32270 vsize=10846988 memory=3644 CPUtime=7.6 cores=1,3,5,7
/proc/32273/task/32336/stat : 32336 (java) S 32270 32273 31341 0 -1 1077944384 24031 13288 0 0 749 4 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621767592816 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32337] ppid=32270 vsize=10846988 memory=1056 CPUtime=2.18 cores=1,3,5,7
/proc/32273/task/32337/stat : 32337 (java) S 32270 32273 31341 0 -1 1077944384 14593 13288 0 0 206 5 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621766539760 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32338] ppid=32270 vsize=10846988 memory=737 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32338/stat : 32338 (java) S 32270 32273 31341 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139620791438176 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32339] ppid=32270 vsize=10846988 memory=0 CPUtime=1.5 cores=1,3,5,7
/proc/32273/task/32339/stat : 32339 (java) S 32270 32273 31341 0 -1 1077944384 2326 13288 0 0 64 79 5 2 20 0 15 0 472743011 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621765487152 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
Current children cumulated CPU time: 2380.85 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2579232 KiB

[startup+2324 s]*
/proc/loadavg: 1.72 1.50 1.37 3/230 32705
/proc/meminfo: memFree=2178400/32770624 swapFree=66972100/67108860
[pid=32273] ppid=32270 vsize=10846988 memory=2579232 CPUtime=2381.68 cores=1,3,5,7
/proc/32273/stat : 32273 (java) S 32270 32273 31341 0 -1 1077944320 373682 13288 0 0 237809 352 5 2 20 0 15 0 472742996 11107315712 644808 33554432000 4194304 4196468 140728122388512 140728122371056 139622310387447 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
/proc/32273/statm: 2711747 644808 3639 1 0 2673805 0
[pid=32273/tid=32326] ppid=32270 vsize=10846988 memory=6791534058613427641 CPUtime=2299.09 cores=1,3,5,7
/proc/32273/task/32326/stat : 32326 (java) R 32270 32273 31341 0 -1 4202560 109962 13288 0 0 229820 82 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622282222864 139621903296957 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32327] ppid=32270 vsize=10846988 memory=4872558044660077418 CPUtime=14.48 cores=1,3,5,7
/proc/32273/task/32327/stat : 32327 (java) S 32270 32273 31341 0 -1 1077944384 51198 13288 0 0 1398 43 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622314630160 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32328] ppid=32270 vsize=10846988 memory=1808 CPUtime=14.46 cores=1,3,5,7
/proc/32273/task/32328/stat : 32328 (java) S 32270 32273 31341 0 -1 1077944384 39215 13288 0 0 1395 44 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622213520528 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32329] ppid=32270 vsize=10846988 memory=924 CPUtime=14.48 cores=1,3,5,7
/proc/32273/task/32329/stat : 32329 (java) S 32270 32273 31341 0 -1 1077944384 35605 13288 0 0 1395 46 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622212467472 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32330] ppid=32270 vsize=10846988 memory=3848 CPUtime=14.49 cores=1,3,5,7
/proc/32273/task/32330/stat : 32330 (java) S 32270 32273 31341 0 -1 1077944384 39718 13288 0 0 1403 39 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622211414928 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32331] ppid=32270 vsize=10846988 memory=2612 CPUtime=7.47 cores=1,3,5,7
/proc/32273/task/32331/stat : 32331 (java) S 32270 32273 31341 0 -1 1077944384 36697 13288 0 0 694 46 5 2 20 0 15 0 472743007 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621769697520 139622310398594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32332] ppid=32270 vsize=10846988 memory=2748 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32332/stat : 32332 (java) S 32270 32273 31341 0 -1 1077944384 21 13288 0 0 0 0 5 2 20 0 15 0 472743007 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621199504672 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32333] ppid=32270 vsize=10846988 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32333/stat : 32333 (java) S 32270 32273 31341 0 -1 1077944384 12 13288 0 0 0 0 5 2 20 0 15 0 472743008 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621065286400 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32334] ppid=32270 vsize=10846988 memory=3276 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32334/stat : 32334 (java) S 32270 32273 31341 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139620824995792 139622310406043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32335] ppid=32270 vsize=10846988 memory=2579232 CPUtime=6.47 cores=1,3,5,7
/proc/32273/task/32335/stat : 32335 (java) S 32270 32273 31341 0 -1 1077944384 18097 13288 0 0 636 4 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621768645360 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32336] ppid=32270 vsize=10846988 memory=1408 CPUtime=7.6 cores=1,3,5,7
/proc/32273/task/32336/stat : 32336 (java) S 32270 32273 31341 0 -1 1077944384 24031 13288 0 0 749 4 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621767592816 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32337] ppid=32270 vsize=10846988 memory=3144 CPUtime=2.18 cores=1,3,5,7
/proc/32273/task/32337/stat : 32337 (java) S 32270 32273 31341 0 -1 1077944384 14593 13288 0 0 206 5 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621766539760 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32338] ppid=32270 vsize=10846988 memory=1689136 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32338/stat : 32338 (java) S 32270 32273 31341 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139620791438176 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32339] ppid=32270 vsize=10846988 memory=6791534058613427641 CPUtime=1.5 cores=1,3,5,7
/proc/32273/task/32339/stat : 32339 (java) S 32270 32273 31341 0 -1 1077944384 2326 13288 0 0 64 79 5 2 20 0 15 0 472743011 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621765487152 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
Current children cumulated CPU time: 2381.68 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2579232 KiB

[startup+2324.8 s]
/proc/loadavg: 1.72 1.50 1.37 3/230 32705
/proc/meminfo: memFree=2178400/32770624 swapFree=66972100/67108860
[pid=32273] ppid=32270 vsize=10846988 memory=2579232 CPUtime=2382.48 cores=1,3,5,7
/proc/32273/stat : 32273 (java) S 32270 32273 31341 0 -1 1077944320 373689 13288 0 0 237889 352 5 2 20 0 15 0 472742996 11107315712 644808 33554432000 4194304 4196468 140728122388512 140728122371056 139622310387447 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
/proc/32273/statm: 2711747 644808 3639 1 0 2673805 0
[pid=32273/tid=32326] ppid=32270 vsize=10846988 memory=0 CPUtime=2299.87 cores=1,3,5,7
/proc/32273/task/32326/stat : 32326 (java) R 32270 32273 31341 0 -1 4202560 109967 13288 0 0 229898 82 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622282224128 139621903884032 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32327] ppid=32270 vsize=10846988 memory=6791534058613427641 CPUtime=14.48 cores=1,3,5,7
/proc/32273/task/32327/stat : 32327 (java) S 32270 32273 31341 0 -1 1077944384 51199 13288 0 0 1398 43 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622314630160 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32328] ppid=32270 vsize=10846988 memory=3144 CPUtime=14.47 cores=1,3,5,7
/proc/32273/task/32328/stat : 32328 (java) S 32270 32273 31341 0 -1 1077944384 39215 13288 0 0 1396 44 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622213520528 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32329] ppid=32270 vsize=10846988 memory=1711660 CPUtime=14.48 cores=1,3,5,7
/proc/32273/task/32329/stat : 32329 (java) S 32270 32273 31341 0 -1 1077944384 35605 13288 0 0 1395 46 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622212467472 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32330] ppid=32270 vsize=10846988 memory=2579232 CPUtime=14.49 cores=1,3,5,7
/proc/32273/task/32330/stat : 32330 (java) S 32270 32273 31341 0 -1 1077944384 39718 13288 0 0 1403 39 5 2 20 0 15 0 472743005 11107315712 644808 33554432000 4194304 4196468 140728122388512 139622211414928 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32331] ppid=32270 vsize=10846988 memory=1808 CPUtime=7.47 cores=1,3,5,7
/proc/32273/task/32331/stat : 32331 (java) S 32270 32273 31341 0 -1 1077944384 36698 13288 0 0 694 46 5 2 20 0 15 0 472743007 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621769697520 139622310398594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32332] ppid=32270 vsize=10846988 memory=924 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32332/stat : 32332 (java) S 32270 32273 31341 0 -1 1077944384 21 13288 0 0 0 0 5 2 20 0 15 0 472743007 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621199504672 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32333] ppid=32270 vsize=10846988 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32333/stat : 32333 (java) S 32270 32273 31341 0 -1 1077944384 12 13288 0 0 0 0 5 2 20 0 15 0 472743008 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621065286400 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32334] ppid=32270 vsize=10846988 memory=1552 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32334/stat : 32334 (java) S 32270 32273 31341 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139620824995792 139622310406043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32335] ppid=32270 vsize=10846988 memory=1040 CPUtime=6.47 cores=1,3,5,7
/proc/32273/task/32335/stat : 32335 (java) S 32270 32273 31341 0 -1 1077944384 18097 13288 0 0 636 4 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621768645360 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32336] ppid=32270 vsize=10846988 memory=3644 CPUtime=7.6 cores=1,3,5,7
/proc/32273/task/32336/stat : 32336 (java) S 32270 32273 31341 0 -1 1077944384 24031 13288 0 0 749 4 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621767592816 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32337] ppid=32270 vsize=10846988 memory=780 CPUtime=2.18 cores=1,3,5,7
/proc/32273/task/32337/stat : 32337 (java) S 32270 32273 31341 0 -1 1077944384 14593 13288 0 0 206 5 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621766539760 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32338] ppid=32270 vsize=10846988 memory=2579232 CPUtime=0.07 cores=1,3,5,7
/proc/32273/task/32338/stat : 32338 (java) S 32270 32273 31341 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 472743010 11107315712 644808 33554432000 4194304 4196468 140728122388512 139620791438176 139622310397653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
[pid=32273/tid=32339] ppid=32270 vsize=10846988 memory=1716 CPUtime=1.5 cores=1,3,5,7
/proc/32273/task/32339/stat : 32339 (java) S 32270 32273 31341 0 -1 1077944384 2326 13288 0 0 64 79 5 2 20 0 15 0 472743011 11107315712 644808 33554432000 4194304 4196468 140728122388512 139621765487152 139622310398594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28258304 140728122391139 140728122393781 140728122393781 140728122396623 0
Current children cumulated CPU time: 2382.48 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 2579232 KiB

[startup+2325 s]*
/proc/loadavg: 1.72 1.50 1.37 3/217 32706
/proc/meminfo: memFree=3504820/32770624 swapFree=66972100/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 2325.01
CPU time (s): 2382.72
CPU user time (s): 2379.15
CPU system time (s): 3.57166
CPU usage (%): 102.482
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 2821908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2379.15
system time used= 3.57166
maximum resident set size= 2821908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 389731
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 205675
involuntary context switches= 6831


# summary of solver processes directly reported to runsolver:
#   pid: 32273
#   total CPU time (s): 2382.72
#   total CPU user time (s): 2379.15
#   total CPU system time (s): 3.57166

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3016 second user time and 16.9727 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-20 10:26:08
IDJOB=4402824
IDBENCH=120609
IDSOLVER=2861
FILE ID=node117/4402824-1568968011
RUNJOBID= node117-1568967595-31373
PBS_JOBID= 21704629
Free space on /var/tmp= 13480 MiB

SOLVER NAME= Concrete 3.12.3
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 /var/tmp/evaluation-result-4402824-1568968011/watcher-4402824-1568968011 -o /var/tmp/evaluation-result-4402824-1568968011/solver-4402824-1568968011 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568967595-31373 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=2142651045 HOME/instance-4402824-1568968011.xml

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

MD5SUM BENCH= 7175cc64c8263572fa1d1d1459976d33
RANDOM SEED=2142651045

node117.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.75
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.75
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.75
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.75
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:         5301464 kB
MemAvailable:   30709728 kB
Buffers:          116492 kB
Cached:         25197140 kB
SwapCached:        27660 kB
Active:         13602772 kB
Inactive:       12868116 kB
Active(anon):    1129200 kB
Inactive(anon):    69056 kB
Active(file):   12473572 kB
Inactive(file): 12799060 kB
Unevictable:      107884 kB
Mlocked:          107884 kB
SwapTotal:      67108860 kB
SwapFree:       66972072 kB
Dirty:             35804 kB
Writeback:             0 kB
AnonPages:       1238456 kB
Mapped:            61272 kB
Shmem:             32248 kB
Slab:             592992 kB
SReclaimable:     564092 kB
SUnreclaim:        28900 kB
KernelStack:        3808 kB
PageTables:         8112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2395940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1056768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /var/tmp at the end= 13444 MiB
End job on node117 at 2019-09-20 11:04:53