Trace number 4401268

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.12.2SAT (TO)8 2400.08 2345.64

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-5-fullins-4.xml
MD5SUM9a110b3288dcdd83da8fcc132ac433c6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark75.1369
Satisfiable
(Un)Satisfiability was proved
Number of variables1085
Number of constraints11395
Number of domains1
Minimum domain size1085
Maximum domain size1085
Distribution of domain sizes[{"size":1085,"count":1085}]
Minimum variable degree7
Maximum variable degree161
Distribution of variable degrees[{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":11395}]
Number of extensional constraints0
Number of intensional constraints11395
Distribution of constraint types[{"type":"intension","count":11395}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.75/0.60	c Concrete v3.12.2.1568631193530 running
22.91/11.11	o 1084
24.43/11.79	o 1083
25.56/12.30	o 1082
26.25/12.82	o 1081
26.84/13.35	o 1080
27.59/13.84	o 1079
28.19/14.28	o 1078
28.87/14.76	o 1077
29.46/15.22	o 1076
30.00/15.67	o 1075
30.70/16.13	o 1074
31.10/16.57	o 1073
31.66/17.01	o 1072
32.10/17.44	o 1071
32.65/17.97	o 1070
33.06/18.40	o 1069
33.57/18.81	o 1068
33.98/19.22	o 1067
34.38/19.67	o 1066
34.95/20.11	o 1065
35.36/20.52	o 1064
35.84/20.91	o 1063
36.24/21.31	o 1062
36.64/21.74	o 1061
37.05/22.13	o 1060
37.44/22.51	o 1059
37.89/22.98	o 1058
38.29/23.36	o 1057
38.70/23.76	o 1056
39.15/24.19	o 1055
39.64/24.60	o 1054
40.04/25.02	o 1053
40.44/25.46	o 1052
40.90/25.89	o 1051
41.30/26.25	o 1050
41.71/26.63	o 1049
42.01/26.99	o 1048
42.41/27.36	o 1047
42.91/27.80	o 1046
43.22/28.19	o 1045
43.77/28.61	o 1044
44.18/29.01	o 1043
44.47/29.39	o 1042
44.88/29.78	o 1041
45.38/30.21	o 1040
45.78/30.62	o 1039
46.08/31.00	o 1038
46.48/31.38	o 1037
47.06/31.74	o 1036
47.37/32.10	o 1035
47.76/32.47	o 1034
48.23/32.87	o 1033
48.88/33.30	o 1032
49.18/33.69	o 1031
49.59/34.07	o 1030
49.98/34.41	o 1029
50.31/34.75	o 1028
50.66/35.06	o 1027
50.96/35.37	o 1026
51.45/35.79	o 1025
51.86/36.17	o 1024
52.29/36.58	o 1023
52.69/36.97	o 1022
53.09/37.34	o 1021
53.42/37.68	o 1020
53.84/38.01	o 1019
54.14/38.32	o 1018
54.44/38.64	o 1017
54.74/38.95	o 1016
55.14/39.37	o 1015
55.54/39.77	o 1014
55.95/40.17	o 1013
56.34/40.55	o 1012
56.78/40.95	o 1011
57.19/41.31	o 1010
57.49/41.67	o 1009
57.90/42.02	o 1008
58.19/42.39	o 1007
58.59/42.73	o 1006
58.90/43.09	o 1005
59.39/43.50	o 1004
59.69/43.88	o 1003
60.09/44.22	o 1002
60.39/44.57	o 1001
60.79/44.91	o 1000
61.14/45.26	o 999
61.44/45.58	o 998
61.74/45.88	o 997
62.14/46.20	o 996
62.34/46.47	o 995
62.64/46.75	o 994
62.95/47.01	o 993
63.14/47.27	o 992
63.44/47.53	o 991
63.64/47.78	o 990
64.05/48.19	o 989
64.58/48.63	o 988
64.99/49.05	o 987
65.38/49.48	o 986
65.84/49.87	o 985
66.24/50.24	o 984
66.64/50.60	o 983
66.94/50.94	o 982
67.24/51.28	o 981
67.54/51.56	o 980
67.84/51.84	o 979
68.05/52.09	o 978
68.34/52.34	o 977
68.54/52.59	o 976
68.84/52.83	o 975
69.05/53.04	o 974
69.24/53.24	o 973
69.44/53.44	o 972
69.84/53.86	o 971
70.24/54.25	o 970
70.68/54.67	o 969
71.10/55.04	o 968
71.49/55.41	o 967
71.79/55.76	o 966
72.21/56.12	o 965
72.50/56.47	o 964
72.80/56.78	o 963
73.11/57.08	o 962
73.40/57.39	o 961
73.70/57.67	o 960
74.00/57.95	o 959
74.30/58.21	o 958
74.50/58.47	o 957
74.80/58.74	o 956
75.00/58.99	o 955
75.31/59.24	o 954
75.51/59.48	o 953
75.85/59.72	o 952
76.07/59.92	o 951
76.28/60.13	o 950
76.67/60.55	o 949
77.07/60.94	o 948
77.37/61.29	o 947
77.77/61.65	o 946
78.18/62.02	o 945
78.47/62.36	o 944
78.87/62.71	o 943
79.18/63.04	o 942
79.47/63.37	o 941
79.77/63.69	o 940
80.18/64.02	o 939
80.47/64.33	o 938
80.77/64.64	o 937
81.07/64.94	o 936
81.44/65.22	o 935
81.65/65.49	o 934
81.95/65.74	o 933
82.26/66.01	o 932
82.45/66.28	o 931
82.75/66.54	o 930
83.05/66.80	o 929
83.26/67.04	o 928
83.45/67.30	o 927
83.75/67.54	o 926
83.95/67.78	o 925
84.15/68.00	o 924
84.65/68.43	o 923
85.05/68.84	o 922
85.45/69.26	o 921
85.85/69.69	o 920
86.26/70.10	o 919
86.81/70.50	o 918
87.11/70.87	o 917
87.51/71.25	o 916
87.91/71.61	o 915
88.21/71.98	o 914
88.61/72.34	o 913
88.91/72.69	o 912
89.32/73.04	o 911
89.61/73.37	o 910
90.01/73.70	o 909
90.32/74.02	o 908
90.61/74.32	o 907
90.91/74.63	o 906
91.21/74.92	o 905
91.51/75.21	o 904
91.71/75.49	o 903
92.01/75.78	o 902
92.32/76.06	o 901
92.68/76.34	o 900
92.98/76.61	o 899
93.18/76.86	o 898
93.49/77.11	o 897
93.68/77.36	o 896
93.98/77.61	o 895
94.17/77.86	o 894
94.58/78.27	o 893
94.98/78.66	o 892
95.39/79.02	o 891
95.68/79.39	o 890
96.08/79.73	o 889
96.39/80.08	o 888
96.78/80.42	o 887
97.08/80.74	o 886
97.39/81.05	o 885
97.68/81.36	o 884
97.98/81.67	o 883
98.28/81.96	o 882
98.59/82.25	o 881
98.94/82.55	o 880
99.24/82.84	o 879
99.55/83.12	o 878
99.74/83.39	o 877
100.04/83.67	o 876
100.34/83.95	o 875
100.55/84.19	o 874
100.84/84.43	o 873
101.04/84.63	o 872
101.24/84.83	o 871
101.45/85.01	o 870
101.55/85.19	o 869
101.74/85.36	o 868
101.94/85.52	o 867
102.04/85.67	o 866
102.24/85.83	o 865
102.34/85.97	o 864
102.55/86.11	o 863
102.64/86.24	o 862
102.75/86.37	o 861
102.85/86.48	o 860
102.95/86.58	o 859
103.05/86.68	o 858
103.15/86.77	o 857
103.26/86.85	o 856
103.36/86.94	o 855
103.47/87.02	o 854
103.47/87.09	o 853
103.57/87.15	o 852
103.66/87.21	o 851
103.66/87.26	o 850
103.77/87.31	o 849
103.77/87.36	o 848
103.87/87.41	o 847
103.87/87.44	o 846
103.87/87.47	o 845
103.97/87.51	o 844
104.37/87.92	o 843
104.72/88.29	o 842
105.12/88.64	o 841
105.42/88.97	o 840
105.82/89.32	o 839
106.12/89.64	o 838
106.42/89.96	o 837
106.85/90.31	o 836
107.15/90.61	o 835
107.45/90.92	o 834
107.66/91.19	o 833
107.95/91.47	o 832
108.25/91.74	o 831
108.56/92.02	o 830
108.76/92.29	o 829
109.07/92.55	o 828
109.37/92.80	o 827
109.58/93.03	o 826
109.77/93.26	o 825
109.97/93.48	o 824
110.17/93.70	o 823
110.47/93.90	o 822
110.58/94.10	o 821
110.77/94.29	o 820
110.97/94.47	o 819
111.16/94.66	o 818
111.43/94.84	o 817
111.64/95.02	o 816
111.74/95.18	o 815
111.93/95.33	o 814
112.03/95.48	o 813
112.23/95.63	o 812
112.32/95.77	o 811
112.52/95.91	o 810
112.63/96.04	o 809
112.74/96.17	o 808
112.82/96.28	o 807
112.92/96.39	o 806
113.02/96.48	o 805
113.12/96.56	o 804
113.22/96.64	o 803
113.32/96.71	o 802
113.32/96.78	o 801
113.43/96.84	o 800
113.53/96.91	o 799
113.53/96.97	o 798
113.64/97.02	o 797
113.64/97.05	o 796
113.64/97.08	o 795
113.64/97.11	o 794
113.73/97.13	o 793
113.73/97.15	o 792
113.73/97.17	o 791
113.73/97.18	o 790
113.73/97.19	o 789
113.73/97.19	o 788
113.73/97.20	o 787
113.82/97.20	o 786
113.82/97.20	o 785
113.82/97.20	o 9
114.33/97.47	o 8
2400.02/2345.61	Exception in thread "main" java.util.concurrent.TimeoutException
2400.02/2345.61		at concrete.MAC.mac(MAC.scala:192)
2400.02/2345.61		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:265)
2400.02/2345.61		at scala.util.Try$.apply(Try.scala:212)
2400.02/2345.61		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:179)
2400.02/2345.61		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:183)
2400.02/2345.61		at cspom.StatisticsManager$.measure(StatisticsManager.scala:179)
2400.02/2345.61		at concrete.MAC.oneRun(MAC.scala:265)
2400.02/2345.61		at concrete.MAC.nextSolution(MAC.scala:284)
2400.02/2345.61		at concrete.MAC.nextSolution(MAC.scala:369)
2400.02/2345.61		at concrete.Solver.hasNext(Solver.scala:160)
2400.02/2345.61		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.02/2345.61		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.02/2345.61		at concrete.Solver.foreach(Solver.scala:67)
2400.02/2345.61		at concrete.runner.ConcreteRunner.$anonfun$run$3(ConcreteRunner.scala:73)
2400.02/2345.61		at scala.util.Success.map(Try.scala:264)
2400.02/2345.61		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2400.02/2345.61		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:32)
2400.02/2345.61		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.02/2345.61		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2400.02/2345.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.02/2345.61		at scala.Function0.apply$mcV$sp(Function0.scala:39)
2400.02/2345.61		at scala.Function0.apply$mcV$sp$(Function0.scala:39)
2400.02/2345.61		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:17)
2400.02/2345.61		at scala.App.$anonfun$main$1(App.scala:75)
2400.02/2345.61		at scala.App.$anonfun$main$1$adapted(App.scala:75)
2400.02/2345.61		at scala.collection.IterableOnceOps.foreach(IterableOnce.scala:576)
2400.02/2345.61		at scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:574)
2400.02/2345.61		at scala.collection.AbstractIterable.foreach(Iterable.scala:904)
2400.02/2345.61		at scala.App.main(App.scala:75)
2400.02/2345.61		at scala.App.main$(App.scala:73)
2400.02/2345.61		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.02/2345.61		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.02/2345.62	v <instantiation
2400.02/2345.62	v         cost = '8'>
2400.02/2345.62	v       <list>
2400.02/2345.62	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]
2400.02/2345.62	v       </list>
2400.02/2345.62	v       <values>
2400.02/2345.62	v         3 2 4 1 3 3 2 1 3 3 2 2 3 3 5 3 2 4 6 8 1 3 0 1 1 3 1 1 8 3 1 1 1 3 3 5 7 7 4 7 7 1 3 4 8 4 6 3 6 6 3 3 4 4 3 3 6 6 6 3 6 6 8 0 0 1 1 1 7 1 1 1 1 1 1 1 1 1 1 1 3 1 1 1 3 3 3 3 3 3 4 4 3 3 3 3 3 3 4 4 4 3 4 4 4 1 1 1 1 1 1 1 8 1 1 1 8 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 6 5 4 7 0 3 3 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 0 0 8 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 2 2 2 2 2 0 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 8 1 1 1 1 1 1 1 1 1 1 1 8 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 6 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 8 1 1 1 8 1 1 1 1 8 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 8 8 1 1 1 1 1 1 1 8 1 1 1 1 1 1 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 2 0 0 2 2 0 7 2 0 0 0 0 0 2 0 2 0 0 0 0 0 8 0 0 2 0 0 0 2 0 0 0 0 0 0 0 2 0 0 7 2 2 2 2 2 8 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 3 3 1 1 1 1 3 3 1 1 3 3 3 3 8 3 3 3 3 1 1 1 1 1 1 1 1 1 1 1 1 1 7 1 1 1 1 1 1 1 3 3 3 3 3 3 3 3 3 3 8 3 3 3 3 3 3 3 3 3 3 1 1 1 1 1 1 1 1 3 3 1 1 1 1 3 3 3 3 1 3 3 8 3 1 1 0 0 1 1 3 0 1 1 3 3 3 3 3 3 3 3 3 1 1 1 1 1 1 1 1 3 3 1 1 1 1 3 3 3 3 1 3 3 4 4 3 1 3 4 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 8 0 0 0 0 8 0 8 0 0 0 0 0 0 0 1 0 0 2 2 1 1 2 2 1 1 2 2 1 1 2 2 1 2 1 2 1 2 1 2 2 2 1 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 8 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 7 3 3 3 3 3 3 3 3 3 3 3 0 0 3 3 3 0 3 3 3 0 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 3 3 3 3 3 0 2 6 7 3 5 4 1
2400.02/2345.62	v       </values>
2400.02/2345.62	v     </instantiation>
2400.02/2345.62	s SATISFIABLE

Verifier Data 

OK	8

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401268-1568675710/watcher-4401268-1568675710 -o /tmp/evaluation-result-4401268-1568675710/solver-4401268-1568675710 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568673291-31569 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1332689568 HOME/instance-4401268-1568675710.xml 

running on 4 cores: 4-7

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

solver pid=32296, runsolver pid=32293

[startup+0.100144 s]*
/proc/loadavg: 2.21 1.51 1.49 3/215 32349
/proc/meminfo: memFree=29816160/32770688 swapFree=66961200/67108860
[pid=32296] ppid=32293 vsize=9972712 memory=16288 CPUtime=0.1 cores=4-7
/proc/32296/stat : 32296 (java) S 32293 32296 31537 0 -1 1077944320 4297 13070 0 0 1 1 6 2 20 0 6 0 443512723 10212057088 4072 33554432000 4194304 4196468 140733553522720 140733553505264 140436595674871 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
/proc/32296/statm: 2493178 4072 1920 1 0 2481616 0
[pid=32296/tid=32349] ppid=32293 vsize=9972712 memory=4279135704047583117 CPUtime=0.08 cores=4-7
/proc/32296/task/32349/stat : 32349 (java) R 32293 32296 31537 0 -1 4202560 2092 13070 0 0 0 0 6 2 20 0 6 0 443512733 10212057088 4072 33554432000 4194304 4196468 140733553522720 140436567511632 140436579755358 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32350] ppid=32293 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32350/stat : 32350 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 6 0 443512734 10212057088 4072 33554432000 4194304 4196468 140733553522720 140436599917712 140436595685077 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32351] ppid=32293 vsize=9972712 memory=139649212753536 CPUtime=0.08 cores=4-7
/proc/32296/task/32351/stat : 32351 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 6 0 443512734 10212057088 4072 33554432000 4194304 4196468 140733553522720 140436514737168 140436595685077 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32352] ppid=32293 vsize=9972712 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32352/stat : 32352 (java) S 32293 32296 31537 0 -1 1077944384 2 13070 0 0 0 0 6 2 20 0 6 0 443512734 10212057088 4072 33554432000 4194304 4196468 140733553522720 140436513684368 140436595685077 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32353] ppid=32293 vsize=9972712 memory=-1 CPUtime=0.08 cores=4-7
/proc/32296/task/32353/stat : 32353 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 6 0 443512734 10212057088 4072 33554432000 4194304 4196468 140733553522720 140436512631568 140436595685077 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16288 KiB

[startup+0.21082 s]*
/proc/loadavg: 2.21 1.51 1.49 4/228 32362
/proc/meminfo: memFree=29794816/32770688 swapFree=66961200/67108860
[pid=32296] ppid=32293 vsize=10819712 memory=38752 CPUtime=0.26 cores=4-7
/proc/32296/stat : 32296 (java) S 32293 32296 31537 0 -1 1077944320 6966 13070 0 0 17 1 6 2 20 0 15 0 443512723 11079385088 9688 33554432000 4194304 4196468 140733553522720 140733553505264 140436595674871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
/proc/32296/statm: 2704928 9688 3178 1 0 2667149 0
[pid=32296/tid=32349] ppid=32293 vsize=10819712 memory=7022364594140610616 CPUtime=0.19 cores=4-7
/proc/32296/task/32349/stat : 32349 (java) R 32293 32296 31537 0 -1 4202560 3482 13070 0 0 10 1 6 2 20 0 15 0 443512733 11079385088 9688 33554432000 4194304 4196468 140733553522720 140436567488992 140436577048343 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32350] ppid=32293 vsize=10819712 memory=365 CPUtime=0.08 cores=4-7
/proc/32296/task/32350/stat : 32350 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512734 11079385088 9688 33554432000 4194304 4196468 140733553522720 140436599917712 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32351] ppid=32293 vsize=10819712 memory=3907354519725156000 CPUtime=0.08 cores=4-7
/proc/32296/task/32351/stat : 32351 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512734 11079385088 9688 33554432000 4194304 4196468 140733553522720 140436514737168 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32352] ppid=32293 vsize=10819712 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32352/stat : 32352 (java) S 32293 32296 31537 0 -1 1077944384 2 13070 0 0 0 0 6 2 20 0 15 0 443512734 11079385088 9688 33554432000 4194304 4196468 140733553522720 140436513684368 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32353] ppid=32293 vsize=10819712 memory=-1 CPUtime=0.08 cores=4-7
/proc/32296/task/32353/stat : 32353 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512734 11079385088 9688 33554432000 4194304 4196468 140733553522720 140436512631568 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32354] ppid=32293 vsize=10819712 memory=139649212753536 CPUtime=0.08 cores=4-7
/proc/32296/task/32354/stat : 32354 (java) S 32293 32296 31537 0 -1 1077944384 2 13070 0 0 0 0 6 2 20 0 15 0 443512735 11079385088 9688 33554432000 4194304 4196468 140733553522720 140436122294640 140436595686018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32355] ppid=32293 vsize=10819712 memory=-1 CPUtime=0.08 cores=4-7
/proc/32296/task/32355/stat : 32355 (java) S 32293 32296 31537 0 -1 1077944384 13 13070 0 0 0 0 6 2 20 0 15 0 443512736 11079385088 9688 33554432000 4194304 4196468 140733553522720 140435901113376 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32356] ppid=32293 vsize=10819712 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32356/stat : 32356 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512736 11079385088 9688 33554432000 4194304 4196468 140733553522720 140435431351152 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32357] ppid=32293 vsize=10819712 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32357/stat : 32357 (java) S 32293 32296 31537 0 -1 1077944384 3 13070 0 0 0 0 6 2 20 0 15 0 443512739 11079385088 9688 33554432000 4194304 4196468 140733553522720 140435123951440 140436595693467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32358] ppid=32293 vsize=10819712 memory=0 CPUtime=0.09 cores=4-7
/proc/32296/task/32358/stat : 32358 (java) S 32293 32296 31537 0 -1 1077944384 471 13070 0 0 1 0 6 2 20 0 15 0 443512739 11079385088 9688 33554432000 4194304 4196468 140733553522720 140436121242480 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32359] ppid=32293 vsize=10819712 memory=-1 CPUtime=0.09 cores=4-7
/proc/32296/task/32359/stat : 32359 (java) S 32293 32296 31537 0 -1 1077944384 178 13070 0 0 1 0 6 2 20 0 15 0 443512739 11079385088 9688 33554432000 4194304 4196468 140733553522720 140436120189680 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32360] ppid=32293 vsize=10819712 memory=139649212753536 CPUtime=0.11 cores=4-7
/proc/32296/task/32360/stat : 32360 (java) S 32293 32296 31537 0 -1 1077944384 602 13070 0 0 3 0 6 2 20 0 15 0 443512739 11079385088 9688 33554432000 4194304 4196468 140733553522720 140436119136880 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32361] ppid=32293 vsize=10819712 memory=-1 CPUtime=0.08 cores=4-7
/proc/32296/task/32361/stat : 32361 (java) S 32293 32296 31537 0 -1 1077944384 3 13070 0 0 0 0 6 2 20 0 15 0 443512739 11079385088 9688 33554432000 4194304 4196468 140733553522720 140435090393824 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32362] ppid=32293 vsize=10819712 memory=139649212753536 CPUtime=0.08 cores=4-7
/proc/32296/task/32362/stat : 32362 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512739 11079385088 9688 33554432000 4194304 4196468 140733553522720 140436118084272 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819712 KiB
Current children cumulated memory: 38752 KiB

[startup+0.312297 s]*
/proc/loadavg: 2.21 1.51 1.49 4/228 32362
/proc/meminfo: memFree=29781920/32770688 swapFree=66961200/67108860
[pid=32296] ppid=32293 vsize=10820196 memory=49800 CPUtime=0.4 cores=4-7
/proc/32296/stat : 32296 (java) S 32293 32296 31537 0 -1 1077944320 10648 13070 0 0 29 3 6 2 20 0 15 0 443512723 11079880704 12450 33554432000 4194304 4196468 140733553522720 140733553505264 140436595674871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
/proc/32296/statm: 2705049 12450 3307 1 0 2667149 0
[pid=32296/tid=32349] ppid=32293 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=4-7
/proc/32296/task/32349/stat : 32349 (java) R 32293 32296 31537 0 -1 4202560 7139 13070 0 0 19 2 6 2 20 0 15 0 443512733 11079880704 12450 33554432000 4194304 4196468 140733553522720 140436567497264 140436579755358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32350] ppid=32293 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32350/stat : 32350 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512734 11079880704 12450 33554432000 4194304 4196468 140733553522720 140436599917712 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32351] ppid=32293 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32351/stat : 32351 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512734 11079880704 12450 33554432000 4194304 4196468 140733553522720 140436514737168 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32352] ppid=32293 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32352/stat : 32352 (java) S 32293 32296 31537 0 -1 1077944384 2 13070 0 0 0 0 6 2 20 0 15 0 443512734 11079880704 12450 33554432000 4194304 4196468 140733553522720 140436513684368 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32353] ppid=32293 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32353/stat : 32353 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512734 11079880704 12450 33554432000 4194304 4196468 140733553522720 140436512631568 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32354] ppid=32293 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32354/stat : 32354 (java) S 32293 32296 31537 0 -1 1077944384 2 13070 0 0 0 0 6 2 20 0 15 0 443512735 11079880704 12450 33554432000 4194304 4196468 140733553522720 140436122294640 140436595686018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32355] ppid=32293 vsize=10820196 memory=-1 CPUtime=0.08 cores=4-7
/proc/32296/task/32355/stat : 32355 (java) S 32293 32296 31537 0 -1 1077944384 13 13070 0 0 0 0 6 2 20 0 15 0 443512736 11079880704 12450 33554432000 4194304 4196468 140733553522720 140435901113376 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32356] ppid=32293 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32356/stat : 32356 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512736 11079880704 12450 33554432000 4194304 4196468 140733553522720 140435431351152 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32357] ppid=32293 vsize=10820196 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32357/stat : 32357 (java) S 32293 32296 31537 0 -1 1077944384 3 13070 0 0 0 0 6 2 20 0 15 0 443512739 11079880704 12450 33554432000 4194304 4196468 140733553522720 140435123951440 140436595693467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32358] ppid=32293 vsize=10820196 memory=0 CPUtime=0.09 cores=4-7
/proc/32296/task/32358/stat : 32358 (java) S 32293 32296 31537 0 -1 1077944384 471 13070 0 0 1 0 6 2 20 0 15 0 443512739 11079880704 12450 33554432000 4194304 4196468 140733553522720 140436121242480 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32359] ppid=32293 vsize=10820196 memory=-1 CPUtime=0.1 cores=4-7
/proc/32296/task/32359/stat : 32359 (java) S 32293 32296 31537 0 -1 1077944384 188 13070 0 0 2 0 6 2 20 0 15 0 443512739 11079880704 12450 33554432000 4194304 4196468 140733553522720 140436120189680 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32360] ppid=32293 vsize=10820196 memory=139649212753536 CPUtime=0.13 cores=4-7
/proc/32296/task/32360/stat : 32360 (java) R 32293 32296 31537 0 -1 4202560 620 13070 0 0 5 0 6 2 20 0 15 0 443512739 11079880704 12450 33554432000 4194304 4196468 140733553522720 140436119136880 140436574809354 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32361] ppid=32293 vsize=10820196 memory=-1 CPUtime=0.08 cores=4-7
/proc/32296/task/32361/stat : 32361 (java) S 32293 32296 31537 0 -1 1077944384 3 13070 0 0 0 0 6 2 20 0 15 0 443512739 11079880704 12450 33554432000 4194304 4196468 140733553522720 140435090393824 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32362] ppid=32293 vsize=10820196 memory=139649212753536 CPUtime=0.08 cores=4-7
/proc/32296/task/32362/stat : 32362 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512739 11079880704 12450 33554432000 4194304 4196468 140733553522720 140436118084272 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49800 KiB

[startup+0.701273 s]
/proc/loadavg: 2.21 1.51 1.49 3/228 32362
/proc/meminfo: memFree=29752668/32770688 swapFree=66961200/67108860
[pid=32296] ppid=32293 vsize=10822316 memory=77856 CPUtime=1.07 cores=4-7
/proc/32296/stat : 32296 (java) S 32293 32296 31537 0 -1 1077944320 14667 13070 0 0 94 5 6 2 20 0 15 0 443512723 11082051584 19464 33554432000 4194304 4196468 140733553522720 140733553505264 140436595674871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
/proc/32296/statm: 2705579 19464 3507 1 0 2667661 0
[pid=32296/tid=32349] ppid=32293 vsize=10822316 memory=0 CPUtime=0.66 cores=4-7
/proc/32296/task/32349/stat : 32349 (java) R 32293 32296 31537 0 -1 4202560 10063 13070 0 0 55 3 6 2 20 0 15 0 443512733 11082051584 19464 33554432000 4194304 4196468 140733553522720 140436567502376 140436579755358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32350] ppid=32293 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32350/stat : 32350 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512734 11082051584 19464 33554432000 4194304 4196468 140733553522720 140436599917712 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32351] ppid=32293 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32351/stat : 32351 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512734 11082051584 19464 33554432000 4194304 4196468 140733553522720 140436514737168 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32352] ppid=32293 vsize=10822316 memory=32804 CPUtime=0.08 cores=4-7
/proc/32296/task/32352/stat : 32352 (java) S 32293 32296 31537 0 -1 1077944384 2 13070 0 0 0 0 6 2 20 0 15 0 443512734 11082051584 19464 33554432000 4194304 4196468 140733553522720 140436513684368 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32353] ppid=32293 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32353/stat : 32353 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512734 11082051584 19464 33554432000 4194304 4196468 140733553522720 140436512631568 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32354] ppid=32293 vsize=10822316 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32354/stat : 32354 (java) S 32293 32296 31537 0 -1 1077944384 5 13070 0 0 0 0 6 2 20 0 15 0 443512735 11082051584 19464 33554432000 4194304 4196468 140733553522720 140436122294640 140436595686018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32355] ppid=32293 vsize=10822316 memory=139649049834160 CPUtime=0.08 cores=4-7
/proc/32296/task/32355/stat : 32355 (java) S 32293 32296 31537 0 -1 1077944384 13 13070 0 0 0 0 6 2 20 0 15 0 443512736 11082051584 19464 33554432000 4194304 4196468 140733553522720 140435901113376 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32356] ppid=32293 vsize=10822316 memory=139650861630020 CPUtime=0.08 cores=4-7
/proc/32296/task/32356/stat : 32356 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512736 11082051584 19464 33554432000 4194304 4196468 140733553522720 140435431351152 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32357] ppid=32293 vsize=10822316 memory=2832 CPUtime=0.08 cores=4-7
/proc/32296/task/32357/stat : 32357 (java) S 32293 32296 31537 0 -1 1077944384 3 13070 0 0 0 0 6 2 20 0 15 0 443512739 11082051584 19464 33554432000 4194304 4196468 140733553522720 140435123951440 140436595693467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32358] ppid=32293 vsize=10822316 memory=7524764360453481792 CPUtime=0.17 cores=4-7
/proc/32296/task/32358/stat : 32358 (java) R 32293 32296 31537 0 -1 4202560 925 13070 0 0 9 0 6 2 20 0 15 0 443512739 11082051584 19464 33554432000 4194304 4196468 140733553522720 140436121229296 140436577192746 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32359] ppid=32293 vsize=10822316 memory=6082224990543179366 CPUtime=0.18 cores=4-7
/proc/32296/task/32359/stat : 32359 (java) R 32293 32296 31537 0 -1 4202560 608 13070 0 0 10 0 6 2 20 0 15 0 443512739 11082051584 19464 33554432000 4194304 4196468 140733553522720 140436120175704 140436577192753 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32360] ppid=32293 vsize=10822316 memory=6076878065162868073 CPUtime=0.25 cores=4-7
/proc/32296/task/32360/stat : 32360 (java) S 32293 32296 31537 0 -1 1077944384 838 13070 0 0 17 0 6 2 20 0 15 0 443512739 11082051584 19464 33554432000 4194304 4196468 140733553522720 140436119136880 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32361] ppid=32293 vsize=10822316 memory=3612 CPUtime=0.08 cores=4-7
/proc/32296/task/32361/stat : 32361 (java) S 32293 32296 31537 0 -1 1077944384 3 13070 0 0 0 0 6 2 20 0 15 0 443512739 11082051584 19464 33554432000 4194304 4196468 140733553522720 140435090393824 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32362] ppid=32293 vsize=10822316 memory=2241 CPUtime=0.08 cores=4-7
/proc/32296/task/32362/stat : 32362 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512739 11082051584 19464 33554432000 4194304 4196468 140733553522720 140436118084272 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 77856 KiB

[startup+1.50085 s]
/proc/loadavg: 2.21 1.51 1.49 6/228 32362
/proc/meminfo: memFree=29713644/32770688 swapFree=66961200/67108860
[pid=32296] ppid=32293 vsize=10828536 memory=186500 CPUtime=3.2 cores=4-7
/proc/32296/stat : 32296 (java) S 32293 32296 31537 0 -1 1077944320 22232 13070 0 0 305 7 6 2 20 0 15 0 443512723 11088420864 46625 33554432000 4194304 4196468 140733553522720 140733553505264 140436595674871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
/proc/32296/statm: 2707134 46625 3554 1 0 2669197 0
[pid=32296/tid=32349] ppid=32293 vsize=10828536 memory=9316 CPUtime=1.45 cores=4-7
/proc/32296/task/32349/stat : 32349 (java) R 32293 32296 31537 0 -1 4202560 13348 13070 0 0 132 5 6 2 20 0 15 0 443512733 11088420864 46625 33554432000 4194304 4196468 140733553522720 140436567457984 140436579755358 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32350] ppid=32293 vsize=10828536 memory=6791534058613427641 CPUtime=0.08 cores=4-7
/proc/32296/task/32350/stat : 32350 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512734 11088420864 46625 33554432000 4194304 4196468 140733553522720 140436599917712 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32351] ppid=32293 vsize=10828536 memory=1408 CPUtime=0.08 cores=4-7
/proc/32296/task/32351/stat : 32351 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512734 11088420864 46625 33554432000 4194304 4196468 140733553522720 140436514737168 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32352] ppid=32293 vsize=10828536 memory=2724 CPUtime=0.08 cores=4-7
/proc/32296/task/32352/stat : 32352 (java) S 32293 32296 31537 0 -1 1077944384 2 13070 0 0 0 0 6 2 20 0 15 0 443512734 11088420864 46625 33554432000 4194304 4196468 140733553522720 140436513684368 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32353] ppid=32293 vsize=10828536 memory=77856 CPUtime=0.08 cores=4-7
/proc/32296/task/32353/stat : 32353 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512734 11088420864 46625 33554432000 4194304 4196468 140733553522720 140436512631568 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32354] ppid=32293 vsize=10828536 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32354/stat : 32354 (java) S 32293 32296 31537 0 -1 1077944384 16 13070 0 0 0 0 6 2 20 0 15 0 443512735 11088420864 46625 33554432000 4194304 4196468 140733553522720 140436122294640 140436595686018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32355] ppid=32293 vsize=10828536 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32355/stat : 32355 (java) S 32293 32296 31537 0 -1 1077944384 13 13070 0 0 0 0 6 2 20 0 15 0 443512736 11088420864 46625 33554432000 4194304 4196468 140733553522720 140435901113376 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32356] ppid=32293 vsize=10828536 memory=0 CPUtime=0.08 cores=4-7
/proc/32296/task/32356/stat : 32356 (java) S 32293 32296 31537 0 -1 1077944384 1 13070 0 0 0 0 6 2 20 0 15 0 443512736 11088420864 46625 33554432000 4194304 4196468 140733553522720 140435431351152 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32357] ppid=32293 vsize=10828536 memory=6791534058613427641 CPUtime=0.08 cores=4-7
/proc/32296/task/32357/stat : 32357 (java) S 32293 32296 31537 0 -1 1077944384 3 13070 0 0 0 0 6 2 20 0 15 0 443512739 11088420864 46625 33554432000 4194304 4196468 140733553522720 140435123951440 140436595693467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32358] ppid=32293 vsize=10828536 memory=4638778398332698720 CPUtime=0.71 cores=4-7
/proc/32296/task/32358/stat : 32358 (java) R 32293 32296 31537 0 -1 4202560 2392 13070 0 0 63 0 6 2 20 0 15 0 443512739 11088420864 46625 33554432000 4194304 4196468 140733553522720 140436121242480 140436595686806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32359] ppid=32293 vsize=10828536 memory=279298099944320 CPUtime=0.72 cores=4-7
/proc/32296/task/32359/stat : 32359 (java) S 32293 32296 31537 0 -1 1077944384 2606 13070 0 0 64 0 6 2 20 0 15 0 443512739 11088420864 46625 33554432000 4194304 4196468 140733553522720 140436120189680 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32360] ppid=32293 vsize=10828536 memory=4137290303932963203 CPUtime=0.52 cores=4-7
/proc/32296/task/32360/stat : 32360 (java) S 32293 32296 31537 0 -1 1077944384 1637 13070 0 0 44 0 6 2 20 0 15 0 443512739 11088420864 46625 33554432000 4194304 4196468 140733553522720 140436119136880 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32361] ppid=32293 vsize=10828536 memory=6944656591801719708 CPUtime=0.08 cores=4-7
/proc/32296/task/32361/stat : 32361 (java) S 32293 32296 31537 0 -1 1077944384 3 13070 0 0 0 0 6 2 20 0 15 0 443512739 11088420864 46625 33554432000 4194304 4196468 140733553522720 140435090393824 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32362] ppid=32293 vsize=10828536 memory=6944656425123290226 CPUtime=0.08 cores=4-7
/proc/32296/task/32362/stat : 32362 (java) S 32293 32296 31537 0 -1 1077944384 3 13070 0 0 0 0 6 2 20 0 15 0 443512739 11088420864 46625 33554432000 4194304 4196468 140733553522720 140436118084272 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
Current children cumulated CPU time: 3.2 s
Current children cumulated vsize: 10828536 KiB

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

/proc/32296/task/32349/stat : 32349 (java) R 32293 32296 31537 0 -1 4202560 93007 13070 0 0 218123 48 6 2 20 0 15 0 443512733 11107315712 466114 33554432000 4194304 4196468 140733553522720 140436567510288 140436187805441 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32350] ppid=32293 vsize=10846988 memory=1864456 CPUtime=11.65 cores=4-7
/proc/32296/task/32350/stat : 32350 (java) S 32293 32296 31537 0 -1 1077944384 38836 13070 0 0 1104 53 6 2 20 0 15 0 443512734 11107315712 466114 33554432000 4194304 4196468 140733553522720 140436599917712 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32351] ppid=32293 vsize=10846988 memory=1864456 CPUtime=11.58 cores=4-7
/proc/32296/task/32351/stat : 32351 (java) S 32293 32296 31537 0 -1 1077944384 23180 13070 0 0 1098 52 6 2 20 0 15 0 443512734 11107315712 466114 33554432000 4194304 4196468 140733553522720 140436514737168 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32352] ppid=32293 vsize=10846988 memory=1864456 CPUtime=11.67 cores=4-7
/proc/32296/task/32352/stat : 32352 (java) S 32293 32296 31537 0 -1 1077944384 32100 13070 0 0 1107 52 6 2 20 0 15 0 443512734 11107315712 466114 33554432000 4194304 4196468 140733553522720 140436513684368 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32353] ppid=32293 vsize=10846988 memory=1864456 CPUtime=11.65 cores=4-7
/proc/32296/task/32353/stat : 32353 (java) S 32293 32296 31537 0 -1 1077944384 28442 13070 0 0 1104 53 6 2 20 0 15 0 443512734 11107315712 466114 33554432000 4194304 4196468 140733553522720 140436512631568 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32354] ppid=32293 vsize=10846988 memory=1864456 CPUtime=6.98 cores=4-7
/proc/32296/task/32354/stat : 32354 (java) S 32293 32296 31537 0 -1 1077944384 31832 13070 0 0 650 40 6 2 20 0 15 0 443512735 11107315712 466114 33554432000 4194304 4196468 140733553522720 140436122294640 140436595686018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32355] ppid=32293 vsize=10846988 memory=1864456 CPUtime=0.08 cores=4-7
/proc/32296/task/32355/stat : 32355 (java) S 32293 32296 31537 0 -1 1077944384 22 13070 0 0 0 0 6 2 20 0 15 0 443512736 11107315712 466114 33554432000 4194304 4196468 140733553522720 140435901113440 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32356] ppid=32293 vsize=10846988 memory=1864456 CPUtime=0.08 cores=4-7
/proc/32296/task/32356/stat : 32356 (java) S 32293 32296 31537 0 -1 1077944384 29 13070 0 0 0 0 6 2 20 0 15 0 443512736 11107315712 466114 33554432000 4194304 4196468 140733553522720 140435431351168 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32357] ppid=32293 vsize=10846988 memory=1864456 CPUtime=0.08 cores=4-7
/proc/32296/task/32357/stat : 32357 (java) S 32293 32296 31537 0 -1 1077944384 3 13070 0 0 0 0 6 2 20 0 15 0 443512739 11107315712 466114 33554432000 4194304 4196468 140733553522720 140435123951440 140436595693467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32358] ppid=32293 vsize=10846988 memory=6024 CPUtime=8.45 cores=4-7
/proc/32296/task/32358/stat : 32358 (java) S 32293 32296 31537 0 -1 1077944384 36995 13070 0 0 832 5 6 2 20 0 15 0 443512739 11107315712 466114 33554432000 4194304 4196468 140733553522720 140436121242480 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32359] ppid=32293 vsize=10846988 memory=0 CPUtime=7.34 cores=4-7
/proc/32296/task/32359/stat : 32359 (java) S 32293 32296 31537 0 -1 1077944384 20765 13070 0 0 723 3 6 2 20 0 15 0 443512739 11107315712 466114 33554432000 4194304 4196468 140733553522720 140436120189680 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32360] ppid=32293 vsize=10846988 memory=1864456 CPUtime=2.46 cores=4-7
/proc/32296/task/32360/stat : 32360 (java) S 32293 32296 31537 0 -1 1077944384 25279 13070 0 0 233 5 6 2 20 0 15 0 443512739 11107315712 466114 33554432000 4194304 4196468 140733553522720 140436119136880 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32361] ppid=32293 vsize=10846988 memory=1864456 CPUtime=0.08 cores=4-7
/proc/32296/task/32361/stat : 32361 (java) S 32293 32296 31537 0 -1 1077944384 3 13070 0 0 0 0 6 2 20 0 15 0 443512739 11107315712 466114 33554432000 4194304 4196468 140733553522720 140435090393824 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32362] ppid=32293 vsize=10846988 memory=6791534058613427641 CPUtime=1.36 cores=4-7
/proc/32296/task/32362/stat : 32362 (java) S 32293 32296 31537 0 -1 1077944384 1912 13070 0 0 57 71 6 2 20 0 15 0 443512739 11107315712 466114 33554432000 4194304 4196468 140733553522720 140436118084272 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
Current children cumulated CPU time: 2254.33 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1864456 KiB

[startup+2262.3 s]
/proc/loadavg: 1.10 1.38 1.38 3/228 32574
/proc/meminfo: memFree=27820088/32770688 swapFree=66961204/67108860
[pid=32296] ppid=32293 vsize=10846988 memory=1866004 CPUtime=2315.34 cores=4-7
/proc/32296/stat : 32296 (java) S 32293 32296 31537 0 -1 1077944320 337519 13070 0 0 231176 350 6 2 20 0 15 0 443512723 11107315712 466501 33554432000 4194304 4196468 140733553522720 140733553505264 140436595674871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
/proc/32296/statm: 2711747 466501 3641 1 0 2673805 0
[pid=32296/tid=32349] ppid=32293 vsize=10846988 memory=1866004 CPUtime=2241.15 cores=4-7
/proc/32296/task/32349/stat : 32349 (java) R 32293 32296 31537 0 -1 4202560 94251 13070 0 0 224059 48 6 2 20 0 15 0 443512733 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436567510032 140436199362817 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32350] ppid=32293 vsize=10846988 memory=1866004 CPUtime=11.99 cores=4-7
/proc/32296/task/32350/stat : 32350 (java) S 32293 32296 31537 0 -1 1077944384 39157 13070 0 0 1137 54 6 2 20 0 15 0 443512734 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436599917712 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32351] ppid=32293 vsize=10846988 memory=1866004 CPUtime=11.94 cores=4-7
/proc/32296/task/32351/stat : 32351 (java) S 32293 32296 31537 0 -1 1077944384 23245 13070 0 0 1132 54 6 2 20 0 15 0 443512734 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436514737168 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32352] ppid=32293 vsize=10846988 memory=1866004 CPUtime=12.03 cores=4-7
/proc/32296/task/32352/stat : 32352 (java) S 32293 32296 31537 0 -1 1077944384 32403 13070 0 0 1142 53 6 2 20 0 15 0 443512734 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436513684368 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32353] ppid=32293 vsize=10846988 memory=1280 CPUtime=12 cores=4-7
/proc/32296/task/32353/stat : 32353 (java) S 32293 32296 31537 0 -1 1077944384 28986 13070 0 0 1138 54 6 2 20 0 15 0 443512734 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436512631568 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32354] ppid=32293 vsize=10846988 memory=3612 CPUtime=7.19 cores=4-7
/proc/32296/task/32354/stat : 32354 (java) S 32293 32296 31537 0 -1 1077944384 32226 13070 0 0 670 41 6 2 20 0 15 0 443512735 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436122294640 140436595686018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32355] ppid=32293 vsize=10846988 memory=46272 CPUtime=0.08 cores=4-7
/proc/32296/task/32355/stat : 32355 (java) S 32293 32296 31537 0 -1 1077944384 22 13070 0 0 0 0 6 2 20 0 15 0 443512736 11107315712 466501 33554432000 4194304 4196468 140733553522720 140435901113440 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32356] ppid=32293 vsize=10846988 memory=1866004 CPUtime=0.08 cores=4-7
/proc/32296/task/32356/stat : 32356 (java) S 32293 32296 31537 0 -1 1077944384 29 13070 0 0 0 0 6 2 20 0 15 0 443512736 11107315712 466501 33554432000 4194304 4196468 140733553522720 140435431351168 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32357] ppid=32293 vsize=10846988 memory=780 CPUtime=0.08 cores=4-7
/proc/32296/task/32357/stat : 32357 (java) S 32293 32296 31537 0 -1 1077944384 3 13070 0 0 0 0 6 2 20 0 15 0 443512739 11107315712 466501 33554432000 4194304 4196468 140733553522720 140435123951440 140436595693467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32358] ppid=32293 vsize=10846988 memory=1866004 CPUtime=8.45 cores=4-7
/proc/32296/task/32358/stat : 32358 (java) S 32293 32296 31537 0 -1 1077944384 36999 13070 0 0 832 5 6 2 20 0 15 0 443512739 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436121242480 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32359] ppid=32293 vsize=10846988 memory=6791534058613427641 CPUtime=7.34 cores=4-7
/proc/32296/task/32359/stat : 32359 (java) S 32293 32296 31537 0 -1 1077944384 20771 13070 0 0 723 3 6 2 20 0 15 0 443512739 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436120189680 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32360] ppid=32293 vsize=10846988 memory=0 CPUtime=2.46 cores=4-7
/proc/32296/task/32360/stat : 32360 (java) S 32293 32296 31537 0 -1 1077944384 25283 13070 0 0 233 5 6 2 20 0 15 0 443512739 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436119136880 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32361] ppid=32293 vsize=10846988 memory=5861540942387571556 CPUtime=0.08 cores=4-7
/proc/32296/task/32361/stat : 32361 (java) S 32293 32296 31537 0 -1 1077944384 3 13070 0 0 0 0 6 2 20 0 15 0 443512739 11107315712 466501 33554432000 4194304 4196468 140733553522720 140435090393824 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32362] ppid=32293 vsize=10846988 memory=1866004 CPUtime=1.39 cores=4-7
/proc/32296/task/32362/stat : 32362 (java) S 32293 32296 31537 0 -1 1077944384 1936 13070 0 0 59 72 6 2 20 0 15 0 443512739 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436118084272 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
Current children cumulated CPU time: 2315.34 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1866004 KiB

[startup+2322.3 s]
/proc/loadavg: 1.26 1.37 1.37 3/228 32578
/proc/meminfo: memFree=27818896/32770688 swapFree=66961204/67108860
[pid=32296] ppid=32293 vsize=10846988 memory=1866004 CPUtime=2376.36 cores=4-7
/proc/32296/stat : 32296 (java) S 32293 32296 31537 0 -1 1077944320 341363 13070 0 0 237270 358 6 2 20 0 15 0 443512723 11107315712 466501 33554432000 4194304 4196468 140733553522720 140733553505264 140436595674871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
/proc/32296/statm: 2711747 466501 3641 1 0 2673805 0
[pid=32296/tid=32349] ppid=32293 vsize=10846988 memory=1866004 CPUtime=2300.55 cores=4-7
/proc/32296/task/32349/stat : 32349 (java) R 32293 32296 31537 0 -1 4202560 95612 13070 0 0 229998 49 6 2 20 0 15 0 443512733 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436567510032 140436187805233 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32350] ppid=32293 vsize=10846988 memory=1866004 CPUtime=12.34 cores=4-7
/proc/32296/task/32350/stat : 32350 (java) S 32293 32296 31537 0 -1 1077944384 39220 13070 0 0 1171 55 6 2 20 0 15 0 443512734 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436599917712 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32351] ppid=32293 vsize=10846988 memory=1866004 CPUtime=12.28 cores=4-7
/proc/32296/task/32351/stat : 32351 (java) S 32293 32296 31537 0 -1 1077944384 23593 13070 0 0 1165 55 6 2 20 0 15 0 443512734 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436514737168 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32352] ppid=32293 vsize=10846988 memory=1866004 CPUtime=12.37 cores=4-7
/proc/32296/task/32352/stat : 32352 (java) S 32293 32296 31537 0 -1 1077944384 32957 13070 0 0 1175 54 6 2 20 0 15 0 443512734 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436513684368 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32353] ppid=32293 vsize=10846988 memory=1866004 CPUtime=12.33 cores=4-7
/proc/32296/task/32353/stat : 32353 (java) S 32293 32296 31537 0 -1 1077944384 29801 13070 0 0 1170 55 6 2 20 0 15 0 443512734 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436512631568 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32354] ppid=32293 vsize=10846988 memory=56 CPUtime=7.4 cores=4-7
/proc/32296/task/32354/stat : 32354 (java) S 32293 32296 31537 0 -1 1077944384 32873 13070 0 0 690 42 6 2 20 0 15 0 443512735 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436122294640 140436595686018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32355] ppid=32293 vsize=10846988 memory=1866004 CPUtime=0.08 cores=4-7
/proc/32296/task/32355/stat : 32355 (java) S 32293 32296 31537 0 -1 1077944384 22 13070 0 0 0 0 6 2 20 0 15 0 443512736 11107315712 466501 33554432000 4194304 4196468 140733553522720 140435901113440 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32356] ppid=32293 vsize=10846988 memory=1866004 CPUtime=0.08 cores=4-7
/proc/32296/task/32356/stat : 32356 (java) S 32293 32296 31537 0 -1 1077944384 29 13070 0 0 0 0 6 2 20 0 15 0 443512736 11107315712 466501 33554432000 4194304 4196468 140733553522720 140435431351168 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32357] ppid=32293 vsize=10846988 memory=1866004 CPUtime=0.08 cores=4-7
/proc/32296/task/32357/stat : 32357 (java) S 32293 32296 31537 0 -1 1077944384 3 13070 0 0 0 0 6 2 20 0 15 0 443512739 11107315712 466501 33554432000 4194304 4196468 140733553522720 140435123951440 140436595693467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32358] ppid=32293 vsize=10846988 memory=1866004 CPUtime=8.45 cores=4-7
/proc/32296/task/32358/stat : 32358 (java) S 32293 32296 31537 0 -1 1077944384 37004 13070 0 0 832 5 6 2 20 0 15 0 443512739 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436121242480 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32359] ppid=32293 vsize=10846988 memory=1866004 CPUtime=7.34 cores=4-7
/proc/32296/task/32359/stat : 32359 (java) S 32293 32296 31537 0 -1 1077944384 20778 13070 0 0 723 3 6 2 20 0 15 0 443512739 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436120189680 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32360] ppid=32293 vsize=10846988 memory=46272 CPUtime=2.46 cores=4-7
/proc/32296/task/32360/stat : 32360 (java) S 32293 32296 31537 0 -1 1077944384 25296 13070 0 0 233 5 6 2 20 0 15 0 443512739 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436119136880 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32361] ppid=32293 vsize=10846988 memory=1866004 CPUtime=0.08 cores=4-7
/proc/32296/task/32361/stat : 32361 (java) S 32293 32296 31537 0 -1 1077944384 3 13070 0 0 0 0 6 2 20 0 15 0 443512739 11107315712 466501 33554432000 4194304 4196468 140733553522720 140435090393824 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32362] ppid=32293 vsize=10846988 memory=2044 CPUtime=1.43 cores=4-7
/proc/32296/task/32362/stat : 32362 (java) S 32293 32296 31537 0 -1 1077944384 1967 13070 0 0 61 74 6 2 20 0 15 0 443512739 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436118084272 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
Current children cumulated CPU time: 2376.36 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1866004 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2345.6 s]
/proc/loadavg: 1.50 1.41 1.39 4/228 32709
/proc/meminfo: memFree=27843748/32770688 swapFree=66961204/67108860
[pid=32296] ppid=32293 vsize=10846988 memory=1866004 CPUtime=2400.02 cores=4-7
/proc/32296/stat : 32296 (java) S 32293 32296 31537 0 -1 1077944320 342765 13070 0 0 239634 360 6 2 20 0 15 0 443512723 11107315712 466501 33554432000 4194304 4196468 140733553522720 140733553505264 140436595674871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
/proc/32296/statm: 2711747 466501 3641 1 0 2673805 0
[pid=32296/tid=32349] ppid=32293 vsize=10846988 memory=1866004 CPUtime=2323.61 cores=4-7
/proc/32296/task/32349/stat : 32349 (java) R 32293 32296 31537 0 -1 4202560 96138 13070 0 0 232303 50 6 2 20 0 15 0 443512733 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436567510160 140436190226801 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32350] ppid=32293 vsize=10846988 memory=1866004 CPUtime=12.47 cores=4-7
/proc/32296/task/32350/stat : 32350 (java) S 32293 32296 31537 0 -1 1077944384 39228 13070 0 0 1183 56 6 2 20 0 15 0 443512734 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436599917712 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32351] ppid=32293 vsize=10846988 memory=6791534058613427641 CPUtime=12.41 cores=4-7
/proc/32296/task/32351/stat : 32351 (java) S 32293 32296 31537 0 -1 1077944384 23626 13070 0 0 1177 56 6 2 20 0 15 0 443512734 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436514737168 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32352] ppid=32293 vsize=10846988 memory=1556 CPUtime=12.49 cores=4-7
/proc/32296/task/32352/stat : 32352 (java) S 32293 32296 31537 0 -1 1077944384 33461 13070 0 0 1187 54 6 2 20 0 15 0 443512734 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436513684368 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32353] ppid=32293 vsize=10846988 memory=1866004 CPUtime=12.45 cores=4-7
/proc/32296/task/32353/stat : 32353 (java) S 32293 32296 31537 0 -1 1077944384 29815 13070 0 0 1182 55 6 2 20 0 15 0 443512734 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436512631568 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32354] ppid=32293 vsize=10846988 memory=1628 CPUtime=7.49 cores=4-7
/proc/32296/task/32354/stat : 32354 (java) S 32293 32296 31537 0 -1 1077944384 33183 13070 0 0 699 42 6 2 20 0 15 0 443512735 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436122294640 140436595686018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32355] ppid=32293 vsize=10846988 memory=1866004 CPUtime=0.08 cores=4-7
/proc/32296/task/32355/stat : 32355 (java) S 32293 32296 31537 0 -1 1077944384 22 13070 0 0 0 0 6 2 20 0 15 0 443512736 11107315712 466501 33554432000 4194304 4196468 140733553522720 140435901113440 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32356] ppid=32293 vsize=10846988 memory=1866004 CPUtime=0.08 cores=4-7
/proc/32296/task/32356/stat : 32356 (java) S 32293 32296 31537 0 -1 1077944384 29 13070 0 0 0 0 6 2 20 0 15 0 443512736 11107315712 466501 33554432000 4194304 4196468 140733553522720 140435431351168 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32357] ppid=32293 vsize=10846988 memory=46272 CPUtime=0.08 cores=4-7
/proc/32296/task/32357/stat : 32357 (java) S 32293 32296 31537 0 -1 1077944384 3 13070 0 0 0 0 6 2 20 0 15 0 443512739 11107315712 466501 33554432000 4194304 4196468 140733553522720 140435123951440 140436595693467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32358] ppid=32293 vsize=10846988 memory=1866004 CPUtime=8.45 cores=4-7
/proc/32296/task/32358/stat : 32358 (java) S 32293 32296 31537 0 -1 1077944384 37004 13070 0 0 832 5 6 2 20 0 15 0 443512739 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436121242480 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32359] ppid=32293 vsize=10846988 memory=6791534058613427641 CPUtime=7.34 cores=4-7
/proc/32296/task/32359/stat : 32359 (java) S 32293 32296 31537 0 -1 1077944384 20779 13070 0 0 723 3 6 2 20 0 15 0 443512739 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436120189680 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32360] ppid=32293 vsize=10846988 memory=1056 CPUtime=2.46 cores=4-7
/proc/32296/task/32360/stat : 32360 (java) S 32293 32296 31537 0 -1 1077944384 25296 13070 0 0 233 5 6 2 20 0 15 0 443512739 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436119136880 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32361] ppid=32293 vsize=10846988 memory=780 CPUtime=0.08 cores=4-7
/proc/32296/task/32361/stat : 32361 (java) S 32293 32296 31537 0 -1 1077944384 3 13070 0 0 0 0 6 2 20 0 15 0 443512739 11107315712 466501 33554432000 4194304 4196468 140733553522720 140435090393824 140436595685077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
[pid=32296/tid=32362] ppid=32293 vsize=10846988 memory=1708 CPUtime=1.44 cores=4-7
/proc/32296/task/32362/stat : 32362 (java) S 32293 32296 31537 0 -1 1077944384 1973 13070 0 0 62 74 6 2 20 0 15 0 443512739 11107315712 466501 33554432000 4194304 4196468 140733553522720 140436118084272 140436595686018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12279808 140733553527535 140733553530053 140733553530053 140733553532879 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1866004 KiB

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

[startup+2345.64 s]
# the end of solver process 32296 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.43 s, system=3.65084 s

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

Child status: 143
Real time (s): 2345.64
CPU time (s): 2400.08
CPU user time (s): 2396.43
CPU system time (s): 3.65084
CPU usage (%): 102.321
Max. virtual memory (cumulated for all children) (KiB): 10847640
Max. memory (cumulated for all children) (KiB): 2092196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.43
system time used= 3.65084
maximum resident set size= 2098376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359120
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 199261
involuntary context switches= 5211


# summary of solver processes directly reported to runsolver:
#   pid: 32296
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2396.43
#   total CPU system time (s): 3.65084

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5546 second user time and 23.9183 second system time

The end

Launcher Data 

Begin job on node116 at 2019-09-17 01:14:29
IDJOB=4401268
IDBENCH=120658
IDSOLVER=2858
FILE ID=node116/4401268-1568675710
RUNJOBID= node116-1568673291-31569
PBS_JOBID= 21703792
Free space on /tmp= 61196 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-5-fullins-4.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4401268-1568675710/watcher-4401268-1568675710 -o /tmp/evaluation-result-4401268-1568675710/solver-4401268-1568675710 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568673291-31569 --watchdog 2560  bin/xcsp-3-concrete -J-Xss32M -randomseed=1332689568 HOME/instance-4401268-1568675710.xml

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

MD5SUM BENCH= 9a110b3288dcdd83da8fcc132ac433c6
RANDOM SEED=1332689568

node116.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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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.12
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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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	: 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		: 2667.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:       32770688 kB
MemFree:        29821436 kB
MemAvailable:   31054736 kB
Buffers:          132368 kB
Cached:          1394944 kB
SwapCached:        46596 kB
Active:          1830916 kB
Inactive:         542936 kB
Active(anon):     800476 kB
Inactive(anon):    94964 kB
Active(file):    1030440 kB
Inactive(file):   447972 kB
Unevictable:      110568 kB
Mlocked:          110568 kB
SwapTotal:      67108860 kB
SwapFree:       66961200 kB
Dirty:             36344 kB
Writeback:             0 kB
AnonPages:        934328 kB
Mapped:            61344 kB
Shmem:             40284 kB
Slab:             170580 kB
SReclaimable:     141448 kB
SUnreclaim:        29132 kB
KernelStack:        4000 kB
PageTables:         7080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    2107088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    757760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61160 MiB
End job on node116 at 2019-09-17 01:53:35