Trace number 4302902

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNGSAT (TO)31051 252.09 210.446

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-graph-05-opt_c18.xml
MD5SUMd0ab6aee5f30ff70d66f863e0e3556a1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24148
Best CPU time to get the best result obtained on this benchmark252.004
Satisfiable
(Un)Satisfiability was proved
Number of variables1234
Number of constraints1134
Number of domains10
Minimum domain size2
Maximum domain size44
Distribution of domain sizes[{"size":2,"count":1034},{"size":6,"count":18},{"size":22,"count":8},{"size":24,"count":4},{"size":36,"count":44},{"size":42,"count":46},{"size":44,"count":80}]
Minimum variable degree1
Maximum variable degree22
Distribution of variable degrees[{"degree":1,"count":1},{"degree":2,"count":1035},{"degree":3,"count":4},{"degree":4,"count":11},{"degree":5,"count":22},{"degree":6,"count":22},{"degree":7,"count":19},{"degree":8,"count":21},{"degree":9,"count":12},{"degree":10,"count":11},{"degree":12,"count":1},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":17,"count":8},{"degree":18,"count":13},{"degree":19,"count":16},{"degree":20,"count":18},{"degree":21,"count":14},{"degree":22,"count":3}]
Minimum constraint arity2
Maximum constraint arity3
Distribution of constraint arities[{"arity":2,"count":100},{"arity":3,"count":1034}]
Number of extensional constraints0
Number of intensional constraints1134
Distribution of constraint types[{"type":"intension","count":1134}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.98/0.74	c Concrete v3.9.2.1532736233296 running
29.11/12.88	o 31051
252.02/210.41	Exception in thread "main" java.util.concurrent.TimeoutException
252.02/210.41		at concrete.MAC.mac(MAC.scala:188)
252.02/210.41		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.02/210.41		at scala.util.Try$.apply(Try.scala:209)
252.02/210.41		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.02/210.41		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.02/210.41		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.02/210.41		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.02/210.41		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.02/210.41		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.02/210.41		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.02/210.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.02/210.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.02/210.41		at concrete.MAC.oneRun(MAC.scala:253)
252.02/210.41		at concrete.MAC.nextSolution(MAC.scala:272)
252.02/210.41		at concrete.MAC.nextSolution(MAC.scala:355)
252.02/210.41		at concrete.Solver.hasNext(Solver.scala:166)
252.02/210.41		at scala.collection.Iterator.foreach(Iterator.scala:944)
252.02/210.41		at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.02/210.41		at concrete.Solver.foreach(Solver.scala:68)
252.02/210.41		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.02/210.41		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.02/210.41		at scala.util.Success.map(Try.scala:209)
252.02/210.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.02/210.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.02/210.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.02/210.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.02/210.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.02/210.41		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.02/210.41		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.02/210.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.02/210.41		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.02/210.41		at scala.collection.immutable.List.foreach(List.scala:389)
252.02/210.41		at scala.App.main(App.scala:76)
252.02/210.41		at scala.App.main$(App.scala:74)
252.02/210.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.02/210.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.02/210.41	v <instantiation cost="31051">
252.02/210.41	v       <list>
252.02/210.41	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] 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] 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] 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] 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]
252.02/210.42	v       </list>
252.02/210.42	v       <values>
252.02/210.42	v         44 282 58 296 156 394 240 478 240 478 414 652 100 338 652 414 142 380 16 254 282 44 408 170 694 456 268 30 540 778 666 428 114 352 128 366 792 554 526 764 694 456 680 442 100 338 778 540 352 114 778 540 764 526 778 540 750 512 30 268 778 540 30 268 694 456 72 310 778 540 708 470 240 478 72 310 708 470 156 394 778 540 16 254 652 414 540 778 310 72 156 394 792 554 778 540 240 478 540 778 750 512 86 324 100 338 554 792 554 792 16 254 114 352 16 254 30 268 296 58 478 240 142 380 30 268 540 778 142 380 792 554 750 512 478 240 778 540 792 554 736 498 792 554 792 554 792 554 652 414 554 792 666 428 254 16 72 310 722 484 86 324 792 554 764 526 778 540 792 554 156 394 58 296 764 526 86 324 128 366 58 296 114 352 114 352 778 540 694 456 254 16 380 142 778 540 16 254 792 554 0 0 0 1000 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 1000 1000 0 0 0 0 1000 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 1000 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 100 0 100 100 100 0 0 0 0 0 0 0 100 0 0 0 0 100 0 100 0 0 0 0 0 0 0 0 100 100 0 0 100 0 100 100 0 100 0 0 0 0 100 0 0 0 0 0 0 100 0 0 0 0 0 0 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 100 0 0 0 0 0 0 0 0 100 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 0 0 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 0 100 100 100 0 100 100 0 100 100 0 0 0 0 0 0 0 100 0 100 100 100 0 100 0 0 0 0 0 0 0 0 0 0 0 0 100 0 100 0 0 0 100 0 0 0 0 0 0 0 100 0 0 0 0 0 100 0 100 100 0 0 100 0 0 100 100 0 0 0 0 0 0 0 0 0 100 0 0 0 0 100 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 10 0 0 10 0 0 0 10 0 0 0 10 10 10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 0 0 10 0 0 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 0 10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 10 0 0 10 0 0 0 0 0 10 10 10 0 0 0 10 0 0 10 0 0 0 0 10 10 10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 10 0 0 0 0 10 0 0 0 0 0 10 10 0 0 0 10 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 10 0 10 10 10 0 0 0 0 0 0 0 0 0 0 10 0 0 10 0 0 0 0 0 0 0 0 10 0 0 0 10 10 0 0 10 10 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0
252.02/210.42	v       </values>
252.02/210.42	v     </instantiation>
252.02/210.42	s SATISFIABLE

Verifier Data 

OK	31051

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302902-1532895730/watcher-4302902-1532895730 -o /tmp/evaluation-result-4302902-1532895730/solver-4302902-1532895730 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13581 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1696588950 -superng HOME/instance-4302902-1532895730.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
solver pid=17517, runsolver pid=17514
Current StackSize limit: 8192 KiB


[startup+0.100091 s]*
/proc/loadavg: 1.75 1.97 1.94 2/207 17574
/proc/meminfo: memFree=21132496/32770624 swapFree=67108404/67108860
[pid=17517] ppid=17514 vsize=10005480 memory=20632 CPUtime=0.08 cores=1,3,5,7
/proc/17517/stat : 17517 (java) S 17514 17517 12222 0 -1 1077944320 4322 13029 0 0 1 0 5 2 20 0 6 0 107136194 10245611520 5158 33554432000 4194304 4196468 140720315114928 140720315097472 140029402656503 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
/proc/17517/statm: 2501370 5158 1933 1 0 2489808 0
[pid=17517/tid=17570] ppid=17514 vsize=10005480 memory=4351193297984521095 CPUtime=0.08 cores=1,3,5,7
/proc/17517/task/17570/stat : 17570 (java) R 17514 17517 12222 0 -1 4202560 2144 13029 0 0 1 0 5 2 20 0 6 0 107136203 10245611520 5223 33554432000 4194304 4196468 140720315114928 140029374493264 140029387779440 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17571] ppid=17514 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17571/stat : 17571 (java) S 17514 17517 12222 0 -1 1077944384 1 13029 0 0 0 0 5 2 20 0 6 0 107136204 10245611520 5223 33554432000 4194304 4196468 140720315114928 140029406898704 140029402666709 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17572] ppid=17514 vsize=10005480 memory=140141245859456 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17572/stat : 17572 (java) S 17514 17517 12222 0 -1 1077944384 2 13029 0 0 0 0 5 2 20 0 6 0 107136204 10245611520 5223 33554432000 4194304 4196468 140720315114928 140029292096144 140029402666709 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17573] ppid=17514 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17573/stat : 17573 (java) S 17514 17517 12222 0 -1 1077944384 1 13029 0 0 0 0 5 2 20 0 6 0 107136204 10245611520 5223 33554432000 4194304 4196468 140720315114928 140029291043088 140029402666709 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17574] ppid=17514 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17574/stat : 17574 (java) S 17514 17517 12222 0 -1 1077944384 2 13029 0 0 0 0 5 2 20 0 6 0 107136204 10245611520 5223 33554432000 4194304 4196468 140720315114928 140029289990544 140029402666709 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 20632 KiB

[startup+0.209851 s]*
/proc/loadavg: 1.75 1.97 1.94 3/216 17583
/proc/meminfo: memFree=21111268/32770624 swapFree=67108404/67108860
[pid=17517] ppid=17514 vsize=10985364 memory=47808 CPUtime=0.25 cores=1,3,5,7
/proc/17517/stat : 17517 (java) S 17514 17517 12222 0 -1 1077944320 8135 13029 0 0 16 2 5 2 20 0 15 0 107136194 11249012736 11886 33554432000 4194304 4196468 140720315114928 140720315097472 140029402656503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
/proc/17517/statm: 2746341 11952 2946 1 0 2708764 0
[pid=17517/tid=17570] ppid=17514 vsize=10985364 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/17517/task/17570/stat : 17570 (java) R 17514 17517 12222 0 -1 4202560 5041 13029 0 0 10 1 5 2 20 0 15 0 107136203 11249012736 12282 33554432000 4194304 4196468 140720315114928 140029374481312 140029395336221 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17571] ppid=17514 vsize=10985364 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17571/stat : 17571 (java) S 17514 17517 12222 0 -1 1077944384 1 13029 0 0 0 0 5 2 20 0 15 0 107136204 11249012736 12282 33554432000 4194304 4196468 140720315114928 140029406898704 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17572] ppid=17514 vsize=10985364 memory=3619122410796713632 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17572/stat : 17572 (java) S 17514 17517 12222 0 -1 1077944384 2 13029 0 0 0 0 5 2 20 0 15 0 107136204 11249012736 12282 33554432000 4194304 4196468 140720315114928 140029292096144 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17573] ppid=17514 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17573/stat : 17573 (java) S 17514 17517 12222 0 -1 1077944384 1 13029 0 0 0 0 5 2 20 0 15 0 107136204 11249012736 12234 33554432000 4194304 4196468 140720315114928 140029291043088 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17574] ppid=17514 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17574/stat : 17574 (java) S 17514 17517 12222 0 -1 1077944384 2 13029 0 0 0 0 5 2 20 0 15 0 107136204 11249012736 11931 33554432000 4194304 4196468 140720315114928 140029289990544 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17575] ppid=17514 vsize=10985364 memory=140141245859456 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17575/stat : 17575 (java) S 17514 17517 12222 0 -1 1077944384 2 13029 0 0 0 0 5 2 20 0 15 0 107136205 11249012736 11931 33554432000 4194304 4196468 140720315114928 140028895738608 140029402667650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17576] ppid=17514 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17576/stat : 17576 (java) S 17514 17517 12222 0 -1 1077944384 13 13029 0 0 0 0 5 2 20 0 15 0 107136206 11249012736 11931 33554432000 4194304 4196468 140720315114928 140028228396704 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17577] ppid=17514 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17577/stat : 17577 (java) S 17514 17517 12222 0 -1 1077944384 1 13029 0 0 0 0 5 2 20 0 15 0 107136206 11247345664 11931 33554432000 4194304 4196468 140720315114928 140028080547056 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17578] ppid=17514 vsize=10983736 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17578/stat : 17578 (java) S 17514 17517 12222 0 -1 1077944384 3 13029 0 0 0 0 5 2 20 0 15 0 107136208 11247345664 11691 33554432000 4194304 4196468 140720315114928 140027773147600 140029402675099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17579] ppid=17514 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17517/task/17579/stat : 17579 (java) S 17514 17517 12222 0 -1 1077944384 370 13029 0 0 1 0 5 2 20 0 15 0 107136208 11246362624 11691 33554432000 4194304 4196468 140720315114928 140028894685424 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17580] ppid=17514 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17580/stat : 17580 (java) S 17514 17517 12222 0 -1 1077944384 251 13029 0 0 0 0 5 2 20 0 15 0 107136208 11246329856 11683 33554432000 4194304 4196468 140720315114928 140028893632880 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17581] ppid=17514 vsize=10982744 memory=140141245859456 CPUtime=0.1 cores=1,3,5,7
/proc/17517/task/17581/stat : 17581 (java) S 17514 17517 12222 0 -1 1077944384 618 13029 0 0 3 0 5 2 20 0 15 0 107136208 11246329856 11683 33554432000 4194304 4196468 140720315114928 140028892579824 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17582] ppid=17514 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17582/stat : 17582 (java) S 17514 17517 12222 0 -1 1077944384 3 13029 0 0 0 0 5 2 20 0 15 0 107136209 11246329856 11683 33554432000 4194304 4196468 140720315114928 140027342350688 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17583] ppid=17514 vsize=10982744 memory=140141245859456 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17583/stat : 17583 (java) S 17514 17517 12222 0 -1 1077944384 1 13029 0 0 0 0 5 2 20 0 15 0 107136209 11246329856 11683 33554432000 4194304 4196468 140720315114928 140028891528240 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 47808 KiB

[startup+0.310304 s]*
/proc/loadavg: 1.75 1.97 1.94 3/216 17583
/proc/meminfo: memFree=21099236/32770624 swapFree=67108404/67108860
[pid=17517] ppid=17514 vsize=10983192 memory=57192 CPUtime=0.37 cores=1,3,5,7
/proc/17517/stat : 17517 (java) S 17514 17517 12222 0 -1 1077944320 10383 13029 0 0 27 3 5 2 20 0 15 0 107136194 11246788608 14298 33554432000 4194304 4196468 140720315114928 140720315097472 140029402656503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
/proc/17517/statm: 2745798 14298 3065 1 0 2708109 0
[pid=17517/tid=17570] ppid=17514 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/17517/task/17570/stat : 17570 (java) R 17514 17517 12222 0 -1 4202560 6910 13029 0 0 19 2 5 2 20 0 15 0 107136203 11246788608 14298 33554432000 4194304 4196468 140720315114928 140029374468512 140029402678429 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17571] ppid=17514 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17571/stat : 17571 (java) S 17514 17517 12222 0 -1 1077944384 1 13029 0 0 0 0 5 2 20 0 15 0 107136204 11246788608 14298 33554432000 4194304 4196468 140720315114928 140029406898704 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17572] ppid=17514 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17572/stat : 17572 (java) S 17514 17517 12222 0 -1 1077944384 2 13029 0 0 0 0 5 2 20 0 15 0 107136204 11246788608 14298 33554432000 4194304 4196468 140720315114928 140029292096144 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17573] ppid=17514 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17573/stat : 17573 (java) S 17514 17517 12222 0 -1 1077944384 1 13029 0 0 0 0 5 2 20 0 15 0 107136204 11246788608 14298 33554432000 4194304 4196468 140720315114928 140029291043088 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17574] ppid=17514 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17574/stat : 17574 (java) S 17514 17517 12222 0 -1 1077944384 2 13029 0 0 0 0 5 2 20 0 15 0 107136204 11246788608 14298 33554432000 4194304 4196468 140720315114928 140029289990544 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17575] ppid=17514 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17575/stat : 17575 (java) S 17514 17517 12222 0 -1 1077944384 2 13029 0 0 0 0 5 2 20 0 15 0 107136205 11246788608 14298 33554432000 4194304 4196468 140720315114928 140028895738608 140029402667650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17576] ppid=17514 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17576/stat : 17576 (java) S 17514 17517 12222 0 -1 1077944384 13 13029 0 0 0 0 5 2 20 0 15 0 107136206 11246788608 14298 33554432000 4194304 4196468 140720315114928 140028228396704 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17577] ppid=17514 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17577/stat : 17577 (java) S 17514 17517 12222 0 -1 1077944384 1 13029 0 0 0 0 5 2 20 0 15 0 107136206 11246788608 14298 33554432000 4194304 4196468 140720315114928 140028080547056 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17578] ppid=17514 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17578/stat : 17578 (java) S 17514 17517 12222 0 -1 1077944384 3 13029 0 0 0 0 5 2 20 0 15 0 107136208 11246788608 14298 33554432000 4194304 4196468 140720315114928 140027773147600 140029402675099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17579] ppid=17514 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17517/task/17579/stat : 17579 (java) S 17514 17517 12222 0 -1 1077944384 372 13029 0 0 1 0 5 2 20 0 15 0 107136208 11246788608 14298 33554432000 4194304 4196468 140720315114928 140028894685424 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17580] ppid=17514 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17517/task/17580/stat : 17580 (java) S 17514 17517 12222 0 -1 1077944384 254 13029 0 0 1 0 5 2 20 0 15 0 107136208 11246788608 14298 33554432000 4194304 4196468 140720315114928 140028893632880 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17581] ppid=17514 vsize=10983192 memory=140141245859456 CPUtime=0.11 cores=1,3,5,7
/proc/17517/task/17581/stat : 17581 (java) R 17514 17517 12222 0 -1 4202560 635 13029 0 0 4 0 5 2 20 0 15 0 107136208 11246788608 14298 33554432000 4194304 4196468 140720315114928 140028892579824 140029383421681 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17582] ppid=17514 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17582/stat : 17582 (java) S 17514 17517 12222 0 -1 1077944384 3 13029 0 0 0 0 5 2 20 0 15 0 107136209 11246788608 14298 33554432000 4194304 4196468 140720315114928 140027342350688 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17583] ppid=17514 vsize=10983192 memory=140141245859456 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17583/stat : 17583 (java) S 17514 17517 12222 0 -1 1077944384 1 13029 0 0 0 0 5 2 20 0 15 0 107136209 11246788608 14298 33554432000 4194304 4196468 140720315114928 140028891528240 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 57192 KiB

[startup+0.700715 s]
/proc/loadavg: 1.75 1.97 1.94 3/216 17583
/proc/meminfo: memFree=21087640/32770624 swapFree=67108404/67108860
[pid=17517] ppid=17514 vsize=10983192 memory=90896 CPUtime=0.98 cores=1,3,5,7
/proc/17517/stat : 17517 (java) S 17514 17517 12222 0 -1 1077944320 16745 13029 0 0 86 5 5 2 20 0 15 0 107136194 11246788608 22724 33554432000 4194304 4196468 140720315114928 140720315097472 140029402656503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
/proc/17517/statm: 2745798 22724 3244 1 0 2708109 0
[pid=17517/tid=17570] ppid=17514 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/17517/task/17570/stat : 17570 (java) R 17514 17517 12222 0 -1 4202560 12112 13029 0 0 55 4 5 2 20 0 15 0 107136203 11246788608 22724 33554432000 4194304 4196468 140720315114928 140029374477328 140029385843312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17571] ppid=17514 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17571/stat : 17571 (java) S 17514 17517 12222 0 -1 1077944384 1 13029 0 0 0 0 5 2 20 0 15 0 107136204 11246788608 22724 33554432000 4194304 4196468 140720315114928 140029406898704 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17572] ppid=17514 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17572/stat : 17572 (java) S 17514 17517 12222 0 -1 1077944384 2 13029 0 0 0 0 5 2 20 0 15 0 107136204 11246788608 22724 33554432000 4194304 4196468 140720315114928 140029292096144 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17573] ppid=17514 vsize=10983192 memory=487 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17573/stat : 17573 (java) S 17514 17517 12222 0 -1 1077944384 1 13029 0 0 0 0 5 2 20 0 15 0 107136204 11246788608 22724 33554432000 4194304 4196468 140720315114928 140029291043088 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17574] ppid=17514 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17574/stat : 17574 (java) S 17514 17517 12222 0 -1 1077944384 2 13029 0 0 0 0 5 2 20 0 15 0 107136204 11246788608 22724 33554432000 4194304 4196468 140720315114928 140029289990544 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17575] ppid=17514 vsize=10983192 memory=7301570131460772950 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17575/stat : 17575 (java) S 17514 17517 12222 0 -1 1077944384 5 13029 0 0 0 0 5 2 20 0 15 0 107136205 11246788608 22724 33554432000 4194304 4196468 140720315114928 140028895738608 140029402667650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17576] ppid=17514 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17576/stat : 17576 (java) S 17514 17517 12222 0 -1 1077944384 13 13029 0 0 0 0 5 2 20 0 15 0 107136206 11246788608 22724 33554432000 4194304 4196468 140720315114928 140028228396704 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17577] ppid=17514 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17577/stat : 17577 (java) S 17514 17517 12222 0 -1 1077944384 1 13029 0 0 0 0 5 2 20 0 15 0 107136206 11246788608 22724 33554432000 4194304 4196468 140720315114928 140028080547056 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17578] ppid=17514 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17578/stat : 17578 (java) S 17514 17517 12222 0 -1 1077944384 3 13029 0 0 0 0 5 2 20 0 15 0 107136208 11246788608 22724 33554432000 4194304 4196468 140720315114928 140027773147600 140029402675099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17579] ppid=17514 vsize=10983192 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/17517/task/17579/stat : 17579 (java) S 17514 17517 12222 0 -1 1077944384 997 13029 0 0 9 0 5 2 20 0 15 0 107136208 11246788608 22724 33554432000 4194304 4196468 140720315114928 140028894685424 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17580] ppid=17514 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/17517/task/17580/stat : 17580 (java) S 17514 17517 12222 0 -1 1077944384 678 13029 0 0 7 0 5 2 20 0 15 0 107136208 11246788608 22724 33554432000 4194304 4196468 140720315114928 140028893632880 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17581] ppid=17514 vsize=10983192 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/17517/task/17581/stat : 17581 (java) S 17514 17517 12222 0 -1 1077944384 735 13029 0 0 13 0 5 2 20 0 15 0 107136208 11246788608 22724 33554432000 4194304 4196468 140720315114928 140028892579824 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17582] ppid=17514 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17582/stat : 17582 (java) S 17514 17517 12222 0 -1 1077944384 3 13029 0 0 0 0 5 2 20 0 15 0 107136209 11246788608 22724 33554432000 4194304 4196468 140720315114928 140027342350688 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17583] ppid=17514 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17583/stat : 17583 (java) S 17514 17517 12222 0 -1 1077944384 1 13029 0 0 0 0 5 2 20 0 15 0 107136209 11246788608 22724 33554432000 4194304 4196468 140720315114928 140028891528240 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 90896 KiB

[startup+1.50068 s]
/proc/loadavg: 1.75 1.97 1.94 4/216 17583
/proc/meminfo: memFree=21043428/32770624 swapFree=67108404/67108860
[pid=17517] ppid=17514 vsize=10998092 memory=199628 CPUtime=2.93 cores=1,3,5,7
/proc/17517/stat : 17517 (java) S 17514 17517 12222 0 -1 1077944320 25832 13029 0 0 276 10 5 2 20 0 15 0 107136194 11262046208 49907 33554432000 4194304 4196468 140720315114928 140720315097472 140029402656503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
/proc/17517/statm: 2749523 49907 3471 1 0 2711181 0
[pid=17517/tid=17570] ppid=17514 vsize=10998092 memory=4951091520830867572 CPUtime=1.41 cores=1,3,5,7
/proc/17517/task/17570/stat : 17570 (java) R 17514 17517 12222 0 -1 4202560 16885 13029 0 0 128 6 5 2 20 0 15 0 107136203 11262046208 49907 33554432000 4194304 4196468 140720315114928 140029374471600 140029388351485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17571] ppid=17514 vsize=10998092 memory=4134606225630022328 CPUtime=0.08 cores=1,3,5,7
/proc/17517/task/17571/stat : 17571 (java) S 17514 17517 12222 0 -1 1077944384 38 13029 0 0 1 0 5 2 20 0 15 0 107136204 11262046208 49907 33554432000 4194304 4196468 140720315114928 140029406898704 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17572] ppid=17514 vsize=10998092 memory=-5153075247759266159 CPUtime=0.08 cores=1,3,5,7
/proc/17517/task/17572/stat : 17572 (java) S 17514 17517 12222 0 -1 1077944384 184 13029 0 0 1 0 5 2 20 0 15 0 107136204 11262046208 49907 33554432000 4194304 4196468 140720315114928 140029292096144 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17573] ppid=17514 vsize=10998092 memory=-7955555684268544410 CPUtime=0.08 cores=1,3,5,7
/proc/17517/task/17573/stat : 17573 (java) S 17514 17517 12222 0 -1 1077944384 47 13029 0 0 1 0 5 2 20 0 15 0 107136204 11262046208 49907 33554432000 4194304 4196468 140720315114928 140029291043088 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17574] ppid=17514 vsize=10998092 memory=126204 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17574/stat : 17574 (java) S 17514 17517 12222 0 -1 1077944384 14 13029 0 0 0 0 5 2 20 0 15 0 107136204 11262046208 49907 33554432000 4194304 4196468 140720315114928 140029289990544 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17575] ppid=17514 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17517/task/17575/stat : 17575 (java) S 17514 17517 12222 0 -1 1077944384 49 13029 0 0 1 0 5 2 20 0 15 0 107136205 11262046208 49907 33554432000 4194304 4196468 140720315114928 140028895738608 140029402667650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17576] ppid=17514 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17576/stat : 17576 (java) S 17514 17517 12222 0 -1 1077944384 13 13029 0 0 0 0 5 2 20 0 15 0 107136206 11262046208 49907 33554432000 4194304 4196468 140720315114928 140028228396704 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17577] ppid=17514 vsize=10998092 memory=280282183827744 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17577/stat : 17577 (java) S 17514 17517 12222 0 -1 1077944384 2 13029 0 0 0 0 5 2 20 0 15 0 107136206 11262046208 49907 33554432000 4194304 4196468 140720315114928 140028080547056 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17578] ppid=17514 vsize=10998092 memory=280282184242688 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17578/stat : 17578 (java) S 17514 17517 12222 0 -1 1077944384 3 13029 0 0 0 0 5 2 20 0 15 0 107136208 11262046208 49907 33554432000 4194304 4196468 140720315114928 140027773147600 140029402675099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17579] ppid=17514 vsize=10998092 memory=140141091923584 CPUtime=0.58 cores=1,3,5,7
/proc/17517/task/17579/stat : 17579 (java) R 17514 17517 12222 0 -1 4202560 2339 13029 0 0 51 0 5 2 20 0 15 0 107136208 11262046208 49907 33554432000 4194304 4196468 140720315114928 140028894678616 140029387561896 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17580] ppid=17514 vsize=10998092 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/17517/task/17580/stat : 17580 (java) R 17514 17517 12222 0 -1 4202560 2298 13029 0 0 46 0 5 2 20 0 15 0 107136208 11262046208 49907 33554432000 4194304 4196468 140720315114928 140028893613040 140029379880656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17581] ppid=17514 vsize=10998092 memory=1200 CPUtime=0.49 cores=1,3,5,7
/proc/17517/task/17581/stat : 17581 (java) R 17514 17517 12222 0 -1 1077944384 1765 13029 0 0 42 0 5 2 20 0 15 0 107136208 11262046208 49907 33554432000 4194304 4196468 140720315114928 140028892579920 140029402666709 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17582] ppid=17514 vsize=10998092 memory=15876 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17582/stat : 17582 (java) S 17514 17517 12222 0 -1 1077944384 3 13029 0 0 0 0 5 2 20 0 15 0 107136209 11262046208 49907 33554432000 4194304 4196468 140720315114928 140027342350688 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17583] ppid=17514 vsize=10998092 memory=4044 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17583/stat : 17583 (java) S 17514 17517 12222 0 -1 1077944384 1 13029 0 0 0 0 5 2 20 0 15 0 107136209 11262046208 49907 33554432000 4194304 4196468 140720315114928 140028891528240 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 10998092 KiB

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

/proc/17517/task/17570/stat : 17570 (java) R 17514 17517 12222 0 -1 4202560 43215 13029 0 0 4765 39 5 2 20 0 15 0 107136203 11278843904 800955 33554432000 4194304 4196468 140720315114928 140029374488496 140028970083854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17571] ppid=17514 vsize=11014496 memory=1580 CPUtime=2.76 cores=1,3,5,7
/proc/17517/task/17571/stat : 17571 (java) S 17514 17517 12222 0 -1 1077944384 1157 13029 0 0 244 25 5 2 20 0 15 0 107136204 11278843904 800955 33554432000 4194304 4196468 140720315114928 140029406898704 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17572] ppid=17514 vsize=11014496 memory=928 CPUtime=2.75 cores=1,3,5,7
/proc/17517/task/17572/stat : 17572 (java) S 17514 17517 12222 0 -1 1077944384 1980 13029 0 0 241 27 5 2 20 0 15 0 107136204 11278843904 800955 33554432000 4194304 4196468 140720315114928 140029292096144 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17573] ppid=17514 vsize=11014496 memory=56 CPUtime=2.72 cores=1,3,5,7
/proc/17517/task/17573/stat : 17573 (java) S 17514 17517 12222 0 -1 1077944384 1748 13029 0 0 239 26 5 2 20 0 15 0 107136204 11278843904 800955 33554432000 4194304 4196468 140720315114928 140029291043088 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17574] ppid=17514 vsize=11014496 memory=28829630602021044 CPUtime=2.74 cores=1,3,5,7
/proc/17517/task/17574/stat : 17574 (java) S 17514 17517 12222 0 -1 1077944384 929 13029 0 0 241 26 5 2 20 0 15 0 107136204 11278843904 800955 33554432000 4194304 4196468 140720315114928 140029289990544 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17575] ppid=17514 vsize=11014496 memory=2396 CPUtime=0.26 cores=1,3,5,7
/proc/17517/task/17575/stat : 17575 (java) S 17514 17517 12222 0 -1 1077944384 13189 13029 0 0 17 2 5 2 20 0 15 0 107136205 11278843904 800955 33554432000 4194304 4196468 140720315114928 140028895738608 140029402667650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17576] ppid=17514 vsize=11014496 memory=1300 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17576/stat : 17576 (java) S 17514 17517 12222 0 -1 1077944384 18 13029 0 0 0 0 5 2 20 0 15 0 107136206 11278843904 800955 33554432000 4194304 4196468 140720315114928 140028228396768 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17577] ppid=17514 vsize=11014496 memory=1840 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17577/stat : 17577 (java) S 17514 17517 12222 0 -1 1077944384 11 13029 0 0 0 0 5 2 20 0 15 0 107136206 11278843904 800955 33554432000 4194304 4196468 140720315114928 140028080547072 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17578] ppid=17514 vsize=11014496 memory=2951908 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17578/stat : 17578 (java) S 17514 17517 12222 0 -1 1077944384 3 13029 0 0 0 0 5 2 20 0 15 0 107136208 11278843904 800955 33554432000 4194304 4196468 140720315114928 140027773147600 140029402675099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17579] ppid=17514 vsize=11014496 memory=2927332 CPUtime=7.39 cores=1,3,5,7
/proc/17517/task/17579/stat : 17579 (java) S 17514 17517 12222 0 -1 1077944384 15509 13029 0 0 728 4 5 2 20 0 15 0 107136208 11278843904 800955 33554432000 4194304 4196468 140720315114928 140028894685424 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17580] ppid=17514 vsize=11014496 memory=2927332 CPUtime=7.11 cores=1,3,5,7
/proc/17517/task/17580/stat : 17580 (java) S 17514 17517 12222 0 -1 1077944384 12168 13029 0 0 700 4 5 2 20 0 15 0 107136208 11278843904 800955 33554432000 4194304 4196468 140720315114928 140028893632880 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17581] ppid=17514 vsize=11014496 memory=0 CPUtime=2.93 cores=1,3,5,7
/proc/17517/task/17581/stat : 17581 (java) S 17514 17517 12222 0 -1 1077944384 11178 13029 0 0 280 6 5 2 20 0 15 0 107136208 11278843904 800955 33554432000 4194304 4196468 140720315114928 140028892579824 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17582] ppid=17514 vsize=11014496 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17582/stat : 17582 (java) S 17514 17517 12222 0 -1 1077944384 3 13029 0 0 0 0 5 2 20 0 15 0 107136209 11278843904 800955 33554432000 4194304 4196468 140720315114928 140027342350688 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17583] ppid=17514 vsize=11014496 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17517/task/17583/stat : 17583 (java) S 17514 17517 12222 0 -1 1077944384 223 13029 0 0 1 1 5 2 20 0 15 0 107136209 11278843904 800955 33554432000 4194304 4196468 140720315114928 140028891528240 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
Current children cumulated CPU time: 76.34 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3203820 KiB

[startup+102.301 s]
/proc/loadavg: 1.77 1.92 1.93 3/216 17712
/proc/meminfo: memFree=17292940/32770624 swapFree=67108404/67108860
[pid=17517] ppid=17514 vsize=11014496 memory=3319000 CPUtime=131.09 cores=1,3,5,7
/proc/17517/stat : 17517 (java) S 17514 17517 12222 0 -1 1077944320 121869 13029 0 0 12924 178 5 2 20 0 15 0 107136194 11278843904 829750 33554432000 4194304 4196468 140720315114928 140720315097472 140029402656503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
/proc/17517/statm: 2753624 829750 3534 1 0 2715277 0
[pid=17517/tid=17570] ppid=17514 vsize=11014496 memory=3319000 CPUtime=98.2 cores=1,3,5,7
/proc/17517/task/17570/stat : 17570 (java) R 17514 17517 12222 0 -1 4202560 47905 13029 0 0 9774 39 5 2 20 0 15 0 107136203 11278843904 829750 33554432000 4194304 4196468 140720315114928 140029374487936 140028983946693 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17571] ppid=17514 vsize=11014496 memory=3318556 CPUtime=3.84 cores=1,3,5,7
/proc/17517/task/17571/stat : 17571 (java) S 17514 17517 12222 0 -1 1077944384 2374 13029 0 0 349 28 5 2 20 0 15 0 107136204 11278843904 829750 33554432000 4194304 4196468 140720315114928 140029406898704 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17572] ppid=17514 vsize=11014496 memory=75518410000664 CPUtime=3.82 cores=1,3,5,7
/proc/17517/task/17572/stat : 17572 (java) S 17514 17517 12222 0 -1 1077944384 2330 13029 0 0 345 30 5 2 20 0 15 0 107136204 11278843904 829750 33554432000 4194304 4196468 140720315114928 140029292096144 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17573] ppid=17514 vsize=11014496 memory=3318956 CPUtime=3.8 cores=1,3,5,7
/proc/17517/task/17573/stat : 17573 (java) S 17514 17517 12222 0 -1 1077944384 1905 13029 0 0 344 29 5 2 20 0 15 0 107136204 11278843904 829750 33554432000 4194304 4196468 140720315114928 140029291043088 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17574] ppid=17514 vsize=11014496 memory=3318556 CPUtime=3.82 cores=1,3,5,7
/proc/17517/task/17574/stat : 17574 (java) S 17514 17517 12222 0 -1 1077944384 1688 13029 0 0 346 29 5 2 20 0 15 0 107136204 11278843904 829750 33554432000 4194304 4196468 140720315114928 140029289990544 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17575] ppid=17514 vsize=11014496 memory=3319000 CPUtime=0.27 cores=1,3,5,7
/proc/17517/task/17575/stat : 17575 (java) S 17514 17517 12222 0 -1 1077944384 13473 13029 0 0 18 2 5 2 20 0 15 0 107136205 11278843904 829750 33554432000 4194304 4196468 140720315114928 140028895738608 140029402667650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17576] ppid=17514 vsize=11014496 memory=3319000 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17576/stat : 17576 (java) S 17514 17517 12222 0 -1 1077944384 18 13029 0 0 0 0 5 2 20 0 15 0 107136206 11278843904 829750 33554432000 4194304 4196468 140720315114928 140028228396768 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17577] ppid=17514 vsize=11014496 memory=180 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17577/stat : 17577 (java) S 17514 17517 12222 0 -1 1077944384 11 13029 0 0 0 0 5 2 20 0 15 0 107136206 11278843904 829750 33554432000 4194304 4196468 140720315114928 140028080547072 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17578] ppid=17514 vsize=11014496 memory=585523154511949354 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17578/stat : 17578 (java) S 17514 17517 12222 0 -1 1077944384 3 13029 0 0 0 0 5 2 20 0 15 0 107136208 11278843904 829750 33554432000 4194304 4196468 140720315114928 140027773147600 140029402675099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17579] ppid=17514 vsize=11014496 memory=8572 CPUtime=7.52 cores=1,3,5,7
/proc/17517/task/17579/stat : 17579 (java) S 17514 17517 12222 0 -1 1077944384 19708 13029 0 0 741 4 5 2 20 0 15 0 107136208 11278843904 829750 33554432000 4194304 4196468 140720315114928 140028894685424 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17580] ppid=17514 vsize=11014496 memory=1228 CPUtime=7.23 cores=1,3,5,7
/proc/17517/task/17580/stat : 17580 (java) S 17514 17517 12222 0 -1 1077944384 16029 13029 0 0 712 4 5 2 20 0 15 0 107136208 11278843904 829750 33554432000 4194304 4196468 140720315114928 140028893632880 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17581] ppid=17514 vsize=11014496 memory=5372 CPUtime=2.98 cores=1,3,5,7
/proc/17517/task/17581/stat : 17581 (java) S 17514 17517 12222 0 -1 1077944384 13971 13029 0 0 285 6 5 2 20 0 15 0 107136208 11278843904 829750 33554432000 4194304 4196468 140720315114928 140028892579824 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17582] ppid=17514 vsize=11014496 memory=3319000 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17582/stat : 17582 (java) S 17514 17517 12222 0 -1 1077944384 3 13029 0 0 0 0 5 2 20 0 15 0 107136209 11278843904 829750 33554432000 4194304 4196468 140720315114928 140027342350688 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17583] ppid=17514 vsize=11014496 memory=3319000 CPUtime=0.12 cores=1,3,5,7
/proc/17517/task/17583/stat : 17583 (java) S 17514 17517 12222 0 -1 1077944384 260 13029 0 0 2 3 5 2 20 0 15 0 107136209 11278843904 829750 33554432000 4194304 4196468 140720315114928 140028891528240 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
Current children cumulated CPU time: 131.09 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3319000 KiB

[startup+162.301 s]
/proc/loadavg: 1.70 1.87 1.92 3/216 17713
/proc/meminfo: memFree=16695856/32770624 swapFree=67108404/67108860
[pid=17517] ppid=17514 vsize=11014496 memory=3538552 CPUtime=196.88 cores=1,3,5,7
/proc/17517/stat : 17517 (java) S 17514 17517 12222 0 -1 1077944320 140191 13029 0 0 19484 197 5 2 20 0 15 0 107136194 11278843904 884638 33554432000 4194304 4196468 140720315114928 140720315097472 140029402656503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
/proc/17517/statm: 2753624 884638 3534 1 0 2715277 0
[pid=17517/tid=17570] ppid=17514 vsize=11014496 memory=3497540 CPUtime=156.36 cores=1,3,5,7
/proc/17517/task/17570/stat : 17570 (java) R 17514 17517 12222 0 -1 4202560 52364 13029 0 0 15589 40 5 2 20 0 15 0 107136203 11278843904 884638 33554432000 4194304 4196468 140720315114928 140029374489728 140028978869425 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17571] ppid=17514 vsize=11014496 memory=3538552 CPUtime=5.67 cores=1,3,5,7
/proc/17517/task/17571/stat : 17571 (java) S 17514 17517 12222 0 -1 1077944384 2642 13029 0 0 528 32 5 2 20 0 15 0 107136204 11278843904 884638 33554432000 4194304 4196468 140720315114928 140029406898704 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17572] ppid=17514 vsize=11014496 memory=3538552 CPUtime=5.65 cores=1,3,5,7
/proc/17517/task/17572/stat : 17572 (java) S 17514 17517 12222 0 -1 1077944384 3264 13029 0 0 525 33 5 2 20 0 15 0 107136204 11278843904 884638 33554432000 4194304 4196468 140720315114928 140029292096144 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17573] ppid=17514 vsize=11014496 memory=3538552 CPUtime=5.62 cores=1,3,5,7
/proc/17517/task/17573/stat : 17573 (java) S 17514 17517 12222 0 -1 1077944384 2696 13029 0 0 522 33 5 2 20 0 15 0 107136204 11278843904 884638 33554432000 4194304 4196468 140720315114928 140029291043088 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17574] ppid=17514 vsize=11014496 memory=3319000 CPUtime=5.65 cores=1,3,5,7
/proc/17517/task/17574/stat : 17574 (java) S 17514 17517 12222 0 -1 1077944384 2922 13029 0 0 525 33 5 2 20 0 15 0 107136204 11278843904 884638 33554432000 4194304 4196468 140720315114928 140029289990544 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17575] ppid=17514 vsize=11014496 memory=7 CPUtime=0.29 cores=1,3,5,7
/proc/17517/task/17575/stat : 17575 (java) S 17514 17517 12222 0 -1 1077944384 13830 13029 0 0 20 2 5 2 20 0 15 0 107136205 11278843904 884638 33554432000 4194304 4196468 140720315114928 140028895738608 140029402667650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17576] ppid=17514 vsize=11014496 memory=3479108 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17576/stat : 17576 (java) S 17514 17517 12222 0 -1 1077944384 18 13029 0 0 0 0 5 2 20 0 15 0 107136206 11278843904 884638 33554432000 4194304 4196468 140720315114928 140028228396768 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17577] ppid=17514 vsize=11014496 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17577/stat : 17577 (java) S 17514 17517 12222 0 -1 1077944384 11 13029 0 0 0 0 5 2 20 0 15 0 107136206 11278843904 884638 33554432000 4194304 4196468 140720315114928 140028080547072 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17578] ppid=17514 vsize=11014496 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17578/stat : 17578 (java) S 17514 17517 12222 0 -1 1077944384 3 13029 0 0 0 0 5 2 20 0 15 0 107136208 11278843904 884638 33554432000 4194304 4196468 140720315114928 140027773147600 140029402675099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17579] ppid=17514 vsize=11014496 memory=280282184846016 CPUtime=7.72 cores=1,3,5,7
/proc/17517/task/17579/stat : 17579 (java) S 17514 17517 12222 0 -1 1077944384 24941 13029 0 0 761 4 5 2 20 0 15 0 107136208 11278843904 884638 33554432000 4194304 4196468 140720315114928 140028894685424 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17580] ppid=17514 vsize=11014496 memory=3503684 CPUtime=7.29 cores=1,3,5,7
/proc/17517/task/17580/stat : 17580 (java) S 17514 17517 12222 0 -1 1077944384 19355 13029 0 0 718 4 5 2 20 0 15 0 107136208 11278843904 884638 33554432000 4194304 4196468 140720315114928 140028893632880 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17581] ppid=17514 vsize=11014496 memory=3497540 CPUtime=2.99 cores=1,3,5,7
/proc/17517/task/17581/stat : 17581 (java) S 17514 17517 12222 0 -1 1077944384 15652 13029 0 0 286 6 5 2 20 0 15 0 107136208 11278843904 884638 33554432000 4194304 4196468 140720315114928 140028892579824 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17582] ppid=17514 vsize=11014496 memory=3538552 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17582/stat : 17582 (java) S 17514 17517 12222 0 -1 1077944384 3 13029 0 0 0 0 5 2 20 0 15 0 107136209 11278843904 884638 33554432000 4194304 4196468 140720315114928 140027342350688 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17583] ppid=17514 vsize=11014496 memory=6791534058613427641 CPUtime=0.15 cores=1,3,5,7
/proc/17517/task/17583/stat : 17583 (java) S 17514 17517 12222 0 -1 1077944384 299 13029 0 0 3 5 5 2 20 0 15 0 107136209 11278843904 884638 33554432000 4194304 4196468 140720315114928 140028891528240 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
Current children cumulated CPU time: 196.88 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3538552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+210.401 s]
/proc/loadavg: 1.66 1.83 1.90 3/215 17714
/proc/meminfo: memFree=16457008/32770624 swapFree=67108404/67108860
[pid=17517] ppid=17514 vsize=11014496 memory=3686876 CPUtime=252.02 cores=1,3,5,7
/proc/17517/stat : 17517 (java) S 17514 17517 12222 0 -1 1077944320 165928 13029 0 0 24987 208 5 2 20 0 15 0 107136194 11278843904 921719 33554432000 4194304 4196468 140720315114928 140720315097472 140029402656503 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
/proc/17517/statm: 2753624 921719 3534 1 0 2715277 0
[pid=17517/tid=17570] ppid=17514 vsize=11014496 memory=2592 CPUtime=202.1 cores=1,3,5,7
/proc/17517/task/17570/stat : 17570 (java) R 17514 17517 12222 0 -1 4202560 56679 13029 0 0 20162 41 5 2 20 0 15 0 107136203 11278843904 921719 33554432000 4194304 4196468 140720315114928 140029374488560 140028983590336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17571] ppid=17514 vsize=11014496 memory=2740 CPUtime=7.96 cores=1,3,5,7
/proc/17517/task/17571/stat : 17571 (java) S 17514 17517 12222 0 -1 1077944384 3390 13029 0 0 754 35 5 2 20 0 15 0 107136204 11278843904 921719 33554432000 4194304 4196468 140720315114928 140029406898704 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17572] ppid=17514 vsize=11014496 memory=4100 CPUtime=7.95 cores=1,3,5,7
/proc/17517/task/17572/stat : 17572 (java) S 17514 17517 12222 0 -1 1077944384 3820 13029 0 0 753 35 5 2 20 0 15 0 107136204 11278843904 921719 33554432000 4194304 4196468 140720315114928 140029292096144 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17573] ppid=17514 vsize=11014496 memory=3686876 CPUtime=7.88 cores=1,3,5,7
/proc/17517/task/17573/stat : 17573 (java) S 17514 17517 12222 0 -1 1077944384 3259 13029 0 0 746 35 5 2 20 0 15 0 107136204 11278843904 921719 33554432000 4194304 4196468 140720315114928 140029291043088 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17574] ppid=17514 vsize=11014496 memory=30564 CPUtime=7.93 cores=1,3,5,7
/proc/17517/task/17574/stat : 17574 (java) S 17514 17517 12222 0 -1 1077944384 4351 13029 0 0 752 34 5 2 20 0 15 0 107136204 11278843904 921719 33554432000 4194304 4196468 140720315114928 140029289990544 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17575] ppid=17514 vsize=11014496 memory=2396 CPUtime=0.35 cores=1,3,5,7
/proc/17517/task/17575/stat : 17575 (java) S 17514 17517 12222 0 -1 1077944384 22230 13029 0 0 25 3 5 2 20 0 15 0 107136205 11278843904 921719 33554432000 4194304 4196468 140720315114928 140028895738608 140029402667650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17576] ppid=17514 vsize=11014496 memory=1300 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17576/stat : 17576 (java) S 17514 17517 12222 0 -1 1077944384 31 13029 0 0 0 0 5 2 20 0 15 0 107136206 11278843904 921719 33554432000 4194304 4196468 140720315114928 140028228396768 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17577] ppid=17514 vsize=11014496 memory=1840 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17577/stat : 17577 (java) S 17514 17517 12222 0 -1 1077944384 35 13029 0 0 0 0 5 2 20 0 15 0 107136206 11278843904 921719 33554432000 4194304 4196468 140720315114928 140028080547072 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17578] ppid=17514 vsize=11014496 memory=3686876 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17578/stat : 17578 (java) S 17514 17517 12222 0 -1 1077944384 3 13029 0 0 0 0 5 2 20 0 15 0 107136208 11278843904 921719 33554432000 4194304 4196468 140720315114928 140027773147600 140029402675099 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17579] ppid=17514 vsize=11014496 memory=17472 CPUtime=7.76 cores=1,3,5,7
/proc/17517/task/17579/stat : 17579 (java) S 17514 17517 12222 0 -1 1077944384 28531 13029 0 0 765 4 5 2 20 0 15 0 107136208 11278843904 921719 33554432000 4194304 4196468 140720315114928 140028894685424 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17580] ppid=17514 vsize=11014496 memory=16240 CPUtime=7.43 cores=1,3,5,7
/proc/17517/task/17580/stat : 17580 (java) S 17514 17517 12222 0 -1 1077944384 22832 13029 0 0 731 5 5 2 20 0 15 0 107136208 11278843904 921719 33554432000 4194304 4196468 140720315114928 140028893632880 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17581] ppid=17514 vsize=11014496 memory=1792 CPUtime=3 cores=1,3,5,7
/proc/17517/task/17581/stat : 17581 (java) S 17514 17517 12222 0 -1 1077944384 18217 13029 0 0 287 6 5 2 20 0 15 0 107136208 11278843904 921719 33554432000 4194304 4196468 140720315114928 140028892579824 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17582] ppid=17514 vsize=11014496 memory=644 CPUtime=0.07 cores=1,3,5,7
/proc/17517/task/17582/stat : 17582 (java) S 17514 17517 12222 0 -1 1077944384 3 13029 0 0 0 0 5 2 20 0 15 0 107136209 11278843904 921719 33554432000 4194304 4196468 140720315114928 140027342350688 140029402666709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
[pid=17517/tid=17583] ppid=17514 vsize=11014496 memory=956 CPUtime=0.18 cores=1,3,5,7
/proc/17517/task/17583/stat : 17583 (java) S 17514 17517 12222 0 -1 1077944384 356 13029 0 0 4 7 5 2 20 0 15 0 107136209 11278843904 921719 33554432000 4194304 4196468 140720315114928 140028891528240 140029402667650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11374592 140720315116136 140720315118945 140720315118945 140720315121615 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3686876 KiB

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

[startup+210.446 s]
# the end of solver process 17517 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.956 s, system=2.13494 s

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

Child status: 143
Real time (s): 210.446
CPU time (s): 252.09
CPU user time (s): 249.956
CPU system time (s): 2.13494
CPU usage (%): 119.789
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 3686904

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.956
system time used= 2.13494
maximum resident set size= 3691104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179617
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15846
involuntary context switches= 560


# summary of solver processes directly reported to runsolver:
#   pid: 17517
#   total CPU time (s): 252.09
#   total CPU user time (s): 249.956
#   total CPU system time (s): 2.13494

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.17462 second user time and 2.13057 second system time

The end

Launcher Data 

Begin job on node148 at 2018-07-29 22:22:10
IDJOB=4302902
IDBENCH=141204
IDSOLVER=2777
FILE ID=node148/4302902-1532895730
RUNJOBID= node148-1532892979-13581
PBS_JOBID= 21022520
Free space on /tmp= 47780 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-05-opt_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302902-1532895730/watcher-4302902-1532895730 -o /tmp/evaluation-result-4302902-1532895730/solver-4302902-1532895730 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13581 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=1696588950 -superng HOME/instance-4302902-1532895730.xml

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

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=1696588950

node148.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.50
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.50
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.50
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.50
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:        21142664 kB
MemAvailable:   29189092 kB
Buffers:          247068 kB
Cached:          7949996 kB
SwapCached:          352 kB
Active:          4611840 kB
Inactive:        6374468 kB
Active(anon):    2742784 kB
Inactive(anon):    74228 kB
Active(file):    1869056 kB
Inactive(file):  6300240 kB
Unevictable:        7080 kB
Mlocked:            7080 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:             26604 kB
Writeback:             0 kB
AnonPages:       2797960 kB
Mapped:            58016 kB
Shmem:             25016 kB
Slab:             334208 kB
SReclaimable:     305592 kB
SUnreclaim:        28616 kB
KernelStack:        3520 kB
PageTables:        11012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3761028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2557952 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 47752 MiB
End job on node148 at 2018-07-29 22:25:41