Trace number 4284864

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
OscaR - Parallel with EPS 2017-08-22SAT (TO)746 19924.1 2520.1899

General information on the benchmark

NamePseudoBoolean/
PseudoBoolean-opt-dimacs/Pb-ii8d2.xml
MD5SUMf6e5619a9394ff6fb9e35a49c1220c66
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark547
Best CPU time to get the best result obtained on this benchmark2400.01
Satisfiable
(Un)Satisfiability was proved
Number of variables1860
Number of constraints7477
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":1860}]
Minimum variable degree2
Maximum variable degree53
Distribution of variable degrees[{"degree":2,"count":20},{"degree":3,"count":770},{"degree":6,"count":10},{"degree":8,"count":10},{"degree":10,"count":790},{"degree":11,"count":10},{"degree":12,"count":10},{"degree":15,"count":10},{"degree":16,"count":10},{"degree":17,"count":20},{"degree":19,"count":10},{"degree":21,"count":10},{"degree":25,"count":20},{"degree":30,"count":10},{"degree":35,"count":20},{"degree":37,"count":10},{"degree":38,"count":10},{"degree":39,"count":10},{"degree":40,"count":10},{"degree":41,"count":10},{"degree":42,"count":10},{"degree":43,"count":10},{"degree":44,"count":10},{"degree":45,"count":10},{"degree":46,"count":10},{"degree":48,"count":20},{"degree":53,"count":10}]
Minimum constraint arity2
Maximum constraint arity10
Distribution of constraint arities[{"arity":2,"count":7170},{"arity":8,"count":230},{"arity":10,"count":77}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":7477}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.29/0.25	c version: 2017-08-22
0.29/0.25	c seed: 1546478921
0.29/0.25	c timeout: 20160
0.29/0.25	c memlimit: 22000
0.29/0.25	c nbcore: 8
0.29/0.28	c Parsing instance...
2.49/0.98	c Parsing done, starting search...
12.84/4.66	o 930
12.84/4.66	o 929
12.84/4.66	o 928
12.84/4.67	o 927
12.84/4.67	o 926
12.84/4.68	o 925
12.84/4.68	o 924
12.84/4.68	o 923
12.84/4.69	o 922
13.64/4.70	o 921
13.64/4.70	o 920
13.64/4.70	o 919
13.64/4.70	o 918
13.64/4.70	o 917
13.64/4.70	o 916
13.64/4.71	o 915
13.64/4.71	o 914
13.64/4.71	o 913
13.64/4.71	o 912
13.64/4.71	o 911
13.64/4.71	o 910
13.64/4.71	o 909
13.64/4.71	o 908
13.64/4.71	o 907
13.64/4.71	o 906
13.64/4.71	o 905
13.64/4.75	o 904
13.64/4.75	o 903
13.64/4.75	o 902
13.64/4.76	o 901
13.64/4.76	o 900
13.64/4.76	o 899
13.64/4.76	o 898
13.64/4.77	o 897
13.64/4.77	o 896
13.64/4.78	o 895
13.64/4.78	o 894
13.64/4.78	o 893
13.64/4.78	o 892
13.64/4.78	o 891
13.64/4.78	o 890
13.64/4.78	o 889
14.41/4.80	o 888
14.41/4.80	o 887
14.41/4.80	o 886
14.41/4.80	o 885
14.41/4.81	o 884
14.41/4.81	o 883
14.41/4.81	o 882
14.41/4.82	o 881
14.41/4.82	o 880
14.41/4.82	o 879
14.41/4.82	o 878
14.41/4.82	o 877
14.41/4.82	o 876
14.41/4.82	o 875
14.41/4.85	o 874
14.41/4.85	o 873
14.41/4.85	o 872
14.41/4.85	o 871
14.41/4.85	o 870
14.41/4.85	o 869
14.41/4.85	o 868
14.41/4.86	o 867
14.41/4.87	o 866
14.41/4.87	o 865
14.41/4.87	o 864
14.41/4.87	o 863
14.41/4.88	o 862
14.41/4.88	o 861
14.41/4.88	o 860
14.41/4.88	o 859
14.41/4.88	o 858
14.41/4.88	o 857
14.41/4.88	o 856
14.41/4.89	o 855
14.41/4.89	o 854
14.41/4.89	o 853
14.41/4.89	o 852
14.41/4.89	o 851
14.41/4.90	o 850
15.17/4.90	o 849
15.17/4.90	o 848
15.17/4.90	o 847
15.17/4.91	o 846
15.17/4.91	o 845
15.17/4.91	o 844
15.17/4.91	o 843
15.17/4.92	o 842
15.17/4.92	o 841
15.17/4.92	o 840
15.17/4.92	o 839
15.17/4.92	o 838
15.17/4.93	o 837
15.17/4.93	o 836
15.17/4.93	o 835
15.17/4.93	o 834
15.17/4.93	o 833
15.17/4.94	o 832
15.17/4.94	o 831
15.17/4.94	o 830
15.17/4.94	o 829
15.17/4.94	o 828
15.17/4.96	o 827
15.17/4.96	o 826
15.17/4.96	o 825
15.17/4.96	o 824
15.17/4.96	o 823
15.17/4.98	o 822
15.17/5.00	o 821
15.17/5.00	o 820
15.17/5.01	o 819
16.05/5.02	o 818
16.05/5.03	o 817
16.05/5.04	o 816
16.05/5.05	o 815
16.05/5.06	o 814
16.05/5.07	o 813
16.05/5.07	o 812
16.05/5.08	o 811
16.05/5.09	o 810
16.79/5.13	o 809
16.79/5.14	o 808
16.79/5.15	o 807
16.79/5.17	o 806
16.79/5.18	o 805
16.79/5.19	o 804
16.79/5.20	o 803
17.47/5.21	o 802
17.47/5.22	o 801
17.47/5.23	o 800
17.47/5.24	o 799
17.47/5.26	o 798
17.47/5.27	o 797
17.47/5.28	o 796
17.47/5.29	o 795
18.27/5.30	o 794
18.27/5.31	o 793
18.27/5.32	o 792
18.27/5.33	o 791
18.27/5.34	o 790
18.27/5.35	o 789
18.27/5.36	o 788
18.27/5.36	o 787
18.27/5.37	o 786
19.07/5.42	o 785
19.07/5.43	o 784
19.07/5.44	o 783
20.68/5.63	o 782
21.43/5.79	o 781
23.04/5.93	o 780
23.89/6.01	o 779
23.89/6.10	o 778
24.75/6.18	o 777
25.41/6.27	o 776
27.01/6.45	o 775
28.60/6.63	o 774
30.17/6.82	o 773
30.97/6.98	o 772
32.63/7.14	o 771
33.35/7.30	o 770
34.95/7.47	o 769
36.55/7.62	o 768
54.89/9.92	o 767
71.66/12.08	o 766
83.54/13.58	o 765
95.58/15.05	o 764
109.06/16.73	o 763
121.02/18.22	o 762
132.99/19.73	o 761
146.53/21.45	o 760
325.10/43.90	o 759
456.64/60.37	o 758
568.27/74.33	o 757
683.87/88.81	o 756
799.46/103.38	o 755
920.64/118.52	o 754
1082.48/138.89	o 753
1202.01/153.86	o 752
1320.75/168.73	o 751
2117.52/268.74	o 750
2883.72/365.55	o 749
3763.09/476.60	o 748
9581.71/1212.14	o 747
15972.21/2020.24	o 746
19922.81/2520.11	s SATISFIABLE
19923.69/2520.15	v <instantiation>
19923.69/2520.15	v 	<list>
19923.69/2520.15	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999] x[1000] x[1001] x[1002] x[1003] x[1004] x[1005] x[1006] x[1007] x[1008] x[1009] x[1010] x[1011] x[1012] x[1013] x[1014] x[1015] x[1016] x[1017] x[1018] x[1019] x[1020] x[1021] x[1022] x[1023] x[1024] x[1025] x[1026] x[1027] x[1028] x[1029] x[1030] x[1031] x[1032] x[1033] x[1034] x[1035] x[1036] x[1037] x[1038] x[1039] x[1040] x[1041] x[1042] x[1043] x[1044] x[1045] x[1046] x[1047] x[1048] x[1049] x[1050] x[1051] x[1052] x[1053] x[1054] x[1055] x[1056] x[1057] x[1058] x[1059] x[1060] x[1061] x[1062] x[1063] x[1064] x[1065] x[1066] x[1067] x[1068] x[1069] x[1070] x[1071] x[1072] x[1073] x[1074] x[1075] x[1076] x[1077] x[1078] x[1079] x[1080] x[1081] x[1082] x[1083] x[1084] x[1085] x[1086] x[1087] x[1088] x[1089] x[1090] x[1091] x[1092] x[1093] x[1094] x[1095] x[1096] x[1097] x[1098] x[1099] x[1100] x[1101] x[1102] x[1103] x[1104] x[1105] x[1106] x[1107] x[1108] x[1109] x[1110] x[1111] x[1112] x[1113] x[1114] x[1115] x[1116] x[1117] x[1118] x[1119] x[1120] x[1121] x[1122] x[1123] x[1124] x[1125] x[1126] x[1127] x[1128] x[1129] x[1130] x[1131] x[1132] x[1133] x[1134] x[1135] x[1136] x[1137] x[1138] x[1139] x[1140] x[1141] x[1142] x[1143] x[1144] x[1145] x[1146] x[1147] x[1148] x[1149] x[1150] x[1151] x[1152] x[1153] x[1154] x[1155] x[1156] x[1157] x[1158] x[1159] x[1160] x[1161] x[1162] x[1163] x[1164] x[1165] x[1166] x[1167] x[1168] x[1169] x[1170] x[1171] x[1172] x[1173] x[1174] x[1175] x[1176] x[1177] x[1178] x[1179] x[1180] x[1181] x[1182] x[1183] x[1184] x[1185] x[1186] x[1187] x[1188] x[1189] x[1190] x[1191] x[1192] x[1193] x[1194] x[1195] x[1196] x[1197] x[1198] x[1199] x[1200] x[1201] x[1202] x[1203] x[1204] x[1205] x[1206] x[1207] x[1208] x[1209] x[1210] x[1211] x[1212] x[1213] x[1214] x[1215] x[1216] x[1217] x[1218] x[1219] x[1220] x[1221] x[1222] x[1223] x[1224] x[1225] x[1226] x[1227] x[1228] x[1229] x[1230] x[1231] x[1232] x[1233] x[1234] x[1235] x[1236] x[1237] x[1238] x[1239] x[1240] x[1241] x[1242] x[1243] x[1244] x[1245] x[1246] x[1247] x[1248] x[1249] x[1250] x[1251] x[1252] x[1253] x[1254] x[1255] x[1256] x[1257] x[1258] x[1259] x[1260] x[1261] x[1262] x[1263] x[1264] x[1265] x[1266] x[1267] x[1268] x[1269] x[1270] x[1271] x[1272] x[1273] x[1274] x[1275] x[1276] x[1277] x[1278] x[1279] x[1280] x[1281] x[1282] x[1283] x[1284] x[1285] x[1286] x[1287] x[1288] x[1289] x[1290] x[1291] x[1292] x[1293] x[1294] x[1295] x[1296] x[1297] x[1298] x[1299] x[1300] x[1301] x[1302] x[1303] x[1304] x[1305] x[1306] x[1307] x[1308] x[1309] x[1310] x[1311] x[1312] x[1313] x[1314] x[1315] x[1316] x[1317] x[1318] x[1319] x[1320] x[1321] x[1322] x[1323] x[1324] x[1325] x[1326] x[1327] x[1328] x[1329] x[1330] x[1331] x[1332] x[1333] x[1334] x[1335] x[1336] x[1337] x[1338] x[1339] x[1340] x[1341] x[1342] x[1343] x[1344] x[1345] x[1346] x[1347] x[1348] x[1349] x[1350] x[1351] x[1352] x[1353] x[1354] x[1355] x[1356] x[1357] x[1358] x[1359] x[1360] x[1361] x[1362] x[1363] x[1364] x[1365] x[1366] x[1367] x[1368] x[1369] x[1370] x[1371] x[1372] x[1373] x[1374] x[1375] x[1376] x[1377] x[1378] x[1379] x[1380] x[1381] x[1382] x[1383] x[1384] x[1385] x[1386] x[1387] x[1388] x[1389] x[1390] x[1391] x[1392] x[1393] x[1394] x[1395] x[1396] x[1397] x[1398] x[1399] x[1400] x[1401] x[1402] x[1403] x[1404] x[1405] x[1406] x[1407] x[1408] x[1409] x[1410] x[1411] x[1412] x[1413] x[1414] x[1415] x[1416] x[1417] x[1418] x[1419] x[1420] x[1421] x[1422] x[1423] x[1424] x[1425] x[1426] x[1427] x[1428] x[1429] x[1430] x[1431] x[1432] x[1433] x[1434] x[1435] x[1436] x[1437] x[1438] x[1439] x[1440] x[1441] x[1442] x[1443] x[1444] x[1445] x[1446] x[1447] x[1448] x[1449] x[1450] x[1451] x[1452] x[1453] x[1454] x[1455] x[1456] x[1457] x[1458] x[1459] x[1460] x[1461] x[1462] x[1463] x[1464] x[1465] x[1466] x[1467] x[1468] x[1469] x[1470] x[1471] x[1472] x[1473] x[1474] x[1475] x[1476] x[1477] x[1478] x[1479] x[1480] x[1481] x[1482] x[1483] x[1484] x[1485] x[1486] x[1487] x[1488] x[1489] x[1490] x[1491] x[1492] x[1493] x[1494] x[1495] x[1496] x[1497] x[1498] x[1499] x[1500] x[1501] x[1502] x[1503] x[1504] x[1505] x[1506] x[1507] x[1508] x[1509] x[1510] x[1511] x[1512] x[1513] x[1514] x[1515] x[1516] x[1517] x[1518] x[1519] x[1520] x[1521] x[1522] x[1523] x[1524] x[1525] x[1526] x[1527] x[1528] x[1529] x[1530] x[1531] x[1532] x[1533] x[1534] x[1535] x[1536] x[1537] x[1538] x[1539] x[1540] x[1541] x[1542] x[1543] x[1544] x[1545] x[1546] x[1547] x[1548] x[1549] x[1550] x[1551] x[1552] x[1553] x[1554] x[1555] x[1556] x[1557] x[1558] x[1559] x[1560] x[1561] x[1562] x[1563] x[1564] x[1565] x[1566] x[1567] x[1568] x[1569] x[1570] x[1571] x[1572] x[1573] x[1574] x[1575] x[1576] x[1577] x[1578] x[1579] x[1580] x[1581] x[1582] x[1583] x[1584] x[1585] x[1586] x[1587] x[1588] x[1589] x[1590] x[1591] x[1592] x[1593] x[1594] x[1595] x[1596] x[1597] x[1598] x[1599] x[1600] x[1601] x[1602] x[1603] x[1604] x[1605] x[1606] x[1607] x[1608] x[1609] x[1610] x[1611] x[1612] x[1613] x[1614] x[1615] x[1616] x[1617] x[1618] x[1619] x[1620] x[1621] x[1622] x[1623] x[1624] x[1625] x[1626] x[1627] x[1628] x[1629] x[1630] x[1631] x[1632] x[1633] x[1634] x[1635] x[1636] x[1637] x[1638] x[1639] x[1640] x[1641] x[1642] x[1643] x[1644] x[1645] x[1646] x[1647] x[1648] x[1649] x[1650] x[1651] x[1652] x[1653] x[1654] x[1655] x[1656] x[1657] x[1658] x[1659] x[1660] x[1661] x[1662] x[1663] x[1664] x[1665] x[1666] x[1667] x[1668] x[1669] x[1670] x[1671] x[1672] x[1673] x[1674] x[1675] x[1676] x[1677] x[1678] x[1679] x[1680] x[1681] x[1682] x[1683] x[1684] x[1685] x[1686] x[1687] x[1688] x[1689] x[1690] x[1691] x[1692] x[1693] x[1694] x[1695] x[1696] x[1697] x[1698] x[1699] x[1700] x[1701] x[1702] x[1703] x[1704] x[1705] x[1706] x[1707] x[1708] x[1709] x[1710] x[1711] x[1712] x[1713] x[1714] x[1715] x[1716] x[1717] x[1718] x[1719] x[1720] x[1721] x[1722] x[1723] x[1724] x[1725] x[1726] x[1727] x[1728] x[1729] x[1730] x[1731] x[1732] x[1733] x[1734] x[1735] x[1736] x[1737] x[1738] x[1739] x[1740] x[1741] x[1742] x[1743] x[1744] x[1745] x[1746] x[1747] x[1748] x[1749] x[1750] x[1751] x[1752] x[1753] x[1754] x[1755] x[1756] x[1757] x[1758] x[1759] x[1760] x[1761] x[1762] x[1763] x[1764] x[1765] x[1766] x[1767] x[1768] x[1769] x[1770] x[1771] x[1772] x[1773] x[1774] x[1775] x[1776] x[1777] x[1778] x[1779] x[1780] x[1781] x[1782] x[1783] x[1784] x[1785] x[1786] x[1787] x[1788] x[1789] x[1790] x[1791] x[1792] x[1793] x[1794] x[1795] x[1796] x[1797] x[1798] x[1799] x[1800] x[1801] x[1802] x[1803] x[1804] x[1805] x[1806] x[1807] x[1808] x[1809] x[1810] x[1811] x[1812] x[1813] x[1814] x[1815] x[1816] x[1817] x[1818] x[1819] x[1820] x[1821] x[1822] x[1823] x[1824] x[1825] x[1826] x[1827] x[1828] x[1829] x[1830] x[1831] x[1832] x[1833] x[1834] x[1835] x[1836] x[1837] x[1838] x[1839] x[1840] x[1841] x[1842] x[1843] x[1844] x[1845] x[1846] x[1847] x[1848] x[1849] x[1850] x[1851] x[1852] x[1853] x[1854] x[1855] x[1856] x[1857] x[1858] x[1859]
19923.69/2520.15	v 	</list>
19923.69/2520.15	v 	<values>
19923.69/2520.15	v 		1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 
19923.69/2520.15	v 	</values>
19923.69/2520.15	v </instantiation>

Verifier Data 

OK	746

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284864-1503447715/watcher-4284864-1503447715 -o /tmp/evaluation-result-4284864-1503447715/solver-4284864-1503447715 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503440793-12933 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1546478921 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284864-1503447715.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=14870, runsolver pid=14867

[startup+0.10011 s]*
/proc/loadavg: 4.36 5.72 6.40 2/198 14890
/proc/meminfo: memFree=24328928/32770624 swapFree=67108860/67108860
[pid=14870] ppid=14867 vsize=26000852 memory=32876 CPUtime=0.12 cores=0-7
/proc/14870/stat : 14870 (java) S 14867 14870 12906 0 -1 1077944320 8613 0 0 0 10 2 0 0 20 0 20 0 177859024 26624872448 8219 33554432000 4194304 4196468 140728448999856 140728448982400 139887032139511 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
/proc/14870/statm: 6500213 8219 3407 1 0 6487932 0
[pid=14870/tid=14872] ppid=14867 vsize=26000852 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/14870/task/14872/stat : 14872 (java) R 14867 14870 12906 0 -1 4202560 6554 0 0 0 8 1 0 0 20 0 20 0 177859024 26624872448 8219 33554432000 4194304 4196468 140728448999856 139887036336464 139887032161437 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14873] ppid=14867 vsize=26000852 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14870/task/14873/stat : 14873 (java) S 14867 14870 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177859025 26624872448 8219 33554432000 4194304 4196468 140728448999856 139886954719632 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14874] ppid=14867 vsize=26000852 memory=139656017901184 CPUtime=0 cores=0-7
/proc/14870/task/14874/stat : 14874 (java) S 14867 14870 12906 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177859025 26624872448 8219 33554432000 4194304 4196468 140728448999856 139886953666832 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14875] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14875/stat : 14875 (java) S 14867 14870 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177859025 26624872448 8219 33554432000 4194304 4196468 140728448999856 139886952614544 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14876] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14876/stat : 14876 (java) S 14867 14870 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177859025 26624872448 8219 33554432000 4194304 4196468 140728448999856 139886586780176 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14877] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14877/stat : 14877 (java) S 14867 14870 12906 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177859025 26624872448 8219 33554432000 4194304 4196468 140728448999856 139886585727888 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14878] ppid=14867 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/14870/task/14878/stat : 14878 (java) S 14867 14870 12906 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177859025 26624872448 8219 33554432000 4194304 4196468 140728448999856 139886584675088 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14879] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14879/stat : 14879 (java) S 14867 14870 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177859025 26624872448 8219 33554432000 4194304 4196468 140728448999856 139886583622800 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14880] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14880/stat : 14880 (java) S 14867 14870 12906 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177859025 26624872448 8219 33554432000 4194304 4196468 140728448999856 139886582570000 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14881] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14881/stat : 14881 (java) S 14867 14870 12906 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177859026 26624872448 8219 33554432000 4194304 4196468 140728448999856 139886159984752 139887032150658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14882] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14882/stat : 14882 (java) S 14867 14870 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177859027 26624872448 8219 33554432000 4194304 4196468 140728448999856 139886158930720 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14883] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14883/stat : 14883 (java) S 14867 14870 12906 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177859027 26624872448 8219 33554432000 4194304 4196468 140728448999856 139886157878384 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14884] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14884/stat : 14884 (java) S 14867 14870 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177859029 26624872448 8219 33554432000 4194304 4196468 140728448999856 139886156826704 139887032158107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14885] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14885/stat : 14885 (java) S 14867 14870 12906 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 20 0 177859029 26624872448 8219 33554432000 4194304 4196468 140728448999856 139886155774576 139887032150658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14886] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14886/stat : 14886 (java) S 14867 14870 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177859029 26624872448 8219 33554432000 4194304 4196468 140728448999856 139886154721776 139887032150658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14887] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14887/stat : 14887 (java) S 14867 14870 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177859029 26624872448 8219 33554432000 4194304 4196468 140728448999856 139886153669488 139887032150658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14888] ppid=14867 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/14870/task/14888/stat : 14888 (java) R 14867 14870 12906 0 -1 4202560 362 0 0 0 1 0 0 0 20 0 20 0 177859029 26624872448 8219 33554432000 4194304 4196468 140728448999856 139886152616688 139887010805824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14889] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14889/stat : 14889 (java) S 14867 14870 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177859030 26624872448 8219 33554432000 4194304 4196468 140728448999856 139886151563616 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14890] ppid=14867 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/14870/task/14890/stat : 14890 (java) S 14867 14870 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177859030 26624872448 8219 33554432000 4194304 4196468 140728448999856 139886150510896 139887032150658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 32876 KiB

[startup+0.210381 s]*
/proc/loadavg: 4.36 5.72 6.40 3/198 14890
/proc/meminfo: memFree=24318940/32770624 swapFree=67108860/67108860
[pid=14870] ppid=14867 vsize=26000852 memory=41760 CPUtime=0.29 cores=0-7
/proc/14870/stat : 14870 (java) S 14867 14870 12906 0 -1 1077944320 9628 0 0 0 27 2 0 0 20 0 20 0 177859024 26624872448 10440 33554432000 4194304 4196468 140728448999856 140728448982400 139887032139511 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
/proc/14870/statm: 6500213 10440 3589 1 0 6487932 0
[pid=14870/tid=14872] ppid=14867 vsize=26000852 memory=4026531975 CPUtime=0.2 cores=0-7
/proc/14870/task/14872/stat : 14872 (java) R 14867 14870 12906 0 -1 4202560 7197 0 0 0 18 2 0 0 20 0 20 0 177859024 26624872448 10440 33554432000 4194304 4196468 140728448999856 139887036359568 139887032161437 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14873] ppid=14867 vsize=26000852 memory=13913 CPUtime=0 cores=0-7
/proc/14870/task/14873/stat : 14873 (java) S 14867 14870 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177859025 26624872448 10440 33554432000 4194304 4196468 140728448999856 139886954719632 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14874] ppid=14867 vsize=26000852 memory=3834445880410928800 CPUtime=0 cores=0-7
/proc/14870/task/14874/stat : 14874 (java) S 14867 14870 12906 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177859025 26624872448 10440 33554432000 4194304 4196468 140728448999856 139886953666832 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14875] ppid=14867 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/14870/task/14875/stat : 14875 (java) S 14867 14870 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177859025 26624872448 10440 33554432000 4194304 4196468 140728448999856 139886952614544 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14876] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14876/stat : 14876 (java) S 14867 14870 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177859025 26624872448 10440 33554432000 4194304 4196468 140728448999856 139886586780176 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14877] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14877/stat : 14877 (java) S 14867 14870 12906 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177859025 26624872448 10440 33554432000 4194304 4196468 140728448999856 139886585727888 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14878] ppid=14867 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/14870/task/14878/stat : 14878 (java) S 14867 14870 12906 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177859025 26624872448 10440 33554432000 4194304 4196468 140728448999856 139886584675088 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14879] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14879/stat : 14879 (java) S 14867 14870 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177859025 26624872448 10440 33554432000 4194304 4196468 140728448999856 139886583622800 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14880] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14880/stat : 14880 (java) S 14867 14870 12906 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177859025 26624872448 10440 33554432000 4194304 4196468 140728448999856 139886582570000 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14881] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14881/stat : 14881 (java) S 14867 14870 12906 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 177859026 26624872448 10440 33554432000 4194304 4196468 140728448999856 139886159984752 139887032150658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14882] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14882/stat : 14882 (java) S 14867 14870 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177859027 26624872448 10440 33554432000 4194304 4196468 140728448999856 139886158930720 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14883] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14883/stat : 14883 (java) S 14867 14870 12906 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177859027 26624872448 10440 33554432000 4194304 4196468 140728448999856 139886157878384 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14884] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14884/stat : 14884 (java) S 14867 14870 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177859029 26624872448 10440 33554432000 4194304 4196468 140728448999856 139886156826704 139887032158107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14885] ppid=14867 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/14870/task/14885/stat : 14885 (java) S 14867 14870 12906 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 20 0 177859029 26624872448 10440 33554432000 4194304 4196468 140728448999856 139886155774576 139887032150658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14886] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14886/stat : 14886 (java) S 14867 14870 12906 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 20 0 177859029 26624872448 10440 33554432000 4194304 4196468 140728448999856 139886154721776 139887032150658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14887] ppid=14867 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/14870/task/14887/stat : 14887 (java) S 14867 14870 12906 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 177859029 26624872448 10440 33554432000 4194304 4196468 140728448999856 139886153669488 139887032150658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14888] ppid=14867 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/14870/task/14888/stat : 14888 (java) R 14867 14870 12906 0 -1 4202560 386 0 0 0 5 0 0 0 20 0 20 0 177859029 26624872448 10440 33554432000 4194304 4196468 140728448999856 139886152616688 139887032151446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14889] ppid=14867 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14889/stat : 14889 (java) S 14867 14870 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177859030 26624872448 10440 33554432000 4194304 4196468 140728448999856 139886151563616 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14890] ppid=14867 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/14870/task/14890/stat : 14890 (java) S 14867 14870 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177859030 26624872448 10440 33554432000 4194304 4196468 140728448999856 139886150510896 139887032150658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41760 KiB

[startup+0.310244 s]*
/proc/loadavg: 4.36 5.72 6.40 2/198 14890
/proc/meminfo: memFree=24311744/32770624 swapFree=67108860/67108860
[pid=14870] ppid=14867 vsize=26000872 memory=49152 CPUtime=0.48 cores=0-7
/proc/14870/stat : 14870 (java) S 14867 14870 12906 0 -1 1077944320 10653 0 0 0 45 3 0 0 20 0 20 0 177859024 26624892928 12288 33554432000 4194304 4196468 140728448999856 140728448982400 139887032139511 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
/proc/14870/statm: 6500218 12288 3708 1 0 6487932 0
[pid=14870/tid=14872] ppid=14867 vsize=26000872 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/14870/task/14872/stat : 14872 (java) R 14867 14870 12906 0 -1 4202560 7756 0 0 0 27 2 0 0 20 0 20 0 177859024 26624892928 12288 33554432000 4194304 4196468 140728448999856 139887036365120 139887011864552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14873] ppid=14867 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14873/stat : 14873 (java) S 14867 14870 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177859025 26624892928 12288 33554432000 4194304 4196468 140728448999856 139886954719632 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14874] ppid=14867 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14874/stat : 14874 (java) S 14867 14870 12906 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177859025 26624892928 12288 33554432000 4194304 4196468 140728448999856 139886953666832 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14875] ppid=14867 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14875/stat : 14875 (java) S 14867 14870 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177859025 26624892928 12288 33554432000 4194304 4196468 140728448999856 139886952614544 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14876] ppid=14867 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14876/stat : 14876 (java) S 14867 14870 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177859025 26624892928 12288 33554432000 4194304 4196468 140728448999856 139886586780176 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14877] ppid=14867 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/14870/task/14877/stat : 14877 (java) S 14867 14870 12906 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177859025 26624892928 12288 33554432000 4194304 4196468 140728448999856 139886585727888 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14878] ppid=14867 vsize=26000872 memory=139655894889391 CPUtime=0 cores=0-7
/proc/14870/task/14878/stat : 14878 (java) S 14867 14870 12906 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177859025 26624892928 12288 33554432000 4194304 4196468 140728448999856 139886584675088 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14879] ppid=14867 vsize=26000872 memory=139655894891696 CPUtime=0 cores=0-7
/proc/14870/task/14879/stat : 14879 (java) S 14867 14870 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177859025 26624892928 12288 33554432000 4194304 4196468 140728448999856 139886583622800 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14880] ppid=14867 vsize=26000872 memory=139655894894000 CPUtime=0 cores=0-7
/proc/14870/task/14880/stat : 14880 (java) S 14867 14870 12906 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177859025 26624892928 12288 33554432000 4194304 4196468 140728448999856 139886582570000 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14881] ppid=14867 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14881/stat : 14881 (java) S 14867 14870 12906 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 177859026 26624892928 12288 33554432000 4194304 4196468 140728448999856 139886159984752 139887032150658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14882] ppid=14867 vsize=26000872 memory=279311789794960 CPUtime=0 cores=0-7
/proc/14870/task/14882/stat : 14882 (java) S 14867 14870 12906 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 177859027 26624892928 12288 33554432000 4194304 4196468 140728448999856 139886158930720 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14883] ppid=14867 vsize=26000872 memory=279311789801872 CPUtime=0 cores=0-7
/proc/14870/task/14883/stat : 14883 (java) S 14867 14870 12906 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 177859027 26624892928 12288 33554432000 4194304 4196468 140728448999856 139886157878384 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14884] ppid=14867 vsize=26000872 memory=279311789743152 CPUtime=0 cores=0-7
/proc/14870/task/14884/stat : 14884 (java) S 14867 14870 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177859029 26624892928 12288 33554432000 4194304 4196468 140728448999856 139886156826704 139887032158107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14885] ppid=14867 vsize=26000872 memory=279311789815696 CPUtime=0.03 cores=0-7
/proc/14870/task/14885/stat : 14885 (java) S 14867 14870 12906 0 -1 1077944384 589 0 0 0 3 0 0 0 20 0 20 0 177859029 26624892928 12288 33554432000 4194304 4196468 140728448999856 139886155774576 139887032150658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14886] ppid=14867 vsize=26000872 memory=279311789822608 CPUtime=0.02 cores=0-7
/proc/14870/task/14886/stat : 14886 (java) S 14867 14870 12906 0 -1 1077944384 249 0 0 0 2 0 0 0 20 0 20 0 177859029 26624892928 12288 33554432000 4194304 4196468 140728448999856 139886154721776 139887032150658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14887] ppid=14867 vsize=26000872 memory=279311789820304 CPUtime=0.03 cores=0-7
/proc/14870/task/14887/stat : 14887 (java) S 14867 14870 12906 0 -1 1077944384 256 0 0 0 3 0 0 0 20 0 20 0 177859029 26624892928 12288 33554432000 4194304 4196468 140728448999856 139886153669488 139887032150658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14888] ppid=14867 vsize=26000872 memory=279311789836912 CPUtime=0.08 cores=0-7
/proc/14870/task/14888/stat : 14888 (java) R 14867 14870 12906 0 -1 1077944384 417 0 0 0 8 0 0 0 20 0 20 0 177859029 26624892928 12288 33554432000 4194304 4196468 140728448999856 139886152616688 139887032150658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14889] ppid=14867 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14889/stat : 14889 (java) S 14867 14870 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177859030 26624892928 12288 33554432000 4194304 4196468 140728448999856 139886151563616 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14890] ppid=14867 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/14870/task/14890/stat : 14890 (java) S 14867 14870 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177859030 26624892928 12288 33554432000 4194304 4196468 140728448999856 139886150510896 139887032150658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49152 KiB

[startup+0.700906 s]
/proc/loadavg: 4.09 5.64 6.37 5/198 14890
/proc/meminfo: memFree=24296428/32770624 swapFree=67108860/67108860
[pid=14870] ppid=14867 vsize=26002920 memory=105728 CPUtime=1.6 cores=0-7
/proc/14870/stat : 14870 (java) S 14867 14870 12906 0 -1 1077944320 14923 0 0 0 155 5 0 0 20 0 20 0 177859024 26626990080 26414 33554432000 4194304 4196468 140728448999856 140728448982400 139887032139511 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
/proc/14870/statm: 6500730 26432 3777 1 0 6488444 0
[pid=14870/tid=14872] ppid=14867 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/14870/task/14872/stat : 14872 (java) R 14867 14870 12906 0 -1 4202560 8479 0 0 0 64 3 0 0 20 0 20 0 177859024 26626990080 26432 33554432000 4194304 4196468 140728448999856 139887036372080 139887016183141 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14873] ppid=14867 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14873/stat : 14873 (java) S 14867 14870 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177859025 26626990080 26432 33554432000 4194304 4196468 140728448999856 139886954719632 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14874] ppid=14867 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14874/stat : 14874 (java) S 14867 14870 12906 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177859025 26626990080 26432 33554432000 4194304 4196468 140728448999856 139886953666832 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14875] ppid=14867 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14875/stat : 14875 (java) S 14867 14870 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177859025 26626990080 26432 33554432000 4194304 4196468 140728448999856 139886952614544 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14876] ppid=14867 vsize=26002920 memory=1008 CPUtime=0 cores=0-7
/proc/14870/task/14876/stat : 14876 (java) S 14867 14870 12906 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 177859025 26626990080 26432 33554432000 4194304 4196468 140728448999856 139886586780176 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14877] ppid=14867 vsize=26002920 memory=4620 CPUtime=0 cores=0-7
/proc/14870/task/14877/stat : 14877 (java) S 14867 14870 12906 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177859025 26626990080 26432 33554432000 4194304 4196468 140728448999856 139886585727888 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14878] ppid=14867 vsize=26002920 memory=1428 CPUtime=0 cores=0-7
/proc/14870/task/14878/stat : 14878 (java) S 14867 14870 12906 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177859025 26626990080 26432 33554432000 4194304 4196468 140728448999856 139886584675088 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14879] ppid=14867 vsize=26002920 memory=1204 CPUtime=0 cores=0-7
/proc/14870/task/14879/stat : 14879 (java) S 14867 14870 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 177859025 26626990080 26432 33554432000 4194304 4196468 140728448999856 139886583622800 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14880] ppid=14867 vsize=26002920 memory=15880 CPUtime=0 cores=0-7
/proc/14870/task/14880/stat : 14880 (java) S 14867 14870 12906 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 177859025 26626990080 26432 33554432000 4194304 4196468 140728448999856 139886582570000 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14881] ppid=14867 vsize=26002920 memory=28968 CPUtime=0 cores=0-7
/proc/14870/task/14881/stat : 14881 (java) S 14867 14870 12906 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 177859026 26626990080 26432 33554432000 4194304 4196468 140728448999856 139886159984752 139887032150658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0

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

/proc/14870/task/14894/stat : 14894 (java) R 14867 14870 12906 0 -1 4202560 53398 0 0 0 247099 62 0 0 20 0 46 0 177859426 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886065597344 139886643924241 0 4 0 16800975 0 0 0 -1 2 0 0 49 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14895] ppid=14867 vsize=27743860 memory=1228 CPUtime=0.12 cores=0-7
/proc/14870/task/14895/stat : 14895 (java) S 14867 14870 12906 0 -1 1077944384 643 0 0 0 12 0 0 0 20 0 46 0 177859427 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886064547600 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14896] ppid=14867 vsize=27743860 memory=12136 CPUtime=2471.82 cores=0-7
/proc/14870/task/14896/stat : 14896 (java) R 14867 14870 12906 0 -1 4202560 58975 0 0 0 247126 56 0 0 20 0 46 0 177859429 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886063487792 139886643923874 0 4 0 16800975 0 0 0 -1 1 0 0 42 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14897] ppid=14867 vsize=27743860 memory=5792 CPUtime=2475.87 cores=0-7
/proc/14870/task/14897/stat : 14897 (java) R 14867 14870 12906 0 -1 4202560 59630 0 0 0 247523 64 0 0 20 0 46 0 177859429 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886062438208 139886644320035 0 4 0 16800975 0 0 0 -1 5 0 0 46 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14898] ppid=14867 vsize=27743860 memory=1008 CPUtime=2475.8 cores=0-7
/proc/14870/task/14898/stat : 14898 (java) R 14867 14870 12906 0 -1 4202560 61715 0 0 0 247522 58 0 0 20 0 46 0 177859429 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886061381912 139886633024188 0 4 0 16800975 0 0 0 -1 4 0 0 44 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14899] ppid=14867 vsize=27743860 memory=4620 CPUtime=2476.88 cores=0-7
/proc/14870/task/14899/stat : 14899 (java) R 14867 14870 12906 0 -1 4202560 74088 0 0 0 247618 70 0 0 20 0 46 0 177859429 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886060329624 139886639701287 0 4 0 16800975 0 0 0 -1 6 0 0 30 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14900] ppid=14867 vsize=27743860 memory=1428 CPUtime=2472.6 cores=0-7
/proc/14870/task/14900/stat : 14900 (java) R 14867 14870 12906 0 -1 4202560 67040 0 0 0 247197 63 0 0 20 0 46 0 177859429 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886059279776 139886640288191 0 4 0 16800975 0 0 0 -1 3 0 0 30 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14901] ppid=14867 vsize=27743860 memory=1204 CPUtime=0.13 cores=0-7
/proc/14870/task/14901/stat : 14901 (java) S 14867 14870 12906 0 -1 1077944384 55 0 0 0 13 0 0 0 20 0 46 0 177859429 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886058231312 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14902] ppid=14867 vsize=27743860 memory=15880 CPUtime=0 cores=0-7
/proc/14870/task/14902/stat : 14902 (java) S 14867 14870 12906 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 46 0 177859429 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886057178512 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14903] ppid=14867 vsize=27743860 memory=28996 CPUtime=2473.03 cores=0-7
/proc/14870/task/14903/stat : 14903 (java) R 14867 14870 12906 0 -1 4202560 61712 0 0 0 247240 63 0 0 20 0 46 0 177859447 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886056120200 139886643924380 0 4 0 16800975 0 0 0 -1 7 0 0 45 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14904] ppid=14867 vsize=27743860 memory=4048 CPUtime=2474.13 cores=0-7
/proc/14870/task/14904/stat : 14904 (java) R 14867 14870 12906 0 -1 4202560 69700 0 0 0 247344 69 0 0 20 0 46 0 177859447 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886055067288 139886643924511 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14905] ppid=14867 vsize=27743860 memory=18484 CPUtime=0 cores=0-7
/proc/14870/task/14905/stat : 14905 (java) S 14867 14870 12906 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 46 0 177859458 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886054020112 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14906] ppid=14867 vsize=27743860 memory=1796 CPUtime=0 cores=0-7
/proc/14870/task/14906/stat : 14906 (java) S 14867 14870 12906 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 46 0 177859490 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886050833296 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14907] ppid=14867 vsize=27743860 memory=1236 CPUtime=0 cores=0-7
/proc/14870/task/14907/stat : 14907 (java) S 14867 14870 12906 0 -1 1077944384 380 0 0 0 0 0 0 0 20 0 46 0 177859491 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886049781008 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14908] ppid=14867 vsize=27743860 memory=640 CPUtime=0 cores=0-7
/proc/14870/task/14908/stat : 14908 (java) S 14867 14870 12906 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 46 0 177859493 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886048728208 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14909] ppid=14867 vsize=27743860 memory=956 CPUtime=0 cores=0-7
/proc/14870/task/14909/stat : 14909 (java) S 14867 14870 12906 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 46 0 177859494 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886047675920 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14910] ppid=14867 vsize=27743860 memory=3684928 CPUtime=0 cores=0-7
/proc/14870/task/14910/stat : 14910 (java) S 14867 14870 12906 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 46 0 177859496 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886046623120 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14911] ppid=14867 vsize=27743860 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/14870/task/14911/stat : 14911 (java) S 14867 14870 12906 0 -1 1077944384 348 0 0 0 0 0 0 0 20 0 46 0 177859498 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886045570832 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14912] ppid=14867 vsize=27743860 memory=15817794226756096 CPUtime=0 cores=0-7
/proc/14870/task/14912/stat : 14912 (java) S 14867 14870 12906 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 46 0 177859499 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886044518032 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14913] ppid=14867 vsize=27743860 memory=2196 CPUtime=0 cores=0-7
/proc/14870/task/14913/stat : 14913 (java) S 14867 14870 12906 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 46 0 177859499 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886043464720 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14914] ppid=14867 vsize=27743860 memory=8040 CPUtime=0 cores=0-7
/proc/14870/task/14914/stat : 14914 (java) S 14867 14870 12906 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 46 0 177859499 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886042411920 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14915] ppid=14867 vsize=27743860 memory=840 CPUtime=0 cores=0-7
/proc/14870/task/14915/stat : 14915 (java) S 14867 14870 12906 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 46 0 177859499 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886041359632 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14916] ppid=14867 vsize=27743860 memory=1692 CPUtime=0 cores=0-7
/proc/14870/task/14916/stat : 14916 (java) S 14867 14870 12906 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 46 0 177859499 28409712640 921232 33554432000 4194304 4196468 140728448999856 139886040306832 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
Current children cumulated CPU time: 19922.8 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 3684928 KiB

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

[startup+2520.19 s]
# the end of solver process 14870 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19913.6 s, system=10.4279 s

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

[startup+2520.12 s]
/proc/loadavg: 8.80 8.65 8.54 9/224 14947
/proc/meminfo: memFree=20672024/32770624 swapFree=67108860/67108860
[pid=14870] ppid=14867 vsize=27876988 memory=3685200 CPUtime=19923.7 cores=0-7
/proc/14870/stat : 14870 (java) S 14867 14870 12906 0 -1 1077944320 1621415 0 0 0 1991329 1040 0 0 20 0 48 0 177859024 28546035712 921300 33554432000 4194304 4196468 140728448999856 140728448982400 139887032139511 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
/proc/14870/statm: 6969247 921300 3863 1 0 6956440 0
[pid=14870/tid=14872] ppid=14867 vsize=27876988 memory=3684928 CPUtime=3.95 cores=0-7
/proc/14870/task/14872/stat : 14872 (java) S 14867 14870 12906 0 -1 1077944384 14686 0 0 0 388 7 0 0 20 0 48 0 177859024 28546035712 921300 33554432000 4194304 4196468 140728448999856 139887036377216 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14873] ppid=14867 vsize=27876988 memory=3684928 CPUtime=13.41 cores=0-7
/proc/14870/task/14873/stat : 14873 (java) S 14867 14870 12906 0 -1 1077944384 103956 0 0 0 1285 56 0 0 20 0 48 0 177859025 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886954719632 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 32 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14874] ppid=14867 vsize=27876988 memory=3684928 CPUtime=13.46 cores=0-7
/proc/14870/task/14874/stat : 14874 (java) S 14867 14870 12906 0 -1 1077944384 96665 0 0 0 1288 58 0 0 20 0 48 0 177859025 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886953666832 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14875] ppid=14867 vsize=27876988 memory=3684928 CPUtime=13.42 cores=0-7
/proc/14870/task/14875/stat : 14875 (java) S 14867 14870 12906 0 -1 1077944384 101899 0 0 0 1285 57 0 0 20 0 48 0 177859025 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886952614544 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 32 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14876] ppid=14867 vsize=27876988 memory=279311792474768 CPUtime=13.39 cores=0-7
/proc/14870/task/14876/stat : 14876 (java) S 14867 14870 12906 0 -1 1077944384 97514 0 0 0 1287 52 0 0 20 0 48 0 177859025 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886586780176 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14877] ppid=14867 vsize=27876988 memory=279311791294376 CPUtime=13.49 cores=0-7
/proc/14870/task/14877/stat : 14877 (java) S 14867 14870 12906 0 -1 1077944384 98940 0 0 0 1293 56 0 0 20 0 48 0 177859025 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886585727888 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14878] ppid=14867 vsize=27876988 memory=395 CPUtime=13.44 cores=0-7
/proc/14870/task/14878/stat : 14878 (java) S 14867 14870 12906 0 -1 1077944384 108776 0 0 0 1285 59 0 0 20 0 48 0 177859025 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886584675088 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14879] ppid=14867 vsize=27876988 memory=0 CPUtime=13.39 cores=0-7
/proc/14870/task/14879/stat : 14879 (java) S 14867 14870 12906 0 -1 1077944384 103805 0 0 0 1284 55 0 0 20 0 48 0 177859025 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886583622800 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14880] ppid=14867 vsize=27876988 memory=644 CPUtime=13.45 cores=0-7
/proc/14870/task/14880/stat : 14880 (java) S 14867 14870 12906 0 -1 1077944384 103752 0 0 0 1289 56 0 0 20 0 48 0 177859025 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886582570000 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14881] ppid=14867 vsize=27876988 memory=4468 CPUtime=8.6 cores=0-7
/proc/14870/task/14881/stat : 14881 (java) S 14867 14870 12906 0 -1 1077944384 206801 0 0 0 770 90 0 0 20 0 48 0 177859026 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886159984752 139887032150658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14882] ppid=14867 vsize=27876988 memory=3684928 CPUtime=0 cores=0-7
/proc/14870/task/14882/stat : 14882 (java) S 14867 14870 12906 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 48 0 177859027 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886158930784 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14883] ppid=14867 vsize=27876988 memory=2424 CPUtime=0 cores=0-7
/proc/14870/task/14883/stat : 14883 (java) S 14867 14870 12906 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 48 0 177859027 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886157878400 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14884] ppid=14867 vsize=27876988 memory=2240 CPUtime=0 cores=0-7
/proc/14870/task/14884/stat : 14884 (java) S 14867 14870 12906 0 -1 1077944384 201 0 0 0 0 0 0 0 20 0 48 0 177859029 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886156826704 139887032158107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14885] ppid=14867 vsize=27876988 memory=28996 CPUtime=2.01 cores=0-7
/proc/14870/task/14885/stat : 14885 (java) R 14867 14870 12906 0 -1 1077944384 6899 0 0 0 199 2 0 0 20 0 48 0 177859029 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886155774576 139887032150658 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14886] ppid=14867 vsize=27876988 memory=4048 CPUtime=2.09 cores=0-7
/proc/14870/task/14886/stat : 14886 (java) S 14867 14870 12906 0 -1 1077944384 7710 0 0 0 207 2 0 0 20 0 48 0 177859029 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886154721776 139887032150658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14887] ppid=14867 vsize=27876988 memory=6791534058613427641 CPUtime=2.04 cores=0-7
/proc/14870/task/14887/stat : 14887 (java) S 14867 14870 12906 0 -1 1077944384 7905 0 0 0 203 1 0 0 20 0 48 0 177859029 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886153669488 139887032150658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14888] ppid=14867 vsize=27876988 memory=6791534058613427641 CPUtime=1.02 cores=0-7
/proc/14870/task/14888/stat : 14888 (java) S 14867 14870 12906 0 -1 1077944384 21018 0 0 0 99 3 0 0 20 0 48 0 177859029 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886152616688 139887032150658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14889] ppid=14867 vsize=27876988 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14889/stat : 14889 (java) S 14867 14870 12906 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 48 0 177859030 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886151563616 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14890] ppid=14867 vsize=27876988 memory=7308895142485716329 CPUtime=0.71 cores=0-7
/proc/14870/task/14890/stat : 14890 (java) S 14867 14870 12906 0 -1 1077944384 9489 0 0 0 21 50 0 0 20 0 48 0 177859030 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886150510896 139887032150658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14891] ppid=14867 vsize=27876988 memory=18484 CPUtime=0 cores=0-7
/proc/14870/task/14891/stat : 14891 (java) S 14867 14870 12906 0 -1 1077944384 1175 0 0 0 0 0 0 0 20 0 48 0 177859404 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886146511776 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14892] ppid=14867 vsize=27876988 memory=1796 CPUtime=2.47 cores=0-7
/proc/14870/task/14892/stat : 14892 (java) S 14867 14870 12906 0 -1 1077944384 18559 0 0 0 99 148 0 0 20 0 48 0 177859416 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886069802016 139887032150658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14893] ppid=14867 vsize=27876988 memory=4140 CPUtime=0.12 cores=0-7
/proc/14870/task/14893/stat : 14893 (java) S 14867 14870 12906 0 -1 1077944384 636 0 0 0 12 0 0 0 20 0 48 0 177859425 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886068749840 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14894] ppid=14867 vsize=27876988 memory=49140 CPUtime=2471.72 cores=0-7
/proc/14870/task/14894/stat : 14894 (java) R 14867 14870 12906 0 -1 4202560 53398 0 0 0 247110 62 0 0 20 0 48 0 177859426 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886065597344 139886643924545 0 4 0 16800975 0 0 0 -1 2 0 0 49 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14895] ppid=14867 vsize=27876988 memory=3684928 CPUtime=0.12 cores=0-7
/proc/14870/task/14895/stat : 14895 (java) S 14867 14870 12906 0 -1 1077944384 643 0 0 0 12 0 0 0 20 0 48 0 177859427 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886064547600 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14896] ppid=14867 vsize=27876988 memory=6791534058613427641 CPUtime=2471.93 cores=0-7
/proc/14870/task/14896/stat : 14896 (java) R 14867 14870 12906 0 -1 4202560 58975 0 0 0 247137 56 0 0 20 0 48 0 177859429 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886063487792 139886634322715 0 4 0 16800975 0 0 0 -1 1 0 0 42 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14897] ppid=14867 vsize=27876988 memory=57 CPUtime=2475.98 cores=0-7
/proc/14870/task/14897/stat : 14897 (java) R 14867 14870 12906 0 -1 4202560 59630 0 0 0 247534 64 0 0 20 0 48 0 177859429 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886062438208 139886643923618 0 4 0 16800975 0 0 0 -1 5 0 0 46 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14898] ppid=14867 vsize=27876988 memory=4427205132082312746 CPUtime=2475.91 cores=0-7
/proc/14870/task/14898/stat : 14898 (java) R 14867 14870 12906 0 -1 4202560 61715 0 0 0 247533 58 0 0 20 0 48 0 177859429 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886061381912 139886644320018 0 4 0 16800975 0 0 0 -1 4 0 0 44 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14899] ppid=14867 vsize=27876988 memory=-8412652152092201843 CPUtime=2476.99 cores=0-7
/proc/14870/task/14899/stat : 14899 (java) R 14867 14870 12906 0 -1 4202560 74088 0 0 0 247629 70 0 0 20 0 48 0 177859429 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886060329624 139886643924325 0 4 0 16800975 0 0 0 -1 6 0 0 30 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14900] ppid=14867 vsize=27876988 memory=0 CPUtime=2472.7 cores=0-7
/proc/14870/task/14900/stat : 14900 (java) R 14867 14870 12906 0 -1 4202560 67040 0 0 0 247207 63 0 0 20 0 48 0 177859429 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886059279944 139886644320043 0 4 0 16800975 0 0 0 -1 3 0 0 30 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14901] ppid=14867 vsize=27876988 memory=247 CPUtime=0.13 cores=0-7
/proc/14870/task/14901/stat : 14901 (java) S 14867 14870 12906 0 -1 1077944384 55 0 0 0 13 0 0 0 20 0 48 0 177859429 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886058231312 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14902] ppid=14867 vsize=27876988 memory=12 CPUtime=0 cores=0-7
/proc/14870/task/14902/stat : 14902 (java) S 14867 14870 12906 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 48 0 177859429 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886057178512 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14903] ppid=14867 vsize=27876988 memory=1008 CPUtime=2473.14 cores=0-7
/proc/14870/task/14903/stat : 14903 (java) R 14867 14870 12906 0 -1 4202560 61712 0 0 0 247251 63 0 0 20 0 48 0 177859447 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886056120200 139886633024272 0 4 0 16800975 0 0 0 -1 7 0 0 45 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14904] ppid=14867 vsize=27876988 memory=4620 CPUtime=2474.24 cores=0-7
/proc/14870/task/14904/stat : 14904 (java) R 14867 14870 12906 0 -1 4202560 69700 0 0 0 247355 69 0 0 20 0 48 0 177859447 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886055067288 139886643924403 0 4 0 16800975 0 0 0 -1 0 0 0 26 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14905] ppid=14867 vsize=27876988 memory=1428 CPUtime=0 cores=0-7
/proc/14870/task/14905/stat : 14905 (java) S 14867 14870 12906 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 48 0 177859458 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886054020112 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14906] ppid=14867 vsize=27876988 memory=0 CPUtime=0 cores=0-7
/proc/14870/task/14906/stat : 14906 (java) S 14867 14870 12906 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 48 0 177859490 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886050833296 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14907] ppid=14867 vsize=27876988 memory=8387223549236478041 CPUtime=0 cores=0-7
/proc/14870/task/14907/stat : 14907 (java) S 14867 14870 12906 0 -1 1077944384 380 0 0 0 0 0 0 0 20 0 48 0 177859491 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886049781008 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14908] ppid=14867 vsize=27876988 memory=288291060701201625 CPUtime=0 cores=0-7
/proc/14870/task/14908/stat : 14908 (java) S 14867 14870 12906 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 48 0 177859493 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886048728208 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14909] ppid=14867 vsize=27876988 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/14870/task/14909/stat : 14909 (java) S 14867 14870 12906 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 48 0 177859494 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886047675920 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14910] ppid=14867 vsize=27876988 memory=1428 CPUtime=0 cores=0-7
/proc/14870/task/14910/stat : 14910 (java) S 14867 14870 12906 0 -1 1077944384 233 0 0 0 0 0 0 0 20 0 48 0 177859496 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886046623120 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14911] ppid=14867 vsize=27876988 memory=1204 CPUtime=0 cores=0-7
/proc/14870/task/14911/stat : 14911 (java) S 14867 14870 12906 0 -1 1077944384 348 0 0 0 0 0 0 0 20 0 48 0 177859498 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886045570832 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14912] ppid=14867 vsize=27876988 memory=15880 CPUtime=0 cores=0-7
/proc/14870/task/14912/stat : 14912 (java) S 14867 14870 12906 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 48 0 177859499 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886044518032 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14913] ppid=14867 vsize=27876988 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/14870/task/14913/stat : 14913 (java) S 14867 14870 12906 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 48 0 177859499 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886043464720 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14914] ppid=14867 vsize=27876988 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/14870/task/14914/stat : 14914 (java) S 14867 14870 12906 0 -1 1077944384 228 0 0 0 0 0 0 0 20 0 48 0 177859499 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886042411920 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14915] ppid=14867 vsize=27876988 memory=15817794226756096 CPUtime=0 cores=0-7
/proc/14870/task/14915/stat : 14915 (java) S 14867 14870 12906 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 48 0 177859499 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886041359632 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
[pid=14870/tid=14916] ppid=14867 vsize=27876988 memory=18484 CPUtime=0 cores=0-7
/proc/14870/task/14916/stat : 14916 (java) S 14867 14870 12906 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 48 0 177859499 28546035712 921300 33554432000 4194304 4196468 140728448999856 139886040306832 139887032149717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 20901888 140728449004641 140728449004827 140728449004827 140728449007567 0
Current children cumulated CPU time: 19923.7 s
Current children cumulated vsize: 27876988 KiB
Current children cumulated memory: 3685200 KiB

Child status: 143
Real time (s): 2520.19
CPU time (s): 19924.1
CPU user time (s): 19913.6
CPU system time (s): 10.4279
CPU usage (%): 790.578
Max. virtual memory (cumulated for all children) (KiB): 27876988
Max. memory (cumulated for all children) (KiB): 3787948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19913.6
system time used= 10.4279
maximum resident set size= 3788336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1622207
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 818159
involuntary context switches= 426813


# summary of solver processes directly reported to runsolver:
#   pid: 14870
#   total CPU time (s): 19924.1
#   total CPU user time (s): 19913.6
#   total CPU system time (s): 10.4279

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 26.3829 second user time and 35.5578 second system time

The end

Launcher Data 

Begin job on node106 at 2017-08-23 02:07:34
IDJOB=4284864
IDBENCH=135000
IDSOLVER=2681
FILE ID=node106/4284864-1503447715
RUNJOBID= node106-1503440793-12933
PBS_JOBID= 20632153
Free space on /tmp= 61080 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-opt-dimacs/Pb-ii8d2.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4284864-1503447715/watcher-4284864-1503447715 -o /tmp/evaluation-result-4284864-1503447715/solver-4284864-1503447715 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503440793-12933 --watchdog 2580  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1546478921 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4284864-1503447715.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= f6e5619a9394ff6fb9e35a49c1220c66
RANDOM SEED=1546478921

node106.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.86
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.86
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.86
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.86
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:        24347488 kB
MemAvailable:   31944528 kB
Buffers:          245216 kB
Cached:          7638676 kB
SwapCached:            0 kB
Active:          1761080 kB
Inactive:        6179708 kB
Active(anon):      12064 kB
Inactive(anon):    89264 kB
Active(file):    1749016 kB
Inactive(file):  6090444 kB
Unevictable:        7700 kB
Mlocked:            7700 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42868 kB
Writeback:             0 kB
AnonPages:         64828 kB
Mapped:            55480 kB
Shmem:             41612 kB
Slab:             174468 kB
SReclaimable:     146832 kB
SUnreclaim:        27636 kB
KernelStack:        3520 kB
PageTables:         5656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     343408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61036 MiB
End job on node106 at 2017-08-23 02:49:34