Trace number 4310178

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
OscaR - Conflict Ordering with restarts 2018-08-14SAT (TO)74620 252.05 244.932

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

Quality of the solution as a function of time


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

Solver Data 

0.67/0.56	c version: 2018-08-14
0.67/0.56	c seed: 2012250141
0.67/0.56	c timeout: 252
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
4.88/2.04	c Parsing done, starting search...
47.16/41.20	o 90789
47.16/41.20	o 89789
47.16/41.20	o 89690
47.16/41.20	o 89689
47.16/41.20	o 89679
47.16/41.21	o 88699
47.16/41.21	o 88590
47.16/41.21	o 88589
47.16/41.21	o 88588
47.16/41.21	o 87788
47.16/41.22	o 87687
47.16/41.23	o 87599
47.16/41.23	o 87598
47.16/41.23	o 87597
47.16/41.23	o 87596
47.16/41.23	o 86698
47.16/41.24	o 86697
47.16/41.24	o 86689
47.16/41.24	o 86688
47.16/41.27	o 86687
47.16/41.27	o 86677
47.16/41.27	o 86668
47.16/41.29	o 86588
47.42/41.30	o 86489
47.42/41.30	o 86488
47.42/41.31	o 86487
47.42/41.31	o 85588
47.42/41.36	o 85420
47.42/41.36	o 85410
47.42/41.36	o 85400
47.42/41.36	o 85389
47.42/41.36	o 85381
47.42/41.36	o 85380
47.42/41.38	o 84580
47.42/41.38	o 84479
47.42/41.40	o 84478
47.54/41.46	o 84457
47.54/41.46	o 84456
47.54/41.47	o 83455
47.54/41.47	o 83446
47.54/41.49	o 83366
47.64/41.51	o 82467
47.64/41.54	o 82367
47.64/41.56	o 81907
47.64/41.57	o 81806
47.64/41.57	o 81805
47.64/41.57	o 81705
47.64/41.57	o 81697
47.64/41.57	o 81696
47.64/41.58	o 81619
47.64/41.58	o 81609
47.64/41.59	o 81600
47.82/41.61	o 81599
47.82/41.61	o 81596
47.82/41.62	o 81595
47.82/41.69	o 81577
47.82/41.69	o 81576
47.82/41.69	o 80776
47.82/41.69	o 80675
47.82/41.69	o 80595
48.08/41.80	o 80575
48.08/41.85	o 80504
48.08/41.86	o 80495
48.29/42.01	o 80438
48.29/42.01	o 80428
48.29/42.01	o 80418
48.29/42.02	o 80408
48.29/42.02	o 80397
48.29/42.02	o 80396
48.29/42.02	o 80387
48.29/42.04	o 80287
48.29/42.05	o 80286
48.41/42.17	o 79780
48.41/42.17	o 79669
48.41/42.17	o 79568
48.41/42.17	o 79488
48.41/42.17	o 79487
48.41/42.18	o 79486
48.50/42.20	o 79466
48.50/42.21	o 79386
48.50/42.23	o 79385
48.62/42.31	o 78602
48.62/42.31	o 78601
48.62/42.31	o 78600
48.62/42.32	o 78490
48.62/42.32	o 78489
48.62/42.32	o 78479
48.62/42.33	o 78478
48.86/42.58	o 78477
48.86/42.59	o 78475
48.86/42.60	o 78377
50.07/43.76	o 78298
50.07/43.76	o 78288
50.27/43.99	o 77710
50.27/43.99	o 77600
50.27/43.99	o 77499
50.27/43.99	o 77498
50.37/44.02	o 77497
50.67/44.38	o 77496
52.38/46.05	o 77495
72.58/66.15	o 77486
72.58/66.16	o 77485
79.98/73.53	o 77414
79.98/73.53	o 77314
79.98/73.53	o 77304
79.98/73.53	o 77294
79.98/73.54	o 77293
79.98/73.57	o 77292
81.18/74.77	o 77202
81.28/74.81	o 77201
81.28/74.82	o 77191
81.28/74.88	o 77181
81.28/74.89	o 76181
81.89/75.42	o 76102
81.89/75.42	o 76092
81.89/75.42	o 76091
81.89/75.43	o 76081
96.03/89.53	o 75711
96.03/89.53	o 75701
96.03/89.53	o 75691
96.03/89.54	o 75690
96.03/89.55	o 75601
96.03/89.55	o 75600
96.03/89.55	o 75590
227.00/220.05	o 74840
227.00/220.05	o 74740
227.10/220.15	o 74640
227.20/220.23	o 74630
229.12/222.17	o 74620
252.01/244.90	s SATISFIABLE
252.01/244.91	v <instantiation>
252.01/244.91	v 	<list>
252.01/244.91	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.01/244.91	v 	</list>
252.01/244.91	v 	<values>
252.01/244.91	v 		30 268 778 540 86 324 142 380 142 380 16 254 778 540 114 352 16 254 16 254 764 526 170 408 142 380 778 540 100 338 16 254 310 72 86 324 128 366 512 750 72 310 778 540 778 540 86 324 268 30 750 512 352 114 694 456 652 414 540 778 778 540 680 442 428 666 324 86 268 30 792 554 170 408 100 338 72 310 380 142 282 44 394 156 254 16 680 442 652 414 484 722 338 100 666 428 170 408 554 792 44 282 540 778 708 470 254 16 470 708 394 156 58 296 722 484 778 540 86 324 142 380 478 240 428 666 750 512 44 282 414 652 352 114 408 170 540 778 72 310 554 792 86 324 456 694 72 310 778 540 708 470 778 540 142 380 750 512 428 666 394 156 680 442 366 128 72 310 296 58 296 58 456 694 750 512 268 30 142 380 554 792 394 156 30 268 694 456 554 792 352 114 240 478 750 512 484 722 156 394 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 1000 0 0 0 0 0 0 0 0 1000 0 0 1000 0 0 1000 1000 0 1000 0 1000 0 1000 0 0 0 1000 0 0 0 0 0 0 0 1000 0 1000 1000 0 0 0 0 1000 0 1000 1000 1000 0 0 0 0 0 1000 0 1000 0 0 1000 0 1000 0 0 0 0 0 0 0 1000 1000 0 0 1000 0 0 0 0 1000 0 1000 0 0 1000 1000 1000 0 1000 1000 0 0 0 0 0 0 0 0 0 0 1000 0 0 0 0 1000 1000 0 1000 0 1000 0 0 0 0 0 0 1000 0 0 0 0 0 0 1000 0 0 0 1000 0 1000 0 1000 0 0 1000 1000 0 1000 1000 0 0 0 0 1000 1000 0 0 0 1000 1000 0 1000 1000 0 1000 1000 0 1000 1000 0 1000 1000 1000 0 0 0 0 1000 0 1000 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 100 100 0 0 0 0 0 100 0 0 100 0 0 0 0 100 100 100 0 0 100 100 0 0 100 0 0 0 100 100 0 0 0 100 100 100 100 0 0 100 0 0 100 0 0 100 0 0 0 100 0 0 0 100 0 0 0 100 0 0 0 100 0 0 0 0 100 0 0 0 0 0 100 100 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 100 0 0 0 100 100 100 0 100 0 100 0 100 100 0 100 0 0 0 0 0 0 0 0 0 0 100 0 0 100 0 0 0 0 100 100 0 0 0 0 0 0 100 100 0 0 0 100 100 100 0 100 100 0 0 0 100 100 0 100 0 0 0 0 0 0 0 100 0 100 0 0 100 100 0 0 0 0 100 100 100 0 0 0 100 0 100 0 100 0 0 100 100 0 0 0 0 0 0 100 100 0 100 0 0 100 100 100 0 0 0 0 100 100 0 0 100 100 0 100 100 100 100 0 0 100 0 100 0 0 100 0 0 0 0 0 100 0 0 100 0 0 100 100 100 0 100 0 0 0 100 0 0 0 0 0 0 0 0 100 0 0 0 100 100 0 0 100 0 100 0 0 0 100 0 0 0 100 100 100 100 100 0 100 0 0 0 100 100 0 0 100 100 0 100 0 100 0 0 0 10 10 0 0 10 10 10 0 10 0 0 0 0 0 10 10 10 10 0 10 10 0 0 10 0 10 10 0 0 0 0 0 0 0 0 0 0 0 0 10 10 0 0 0 10 0 10 0 0 10 0 0 0 0 10 0 10 0 0 0 10 0 10 0 0 0 10 0 10 0 10 0 0 0 0 0 10 10 0 0 0 10 0 0 0 10 10 10 0 0 0 0 0 0 0 0 0 10 10 0 0 0 0 10 0 0 0 0 0 10 0 10 0 0 0 0 10 0 0 0 0 0 0 10 0 10 0 0 0 0 0 10 0 10 10 0 0 10 10 10 0 10 10 10 0 0 10 0 10 10 0 10 10 10 10 10 0 0 10 0 10 10 10 0 0 0 0 10 0 0 0 0 10 0 0 0 0 10 10 0 0 10 10 0 10 10 10 0 0 0 0 10 0 0 0 0 0 10 10 0 10 0 10 0 0 0 0 0 0 0 10 0 0 0 0 0 0 0 10 10 10 0 0 0 10 0 0 10 0 10 10 10 0 10 10 0 0 0 0 0 0 10 10 10 0 10 0 0 0 0 0 0 0 0 0 0 0 10 0 0 0 0 10 0 0 0 10 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 1 1 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 0 0 1 1 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 1 0 
252.01/244.91	v 	</values>
252.01/244.91	v </instantiation>

Verifier Data 

OK	74620

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310178-1534329807/watcher-4310178-1534329807 -o /tmp/evaluation-result-4310178-1534329807/solver-4310178-1534329807 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534329313-21853 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2012250141 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310178-1534329807.xml 

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

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
Current StackSize limit: 8192 KiB

solver pid=22142, runsolver pid=22139

[startup+0.100063 s]*
/proc/loadavg: 1.55 1.57 1.45 3/216 22157
/proc/meminfo: memFree=21119704/32770624 swapFree=67105356/67108860
[pid=22142] ppid=22139 vsize=14082736 memory=31560 CPUtime=0.12 cores=0,2,4,6
/proc/22142/stat : 22142 (java) S 22139 22142 21822 0 -1 1077944320 6791 0 0 0 11 1 0 0 20 0 15 0 250543869 14420721664 7890 33554432000 4194304 4196468 140727602634432 140727602616976 139726809411319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
/proc/22142/statm: 3520684 7890 3152 1 0 3482761 0
[pid=22142/tid=22144] ppid=22139 vsize=14082736 memory=-8701690554792447870 CPUtime=0.09 cores=0,2,4,6
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 21822 0 -1 4202560 4832 0 0 0 9 0 0 0 20 0 15 0 250543869 14420721664 7890 33554432000 4194304 4196468 140727602634432 139726813616416 139726809433245 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22145] ppid=22139 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22145/stat : 22145 (java) S 22139 22142 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250543870 14420721664 7890 33554432000 4194304 4196468 140727602634432 139726405429648 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22146] ppid=22139 vsize=14082736 memory=140400633230976 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22146/stat : 22146 (java) S 22139 22142 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250543870 14420721664 7890 33554432000 4194304 4196468 140727602634432 139726404376848 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22147] ppid=22139 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22147/stat : 22147 (java) S 22139 22142 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250543870 14420721664 7890 33554432000 4194304 4196468 140727602634432 139726403324560 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22148] ppid=22139 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22148/stat : 22148 (java) S 22139 22142 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250543870 14420721664 7890 33554432000 4194304 4196468 140727602634432 139726402271760 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22149] ppid=22139 vsize=14082736 memory=140400633230976 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22149/stat : 22149 (java) S 22139 22142 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250543871 14420721664 7890 33554432000 4194304 4196468 140727602634432 139725722061424 139726809422466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22150] ppid=22139 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22150/stat : 22150 (java) S 22139 22142 21822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250543872 14420721664 7890 33554432000 4194304 4196468 140727602634432 139725721007392 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22151] ppid=22139 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22151/stat : 22151 (java) S 22139 22142 21822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250543872 14420721664 7890 33554432000 4194304 4196468 140727602634432 139725719955056 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22152] ppid=22139 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22152/stat : 22152 (java) S 22139 22142 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250543874 14420721664 7890 33554432000 4194304 4196468 140727602634432 139725718903376 139726809429915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22153] ppid=22139 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22153/stat : 22153 (java) S 22139 22142 21822 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 250543874 14420721664 7890 33554432000 4194304 4196468 140727602634432 139725717850224 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22154] ppid=22139 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22154/stat : 22154 (java) S 22139 22142 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250543874 14420721664 7890 33554432000 4194304 4196468 140727602634432 139725716797424 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22155] ppid=22139 vsize=14082736 memory=140400633230976 CPUtime=0.01 cores=0,2,4,6
/proc/22142/task/22155/stat : 22155 (java) R 22139 22142 21822 0 -1 4202560 285 0 0 0 1 0 0 0 20 0 15 0 250543874 14420721664 7890 33554432000 4194304 4196468 140727602634432 139725715745136 139726809423254 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22156] ppid=22139 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22156/stat : 22156 (java) S 22139 22142 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250543875 14420721664 7890 33554432000 4194304 4196468 140727602634432 139725714692576 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22157] ppid=22139 vsize=14082736 memory=140400633230976 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22157/stat : 22157 (java) S 22139 22142 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250543875 14420721664 7890 33554432000 4194304 4196468 140727602634432 139725713640368 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31560 KiB

[startup+0.215482 s]*
/proc/loadavg: 1.55 1.57 1.45 5/216 22157
/proc/meminfo: memFree=21103952/32770624 swapFree=67105356/67108860
[pid=22142] ppid=22139 vsize=14082736 memory=47524 CPUtime=0.33 cores=0,2,4,6
/proc/22142/stat : 22142 (java) S 22139 22142 21822 0 -1 1077944320 10493 0 0 0 31 2 0 0 20 0 15 0 250543869 14420721664 11881 33554432000 4194304 4196468 140727602634432 140727602616976 139726809411319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
/proc/22142/statm: 3520684 11881 3366 1 0 3482761 0
[pid=22142/tid=22144] ppid=22139 vsize=14082736 memory=7022364594140610616 CPUtime=0.21 cores=0,2,4,6
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 21822 0 -1 4202560 8195 0 0 0 20 1 0 0 20 0 15 0 250543869 14420721664 11881 33554432000 4194304 4196468 140727602634432 139726813636776 139726789598439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22145] ppid=22139 vsize=14082736 memory=365 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22145/stat : 22145 (java) S 22139 22142 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250543870 14420721664 11881 33554432000 4194304 4196468 140727602634432 139726405429648 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22146] ppid=22139 vsize=14082736 memory=288370776784942720 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22146/stat : 22146 (java) S 22139 22142 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250543870 14420721664 11881 33554432000 4194304 4196468 140727602634432 139726404376848 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22147] ppid=22139 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22147/stat : 22147 (java) S 22139 22142 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250543870 14420721664 11881 33554432000 4194304 4196468 140727602634432 139726403324560 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22148] ppid=22139 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22148/stat : 22148 (java) S 22139 22142 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250543870 14420721664 11881 33554432000 4194304 4196468 140727602634432 139726402271760 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22149] ppid=22139 vsize=14082736 memory=140400633230976 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22149/stat : 22149 (java) S 22139 22142 21822 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250543871 14420721664 11881 33554432000 4194304 4196468 140727602634432 139725722061424 139726809422466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22150] ppid=22139 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22150/stat : 22150 (java) S 22139 22142 21822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250543872 14420721664 11881 33554432000 4194304 4196468 140727602634432 139725721007392 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22151] ppid=22139 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22151/stat : 22151 (java) S 22139 22142 21822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250543872 14420721664 11881 33554432000 4194304 4196468 140727602634432 139725719955056 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22152] ppid=22139 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22152/stat : 22152 (java) S 22139 22142 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250543874 14420721664 11881 33554432000 4194304 4196468 140727602634432 139725718903376 139726809429915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22153] ppid=22139 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22142/task/22153/stat : 22153 (java) S 22139 22142 21822 0 -1 1077944384 385 0 0 0 2 0 0 0 20 0 15 0 250543874 14420721664 11881 33554432000 4194304 4196468 140727602634432 139725717850224 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22154] ppid=22139 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22142/task/22154/stat : 22154 (java) S 22139 22142 21822 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 15 0 250543874 14420721664 11881 33554432000 4194304 4196468 140727602634432 139725716797424 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22155] ppid=22139 vsize=14082736 memory=140400633230976 CPUtime=0.06 cores=0,2,4,6
/proc/22142/task/22155/stat : 22155 (java) S 22139 22142 21822 0 -1 1077944384 310 0 0 0 6 0 0 0 20 0 15 0 250543874 14420721664 11881 33554432000 4194304 4196468 140727602634432 139725715745136 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22156] ppid=22139 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22156/stat : 22156 (java) S 22139 22142 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250543875 14420721664 11881 33554432000 4194304 4196468 140727602634432 139725714692576 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22157] ppid=22139 vsize=14082736 memory=140400633230976 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22157/stat : 22157 (java) S 22139 22142 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250543875 14420721664 11881 33554432000 4194304 4196468 140727602634432 139725713640368 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47524 KiB

[startup+0.314889 s]*
/proc/loadavg: 1.55 1.57 1.45 3/216 22157
/proc/meminfo: memFree=21100912/32770624 swapFree=67105356/67108860
[pid=22142] ppid=22139 vsize=14082736 memory=50972 CPUtime=0.44 cores=0,2,4,6
/proc/22142/stat : 22142 (java) S 22139 22142 21822 0 -1 1077944320 10830 0 0 0 42 2 0 0 20 0 15 0 250543869 14420721664 12743 33554432000 4194304 4196468 140727602634432 140727602616976 139726809411319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
/proc/22142/statm: 3520684 12743 3407 1 0 3482761 0
[pid=22142/tid=22144] ppid=22139 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 21822 0 -1 4202560 8509 0 0 0 29 1 0 0 20 0 15 0 250543869 14420721664 12743 33554432000 4194304 4196468 140727602634432 139726813619152 139726794576974 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22145] ppid=22139 vsize=14082736 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22145/stat : 22145 (java) S 22139 22142 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250543870 14420721664 12743 33554432000 4194304 4196468 140727602634432 139726405429648 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22146] ppid=22139 vsize=14082736 memory=288370776784942720 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22146/stat : 22146 (java) S 22139 22142 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250543870 14420721664 12743 33554432000 4194304 4196468 140727602634432 139726404376848 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22147] ppid=22139 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22147/stat : 22147 (java) S 22139 22142 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250543870 14420721664 12743 33554432000 4194304 4196468 140727602634432 139726403324560 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22148] ppid=22139 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22148/stat : 22148 (java) S 22139 22142 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250543870 14420721664 12743 33554432000 4194304 4196468 140727602634432 139726402271760 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22149] ppid=22139 vsize=14082736 memory=140400633230976 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22149/stat : 22149 (java) S 22139 22142 21822 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250543871 14420721664 12743 33554432000 4194304 4196468 140727602634432 139725722061424 139726809422466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22150] ppid=22139 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22150/stat : 22150 (java) S 22139 22142 21822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250543872 14420721664 12743 33554432000 4194304 4196468 140727602634432 139725721007392 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22151] ppid=22139 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22151/stat : 22151 (java) S 22139 22142 21822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250543872 14420721664 12743 33554432000 4194304 4196468 140727602634432 139725719955056 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22152] ppid=22139 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22152/stat : 22152 (java) S 22139 22142 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250543874 14420721664 12743 33554432000 4194304 4196468 140727602634432 139725718903376 139726809429915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22153] ppid=22139 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22142/task/22153/stat : 22153 (java) S 22139 22142 21822 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 250543874 14420721664 12743 33554432000 4194304 4196468 140727602634432 139725717850224 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22154] ppid=22139 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22142/task/22154/stat : 22154 (java) S 22139 22142 21822 0 -1 1077944384 221 0 0 0 1 0 0 0 20 0 15 0 250543874 14420721664 12743 33554432000 4194304 4196468 140727602634432 139725716797424 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22155] ppid=22139 vsize=14082736 memory=140400633230976 CPUtime=0.08 cores=0,2,4,6
/proc/22142/task/22155/stat : 22155 (java) S 22139 22142 21822 0 -1 1077944384 316 0 0 0 8 0 0 0 20 0 15 0 250543874 14420721664 12743 33554432000 4194304 4196468 140727602634432 139725715745136 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22156] ppid=22139 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22156/stat : 22156 (java) S 22139 22142 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250543875 14420721664 12743 33554432000 4194304 4196468 140727602634432 139725714692576 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22157] ppid=22139 vsize=14082736 memory=140400633230976 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22157/stat : 22157 (java) S 22139 22142 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250543875 14420721664 12743 33554432000 4194304 4196468 140727602634432 139725713640368 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50972 KiB

[startup+0.700731 s]
/proc/loadavg: 1.55 1.57 1.45 2/200 22159
/proc/meminfo: memFree=21944828/32770624 swapFree=67105356/67108860
[pid=22142] ppid=22139 vsize=14084804 memory=88748 CPUtime=0.98 cores=0,2,4,6
/proc/22142/stat : 22142 (java) S 22139 22142 21822 0 -1 1077944320 17612 0 0 0 95 3 0 0 20 0 15 0 250543869 14422839296 22187 33554432000 4194304 4196468 140727602634432 140727602616976 139726809411319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
/proc/22142/statm: 3521201 22187 3499 1 0 3483273 0
[pid=22142/tid=22144] ppid=22139 vsize=14084804 memory=1752 CPUtime=0.67 cores=0,2,4,6
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 21822 0 -1 4202560 14930 0 0 0 65 2 0 0 20 0 15 0 250543869 14422839296 22187 33554432000 4194304 4196468 140727602634432 139726813626368 139726793491806 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22145] ppid=22139 vsize=14084804 memory=856 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22145/stat : 22145 (java) S 22139 22142 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250543870 14422839296 22187 33554432000 4194304 4196468 140727602634432 139726405429648 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22146] ppid=22139 vsize=14084804 memory=12468 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22146/stat : 22146 (java) S 22139 22142 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250543870 14422839296 22187 33554432000 4194304 4196468 140727602634432 139726404376848 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22147] ppid=22139 vsize=14084804 memory=752 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22147/stat : 22147 (java) S 22139 22142 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250543870 14422839296 22187 33554432000 4194304 4196468 140727602634432 139726403324560 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22148] ppid=22139 vsize=14084804 memory=1612 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22148/stat : 22148 (java) S 22139 22142 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250543870 14422839296 22187 33554432000 4194304 4196468 140727602634432 139726402271760 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22149] ppid=22139 vsize=14084804 memory=1812 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22149/stat : 22149 (java) S 22139 22142 21822 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250543871 14422839296 22187 33554432000 4194304 4196468 140727602634432 139725722061424 139726809422466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22150] ppid=22139 vsize=14084804 memory=1064 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22150/stat : 22150 (java) S 22139 22142 21822 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250543872 14422839296 22187 33554432000 4194304 4196468 140727602634432 139725721007392 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22151] ppid=22139 vsize=14084804 memory=6404 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22151/stat : 22151 (java) S 22139 22142 21822 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250543872 14422839296 22187 33554432000 4194304 4196468 140727602634432 139725719955056 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22152] ppid=22139 vsize=14084804 memory=4632 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22152/stat : 22152 (java) S 22139 22142 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250543874 14422839296 22187 33554432000 4194304 4196468 140727602634432 139725718903376 139726809429915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22153] ppid=22139 vsize=14084804 memory=3644 CPUtime=0.09 cores=0,2,4,6
/proc/22142/task/22153/stat : 22153 (java) S 22139 22142 21822 0 -1 1077944384 571 0 0 0 9 0 0 0 20 0 15 0 250543874 14422839296 22187 33554432000 4194304 4196468 140727602634432 139725717850224 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22154] ppid=22139 vsize=14084804 memory=1268 CPUtime=0.05 cores=0,2,4,6
/proc/22142/task/22154/stat : 22154 (java) S 22139 22142 21822 0 -1 1077944384 347 0 0 0 5 0 0 0 20 0 15 0 250543874 14422839296 22187 33554432000 4194304 4196468 140727602634432 139725716797424 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22155] ppid=22139 vsize=14084804 memory=1124 CPUtime=0.15 cores=0,2,4,6
/proc/22142/task/22155/stat : 22155 (java) S 22139 22142 21822 0 -1 1077944384 382 0 0 0 15 0 0 0 20 0 15 0 250543874 14422839296 22187 33554432000 4194304 4196468 140727602634432 139725715745136 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22156] ppid=22139 vsize=14084804 memory=14884 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22156/stat : 22156 (java) S 22139 22142 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250543875 14422839296 22187 33554432000 4194304 4196468 140727602634432 139725714692576 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22157] ppid=22139 vsize=14084804 memory=33 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22157/stat : 22157 (java) S 22139 22142 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250543875 14422839296 22187 33554432000 4194304 4196468 140727602634432 139725713640368 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88748 KiB

[startup+1.50074 s]
/proc/loadavg: 1.55 1.57 1.45 5/196 22210
/proc/meminfo: memFree=21910208/32770624 swapFree=67105356/67108860
[pid=22142] ppid=22139 vsize=14088900 memory=184064 CPUtime=3.45 cores=0,2,4,6
/proc/22142/stat : 22142 (java) S 22139 22142 21822 0 -1 1077944320 24550 0 0 0 338 7 0 0 20 0 15 0 250543869 14427033600 46016 33554432000 4194304 4196468 140727602634432 140727602616976 139726809411319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
/proc/22142/statm: 3522225 46016 3545 1 0 3484297 0
[pid=22142/tid=22144] ppid=22139 vsize=14088900 memory=7888 CPUtime=1.47 cores=0,2,4,6
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 21822 0 -1 4202560 17130 0 0 0 142 5 0 0 20 0 15 0 250543869 14427033600 46016 33554432000 4194304 4196468 140727602634432 139726813647128 139726449474555 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22145] ppid=22139 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22145/stat : 22145 (java) S 22139 22142 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250543870 14427033600 46016 33554432000 4194304 4196468 140727602634432 139726405429648 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22146] ppid=22139 vsize=14088900 memory=280801069828928 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22146/stat : 22146 (java) S 22139 22142 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250543870 14427033600 46016 33554432000 4194304 4196468 140727602634432 139726404376848 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22147] ppid=22139 vsize=14088900 memory=140400534965024 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22147/stat : 22147 (java) S 22139 22142 21822 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250543870 14427033600 46016 33554432000 4194304 4196468 140727602634432 139726403324560 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22148] ppid=22139 vsize=14088900 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22148/stat : 22148 (java) S 22139 22142 21822 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250543870 14427033600 46016 33554432000 4194304 4196468 140727602634432 139726402271760 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22149] ppid=22139 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22149/stat : 22149 (java) S 22139 22142 21822 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 250543871 14427033600 46016 33554432000 4194304 4196468 140727602634432 139725722061424 139726809422466 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0

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

/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 21822 0 -1 4202560 27516 0 0 0 16184 11 0 0 20 0 15 0 250543869 14429130752 86569 33554432000 4194304 4196468 140727602634432 139726813649216 139726453698725 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22145] ppid=22139 vsize=14090948 memory=348240 CPUtime=0.18 cores=0,2,4,6
/proc/22142/task/22145/stat : 22145 (java) S 22139 22142 21822 0 -1 1077944384 646 0 0 0 15 3 0 0 20 0 15 0 250543870 14429130752 86569 33554432000 4194304 4196468 140727602634432 139726405429648 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22146] ppid=22139 vsize=14090948 memory=403860 CPUtime=0.17 cores=0,2,4,6
/proc/22142/task/22146/stat : 22146 (java) S 22139 22142 21822 0 -1 1077944384 1595 0 0 0 14 3 0 0 20 0 15 0 250543870 14429130752 86569 33554432000 4194304 4196468 140727602634432 139726404376848 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22147] ppid=22139 vsize=14090948 memory=347216 CPUtime=0.18 cores=0,2,4,6
/proc/22142/task/22147/stat : 22147 (java) S 22139 22142 21822 0 -1 1077944384 3895 0 0 0 14 4 0 0 20 0 15 0 250543870 14429130752 86569 33554432000 4194304 4196468 140727602634432 139726403324560 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22148] ppid=22139 vsize=14090948 memory=346188 CPUtime=0.16 cores=0,2,4,6
/proc/22142/task/22148/stat : 22148 (java) S 22139 22142 21822 0 -1 1077944384 525 0 0 0 13 3 0 0 20 0 15 0 250543870 14429130752 86569 33554432000 4194304 4196468 140727602634432 139726402271760 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22149] ppid=22139 vsize=14090948 memory=346276 CPUtime=0.08 cores=0,2,4,6
/proc/22142/task/22149/stat : 22149 (java) S 22139 22142 21822 0 -1 1077944384 2283 0 0 0 7 1 0 0 20 0 15 0 250543871 14429130752 86569 33554432000 4194304 4196468 140727602634432 139725722061424 139726809422466 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22150] ppid=22139 vsize=14090948 memory=347216 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22150/stat : 22150 (java) S 22139 22142 21822 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 250543872 14429130752 86569 33554432000 4194304 4196468 140727602634432 139725721007456 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22151] ppid=22139 vsize=14090948 memory=347728 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22151/stat : 22151 (java) S 22139 22142 21822 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 250543872 14429130752 86569 33554432000 4194304 4196468 140727602634432 139725719955072 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22152] ppid=22139 vsize=14090948 memory=347728 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22152/stat : 22152 (java) S 22139 22142 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250543874 14429130752 86569 33554432000 4194304 4196468 140727602634432 139725718903376 139726809429915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22153] ppid=22139 vsize=14090948 memory=6791534058613427641 CPUtime=2.74 cores=0,2,4,6
/proc/22142/task/22153/stat : 22153 (java) S 22139 22142 21822 0 -1 1077944384 9069 0 0 0 272 2 0 0 20 0 15 0 250543874 14429130752 86569 33554432000 4194304 4196468 140727602634432 139725717850224 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22154] ppid=22139 vsize=14090948 memory=14884 CPUtime=2.41 cores=0,2,4,6
/proc/22142/task/22154/stat : 22154 (java) S 22139 22142 21822 0 -1 1077944384 8908 0 0 0 240 1 0 0 20 0 15 0 250543874 14429130752 86569 33554432000 4194304 4196468 140727602634432 139725716797424 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22155] ppid=22139 vsize=14090948 memory=349780 CPUtime=0.98 cores=0,2,4,6
/proc/22142/task/22155/stat : 22155 (java) S 22139 22142 21822 0 -1 1077944384 9475 0 0 0 97 1 0 0 20 0 15 0 250543874 14429130752 86569 33554432000 4194304 4196468 140727602634432 139725715745136 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22156] ppid=22139 vsize=14090948 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22156/stat : 22156 (java) S 22139 22142 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250543875 14429130752 86569 33554432000 4194304 4196468 140727602634432 139725714692576 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22157] ppid=22139 vsize=14090948 memory=3812 CPUtime=0.05 cores=0,2,4,6
/proc/22142/task/22157/stat : 22157 (java) S 22139 22142 21822 0 -1 1077944384 387 0 0 0 2 3 0 0 20 0 15 0 250543875 14429130752 86569 33554432000 4194304 4196468 140727602634432 139725713640368 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
Current children cumulated CPU time: 169.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 346276 KiB

[startup+222.301 s]
/proc/loadavg: 1.74 1.70 1.53 3/215 22237
/proc/meminfo: memFree=21394428/32770624 swapFree=67105356/67108860
[pid=22142] ppid=22139 vsize=14090948 memory=350148 CPUtime=229.31 cores=0,2,4,6
/proc/22142/stat : 22142 (java) S 22139 22142 21822 0 -1 1077944320 70133 0 0 0 22891 40 0 0 20 0 15 0 250543869 14429130752 87537 33554432000 4194304 4196468 140727602634432 140727602616976 139726809411319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
/proc/22142/statm: 3522737 87537 3590 1 0 3484809 0
[pid=22142/tid=22144] ppid=22139 vsize=14090948 memory=1612 CPUtime=221.71 cores=0,2,4,6
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 21822 0 -1 4202560 28262 0 0 0 22159 12 0 0 20 0 15 0 250543869 14429130752 87537 33554432000 4194304 4196468 140727602634432 139726813649424 139726454325310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22145] ppid=22139 vsize=14090948 memory=350664 CPUtime=0.27 cores=0,2,4,6
/proc/22142/task/22145/stat : 22145 (java) S 22139 22142 21822 0 -1 1077944384 829 0 0 0 23 4 0 0 20 0 15 0 250543870 14429130752 87537 33554432000 4194304 4196468 140727602634432 139726405429648 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22146] ppid=22139 vsize=14090948 memory=350988 CPUtime=0.28 cores=0,2,4,6
/proc/22142/task/22146/stat : 22146 (java) S 22139 22142 21822 0 -1 1077944384 1760 0 0 0 24 4 0 0 20 0 15 0 250543870 14429130752 87537 33554432000 4194304 4196468 140727602634432 139726404376848 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22147] ppid=22139 vsize=14090948 memory=351176 CPUtime=0.29 cores=0,2,4,6
/proc/22142/task/22147/stat : 22147 (java) S 22139 22142 21822 0 -1 1077944384 4108 0 0 0 24 5 0 0 20 0 15 0 250543870 14429130752 87537 33554432000 4194304 4196468 140727602634432 139726403324560 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22148] ppid=22139 vsize=14090948 memory=350856 CPUtime=0.28 cores=0,2,4,6
/proc/22142/task/22148/stat : 22148 (java) S 22139 22142 21822 0 -1 1077944384 1148 0 0 0 23 5 0 0 20 0 15 0 250543870 14429130752 87537 33554432000 4194304 4196468 140727602634432 139726402271760 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22149] ppid=22139 vsize=14090948 memory=351176 CPUtime=0.18 cores=0,2,4,6
/proc/22142/task/22149/stat : 22149 (java) S 22139 22142 21822 0 -1 1077944384 2458 0 0 0 17 1 0 0 20 0 15 0 250543871 14429130752 87537 33554432000 4194304 4196468 140727602634432 139725722061424 139726809422466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22150] ppid=22139 vsize=14090948 memory=350664 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22150/stat : 22150 (java) S 22139 22142 21822 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 250543872 14429130752 87537 33554432000 4194304 4196468 140727602634432 139725721007456 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22151] ppid=22139 vsize=14090948 memory=351176 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22151/stat : 22151 (java) S 22139 22142 21822 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 250543872 14429130752 87537 33554432000 4194304 4196468 140727602634432 139725719955072 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22152] ppid=22139 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22152/stat : 22152 (java) S 22139 22142 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250543874 14429130752 87537 33554432000 4194304 4196468 140727602634432 139725718903376 139726809429915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22153] ppid=22139 vsize=14090948 memory=350664 CPUtime=2.74 cores=0,2,4,6
/proc/22142/task/22153/stat : 22153 (java) S 22139 22142 21822 0 -1 1077944384 9071 0 0 0 272 2 0 0 20 0 15 0 250543874 14429130752 87537 33554432000 4194304 4196468 140727602634432 139725717850224 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22154] ppid=22139 vsize=14090948 memory=350664 CPUtime=2.41 cores=0,2,4,6
/proc/22142/task/22154/stat : 22154 (java) S 22139 22142 21822 0 -1 1077944384 8910 0 0 0 240 1 0 0 20 0 15 0 250543874 14429130752 87537 33554432000 4194304 4196468 140727602634432 139725716797424 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22155] ppid=22139 vsize=14090948 memory=350988 CPUtime=0.99 cores=0,2,4,6
/proc/22142/task/22155/stat : 22155 (java) S 22139 22142 21822 0 -1 1077944384 11744 0 0 0 97 2 0 0 20 0 15 0 250543874 14429130752 87537 33554432000 4194304 4196468 140727602634432 139725715745136 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22156] ppid=22139 vsize=14090948 memory=348808 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22156/stat : 22156 (java) S 22139 22142 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250543875 14429130752 87537 33554432000 4194304 4196468 140727602634432 139725714692576 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22157] ppid=22139 vsize=14090948 memory=3812 CPUtime=0.07 cores=0,2,4,6
/proc/22142/task/22157/stat : 22157 (java) S 22139 22142 21822 0 -1 1077944384 394 0 0 0 3 4 0 0 20 0 15 0 250543875 14429130752 87537 33554432000 4194304 4196468 140727602634432 139725713640368 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
Current children cumulated CPU time: 229.31 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 350148 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+244.901 s]
/proc/loadavg: 1.68 1.69 1.53 3/215 22238
/proc/meminfo: memFree=21393992/32770624 swapFree=67105356/67108860
[pid=22142] ppid=22139 vsize=14090948 memory=352332 CPUtime=252.01 cores=0,2,4,6
/proc/22142/stat : 22142 (java) S 22139 22142 21822 0 -1 1077944320 70859 0 0 0 25159 42 0 0 20 0 15 0 250543869 14429130752 88083 33554432000 4194304 4196468 140727602634432 140727602616976 139726809411319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
/proc/22142/statm: 3522737 88083 3590 1 0 3484809 0
[pid=22142/tid=22144] ppid=22139 vsize=14090948 memory=352332 CPUtime=244.24 cores=0,2,4,6
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 21822 0 -1 4202560 28488 0 0 0 24412 12 0 0 20 0 15 0 250543869 14429130752 88083 33554432000 4194304 4196468 140727602634432 139726813649392 140727604309233 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22145] ppid=22139 vsize=14090948 memory=352332 CPUtime=0.3 cores=0,2,4,6
/proc/22142/task/22145/stat : 22145 (java) S 22139 22142 21822 0 -1 1077944384 845 0 0 0 26 4 0 0 20 0 15 0 250543870 14429130752 88083 33554432000 4194304 4196468 140727602634432 139726405429648 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22146] ppid=22139 vsize=14090948 memory=3072 CPUtime=0.3 cores=0,2,4,6
/proc/22142/task/22146/stat : 22146 (java) S 22139 22142 21822 0 -1 1077944384 2015 0 0 0 26 4 0 0 20 0 15 0 250543870 14429130752 88083 33554432000 4194304 4196468 140727602634432 139726404376848 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22147] ppid=22139 vsize=14090948 memory=280801069957088 CPUtime=0.32 cores=0,2,4,6
/proc/22142/task/22147/stat : 22147 (java) S 22139 22142 21822 0 -1 1077944384 4141 0 0 0 27 5 0 0 20 0 15 0 250543870 14429130752 88083 33554432000 4194304 4196468 140727602634432 139726403324560 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22148] ppid=22139 vsize=14090948 memory=1064 CPUtime=0.31 cores=0,2,4,6
/proc/22142/task/22148/stat : 22148 (java) S 22139 22142 21822 0 -1 1077944384 1216 0 0 0 26 5 0 0 20 0 15 0 250543870 14429130752 88083 33554432000 4194304 4196468 140727602634432 139726402271760 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22149] ppid=22139 vsize=14090948 memory=352332 CPUtime=0.22 cores=0,2,4,6
/proc/22142/task/22149/stat : 22149 (java) S 22139 22142 21822 0 -1 1077944384 2567 0 0 0 20 2 0 0 20 0 15 0 250543871 14429130752 88083 33554432000 4194304 4196468 140727602634432 139725722061424 139726809422466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22150] ppid=22139 vsize=14090948 memory=352236 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22150/stat : 22150 (java) S 22139 22142 21822 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 250543872 14429130752 88083 33554432000 4194304 4196468 140727602634432 139725721007456 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22151] ppid=22139 vsize=14090948 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22151/stat : 22151 (java) S 22139 22142 21822 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 250543872 14429130752 88083 33554432000 4194304 4196468 140727602634432 139725719955072 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22152] ppid=22139 vsize=14090948 memory=2680 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22152/stat : 22152 (java) S 22139 22142 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250543874 14429130752 88083 33554432000 4194304 4196468 140727602634432 139725718903376 139726809429915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22153] ppid=22139 vsize=14090948 memory=2688 CPUtime=2.74 cores=0,2,4,6
/proc/22142/task/22153/stat : 22153 (java) S 22139 22142 21822 0 -1 1077944384 9071 0 0 0 272 2 0 0 20 0 15 0 250543874 14429130752 88083 33554432000 4194304 4196468 140727602634432 139725717850224 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22154] ppid=22139 vsize=14090948 memory=350148 CPUtime=2.41 cores=0,2,4,6
/proc/22142/task/22154/stat : 22154 (java) S 22139 22142 21822 0 -1 1077944384 8911 0 0 0 240 1 0 0 20 0 15 0 250543874 14429130752 88083 33554432000 4194304 4196468 140727602634432 139725716797424 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22155] ppid=22139 vsize=14090948 memory=3812 CPUtime=0.99 cores=0,2,4,6
/proc/22142/task/22155/stat : 22155 (java) S 22139 22142 21822 0 -1 1077944384 11745 0 0 0 97 2 0 0 20 0 15 0 250543874 14429130752 88083 33554432000 4194304 4196468 140727602634432 139725715745136 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22156] ppid=22139 vsize=14090948 memory=352332 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22156/stat : 22156 (java) S 22139 22142 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250543875 14429130752 88083 33554432000 4194304 4196468 140727602634432 139725714692576 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22157] ppid=22139 vsize=14090948 memory=1100 CPUtime=0.07 cores=0,2,4,6
/proc/22142/task/22157/stat : 22157 (java) S 22139 22142 21822 0 -1 1077944384 411 0 0 0 3 4 0 0 20 0 15 0 250543875 14429130752 88083 33554432000 4194304 4196468 140727602634432 139725713640368 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 352332 KiB

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

[startup+244.932 s]
# the end of solver process 22142 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.618 s, system=0.432465 s

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

[startup+244.901 s]
/proc/loadavg: 1.68 1.69 1.53 3/215 22238
/proc/meminfo: memFree=21393992/32770624 swapFree=67105356/67108860
[pid=22142] ppid=22139 vsize=14090948 memory=352332 CPUtime=252.01 cores=0,2,4,6
/proc/22142/stat : 22142 (java) S 22139 22142 21822 0 -1 1077944320 70859 0 0 0 25159 42 0 0 20 0 15 0 250543869 14429130752 88083 33554432000 4194304 4196468 140727602634432 140727602616976 139726809411319 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
/proc/22142/statm: 3522737 88083 3590 1 0 3484809 0
[pid=22142/tid=22144] ppid=22139 vsize=14090948 memory=352332 CPUtime=244.24 cores=0,2,4,6
/proc/22142/task/22144/stat : 22144 (java) R 22139 22142 21822 0 -1 4202560 28488 0 0 0 24412 12 0 0 20 0 15 0 250543869 14429130752 88083 33554432000 4194304 4196468 140727602634432 139726813649392 140727604309233 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22145] ppid=22139 vsize=14090948 memory=352332 CPUtime=0.3 cores=0,2,4,6
/proc/22142/task/22145/stat : 22145 (java) S 22139 22142 21822 0 -1 1077944384 845 0 0 0 26 4 0 0 20 0 15 0 250543870 14429130752 88083 33554432000 4194304 4196468 140727602634432 139726405429648 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22146] ppid=22139 vsize=14090948 memory=3072 CPUtime=0.3 cores=0,2,4,6
/proc/22142/task/22146/stat : 22146 (java) S 22139 22142 21822 0 -1 1077944384 2015 0 0 0 26 4 0 0 20 0 15 0 250543870 14429130752 88083 33554432000 4194304 4196468 140727602634432 139726404376848 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22147] ppid=22139 vsize=14090948 memory=280801069957088 CPUtime=0.32 cores=0,2,4,6
/proc/22142/task/22147/stat : 22147 (java) S 22139 22142 21822 0 -1 1077944384 4141 0 0 0 27 5 0 0 20 0 15 0 250543870 14429130752 88083 33554432000 4194304 4196468 140727602634432 139726403324560 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22148] ppid=22139 vsize=14090948 memory=1064 CPUtime=0.31 cores=0,2,4,6
/proc/22142/task/22148/stat : 22148 (java) S 22139 22142 21822 0 -1 1077944384 1216 0 0 0 26 5 0 0 20 0 15 0 250543870 14429130752 88083 33554432000 4194304 4196468 140727602634432 139726402271760 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22149] ppid=22139 vsize=14090948 memory=352332 CPUtime=0.22 cores=0,2,4,6
/proc/22142/task/22149/stat : 22149 (java) S 22139 22142 21822 0 -1 1077944384 2567 0 0 0 20 2 0 0 20 0 15 0 250543871 14429130752 88083 33554432000 4194304 4196468 140727602634432 139725722061424 139726809422466 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22150] ppid=22139 vsize=14090948 memory=352236 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22150/stat : 22150 (java) S 22139 22142 21822 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 250543872 14429130752 88083 33554432000 4194304 4196468 140727602634432 139725721007456 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22151] ppid=22139 vsize=14090948 memory=3812 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22151/stat : 22151 (java) S 22139 22142 21822 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 250543872 14429130752 88083 33554432000 4194304 4196468 140727602634432 139725719955072 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22152] ppid=22139 vsize=14090948 memory=2680 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22152/stat : 22152 (java) S 22139 22142 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250543874 14429130752 88083 33554432000 4194304 4196468 140727602634432 139725718903376 139726809429915 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22153] ppid=22139 vsize=14090948 memory=2688 CPUtime=2.74 cores=0,2,4,6
/proc/22142/task/22153/stat : 22153 (java) S 22139 22142 21822 0 -1 1077944384 9071 0 0 0 272 2 0 0 20 0 15 0 250543874 14429130752 88083 33554432000 4194304 4196468 140727602634432 139725717850224 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22154] ppid=22139 vsize=14090948 memory=350148 CPUtime=2.41 cores=0,2,4,6
/proc/22142/task/22154/stat : 22154 (java) S 22139 22142 21822 0 -1 1077944384 8911 0 0 0 240 1 0 0 20 0 15 0 250543874 14429130752 88083 33554432000 4194304 4196468 140727602634432 139725716797424 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22155] ppid=22139 vsize=14090948 memory=3812 CPUtime=0.99 cores=0,2,4,6
/proc/22142/task/22155/stat : 22155 (java) S 22139 22142 21822 0 -1 1077944384 11745 0 0 0 97 2 0 0 20 0 15 0 250543874 14429130752 88083 33554432000 4194304 4196468 140727602634432 139725715745136 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22156] ppid=22139 vsize=14090948 memory=352332 CPUtime=0 cores=0,2,4,6
/proc/22142/task/22156/stat : 22156 (java) S 22139 22142 21822 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250543875 14429130752 88083 33554432000 4194304 4196468 140727602634432 139725714692576 139726809421525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
[pid=22142/tid=22157] ppid=22139 vsize=14090948 memory=1100 CPUtime=0.07 cores=0,2,4,6
/proc/22142/task/22157/stat : 22157 (java) S 22139 22142 21822 0 -1 1077944384 411 0 0 0 3 4 0 0 20 0 15 0 250543875 14429130752 88083 33554432000 4194304 4196468 140727602634432 139725713640368 139726809422466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27721728 140727602639950 140727602640142 140727602640142 140727602642895 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 352332 KiB

Child status: 143
Real time (s): 244.932
CPU time (s): 252.05
CPU user time (s): 251.618
CPU system time (s): 0.432465
CPU usage (%): 102.906
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 646384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.618
system time used= 0.432465
maximum resident set size= 658188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72503
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13268
involuntary context switches= 406


# summary of solver processes directly reported to runsolver:
#   pid: 22142
#   total CPU time (s): 252.05
#   total CPU user time (s): 251.618
#   total CPU system time (s): 0.432465

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.38793 second user time and 2.39001 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-15 12:43:27
IDJOB=4310178
IDBENCH=141204
IDSOLVER=2795
FILE ID=node149/4310178-1534329807
RUNJOBID= node149-1534329313-21853
PBS_JOBID= 21038162
Free space on /tmp= 41680 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-14
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-graph-05-opt_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310178-1534329807/watcher-4310178-1534329807 -o /tmp/evaluation-result-4310178-1534329807/solver-4310178-1534329807 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534329313-21853 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 2012250141 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310178-1534329807.xml

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

MD5SUM BENCH= d0ab6aee5f30ff70d66f863e0e3556a1
RANDOM SEED=2012250141

node149.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.60
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.60
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.60
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.60
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:        21138120 kB
MemAvailable:   31028792 kB
Buffers:          190856 kB
Cached:          9881124 kB
SwapCached:         1704 kB
Active:          5220008 kB
Inactive:        5772696 kB
Active(anon):     871468 kB
Inactive(anon):   109736 kB
Active(file):    4348540 kB
Inactive(file):  5662960 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67105356 kB
Dirty:             35956 kB
Writeback:             0 kB
AnonPages:        963040 kB
Mapped:            68420 kB
Shmem:             57760 kB
Slab:             335644 kB
SReclaimable:     307632 kB
SUnreclaim:        28012 kB
KernelStack:        3824 kB
PageTables:         7472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1897940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    819200 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 41648 MiB
End job on node149 at 2018-08-15 12:47:32