Trace number 4291884

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-07-02SAT (TO)182575 2400.06 2378.14

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-06-opt_c18.xml
MD5SUMe2f0d6978164174a80e953d0a2a49c7e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark41530
Best CPU time to get the best result obtained on this benchmark2520.08
Satisfiable
(Un)Satisfiability was proved
Number of variables2370
Number of constraints2170
Number of domains11
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":1970},{"size":6,"count":34},{"size":22,"count":22},{"size":24,"count":20},{"size":36,"count":26},{"size":42,"count":66},{"size":44,"count":232}]
Minimum variable degree1
Maximum variable degree24
Distribution of variable degrees[{"degree":1,"count":1},{"degree":2,"count":1975},{"degree":3,"count":12},{"degree":4,"count":24},{"degree":5,"count":37},{"degree":6,"count":38},{"degree":7,"count":58},{"degree":8,"count":40},{"degree":9,"count":22},{"degree":10,"count":22},{"degree":11,"count":7},{"degree":12,"count":4},{"degree":13,"count":3},{"degree":14,"count":1},{"degree":17,"count":15},{"degree":18,"count":19},{"degree":19,"count":26},{"degree":20,"count":34},{"degree":21,"count":18},{"degree":22,"count":10},{"degree":23,"count":3},{"degree":24,"count":1}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":200},{"arity":3,"count":1970}]
Number of extensional constraints0
Number of intensional constraints2170
Distribution of constraint types[{"type":"intension","count":2170}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.68/0.56	c version: 2018-07-02
0.68/0.56	c seed: 794726543
0.68/0.56	c timeout: 2400
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.59	c Parsing instance...
8.31/3.56	c Parsing done, starting search...
731.69/720.27	o 199832
731.69/720.27	o 199732
731.69/720.28	o 199722
731.69/720.28	o 199721
731.69/720.28	o 198721
731.69/720.29	o 197721
731.69/720.29	o 197720
731.88/720.33	o 196842
731.88/720.33	o 196832
731.88/720.33	o 196831
731.88/720.33	o 196823
731.88/720.34	o 196822
731.88/720.34	o 196821
731.88/720.34	o 196820
731.88/720.35	o 196721
731.88/720.36	o 196720
731.88/720.37	o 196719
731.88/720.37	o 196718
731.88/720.38	o 195728
731.88/720.38	o 195718
732.13/720.43	o 194937
732.13/720.43	o 194927
732.13/720.43	o 194739
732.13/720.44	o 194729
732.13/720.44	o 194728
732.13/720.46	o 194719
732.13/720.49	o 194718
732.36/720.51	o 194618
732.36/720.52	o 194608
732.94/721.02	o 194529
732.94/721.02	o 194528
732.94/721.02	o 194518
733.17/721.25	o 194508
742.03/730.05	o 194501
742.03/730.05	o 194500
742.03/730.05	o 194499
742.03/730.06	o 194489
769.79/757.64	o 194484
769.79/757.65	o 194483
769.79/757.65	o 194482
769.79/757.65	o 194481
769.79/757.65	o 194480
769.79/757.65	o 194479
805.09/792.73	o 194410
805.09/792.73	o 194409
805.19/792.83	o 194401
805.19/792.83	o 194400
805.19/792.83	o 194399
805.40/793.03	o 194390
805.40/793.03	o 194389
805.40/793.03	o 194388
805.40/793.10	o 194309
805.50/793.14	o 194299
827.54/815.11	o 194290
827.65/815.11	o 194289
849.31/836.60	o 194279
852.25/839.50	o 194269
853.68/840.99	o 194179
853.68/841.00	o 194178
856.65/843.86	o 192420
856.76/843.98	o 192322
856.76/843.99	o 192321
856.76/843.99	o 192311
856.76/844.00	o 192310
856.87/844.01	o 192309
856.87/844.03	o 191319
857.07/844.25	o 190419
857.58/844.79	o 189329
857.68/844.80	o 189319
1221.84/1206.74	o 188633
1221.84/1206.74	o 188533
1221.84/1206.75	o 188523
1221.84/1206.75	o 188513
1221.84/1206.75	o 188503
1221.84/1206.76	o 188403
1221.84/1206.76	o 188303
1221.84/1206.76	o 188293
1221.84/1206.77	o 187983
1221.84/1206.78	o 187973
1221.84/1206.79	o 187293
1221.84/1206.80	o 186983
1221.95/1206.80	o 186973
1221.95/1206.82	o 186893
1221.95/1206.82	o 186883
1221.95/1206.84	o 185963
1221.95/1206.86	o 185872
1225.09/1209.94	o 184935
1225.09/1209.94	o 184925
1225.09/1209.94	o 184915
1225.09/1209.95	o 184905
1225.09/1209.95	o 184904
1225.09/1209.95	o 184894
1225.09/1209.96	o 184884
1225.09/1209.96	o 184883
1225.09/1209.96	o 184873
1225.09/1209.97	o 184872
1227.21/1212.03	o 183774
1227.21/1212.05	o 183773
1233.47/1218.24	o 182775
1247.56/1232.19	o 182675
1256.05/1240.57	o 182576
1256.05/1240.58	o 182575
2400.03/2378.11	s SATISFIABLE
2400.03/2378.12	v <instantiation>
2400.03/2378.12	v 	<list>
2400.03/2378.12	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] za1[0] za1[1] za1[2] za1[3] za1[4] za1[5] za1[6] za1[7] za1[8] za1[9] za1[10] za1[11] za1[12] za1[13] za1[14] za1[15] za1[16] za1[17] za1[18] za1[19] za1[20] za1[21] za1[22] za1[23] za1[24] za1[25] za1[26] za1[27] za1[28] za1[29] za1[30] za1[31] za1[32] za1[33] za1[34] za1[35] za1[36] za1[37] za1[38] za1[39] za1[40] za1[41] za1[42] za1[43] za1[44] za1[45] za1[46] za1[47] za1[48] za1[49] za1[50] za1[51] za1[52] za1[53] za1[54] za1[55] za1[56] za1[57] za1[58] za1[59] za1[60] za1[61] za1[62] za1[63] za1[64] za1[65] za1[66] za1[67] za1[68] za1[69] za1[70] za1[71] za1[72] za1[73] za1[74] za1[75] za1[76] za1[77] za1[78] za1[79] za1[80] za1[81] za1[82] za1[83] za1[84] za1[85] za1[86] za1[87] za1[88] za1[89] za1[90] za1[91] za1[92] za1[93] za1[94] za1[95] za1[96] za1[97] za1[98] za1[99] za1[100] za1[101] za1[102] za1[103] za1[104] za1[105] za1[106] za1[107] za1[108] za1[109] za1[110] za1[111] za1[112] za1[113] za1[114] za1[115] za1[116] za1[117] za1[118] za1[119] za1[120] za1[121] za1[122] za1[123] za1[124] za1[125] za1[126] za1[127] za1[128] za1[129] za1[130] za1[131] za1[132] za1[133] za1[134] za1[135] za1[136] za1[137] za1[138] za1[139] za1[140] za1[141] za1[142] za1[143] za1[144] za1[145] za1[146] za1[147] za1[148] za1[149] za1[150] za1[151] za1[152] za1[153] za1[154] za1[155] za1[156] za1[157] za1[158] za1[159] za1[160] za1[161] za1[162] za1[163] za1[164] za1[165] za1[166] za1[167] za1[168] za1[169] za1[170] za1[171] za1[172] za1[173] za1[174] za1[175] za1[176] za1[177] za1[178] za1[179] za1[180] za1[181] za1[182] za1[183] za1[184] za1[185] za1[186] za1[187] za1[188] za1[189] za1[190] za1[191] za1[192] za1[193] za1[194] za1[195] za1[196] za1[197] za1[198] za1[199] za1[200] za1[201] za1[202] za1[203] za1[204] za1[205] za1[206] za1[207] za1[208] za1[209] za1[210] za1[211] za1[212] za1[213] za1[214] za1[215] za1[216] za1[217] za1[218] za1[219] za1[220] za1[221] za1[222] za1[223] za1[224] za1[225] za1[226] za1[227] za1[228] za1[229] za1[230] za1[231] za1[232] za1[233] za1[234] za1[235] za1[236] za1[237] za1[238] za1[239] za1[240] za1[241] za1[242] za1[243] za1[244] za1[245] za1[246] za1[247] za1[248] za1[249] za1[250] za1[251] za1[252] za1[253] za1[254] za1[255] za1[256] za1[257] za1[258] za1[259] za1[260] za1[261] za1[262] za1[263] za1[264] za1[265] za1[266] za1[267] za1[268] za1[269] za1[270] za1[271] za1[272] za1[273] za1[274] za1[275] za1[276] za1[277] za1[278] za1[279] za1[280] za1[281] za1[282] za1[283] za1[284] za1[285] za1[286] za1[287] za1[288] za1[289] za1[290] za1[291] za1[292] za1[293] za1[294] za1[295] za1[296] za1[297] za1[298] za1[299] za1[300] za1[301] za1[302] za1[303] za1[304] za1[305] za1[306] za1[307] za1[308] za1[309] za1[310] za1[311] za1[312] za1[313] za1[314] za1[315] za1[316] za1[317] za1[318] za1[319] za1[320] za1[321] za1[322] za1[323] za1[324] za1[325] za1[326] za1[327] za1[328] za1[329] za1[330] za1[331] za1[332] za1[333] za1[334] za1[335] za1[336] za1[337] za1[338] za1[339] za1[340] za1[341] za1[342] za1[343] za1[344] za1[345] za1[346] za1[347] za1[348] za1[349] za1[350] za1[351] za1[352] za1[353] za1[354] za1[355] za1[356] za1[357] za1[358] za1[359] za1[360] za1[361] za1[362] za1[363] za1[364] za1[365] za1[366] za1[367] za1[368] za1[369] za1[370] za1[371] za1[372] za1[373] za1[374] za1[375] za1[376] za1[377] za1[378] za1[379] za1[380] za1[381] za1[382] za1[383] za1[384] za1[385] za1[386] za1[387] za1[388] za1[389] za1[390] za1[391] za1[392] za1[393] za1[394] za1[395] za1[396] za1[397] za1[398] za1[399] za1[400] za1[401] za1[402] za1[403] za1[404] za1[405] za1[406] za1[407] za1[408] za1[409] za1[410] za1[411] za1[412] za1[413] za1[414] za2[0] za2[1] za2[2] za2[3] za2[4] za2[5] za2[6] za2[7] za2[8] za2[9] za2[10] za2[11] za2[12] za2[13] za2[14] za2[15] za2[16] za2[17] za2[18] za2[19] za2[20] za2[21] za2[22] za2[23] za2[24] za2[25] za2[26] za2[27] za2[28] za2[29] za2[30] za2[31] za2[32] za2[33] za2[34] za2[35] za2[36] za2[37] za2[38] za2[39] za2[40] za2[41] za2[42] za2[43] za2[44] za2[45] za2[46] za2[47] za2[48] za2[49] za2[50] za2[51] za2[52] za2[53] za2[54] za2[55] za2[56] za2[57] za2[58] za2[59] za2[60] za2[61] za2[62] za2[63] za2[64] za2[65] za2[66] za2[67] za2[68] za2[69] za2[70] za2[71] za2[72] za2[73] za2[74] za2[75] za2[76] za2[77] za2[78] za2[79] za2[80] za2[81] za2[82] za2[83] za2[84] za2[85] za2[86] za2[87] za2[88] za2[89] za2[90] za2[91] za2[92] za2[93] za2[94] za2[95] za2[96] za2[97] za2[98] za2[99] za2[100] za2[101] za2[102] za2[103] za2[104] za2[105] za2[106] za2[107] za2[108] za2[109] za2[110] za2[111] za2[112] za2[113] za2[114] za2[115] za2[116] za2[117] za2[118] za2[119] za2[120] za2[121] za2[122] za2[123] za2[124] za2[125] za2[126] za2[127] za2[128] za2[129] za2[130] za2[131] za2[132] za2[133] za2[134] za2[135] za2[136] za2[137] za2[138] za2[139] za2[140] za2[141] za2[142] za2[143] za2[144] za2[145] za2[146] za2[147] za2[148] za2[149] za2[150] za2[151] za2[152] za2[153] za2[154] za2[155] za2[156] za2[157] za2[158] za2[159] za2[160] za2[161] za2[162] za2[163] za2[164] za2[165] za2[166] za2[167] za2[168] za2[169] za2[170] za2[171] za2[172] za2[173] za2[174] za2[175] za2[176] za2[177] za2[178] za2[179] za2[180] za2[181] za2[182] za2[183] za2[184] za2[185] za2[186] za2[187] za2[188] za2[189] za2[190] za2[191] za2[192] za2[193] za2[194] za2[195] za2[196] za2[197] za2[198] za2[199] za2[200] za2[201] za2[202] za2[203] za2[204] za2[205] za2[206] za2[207] za2[208] za2[209] za2[210] za2[211] za2[212] za2[213] za2[214] za2[215] za2[216] za2[217] za2[218] za2[219] za2[220] za2[221] za2[222] za2[223] za2[224] za2[225] za2[226] za2[227] za2[228] za2[229] za2[230] za2[231] za2[232] za2[233] za2[234] za2[235] za2[236] za2[237] za2[238] za2[239] za2[240] za2[241] za2[242] za2[243] za2[244] za2[245] za2[246] za2[247] za2[248] za2[249] za2[250] za2[251] za2[252] za2[253] za2[254] za2[255] za2[256] za2[257] za2[258] za2[259] za2[260] za2[261] za2[262] za2[263] za2[264] za2[265] za2[266] za2[267] za2[268] za2[269] za2[270] za2[271] za2[272] za2[273] za2[274] za2[275] za2[276] za2[277] za2[278] za2[279] za2[280] za2[281] za2[282] za2[283] za2[284] za2[285] za2[286] za2[287] za2[288] za2[289] za2[290] za2[291] za2[292] za2[293] za2[294] za2[295] za2[296] za2[297] za2[298] za2[299] za2[300] za2[301] za2[302] za2[303] za2[304] za2[305] za2[306] za2[307] za2[308] za2[309] za2[310] za2[311] za2[312] za2[313] za2[314] za2[315] za2[316] za2[317] za2[318] za2[319] za2[320] za2[321] za2[322] za2[323] za2[324] za2[325] za2[326] za2[327] za2[328] za2[329] za2[330] za2[331] za2[332] za2[333] za2[334] za2[335] za2[336] za2[337] za2[338] za2[339] za2[340] za2[341] za2[342] za2[343] za2[344] za2[345] za2[346] za2[347] za2[348] za2[349] za2[350] za2[351] za2[352] za2[353] za2[354] za2[355] za2[356] za2[357] za2[358] za2[359] za2[360] za2[361] za2[362] za2[363] za2[364] za2[365] za2[366] za2[367] za2[368] za2[369] za2[370] za2[371] za2[372] za2[373] za2[374] za2[375] za2[376] za2[377] za2[378] za2[379] za2[380] za2[381] za2[382] za2[383] za2[384] za2[385] za2[386] za2[387] za2[388] za2[389] za2[390] za2[391] za2[392] za2[393] za2[394] za2[395] za2[396] za2[397] za2[398] za2[399] za2[400] za2[401] za2[402] za2[403] za2[404] za2[405] za2[406] za2[407] za2[408] za2[409] za2[410] za2[411] za2[412] za2[413] za2[414] za2[415] za2[416] za2[417] za2[418] za2[419] za2[420] za2[421] za2[422] za2[423] za2[424] za2[425] za2[426] za2[427] za2[428] za2[429] za2[430] za2[431] za2[432] za2[433] za2[434] za2[435] za2[436] za2[437] za2[438] za2[439] za2[440] za2[441] za2[442] za2[443] za2[444] za2[445] za2[446] za2[447] za2[448] za2[449] za2[450] za2[451] za2[452] za2[453] za2[454] za2[455] za2[456] za2[457] za2[458] za2[459] za2[460] za2[461] za2[462] za2[463] za2[464] za2[465] za2[466] za2[467] za2[468] za2[469] za2[470] za2[471] za2[472] za2[473] za2[474] za2[475] za2[476] za2[477] za2[478] za2[479] za2[480] za2[481] za2[482] za2[483] za2[484] za2[485] za2[486] za2[487] za2[488] za2[489] za2[490] za2[491] za2[492] za2[493] za2[494] za2[495] za2[496] za2[497] za2[498] za2[499] za2[500] za2[501] za2[502] za2[503] za2[504] za2[505] za2[506] za2[507] za2[508] za2[509] za2[510] za2[511] za2[512] za2[513] za2[514] za2[515] za2[516] za2[517] za2[518] za2[519] za2[520] za2[521] za2[522] za2[523] za2[524] za2[525] za2[526] za2[527] za2[528] za2[529] za2[530] za2[531] za2[532] za2[533] za2[534] za2[535] za2[536] za2[537] za2[538] za2[539] za2[540] za2[541] za2[542] za2[543] za2[544] za2[545] za2[546] za2[547] za2[548] za2[549] za2[550] za2[551] za2[552] za2[553] za2[554] za2[555] za2[556] za2[557] za2[558] za3[0] za3[1] za3[2] za3[3] za3[4] za3[5] za3[6] za3[7] za3[8] za3[9] za3[10] za3[11] za3[12] za3[13] za3[14] za3[15] za3[16] za3[17] za3[18] za3[19] za3[20] za3[21] za3[22] za3[23] za3[24] za3[25] za3[26] za3[27] za3[28] za3[29] za3[30] za3[31] za3[32] za3[33] za3[34] za3[35] za3[36] za3[37] za3[38] za3[39] za3[40] za3[41] za3[42] za3[43] za3[44] za3[45] za3[46] za3[47] za3[48] za3[49] za3[50] za3[51] za3[52] za3[53] za3[54] za3[55] za3[56] za3[57] za3[58] za3[59] za3[60] za3[61] za3[62] za3[63] za3[64] za3[65] za3[66] za3[67] za3[68] za3[69] za3[70] za3[71] za3[72] za3[73] za3[74] za3[75] za3[76] za3[77] za3[78] za3[79] za3[80] za3[81] za3[82] za3[83] za3[84] za3[85] za3[86] za3[87] za3[88] za3[89] za3[90] za3[91] za3[92] za3[93] za3[94] za3[95] za3[96] za3[97] za3[98] za3[99] za3[100] za3[101] za3[102] za3[103] za3[104] za3[105] za3[106] za3[107] za3[108] za3[109] za3[110] za3[111] za3[112] za3[113] za3[114] za3[115] za3[116] za3[117] za3[118] za3[119] za3[120] za3[121] za3[122] za3[123] za3[124] za3[125] za3[126] za3[127] za3[128] za3[129] za3[130] za3[131] za3[132] za3[133] za3[134] za3[135] za3[136] za3[137] za3[138] za3[139] za3[140] za3[141] za3[142] za3[143] za3[144] za3[145] za3[146] za3[147] za3[148] za3[149] za3[150] za3[151] za3[152] za3[153] za3[154] za3[155] za3[156] za3[157] za3[158] za3[159] za3[160] za3[161] za3[162] za3[163] za3[164] za3[165] za3[166] za3[167] za3[168] za3[169] za3[170] za3[171] za3[172] za3[173] za3[174] za3[175] za3[176] za3[177] za3[178] za3[179] za3[180] za3[181] za3[182] za3[183] za3[184] za3[185] za3[186] za3[187] za3[188] za3[189] za3[190] za3[191] za3[192] za3[193] za3[194] za3[195] za3[196] za3[197] za3[198] za3[199] za3[200] za3[201] za3[202] za3[203] za3[204] za3[205] za3[206] za3[207] za3[208] za3[209] za3[210] za3[211] za3[212] za3[213] za3[214] za3[215] za3[216] za3[217] za3[218] za3[219] za3[220] za3[221] za3[222] za3[223] za3[224] za3[225] za3[226] za3[227] za3[228] za3[229] za3[230] za3[231] za3[232] za3[233] za3[234] za3[235] za3[236] za3[237] za3[238] za3[239] za3[240] za3[241] za3[242] za3[243] za3[244] za3[245] za3[246] za3[247] za3[248] za3[249] za3[250] za3[251] za3[252] za3[253] za3[254] za3[255] za3[256] za3[257] za3[258] za3[259] za3[260] za3[261] za3[262] za3[263] za3[264] za3[265] za3[266] za3[267] za3[268] za3[269] za3[270] za3[271] za3[272] za3[273] za3[274] za3[275] za3[276] za3[277] za3[278] za3[279] za3[280] za3[281] za3[282] za3[283] za3[284] za3[285] za3[286] za3[287] za3[288] za3[289] za3[290] za3[291] za3[292] za3[293] za3[294] za3[295] za3[296] za3[297] za3[298] za3[299] za3[300] za3[301] za3[302] za3[303] za3[304] za3[305] za3[306] za3[307] za3[308] za3[309] za3[310] za3[311] za3[312] za3[313] za3[314] za3[315] za3[316] za3[317] za3[318] za3[319] za3[320] za3[321] za3[322] za3[323] za3[324] za3[325] za3[326] za3[327] za3[328] za3[329] za3[330] za3[331] za3[332] za3[333] za3[334] za3[335] za3[336] za3[337] za3[338] za3[339] za3[340] za3[341] za3[342] za3[343] za3[344] za3[345] za3[346] za3[347] za3[348] za3[349] za3[350] za3[351] za3[352] za3[353] za3[354] za3[355] za3[356] za3[357] za3[358] za3[359] za3[360] za3[361] za3[362] za3[363] za3[364] za3[365] za3[366] za3[367] za3[368] za3[369] za3[370] za3[371] za3[372] za3[373] za3[374] za3[375] za3[376] za3[377] za3[378] za3[379] za3[380] za3[381] za3[382] za3[383] za3[384] za3[385] za3[386] za3[387] za3[388] za3[389] za3[390] za3[391] za3[392] za3[393] za3[394] za3[395] za3[396] za3[397] za3[398] za3[399] za3[400] za3[401] za3[402] za3[403] za3[404] za3[405] za3[406] za3[407] za3[408] za3[409] za3[410] za3[411] za3[412] za3[413] za3[414] za3[415] za3[416] za3[417] za3[418] za3[419] za3[420] za3[421] za3[422] za3[423] za3[424] za3[425] za3[426] za3[427] za3[428] za3[429] za3[430] za3[431] za3[432] za3[433] za3[434] za3[435] za3[436] za3[437] za3[438] za3[439] za3[440] za3[441] za3[442] za3[443] za3[444] za3[445] za3[446] za3[447] za3[448] za3[449] za3[450] za3[451] za3[452] za3[453] za3[454] za3[455] za3[456] za3[457] za3[458] za3[459] za3[460] za3[461] za3[462] za3[463] za3[464] za3[465] za3[466] za3[467] za3[468] za3[469] za3[470] za3[471] za3[472] za3[473] za3[474] za3[475] za3[476] za3[477] za3[478] za3[479] za3[480] za3[481] za3[482] za4[0] za4[1] za4[2] za4[3] za4[4] za4[5] za4[6] za4[7] za4[8] za4[9] za4[10] za4[11] za4[12] za4[13] za4[14] za4[15] za4[16] za4[17] za4[18] za4[19] za4[20] za4[21] za4[22] za4[23] za4[24] za4[25] za4[26] za4[27] za4[28] za4[29] za4[30] za4[31] za4[32] za4[33] za4[34] za4[35] za4[36] za4[37] za4[38] za4[39] za4[40] za4[41] za4[42] za4[43] za4[44] za4[45] za4[46] za4[47] za4[48] za4[49] za4[50] za4[51] za4[52] za4[53] za4[54] za4[55] za4[56] za4[57] za4[58] za4[59] za4[60] za4[61] za4[62] za4[63] za4[64] za4[65] za4[66] za4[67] za4[68] za4[69] za4[70] za4[71] za4[72] za4[73] za4[74] za4[75] za4[76] za4[77] za4[78] za4[79] za4[80] za4[81] za4[82] za4[83] za4[84] za4[85] za4[86] za4[87] za4[88] za4[89] za4[90] za4[91] za4[92] za4[93] za4[94] za4[95] za4[96] za4[97] za4[98] za4[99] za4[100] za4[101] za4[102] za4[103] za4[104] za4[105] za4[106] za4[107] za4[108] za4[109] za4[110] za4[111] za4[112] za4[113] za4[114] za4[115] za4[116] za4[117] za4[118] za4[119] za4[120] za4[121] za4[122] za4[123] za4[124] za4[125] za4[126] za4[127] za4[128] za4[129] za4[130] za4[131] za4[132] za4[133] za4[134] za4[135] za4[136] za4[137] za4[138] za4[139] za4[140] za4[141] za4[142] za4[143] za4[144] za4[145] za4[146] za4[147] za4[148] za4[149] za4[150] za4[151] za4[152] za4[153] za4[154] za4[155] za4[156] za4[157] za4[158] za4[159] za4[160] za4[161] za4[162] za4[163] za4[164] za4[165] za4[166] za4[167] za4[168] za4[169] za4[170] za4[171] za4[172] za4[173] za4[174] za4[175] za4[176] za4[177] za4[178] za4[179] za4[180] za4[181] za4[182] za4[183] za4[184] za4[185] za4[186] za4[187] za4[188] za4[189] za4[190] za4[191] za4[192] za4[193] za4[194] za4[195] za4[196] za4[197] za4[198] za4[199] za4[200] za4[201] za4[202] za4[203] za4[204] za4[205] za4[206] za4[207] za4[208] za4[209] za4[210] za4[211] za4[212] za4[213] za4[214] za4[215] za4[216] za4[217] za4[218] za4[219] za4[220] za4[221] za4[222] za4[223] za4[224] za4[225] za4[226] za4[227] za4[228] za4[229] za4[230] za4[231] za4[232] za4[233] za4[234] za4[235] za4[236] za4[237] za4[238] za4[239] za4[240] za4[241] za4[242] za4[243] za4[244] za4[245] za4[246] za4[247] za4[248] za4[249] za4[250] za4[251] za4[252] za4[253] za4[254] za4[255] za4[256] za4[257] za4[258] za4[259] za4[260] za4[261] za4[262] za4[263] za4[264] za4[265] za4[266] za4[267] za4[268] za4[269] za4[270] za4[271] za4[272] za4[273] za4[274] za4[275] za4[276] za4[277] za4[278] za4[279] za4[280] za4[281] za4[282] za4[283] za4[284] za4[285] za4[286] za4[287] za4[288] za4[289] za4[290] za4[291] za4[292] za4[293] za4[294] za4[295] za4[296] za4[297] za4[298] za4[299] za4[300] za4[301] za4[302] za4[303] za4[304] za4[305] za4[306] za4[307] za4[308] za4[309] za4[310] za4[311] za4[312] za4[313] za4[314] za4[315] za4[316] za4[317] za4[318] za4[319] za4[320] za4[321] za4[322] za4[323] za4[324] za4[325] za4[326] za4[327] za4[328] za4[329] za4[330] za4[331] za4[332] za4[333] za4[334] za4[335] za4[336] za4[337] za4[338] za4[339] za4[340] za4[341] za4[342] za4[343] za4[344] za4[345] za4[346] za4[347] za4[348] za4[349] za4[350] za4[351] za4[352] za4[353] za4[354] za4[355] za4[356] za4[357] za4[358] za4[359] za4[360] za4[361] za4[362] za4[363] za4[364] za4[365] za4[366] za4[367] za4[368] za4[369] za4[370] za4[371] za4[372] za4[373] za4[374] za4[375] za4[376] za4[377] za4[378] za4[379] za4[380] za4[381] za4[382] za4[383] za4[384] za4[385] za4[386] za4[387] za4[388] za4[389] za4[390] za4[391] za4[392] za4[393] za4[394] za4[395] za4[396] za4[397] za4[398] za4[399] za4[400] za4[401] za4[402] za4[403] za4[404] za4[405] za4[406] za4[407] za4[408] za4[409] za4[410] za4[411] za4[412] za4[413] za4[414] za4[415] za4[416] za4[417] za4[418] za4[419] za4[420] za4[421] za4[422] za4[423] za4[424] za4[425] za4[426] za4[427] za4[428] za4[429] za4[430] za4[431] za4[432] za4[433] za4[434] za4[435] za4[436] za4[437] za4[438] za4[439] za4[440] za4[441] za4[442] za4[443] za4[444] za4[445] za4[446] za4[447] za4[448] za4[449] za4[450] za4[451] za4[452] za4[453] za4[454] za4[455] za4[456] za4[457] za4[458] za4[459] za4[460] za4[461] za4[462] za4[463] za4[464] za4[465] za4[466] za4[467] za4[468] za4[469] za4[470] za4[471] za4[472] za4[473] za4[474] za4[475] za4[476] za4[477] za4[478] za4[479] za4[480] za4[481] za4[482] za4[483] za4[484] za4[485] za4[486] za4[487] za4[488] za4[489] za4[490] za4[491] za4[492] za4[493] za4[494] za4[495] za4[496] za4[497] za4[498] za4[499] za4[500] za4[501] za4[502] za4[503] za4[504] za4[505] za4[506] za4[507] za4[508] za4[509] za4[510] za4[511] za4[512]
2400.03/2378.12	v 	</list>
2400.03/2378.12	v 	<values>
2400.03/2378.12	v 		414 652 254 16 750 512 324 86 58 296 394 156 254 16 30 268 380 142 526 764 778 540 44 282 338 100 526 764 456 694 114 352 540 778 156 394 442 680 722 484 394 156 366 128 408 170 526 764 792 554 478 240 526 764 750 512 254 16 338 100 240 478 666 428 736 498 722 484 484 722 722 484 540 778 142 380 30 268 30 268 778 540 142 380 310 72 652 414 58 296 44 282 30 268 764 526 722 484 254 16 16 254 58 296 296 58 324 86 736 498 240 478 338 100 254 16 792 554 394 156 792 554 30 268 30 268 442 680 30 268 352 114 296 58 736 498 296 58 156 394 680 442 128 366 58 296 170 408 442 680 666 428 282 44 792 554 114 352 114 352 44 282 526 764 352 114 44 282 478 240 380 142 352 114 86 324 268 30 722 484 170 408 142 380 128 366 442 680 100 338 680 442 240 478 30 268 792 554 72 310 268 30 792 554 254 16 100 338 394 156 30 268 128 366 324 86 666 428 478 240 792 554 72 310 58 296 44 282 282 44 708 470 750 512 554 792 16 254 268 30 254 16 16 254 142 380 170 408 708 470 652 414 240 478 44 282 380 142 394 156 708 470 792 554 128 366 554 792 380 142 58 296 408 170 282 44 30 268 128 366 268 30 240 478 324 86 394 156 282 44 428 666 694 456 30 268 470 708 380 142 442 680 470 708 366 128 764 526 666 428 310 72 512 750 142 380 442 680 394 156 666 428 666 428 30 268 694 456 694 456 414 652 310 72 268 30 540 778 554 792 792 554 778 540 30 268 540 778 442 680 156 394 100 338 380 142 792 554 408 170 498 736 324 86 100 338 30 268 30 268 142 380 268 30 708 470 666 428 652 414 352 114 540 778 240 478 100 338 58 296 736 498 380 142 156 394 100 338 156 394 1000 0 0 1000 1000 0 0 0 0 1000 1000 1000 0 0 1000 0 0 1000 0 1000 1000 0 1000 0 1000 1000 1000 0 0 0 0 1000 0 1000 1000 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 1000 0 1000 0 1000 1000 0 0 1000 1000 1000 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 1000 1000 1000 0 0 1000 1000 1000 0 1000 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 1000 0 1000 1000 0 1000 0 0 0 0 1000 0 1000 1000 0 0 1000 0 0 0 0 1000 0 0 0 0 1000 0 0 1000 1000 1000 0 0 0 1000 0 1000 0 1000 0 1000 0 1000 0 0 1000 0 1000 1000 0 0 0 1000 0 0 0 0 0 1000 1000 0 0 0 0 0 0 1000 1000 1000 1000 1000 0 1000 0 0 0 0 1000 1000 0 0 1000 0 1000 0 0 0 1000 1000 0 1000 0 1000 1000 0 1000 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 1000 0 1000 0 1000 0 1000 1000 0 1000 1000 1000 1000 1000 0 1000 1000 1000 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 1000 1000 0 0 1000 1000 0 0 1000 0 0 1000 1000 0 0 0 1000 1000 0 1000 0 0 1000 1000 1000 0 1000 1000 0 1000 0 0 0 0 0 1000 1000 0 0 1000 1000 0 1000 0 0 0 1000 0 0 0 0 1000 1000 1000 0 1000 0 1000 0 1000 0 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 1000 1000 1000 0 0 1000 0 1000 1000 1000 0 0 0 1000 0 0 0 0 1000 0 1000 0 0 0 0 0 0 0 0 0 1000 1000 1000 0 0 0 1000 0 0 1000 0 0 0 0 0 0 1000 0 0 1000 1000 0 0 0 0 0 0 0 0 1000 0 1000 0 0 1000 0 1000 1000 0 0 1000 0 0 1000 0 0 0 0 100 0 0 0 0 0 100 0 100 100 100 0 0 0 0 100 0 0 0 100 0 0 100 0 0 100 100 0 0 0 0 0 0 100 100 100 0 0 100 100 0 100 0 100 0 100 0 0 100 0 100 0 0 0 0 100 0 0 0 100 0 100 100 0 100 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 100 100 0 0 0 100 0 0 0 0 0 100 0 100 100 0 0 100 0 0 0 0 100 0 0 0 0 100 100 100 0 0 0 0 0 100 0 0 100 0 0 100 100 0 0 100 0 0 0 100 100 100 0 0 0 100 100 0 100 0 0 100 100 100 0 0 100 100 0 0 100 100 0 0 0 100 0 0 0 0 100 100 100 100 0 0 0 0 100 100 0 0 100 100 0 100 100 0 0 0 0 0 100 100 100 0 0 100 100 0 0 100 0 0 0 0 0 0 0 100 0 0 0 100 0 0 100 0 0 0 100 0 100 100 100 0 100 0 100 0 0 0 100 100 0 100 0 0 0 100 0 0 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 100 100 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 100 0 0 100 100 0 0 0 100 100 0 100 0 100 100 0 100 0 100 0 100 100 0 100 0 100 100 0 100 0 100 100 100 0 0 0 0 0 100 100 0 0 0 0 100 0 0 100 0 100 100 0 100 0 100 100 100 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 100 100 0 100 0 0 100 100 0 0 0 0 100 100 0 0 0 100 0 0 0 0 100 0 0 100 0 100 0 0 0 100 0 100 0 100 100 0 0 100 0 0 0 0 0 0 0 100 100 0 0 0 100 100 100 0 0 0 0 100 0 100 0 0 0 100 0 100 0 0 0 0 0 0 100 0 100 0 0 0 100 0 100 0 100 100 0 0 0 0 0 0 100 0 0 100 0 0 0 0 0 100 100 0 100 100 0 0 0 0 0 0 100 0 0 0 0 100 100 0 100 100 0 100 100 0 100 0 0 0 100 100 0 0 0 0 0 100 0 0 0 0 100 100 0 0 0 0 100 100 100 0 0 100 0 100 0 0 100 0 0 100 0 0 0 0 0 0 0 100 0 100 0 100 0 0 100 100 0 100 0 100 0 0 0 100 0 100 100 0 0 0 100 100 0 10 10 10 0 0 0 10 0 0 10 0 10 0 10 0 0 10 10 10 10 0 0 10 0 10 0 10 0 10 10 0 0 10 10 0 0 10 10 10 10 0 0 0 10 0 0 0 10 0 10 0 0 10 0 10 0 10 10 0 0 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 10 0 10 10 0 10 0 0 10 0 10 10 10 10 10 10 10 10 0 0 0 10 0 0 10 10 10 0 0 0 0 0 0 10 0 0 10 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 10 10 0 10 10 0 0 10 0 10 10 0 10 0 10 0 0 0 0 0 10 0 0 0 10 0 0 10 10 0 10 10 0 0 0 0 10 0 0 10 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 10 0 0 0 10 0 10 0 10 10 10 0 0 0 10 0 10 0 10 0 10 0 0 0 0 10 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 0 0 10 10 10 0 0 10 0 0 10 10 0 0 10 0 10 0 10 0 0 0 10 10 10 10 0 10 0 0 0 0 10 10 10 10 10 10 0 0 0 10 0 0 0 0 10 10 0 0 0 10 0 0 0 10 0 10 10 10 0 0 10 0 10 0 0 10 10 10 0 10 10 10 10 0 0 0 10 0 10 0 0 10 0 0 10 0 0 0 10 10 0 0 0 10 0 0 0 0 0 10 0 10 0 0 10 0 0 0 10 10 10 10 10 10 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 0 10 10 0 0 10 0 0 0 0 0 10 0 0 0 0 10 0 10 0 10 0 0 0 0 0 10 0 0 10 0 0 10 10 0 0 0 0 10 0 0 10 0 10 0 0 10 0 10 0 10 10 0 0 0 0 0 0 10 0 10 0 10 0 10 10 0 0 0 0 0 0 0 0 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 0 10 10 10 10 0 0 0 10 0 10 0 0 1 1 0 0 1 0 0 1 1 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 0 0 0 1 1 0 1 1 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 0 0 1 1 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 
2400.03/2378.12	v 	</values>
2400.03/2378.12	v </instantiation>

Verifier Data 

OK	182575

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291884-1532275439/watcher-4291884-1532275439 -o /tmp/evaluation-result-4291884-1532275439/solver-4291884-1532275439 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532270698-27816 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 794726543 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291884-1532275439.xml 

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

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

solver pid=28282, runsolver pid=28279

[startup+0.102216 s]*
/proc/loadavg: 1.38 1.36 1.33 3/216 28297
/proc/meminfo: memFree=15076308/32770624 swapFree=67108860/67108860
[pid=28282] ppid=28279 vsize=14082740 memory=31272 CPUtime=0.12 cores=0,2,4,6
/proc/28282/stat : 28282 (java) S 28279 28282 31076 0 -1 1077944320 6699 0 0 0 11 1 0 0 20 0 15 0 45107079 14420725760 7818 33554432000 4194304 4196468 140721156020480 140721156003024 139844313042679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
/proc/28282/statm: 3520685 7818 3156 1 0 3482761 0
[pid=28282/tid=28284] ppid=28279 vsize=14082740 memory=8326441112148417179 CPUtime=0.09 cores=0,2,4,6
/proc/28282/task/28284/stat : 28284 (java) R 28279 28282 31076 0 -1 4202560 4741 0 0 0 8 1 0 0 20 0 15 0 45107079 14420725760 7818 33554432000 4194304 4196468 140721156020480 139844317282432 139844297123166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28285] ppid=28279 vsize=14082740 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28285/stat : 28285 (java) S 28279 28282 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45107080 14420725760 7818 33554432000 4194304 4196468 140721156020480 139843909118864 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28286] ppid=28279 vsize=14082740 memory=140051859576448 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28286/stat : 28286 (java) S 28279 28282 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45107080 14420725760 7818 33554432000 4194304 4196468 140721156020480 139843908066064 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28287] ppid=28279 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28287/stat : 28287 (java) S 28279 28282 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45107080 14420725760 7818 33554432000 4194304 4196468 140721156020480 139843907013776 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28288] ppid=28279 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28288/stat : 28288 (java) S 28279 28282 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45107080 14420725760 7818 33554432000 4194304 4196468 140721156020480 139843905960976 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28289] ppid=28279 vsize=14082740 memory=140051859576448 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28289/stat : 28289 (java) S 28279 28282 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45107081 14420725760 7818 33554432000 4194304 4196468 140721156020480 139843786975344 139844313053826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28290] ppid=28279 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28290/stat : 28290 (java) S 28279 28282 31076 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45107082 14420725760 7818 33554432000 4194304 4196468 140721156020480 139843785921312 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28291] ppid=28279 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28291/stat : 28291 (java) S 28279 28282 31076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45107082 14420725760 7818 33554432000 4194304 4196468 140721156020480 139843784868976 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28292] ppid=28279 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28292/stat : 28292 (java) S 28279 28282 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45107084 14420725760 7818 33554432000 4194304 4196468 140721156020480 139843783817296 139844313061275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28293] ppid=28279 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28293/stat : 28293 (java) S 28279 28282 31076 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 45107084 14420725760 7818 33554432000 4194304 4196468 140721156020480 139843782765168 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28294] ppid=28279 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28294/stat : 28294 (java) S 28279 28282 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45107084 14420725760 7818 33554432000 4194304 4196468 140721156020480 139843781712368 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28295] ppid=28279 vsize=14082740 memory=140051859576448 CPUtime=0.01 cores=0,2,4,6
/proc/28282/task/28295/stat : 28295 (java) S 28279 28282 31076 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 45107084 14420725760 7818 33554432000 4194304 4196468 140721156020480 139843780660080 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28296] ppid=28279 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28296/stat : 28296 (java) S 28279 28282 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45107084 14420725760 7818 33554432000 4194304 4196468 140721156020480 139843779607520 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28297] ppid=28279 vsize=14082740 memory=140051859576448 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28297/stat : 28297 (java) S 28279 28282 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45107085 14420725760 7818 33554432000 4194304 4196468 140721156020480 139843778554288 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 31272 KiB

[startup+0.21146 s]*
/proc/loadavg: 1.38 1.36 1.33 5/216 28297
/proc/meminfo: memFree=15061300/32770624 swapFree=67108860/67108860
[pid=28282] ppid=28279 vsize=14082740 memory=46812 CPUtime=0.31 cores=0,2,4,6
/proc/28282/stat : 28282 (java) S 28279 28282 31076 0 -1 1077944320 10380 0 0 0 28 3 0 0 20 0 15 0 45107079 14420725760 11703 33554432000 4194304 4196468 140721156020480 140721156003024 139844313042679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
/proc/28282/statm: 3520685 11703 3364 1 0 3482761 0
[pid=28282/tid=28284] ppid=28279 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/28282/task/28284/stat : 28284 (java) R 28279 28282 31076 0 -1 4202560 8075 0 0 0 18 2 0 0 20 0 15 0 45107079 14420725760 11703 33554432000 4194304 4196468 140721156020480 139844317260032 139843952041980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28285] ppid=28279 vsize=14082740 memory=342 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28285/stat : 28285 (java) S 28279 28282 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45107080 14420725760 11703 33554432000 4194304 4196468 140721156020480 139843909118864 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28286] ppid=28279 vsize=14082740 memory=140051859869272 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28286/stat : 28286 (java) S 28279 28282 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45107080 14420725760 11703 33554432000 4194304 4196468 140721156020480 139843908066064 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28287] ppid=28279 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28287/stat : 28287 (java) S 28279 28282 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45107080 14420725760 11703 33554432000 4194304 4196468 140721156020480 139843907013776 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28288] ppid=28279 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28288/stat : 28288 (java) S 28279 28282 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45107080 14420725760 11703 33554432000 4194304 4196468 140721156020480 139843905960976 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28289] ppid=28279 vsize=14082740 memory=140051859576448 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28289/stat : 28289 (java) S 28279 28282 31076 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45107081 14420725760 11703 33554432000 4194304 4196468 140721156020480 139843786975344 139844313053826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28290] ppid=28279 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28290/stat : 28290 (java) S 28279 28282 31076 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45107082 14420725760 11703 33554432000 4194304 4196468 140721156020480 139843785921312 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28291] ppid=28279 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28291/stat : 28291 (java) S 28279 28282 31076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45107082 14420725760 11703 33554432000 4194304 4196468 140721156020480 139843784868976 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28292] ppid=28279 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28292/stat : 28292 (java) S 28279 28282 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45107084 14420725760 11703 33554432000 4194304 4196468 140721156020480 139843783817296 139844313061275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28293] ppid=28279 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28282/task/28293/stat : 28293 (java) R 28279 28282 31076 0 -1 4202560 446 0 0 0 2 0 0 0 20 0 15 0 45107084 14420725760 11703 33554432000 4194304 4196468 140721156020480 139843782764352 139844313056583 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28294] ppid=28279 vsize=14082740 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/28282/task/28294/stat : 28294 (java) S 28279 28282 31076 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 15 0 45107084 14420725760 11703 33554432000 4194304 4196468 140721156020480 139843781712368 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28295] ppid=28279 vsize=14082740 memory=140051859576448 CPUtime=0.05 cores=0,2,4,6
/proc/28282/task/28295/stat : 28295 (java) R 28279 28282 31076 0 -1 4202560 316 0 0 0 5 0 0 0 20 0 15 0 45107084 14420725760 11703 33554432000 4194304 4196468 140721156020480 139843780657016 139844292441066 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28296] ppid=28279 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28296/stat : 28296 (java) S 28279 28282 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45107084 14420725760 11703 33554432000 4194304 4196468 140721156020480 139843779607520 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28297] ppid=28279 vsize=14082740 memory=140051859576448 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28297/stat : 28297 (java) S 28279 28282 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45107085 14420725760 11703 33554432000 4194304 4196468 140721156020480 139843778554288 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46812 KiB

[startup+0.310771 s]*
/proc/loadavg: 1.38 1.36 1.33 3/216 28297
/proc/meminfo: memFree=15055964/32770624 swapFree=67108860/67108860
[pid=28282] ppid=28279 vsize=14082740 memory=50468 CPUtime=0.44 cores=0,2,4,6
/proc/28282/stat : 28282 (java) S 28279 28282 31076 0 -1 1077944320 10772 0 0 0 41 3 0 0 20 0 15 0 45107079 14420725760 12617 33554432000 4194304 4196468 140721156020480 140721156003024 139844313042679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
/proc/28282/statm: 3520685 12617 3380 1 0 3482761 0
[pid=28282/tid=28284] ppid=28279 vsize=14082740 memory=53476 CPUtime=0.3 cores=0,2,4,6
/proc/28282/task/28284/stat : 28284 (java) R 28279 28282 31076 0 -1 4202560 8435 0 0 0 28 2 0 0 20 0 15 0 45107079 14420725760 12617 33554432000 4194304 4196468 140721156020480 139844317250512 139844298208351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28285] ppid=28279 vsize=14082740 memory=35 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28285/stat : 28285 (java) S 28279 28282 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45107080 14420725760 12617 33554432000 4194304 4196468 140721156020480 139843909118864 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28286] ppid=28279 vsize=14082740 memory=140051859634464 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28286/stat : 28286 (java) S 28279 28282 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45107080 14420725760 12617 33554432000 4194304 4196468 140721156020480 139843908066064 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28287] ppid=28279 vsize=14082740 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28287/stat : 28287 (java) S 28279 28282 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45107080 14420725760 12617 33554432000 4194304 4196468 140721156020480 139843907013776 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28288] ppid=28279 vsize=14082740 memory=35 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28288/stat : 28288 (java) S 28279 28282 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45107080 14420725760 12617 33554432000 4194304 4196468 140721156020480 139843905960976 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28289] ppid=28279 vsize=14082740 memory=140051859641376 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28289/stat : 28289 (java) S 28279 28282 31076 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45107081 14420725760 12617 33554432000 4194304 4196468 140721156020480 139843786975344 139844313053826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28290] ppid=28279 vsize=14082740 memory=35 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28290/stat : 28290 (java) S 28279 28282 31076 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45107082 14420725760 12617 33554432000 4194304 4196468 140721156020480 139843785921312 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28291] ppid=28279 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28291/stat : 28291 (java) S 28279 28282 31076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45107082 14420725760 12617 33554432000 4194304 4196468 140721156020480 139843784868976 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28292] ppid=28279 vsize=14082740 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28292/stat : 28292 (java) S 28279 28282 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45107084 14420725760 12617 33554432000 4194304 4196468 140721156020480 139843783817296 139844313061275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28293] ppid=28279 vsize=14082740 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/28282/task/28293/stat : 28293 (java) S 28279 28282 31076 0 -1 1077944384 458 0 0 0 3 0 0 0 20 0 15 0 45107084 14420725760 12617 33554432000 4194304 4196468 140721156020480 139843782765168 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28294] ppid=28279 vsize=14082740 memory=140051702996943 CPUtime=0.01 cores=0,2,4,6
/proc/28282/task/28294/stat : 28294 (java) S 28279 28282 31076 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 15 0 45107084 14420725760 12617 33554432000 4194304 4196468 140721156020480 139843781712368 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28295] ppid=28279 vsize=14082740 memory=140051859604624 CPUtime=0.08 cores=0,2,4,6
/proc/28282/task/28295/stat : 28295 (java) S 28279 28282 31076 0 -1 1077944384 336 0 0 0 8 0 0 0 20 0 15 0 45107084 14420725760 12617 33554432000 4194304 4196468 140721156020480 139843780660080 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28296] ppid=28279 vsize=14082740 memory=140051702996943 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28296/stat : 28296 (java) S 28279 28282 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45107084 14420725760 12617 33554432000 4194304 4196468 140721156020480 139843779607520 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28297] ppid=28279 vsize=14082740 memory=280103562590144 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28297/stat : 28297 (java) S 28279 28282 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45107085 14420725760 12617 33554432000 4194304 4196468 140721156020480 139843778554288 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50468 KiB

[startup+0.700708 s]
/proc/loadavg: 1.38 1.36 1.33 3/216 28297
/proc/meminfo: memFree=15031640/32770624 swapFree=67108860/67108860
[pid=28282] ppid=28279 vsize=14084808 memory=89080 CPUtime=0.99 cores=0,2,4,6
/proc/28282/stat : 28282 (java) S 28279 28282 31076 0 -1 1077944320 17597 0 0 0 93 6 0 0 20 0 15 0 45107079 14422843392 22270 33554432000 4194304 4196468 140721156020480 140721156003024 139844313042679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
/proc/28282/statm: 3521202 22270 3505 1 0 3483273 0
[pid=28282/tid=28284] ppid=28279 vsize=14084808 memory=2372 CPUtime=0.67 cores=0,2,4,6
/proc/28282/task/28284/stat : 28284 (java) R 28279 28282 31076 0 -1 4202560 14863 0 0 0 63 4 0 0 20 0 15 0 45107079 14422843392 22270 33554432000 4194304 4196468 140721156020480 139844317267616 139844313064605 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28285] ppid=28279 vsize=14084808 memory=6872598998417432672 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28285/stat : 28285 (java) S 28279 28282 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45107080 14422843392 22270 33554432000 4194304 4196468 140721156020480 139843909118864 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28286] ppid=28279 vsize=14084808 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28286/stat : 28286 (java) S 28279 28282 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45107080 14422843392 22270 33554432000 4194304 4196468 140721156020480 139843908066064 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28287] ppid=28279 vsize=14084808 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28287/stat : 28287 (java) S 28279 28282 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45107080 14422843392 22270 33554432000 4194304 4196468 140721156020480 139843907013776 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28288] ppid=28279 vsize=14084808 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28288/stat : 28288 (java) S 28279 28282 31076 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45107080 14422843392 22270 33554432000 4194304 4196468 140721156020480 139843905960976 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28289] ppid=28279 vsize=14084808 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28289/stat : 28289 (java) S 28279 28282 31076 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45107081 14422843392 22270 33554432000 4194304 4196468 140721156020480 139843786975344 139844313053826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28290] ppid=28279 vsize=14084808 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28290/stat : 28290 (java) S 28279 28282 31076 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45107082 14422843392 22270 33554432000 4194304 4196468 140721156020480 139843785921312 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28291] ppid=28279 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28291/stat : 28291 (java) S 28279 28282 31076 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45107082 14422843392 22270 33554432000 4194304 4196468 140721156020480 139843784868976 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28292] ppid=28279 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28292/stat : 28292 (java) S 28279 28282 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45107084 14422843392 22270 33554432000 4194304 4196468 140721156020480 139843783817296 139844313061275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28293] ppid=28279 vsize=14084808 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28282/task/28293/stat : 28293 (java) S 28279 28282 31076 0 -1 1077944384 596 0 0 0 7 0 0 0 20 0 15 0 45107084 14422843392 22270 33554432000 4194304 4196468 140721156020480 139843782765168 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28294] ppid=28279 vsize=14084808 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28282/task/28294/stat : 28294 (java) S 28279 28282 31076 0 -1 1077944384 330 0 0 0 8 0 0 0 20 0 15 0 45107084 14422843392 22270 33554432000 4194304 4196468 140721156020480 139843781712368 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28295] ppid=28279 vsize=14084808 memory=-1807685287725067907 CPUtime=0.15 cores=0,2,4,6
/proc/28282/task/28295/stat : 28295 (java) R 28279 28282 31076 0 -1 4202560 426 0 0 0 15 0 0 0 20 0 15 0 45107084 14422843392 22270 33554432000 4194304 4196468 140721156020480 139843780660080 139844313064026 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28296] ppid=28279 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28296/stat : 28296 (java) S 28279 28282 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45107084 14422843392 22270 33554432000 4194304 4196468 140721156020480 139843779607520 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28297] ppid=28279 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28297/stat : 28297 (java) S 28279 28282 31076 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45107085 14422843392 22270 33554432000 4194304 4196468 140721156020480 139843778554288 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89080 KiB

[startup+1.50547 s]
/proc/loadavg: 1.38 1.36 1.33 5/216 28297
/proc/meminfo: memFree=14984864/32770624 swapFree=67108860/67108860
[pid=28282] ppid=28279 vsize=14086856 memory=224820 CPUtime=3.43 cores=0,2,4,6
/proc/28282/stat : 28282 (java) S 28279 28282 31076 0 -1 1077944320 26487 0 0 0 333 10 0 0 20 0 15 0 45107079 14424940544 56205 33554432000 4194304 4196468 140721156020480 140721156003024 139844313042679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
/proc/28282/statm: 3521714 56205 3567 1 0 3483785 0
[pid=28282/tid=28284] ppid=28279 vsize=14086856 memory=3545236921026762090 CPUtime=1.47 cores=0,2,4,6
/proc/28282/task/28284/stat : 28284 (java) R 28279 28282 31076 0 -1 4202560 17336 0 0 0 141 6 0 0 20 0 15 0 45107079 14424940544 56205 33554432000 4194304 4196468 140721156020480 139844317277872 139843955533183 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28285] ppid=28279 vsize=14086856 memory=105040 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28285/stat : 28285 (java) S 28279 28282 31076 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 45107080 14424940544 56205 33554432000 4194304 4196468 140721156020480 139843909118864 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28286] ppid=28279 vsize=14086856 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28286/stat : 28286 (java) S 28279 28282 31076 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 45107080 14424940544 56205 33554432000 4194304 4196468 140721156020480 139843908066064 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28287] ppid=28279 vsize=14086856 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28287/stat : 28287 (java) S 28279 28282 31076 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 45107080 14424940544 56205 33554432000 4194304 4196468 140721156020480 139843907013776 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28288] ppid=28279 vsize=14086856 memory=15868 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28288/stat : 28288 (java) S 28279 28282 31076 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 15 0 45107080 14424940544 56205 33554432000 4194304 4196468 140721156020480 139843905960976 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28289] ppid=28279 vsize=14086856 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28289/stat : 28289 (java) S 28279 28282 31076 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 15 0 45107081 14424940544 56205 33554432000 4194304 4196468 140721156020480 139843786975344 139844313053826 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0

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

/proc/28282/task/28284/stat : 28284 (java) R 28279 28282 31076 0 -1 4202560 45540 0 0 0 225408 21 0 0 20 0 15 0 45107079 14431232000 117772 33554432000 4194304 4196468 140721156020480 139844317280800 139843957723822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28285] ppid=28279 vsize=14093000 memory=471088 CPUtime=4.42 cores=0,2,4,6
/proc/28282/task/28285/stat : 28285 (java) S 28279 28282 31076 0 -1 1077944384 9319 0 0 0 419 23 0 0 20 0 15 0 45107080 14431232000 117772 33554432000 4194304 4196468 140721156020480 139843909118864 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28286] ppid=28279 vsize=14093000 memory=471088 CPUtime=4.45 cores=0,2,4,6
/proc/28282/task/28286/stat : 28286 (java) S 28279 28282 31076 0 -1 1077944384 6450 0 0 0 424 21 0 0 20 0 15 0 45107080 14431232000 117772 33554432000 4194304 4196468 140721156020480 139843908066064 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28287] ppid=28279 vsize=14093000 memory=471088 CPUtime=4.44 cores=0,2,4,6
/proc/28282/task/28287/stat : 28287 (java) S 28279 28282 31076 0 -1 1077944384 6809 0 0 0 421 23 0 0 20 0 15 0 45107080 14431232000 117772 33554432000 4194304 4196468 140721156020480 139843907013776 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28288] ppid=28279 vsize=14093000 memory=471088 CPUtime=4.45 cores=0,2,4,6
/proc/28282/task/28288/stat : 28288 (java) S 28279 28282 31076 0 -1 1077944384 8029 0 0 0 420 25 0 0 20 0 15 0 45107080 14431232000 117772 33554432000 4194304 4196468 140721156020480 139843905960976 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28289] ppid=28279 vsize=14093000 memory=13898514172380 CPUtime=2.06 cores=0,2,4,6
/proc/28282/task/28289/stat : 28289 (java) S 28279 28282 31076 0 -1 1077944384 7687 0 0 0 185 21 0 0 20 0 15 0 45107081 14431232000 117772 33554432000 4194304 4196468 140721156020480 139843786975344 139844313053826 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 36 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28290] ppid=28279 vsize=14093000 memory=471088 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28290/stat : 28290 (java) S 28279 28282 31076 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 45107082 14431232000 117772 33554432000 4194304 4196468 140721156020480 139843785921376 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28291] ppid=28279 vsize=14093000 memory=4136 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28291/stat : 28291 (java) S 28279 28282 31076 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 45107082 14431232000 117772 33554432000 4194304 4196468 140721156020480 139843784868992 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28292] ppid=28279 vsize=14093000 memory=471088 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28292/stat : 28292 (java) S 28279 28282 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45107084 14431232000 117772 33554432000 4194304 4196468 140721156020480 139843783817296 139844313061275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28293] ppid=28279 vsize=14093000 memory=471088 CPUtime=3.44 cores=0,2,4,6
/proc/28282/task/28293/stat : 28293 (java) S 28279 28282 31076 0 -1 1077944384 7904 0 0 0 343 1 0 0 20 0 15 0 45107084 14431232000 117772 33554432000 4194304 4196468 140721156020480 139843782765168 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 49 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28294] ppid=28279 vsize=14093000 memory=6791534058613427641 CPUtime=3.61 cores=0,2,4,6
/proc/28282/task/28294/stat : 28294 (java) S 28279 28282 31076 0 -1 1077944384 9805 0 0 0 359 2 0 0 20 0 15 0 45107084 14431232000 117772 33554432000 4194304 4196468 140721156020480 139843781712368 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 50 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28295] ppid=28279 vsize=14093000 memory=1424 CPUtime=1.31 cores=0,2,4,6
/proc/28282/task/28295/stat : 28295 (java) S 28279 28282 31076 0 -1 1077944384 11309 0 0 0 129 2 0 0 20 0 15 0 45107084 14431232000 117772 33554432000 4194304 4196468 140721156020480 139843780660080 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28296] ppid=28279 vsize=14093000 memory=471088 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28296/stat : 28296 (java) S 28279 28282 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45107084 14431232000 117772 33554432000 4194304 4196468 140721156020480 139843779607520 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28297] ppid=28279 vsize=14093000 memory=471088 CPUtime=0.86 cores=0,2,4,6
/proc/28282/task/28297/stat : 28297 (java) S 28279 28282 31076 0 -1 1077944384 753 0 0 0 43 43 0 0 20 0 15 0 45107085 14431232000 117772 33554432000 4194304 4196468 140721156020480 139843778554288 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
Current children cumulated CPU time: 2283.44 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 471088 KiB

[startup+2322.3 s]
/proc/loadavg: 1.30 1.32 1.37 3/216 28445
/proc/meminfo: memFree=14436468/32770624 swapFree=67108860/67108860
[pid=28282] ppid=28279 vsize=14093000 memory=468004 CPUtime=2343.94 cores=0,2,4,6
/proc/28282/stat : 28282 (java) S 28279 28282 31076 0 -1 1077944320 116738 0 0 0 234231 163 0 0 20 0 15 0 45107079 14431232000 117001 33554432000 4194304 4196468 140721156020480 140721156003024 139844313042679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
/proc/28282/statm: 3523250 117001 3593 1 0 3485321 0
[pid=28282/tid=28284] ppid=28279 vsize=14093000 memory=469032 CPUtime=2313.97 cores=0,2,4,6
/proc/28282/task/28284/stat : 28284 (java) R 28279 28282 31076 0 -1 4202560 46080 0 0 0 231376 21 0 0 20 0 15 0 45107079 14431232000 117001 33554432000 4194304 4196468 140721156020480 139844317280816 139843964968290 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28285] ppid=28279 vsize=14093000 memory=467492 CPUtime=4.6 cores=0,2,4,6
/proc/28282/task/28285/stat : 28285 (java) S 28279 28282 31076 0 -1 1077944384 9371 0 0 0 437 23 0 0 20 0 15 0 45107080 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843909118864 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28286] ppid=28279 vsize=14093000 memory=468004 CPUtime=4.62 cores=0,2,4,6
/proc/28282/task/28286/stat : 28286 (java) S 28279 28282 31076 0 -1 1077944384 6662 0 0 0 441 21 0 0 20 0 15 0 45107080 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843908066064 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28287] ppid=28279 vsize=14093000 memory=468004 CPUtime=4.62 cores=0,2,4,6
/proc/28282/task/28287/stat : 28287 (java) S 28279 28282 31076 0 -1 1077944384 7208 0 0 0 438 24 0 0 20 0 15 0 45107080 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843907013776 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28288] ppid=28279 vsize=14093000 memory=468004 CPUtime=4.62 cores=0,2,4,6
/proc/28282/task/28288/stat : 28288 (java) S 28279 28282 31076 0 -1 1077944384 8320 0 0 0 437 25 0 0 20 0 15 0 45107080 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843905960976 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28289] ppid=28279 vsize=14093000 memory=466980 CPUtime=2.15 cores=0,2,4,6
/proc/28282/task/28289/stat : 28289 (java) S 28279 28282 31076 0 -1 1077944384 7869 0 0 0 193 22 0 0 20 0 15 0 45107081 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843786975344 139844313053826 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28290] ppid=28279 vsize=14093000 memory=468004 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28290/stat : 28290 (java) S 28279 28282 31076 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 45107082 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843785921376 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28291] ppid=28279 vsize=14093000 memory=468004 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28291/stat : 28291 (java) S 28279 28282 31076 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 45107082 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843784868992 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28292] ppid=28279 vsize=14093000 memory=468004 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28292/stat : 28292 (java) S 28279 28282 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45107084 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843783817296 139844313061275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28293] ppid=28279 vsize=14093000 memory=4136 CPUtime=3.44 cores=0,2,4,6
/proc/28282/task/28293/stat : 28293 (java) S 28279 28282 31076 0 -1 1077944384 7906 0 0 0 343 1 0 0 20 0 15 0 45107084 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843782765168 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 49 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28294] ppid=28279 vsize=14093000 memory=468004 CPUtime=3.61 cores=0,2,4,6
/proc/28282/task/28294/stat : 28294 (java) S 28279 28282 31076 0 -1 1077944384 9807 0 0 0 359 2 0 0 20 0 15 0 45107084 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843781712368 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 50 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28295] ppid=28279 vsize=14093000 memory=468004 CPUtime=1.31 cores=0,2,4,6
/proc/28282/task/28295/stat : 28295 (java) S 28279 28282 31076 0 -1 1077944384 11311 0 0 0 129 2 0 0 20 0 15 0 45107084 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843780660080 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28296] ppid=28279 vsize=14093000 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28296/stat : 28296 (java) S 28279 28282 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45107084 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843779607520 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28297] ppid=28279 vsize=14093000 memory=468004 CPUtime=0.9 cores=0,2,4,6
/proc/28282/task/28297/stat : 28297 (java) S 28279 28282 31076 0 -1 1077944384 768 0 0 0 46 44 0 0 20 0 15 0 45107085 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843778554288 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 49 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
Current children cumulated CPU time: 2343.94 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 468004 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2378.11 s]
/proc/loadavg: 1.32 1.32 1.37 3/216 28446
/proc/meminfo: memFree=14437200/32770624 swapFree=67108860/67108860
[pid=28282] ppid=28279 vsize=14093000 memory=468004 CPUtime=2400.03 cores=0,2,4,6
/proc/28282/stat : 28282 (java) S 28279 28282 31076 0 -1 1077944320 118071 0 0 0 239837 166 0 0 20 0 15 0 45107079 14431232000 117001 33554432000 4194304 4196468 140721156020480 140721156003024 139844313042679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
/proc/28282/statm: 3523250 117001 3593 1 0 3485321 0
[pid=28282/tid=28284] ppid=28279 vsize=14093000 memory=468004 CPUtime=2369.6 cores=0,2,4,6
/proc/28282/task/28284/stat : 28284 (java) R 28279 28282 31076 0 -1 4202560 46506 0 0 0 236939 21 0 0 20 0 15 0 45107079 14431232000 117001 33554432000 4194304 4196468 140721156020480 139844317280736 139843964643579 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28285] ppid=28279 vsize=14093000 memory=468004 CPUtime=4.69 cores=0,2,4,6
/proc/28282/task/28285/stat : 28285 (java) S 28279 28282 31076 0 -1 1077944384 9524 0 0 0 446 23 0 0 20 0 15 0 45107080 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843909118864 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28286] ppid=28279 vsize=14093000 memory=468004 CPUtime=4.72 cores=0,2,4,6
/proc/28282/task/28286/stat : 28286 (java) S 28279 28282 31076 0 -1 1077944384 6989 0 0 0 451 21 0 0 20 0 15 0 45107080 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843908066064 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28287] ppid=28279 vsize=14093000 memory=468004 CPUtime=4.71 cores=0,2,4,6
/proc/28282/task/28287/stat : 28287 (java) S 28279 28282 31076 0 -1 1077944384 7412 0 0 0 447 24 0 0 20 0 15 0 45107080 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843907013776 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28288] ppid=28279 vsize=14093000 memory=468004 CPUtime=4.71 cores=0,2,4,6
/proc/28282/task/28288/stat : 28288 (java) S 28279 28282 31076 0 -1 1077944384 8348 0 0 0 446 25 0 0 20 0 15 0 45107080 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843905960976 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28289] ppid=28279 vsize=14093000 memory=468004 CPUtime=2.19 cores=0,2,4,6
/proc/28282/task/28289/stat : 28289 (java) S 28279 28282 31076 0 -1 1077944384 8044 0 0 0 197 22 0 0 20 0 15 0 45107081 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843786975344 139844313053826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28290] ppid=28279 vsize=14093000 memory=468004 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28290/stat : 28290 (java) S 28279 28282 31076 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 45107082 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843785921376 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28291] ppid=28279 vsize=14093000 memory=468004 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28291/stat : 28291 (java) S 28279 28282 31076 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 45107082 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843784868992 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28292] ppid=28279 vsize=14093000 memory=468004 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28292/stat : 28292 (java) S 28279 28282 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45107084 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843783817296 139844313061275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28293] ppid=28279 vsize=14093000 memory=468004 CPUtime=3.44 cores=0,2,4,6
/proc/28282/task/28293/stat : 28293 (java) S 28279 28282 31076 0 -1 1077944384 7909 0 0 0 343 1 0 0 20 0 15 0 45107084 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843782765168 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28294] ppid=28279 vsize=14093000 memory=468004 CPUtime=3.61 cores=0,2,4,6
/proc/28282/task/28294/stat : 28294 (java) S 28279 28282 31076 0 -1 1077944384 9809 0 0 0 359 2 0 0 20 0 15 0 45107084 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843781712368 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 50 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28295] ppid=28279 vsize=14093000 memory=280103406539072 CPUtime=1.31 cores=0,2,4,6
/proc/28282/task/28295/stat : 28295 (java) S 28279 28282 31076 0 -1 1077944384 11313 0 0 0 129 2 0 0 20 0 15 0 45107084 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843780660080 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28296] ppid=28279 vsize=14093000 memory=468004 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28296/stat : 28296 (java) S 28279 28282 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45107084 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843779607520 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28297] ppid=28279 vsize=14093000 memory=468004 CPUtime=0.92 cores=0,2,4,6
/proc/28282/task/28297/stat : 28297 (java) S 28279 28282 31076 0 -1 1077944384 781 0 0 0 46 46 0 0 20 0 15 0 45107085 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843778554288 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 468004 KiB

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

[startup+2378.14 s]
# the end of solver process 28282 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.4 s, system=1.66773 s

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

[startup+2378.11 s]
/proc/loadavg: 1.32 1.32 1.37 3/216 28446
/proc/meminfo: memFree=14437200/32770624 swapFree=67108860/67108860
[pid=28282] ppid=28279 vsize=14093000 memory=468004 CPUtime=2400.03 cores=0,2,4,6
/proc/28282/stat : 28282 (java) S 28279 28282 31076 0 -1 1077944320 118071 0 0 0 239837 166 0 0 20 0 15 0 45107079 14431232000 117001 33554432000 4194304 4196468 140721156020480 140721156003024 139844313042679 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
/proc/28282/statm: 3523250 117001 3593 1 0 3485321 0
[pid=28282/tid=28284] ppid=28279 vsize=14093000 memory=468004 CPUtime=2369.6 cores=0,2,4,6
/proc/28282/task/28284/stat : 28284 (java) R 28279 28282 31076 0 -1 4202560 46506 0 0 0 236939 21 0 0 20 0 15 0 45107079 14431232000 117001 33554432000 4194304 4196468 140721156020480 139844317280736 139843964643579 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28285] ppid=28279 vsize=14093000 memory=468004 CPUtime=4.69 cores=0,2,4,6
/proc/28282/task/28285/stat : 28285 (java) S 28279 28282 31076 0 -1 1077944384 9524 0 0 0 446 23 0 0 20 0 15 0 45107080 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843909118864 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28286] ppid=28279 vsize=14093000 memory=468004 CPUtime=4.72 cores=0,2,4,6
/proc/28282/task/28286/stat : 28286 (java) S 28279 28282 31076 0 -1 1077944384 6989 0 0 0 451 21 0 0 20 0 15 0 45107080 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843908066064 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28287] ppid=28279 vsize=14093000 memory=468004 CPUtime=4.71 cores=0,2,4,6
/proc/28282/task/28287/stat : 28287 (java) S 28279 28282 31076 0 -1 1077944384 7412 0 0 0 447 24 0 0 20 0 15 0 45107080 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843907013776 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28288] ppid=28279 vsize=14093000 memory=468004 CPUtime=4.71 cores=0,2,4,6
/proc/28282/task/28288/stat : 28288 (java) S 28279 28282 31076 0 -1 1077944384 8348 0 0 0 446 25 0 0 20 0 15 0 45107080 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843905960976 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28289] ppid=28279 vsize=14093000 memory=468004 CPUtime=2.19 cores=0,2,4,6
/proc/28282/task/28289/stat : 28289 (java) S 28279 28282 31076 0 -1 1077944384 8044 0 0 0 197 22 0 0 20 0 15 0 45107081 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843786975344 139844313053826 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28290] ppid=28279 vsize=14093000 memory=468004 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28290/stat : 28290 (java) S 28279 28282 31076 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 45107082 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843785921376 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28291] ppid=28279 vsize=14093000 memory=468004 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28291/stat : 28291 (java) S 28279 28282 31076 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 45107082 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843784868992 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28292] ppid=28279 vsize=14093000 memory=468004 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28292/stat : 28292 (java) S 28279 28282 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45107084 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843783817296 139844313061275 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28293] ppid=28279 vsize=14093000 memory=468004 CPUtime=3.44 cores=0,2,4,6
/proc/28282/task/28293/stat : 28293 (java) S 28279 28282 31076 0 -1 1077944384 7909 0 0 0 343 1 0 0 20 0 15 0 45107084 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843782765168 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28294] ppid=28279 vsize=14093000 memory=468004 CPUtime=3.61 cores=0,2,4,6
/proc/28282/task/28294/stat : 28294 (java) S 28279 28282 31076 0 -1 1077944384 9809 0 0 0 359 2 0 0 20 0 15 0 45107084 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843781712368 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 50 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28295] ppid=28279 vsize=14093000 memory=280103406539072 CPUtime=1.31 cores=0,2,4,6
/proc/28282/task/28295/stat : 28295 (java) S 28279 28282 31076 0 -1 1077944384 11313 0 0 0 129 2 0 0 20 0 15 0 45107084 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843780660080 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28296] ppid=28279 vsize=14093000 memory=468004 CPUtime=0 cores=0,2,4,6
/proc/28282/task/28296/stat : 28296 (java) S 28279 28282 31076 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45107084 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843779607520 139844313052885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
[pid=28282/tid=28297] ppid=28279 vsize=14093000 memory=468004 CPUtime=0.92 cores=0,2,4,6
/proc/28282/task/28297/stat : 28297 (java) S 28279 28282 31076 0 -1 1077944384 781 0 0 0 46 46 0 0 20 0 15 0 45107085 14431232000 117001 33554432000 4194304 4196468 140721156020480 139843778554288 139844313053826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 49 0 0 6293624 6294260 39673856 140721156023369 140721156023561 140721156023561 140721156026319 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 468004 KiB

Child status: 143
Real time (s): 2378.14
CPU time (s): 2400.06
CPU user time (s): 2398.4
CPU system time (s): 1.66773
CPU usage (%): 100.922
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 684416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.4
system time used= 1.66773
maximum resident set size= 686464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118641
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110220
involuntary context switches= 5245


# summary of solver processes directly reported to runsolver:
#   pid: 28282
#   total CPU time (s): 2400.06
#   total CPU user time (s): 2398.4
#   total CPU system time (s): 1.66773

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3035 second user time and 23.0277 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-22 18:03:59
IDJOB=4291884
IDBENCH=141194
IDSOLVER=2743
FILE ID=node105/4291884-1532275439
RUNJOBID= node105-1532270698-27816
PBS_JOBID= 21018967
Free space on /tmp= 44888 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-07-02
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-06-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291884-1532275439/watcher-4291884-1532275439 -o /tmp/evaluation-result-4291884-1532275439/solver-4291884-1532275439 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532270698-27816 --watchdog 2560  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 794726543 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291884-1532275439.xml

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

MD5SUM BENCH= e2f0d6978164174a80e953d0a2a49c7e
RANDOM SEED=794726543

node105.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.32
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.32
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.32
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.32
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:        15094868 kB
MemAvailable:   31062464 kB
Buffers:          169568 kB
Cached:         15764680 kB
SwapCached:            0 kB
Active:          2233668 kB
Inactive:       14629792 kB
Active(anon):     884060 kB
Inactive(anon):    65084 kB
Active(file):    1349608 kB
Inactive(file): 14564708 kB
Unevictable:        7308 kB
Mlocked:            7308 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35900 kB
Writeback:             0 kB
AnonPages:       1045544 kB
Mapped:            49452 kB
Shmem:             17036 kB
Slab:             508572 kB
SReclaimable:     481740 kB
SUnreclaim:        26832 kB
KernelStack:        3648 kB
PageTables:         7172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1868300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    966656 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44852 MiB
End job on node105 at 2018-07-22 18:43:37