Trace number 4293612

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.8 2018-06-13SAT (TO)29768 2520.13 2473.44

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 benchmark23688
Best CPU time to get the best result obtained on this benchmark2519.94
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

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	29768

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293612-1532324427/watcher-4293612-1532324427 -o /tmp/evaluation-result-4293612-1532324427/solver-4293612-1532324427 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532295923-7919 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2113955260 HOME/instance-4293612-1532324427.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=13394, runsolver pid=13391

[startup+0.110502 s]*
/proc/loadavg: 1.49 1.44 1.44 3/208 13452
/proc/meminfo: memFree=18188612/32770624 swapFree=67108860/67108860
[pid=13394] ppid=13391 vsize=10355560 memory=20632 CPUtime=0.1 cores=1,3,5,7
/proc/13394/stat : 13394 (java) S 13391 13394 7887 0 -1 1077944320 4840 12972 0 0 2 1 5 2 20 0 9 0 50005932 10604093440 5158 33554432000 4194304 4196468 140721482719920 140721482702464 139625399541495 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
/proc/13394/statm: 2588890 5158 2101 1 0 2551431 0
[pid=13394/tid=13447] ppid=13391 vsize=10355560 memory=4351193297984521095 CPUtime=0.08 cores=1,3,5,7
/proc/13394/task/13447/stat : 13447 (java) R 13391 13394 7887 0 -1 4202560 2627 12972 0 0 1 0 5 2 20 0 9 0 50005941 10604093440 5158 33554432000 4194304 4196468 140721482719920 139625371377520 139625385223987 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13448] ppid=13391 vsize=10355560 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13448/stat : 13448 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 9 0 50005942 10604093440 5158 33554432000 4194304 4196468 140721482719920 139625403784080 139625399551701 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13449] ppid=13391 vsize=10355560 memory=139931837515392 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13449/stat : 13449 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 9 0 50005942 10604093440 5158 33554432000 4194304 4196468 140721482719920 139625302674192 139625399551701 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13450] ppid=13391 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13450/stat : 13450 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 9 0 50005942 10604093440 5158 33554432000 4194304 4196468 140721482719920 139625301621904 139625399551701 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13451] ppid=13391 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13451/stat : 13451 (java) S 13391 13394 7887 0 -1 1077944384 2 12972 0 0 0 0 5 2 20 0 9 0 50005942 10604093440 5158 33554432000 4194304 4196468 140721482719920 139625300569104 139625399551701 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13452] ppid=13391 vsize=10355560 memory=139931837515392 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13452/stat : 13452 (java) S 13391 13394 7887 0 -1 1077944384 2 12972 0 0 0 0 5 2 20 0 9 0 50005943 10604093440 5158 33554432000 4194304 4196468 140721482719920 139624858810480 139625399552642 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13453] ppid=13391 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13453/stat : 13453 (java) S 13391 13394 7887 0 -1 1077944384 33 12972 0 0 0 0 5 2 20 0 9 0 50005943 10604093440 5158 33554432000 4194304 4196468 140721482719920 139624857756448 139625399551701 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13454] ppid=13391 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13454/stat : 13454 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 9 0 50005944 10604093440 5158 33554432000 4194304 4196468 140721482719920 139624756274352 139625399551701 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 20632 KiB

[startup+0.210239 s]*
/proc/loadavg: 1.49 1.44 1.44 3/216 13460
/proc/meminfo: memFree=18167792/32770624 swapFree=67108860/67108860
[pid=13394] ppid=13391 vsize=10818904 memory=45448 CPUtime=0.26 cores=1,3,5,7
/proc/13394/stat : 13394 (java) S 13391 13394 7887 0 -1 1077944320 8115 12972 0 0 17 2 5 2 20 0 15 0 50005932 11078557696 11362 33554432000 4194304 4196468 140721482719920 140721482702464 139625399541495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
/proc/13394/statm: 2704726 11362 2957 1 0 2667149 0
[pid=13394/tid=13447] ppid=13391 vsize=10821524 memory=-6517102902069810590 CPUtime=0.18 cores=1,3,5,7
/proc/13394/task/13447/stat : 13447 (java) R 13391 13394 7887 0 -1 4202560 4966 12972 0 0 10 1 5 2 20 0 15 0 50005941 11081240576 11692 33554432000 4194304 4196468 140721482719920 139625371366304 139625392221213 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13448] ppid=13391 vsize=10821524 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13448/stat : 13448 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 15 0 50005942 11081240576 11692 33554432000 4194304 4196468 140721482719920 139625403784080 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13449] ppid=13391 vsize=10821524 memory=139931837515392 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13449/stat : 13449 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 15 0 50005942 11081240576 11758 33554432000 4194304 4196468 140721482719920 139625302674192 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13450] ppid=13391 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13450/stat : 13450 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 15 0 50005942 11081240576 11758 33554432000 4194304 4196468 140721482719920 139625301621904 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13451] ppid=13391 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13451/stat : 13451 (java) S 13391 13394 7887 0 -1 1077944384 2 12972 0 0 0 0 5 2 20 0 15 0 50005942 11081240576 11758 33554432000 4194304 4196468 140721482719920 139625300569104 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13452] ppid=13391 vsize=10821524 memory=139931837515392 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13452/stat : 13452 (java) S 13391 13394 7887 0 -1 1077944384 2 12972 0 0 0 0 5 2 20 0 15 0 50005943 11081240576 11758 33554432000 4194304 4196468 140721482719920 139624858810480 139625399552642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13453] ppid=13391 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13453/stat : 13453 (java) S 13391 13394 7887 0 -1 1077944384 33 12972 0 0 0 0 5 2 20 0 15 0 50005943 11081240576 11758 33554432000 4194304 4196468 140721482719920 139624857756448 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13454] ppid=13391 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13454/stat : 13454 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 15 0 50005944 11081240576 11824 33554432000 4194304 4196468 140721482719920 139624756274288 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13455] ppid=13391 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13455/stat : 13455 (java) S 13391 13394 7887 0 -1 1077944384 2 12972 0 0 0 0 5 2 20 0 15 0 50005946 11081240576 11824 33554432000 4194304 4196468 140721482719920 139624152295504 139625399560091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13456] ppid=13391 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13394/task/13456/stat : 13456 (java) S 13391 13394 7887 0 -1 1077944384 366 12972 0 0 1 0 5 2 20 0 15 0 50005946 11081240576 11824 33554432000 4194304 4196468 140721482719920 139624722717296 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13457] ppid=13391 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13457/stat : 13457 (java) S 13391 13394 7887 0 -1 1077944384 249 12972 0 0 0 0 5 2 20 0 15 0 50005946 11081240576 11824 33554432000 4194304 4196468 140721482719920 139624721664496 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13458] ppid=13391 vsize=10821524 memory=139931837515392 CPUtime=0.1 cores=1,3,5,7
/proc/13394/task/13458/stat : 13458 (java) S 13391 13394 7887 0 -1 1077944384 599 12972 0 0 3 0 5 2 20 0 15 0 50005946 11081240576 11890 33554432000 4194304 4196468 140721482719920 139624720612208 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13459] ppid=13391 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13459/stat : 13459 (java) S 13391 13394 7887 0 -1 1077944384 3 12972 0 0 0 0 5 2 20 0 15 0 50005947 11081240576 11890 33554432000 4194304 4196468 140721482719920 139623682534368 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13460] ppid=13391 vsize=10821524 memory=139931837515392 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13460/stat : 13460 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 15 0 50005947 11081240576 11890 33554432000 4194304 4196468 140721482719920 139624719559088 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 45448 KiB

[startup+0.310259 s]*
/proc/loadavg: 1.49 1.44 1.44 3/216 13460
/proc/meminfo: memFree=18154272/32770624 swapFree=67108860/67108860
[pid=13394] ppid=13391 vsize=10819352 memory=56164 CPUtime=0.38 cores=1,3,5,7
/proc/13394/stat : 13394 (java) S 13391 13394 7887 0 -1 1077944320 10636 12972 0 0 29 2 5 2 20 0 15 0 50005932 11079016448 14041 33554432000 4194304 4196468 140721482719920 140721482702464 139625399541495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
/proc/13394/statm: 2704838 14041 3076 1 0 2667149 0
[pid=13394/tid=13447] ppid=13391 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/13394/task/13447/stat : 13447 (java) R 13391 13394 7887 0 -1 4202560 7177 12972 0 0 19 2 5 2 20 0 15 0 50005941 11079016448 14041 33554432000 4194304 4196468 140721482719920 139625371353504 139625382728384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13448] ppid=13391 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13448/stat : 13448 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 15 0 50005942 11079016448 14041 33554432000 4194304 4196468 140721482719920 139625403784080 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13449] ppid=13391 vsize=10819352 memory=139931837522385 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13449/stat : 13449 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 15 0 50005942 11079016448 14041 33554432000 4194304 4196468 140721482719920 139625302674192 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13450] ppid=13391 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13450/stat : 13450 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 15 0 50005942 11079016448 14041 33554432000 4194304 4196468 140721482719920 139625301621904 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13451] ppid=13391 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13451/stat : 13451 (java) S 13391 13394 7887 0 -1 1077944384 2 12972 0 0 0 0 5 2 20 0 15 0 50005942 11079016448 14041 33554432000 4194304 4196468 140721482719920 139625300569104 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13452] ppid=13391 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13452/stat : 13452 (java) S 13391 13394 7887 0 -1 1077944384 2 12972 0 0 0 0 5 2 20 0 15 0 50005943 11079016448 14041 33554432000 4194304 4196468 140721482719920 139624858810480 139625399552642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13453] ppid=13391 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13453/stat : 13453 (java) S 13391 13394 7887 0 -1 1077944384 33 12972 0 0 0 0 5 2 20 0 15 0 50005943 11079016448 14041 33554432000 4194304 4196468 140721482719920 139624857756448 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13454] ppid=13391 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13454/stat : 13454 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 15 0 50005944 11079016448 14041 33554432000 4194304 4196468 140721482719920 139624756274288 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13455] ppid=13391 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13455/stat : 13455 (java) S 13391 13394 7887 0 -1 1077944384 2 12972 0 0 0 0 5 2 20 0 15 0 50005946 11079016448 14041 33554432000 4194304 4196468 140721482719920 139624152295504 139625399560091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13456] ppid=13391 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13394/task/13456/stat : 13456 (java) S 13391 13394 7887 0 -1 1077944384 368 12972 0 0 2 0 5 2 20 0 15 0 50005946 11079016448 14041 33554432000 4194304 4196468 140721482719920 139624722717296 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13457] ppid=13391 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13394/task/13457/stat : 13457 (java) S 13391 13394 7887 0 -1 1077944384 252 12972 0 0 1 0 5 2 20 0 15 0 50005946 11079016448 14041 33554432000 4194304 4196468 140721482719920 139624721664496 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13458] ppid=13391 vsize=10819352 memory=139931837515392 CPUtime=0.12 cores=1,3,5,7
/proc/13394/task/13458/stat : 13458 (java) R 13391 13394 7887 0 -1 4202560 607 12972 0 0 5 0 5 2 20 0 15 0 50005946 11079016448 14041 33554432000 4194304 4196468 140721482719920 139624720612208 139625384707040 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13459] ppid=13391 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13459/stat : 13459 (java) S 13391 13394 7887 0 -1 1077944384 3 12972 0 0 0 0 5 2 20 0 15 0 50005947 11079016448 14041 33554432000 4194304 4196468 140721482719920 139623682534368 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13460] ppid=13391 vsize=10819352 memory=139931837515392 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13460/stat : 13460 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 15 0 50005947 11079016448 14041 33554432000 4194304 4196468 140721482719920 139624719559088 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 56164 KiB

[startup+0.700774 s]
/proc/loadavg: 1.49 1.44 1.44 3/216 13460
/proc/meminfo: memFree=18145156/32770624 swapFree=67108860/67108860
[pid=13394] ppid=13391 vsize=10819352 memory=88708 CPUtime=0.99 cores=1,3,5,7
/proc/13394/stat : 13394 (java) S 13391 13394 7887 0 -1 1077944320 16776 12972 0 0 88 4 5 2 20 0 15 0 50005932 11079016448 22177 33554432000 4194304 4196468 140721482719920 140721482702464 139625399541495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
/proc/13394/statm: 2704838 22177 3238 1 0 2667149 0
[pid=13394/tid=13447] ppid=13391 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/13394/task/13447/stat : 13447 (java) R 13391 13394 7887 0 -1 4202560 12204 12972 0 0 56 3 5 2 20 0 15 0 50005941 11079016448 22177 33554432000 4194304 4196468 140721482719920 139625371362320 139625381104992 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13448] ppid=13391 vsize=10819352 memory=15682869523651624 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13448/stat : 13448 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 15 0 50005942 11079016448 22177 33554432000 4194304 4196468 140721482719920 139625403784080 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13449] ppid=13391 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13449/stat : 13449 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 15 0 50005942 11079016448 22177 33554432000 4194304 4196468 140721482719920 139625302674192 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13450] ppid=13391 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13450/stat : 13450 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 15 0 50005942 11079016448 22177 33554432000 4194304 4196468 140721482719920 139625301621904 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13451] ppid=13391 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13451/stat : 13451 (java) S 13391 13394 7887 0 -1 1077944384 2 12972 0 0 0 0 5 2 20 0 15 0 50005942 11079016448 22177 33554432000 4194304 4196468 140721482719920 139625300569104 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13452] ppid=13391 vsize=10819352 memory=6944656592455359580 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13452/stat : 13452 (java) S 13391 13394 7887 0 -1 1077944384 5 12972 0 0 0 0 5 2 20 0 15 0 50005943 11079016448 22177 33554432000 4194304 4196468 140721482719920 139624858810480 139625399552642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13453] ppid=13391 vsize=10819352 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13453/stat : 13453 (java) S 13391 13394 7887 0 -1 1077944384 33 12972 0 0 0 0 5 2 20 0 15 0 50005943 11079016448 22177 33554432000 4194304 4196468 140721482719920 139624857756448 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13454] ppid=13391 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13454/stat : 13454 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 15 0 50005944 11079016448 22177 33554432000 4194304 4196468 140721482719920 139624756274288 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13455] ppid=13391 vsize=10819352 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13455/stat : 13455 (java) S 13391 13394 7887 0 -1 1077944384 2 12972 0 0 0 0 5 2 20 0 15 0 50005946 11079016448 22177 33554432000 4194304 4196468 140721482719920 139624152295504 139625399560091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13456] ppid=13391 vsize=10819352 memory=279863424500992 CPUtime=0.15 cores=1,3,5,7
/proc/13394/task/13456/stat : 13456 (java) S 13391 13394 7887 0 -1 1077944384 789 12972 0 0 8 0 5 2 20 0 15 0 50005946 11079016448 22177 33554432000 4194304 4196468 140721482719920 139624722717296 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13457] ppid=13391 vsize=10819352 memory=11076 CPUtime=0.16 cores=1,3,5,7
/proc/13394/task/13457/stat : 13457 (java) S 13391 13394 7887 0 -1 1077944384 866 12972 0 0 9 0 5 2 20 0 15 0 50005946 11079016448 22177 33554432000 4194304 4196468 140721482719920 139624721664496 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13458] ppid=13391 vsize=10819352 memory=139931712255120 CPUtime=0.2 cores=1,3,5,7
/proc/13394/task/13458/stat : 13458 (java) S 13391 13394 7887 0 -1 1077944384 675 12972 0 0 13 0 5 2 20 0 15 0 50005946 11079016448 22177 33554432000 4194304 4196468 140721482719920 139624720612208 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13459] ppid=13391 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13459/stat : 13459 (java) S 13391 13394 7887 0 -1 1077944384 3 12972 0 0 0 0 5 2 20 0 15 0 50005947 11079016448 22177 33554432000 4194304 4196468 140721482719920 139623682534368 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13460] ppid=13391 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13460/stat : 13460 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 15 0 50005947 11079016448 22177 33554432000 4194304 4196468 140721482719920 139624719559088 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 88708 KiB

[startup+1.50371 s]
/proc/loadavg: 1.53 1.45 1.44 3/216 13460
/proc/meminfo: memFree=18098824/32770624 swapFree=67108860/67108860
[pid=13394] ppid=13391 vsize=10834252 memory=190960 CPUtime=2.72 cores=1,3,5,7
/proc/13394/stat : 13394 (java) S 13391 13394 7887 0 -1 1077944320 26160 12972 0 0 256 9 5 2 20 0 15 0 50005932 11094274048 47740 33554432000 4194304 4196468 140721482719920 140721482702464 139625399541495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
/proc/13394/statm: 2708563 47740 3480 1 0 2670221 0
[pid=13394/tid=13447] ppid=13391 vsize=10834252 memory=103340 CPUtime=1.43 cores=1,3,5,7
/proc/13394/task/13447/stat : 13447 (java) R 13391 13394 7887 0 -1 4202560 17731 12972 0 0 130 6 5 2 20 0 15 0 50005941 11094274048 47740 33554432000 4194304 4196468 140721482719920 139625371358624 139625383621982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13448] ppid=13391 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13394/task/13448/stat : 13448 (java) S 13391 13394 7887 0 -1 1077944384 18 12972 0 0 1 0 5 2 20 0 15 0 50005942 11094274048 47740 33554432000 4194304 4196468 140721482719920 139625403784080 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13449] ppid=13391 vsize=10834252 memory=7893295687695687954 CPUtime=0.08 cores=1,3,5,7
/proc/13394/task/13449/stat : 13449 (java) S 13391 13394 7887 0 -1 1077944384 34 12972 0 0 1 0 5 2 20 0 15 0 50005942 11094274048 47740 33554432000 4194304 4196468 140721482719920 139625302674192 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13450] ppid=13391 vsize=10834252 memory=6994781559841273980 CPUtime=0.08 cores=1,3,5,7
/proc/13394/task/13450/stat : 13450 (java) S 13391 13394 7887 0 -1 1077944384 175 12972 0 0 1 0 5 2 20 0 15 0 50005942 11094274048 47740 33554432000 4194304 4196468 140721482719920 139625301621904 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13451] ppid=13391 vsize=10834252 memory=4498404016631593314 CPUtime=0.08 cores=1,3,5,7
/proc/13394/task/13451/stat : 13451 (java) S 13391 13394 7887 0 -1 1077944384 68 12972 0 0 1 0 5 2 20 0 15 0 50005942 11094274048 47740 33554432000 4194304 4196468 140721482719920 139625300569104 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13452] ppid=13391 vsize=10834252 memory=11129022394 CPUtime=0.08 cores=1,3,5,7
/proc/13394/task/13452/stat : 13452 (java) S 13391 13394 7887 0 -1 1077944384 873 12972 0 0 1 0 5 2 20 0 15 0 50005943 11094274048 47740 33554432000 4194304 4196468 140721482719920 139624858810480 139625399552642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13453] ppid=13391 vsize=10834252 memory=279863424485912 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13453/stat : 13453 (java) S 13391 13394 7887 0 -1 1077944384 55 12972 0 0 0 0 5 2 20 0 15 0 50005943 11094274048 47740 33554432000 4194304 4196468 140721482719920 139624857756512 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13454] ppid=13391 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13454/stat : 13454 (java) S 13391 13394 7887 0 -1 1077944384 1 12972 0 0 0 0 5 2 20 0 15 0 50005944 11094274048 47740 33554432000 4194304 4196468 140721482719920 139624756274304 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13455] ppid=13391 vsize=10834252 memory=288230583166042426 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13455/stat : 13455 (java) S 13391 13394 7887 0 -1 1077944384 2 12972 0 0 0 0 5 2 20 0 15 0 50005946 11094274048 47740 33554432000 4194304 4196468 140721482719920 139624152295504 139625399560091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13456] ppid=13391 vsize=10834252 memory=15258134151170443 CPUtime=0.41 cores=1,3,5,7
/proc/13394/task/13456/stat : 13456 (java) S 13391 13394 7887 0 -1 1077944384 1447 12972 0 0 34 0 5 2 20 0 15 0 50005946 11094274048 47740 33554432000 4194304 4196468 140721482719920 139624722717296 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13457] ppid=13391 vsize=10834252 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/13394/task/13457/stat : 13457 (java) R 13391 13394 7887 0 -1 4202560 1829 12972 0 0 40 0 5 2 20 0 15 0 50005946 11094274048 47740 33554432000 4194304 4196468 140721482719920 139624721656616 139625381059350 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13458] ppid=13391 vsize=10834252 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/13394/task/13458/stat : 13458 (java) S 13391 13394 7887 0 -1 1077944384 1730 12972 0 0 43 0 5 2 20 0 15 0 50005946 11094274048 47740 33554432000 4194304 4196468 140721482719920 139624720612208 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0

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

/proc/13394/task/13447/stat : 13447 (java) R 13391 13394 7887 0 -1 4202560 235108 12972 0 0 230975 91 5 2 20 0 15 0 50005941 11178180608 808762 33554432000 4194304 4196468 140721482719920 139625371376656 139624998450726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13448] ppid=13391 vsize=10916192 memory=6791534058613427641 CPUtime=8.84 cores=1,3,5,7
/proc/13394/task/13448/stat : 13448 (java) S 13391 13394 7887 0 -1 1077944384 21240 12972 0 0 836 41 5 2 20 0 15 0 50005942 11178180608 808762 33554432000 4194304 4196468 140721482719920 139625403784080 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13449] ppid=13391 vsize=10916192 memory=3235048 CPUtime=8.83 cores=1,3,5,7
/proc/13394/task/13449/stat : 13449 (java) S 13391 13394 7887 0 -1 1077944384 18879 12972 0 0 836 40 5 2 20 0 15 0 50005942 11178180608 808762 33554432000 4194304 4196468 140721482719920 139625302674192 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13450] ppid=13391 vsize=10916192 memory=3235048 CPUtime=8.8 cores=1,3,5,7
/proc/13394/task/13450/stat : 13450 (java) S 13391 13394 7887 0 -1 1077944384 28668 12972 0 0 831 42 5 2 20 0 15 0 50005942 11178180608 808762 33554432000 4194304 4196468 140721482719920 139625301621904 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13451] ppid=13391 vsize=10916192 memory=279863425536816 CPUtime=8.83 cores=1,3,5,7
/proc/13394/task/13451/stat : 13451 (java) S 13391 13394 7887 0 -1 1077944384 23241 12972 0 0 836 40 5 2 20 0 15 0 50005942 11178180608 808762 33554432000 4194304 4196468 140721482719920 139625300569104 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13452] ppid=13391 vsize=10916192 memory=3235048 CPUtime=1.69 cores=1,3,5,7
/proc/13394/task/13452/stat : 13452 (java) S 13391 13394 7887 0 -1 1077944384 26711 12972 0 0 137 25 5 2 20 0 15 0 50005943 11178180608 808762 33554432000 4194304 4196468 140721482719920 139624858810480 139625399552642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13453] ppid=13391 vsize=10916192 memory=16364 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13453/stat : 13453 (java) S 13391 13394 7887 0 -1 1077944384 66 12972 0 0 0 0 5 2 20 0 15 0 50005943 11178180608 808762 33554432000 4194304 4196468 140721482719920 139624857756512 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13454] ppid=13391 vsize=10916192 memory=3235048 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13454/stat : 13454 (java) S 13391 13394 7887 0 -1 1077944384 13 12972 0 0 0 0 5 2 20 0 15 0 50005944 11178180608 808762 33554432000 4194304 4196468 140721482719920 139624756274304 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13455] ppid=13391 vsize=10916192 memory=3235048 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13455/stat : 13455 (java) S 13391 13394 7887 0 -1 1077944384 2 12972 0 0 0 0 5 2 20 0 15 0 50005946 11178180608 808762 33554432000 4194304 4196468 140721482719920 139624152295504 139625399560091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13456] ppid=13391 vsize=10916192 memory=3235048 CPUtime=8.37 cores=1,3,5,7
/proc/13394/task/13456/stat : 13456 (java) S 13391 13394 7887 0 -1 1077944384 103880 12972 0 0 821 9 5 2 20 0 15 0 50005946 11178180608 808762 33554432000 4194304 4196468 140721482719920 139624722717296 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13457] ppid=13391 vsize=10916192 memory=3235048 CPUtime=7.71 cores=1,3,5,7
/proc/13394/task/13457/stat : 13457 (java) S 13391 13394 7887 0 -1 1077944384 97033 12972 0 0 757 7 5 2 20 0 15 0 50005946 11178180608 808762 33554432000 4194304 4196468 140721482719920 139624721664496 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13458] ppid=13391 vsize=10916192 memory=0 CPUtime=3.48 cores=1,3,5,7
/proc/13394/task/13458/stat : 13458 (java) S 13391 13394 7887 0 -1 1077944384 89765 12972 0 0 333 8 5 2 20 0 15 0 50005946 11178180608 808762 33554432000 4194304 4196468 140721482719920 139624720612208 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13459] ppid=13391 vsize=10916192 memory=3235048 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13459/stat : 13459 (java) S 13391 13394 7887 0 -1 1077944384 3 12972 0 0 0 0 5 2 20 0 15 0 50005947 11178180608 808762 33554432000 4194304 4196468 140721482719920 139623682534368 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13460] ppid=13391 vsize=10916192 memory=3235048 CPUtime=1.45 cores=1,3,5,7
/proc/13394/task/13460/stat : 13460 (java) S 13391 13394 7887 0 -1 1077944384 2925 12972 0 0 60 78 5 2 20 0 15 0 50005947 11178180608 808762 33554432000 4194304 4196468 140721482719920 139624719559088 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
Current children cumulated CPU time: 2368.2 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3235048 KiB

[startup+2382.3 s]
/proc/loadavg: 1.48 1.56 1.49 3/215 13810
/proc/meminfo: memFree=14696872/32770624 swapFree=67108860/67108860
[pid=13394] ppid=13391 vsize=10916192 memory=3235048 CPUtime=2428.5 cores=1,3,5,7
/proc/13394/stat : 13394 (java) S 13391 13394 7887 0 -1 1077944320 658947 12972 0 0 242477 366 5 2 20 0 15 0 50005932 11178180608 808762 33554432000 4194304 4196468 140721482719920 140721482702464 139625399541495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
/proc/13394/statm: 2729048 808762 3540 1 0 2690701 0
[pid=13394/tid=13447] ppid=13391 vsize=10916192 memory=279863425536816 CPUtime=2370.67 cores=1,3,5,7
/proc/13394/task/13447/stat : 13447 (java) R 13391 13394 7887 0 -1 4202560 238440 12972 0 0 236969 91 5 2 20 0 15 0 50005941 11178180608 808762 33554432000 4194304 4196468 140721482719920 139625371376544 139624984101380 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13448] ppid=13391 vsize=10916192 memory=3235048 CPUtime=8.89 cores=1,3,5,7
/proc/13394/task/13448/stat : 13448 (java) S 13391 13394 7887 0 -1 1077944384 21266 12972 0 0 841 41 5 2 20 0 15 0 50005942 11178180608 808762 33554432000 4194304 4196468 140721482719920 139625403784080 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13449] ppid=13391 vsize=10916192 memory=3235048 CPUtime=8.88 cores=1,3,5,7
/proc/13394/task/13449/stat : 13449 (java) S 13391 13394 7887 0 -1 1077944384 19720 12972 0 0 841 40 5 2 20 0 15 0 50005942 11178180608 808762 33554432000 4194304 4196468 140721482719920 139625302674192 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13450] ppid=13391 vsize=10916192 memory=3235048 CPUtime=8.85 cores=1,3,5,7
/proc/13394/task/13450/stat : 13450 (java) S 13391 13394 7887 0 -1 1077944384 28828 12972 0 0 836 42 5 2 20 0 15 0 50005942 11178180608 808762 33554432000 4194304 4196468 140721482719920 139625301621904 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13451] ppid=13391 vsize=10916192 memory=3235048 CPUtime=8.87 cores=1,3,5,7
/proc/13394/task/13451/stat : 13451 (java) S 13391 13394 7887 0 -1 1077944384 23301 12972 0 0 840 40 5 2 20 0 15 0 50005942 11178180608 808762 33554432000 4194304 4196468 140721482719920 139625300569104 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13452] ppid=13391 vsize=10916192 memory=3235048 CPUtime=1.69 cores=1,3,5,7
/proc/13394/task/13452/stat : 13452 (java) S 13391 13394 7887 0 -1 1077944384 26986 12972 0 0 137 25 5 2 20 0 15 0 50005943 11178180608 808762 33554432000 4194304 4196468 140721482719920 139624858810480 139625399552642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13453] ppid=13391 vsize=10916192 memory=3235048 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13453/stat : 13453 (java) S 13391 13394 7887 0 -1 1077944384 66 12972 0 0 0 0 5 2 20 0 15 0 50005943 11178180608 808762 33554432000 4194304 4196468 140721482719920 139624857756512 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13454] ppid=13391 vsize=10916192 memory=3235048 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13454/stat : 13454 (java) S 13391 13394 7887 0 -1 1077944384 13 12972 0 0 0 0 5 2 20 0 15 0 50005944 11178180608 808762 33554432000 4194304 4196468 140721482719920 139624756274304 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13455] ppid=13391 vsize=10916192 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13455/stat : 13455 (java) S 13391 13394 7887 0 -1 1077944384 2 12972 0 0 0 0 5 2 20 0 15 0 50005946 11178180608 808762 33554432000 4194304 4196468 140721482719920 139624152295504 139625399560091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13456] ppid=13391 vsize=10916192 memory=2244 CPUtime=8.42 cores=1,3,5,7
/proc/13394/task/13456/stat : 13456 (java) S 13391 13394 7887 0 -1 1077944384 104990 12972 0 0 826 9 5 2 20 0 15 0 50005946 11178180608 808762 33554432000 4194304 4196468 140721482719920 139624722717296 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13457] ppid=13391 vsize=10916192 memory=932 CPUtime=7.78 cores=1,3,5,7
/proc/13394/task/13457/stat : 13457 (java) S 13391 13394 7887 0 -1 1077944384 99314 12972 0 0 763 8 5 2 20 0 15 0 50005946 11178180608 808762 33554432000 4194304 4196468 140721482719920 139624721664496 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13458] ppid=13391 vsize=10916192 memory=3235048 CPUtime=3.5 cores=1,3,5,7
/proc/13394/task/13458/stat : 13458 (java) S 13391 13394 7887 0 -1 1077944384 90863 12972 0 0 335 8 5 2 20 0 15 0 50005946 11178180608 808762 33554432000 4194304 4196468 140721482719920 139624720612208 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13459] ppid=13391 vsize=10916192 memory=16376 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13459/stat : 13459 (java) S 13391 13394 7887 0 -1 1077944384 3 12972 0 0 0 0 5 2 20 0 15 0 50005947 11178180608 808762 33554432000 4194304 4196468 140721482719920 139623682534368 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13460] ppid=13391 vsize=10916192 memory=3235048 CPUtime=1.48 cores=1,3,5,7
/proc/13394/task/13460/stat : 13460 (java) S 13391 13394 7887 0 -1 1077944384 2963 12972 0 0 61 80 5 2 20 0 15 0 50005947 11178180608 808762 33554432000 4194304 4196468 140721482719920 139624719559088 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 45 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
Current children cumulated CPU time: 2428.5 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3235048 KiB

[startup+2442.3 s]
/proc/loadavg: 1.39 1.50 1.47 3/215 13811
/proc/meminfo: memFree=14720676/32770624 swapFree=67108860/67108860
[pid=13394] ppid=13391 vsize=10916192 memory=3235056 CPUtime=2488.83 cores=1,3,5,7
/proc/13394/stat : 13394 (java) S 13391 13394 7887 0 -1 1077944320 670682 12972 0 0 248506 370 5 2 20 0 15 0 50005932 11178180608 808764 33554432000 4194304 4196468 140721482719920 140721482702464 139625399541495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
/proc/13394/statm: 2729048 808764 3540 1 0 2690701 0
[pid=13394/tid=13447] ppid=13391 vsize=10916192 memory=3235056 CPUtime=2430.61 cores=1,3,5,7
/proc/13394/task/13447/stat : 13447 (java) R 13391 13394 7887 0 -1 4202560 241849 12972 0 0 242963 91 5 2 20 0 15 0 50005941 11178180608 808764 33554432000 4194304 4196468 140721482719920 139625371376672 139624997548589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13448] ppid=13391 vsize=10916192 memory=3235056 CPUtime=8.94 cores=1,3,5,7
/proc/13394/task/13448/stat : 13448 (java) S 13391 13394 7887 0 -1 1077944384 21330 12972 0 0 846 41 5 2 20 0 15 0 50005942 11178180608 808764 33554432000 4194304 4196468 140721482719920 139625403784080 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13449] ppid=13391 vsize=10916192 memory=3235056 CPUtime=8.93 cores=1,3,5,7
/proc/13394/task/13449/stat : 13449 (java) S 13391 13394 7887 0 -1 1077944384 20279 12972 0 0 846 40 5 2 20 0 15 0 50005942 11178180608 808764 33554432000 4194304 4196468 140721482719920 139625302674192 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13450] ppid=13391 vsize=10916192 memory=3235056 CPUtime=8.89 cores=1,3,5,7
/proc/13394/task/13450/stat : 13450 (java) S 13391 13394 7887 0 -1 1077944384 29354 12972 0 0 840 42 5 2 20 0 15 0 50005942 11178180608 808764 33554432000 4194304 4196468 140721482719920 139625301621904 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13451] ppid=13391 vsize=10916192 memory=3235056 CPUtime=8.92 cores=1,3,5,7
/proc/13394/task/13451/stat : 13451 (java) S 13391 13394 7887 0 -1 1077944384 23481 12972 0 0 845 40 5 2 20 0 15 0 50005942 11178180608 808764 33554432000 4194304 4196468 140721482719920 139625300569104 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13452] ppid=13391 vsize=10916192 memory=3235056 CPUtime=1.71 cores=1,3,5,7
/proc/13394/task/13452/stat : 13452 (java) S 13391 13394 7887 0 -1 1077944384 27295 12972 0 0 139 25 5 2 20 0 15 0 50005943 11178180608 808764 33554432000 4194304 4196468 140721482719920 139624858810480 139625399552642 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13453] ppid=13391 vsize=10916192 memory=3235056 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13453/stat : 13453 (java) S 13391 13394 7887 0 -1 1077944384 66 12972 0 0 0 0 5 2 20 0 15 0 50005943 11178180608 808764 33554432000 4194304 4196468 140721482719920 139624857756512 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13454] ppid=13391 vsize=10916192 memory=3235056 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13454/stat : 13454 (java) S 13391 13394 7887 0 -1 1077944384 13 12972 0 0 0 0 5 2 20 0 15 0 50005944 11178180608 808764 33554432000 4194304 4196468 140721482719920 139624756274304 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13455] ppid=13391 vsize=10916192 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13455/stat : 13455 (java) S 13391 13394 7887 0 -1 1077944384 2 12972 0 0 0 0 5 2 20 0 15 0 50005946 11178180608 808764 33554432000 4194304 4196468 140721482719920 139624152295504 139625399560091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13456] ppid=13391 vsize=10916192 memory=3235056 CPUtime=8.48 cores=1,3,5,7
/proc/13394/task/13456/stat : 13456 (java) S 13391 13394 7887 0 -1 1077944384 107458 12972 0 0 832 9 5 2 20 0 15 0 50005946 11178180608 808764 33554432000 4194304 4196468 140721482719920 139624722717296 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 46 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13457] ppid=13391 vsize=10916192 memory=3235056 CPUtime=7.83 cores=1,3,5,7
/proc/13394/task/13457/stat : 13457 (java) S 13391 13394 7887 0 -1 1077944384 100792 12972 0 0 768 8 5 2 20 0 15 0 50005946 11178180608 808764 33554432000 4194304 4196468 140721482719920 139624721664496 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13458] ppid=13391 vsize=10916192 memory=4140 CPUtime=3.54 cores=1,3,5,7
/proc/13394/task/13458/stat : 13458 (java) S 13391 13394 7887 0 -1 1077944384 93578 12972 0 0 338 9 5 2 20 0 15 0 50005946 11178180608 808764 33554432000 4194304 4196468 140721482719920 139624720612208 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13459] ppid=13391 vsize=10916192 memory=16376 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13459/stat : 13459 (java) S 13391 13394 7887 0 -1 1077944384 3 12972 0 0 0 0 5 2 20 0 15 0 50005947 11178180608 808764 33554432000 4194304 4196468 140721482719920 139623682534368 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13460] ppid=13391 vsize=10916192 memory=3235056 CPUtime=1.52 cores=1,3,5,7
/proc/13394/task/13460/stat : 13460 (java) S 13391 13394 7887 0 -1 1077944384 2990 12972 0 0 63 82 5 2 20 0 15 0 50005947 11178180608 808764 33554432000 4194304 4196468 140721482719920 139624719559088 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 45 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
Current children cumulated CPU time: 2488.83 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3235056 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2473.4 s]
/proc/loadavg: 1.42 1.50 1.48 3/215 13812
/proc/meminfo: memFree=14737304/32770624 swapFree=67108860/67108860
[pid=13394] ppid=13391 vsize=10916192 memory=3235056 CPUtime=2520.07 cores=1,3,5,7
/proc/13394/stat : 13394 (java) S 13391 13394 7887 0 -1 1077944320 671636 12972 0 0 251629 371 5 2 20 0 15 0 50005932 11178180608 808764 33554432000 4194304 4196468 140721482719920 140721482702464 139625399541495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
/proc/13394/statm: 2729048 808764 3540 1 0 2690701 0
[pid=13394/tid=13447] ppid=13391 vsize=10916192 memory=2244 CPUtime=2461.68 cores=1,3,5,7
/proc/13394/task/13447/stat : 13447 (java) R 13391 13394 7887 0 -1 4202560 242702 12972 0 0 246070 91 5 2 20 0 15 0 50005941 11178180608 808764 33554432000 4194304 4196468 140721482719920 139625371376272 139624975500530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13448] ppid=13391 vsize=10916192 memory=932 CPUtime=8.96 cores=1,3,5,7
/proc/13394/task/13448/stat : 13448 (java) S 13391 13394 7887 0 -1 1077944384 21354 12972 0 0 848 41 5 2 20 0 15 0 50005942 11178180608 808764 33554432000 4194304 4196468 140721482719920 139625403784080 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13449] ppid=13391 vsize=10916192 memory=1584 CPUtime=8.95 cores=1,3,5,7
/proc/13394/task/13449/stat : 13449 (java) S 13391 13394 7887 0 -1 1077944384 20296 12972 0 0 848 40 5 2 20 0 15 0 50005942 11178180608 808764 33554432000 4194304 4196468 140721482719920 139625302674192 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13450] ppid=13391 vsize=10916192 memory=4124 CPUtime=8.92 cores=1,3,5,7
/proc/13394/task/13450/stat : 13450 (java) S 13391 13394 7887 0 -1 1077944384 29367 12972 0 0 843 42 5 2 20 0 15 0 50005942 11178180608 808764 33554432000 4194304 4196468 140721482719920 139625301621904 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13451] ppid=13391 vsize=10916192 memory=2200 CPUtime=8.95 cores=1,3,5,7
/proc/13394/task/13451/stat : 13451 (java) S 13391 13394 7887 0 -1 1077944384 23484 12972 0 0 848 40 5 2 20 0 15 0 50005942 11178180608 808764 33554432000 4194304 4196468 140721482719920 139625300569104 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13452] ppid=13391 vsize=10916192 memory=7288 CPUtime=1.71 cores=1,3,5,7
/proc/13394/task/13452/stat : 13452 (java) S 13391 13394 7887 0 -1 1077944384 27303 12972 0 0 139 25 5 2 20 0 15 0 50005943 11178180608 808764 33554432000 4194304 4196468 140721482719920 139624858810480 139625399552642 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13453] ppid=13391 vsize=10916192 memory=1408 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13453/stat : 13453 (java) S 13391 13394 7887 0 -1 1077944384 66 12972 0 0 0 0 5 2 20 0 15 0 50005943 11178180608 808764 33554432000 4194304 4196468 140721482719920 139624857756512 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13454] ppid=13391 vsize=10916192 memory=303430223234596890 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13454/stat : 13454 (java) S 13391 13394 7887 0 -1 1077944384 13 12972 0 0 0 0 5 2 20 0 15 0 50005944 11178180608 808764 33554432000 4194304 4196468 140721482719920 139624756274304 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13455] ppid=13391 vsize=10916192 memory=288230583166042426 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13455/stat : 13455 (java) S 13391 13394 7887 0 -1 1077944384 2 12972 0 0 0 0 5 2 20 0 15 0 50005946 11178180608 808764 33554432000 4194304 4196468 140721482719920 139624152295504 139625399560091 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13456] ppid=13391 vsize=10916192 memory=14133333755955740 CPUtime=8.5 cores=1,3,5,7
/proc/13394/task/13456/stat : 13456 (java) S 13391 13394 7887 0 -1 1077944384 107467 12972 0 0 834 9 5 2 20 0 15 0 50005946 11178180608 808764 33554432000 4194304 4196468 140721482719920 139624722717296 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13457] ppid=13391 vsize=10916192 memory=4126316290023845779 CPUtime=7.85 cores=1,3,5,7
/proc/13394/task/13457/stat : 13457 (java) S 13391 13394 7887 0 -1 1077944384 100801 12972 0 0 770 8 5 2 20 0 15 0 50005946 11178180608 808764 33554432000 4194304 4196468 140721482719920 139624721664496 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13458] ppid=13391 vsize=10916192 memory=5412 CPUtime=3.54 cores=1,3,5,7
/proc/13394/task/13458/stat : 13458 (java) S 13391 13394 7887 0 -1 1077944384 93594 12972 0 0 338 9 5 2 20 0 15 0 50005946 11178180608 808764 33554432000 4194304 4196468 140721482719920 139624720612208 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13459] ppid=13391 vsize=10916192 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/13394/task/13459/stat : 13459 (java) S 13391 13394 7887 0 -1 1077944384 3 12972 0 0 0 0 5 2 20 0 15 0 50005947 11178180608 808764 33554432000 4194304 4196468 140721482719920 139623682534368 139625399551701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
[pid=13394/tid=13460] ppid=13391 vsize=10916192 memory=6791534058613427641 CPUtime=1.53 cores=1,3,5,7
/proc/13394/task/13460/stat : 13460 (java) S 13391 13394 7887 0 -1 1077944384 2992 12972 0 0 63 83 5 2 20 0 15 0 50005947 11178180608 808764 33554432000 4194304 4196468 140721482719920 139624719559088 139625399552642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 45 0 0 6293624 6294260 8011776 140721482721902 140721482724700 140721482724700 140721482727375 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10916192 KiB
Current children cumulated memory: 3235056 KiB

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

[startup+2473.44 s]
# the end of solver process 13394 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.37 s, system=3.76483 s

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

Child status: 143
Real time (s): 2473.44
CPU time (s): 2520.13
CPU user time (s): 2516.37
CPU system time (s): 3.76483
CPU usage (%): 101.888
Max. virtual memory (cumulated for all children) (KiB): 10916192
Max. memory (cumulated for all children) (KiB): 3236072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.37
system time used= 3.76483
maximum resident set size= 3239200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 687052
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91687
involuntary context switches= 2989


# summary of solver processes directly reported to runsolver:
#   pid: 13394
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2516.37
#   total CPU system time (s): 3.76483

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7261 second user time and 22.2858 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-23 07:40:27
IDJOB=4293612
IDBENCH=141204
IDSOLVER=2750
FILE ID=node107/4293612-1532324427
RUNJOBID= node107-1532295923-7919
PBS_JOBID= 21018984
Free space on /tmp= 55100 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-05-opt_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293612-1532324427/watcher-4293612-1532324427 -o /tmp/evaluation-result-4293612-1532324427/solver-4293612-1532324427 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532295923-7919 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=2113955260 HOME/instance-4293612-1532324427.xml

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

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=2113955260

node107.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.40
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.40
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.40
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.40
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:        18198920 kB
MemAvailable:   30093300 kB
Buffers:          262956 kB
Cached:         11778052 kB
SwapCached:            0 kB
Active:          3502384 kB
Inactive:       10431312 kB
Active(anon):    1895684 kB
Inactive(anon):    16860 kB
Active(file):    1606700 kB
Inactive(file): 10414452 kB
Unevictable:        7152 kB
Mlocked:            7152 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26616 kB
Writeback:             0 kB
AnonPages:       1838492 kB
Mapped:            49940 kB
Shmem:             17036 kB
Slab:             329044 kB
SReclaimable:     301688 kB
SUnreclaim:        27356 kB
KernelStack:        3808 kB
PageTables:        11096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2592592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1609728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 55072 MiB
End job on node107 at 2018-07-23 08:21:41