Trace number 4297917

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
Choco-solver 4.0.7b par (e747e1e)SAT (TO)1454226 14796.8 2520.12

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay200_c18.xml
MD5SUMef8d95b3b89bfc5ccba73a2d09f74d17
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1454226
Best CPU time to get the best result obtained on this benchmark14796.8
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints200
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree30
Distribution of variable degrees[{"degree":2,"count":190},{"degree":3,"count":378},{"degree":4,"count":330},{"degree":5,"count":258},{"degree":6,"count":209},{"degree":7,"count":129},{"degree":8,"count":125},{"degree":9,"count":75},{"degree":10,"count":68},{"degree":11,"count":60},{"degree":12,"count":43},{"degree":13,"count":29},{"degree":14,"count":28},{"degree":15,"count":14},{"degree":16,"count":7},{"degree":17,"count":8},{"degree":18,"count":9},{"degree":19,"count":8},{"degree":20,"count":14},{"degree":21,"count":8},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":26,"count":2},{"degree":27,"count":3},{"degree":30,"count":1}]
Minimum constraint arity36
Maximum constraint arity75
Distribution of constraint arities[{"arity":36,"count":2},{"arity":37,"count":5},{"arity":38,"count":4},{"arity":39,"count":4},{"arity":40,"count":2},{"arity":41,"count":4},{"arity":42,"count":7},{"arity":43,"count":7},{"arity":44,"count":7},{"arity":45,"count":8},{"arity":46,"count":7},{"arity":47,"count":9},{"arity":48,"count":10},{"arity":49,"count":9},{"arity":50,"count":20},{"arity":51,"count":16},{"arity":52,"count":7},{"arity":53,"count":13},{"arity":54,"count":9},{"arity":55,"count":10},{"arity":56,"count":6},{"arity":57,"count":6},{"arity":58,"count":6},{"arity":59,"count":4},{"arity":60,"count":5},{"arity":61,"count":2},{"arity":62,"count":2},{"arity":63,"count":1},{"arity":64,"count":1},{"arity":65,"count":1},{"arity":67,"count":2},{"arity":68,"count":3},{"arity":75,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":200}]
Optimization problemYES
Type of objectivemax SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4297917-1532702493.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4297917-1532702493.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
2.79/0.97	c solve instance...
3.32/1.06	o 674529 
4.01/1.17	o 835889 
4.01/1.18	o 837818 
4.01/1.18	o 844792 
4.01/1.19	o 851252 
4.40/1.26	o 852333 
4.40/1.29	o 852448 
4.92/1.30	o 854395 
4.92/1.31	o 855476 
4.92/1.34	o 855591 
7.24/1.62	o 857521 
7.24/1.68	o 858602 
7.24/1.69	o 858717 
7.83/1.71	o 860664 
7.83/1.71	o 861745 
7.83/1.74	o 861860 
8.53/1.87	o 862317 
8.53/1.88	o 862432 
16.35/2.89	o 863433 
17.09/2.93	o 864005 
18.74/3.17	o 864120 
33.72/5.03	o 864272 
33.72/5.04	o 866334 
33.72/5.04	o 867415 
35.16/5.20	o 871658 
35.16/5.20	o 872739 
35.16/5.23	o 873311 
35.90/5.36	o 873684 
38.18/5.67	o 874256 
46.11/6.67	o 874427 
46.82/6.71	o 874542 
46.82/6.74	o 875372 
46.82/6.77	o 877577 
49.69/7.13	o 879176 
50.40/7.22	o 881698 
50.40/7.29	o 882757 
51.15/7.37	o 913034 
51.97/7.45	o 916570 
52.68/7.53	o 917733 
52.68/7.57	o 924513 
53.42/7.61	o 925589 
53.42/7.67	o 926211 
54.19/7.77	o 926312 
54.93/7.89	o 927691 
55.72/7.93	o 932120 
56.55/8.02	o 932281 
57.23/8.13	o 933198 
57.93/8.21	o 937087 
57.93/8.28	o 937823 
58.70/8.32	o 938978 
58.70/8.37	o 939069 
59.44/8.46	o 939775 
60.20/8.54	o 940152 
60.97/8.64	o 943693 
63.36/8.95	o 945201 
64.18/9.04	o 945555 
64.94/9.13	o 946256 
65.61/9.23	o 949783 
66.39/9.32	o 954093 
67.14/9.40	o 954796 
67.14/9.50	o 956088 
68.68/9.69	o 956648 
69.49/9.77	o 957619 
70.19/9.82	o 964101 
71.81/10.01	o 976619 
72.61/10.19	o 977879 
73.31/10.28	o 978120 
74.10/10.32	o 987146 
74.87/10.42	o 988130 
76.44/10.60	o 988753 
76.44/10.68	o 989930 
77.28/10.77	o 990236 
78.02/10.85	o 991841 
78.85/10.94	o 992326 
79.59/11.03	o 994211 
80.37/11.12	o 994777 
81.07/11.21	o 996644 
81.84/11.30	o 1004851 
84.25/11.61	o 1008226 
84.25/11.70	o 1010864 
84.97/11.79	o 1011724 
85.81/11.89	o 1012132 
86.57/11.94	o 1012345 
86.57/11.98	o 1013631 
87.34/12.08	o 1013718 
88.13/12.17	o 1016521 
89.63/12.35	o 1017835 
89.63/12.38	o 1017940 
90.43/12.42	o 1046425 
91.19/12.59	o 1047422 
92.01/12.67	o 1047838 
92.79/12.72	o 1052605 
92.79/12.80	o 1053956 
93.47/12.87	o 1054521 
94.24/12.95	o 1057906 
95.08/13.06	o 1059338 
95.95/13.18	o 1066255 
97.34/13.39	o 1075210 
98.92/13.56	o 1076001 
99.70/13.65	o 1078806 
101.27/13.81	o 1080798 
102.04/14.00	o 1081608 
102.84/14.10	o 1082016 
104.35/14.28	o 1089428 
105.13/14.37	o 1090151 
107.47/14.65	o 1091517 
108.23/14.74	o 1092304 
108.99/14.82	o 1109338 
109.77/14.92	o 1111967 
110.60/15.08	o 1112483 
111.38/15.14	o 1113915 
111.38/15.18	o 1113923 
112.03/15.22	o 1118779 
112.79/15.30	o 1123190 
112.79/15.39	o 1129888 
113.57/15.49	o 1130240 
114.31/15.57	o 1134131 
115.08/15.66	o 1134988 
115.85/15.76	o 1136029 
117.39/15.94	o 1136893 
118.22/16.03	o 1142528 
119.01/16.12	o 1144894 
119.69/16.21	o 1145591 
120.39/16.38	o 1147778 
121.20/16.49	o 1147810 
123.55/16.78	o 1148802 
124.33/16.87	o 1151979 
125.11/16.95	o 1160164 
126.75/17.12	o 1161819 
128.25/17.39	o 1163638 
129.02/17.49	o 1166402 
129.82/17.58	o 1169504 
130.56/17.67	o 1170879 
131.34/17.75	o 1173921 
133.78/18.01	o 1174138 
133.78/18.11	o 1174363 
134.56/18.19	o 1180240 
135.25/18.24	o 1180325 
135.25/18.28	o 1187860 
136.77/18.46	o 1190874 
137.56/18.55	o 1193932 
138.35/18.65	o 1195651 
139.14/18.74	o 1196271 
139.91/18.83	o 1201770 
140.67/18.92	o 1202226 
141.49/19.02	o 1205666 
142.27/19.11	o 1207630 
142.96/19.20	o 1213330 
145.34/19.55	o 1216706 
147.73/19.81	o 1217099 
149.37/20.09	o 1217136 
154.08/20.62	o 1220677 
154.85/20.71	o 1223128 
154.85/20.74	o 1227688 
154.85/20.79	o 1228974 
155.63/20.88	o 1241854 
156.36/20.98	o 1242721 
158.05/21.18	o 1245771 
158.76/21.28	o 1246706 
164.29/21.91	o 1249552 
165.11/22.01	o 1251249 
166.61/22.27	o 1256095 
168.17/22.46	o 1257450 
168.96/22.55	o 1263537 
170.53/22.75	o 1265258 
171.32/22.84	o 1267747 
174.48/23.23	o 1271302 
175.19/23.32	o 1273209 
187.91/35.27	o 1274922 
188.20/35.37	o 1276199 
189.64/35.52	o 1277347 
191.19/35.79	o 1277519 
193.57/36.18	o 1278950 
193.72/36.29	o 1280623 
197.53/36.76	o 1283673 
198.26/36.86	o 1284750 
198.99/36.96	o 1285428 
201.80/37.32	o 1286069 
205.45/37.84	o 1293201 
205.95/37.96	o 1296966 
217.67/40.52	o 1297118 
220.10/41.68	o 1297444 
223.51/43.05	o 1297965 
229.00/46.46	o 1301673 
229.37/46.57	o 1303350 
235.03/48.56	o 1304427 
240.37/50.84	o 1306223 
251.48/56.14	o 1308987 
251.98/56.23	o 1309689 
251.98/56.30	o 1310302 
253.28/56.40	o 1311930 
253.28/56.45	o 1317457 
254.77/56.64	o 1317770 
256.34/56.84	o 1321347 
270.60/69.46	o 1321431 
272.32/69.74	o 1322508 
317.34/107.97	o 1323656 
327.34/114.01	o 1326706 
329.56/115.06	o 1327675 
335.03/116.54	o 1327737 
338.72/117.01	o 1329023 
348.77/118.42	o 1329557 
351.84/118.86	o 1330329 
353.71/119.90	o 1332558 
355.32/120.17	o 1332797 
356.03/120.22	o 1334241 
367.96/121.74	o 1334991 
372.75/122.37	o 1335075 
374.36/122.56	o 1335847 
384.65/123.81	o 1337978 
406.12/126.50	o 1338012 
436.26/130.31	o 1339612 
456.05/132.83	o 1341856 
460.31/133.43	o 1343573 
471.32/134.85	o 1344345 
539.16/186.22	o 1346841 
542.22/186.60	o 1347537 
543.80/186.80	o 1350504 
589.04/192.50	o 1353121 
701.31/206.67	o 1355980 
733.88/210.71	o 1356511 
736.28/211.02	o 1356595 
883.85/321.80	o 1359380 
889.50/322.50	o 1361670 
893.52/323.16	o 1362411 
902.66/324.39	o 1367070 
1004.37/337.61	o 1367389 
1009.07/338.30	o 1369992 
1010.63/338.40	o 1371037 
1022.57/340.01	o 1371204 
1024.93/340.29	o 1375762 
1048.08/343.20	o 1378483 
1051.17/343.52	o 1379769 
1052.25/343.72	o 1380404 
1056.07/344.28	o 1381731 
1058.03/344.58	o 1382083 
1062.80/345.24	o 1388170 
1699.21/425.88	o 1390269 
1712.16/427.51	o 1390281 
1719.35/428.42	o 1390543 
1724.04/429.02	o 1394443 
1891.90/450.14	o 1395459 
2465.69/967.08	o 1395466 
2468.20/967.41	o 1397842 
2573.24/980.66	o 1398656 
2576.81/981.17	o 1399008 
2582.07/981.98	o 1400455 
2587.87/982.77	o 1400838 
2590.92/983.36	o 1402745 
2593.66/983.75	o 1404250 
2594.31/983.85	o 1405658 
2596.38/984.15	o 1408034 
2612.63/986.32	o 1408545 
3551.25/1104.16	o 1410918 
3552.68/1104.37	o 1417005 
3766.97/1131.92	o 1418811 
4199.97/1187.00	o 1422744 
4606.60/1238.11	o 1424571 
4607.30/1238.21	o 1426861 
4610.46/1238.69	o 1427357 
4613.72/1239.06	o 1429140 
4625.59/1240.55	o 1431430 
4646.51/1243.26	o 1434652 
4664.18/1245.61	o 1437619 
5421.91/1340.81	o 1437816 
6206.34/1439.42	o 1439569 
11105.02/2055.73	o 1439982 
11120.89/2057.73	o 1441947 
11134.41/2059.44	o 1445120 
11138.40/2059.90	o 1447429 
11202.78/2068.07	o 1449560 
11874.46/2152.56	o 1449663 
11878.07/2153.08	o 1452039 
11888.32/2154.35	o 1454226 
14796.02/2520.09	s SATISFIABLE
14796.02/2520.09	v <instantiation>
14796.02/2520.09	v 	<list>b[0] b[1] b[2] b[3] b[4] b[5] b[6] b[7] b[8] b[9] b[10] b[11] b[12] b[13] b[14] b[15] b[16] b[17] b[18] b[19] b[20] b[21] b[22] b[23] b[24] b[25] b[26] b[27] b[28] b[29] b[30] b[31] b[32] b[33] b[34] b[35] b[36] b[37] b[38] b[39] b[40] b[41] b[42] b[43] b[44] b[45] b[46] b[47] b[48] b[49] b[50] b[51] b[52] b[53] b[54] b[55] b[56] b[57] b[58] b[59] b[60] b[61] b[62] b[63] b[64] b[65] b[66] b[67] b[68] b[69] b[70] b[71] b[72] b[73] b[74] b[75] b[76] b[77] b[78] b[79] b[80] b[81] b[82] b[83] b[84] b[85] b[86] b[87] b[88] b[89] b[90] b[91] b[92] b[93] b[94] b[95] b[96] b[97] b[98] b[99] b[100] b[101] b[102] b[103] b[104] b[105] b[106] b[107] b[108] b[109] b[110] b[111] b[112] b[113] b[114] b[115] b[116] b[117] b[118] b[119] b[120] b[121] b[122] b[123] b[124] b[125] b[126] b[127] b[128] b[129] b[130] b[131] b[132] b[133] b[134] b[135] b[136] b[137] b[138] b[139] b[140] b[141] b[142] b[143] b[144] b[145] b[146] b[147] b[148] b[149] b[150] b[151] b[152] b[153] b[154] b[155] b[156] b[157] b[158] b[159] b[160] b[161] b[162] b[163] b[164] b[165] b[166] b[167] b[168] b[169] b[170] b[171] b[172] b[173] b[174] b[175] b[176] b[177] b[178] b[179] b[180] b[181] b[182] b[183] b[184] b[185] b[186] b[187] b[188] b[189] b[190] b[191] b[192] b[193] b[194] b[195] b[196] b[197] b[198] b[199] b[200] b[201] b[202] b[203] b[204] b[205] b[206] b[207] b[208] b[209] b[210] b[211] b[212] b[213] b[214] b[215] b[216] b[217] b[218] b[219] b[220] b[221] b[222] b[223] b[224] b[225] b[226] b[227] b[228] b[229] b[230] b[231] b[232] b[233] b[234] b[235] b[236] b[237] b[238] b[239] b[240] b[241] b[242] b[243] b[244] b[245] b[246] b[247] b[248] b[249] b[250] b[251] b[252] b[253] b[254] b[255] b[256] b[257] b[258] b[259] b[260] b[261] b[262] b[263] b[264] b[265] b[266] b[267] b[268] b[269] b[270] b[271] b[272] b[273] b[274] b[275] b[276] b[277] b[278] b[279] b[280] b[281] b[282] b[283] b[284] b[285] b[286] b[287] b[288] b[289] b[290] b[291] b[292] b[293] b[294] b[295] b[296] b[297] b[298] b[299] b[300] b[301] b[302] b[303] b[304] b[305] b[306] b[307] b[308] b[309] b[310] b[311] b[312] b[313] b[314] b[315] b[316] b[317] b[318] b[319] b[320] b[321] b[322] b[323] b[324] b[325] b[326] b[327] b[328] b[329] b[330] b[331] b[332] b[333] b[334] b[335] b[336] b[337] b[338] b[339] b[340] b[341] b[342] b[343] b[344] b[345] b[346] b[347] b[348] b[349] b[350] b[351] b[352] b[353] b[354] b[355] b[356] b[357] b[358] b[359] b[360] b[361] b[362] b[363] b[364] b[365] b[366] b[367] b[368] b[369] b[370] b[371] b[372] b[373] b[374] b[375] b[376] b[377] b[378] b[379] b[380] b[381] b[382] b[383] b[384] b[385] b[386] b[387] b[388] b[389] b[390] b[391] b[392] b[393] b[394] b[395] b[396] b[397] b[398] b[399] b[400] b[401] b[402] b[403] b[404] b[405] b[406] b[407] b[408] b[409] b[410] b[411] b[412] b[413] b[414] b[415] b[416] b[417] b[418] b[419] b[420] b[421] b[422] b[423] b[424] b[425] b[426] b[427] b[428] b[429] b[430] b[431] b[432] b[433] b[434] b[435] b[436] b[437] b[438] b[439] b[440] b[441] b[442] b[443] b[444] b[445] b[446] b[447] b[448] b[449] b[450] b[451] b[452] b[453] b[454] b[455] b[456] b[457] b[458] b[459] b[460] b[461] b[462] b[463] b[464] b[465] b[466] b[467] b[468] b[469] b[470] b[471] b[472] b[473] b[474] b[475] b[476] b[477] b[478] b[479] b[480] b[481] b[482] b[483] b[484] b[485] b[486] b[487] b[488] b[489] b[490] b[491] b[492] b[493] b[494] b[495] b[496] b[497] b[498] b[499] b[500] b[501] b[502] b[503] b[504] b[505] b[506] b[507] b[508] b[509] b[510] b[511] b[512] b[513] b[514] b[515] b[516] b[517] b[518] b[519] b[520] b[521] b[522] b[523] b[524] b[525] b[526] b[527] b[528] b[529] b[530] b[531] b[532] b[533] b[534] b[535] b[536] b[537] b[538] b[539] b[540] b[541] b[542] b[543] b[544] b[545] b[546] b[547] b[548] b[549] b[550] b[551] b[552] b[553] b[554] b[555] b[556] b[557] b[558] b[559] b[560] b[561] b[562] b[563] b[564] b[565] b[566] b[567] b[568] b[569] b[570] b[571] b[572] b[573] b[574] b[575] b[576] b[577] b[578] b[579] b[580] b[581] b[582] b[583] b[584] b[585] b[586] b[587] b[588] b[589] b[590] b[591] b[592] b[593] b[594] b[595] b[596] b[597] b[598] b[599] b[600] b[601] b[602] b[603] b[604] b[605] b[606] b[607] b[608] b[609] b[610] b[611] b[612] b[613] b[614] b[615] b[616] b[617] b[618] b[619] b[620] b[621] b[622] b[623] b[624] b[625] b[626] b[627] b[628] b[629] b[630] b[631] b[632] b[633] b[634] b[635] b[636] b[637] b[638] b[639] b[640] b[641] b[642] b[643] b[644] b[645] b[646] b[647] b[648] b[649] b[650] b[651] b[652] b[653] b[654] b[655] b[656] b[657] b[658] b[659] b[660] b[661] b[662] b[663] b[664] b[665] b[666] b[667] b[668] b[669] b[670] b[671] b[672] b[673] b[674] b[675] b[676] b[677] b[678] b[679] b[680] b[681] b[682] b[683] b[684] b[685] b[686] b[687] b[688] b[689] b[690] b[691] b[692] b[693] b[694] b[695] b[696] b[697] b[698] b[699] b[700] b[701] b[702] b[703] b[704] b[705] b[706] b[707] b[708] b[709] b[710] b[711] b[712] b[713] b[714] b[715] b[716] b[717] b[718] b[719] b[720] b[721] b[722] b[723] b[724] b[725] b[726] b[727] b[728] b[729] b[730] b[731] b[732] b[733] b[734] b[735] b[736] b[737] b[738] b[739] b[740] b[741] b[742] b[743] b[744] b[745] b[746] b[747] b[748] b[749] b[750] b[751] b[752] b[753] b[754] b[755] b[756] b[757] b[758] b[759] b[760] b[761] b[762] b[763] b[764] b[765] b[766] b[767] b[768] b[769] b[770] b[771] b[772] b[773] b[774] b[775] b[776] b[777] b[778] b[779] b[780] b[781] b[782] b[783] b[784] b[785] b[786] b[787] b[788] b[789] b[790] b[791] b[792] b[793] b[794] b[795] b[796] b[797] b[798] b[799] b[800] b[801] b[802] b[803] b[804] b[805] b[806] b[807] b[808] b[809] b[810] b[811] b[812] b[813] b[814] b[815] b[816] b[817] b[818] b[819] b[820] b[821] b[822] b[823] b[824] b[825] b[826] b[827] b[828] b[829] b[830] b[831] b[832] b[833] b[834] b[835] b[836] b[837] b[838] b[839] b[840] b[841] b[842] b[843] b[844] b[845] b[846] b[847] b[848] b[849] b[850] b[851] b[852] b[853] b[854] b[855] b[856] b[857] b[858] b[859] b[860] b[861] b[862] b[863] b[864] b[865] b[866] b[867] b[868] b[869] b[870] b[871] b[872] b[873] b[874] b[875] b[876] b[877] b[878] b[879] b[880] b[881] b[882] b[883] b[884] b[885] b[886] b[887] b[888] b[889] b[890] b[891] b[892] b[893] b[894] b[895] b[896] b[897] b[898] b[899] b[900] b[901] b[902] b[903] b[904] b[905] b[906] b[907] b[908] b[909] b[910] b[911] b[912] b[913] b[914] b[915] b[916] b[917] b[918] b[919] b[920] b[921] b[922] b[923] b[924] b[925] b[926] b[927] b[928] b[929] b[930] b[931] b[932] b[933] b[934] b[935] b[936] b[937] b[938] b[939] b[940] b[941] b[942] b[943] b[944] b[945] b[946] b[947] b[948] b[949] b[950] b[951] b[952] b[953] b[954] b[955] b[956] b[957] b[958] b[959] b[960] b[961] b[962] b[963] b[964] b[965] b[966] b[967] b[968] b[969] b[970] b[971] b[972] b[973] b[974] b[975] b[976] b[977] b[978] b[979] b[980] b[981] b[982] b[983] b[984] b[985] b[986] b[987] b[988] b[989] b[990] b[991] b[992] b[993] b[994] b[995] b[996] b[997] b[998] b[999] b[1000] b[1001] b[1002] b[1003] b[1004] b[1005] b[1006] b[1007] b[1008] b[1009] b[1010] b[1011] b[1012] b[1013] b[1014] b[1015] b[1016] b[1017] b[1018] b[1019] b[1020] b[1021] b[1022] b[1023] b[1024] b[1025] b[1026] b[1027] b[1028] b[1029] b[1030] b[1031] b[1032] b[1033] b[1034] b[1035] b[1036] b[1037] b[1038] b[1039] b[1040] b[1041] b[1042] b[1043] b[1044] b[1045] b[1046] b[1047] b[1048] b[1049] b[1050] b[1051] b[1052] b[1053] b[1054] b[1055] b[1056] b[1057] b[1058] b[1059] b[1060] b[1061] b[1062] b[1063] b[1064] b[1065] b[1066] b[1067] b[1068] b[1069] b[1070] b[1071] b[1072] b[1073] b[1074] b[1075] b[1076] b[1077] b[1078] b[1079] b[1080] b[1081] b[1082] b[1083] b[1084] b[1085] b[1086] b[1087] b[1088] b[1089] b[1090] b[1091] b[1092] b[1093] b[1094] b[1095] b[1096] b[1097] b[1098] b[1099] b[1100] b[1101] b[1102] b[1103] b[1104] b[1105] b[1106] b[1107] b[1108] b[1109] b[1110] b[1111] b[1112] b[1113] b[1114] b[1115] b[1116] b[1117] b[1118] b[1119] b[1120] b[1121] b[1122] b[1123] b[1124] b[1125] b[1126] b[1127] b[1128] b[1129] b[1130] b[1131] b[1132] b[1133] b[1134] b[1135] b[1136] b[1137] b[1138] b[1139] b[1140] b[1141] b[1142] b[1143] b[1144] b[1145] b[1146] b[1147] b[1148] b[1149] b[1150] b[1151] b[1152] b[1153] b[1154] b[1155] b[1156] b[1157] b[1158] b[1159] b[1160] b[1161] b[1162] b[1163] b[1164] b[1165] b[1166] b[1167] b[1168] b[1169] b[1170] b[1171] b[1172] b[1173] b[1174] b[1175] b[1176] b[1177] b[1178] b[1179] b[1180] b[1181] b[1182] b[1183] b[1184] b[1185] b[1186] b[1187] b[1188] b[1189] b[1190] b[1191] b[1192] b[1193] b[1194] b[1195] b[1196] b[1197] b[1198] b[1199] b[1200] b[1201] b[1202] b[1203] b[1204] b[1205] b[1206] b[1207] b[1208] b[1209] b[1210] b[1211] b[1212] b[1213] b[1214] b[1215] b[1216] b[1217] b[1218] b[1219] b[1220] b[1221] b[1222] b[1223] b[1224] b[1225] b[1226] b[1227] b[1228] b[1229] b[1230] b[1231] b[1232] b[1233] b[1234] b[1235] b[1236] b[1237] b[1238] b[1239] b[1240] b[1241] b[1242] b[1243] b[1244] b[1245] b[1246] b[1247] b[1248] b[1249] b[1250] b[1251] b[1252] b[1253] b[1254] b[1255] b[1256] b[1257] b[1258] b[1259] b[1260] b[1261] b[1262] b[1263] b[1264] b[1265] b[1266] b[1267] b[1268] b[1269] b[1270] b[1271] b[1272] b[1273] b[1274] b[1275] b[1276] b[1277] b[1278] b[1279] b[1280] b[1281] b[1282] b[1283] b[1284] b[1285] b[1286] b[1287] b[1288] b[1289] b[1290] b[1291] b[1292] b[1293] b[1294] b[1295] b[1296] b[1297] b[1298] b[1299] b[1300] b[1301] b[1302] b[1303] b[1304] b[1305] b[1306] b[1307] b[1308] b[1309] b[1310] b[1311] b[1312] b[1313] b[1314] b[1315] b[1316] b[1317] b[1318] b[1319] b[1320] b[1321] b[1322] b[1323] b[1324] b[1325] b[1326] b[1327] b[1328] b[1329] b[1330] b[1331] b[1332] b[1333] b[1334] b[1335] b[1336] b[1337] b[1338] b[1339] b[1340] b[1341] b[1342] b[1343] b[1344] b[1345] b[1346] b[1347] b[1348] b[1349] b[1350] b[1351] b[1352] b[1353] b[1354] b[1355] b[1356] b[1357] b[1358] b[1359] b[1360] b[1361] b[1362] b[1363] b[1364] b[1365] b[1366] b[1367] b[1368] b[1369] b[1370] b[1371] b[1372] b[1373] b[1374] b[1375] b[1376] b[1377] b[1378] b[1379] b[1380] b[1381] b[1382] b[1383] b[1384] b[1385] b[1386] b[1387] b[1388] b[1389] b[1390] b[1391] b[1392] b[1393] b[1394] b[1395] b[1396] b[1397] b[1398] b[1399] b[1400] b[1401] b[1402] b[1403] b[1404] b[1405] b[1406] b[1407] b[1408] b[1409] b[1410] b[1411] b[1412] b[1413] b[1414] b[1415] b[1416] b[1417] b[1418] b[1419] b[1420] b[1421] b[1422] b[1423] b[1424] b[1425] b[1426] b[1427] b[1428] b[1429] b[1430] b[1431] b[1432] b[1433] b[1434] b[1435] b[1436] b[1437] b[1438] b[1439] b[1440] b[1441] b[1442] b[1443] b[1444] b[1445] b[1446] b[1447] b[1448] b[1449] b[1450] b[1451] b[1452] b[1453] b[1454] b[1455] b[1456] b[1457] b[1458] b[1459] b[1460] b[1461] b[1462] b[1463] b[1464] b[1465] b[1466] b[1467] b[1468] b[1469] b[1470] b[1471] b[1472] b[1473] b[1474] b[1475] b[1476] b[1477] b[1478] b[1479] b[1480] b[1481] b[1482] b[1483] b[1484] b[1485] b[1486] b[1487] b[1488] b[1489] b[1490] b[1491] b[1492] b[1493] b[1494] b[1495] b[1496] b[1497] b[1498] b[1499] b[1500] b[1501] b[1502] b[1503] b[1504] b[1505] b[1506] b[1507] b[1508] b[1509] b[1510] b[1511] b[1512] b[1513] b[1514] b[1515] b[1516] b[1517] b[1518] b[1519] b[1520] b[1521] b[1522] b[1523] b[1524] b[1525] b[1526] b[1527] b[1528] b[1529] b[1530] b[1531] b[1532] b[1533] b[1534] b[1535] b[1536] b[1537] b[1538] b[1539] b[1540] b[1541] b[1542] b[1543] b[1544] b[1545] b[1546] b[1547] b[1548] b[1549] b[1550] b[1551] b[1552] b[1553] b[1554] b[1555] b[1556] b[1557] b[1558] b[1559] b[1560] b[1561] b[1562] b[1563] b[1564] b[1565] b[1566] b[1567] b[1568] b[1569] b[1570] b[1571] b[1572] b[1573] b[1574] b[1575] b[1576] b[1577] b[1578] b[1579] b[1580] b[1581] b[1582] b[1583] b[1584] b[1585] b[1586] b[1587] b[1588] b[1589] b[1590] b[1591] b[1592] b[1593] b[1594] b[1595] b[1596] b[1597] b[1598] b[1599] b[1600] b[1601] b[1602] b[1603] b[1604] b[1605] b[1606] b[1607] b[1608] b[1609] b[1610] b[1611] b[1612] b[1613] b[1614] b[1615] b[1616] b[1617] b[1618] b[1619] b[1620] b[1621] b[1622] b[1623] b[1624] b[1625] b[1626] b[1627] b[1628] b[1629] b[1630] b[1631] b[1632] b[1633] b[1634] b[1635] b[1636] b[1637] b[1638] b[1639] b[1640] b[1641] b[1642] b[1643] b[1644] b[1645] b[1646] b[1647] b[1648] b[1649] b[1650] b[1651] b[1652] b[1653] b[1654] b[1655] b[1656] b[1657] b[1658] b[1659] b[1660] b[1661] b[1662] b[1663] b[1664] b[1665] b[1666] b[1667] b[1668] b[1669] b[1670] b[1671] b[1672] b[1673] b[1674] b[1675] b[1676] b[1677] b[1678] b[1679] b[1680] b[1681] b[1682] b[1683] b[1684] b[1685] b[1686] b[1687] b[1688] b[1689] b[1690] b[1691] b[1692] b[1693] b[1694] b[1695] b[1696] b[1697] b[1698] b[1699] b[1700] b[1701] b[1702] b[1703] b[1704] b[1705] b[1706] b[1707] b[1708] b[1709] b[1710] b[1711] b[1712] b[1713] b[1714] b[1715] b[1716] b[1717] b[1718] b[1719] b[1720] b[1721] b[1722] b[1723] b[1724] b[1725] b[1726] b[1727] b[1728] b[1729] b[1730] b[1731] b[1732] b[1733] b[1734] b[1735] b[1736] b[1737] b[1738] b[1739] b[1740] b[1741] b[1742] b[1743] b[1744] b[1745] b[1746] b[1747] b[1748] b[1749] b[1750] b[1751] b[1752] b[1753] b[1754] b[1755] b[1756] b[1757] b[1758] b[1759] b[1760] b[1761] b[1762] b[1763] b[1764] b[1765] b[1766] b[1767] b[1768] b[1769] b[1770] b[1771] b[1772] b[1773] b[1774] b[1775] b[1776] b[1777] b[1778] b[1779] b[1780] b[1781] b[1782] b[1783] b[1784] b[1785] b[1786] b[1787] b[1788] b[1789] b[1790] b[1791] b[1792] b[1793] b[1794] b[1795] b[1796] b[1797] b[1798] b[1799] b[1800] b[1801] b[1802] b[1803] b[1804] b[1805] b[1806] b[1807] b[1808] b[1809] b[1810] b[1811] b[1812] b[1813] b[1814] b[1815] b[1816] b[1817] b[1818] b[1819] b[1820] b[1821] b[1822] b[1823] b[1824] b[1825] b[1826] b[1827] b[1828] b[1829] b[1830] b[1831] b[1832] b[1833] b[1834] b[1835] b[1836] b[1837] b[1838] b[1839] b[1840] b[1841] b[1842] b[1843] b[1844] b[1845] b[1846] b[1847] b[1848] b[1849] b[1850] b[1851] b[1852] b[1853] b[1854] b[1855] b[1856] b[1857] b[1858] b[1859] b[1860] b[1861] b[1862] b[1863] b[1864] b[1865] b[1866] b[1867] b[1868] b[1869] b[1870] b[1871] b[1872] b[1873] b[1874] b[1875] b[1876] b[1877] b[1878] b[1879] b[1880] b[1881] b[1882] b[1883] b[1884] b[1885] b[1886] b[1887] b[1888] b[1889] b[1890] b[1891] b[1892] b[1893] b[1894] b[1895] b[1896] b[1897] b[1898] b[1899] b[1900] b[1901] b[1902] b[1903] b[1904] b[1905] b[1906] b[1907] b[1908] b[1909] b[1910] b[1911] b[1912] b[1913] b[1914] b[1915] b[1916] b[1917] b[1918] b[1919] b[1920] b[1921] b[1922] b[1923] b[1924] b[1925] b[1926] b[1927] b[1928] b[1929] b[1930] b[1931] b[1932] b[1933] b[1934] b[1935] b[1936] b[1937] b[1938] b[1939] b[1940] b[1941] b[1942] b[1943] b[1944] b[1945] b[1946] b[1947] b[1948] b[1949] b[1950] b[1951] b[1952] b[1953] b[1954] b[1955] b[1956] b[1957] b[1958] b[1959] b[1960] b[1961] b[1962] b[1963] b[1964] b[1965] b[1966] b[1967] b[1968] b[1969] b[1970] b[1971] b[1972] b[1973] b[1974] b[1975] b[1976] b[1977] b[1978] b[1979] b[1980] b[1981] b[1982] b[1983] b[1984] b[1985] b[1986] b[1987] b[1988] b[1989] b[1990] b[1991] b[1992] b[1993] b[1994] b[1995] b[1996] b[1997] b[1998] b[1999] </list>
14796.02/2520.09	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 </values>
14796.02/2520.09	v </instantiation>
14796.02/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	1454226

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13293 MiB free)
  memory of node 1: 16384 MiB (14241 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297917-1532702493/watcher-4297917-1532702493 -o /tmp/evaluation-result-4297917-1532702493/solver-4297917-1532702493 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532697411-18476 --watchdog 2580 HOME/xcsp3-exec -seed 797186163 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297917-1532702493.xml 

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

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


[startup+0.108502 s]*
/proc/loadavg: 7.96 7.53 7.81 2/204 20219
/proc/meminfo: memFree=28179340/32770624 swapFree=67108744/67108860
[pid=20198] ppid=20195 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20198/stat : 20198 (xcsp3-exec) S 20195 20198 18449 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 87812526 115843072 363 33554432000 4194304 5098028 140723161329360 140723161327464 139648310542972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21688320 140723161334838 140723161335040 140723161335040 140723161337802 0
/proc/20198/statm: 28282 363 305 221 0 87 0
[pid=20200] ppid=20198 vsize=26104152 memory=27820 CPUtime=0.13 cores=0-7
/proc/20200/stat : 20200 (java) S 20198 20198 18449 0 -1 1077944320 5846 0 0 0 11 2 0 0 20 0 20 0 87812526 26730651648 6955 33554432000 4194304 4196468 140729627808784 140729627791328 140198376136439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
/proc/20200/statm: 6526038 6955 3025 1 0 6488315 0
[pid=20200/tid=20201] ppid=20198 vsize=26104152 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/20200/task/20201/stat : 20201 (java) R 20198 20198 18449 0 -1 4202560 3774 0 0 0 8 1 0 0 20 0 20 0 87812527 26730651648 6955 33554432000 4194304 4196468 140729627808784 140198380372864 140198376148374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20202] ppid=20198 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20200/task/20202/stat : 20202 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87812528 26730651648 6955 33554432000 4194304 4196468 140729627808784 140198337096848 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20203] ppid=20198 vsize=26104152 memory=140618829919872 CPUtime=0 cores=0-7
/proc/20200/task/20203/stat : 20203 (java) S 20198 20198 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87812528 26730651648 6955 33554432000 4194304 4196468 140729627808784 140197933530128 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20204] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20204/stat : 20204 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87812528 26730651648 6955 33554432000 4194304 4196468 140729627808784 140197932477328 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20205] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20205/stat : 20205 (java) S 20198 20198 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87812528 26730651648 6955 33554432000 4194304 4196468 140729627808784 140197931424528 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20206] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20206/stat : 20206 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87812528 26730651648 6955 33554432000 4194304 4196468 140729627808784 140197930371728 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20207] ppid=20198 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20200/task/20207/stat : 20207 (java) S 20198 20198 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87812528 26730651648 6955 33554432000 4194304 4196468 140729627808784 140197929318928 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20208] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20208/stat : 20208 (java) S 20198 20198 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87812528 26730651648 6955 33554432000 4194304 4196468 140729627808784 140197928266128 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20209] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20209/stat : 20209 (java) S 20198 20198 18449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87812528 26730651648 6955 33554432000 4194304 4196468 140729627808784 140197927213328 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20210] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20210/stat : 20210 (java) S 20198 20198 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87812529 26730651648 6955 33554432000 4194304 4196468 140729627808784 140197503572848 140198376147586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20211] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20211/stat : 20211 (java) S 20198 20198 18449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87812529 26730651648 6955 33554432000 4194304 4196468 140729627808784 140197502518816 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20212] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20212/stat : 20212 (java) S 20198 20198 18449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87812530 26730651648 6955 33554432000 4194304 4196468 140729627808784 140197501465968 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20213] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20213/stat : 20213 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87812532 26730651648 6955 33554432000 4194304 4196468 140729627808784 140197500414288 140198376155035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20214] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20214/stat : 20214 (java) S 20198 20198 18449 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 87812532 26730651648 6955 33554432000 4194304 4196468 140729627808784 140197499361648 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20215] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20215/stat : 20215 (java) S 20198 20198 18449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87812532 26730651648 6955 33554432000 4194304 4196468 140729627808784 140197498308848 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20216] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20216/stat : 20216 (java) S 20198 20198 18449 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 87812532 26730651648 6955 33554432000 4194304 4196468 140729627808784 140197497256048 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20217] ppid=20198 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/20200/task/20217/stat : 20217 (java) R 20198 20198 18449 0 -1 4202560 333 0 0 0 1 0 0 0 20 0 20 0 87812532 26730651648 6955 33554432000 4194304 4196468 140729627808784 140197496203248 140198354836640 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20218] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20218/stat : 20218 (java) S 20198 20198 18449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87812532 26730651648 6955 33554432000 4194304 4196468 140729627808784 140197495151712 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20219] ppid=20198 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20200/task/20219/stat : 20219 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87812533 26730651648 6955 33554432000 4194304 4196468 140729627808784 140197494098992 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29272 KiB

[startup+0.210581 s]*
/proc/loadavg: 7.96 7.53 7.81 3/204 20219
/proc/meminfo: memFree=28169416/32770624 swapFree=67108744/67108860
[pid=20198] ppid=20195 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20198/stat : 20198 (xcsp3-exec) S 20195 20198 18449 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 87812526 115843072 363 33554432000 4194304 5098028 140723161329360 140723161327464 139648310542972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21688320 140723161334838 140723161335040 140723161335040 140723161337802 0
/proc/20198/statm: 28282 363 305 221 0 87 0
[pid=20200] ppid=20198 vsize=26104152 memory=39368 CPUtime=0.34 cores=0-7
/proc/20200/stat : 20200 (java) S 20198 20198 18449 0 -1 1077944320 8380 0 0 0 31 3 0 0 20 0 20 0 87812526 26730651648 9842 33554432000 4194304 4196468 140729627808784 140729627791328 140198376136439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
/proc/20200/statm: 6526038 9842 3190 1 0 6488315 0
[pid=20200/tid=20201] ppid=20198 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/20200/task/20201/stat : 20201 (java) R 20198 20198 18449 0 -1 4202560 5587 0 0 0 18 1 0 0 20 0 20 0 87812527 26730651648 9842 33554432000 4194304 4196468 140729627808784 140198380369872 140198360216926 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20202] ppid=20198 vsize=26104152 memory=340 CPUtime=0 cores=0-7
/proc/20200/task/20202/stat : 20202 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87812528 26730651648 9842 33554432000 4194304 4196468 140729627808784 140198337096848 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20203] ppid=20198 vsize=26104152 memory=140618830428357 CPUtime=0 cores=0-7
/proc/20200/task/20203/stat : 20203 (java) S 20198 20198 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87812528 26730651648 9842 33554432000 4194304 4196468 140729627808784 140197933530128 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20204] ppid=20198 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20200/task/20204/stat : 20204 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87812528 26730651648 9842 33554432000 4194304 4196468 140729627808784 140197932477328 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20205] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20205/stat : 20205 (java) S 20198 20198 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87812528 26730651648 9842 33554432000 4194304 4196468 140729627808784 140197931424528 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20206] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20206/stat : 20206 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87812528 26730651648 9842 33554432000 4194304 4196468 140729627808784 140197930371728 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20207] ppid=20198 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20200/task/20207/stat : 20207 (java) S 20198 20198 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87812528 26730651648 9842 33554432000 4194304 4196468 140729627808784 140197929318928 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20208] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20208/stat : 20208 (java) S 20198 20198 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87812528 26730651648 9842 33554432000 4194304 4196468 140729627808784 140197928266128 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20209] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20209/stat : 20209 (java) S 20198 20198 18449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87812528 26730651648 9842 33554432000 4194304 4196468 140729627808784 140197927213328 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20210] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20210/stat : 20210 (java) S 20198 20198 18449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87812529 26730651648 9842 33554432000 4194304 4196468 140729627808784 140197503572848 140198376147586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20211] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20211/stat : 20211 (java) S 20198 20198 18449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87812529 26730651648 9842 33554432000 4194304 4196468 140729627808784 140197502518816 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20212] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20212/stat : 20212 (java) S 20198 20198 18449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87812530 26730651648 9842 33554432000 4194304 4196468 140729627808784 140197501465968 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20213] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20213/stat : 20213 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87812532 26730651648 9842 33554432000 4194304 4196468 140729627808784 140197500414288 140198376155035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20214] ppid=20198 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/20200/task/20214/stat : 20214 (java) S 20198 20198 18449 0 -1 1077944384 409 0 0 0 1 0 0 0 20 0 20 0 87812532 26730651648 9842 33554432000 4194304 4196468 140729627808784 140197499361648 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20215] ppid=20198 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/20200/task/20215/stat : 20215 (java) S 20198 20198 18449 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 20 0 87812532 26730651648 9842 33554432000 4194304 4196468 140729627808784 140197498308848 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20216] ppid=20198 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/20200/task/20216/stat : 20216 (java) S 20198 20198 18449 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 20 0 87812532 26730651648 9842 33554432000 4194304 4196468 140729627808784 140197497256048 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20217] ppid=20198 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/20200/task/20217/stat : 20217 (java) R 20198 20198 18449 0 -1 4202560 769 0 0 0 7 0 0 0 20 0 20 0 87812532 26730651648 9842 33554432000 4194304 4196468 140729627808784 140197496203248 140198376148374 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20218] ppid=20198 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20218/stat : 20218 (java) S 20198 20198 18449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87812532 26730651648 9842 33554432000 4194304 4196468 140729627808784 140197495151712 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20219] ppid=20198 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20200/task/20219/stat : 20219 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87812533 26730651648 9842 33554432000 4194304 4196468 140729627808784 140197494098992 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 40820 KiB

[startup+0.310663 s]*
/proc/loadavg: 7.96 7.53 7.81 4/204 20219
/proc/meminfo: memFree=28162964/32770624 swapFree=67108744/67108860
[pid=20198] ppid=20195 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20198/stat : 20198 (xcsp3-exec) S 20195 20198 18449 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 87812526 115843072 363 33554432000 4194304 5098028 140723161329360 140723161327464 139648310542972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21688320 140723161334838 140723161335040 140723161335040 140723161337802 0
/proc/20198/statm: 28282 363 305 221 0 87 0
[pid=20200] ppid=20198 vsize=26108408 memory=45876 CPUtime=0.51 cores=0-7
/proc/20200/stat : 20200 (java) S 20198 20198 18449 0 -1 1077944320 9181 0 0 0 47 4 0 0 20 0 20 0 87812526 26735009792 11469 33554432000 4194304 4196468 140729627808784 140729627791328 140198376136439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
/proc/20200/statm: 6527102 11469 3223 1 0 6488315 0
[pid=20200/tid=20201] ppid=20198 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20200/task/20201/stat : 20201 (java) R 20198 20198 18449 0 -1 4202560 6242 0 0 0 26 3 0 0 20 0 20 0 87812527 26735009792 11469 33554432000 4194304 4196468 140729627808784 140198380367552 140198376158365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20202] ppid=20198 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20202/stat : 20202 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87812528 26735009792 11469 33554432000 4194304 4196468 140729627808784 140198337096848 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20203] ppid=20198 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20203/stat : 20203 (java) S 20198 20198 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87812528 26735009792 11469 33554432000 4194304 4196468 140729627808784 140197933530128 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20204] ppid=20198 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20204/stat : 20204 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87812528 26735009792 11469 33554432000 4194304 4196468 140729627808784 140197932477328 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20205] ppid=20198 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20205/stat : 20205 (java) S 20198 20198 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87812528 26735009792 11469 33554432000 4194304 4196468 140729627808784 140197931424528 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20206] ppid=20198 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/20200/task/20206/stat : 20206 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87812528 26735009792 11469 33554432000 4194304 4196468 140729627808784 140197930371728 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20207] ppid=20198 vsize=26108408 memory=140618705761199 CPUtime=0 cores=0-7
/proc/20200/task/20207/stat : 20207 (java) S 20198 20198 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87812528 26735009792 11469 33554432000 4194304 4196468 140729627808784 140197929318928 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20208] ppid=20198 vsize=26108408 memory=140618705763504 CPUtime=0 cores=0-7
/proc/20200/task/20208/stat : 20208 (java) S 20198 20198 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87812528 26735009792 11469 33554432000 4194304 4196468 140729627808784 140197928266128 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20209] ppid=20198 vsize=26108408 memory=140618705765808 CPUtime=0 cores=0-7
/proc/20200/task/20209/stat : 20209 (java) S 20198 20198 18449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87812528 26735009792 11469 33554432000 4194304 4196468 140729627808784 140197927213328 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20210] ppid=20198 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20210/stat : 20210 (java) S 20198 20198 18449 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87812529 26735009792 11469 33554432000 4194304 4196468 140729627808784 140197503572848 140198376147586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20211] ppid=20198 vsize=26108408 memory=281237411538576 CPUtime=0 cores=0-7
/proc/20200/task/20211/stat : 20211 (java) S 20198 20198 18449 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87812529 26735009792 11469 33554432000 4194304 4196468 140729627808784 140197502518816 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20212] ppid=20198 vsize=26108408 memory=281237411545488 CPUtime=0 cores=0-7
/proc/20200/task/20212/stat : 20212 (java) S 20198 20198 18449 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87812530 26735009792 11469 33554432000 4194304 4196468 140729627808784 140197501465968 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20213] ppid=20198 vsize=26108408 memory=281237411486768 CPUtime=0 cores=0-7
/proc/20200/task/20213/stat : 20213 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87812532 26735009792 11469 33554432000 4194304 4196468 140729627808784 140197500414288 140198376155035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20214] ppid=20198 vsize=26108408 memory=281237411559312 CPUtime=0.02 cores=0-7
/proc/20200/task/20214/stat : 20214 (java) S 20198 20198 18449 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 20 0 87812532 26735009792 11469 33554432000 4194304 4196468 140729627808784 140197499361648 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20215] ppid=20198 vsize=26108408 memory=281237411566224 CPUtime=0.03 cores=0-7
/proc/20200/task/20215/stat : 20215 (java) S 20198 20198 18449 0 -1 1077944384 109 0 0 0 3 0 0 0 20 0 20 0 87812532 26735009792 11469 33554432000 4194304 4196468 140729627808784 140197498308848 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20216] ppid=20198 vsize=26108408 memory=281237411563920 CPUtime=0.02 cores=0-7
/proc/20200/task/20216/stat : 20216 (java) S 20198 20198 18449 0 -1 1077944384 208 0 0 0 2 0 0 0 20 0 20 0 87812532 26735009792 11469 33554432000 4194304 4196468 140729627808784 140197497256048 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20217] ppid=20198 vsize=26108408 memory=281237411580080 CPUtime=0.12 cores=0-7
/proc/20200/task/20217/stat : 20217 (java) S 20198 20198 18449 0 -1 1077944384 908 0 0 0 12 0 0 0 20 0 20 0 87812532 26735009792 11469 33554432000 4194304 4196468 140729627808784 140197496203248 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20218] ppid=20198 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20218/stat : 20218 (java) S 20198 20198 18449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87812532 26735009792 11469 33554432000 4194304 4196468 140729627808784 140197495151712 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20219] ppid=20198 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/20200/task/20219/stat : 20219 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87812533 26735009792 11469 33554432000 4194304 4196468 140729627808784 140197494098992 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47328 KiB

[startup+0.701038 s]
/proc/loadavg: 7.40 7.42 7.77 5/204 20219
/proc/meminfo: memFree=28139980/32770624 swapFree=67108744/67108860
[pid=20198] ppid=20195 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20198/stat : 20198 (xcsp3-exec) S 20195 20198 18449 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 87812526 115843072 363 33554432000 4194304 5098028 140723161329360 140723161327464 139648310542972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21688320 140723161334838 140723161335040 140723161335040 140723161337802 0
/proc/20198/statm: 28282 363 305 221 0 87 0
[pid=20200] ppid=20198 vsize=26110532 memory=114468 CPUtime=1.93 cores=0-7
/proc/20200/stat : 20200 (java) S 20198 20198 18449 0 -1 1077944320 14670 0 0 0 187 6 0 0 20 0 20 0 87812526 26737184768 28617 33554432000 4194304 4196468 140729627808784 140729627791328 140198376136439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
/proc/20200/statm: 6527633 28617 3372 1 0 6488827 0
[pid=20200/tid=20201] ppid=20198 vsize=26110532 memory=281237411937968 CPUtime=0.67 cores=0-7
/proc/20200/task/20201/stat : 20201 (java) R 20198 20198 18449 0 -1 4202560 7093 0 0 0 63 4 0 0 20 0 20 0 87812527 26737184768 28617 33554432000 4194304 4196468 140729627808784 140198380374912 140198016233483 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20202] ppid=20198 vsize=26110532 memory=140618705970032 CPUtime=0 cores=0-7
/proc/20200/task/20202/stat : 20202 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87812528 26737184768 28617 33554432000 4194304 4196468 140729627808784 140198337096848 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20203] ppid=20198 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/20200/task/20203/stat : 20203 (java) S 20198 20198 18449 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87812528 26737184768 28617 33554432000 4194304 4196468 140729627808784 140197933530128 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20204] ppid=20198 vsize=26110532 memory=1704 CPUtime=0 cores=0-7
/proc/20200/task/20204/stat : 20204 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87812528 26737184768 28617 33554432000 4194304 4196468 140729627808784 140197932477328 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0

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

[pid=20200/tid=22477] ppid=20198 vsize=26646120 memory=1452 CPUtime=284.31 cores=0-7
/proc/20200/task/22477/stat : 22477 (java) R 20198 20198 18449 0 -1 4202560 8837 0 0 0 28417 14 0 0 20 0 28 0 88027961 27285626880 569723 33554432000 4194304 4196468 140729627808784 140197476897704 140198019289777 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
Current children cumulated CPU time: 14178.4 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 2280344 KiB

[startup+2502.3 s]
/proc/loadavg: 9.08 8.47 7.59 9/213 22487
/proc/meminfo: memFree=25950820/32770624 swapFree=67108744/67108860
[pid=20198] ppid=20195 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20198/stat : 20198 (xcsp3-exec) S 20195 20198 18449 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 87812526 115843072 363 33554432000 4194304 5098028 140723161329360 140723161327464 139648310542972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21688320 140723161334838 140723161335040 140723161335040 140723161337802 0
/proc/20198/statm: 28282 363 305 221 0 87 0
[pid=20200] ppid=20198 vsize=26646120 memory=2247612 CPUtime=14655.6 cores=0-7
/proc/20200/stat : 20200 (java) S 20198 20198 18449 0 -1 1077944320 1263424 0 0 0 1464299 1258 0 0 20 0 28 0 87812526 27285626880 561903 33554432000 4194304 4196468 140729627808784 140729627791328 140198376136439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
/proc/20200/statm: 6661530 561903 3449 1 0 6622724 0
[pid=20200/tid=20201] ppid=20198 vsize=26646120 memory=2255308 CPUtime=1.19 cores=0-7
/proc/20200/task/20201/stat : 20201 (java) S 20198 20198 18449 0 -1 1077944384 17095 0 0 0 110 9 0 0 20 0 28 0 87812527 27285626880 561903 33554432000 4194304 4196468 140729627808784 140198380377136 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20202] ppid=20198 vsize=26646120 memory=2881012 CPUtime=10.67 cores=0-7
/proc/20200/task/20202/stat : 20202 (java) S 20198 20198 18449 0 -1 1077944384 57727 0 0 0 1036 31 0 0 20 0 28 0 87812528 27285626880 561903 33554432000 4194304 4196468 140729627808784 140198337096848 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20203] ppid=20198 vsize=26646120 memory=2833400 CPUtime=10.7 cores=0-7
/proc/20200/task/20203/stat : 20203 (java) S 20198 20198 18449 0 -1 1077944384 56261 0 0 0 1039 31 0 0 20 0 28 0 87812528 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197933530128 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20204] ppid=20198 vsize=26646120 memory=2702696 CPUtime=10.59 cores=0-7
/proc/20200/task/20204/stat : 20204 (java) S 20198 20198 18449 0 -1 1077944384 56431 0 0 0 1028 31 0 0 20 0 28 0 87812528 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197932477328 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20205] ppid=20198 vsize=26646120 memory=2688856 CPUtime=10.67 cores=0-7
/proc/20200/task/20205/stat : 20205 (java) S 20198 20198 18449 0 -1 1077944384 58610 0 0 0 1042 25 0 0 20 0 28 0 87812528 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197931424528 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20206] ppid=20198 vsize=26646120 memory=2683728 CPUtime=10.62 cores=0-7
/proc/20200/task/20206/stat : 20206 (java) S 20198 20198 18449 0 -1 1077944384 58787 0 0 0 1033 29 0 0 20 0 28 0 87812528 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197930371728 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20207] ppid=20198 vsize=26646120 memory=2631436 CPUtime=10.64 cores=0-7
/proc/20200/task/20207/stat : 20207 (java) S 20198 20198 18449 0 -1 1077944384 61279 0 0 0 1036 28 0 0 20 0 28 0 87812528 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197929318928 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 14 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20208] ppid=20198 vsize=26646120 memory=2615008 CPUtime=10.62 cores=0-7
/proc/20200/task/20208/stat : 20208 (java) S 20198 20198 18449 0 -1 1077944384 60160 0 0 0 1033 29 0 0 20 0 28 0 87812528 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197928266128 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20209] ppid=20198 vsize=26646120 memory=2502692 CPUtime=10.63 cores=0-7
/proc/20200/task/20209/stat : 20209 (java) S 20198 20198 18449 0 -1 1077944384 62682 0 0 0 1035 28 0 0 20 0 28 0 87812528 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197927213328 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20210] ppid=20198 vsize=26646120 memory=2498076 CPUtime=3.68 cores=0-7
/proc/20200/task/20210/stat : 20210 (java) S 20198 20198 18449 0 -1 1077944384 143423 0 0 0 176 192 0 0 20 0 28 0 87812529 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197503572848 140198376147586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20211] ppid=20198 vsize=26646120 memory=2282964 CPUtime=0 cores=0-7
/proc/20200/task/20211/stat : 20211 (java) S 20198 20198 18449 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 87812529 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197502518880 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20212] ppid=20198 vsize=26646120 memory=2269148 CPUtime=0 cores=0-7
/proc/20200/task/20212/stat : 20212 (java) S 20198 20198 18449 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 87812530 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197501465984 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20213] ppid=20198 vsize=26646120 memory=1452 CPUtime=0 cores=0-7
/proc/20200/task/20213/stat : 20213 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87812532 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197500414288 140198376155035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20214] ppid=20198 vsize=26646120 memory=2258900 CPUtime=3.58 cores=0-7
/proc/20200/task/20214/stat : 20214 (java) S 20198 20198 18449 0 -1 1077944384 15963 0 0 0 355 3 0 0 20 0 28 0 87812532 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197499361648 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20215] ppid=20198 vsize=26646120 memory=2249152 CPUtime=3.28 cores=0-7
/proc/20200/task/20215/stat : 20215 (java) S 20198 20198 18449 0 -1 1077944384 14975 0 0 0 324 4 0 0 20 0 28 0 87812532 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197498308848 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20216] ppid=20198 vsize=26646120 memory=2248640 CPUtime=3.3 cores=0-7
/proc/20200/task/20216/stat : 20216 (java) S 20198 20198 18449 0 -1 1077944384 18056 0 0 0 327 3 0 0 20 0 28 0 87812532 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197497256048 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20217] ppid=20198 vsize=26646120 memory=1452 CPUtime=0.97 cores=0-7
/proc/20200/task/20217/stat : 20217 (java) S 20198 20198 18449 0 -1 1077944384 21743 0 0 0 93 4 0 0 20 0 28 0 87812532 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197496203248 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20218] ppid=20198 vsize=26646120 memory=1452 CPUtime=0 cores=0-7
/proc/20200/task/20218/stat : 20218 (java) S 20198 20198 18449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87812532 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197495151712 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20219] ppid=20198 vsize=26646120 memory=281237414931472 CPUtime=0.99 cores=0-7
/proc/20200/task/20219/stat : 20219 (java) S 20198 20198 18449 0 -1 1077944384 11493 0 0 0 49 50 0 0 20 0 28 0 87812533 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197494098992 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=22470] ppid=20198 vsize=26646120 memory=1452 CPUtime=343.92 cores=0-7
/proc/20200/task/22470/stat : 22470 (java) R 20198 20198 18449 0 -1 4202560 2446 0 0 0 34390 2 0 0 20 0 28 0 88027961 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197477945160 140198018539366 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=22471] ppid=20198 vsize=26646120 memory=1452 CPUtime=343.06 cores=0-7
/proc/20200/task/22471/stat : 22471 (java) R 20198 20198 18449 0 -1 4202560 2414 0 0 0 34304 2 0 0 20 0 28 0 88027961 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197485314752 140198019536299 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=22472] ppid=20198 vsize=26646120 memory=1292 CPUtime=342.88 cores=0-7
/proc/20200/task/22472/stat : 22472 (java) R 20198 20198 18449 0 -1 4202560 6471 0 0 0 34285 3 0 0 20 0 28 0 88027961 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197480050648 140198020478999 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=22473] ppid=20198 vsize=26646120 memory=1844 CPUtime=341.77 cores=0-7
/proc/20200/task/22473/stat : 22473 (java) R 20198 20198 18449 0 -1 4202560 6282 0 0 0 34166 11 0 0 20 0 28 0 88027961 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197482155896 140198018011628 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=22474] ppid=20198 vsize=26646120 memory=4096 CPUtime=342.17 cores=0-7
/proc/20200/task/22474/stat : 22474 (java) R 20198 20198 18449 0 -1 4202560 11198 0 0 0 34208 9 0 0 20 0 28 0 88027961 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197478998568 140198019535220 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=22475] ppid=20198 vsize=26646120 memory=25752 CPUtime=343.89 cores=0-7
/proc/20200/task/22475/stat : 22475 (java) R 20198 20198 18449 0 -1 4202560 3208 0 0 0 34386 3 0 0 20 0 28 0 88027961 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197484264224 140198019055941 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=22476] ppid=20198 vsize=26646120 memory=2248124 CPUtime=344.05 cores=0-7
/proc/20200/task/22476/stat : 22476 (java) R 20198 20198 18449 0 -1 4202560 2226 0 0 0 34402 3 0 0 20 0 28 0 88027961 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197483209928 140198019056262 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=22477] ppid=20198 vsize=26646120 memory=4096 CPUtime=343.23 cores=0-7
/proc/20200/task/22477/stat : 22477 (java) R 20198 20198 18449 0 -1 4202560 10440 0 0 0 34308 15 0 0 20 0 28 0 88027961 27285626880 561903 33554432000 4194304 4196468 140729627808784 140197476893088 140198020073205 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
Current children cumulated CPU time: 14655.6 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 2249064 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 9.22 8.53 7.63 9/213 22487
/proc/meminfo: memFree=25960112/32770624 swapFree=67108744/67108860
[pid=20198] ppid=20195 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/20198/stat : 20198 (xcsp3-exec) S 20195 20198 18449 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 87812526 115843072 363 33554432000 4194304 5098028 140723161329360 140723161327464 139648310542972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21688320 140723161334838 140723161335040 140723161335040 140723161337802 0
/proc/20198/statm: 28282 363 305 221 0 87 0
[pid=20200] ppid=20198 vsize=26646120 memory=2239416 CPUtime=14796 cores=0-7
/proc/20200/stat : 20200 (java) S 20198 20198 18449 0 -1 1077944320 1277958 0 0 0 1478327 1275 0 0 20 0 28 0 87812526 27285626880 559854 33554432000 4194304 4196468 140729627808784 140729627791328 140198376136439 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
/proc/20200/statm: 6661530 559854 3449 1 0 6622724 0
[pid=20200/tid=20201] ppid=20198 vsize=26646120 memory=4052 CPUtime=1.19 cores=0-7
/proc/20200/task/20201/stat : 20201 (java) S 20198 20198 18449 0 -1 1077944384 17095 0 0 0 110 9 0 0 20 0 28 0 87812527 27285626880 559854 33554432000 4194304 4196468 140729627808784 140198380377136 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20202] ppid=20198 vsize=26646120 memory=4872558044660077418 CPUtime=10.83 cores=0-7
/proc/20200/task/20202/stat : 20202 (java) S 20198 20198 18449 0 -1 1077944384 58702 0 0 0 1052 31 0 0 20 0 28 0 87812528 27285626880 559854 33554432000 4194304 4196468 140729627808784 140198337096848 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20203] ppid=20198 vsize=26646120 memory=796 CPUtime=10.86 cores=0-7
/proc/20200/task/20203/stat : 20203 (java) S 20198 20198 18449 0 -1 1077944384 57213 0 0 0 1055 31 0 0 20 0 28 0 87812528 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197933530128 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20204] ppid=20198 vsize=26646120 memory=4616 CPUtime=10.76 cores=0-7
/proc/20200/task/20204/stat : 20204 (java) S 20198 20198 18449 0 -1 1077944384 57084 0 0 0 1044 32 0 0 20 0 28 0 87812528 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197932477328 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20205] ppid=20198 vsize=26646120 memory=1424 CPUtime=10.82 cores=0-7
/proc/20200/task/20205/stat : 20205 (java) S 20198 20198 18449 0 -1 1077944384 58986 0 0 0 1056 26 0 0 20 0 28 0 87812528 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197931424528 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20206] ppid=20198 vsize=26646120 memory=11116 CPUtime=10.78 cores=0-7
/proc/20200/task/20206/stat : 20206 (java) S 20198 20198 18449 0 -1 1077944384 59235 0 0 0 1048 30 0 0 20 0 28 0 87812528 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197930371728 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20207] ppid=20198 vsize=26646120 memory=1200 CPUtime=10.8 cores=0-7
/proc/20200/task/20207/stat : 20207 (java) S 20198 20198 18449 0 -1 1077944384 62103 0 0 0 1052 28 0 0 20 0 28 0 87812528 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197929318928 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20208] ppid=20198 vsize=26646120 memory=1228 CPUtime=10.77 cores=0-7
/proc/20200/task/20208/stat : 20208 (java) S 20198 20198 18449 0 -1 1077944384 61470 0 0 0 1047 30 0 0 20 0 28 0 87812528 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197928266128 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20209] ppid=20198 vsize=26646120 memory=1800 CPUtime=10.79 cores=0-7
/proc/20200/task/20209/stat : 20209 (java) S 20198 20198 18449 0 -1 1077944384 62859 0 0 0 1051 28 0 0 20 0 28 0 87812528 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197927213328 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20210] ppid=20198 vsize=26646120 memory=956 CPUtime=3.77 cores=0-7
/proc/20200/task/20210/stat : 20210 (java) S 20198 20198 18449 0 -1 1077944384 146257 0 0 0 180 197 0 0 20 0 28 0 87812529 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197503572848 140198376147586 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20211] ppid=20198 vsize=26646120 memory=2340 CPUtime=0 cores=0-7
/proc/20200/task/20211/stat : 20211 (java) S 20198 20198 18449 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 87812529 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197502518880 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20212] ppid=20198 vsize=26646120 memory=928 CPUtime=0 cores=0-7
/proc/20200/task/20212/stat : 20212 (java) S 20198 20198 18449 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 87812530 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197501465984 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20213] ppid=20198 vsize=26646120 memory=1568 CPUtime=0 cores=0-7
/proc/20200/task/20213/stat : 20213 (java) S 20198 20198 18449 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87812532 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197500414288 140198376155035 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20214] ppid=20198 vsize=26646120 memory=2240 CPUtime=3.58 cores=0-7
/proc/20200/task/20214/stat : 20214 (java) S 20198 20198 18449 0 -1 1077944384 15969 0 0 0 355 3 0 0 20 0 28 0 87812532 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197499361648 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20215] ppid=20198 vsize=26646120 memory=4124 CPUtime=3.28 cores=0-7
/proc/20200/task/20215/stat : 20215 (java) S 20198 20198 18449 0 -1 1077944384 14981 0 0 0 324 4 0 0 20 0 28 0 87812532 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197498308848 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20216] ppid=20198 vsize=26646120 memory=4108 CPUtime=3.3 cores=0-7
/proc/20200/task/20216/stat : 20216 (java) S 20198 20198 18449 0 -1 1077944384 18062 0 0 0 327 3 0 0 20 0 28 0 87812532 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197497256048 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20217] ppid=20198 vsize=26646120 memory=1404 CPUtime=0.97 cores=0-7
/proc/20200/task/20217/stat : 20217 (java) S 20198 20198 18449 0 -1 1077944384 21749 0 0 0 93 4 0 0 20 0 28 0 87812532 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197496203248 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20218] ppid=20198 vsize=26646120 memory=5264 CPUtime=0 cores=0-7
/proc/20200/task/20218/stat : 20218 (java) S 20198 20198 18449 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87812532 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197495151712 140198376146645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=20219] ppid=20198 vsize=26646120 memory=1452 CPUtime=1 cores=0-7
/proc/20200/task/20219/stat : 20219 (java) S 20198 20198 18449 0 -1 1077944384 11562 0 0 0 49 51 0 0 20 0 28 0 87812533 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197494098992 140198376147586 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=22470] ppid=20198 vsize=26646120 memory=6791534058613427641 CPUtime=361.34 cores=0-7
/proc/20200/task/22470/stat : 22470 (java) R 20198 20198 18449 0 -1 4202560 2691 0 0 0 36132 2 0 0 20 0 28 0 88027961 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197477947568 140198019535411 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=22471] ppid=20198 vsize=26646120 memory=2245060 CPUtime=360.48 cores=0-7
/proc/20200/task/22471/stat : 22471 (java) R 20198 20198 18449 0 -1 4202560 2767 0 0 0 36046 2 0 0 20 0 28 0 88027961 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197485314888 140198019056379 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=22472] ppid=20198 vsize=26646120 memory=1452 CPUtime=360.28 cores=0-7
/proc/20200/task/22472/stat : 22472 (java) R 20198 20198 18449 0 -1 4202560 7557 0 0 0 36024 4 0 0 20 0 28 0 88027961 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197480050808 140198018353121 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=22473] ppid=20198 vsize=26646120 memory=4096 CPUtime=359.14 cores=0-7
/proc/20200/task/22473/stat : 22473 (java) R 20198 20198 18449 0 -1 4202560 6959 0 0 0 35902 12 0 0 20 0 28 0 88027961 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197482155896 140198018013641 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=22474] ppid=20198 vsize=26646120 memory=25752 CPUtime=359.57 cores=0-7
/proc/20200/task/22474/stat : 22474 (java) R 20198 20198 18449 0 -1 4202560 12661 0 0 0 35943 14 0 0 20 0 28 0 88027961 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197478998472 140198019201360 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=22475] ppid=20198 vsize=26646120 memory=10584 CPUtime=361.25 cores=0-7
/proc/20200/task/22475/stat : 22475 (java) R 20198 20198 18449 0 -1 4202560 3484 0 0 0 36121 4 0 0 20 0 28 0 88027961 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197484261160 140198019721686 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=22476] ppid=20198 vsize=26646120 memory=15872 CPUtime=361.47 cores=0-7
/proc/20200/task/22476/stat : 22476 (java) R 20198 20198 18449 0 -1 4202560 2534 0 0 0 36144 3 0 0 20 0 28 0 88027961 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197483209928 140198018306337 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
[pid=20200/tid=22477] ppid=20198 vsize=26646120 memory=18280 CPUtime=360.53 cores=0-7
/proc/20200/task/22477/stat : 22477 (java) R 20198 20198 18449 0 -1 4202560 11923 0 0 0 36037 16 0 0 20 0 28 0 88027961 27285626880 559854 33554432000 4194304 4196468 140729627808784 140197476893088 140198015404519 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 21577728 140729627817089 140729627817261 140729627817261 140729627819983 0
Current children cumulated CPU time: 14796 s
Current children cumulated vsize: 26759248 KiB
Current children cumulated memory: 2240868 KiB

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

[startup+2520.04 s]
# the end of solver process 20198 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001155 s, system=0.001155 s

[startup+2520.12 s]
# the end of solver process 20200 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=14784.1 s, system=12.7654 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 2520.12
CPU time (s): 14796.8
CPU user time (s): 14784.1
CPU system time (s): 12.7654
CPU usage (%): 587.147
Max. virtual memory (cumulated for all children) (KiB): 26759248
Max. memory (cumulated for all children) (KiB): 3519204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14784.1
system time used= 12.7654
maximum resident set size= 3522600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1278883
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 155195
involuntary context switches= 161287


# summary of solver processes directly reported to runsolver:
#   pid: 20198,20200
#   total CPU time (s): 14796.8
#   total CPU user time (s): 14784.1
#   total CPU system time (s): 12.7654

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.274 second user time and 29.2369 second system time

The end

Launcher Data 

Begin job on node134 at 2018-07-27 16:41:33
IDJOB=4297917
IDBENCH=141147
IDSOLVER=2760
FILE ID=node134/4297917-1532702493
RUNJOBID= node134-1532697411-18476
PBS_JOBID= 21022295
Free space on /tmp= 55560 MiB

SOLVER NAME= Choco-solver 4.0.7b par (e747e1e)
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay200_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 22000 -p NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4297917-1532702493/watcher-4297917-1532702493 -o /tmp/evaluation-result-4297917-1532702493/solver-4297917-1532702493 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1532697411-18476 --watchdog 2580  HOME/xcsp3-exec -seed 797186163 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297917-1532702493.xml

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

MD5SUM BENCH= ef8d95b3b89bfc5ccba73a2d09f74d17
RANDOM SEED=797186163

node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28195784 kB
MemAvailable:   31956728 kB
Buffers:          156756 kB
Cached:          3867460 kB
SwapCached:            0 kB
Active:          1769564 kB
Inactive:        2310108 kB
Active(anon):       4468 kB
Inactive(anon):    78552 kB
Active(file):    1765096 kB
Inactive(file):  2231556 kB
Unevictable:        7360 kB
Mlocked:            7360 kB
SwapTotal:      67108860 kB
SwapFree:       67108744 kB
Dirty:             21908 kB
Writeback:             0 kB
AnonPages:         62072 kB
Mapped:            42040 kB
Shmem:             25132 kB
Slab:             188100 kB
SReclaimable:     160256 kB
SUnreclaim:        27844 kB
KernelStack:        3552 kB
PageTables:         6116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55540 MiB
End job on node134 at 2018-07-27 17:23:33