Trace number 4312171

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-17SAT (TO)22566 252.049 241.338

General information on the benchmark

NameTravelingTournament/
TravelingTournament-a3-galaxy16_c18.xml
MD5SUMe08ad5e9bb2dce0f9ded0033a126b6aa
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21058
Best CPU time to get the best result obtained on this benchmark252.115
Satisfiable
(Un)Satisfiability was proved
Number of variables1936
Number of constraints8495
Number of domains3
Minimum domain size2
Maximum domain size66
Distribution of domain sizes[{"size":2,"count":960},{"size":16,"count":480},{"size":66,"count":496}]
Minimum variable degree2
Maximum variable degree50
Distribution of variable degrees[{"degree":2,"count":976},{"degree":47,"count":448},{"degree":48,"count":480},{"degree":49,"count":30},{"degree":50,"count":2}]
Minimum constraint arity2
Maximum constraint arity30
Distribution of constraint arities[{"arity":2,"count":481},{"arity":3,"count":32},{"arity":4,"count":6496},{"arity":5,"count":464},{"arity":16,"count":510},{"arity":18,"count":480},{"arity":30,"count":32}]
Number of extensional constraints496
Number of intensional constraints6977
Distribution of constraint types[{"type":"extension","count":496},{"type":"intension","count":6977},{"type":"regular","count":16},{"type":"allDifferent","count":30},{"type":"cardinality","count":16},{"type":"element","count":960}]
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.55	c version: 2018-08-17
0.67/0.55	c seed: 130888914
0.67/0.55	c timeout: 252
0.67/0.55	c memlimit: 11000
0.67/0.55	c nbcore: 1
0.67/0.57	c Parsing instance...
7.91/3.46	c Parsing done, starting search...
8.95/3.75	o 24139
9.58/3.92	o 24115
9.58/3.96	o 24092
9.58/3.96	o 24082
9.58/3.97	o 24071
9.58/3.99	o 24062
9.58/3.99	o 24052
9.58/3.99	o 24037
9.58/4.00	o 24027
9.58/4.00	o 24009
9.96/4.02	o 23961
9.96/4.03	o 23939
9.96/4.03	o 23936
9.96/4.07	o 23878
10.23/4.17	o 23861
10.23/4.17	o 23851
10.51/4.25	o 23848
10.51/4.25	o 23823
10.51/4.26	o 23817
10.51/4.26	o 23814
10.51/4.26	o 23795
10.51/4.26	o 23768
10.51/4.27	o 23748
10.51/4.27	o 23713
10.51/4.27	o 23710
10.51/4.28	o 23690
10.51/4.29	o 23665
11.72/4.67	o 23663
11.72/4.67	o 23660
11.72/4.69	o 23638
11.72/4.69	o 23613
11.72/4.69	o 23587
12.24/4.86	o 23583
12.24/4.86	o 23571
12.24/4.88	o 23415
12.24/4.88	o 23399
12.24/4.88	o 23343
12.59/4.93	o 23334
12.59/4.93	o 23322
12.59/4.94	o 23317
12.59/4.97	o 23305
12.59/4.98	o 23302
12.89/5.01	o 23299
12.89/5.02	o 23243
12.89/5.09	o 23159
15.74/7.24	o 23152
15.74/7.24	o 23122
15.74/7.24	o 23119
15.74/7.24	o 23089
19.28/10.57	o 23062
19.28/10.57	o 23047
19.28/10.57	o 23037
19.73/10.94	o 23033
19.73/10.94	o 23000
19.73/10.99	o 22993
19.73/11.00	o 22970
19.89/11.01	o 22947
19.89/11.07	o 22941
20.69/11.83	o 22929
20.69/11.83	o 22896
20.69/11.83	o 22845
20.69/11.84	o 22812
20.69/11.84	o 22790
20.90/12.02	o 22787
20.90/12.03	o 22765
21.29/12.44	o 22746
21.29/12.46	o 22745
21.29/12.46	o 22720
21.39/12.53	o 22710
21.39/12.53	o 22705
21.59/12.78	o 22700
21.59/12.78	o 22678
21.69/12.84	o 22655
22.19/13.33	o 22646
22.19/13.33	o 22641
22.19/13.40	o 22629
22.29/13.41	o 22589
22.29/13.41	o 22566
252.01/241.30	s SATISFIABLE
252.01/241.31	v <instantiation>
252.01/241.31	v 	<list>
252.01/241.31	v 		o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[0][22] h[0][23] h[0][24] h[0][25] h[0][26] h[0][27] h[0][28] h[0][29] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[1][22] h[1][23] h[1][24] h[1][25] h[1][26] h[1][27] h[1][28] h[1][29] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[2][22] h[2][23] h[2][24] h[2][25] h[2][26] h[2][27] h[2][28] h[2][29] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[3][22] h[3][23] h[3][24] h[3][25] h[3][26] h[3][27] h[3][28] h[3][29] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[4][22] h[4][23] h[4][24] h[4][25] h[4][26] h[4][27] h[4][28] h[4][29] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[5][22] h[5][23] h[5][24] h[5][25] h[5][26] h[5][27] h[5][28] h[5][29] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[6][22] h[6][23] h[6][24] h[6][25] h[6][26] h[6][27] h[6][28] h[6][29] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[7][22] h[7][23] h[7][24] h[7][25] h[7][26] h[7][27] h[7][28] h[7][29] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[8][22] h[8][23] h[8][24] h[8][25] h[8][26] h[8][27] h[8][28] h[8][29] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[9][22] h[9][23] h[9][24] h[9][25] h[9][26] h[9][27] h[9][28] h[9][29] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[10][22] h[10][23] h[10][24] h[10][25] h[10][26] h[10][27] h[10][28] h[10][29] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] h[11][22] h[11][23] h[11][24] h[11][25] h[11][26] h[11][27] h[11][28] h[11][29] h[12][0] h[12][1] h[12][2] h[12][3] h[12][4] h[12][5] h[12][6] h[12][7] h[12][8] h[12][9] h[12][10] h[12][11] h[12][12] h[12][13] h[12][14] h[12][15] h[12][16] h[12][17] h[12][18] h[12][19] h[12][20] h[12][21] h[12][22] h[12][23] h[12][24] h[12][25] h[12][26] h[12][27] h[12][28] h[12][29] h[13][0] h[13][1] h[13][2] h[13][3] h[13][4] h[13][5] h[13][6] h[13][7] h[13][8] h[13][9] h[13][10] h[13][11] h[13][12] h[13][13] h[13][14] h[13][15] h[13][16] h[13][17] h[13][18] h[13][19] h[13][20] h[13][21] h[13][22] h[13][23] h[13][24] h[13][25] h[13][26] h[13][27] h[13][28] h[13][29] h[14][0] h[14][1] h[14][2] h[14][3] h[14][4] h[14][5] h[14][6] h[14][7] h[14][8] h[14][9] h[14][10] h[14][11] h[14][12] h[14][13] h[14][14] h[14][15] h[14][16] h[14][17] h[14][18] h[14][19] h[14][20] h[14][21] h[14][22] h[14][23] h[14][24] h[14][25] h[14][26] h[14][27] h[14][28] h[14][29] h[15][0] h[15][1] h[15][2] h[15][3] h[15][4] h[15][5] h[15][6] h[15][7] h[15][8] h[15][9] h[15][10] h[15][11] h[15][12] h[15][13] h[15][14] h[15][15] h[15][16] h[15][17] h[15][18] h[15][19] h[15][20] h[15][21] h[15][22] h[15][23] h[15][24] h[15][25] h[15][26] h[15][27] h[15][28] h[15][29] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[0][22] a[0][23] a[0][24] a[0][25] a[0][26] a[0][27] a[0][28] a[0][29] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[1][22] a[1][23] a[1][24] a[1][25] a[1][26] a[1][27] a[1][28] a[1][29] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[2][22] a[2][23] a[2][24] a[2][25] a[2][26] a[2][27] a[2][28] a[2][29] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[3][22] a[3][23] a[3][24] a[3][25] a[3][26] a[3][27] a[3][28] a[3][29] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[4][22] a[4][23] a[4][24] a[4][25] a[4][26] a[4][27] a[4][28] a[4][29] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[5][22] a[5][23] a[5][24] a[5][25] a[5][26] a[5][27] a[5][28] a[5][29] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[6][22] a[6][23] a[6][24] a[6][25] a[6][26] a[6][27] a[6][28] a[6][29] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[7][22] a[7][23] a[7][24] a[7][25] a[7][26] a[7][27] a[7][28] a[7][29] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[8][22] a[8][23] a[8][24] a[8][25] a[8][26] a[8][27] a[8][28] a[8][29] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[9][22] a[9][23] a[9][24] a[9][25] a[9][26] a[9][27] a[9][28] a[9][29] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[10][22] a[10][23] a[10][24] a[10][25] a[10][26] a[10][27] a[10][28] a[10][29] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] a[11][22] a[11][23] a[11][24] a[11][25] a[11][26] a[11][27] a[11][28] a[11][29] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[12][7] a[12][8] a[12][9] a[12][10] a[12][11] a[12][12] a[12][13] a[12][14] a[12][15] a[12][16] a[12][17] a[12][18] a[12][19] a[12][20] a[12][21] a[12][22] a[12][23] a[12][24] a[12][25] a[12][26] a[12][27] a[12][28] a[12][29] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[13][7] a[13][8] a[13][9] a[13][10] a[13][11] a[13][12] a[13][13] a[13][14] a[13][15] a[13][16] a[13][17] a[13][18] a[13][19] a[13][20] a[13][21] a[13][22] a[13][23] a[13][24] a[13][25] a[13][26] a[13][27] a[13][28] a[13][29] a[14][0] a[14][1] a[14][2] a[14][3] a[14][4] a[14][5] a[14][6] a[14][7] a[14][8] a[14][9] a[14][10] a[14][11] a[14][12] a[14][13] a[14][14] a[14][15] a[14][16] a[14][17] a[14][18] a[14][19] a[14][20] a[14][21] a[14][22] a[14][23] a[14][24] a[14][25] a[14][26] a[14][27] a[14][28] a[14][29] a[15][0] a[15][1] a[15][2] a[15][3] a[15][4] a[15][5] a[15][6] a[15][7] a[15][8] a[15][9] a[15][10] a[15][11] a[15][12] a[15][13] a[15][14] a[15][15] a[15][16] a[15][17] a[15][18] a[15][19] a[15][20] a[15][21] a[15][22] a[15][23] a[15][24] a[15][25] a[15][26] a[15][27] a[15][28] a[15][29] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[0][23] t[0][24] t[0][25] t[0][26] t[0][27] t[0][28] t[0][29] t[0][30] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[1][23] t[1][24] t[1][25] t[1][26] t[1][27] t[1][28] t[1][29] t[1][30] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[2][23] t[2][24] t[2][25] t[2][26] t[2][27] t[2][28] t[2][29] t[2][30] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[3][23] t[3][24] t[3][25] t[3][26] t[3][27] t[3][28] t[3][29] t[3][30] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[4][23] t[4][24] t[4][25] t[4][26] t[4][27] t[4][28] t[4][29] t[4][30] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[5][23] t[5][24] t[5][25] t[5][26] t[5][27] t[5][28] t[5][29] t[5][30] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[6][23] t[6][24] t[6][25] t[6][26] t[6][27] t[6][28] t[6][29] t[6][30] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[7][23] t[7][24] t[7][25] t[7][26] t[7][27] t[7][28] t[7][29] t[7][30] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[8][23] t[8][24] t[8][25] t[8][26] t[8][27] t[8][28] t[8][29] t[8][30] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[9][23] t[9][24] t[9][25] t[9][26] t[9][27] t[9][28] t[9][29] t[9][30] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[10][23] t[10][24] t[10][25] t[10][26] t[10][27] t[10][28] t[10][29] t[10][30] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22] t[11][23] t[11][24] t[11][25] t[11][26] t[11][27] t[11][28] t[11][29] t[11][30] t[12][0] t[12][1] t[12][2] t[12][3] t[12][4] t[12][5] t[12][6] t[12][7] t[12][8] t[12][9] t[12][10] t[12][11] t[12][12] t[12][13] t[12][14] t[12][15] t[12][16] t[12][17] t[12][18] t[12][19] t[12][20] t[12][21] t[12][22] t[12][23] t[12][24] t[12][25] t[12][26] t[12][27] t[12][28] t[12][29] t[12][30] t[13][0] t[13][1] t[13][2] t[13][3] t[13][4] t[13][5] t[13][6] t[13][7] t[13][8] t[13][9] t[13][10] t[13][11] t[13][12] t[13][13] t[13][14] t[13][15] t[13][16] t[13][17] t[13][18] t[13][19] t[13][20] t[13][21] t[13][22] t[13][23] t[13][24] t[13][25] t[13][26] t[13][27] t[13][28] t[13][29] t[13][30] t[14][0] t[14][1] t[14][2] t[14][3] t[14][4] t[14][5] t[14][6] t[14][7] t[14][8] t[14][9] t[14][10] t[14][11] t[14][12] t[14][13] t[14][14] t[14][15] t[14][16] t[14][17] t[14][18] t[14][19] t[14][20] t[14][21] t[14][22] t[14][23] t[14][24] t[14][25] t[14][26] t[14][27] t[14][28] t[14][29] t[14][30] t[15][0] t[15][1] t[15][2] t[15][3] t[15][4] t[15][5] t[15][6] t[15][7] t[15][8] t[15][9] t[15][10] t[15][11] t[15][12] t[15][13] t[15][14] t[15][15] t[15][16] t[15][17] t[15][18] t[15][19] t[15][20] t[15][21] t[15][22] t[15][23] t[15][24] t[15][25] t[15][26] t[15][27] t[15][28] t[15][29] t[15][30]
252.01/241.31	v 	</list>
252.01/241.31	v 	<values>
252.01/241.31	v 		5 7 6 13 2 3 9 10 4 12 2 15 7 8 8 10 5 15 1 11 14 4 12 1 14 6 11 13 3 9 9 11 14 7 15 2 2 8 15 14 11 6 9 4 10 12 10 5 0 13 5 7 13 0 3 8 12 6 4 3 14 4 12 9 0 1 1 14 13 13 0 11 4 10 15 8 3 8 9 12 15 11 3 5 5 10 7 7 6 6 13 12 7 8 14 0 13 11 8 10 15 14 10 6 9 15 2 4 5 5 11 6 2 7 1 12 9 4 0 1 15 2 15 12 7 5 5 9 0 8 9 12 2 1 14 7 14 3 10 10 6 0 11 6 8 11 13 3 1 13 0 6 8 6 9 4 4 13 11 11 10 8 15 12 7 14 0 1 3 3 1 12 15 2 2 13 10 14 9 7 8 5 0 5 10 15 14 12 10 7 8 1 11 3 13 11 9 9 12 14 4 3 7 4 13 0 15 1 2 2 12 0 3 1 4 12 8 15 9 6 14 9 0 14 5 4 11 13 11 8 10 1 6 3 10 15 2 2 13 5 6 10 5 3 12 11 7 1 3 4 6 5 13 0 0 2 15 2 15 7 13 9 9 12 4 1 14 10 14 11 1 14 10 2 5 10 0 4 7 15 4 7 1 13 3 13 6 6 2 15 12 8 8 11 12 14 3 11 5 0 11 8 9 15 6 9 11 0 6 3 5 13 3 2 1 0 1 12 4 4 7 14 14 13 7 2 5 8 15 12 10 1 13 14 13 8 10 3 5 5 1 2 6 15 12 6 7 14 7 0 3 2 4 9 15 4 0 9 12 8 7 3 2 4 8 7 15 6 14 0 13 4 14 5 11 1 13 10 6 2 9 5 0 8 9 3 1 15 11 10 3 15 11 0 11 14 3 5 2 2 12 10 8 9 6 9 12 7 14 1 8 15 1 10 6 5 4 0 7 4 2 9 1 11 3 13 6 2 12 1 7 3 12 7 4 5 4 11 13 6 0 10 10 15 0 9 8 5 8 15 4 13 4 10 1 6 12 7 1 9 3 0 5 11 2 3 8 0 8 9 2 13 5 14 11 7 6 12 10 14 0 1 1 0 0 1 1 1 0 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 1 1 1 0 0 1 1 1 0 1 1 1 0 0 0 1 1 0 0 1 1 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 1 1 1 0 0 0 0 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 0 1 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 1 0 1 1 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 1 0 1 1 1 1 1 0 0 1 1 0 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 1 1 1 0 1 0 0 1 0 1 1 0 0 0 1 0 1 0 1 1 1 0 0 1 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 1 1 0 1 1 1 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 1 1 0 1 1 0 0 1 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 1 1 0 1 0 0 1 1 0 1 1 0 1 1 1 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 1 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 1 1 1 0 0 1 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 1 1 1 0 1 0 0 1 1 1 0 0 0 1 0 1 1 0 1 0 0 1 1 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 0 1 1 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 1 0 0 1 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 39 39 0 59 61 15 0 0 36 36 0 59 57 81 48 55 55 0 10 10 59 59 57 57 0 44 70 55 34 67 51 43 43 53 82 57 68 22 22 0 0 64 70 39 31 31 55 101 65 0 64 75 40 0 10 10 46 46 0 0 32 32 0 0 48 48 0 22 22 56 56 61 59 15 45 45 0 0 47 68 68 49 59 45 58 0 50 51 69 56 56 56 0 50 50 14 14 0 34 34 66 69 68 0 72 111 69 0 63 63 51 35 41 0 47 56 47 32 55 30 67 0 0 0 90 59 45 0 0 35 35 0 0 21 68 30 73 0 70 82 64 0 0 74 74 36 36 18 18 70 70 51 32 64 91 0 0 42 31 69 81 35 35 0 44 10 51 69 97 94 93 59 10 40 41 41 0 0 50 50 75 75 0 0 48 48 31 42 39 44 0 0 83 27 101 75 0 0 70 66 47 0 0 69 69 0 18 18 59 59 92 92 91 68 39 56 56 90 57 44 0 64 64 0 57 57 59 59 79 79 82 93 48 0 41 69 69 81 44 44 14 69 69 0 56 56 0 0 0 73 73 68 68 69 67 44 46 0 31 27 42 0 48 15 59 97 0 0 104 104 68 30 73 21 84 84 0 0 0 0 0 103 55 49 0 51 36 64 79 0 0 43 64 50 67 69 69 0 103 97 81 68 0 0 17 17 105 44 81 0 10 10 0 39 91 69 103 55 55 69 69 0 0 55 22 65 0 0 74 74 69 82 111 66 66 0 51 42 73 101 101 0 64 64 0 69 69 10 10 44 44 0 58 58 0 0 70 59 82 113 55 34 66 70 55 103 45 0 0 105 81 69 0 80 80 73 21 81 90 0 27 59 59 90 0 0 105 105 0 101 75 56 48 94 94 0 30 30 55 68 97 0 0 0 32 45 69 0 0 50 41 50 61 0 66 73 104 92 69 30 90 91 91 0 0 64 64 0 0 91 36 44 41 0 56 49 17 113 66 50 91 0 0 53 44 82 27 27 0 0 70 70 0 83 83 0 111 111 59 59 0 93 42 97 105 0 0 90 90 0 91 88 97 68 43 67 63 0 45 58 59 0 59 48 97 0 32 75 93 105 57 57 0 39 39 0 
252.01/241.31	v 	</values>
252.01/241.31	v </instantiation>

Verifier Data

OK	22566

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312171-1534570125/watcher-4312171-1534570125 -o /tmp/evaluation-result-4312171-1534570125/solver-4312171-1534570125 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534568625-12652 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 130888914 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312171-1534570125.xml 

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

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


[startup+0.100146 s]*
/proc/loadavg: 1.62 1.70 1.59 3/215 13906
/proc/meminfo: memFree=20854208/32770624 swapFree=67108372/67108860
[pid=13891] ppid=13888 vsize=14082736 memory=31428 CPUtime=0.12 cores=1,3,5,7
/proc/13891/stat : 13891 (java) S 13888 13891 9172 0 -1 1077944320 6776 0 0 0 11 1 0 0 20 0 15 0 274575672 14420721664 7857 33554432000 4194304 4196468 140723396096880 140723396079424 139675097382647 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
/proc/13891/statm: 3520684 7857 3156 1 0 3482761 0
[pid=13891/tid=13893] ppid=13888 vsize=14082736 memory=-8701690554791924607 CPUtime=0.09 cores=1,3,5,7
/proc/13891/task/13893/stat : 13893 (java) R 13888 13891 9172 0 -1 4202560 4819 0 0 0 8 1 0 0 20 0 15 0 274575672 14420721664 7857 33554432000 4194304 4196468 140723396096880 139675101603488 139675081463134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13894] ppid=13888 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13894/stat : 13894 (java) S 13888 13891 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274575673 14420721664 7857 33554432000 4194304 4196468 140723396096880 139675027471120 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13895] ppid=13888 vsize=14082736 memory=140002388756096 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13895/stat : 13895 (java) S 13888 13891 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274575673 14420721664 7857 33554432000 4194304 4196468 140723396096880 139675026418576 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13896] ppid=13888 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13896/stat : 13896 (java) S 13888 13891 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274575673 14420721664 7857 33554432000 4194304 4196468 140723396096880 139675025366032 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13897] ppid=13888 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13897/stat : 13897 (java) S 13888 13891 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274575673 14420721664 7857 33554432000 4194304 4196468 140723396096880 139675024313488 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13898] ppid=13888 vsize=14082736 memory=140002388756096 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13898/stat : 13898 (java) S 13888 13891 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274575674 14420721664 7857 33554432000 4194304 4196468 140723396096880 139674571622384 139675097393794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13899] ppid=13888 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13899/stat : 13899 (java) S 13888 13891 9172 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274575675 14420721664 7857 33554432000 4194304 4196468 140723396096880 139674570568608 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13900] ppid=13888 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13900/stat : 13900 (java) S 13888 13891 9172 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 274575675 14420721664 7857 33554432000 4194304 4196468 140723396096880 139674569516016 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13901] ppid=13888 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13901/stat : 13901 (java) S 13888 13891 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274575677 14420721664 7857 33554432000 4194304 4196468 140723396096880 139674568464592 139675097401243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13902] ppid=13888 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13902/stat : 13902 (java) S 13888 13891 9172 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 274575677 14420721664 7857 33554432000 4194304 4196468 140723396096880 139674567412208 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13903] ppid=13888 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13903/stat : 13903 (java) S 13888 13891 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274575677 14420721664 7857 33554432000 4194304 4196468 140723396096880 139674566359664 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13904] ppid=13888 vsize=14082736 memory=140002388756096 CPUtime=0.01 cores=1,3,5,7
/proc/13891/task/13904/stat : 13904 (java) S 13888 13891 9172 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 274575677 14420721664 7857 33554432000 4194304 4196468 140723396096880 139674565307120 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13905] ppid=13888 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13905/stat : 13905 (java) S 13888 13891 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274575677 14420721664 7857 33554432000 4194304 4196468 140723396096880 139674564254816 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13906] ppid=13888 vsize=14082736 memory=140002388756096 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13906/stat : 13906 (java) S 13888 13891 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274575678 14420721664 7857 33554432000 4194304 4196468 140723396096880 139674563201328 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31428 KiB

[startup+0.217553 s]*
/proc/loadavg: 1.62 1.70 1.59 5/215 13906
/proc/meminfo: memFree=20839076/32770624 swapFree=67108372/67108860
[pid=13891] ppid=13888 vsize=14082736 memory=47388 CPUtime=0.33 cores=1,3,5,7
/proc/13891/stat : 13891 (java) S 13888 13891 9172 0 -1 1077944320 10463 0 0 0 31 2 0 0 20 0 15 0 274575672 14420721664 11847 33554432000 4194304 4196468 140723396096880 140723396079424 139675097382647 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
/proc/13891/statm: 3520684 11847 3363 1 0 3482761 0
[pid=13891/tid=13893] ppid=13888 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/13891/task/13893/stat : 13893 (java) R 13888 13891 9172 0 -1 4202560 8165 0 0 0 19 1 0 0 20 0 15 0 274575672 14420721664 11847 33554432000 4194304 4196468 140723396096880 139675101603696 139675097394582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13894] ppid=13888 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13894/stat : 13894 (java) S 13888 13891 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274575673 14420721664 11847 33554432000 4194304 4196468 140723396096880 139675027471120 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13895] ppid=13888 vsize=14082736 memory=3545939873211500192 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13895/stat : 13895 (java) S 13888 13891 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274575673 14420721664 11847 33554432000 4194304 4196468 140723396096880 139675026418576 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13896] ppid=13888 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13896/stat : 13896 (java) S 13888 13891 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274575673 14420721664 11847 33554432000 4194304 4196468 140723396096880 139675025366032 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13897] ppid=13888 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13897/stat : 13897 (java) S 13888 13891 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274575673 14420721664 11847 33554432000 4194304 4196468 140723396096880 139675024313488 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13898] ppid=13888 vsize=14082736 memory=140002388756096 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13898/stat : 13898 (java) S 13888 13891 9172 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 274575674 14420721664 11847 33554432000 4194304 4196468 140723396096880 139674571622384 139675097393794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13899] ppid=13888 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13899/stat : 13899 (java) S 13888 13891 9172 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274575675 14420721664 11847 33554432000 4194304 4196468 140723396096880 139674570568608 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13900] ppid=13888 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13900/stat : 13900 (java) S 13888 13891 9172 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 274575675 14420721664 11847 33554432000 4194304 4196468 140723396096880 139674569516016 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13901] ppid=13888 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13901/stat : 13901 (java) S 13888 13891 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274575677 14420721664 11847 33554432000 4194304 4196468 140723396096880 139674568464592 139675097401243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13902] ppid=13888 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13891/task/13902/stat : 13902 (java) R 13888 13891 9172 0 -1 4202560 560 0 0 0 2 0 0 0 20 0 15 0 274575677 14420721664 11847 33554432000 4194304 4196468 140723396096880 139674567410224 139675078893568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13903] ppid=13888 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/13891/task/13903/stat : 13903 (java) R 13888 13891 9172 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 15 0 274575677 14420721664 11847 33554432000 4194304 4196468 140723396096880 139674566359664 139675097393794 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13904] ppid=13888 vsize=14082736 memory=140002388756096 CPUtime=0.07 cores=1,3,5,7
/proc/13891/task/13904/stat : 13904 (java) R 13888 13891 9172 0 -1 4202560 299 0 0 0 7 0 0 0 20 0 15 0 274575677 14420721664 11847 33554432000 4194304 4196468 140723396096880 139674565306304 139675097394582 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13905] ppid=13888 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13905/stat : 13905 (java) S 13888 13891 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274575677 14420721664 11847 33554432000 4194304 4196468 140723396096880 139674564254816 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13906] ppid=13888 vsize=14082736 memory=140002388756096 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13906/stat : 13906 (java) S 13888 13891 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274575678 14420721664 11847 33554432000 4194304 4196468 140723396096880 139674563201328 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47388 KiB

[startup+0.310767 s]*
/proc/loadavg: 1.62 1.70 1.59 3/215 13906
/proc/meminfo: memFree=20835912/32770624 swapFree=67108372/67108860
[pid=13891] ppid=13888 vsize=14082736 memory=50576 CPUtime=0.44 cores=1,3,5,7
/proc/13891/stat : 13891 (java) S 13888 13891 9172 0 -1 1077944320 10794 0 0 0 42 2 0 0 20 0 15 0 274575672 14420721664 12644 33554432000 4194304 4196468 140723396096880 140723396079424 139675097382647 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
/proc/13891/statm: 3520684 12644 3365 1 0 3482761 0
[pid=13891/tid=13893] ppid=13888 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/13891/task/13893/stat : 13893 (java) R 13888 13891 9172 0 -1 4202560 8478 0 0 0 28 1 0 0 20 0 15 0 274575672 14420721664 12644 33554432000 4194304 4196468 140723396096880 139675101592000 139675078946134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13894] ppid=13888 vsize=14082736 memory=304556161963917335 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13894/stat : 13894 (java) S 13888 13891 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274575673 14420721664 12644 33554432000 4194304 4196468 140723396096880 139675027471120 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13895] ppid=13888 vsize=14082736 memory=3474444129615365792 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13895/stat : 13895 (java) S 13888 13891 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274575673 14420721664 12644 33554432000 4194304 4196468 140723396096880 139675026418576 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13896] ppid=13888 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13896/stat : 13896 (java) S 13888 13891 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274575673 14420721664 12644 33554432000 4194304 4196468 140723396096880 139675025366032 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13897] ppid=13888 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13897/stat : 13897 (java) S 13888 13891 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274575673 14420721664 12644 33554432000 4194304 4196468 140723396096880 139675024313488 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13898] ppid=13888 vsize=14082736 memory=140002388756096 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13898/stat : 13898 (java) S 13888 13891 9172 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 274575674 14420721664 12644 33554432000 4194304 4196468 140723396096880 139674571622384 139675097393794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13899] ppid=13888 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13899/stat : 13899 (java) S 13888 13891 9172 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274575675 14420721664 12644 33554432000 4194304 4196468 140723396096880 139674570568608 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13900] ppid=13888 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13900/stat : 13900 (java) S 13888 13891 9172 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 274575675 14420721664 12644 33554432000 4194304 4196468 140723396096880 139674569516016 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13901] ppid=13888 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13901/stat : 13901 (java) S 13888 13891 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274575677 14420721664 12644 33554432000 4194304 4196468 140723396096880 139674568464592 139675097401243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13902] ppid=13888 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13891/task/13902/stat : 13902 (java) S 13888 13891 9172 0 -1 1077944384 568 0 0 0 3 0 0 0 20 0 15 0 274575677 14420721664 12644 33554432000 4194304 4196468 140723396096880 139674567412208 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13903] ppid=13888 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/13891/task/13903/stat : 13903 (java) S 13888 13891 9172 0 -1 1077944384 60 0 0 0 2 0 0 0 20 0 15 0 274575677 14420721664 12644 33554432000 4194304 4196468 140723396096880 139674566359664 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13904] ppid=13888 vsize=14082736 memory=140002388756096 CPUtime=0.08 cores=1,3,5,7
/proc/13891/task/13904/stat : 13904 (java) S 13888 13891 9172 0 -1 1077944384 305 0 0 0 8 0 0 0 20 0 15 0 274575677 14420721664 12644 33554432000 4194304 4196468 140723396096880 139674565307120 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13905] ppid=13888 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13905/stat : 13905 (java) S 13888 13891 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274575677 14420721664 12644 33554432000 4194304 4196468 140723396096880 139674564254816 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13906] ppid=13888 vsize=14082736 memory=140002388756096 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13906/stat : 13906 (java) S 13888 13891 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274575678 14420721664 12644 33554432000 4194304 4196468 140723396096880 139674563201328 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50576 KiB

[startup+0.700778 s]
/proc/loadavg: 1.62 1.70 1.59 5/215 13906
/proc/meminfo: memFree=20811480/32770624 swapFree=67108372/67108860
[pid=13891] ppid=13888 vsize=14084804 memory=88932 CPUtime=0.99 cores=1,3,5,7
/proc/13891/stat : 13891 (java) S 13888 13891 9172 0 -1 1077944320 17640 0 0 0 95 4 0 0 20 0 15 0 274575672 14422839296 22233 33554432000 4194304 4196468 140723396096880 140723396079424 139675097382647 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
/proc/13891/statm: 3521201 22233 3488 1 0 3483273 0
[pid=13891/tid=13893] ppid=13888 vsize=14084804 memory=1752 CPUtime=0.67 cores=1,3,5,7
/proc/13891/task/13893/stat : 13893 (java) R 13888 13891 9172 0 -1 4202560 14936 0 0 0 64 3 0 0 20 0 15 0 274575672 14422839296 22233 33554432000 4194304 4196468 140723396096880 139675101605248 139675081463134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13894] ppid=13888 vsize=14084804 memory=5540 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13894/stat : 13894 (java) S 13888 13891 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274575673 14422839296 22233 33554432000 4194304 4196468 140723396096880 139675027471120 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13895] ppid=13888 vsize=14084804 memory=4400 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13895/stat : 13895 (java) S 13888 13891 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274575673 14422839296 22233 33554432000 4194304 4196468 140723396096880 139675026418576 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13896] ppid=13888 vsize=14084804 memory=1620 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13896/stat : 13896 (java) S 13888 13891 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274575673 14422839296 22233 33554432000 4194304 4196468 140723396096880 139675025366032 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13897] ppid=13888 vsize=14084804 memory=1220 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13897/stat : 13897 (java) S 13888 13891 9172 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274575673 14422839296 22233 33554432000 4194304 4196468 140723396096880 139675024313488 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13898] ppid=13888 vsize=14084804 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13898/stat : 13898 (java) S 13888 13891 9172 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 274575674 14422839296 22233 33554432000 4194304 4196468 140723396096880 139674571622384 139675097393794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13899] ppid=13888 vsize=14084804 memory=868 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13899/stat : 13899 (java) S 13888 13891 9172 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274575675 14422839296 22233 33554432000 4194304 4196468 140723396096880 139674570568608 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13900] ppid=13888 vsize=14084804 memory=6616 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13900/stat : 13900 (java) S 13888 13891 9172 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 274575675 14422839296 22233 33554432000 4194304 4196468 140723396096880 139674569516016 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13901] ppid=13888 vsize=14084804 memory=7518026621751089001 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13901/stat : 13901 (java) S 13888 13891 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274575677 14422839296 22233 33554432000 4194304 4196468 140723396096880 139674568464592 139675097401243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13902] ppid=13888 vsize=14084804 memory=7881696724453321575 CPUtime=0.09 cores=1,3,5,7
/proc/13891/task/13902/stat : 13902 (java) S 13888 13891 9172 0 -1 1077944384 716 0 0 0 9 0 0 0 20 0 15 0 274575677 14422839296 22233 33554432000 4194304 4196468 140723396096880 139674567412208 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13903] ppid=13888 vsize=14084804 memory=5787213840016500561 CPUtime=0.05 cores=1,3,5,7
/proc/13891/task/13903/stat : 13903 (java) S 13888 13891 9172 0 -1 1077944384 214 0 0 0 5 0 0 0 20 0 15 0 274575677 14422839296 22233 33554432000 4194304 4196468 140723396096880 139674566359664 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13904] ppid=13888 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/13891/task/13904/stat : 13904 (java) S 13888 13891 9172 0 -1 1077944384 392 0 0 0 15 0 0 0 20 0 15 0 274575677 14422839296 22233 33554432000 4194304 4196468 140723396096880 139674565307120 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13905] ppid=13888 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13905/stat : 13905 (java) S 13888 13891 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274575677 14422839296 22233 33554432000 4194304 4196468 140723396096880 139674564254816 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13906] ppid=13888 vsize=14084804 memory=33 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13906/stat : 13906 (java) S 13888 13891 9172 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274575678 14422839296 22233 33554432000 4194304 4196468 140723396096880 139674563201328 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88932 KiB

[startup+1.50158 s]
/proc/loadavg: 1.62 1.70 1.59 5/215 13906
/proc/meminfo: memFree=20748260/32770624 swapFree=67108372/67108860
[pid=13891] ppid=13888 vsize=14088900 memory=230836 CPUtime=3.52 cores=1,3,5,7
/proc/13891/stat : 13891 (java) S 13888 13891 9172 0 -1 1077944320 25417 0 0 0 343 9 0 0 20 0 15 0 274575672 14427033600 57709 33554432000 4194304 4196468 140723396096880 140723396079424 139675097382647 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
/proc/13891/statm: 3522225 57709 3577 1 0 3484297 0
[pid=13891/tid=13893] ppid=13888 vsize=14088900 memory=6791534058613427641 CPUtime=1.46 cores=1,3,5,7
/proc/13891/task/13893/stat : 13893 (java) R 13888 13891 9172 0 -1 4202560 17333 0 0 0 141 5 0 0 20 0 15 0 274575672 14427033600 57709 33554432000 4194304 4196468 140723396096880 139675101618768 139674702372920 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13894] ppid=13888 vsize=14088900 memory=-8754540793456063680 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13894/stat : 13894 (java) S 13888 13891 9172 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 15 0 274575673 14427033600 57709 33554432000 4194304 4196468 140723396096880 139675027471120 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13895] ppid=13888 vsize=14088900 memory=-2843869621055772062 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13895/stat : 13895 (java) S 13888 13891 9172 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 274575673 14427033600 57709 33554432000 4194304 4196468 140723396096880 139675026418576 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13896] ppid=13888 vsize=14088900 memory=5450919713671312938 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13896/stat : 13896 (java) S 13888 13891 9172 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 274575673 14427033600 57709 33554432000 4194304 4196468 140723396096880 139675025366032 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13897] ppid=13888 vsize=14088900 memory=-7096649868621430206 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13897/stat : 13897 (java) S 13888 13891 9172 0 -1 1077944384 247 0 0 0 0 0 0 0 20 0 15 0 274575673 14427033600 57709 33554432000 4194304 4196468 140723396096880 139675024313488 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13898] ppid=13888 vsize=14088900 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13898/stat : 13898 (java) S 13888 13891 9172 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 15 0 274575674 14427033600 57709 33554432000 4194304 4196468 140723396096880 139674571622384 139675097393794 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0

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

/proc/13891/task/13893/stat : 13893 (java) R 13888 13891 9172 0 -1 4202560 37460 0 0 0 16095 51 0 0 20 0 15 0 274575672 14431227904 768645 33554432000 4194304 4196468 140723396096880 139675101620544 139674716420144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13894] ppid=13888 vsize=14092996 memory=56 CPUtime=0.43 cores=1,3,5,7
/proc/13891/task/13894/stat : 13894 (java) S 13888 13891 9172 0 -1 1077944384 1017 0 0 0 36 7 0 0 20 0 15 0 274575673 14431227904 768645 33554432000 4194304 4196468 140723396096880 139675027471120 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13895] ppid=13888 vsize=14092996 memory=3090484 CPUtime=0.41 cores=1,3,5,7
/proc/13891/task/13895/stat : 13895 (java) S 13888 13891 9172 0 -1 1077944384 750 0 0 0 34 7 0 0 20 0 15 0 274575673 14431227904 768645 33554432000 4194304 4196468 140723396096880 139675026418576 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13896] ppid=13888 vsize=14092996 memory=3090484 CPUtime=0.43 cores=1,3,5,7
/proc/13891/task/13896/stat : 13896 (java) S 13888 13891 9172 0 -1 1077944384 1413 0 0 0 36 7 0 0 20 0 15 0 274575673 14431227904 768645 33554432000 4194304 4196468 140723396096880 139675025366032 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13897] ppid=13888 vsize=14092996 memory=3074580 CPUtime=0.42 cores=1,3,5,7
/proc/13891/task/13897/stat : 13897 (java) S 13888 13891 9172 0 -1 1077944384 2065 0 0 0 36 6 0 0 20 0 15 0 274575673 14431227904 768645 33554432000 4194304 4196468 140723396096880 139675024313488 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13898] ppid=13888 vsize=14092996 memory=3074580 CPUtime=0.05 cores=1,3,5,7
/proc/13891/task/13898/stat : 13898 (java) S 13888 13891 9172 0 -1 1077944384 2572 0 0 0 4 1 0 0 20 0 15 0 274575674 14431227904 768645 33554432000 4194304 4196468 140723396096880 139674571622384 139675097393794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13899] ppid=13888 vsize=14092996 memory=3074580 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13899/stat : 13899 (java) S 13888 13891 9172 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274575675 14431227904 768645 33554432000 4194304 4196468 140723396096880 139674570568672 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13900] ppid=13888 vsize=14092996 memory=3090484 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13900/stat : 13900 (java) S 13888 13891 9172 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 274575675 14431227904 768645 33554432000 4194304 4196468 140723396096880 139674569516032 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13901] ppid=13888 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13901/stat : 13901 (java) S 13888 13891 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274575677 14431227904 768645 33554432000 4194304 4196468 140723396096880 139674568464592 139675097401243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13902] ppid=13888 vsize=14092996 memory=6876 CPUtime=3.75 cores=1,3,5,7
/proc/13891/task/13902/stat : 13902 (java) S 13888 13891 9172 0 -1 1077944384 10197 0 0 0 373 2 0 0 20 0 15 0 274575677 14431227904 768645 33554432000 4194304 4196468 140723396096880 139674567412208 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13903] ppid=13888 vsize=14092996 memory=1100 CPUtime=3.71 cores=1,3,5,7
/proc/13891/task/13903/stat : 13903 (java) S 13888 13891 9172 0 -1 1077944384 6393 0 0 0 370 1 0 0 20 0 15 0 274575677 14431227904 768645 33554432000 4194304 4196468 140723396096880 139674566359664 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13904] ppid=13888 vsize=14092996 memory=3090484 CPUtime=1.31 cores=1,3,5,7
/proc/13891/task/13904/stat : 13904 (java) S 13888 13891 9172 0 -1 1077944384 7430 0 0 0 129 2 0 0 20 0 15 0 274575677 14431227904 768645 33554432000 4194304 4196468 140723396096880 139674565307120 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13905] ppid=13888 vsize=14092996 memory=2144 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13905/stat : 13905 (java) S 13888 13891 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274575677 14431227904 768645 33554432000 4194304 4196468 140723396096880 139674564254816 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13906] ppid=13888 vsize=14092996 memory=3074580 CPUtime=0.1 cores=1,3,5,7
/proc/13891/task/13906/stat : 13906 (java) S 13888 13891 9172 0 -1 1077944384 265 0 0 0 5 5 0 0 20 0 15 0 274575678 14431227904 768645 33554432000 4194304 4196468 140723396096880 139674563201328 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 32 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
Current children cumulated CPU time: 172.14 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3074580 KiB

[startup+222.301 s]
/proc/loadavg: 2.03 1.79 1.65 3/215 13992
/proc/meminfo: memFree=17833088/32770624 swapFree=67108372/67108860
[pid=13891] ppid=13888 vsize=14092996 memory=2970848 CPUtime=232.65 cores=1,3,5,7
/proc/13891/stat : 13891 (java) S 13888 13891 9172 0 -1 1077944320 77498 0 0 0 23170 95 0 0 20 0 15 0 274575672 14431227904 742712 33554432000 4194304 4196468 140723396096880 140723396079424 139675097382647 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
/proc/13891/statm: 3523249 742712 3596 1 0 3485321 0
[pid=13891/tid=13893] ppid=13888 vsize=14092996 memory=2974108 CPUtime=221.22 cores=1,3,5,7
/proc/13891/task/13893/stat : 13893 (java) R 13888 13891 9172 0 -1 4202560 39762 0 0 0 22071 51 0 0 20 0 15 0 274575672 14431227904 742712 33554432000 4194304 4196468 140723396096880 139675101620784 139674716419968 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13894] ppid=13888 vsize=14092996 memory=2972056 CPUtime=0.59 cores=1,3,5,7
/proc/13891/task/13894/stat : 13894 (java) S 13888 13891 9172 0 -1 1077944384 1856 0 0 0 51 8 0 0 20 0 15 0 274575673 14431227904 742712 33554432000 4194304 4196468 140723396096880 139675027471120 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13895] ppid=13888 vsize=14092996 memory=2970760 CPUtime=0.58 cores=1,3,5,7
/proc/13891/task/13895/stat : 13895 (java) S 13888 13891 9172 0 -1 1077944384 1799 0 0 0 50 8 0 0 20 0 15 0 274575673 14431227904 742712 33554432000 4194304 4196468 140723396096880 139675026418576 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13896] ppid=13888 vsize=14092996 memory=2970760 CPUtime=0.57 cores=1,3,5,7
/proc/13891/task/13896/stat : 13896 (java) S 13888 13891 9172 0 -1 1077944384 1971 0 0 0 50 7 0 0 20 0 15 0 274575673 14431227904 742712 33554432000 4194304 4196468 140723396096880 139675025366032 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13897] ppid=13888 vsize=14092996 memory=2970760 CPUtime=0.59 cores=1,3,5,7
/proc/13891/task/13897/stat : 13897 (java) S 13888 13891 9172 0 -1 1077944384 2286 0 0 0 52 7 0 0 20 0 15 0 274575673 14431227904 742712 33554432000 4194304 4196468 140723396096880 139675024313488 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13898] ppid=13888 vsize=14092996 memory=2970760 CPUtime=0.11 cores=1,3,5,7
/proc/13891/task/13898/stat : 13898 (java) S 13888 13891 9172 0 -1 1077944384 3123 0 0 0 10 1 0 0 20 0 15 0 274575674 14431227904 742712 33554432000 4194304 4196468 140723396096880 139674571622384 139675097393794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13899] ppid=13888 vsize=14092996 memory=2970848 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13899/stat : 13899 (java) S 13888 13891 9172 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274575675 14431227904 742712 33554432000 4194304 4196468 140723396096880 139674570568672 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13900] ppid=13888 vsize=14092996 memory=2971544 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13900/stat : 13900 (java) S 13888 13891 9172 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 274575675 14431227904 742712 33554432000 4194304 4196468 140723396096880 139674569516032 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13901] ppid=13888 vsize=14092996 memory=2970848 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13901/stat : 13901 (java) S 13888 13891 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274575677 14431227904 742712 33554432000 4194304 4196468 140723396096880 139674568464592 139675097401243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13902] ppid=13888 vsize=14092996 memory=13756 CPUtime=3.75 cores=1,3,5,7
/proc/13891/task/13902/stat : 13902 (java) S 13888 13891 9172 0 -1 1077944384 10202 0 0 0 373 2 0 0 20 0 15 0 274575677 14431227904 742712 33554432000 4194304 4196468 140723396096880 139674567412208 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13903] ppid=13888 vsize=14092996 memory=2970848 CPUtime=3.71 cores=1,3,5,7
/proc/13891/task/13903/stat : 13903 (java) S 13888 13891 9172 0 -1 1077944384 6398 0 0 0 370 1 0 0 20 0 15 0 274575677 14431227904 742712 33554432000 4194304 4196468 140723396096880 139674566359664 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13904] ppid=13888 vsize=14092996 memory=11628 CPUtime=1.31 cores=1,3,5,7
/proc/13891/task/13904/stat : 13904 (java) S 13888 13891 9172 0 -1 1077944384 8369 0 0 0 129 2 0 0 20 0 15 0 274575677 14431227904 742712 33554432000 4194304 4196468 140723396096880 139674565307120 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13905] ppid=13888 vsize=14092996 memory=752 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13905/stat : 13905 (java) S 13888 13891 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274575677 14431227904 742712 33554432000 4194304 4196468 140723396096880 139674564254816 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13906] ppid=13888 vsize=14092996 memory=2970848 CPUtime=0.13 cores=1,3,5,7
/proc/13891/task/13906/stat : 13906 (java) S 13888 13891 9172 0 -1 1077944384 307 0 0 0 6 7 0 0 20 0 15 0 274575678 14431227904 742712 33554432000 4194304 4196468 140723396096880 139674563201328 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 32 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
Current children cumulated CPU time: 232.65 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2970848 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+241.301 s]
/proc/loadavg: 2.14 1.84 1.67 3/215 13992
/proc/meminfo: memFree=17814136/32770624 swapFree=67108372/67108860
[pid=13891] ppid=13888 vsize=14092996 memory=2967944 CPUtime=252.01 cores=1,3,5,7
/proc/13891/stat : 13891 (java) S 13888 13891 9172 0 -1 1077944320 79822 0 0 0 25103 98 0 0 20 0 15 0 274575672 14431227904 741986 33554432000 4194304 4196468 140723396096880 140723396079424 139675097382647 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
/proc/13891/statm: 3523249 741986 3596 1 0 3485321 0
[pid=13891/tid=13893] ppid=13888 vsize=14092996 memory=2971024 CPUtime=240.04 cores=1,3,5,7
/proc/13891/task/13893/stat : 13893 (java) R 13888 13891 9172 0 -1 4202560 40369 0 0 0 23953 51 0 0 20 0 15 0 274575672 14431227904 741986 33554432000 4194304 4196468 140723396096880 139675101620784 139674703187104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13894] ppid=13888 vsize=14092996 memory=2969484 CPUtime=0.71 cores=1,3,5,7
/proc/13891/task/13894/stat : 13894 (java) S 13888 13891 9172 0 -1 1077944384 2035 0 0 0 63 8 0 0 20 0 15 0 274575673 14431227904 741986 33554432000 4194304 4196468 140723396096880 139675027471120 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13895] ppid=13888 vsize=14092996 memory=2972508 CPUtime=0.69 cores=1,3,5,7
/proc/13891/task/13895/stat : 13895 (java) S 13888 13891 9172 0 -1 1077944384 2636 0 0 0 61 8 0 0 20 0 15 0 274575673 14431227904 741986 33554432000 4194304 4196468 140723396096880 139675026418576 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13896] ppid=13888 vsize=14092996 memory=2973312 CPUtime=0.69 cores=1,3,5,7
/proc/13891/task/13896/stat : 13896 (java) S 13888 13891 9172 0 -1 1077944384 2150 0 0 0 62 7 0 0 20 0 15 0 274575673 14431227904 741986 33554432000 4194304 4196468 140723396096880 139675025366032 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13897] ppid=13888 vsize=14092996 memory=2973536 CPUtime=0.7 cores=1,3,5,7
/proc/13891/task/13897/stat : 13897 (java) S 13888 13891 9172 0 -1 1077944384 2509 0 0 0 63 7 0 0 20 0 15 0 274575673 14431227904 741986 33554432000 4194304 4196468 140723396096880 139675024313488 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13898] ppid=13888 vsize=14092996 memory=2967944 CPUtime=0.16 cores=1,3,5,7
/proc/13891/task/13898/stat : 13898 (java) S 13888 13891 9172 0 -1 1077944384 3397 0 0 0 14 2 0 0 20 0 15 0 274575674 14431227904 741986 33554432000 4194304 4196468 140723396096880 139674571622384 139675097393794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13899] ppid=13888 vsize=14092996 memory=140002244115905 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13899/stat : 13899 (java) S 13888 13891 9172 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274575675 14431227904 741986 33554432000 4194304 4196468 140723396096880 139674570568672 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13900] ppid=13888 vsize=14092996 memory=2970848 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13900/stat : 13900 (java) S 13888 13891 9172 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 274575675 14431227904 741986 33554432000 4194304 4196468 140723396096880 139674569516032 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13901] ppid=13888 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13901/stat : 13901 (java) S 13888 13891 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274575677 14431227904 741986 33554432000 4194304 4196468 140723396096880 139674568464592 139675097401243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13902] ppid=13888 vsize=14092996 memory=1068 CPUtime=3.75 cores=1,3,5,7
/proc/13891/task/13902/stat : 13902 (java) S 13888 13891 9172 0 -1 1077944384 10205 0 0 0 373 2 0 0 20 0 15 0 274575677 14431227904 741986 33554432000 4194304 4196468 140723396096880 139674567412208 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13903] ppid=13888 vsize=14092996 memory=2970760 CPUtime=3.71 cores=1,3,5,7
/proc/13891/task/13903/stat : 13903 (java) S 13888 13891 9172 0 -1 1077944384 6400 0 0 0 370 1 0 0 20 0 15 0 274575677 14431227904 741986 33554432000 4194304 4196468 140723396096880 139674566359664 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13904] ppid=13888 vsize=14092996 memory=5540 CPUtime=1.31 cores=1,3,5,7
/proc/13891/task/13904/stat : 13904 (java) S 13888 13891 9172 0 -1 1077944384 8372 0 0 0 129 2 0 0 20 0 15 0 274575677 14431227904 741986 33554432000 4194304 4196468 140723396096880 139674565307120 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13905] ppid=13888 vsize=14092996 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13905/stat : 13905 (java) S 13888 13891 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274575677 14431227904 741986 33554432000 4194304 4196468 140723396096880 139674564254816 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13906] ppid=13888 vsize=14092996 memory=6876 CPUtime=0.14 cores=1,3,5,7
/proc/13891/task/13906/stat : 13906 (java) S 13888 13891 9172 0 -1 1077944384 324 0 0 0 7 7 0 0 20 0 15 0 274575678 14431227904 741986 33554432000 4194304 4196468 140723396096880 139674563201328 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2967944 KiB

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

[startup+241.338 s]
# the end of solver process 13891 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.052 s, system=0.997136 s

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

[startup+241.301 s]
/proc/loadavg: 2.14 1.84 1.67 3/215 13992
/proc/meminfo: memFree=17814136/32770624 swapFree=67108372/67108860
[pid=13891] ppid=13888 vsize=14092996 memory=2967944 CPUtime=252.01 cores=1,3,5,7
/proc/13891/stat : 13891 (java) S 13888 13891 9172 0 -1 1077944320 79822 0 0 0 25103 98 0 0 20 0 15 0 274575672 14431227904 741986 33554432000 4194304 4196468 140723396096880 140723396079424 139675097382647 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
/proc/13891/statm: 3523249 741986 3596 1 0 3485321 0
[pid=13891/tid=13893] ppid=13888 vsize=14092996 memory=2971024 CPUtime=240.04 cores=1,3,5,7
/proc/13891/task/13893/stat : 13893 (java) R 13888 13891 9172 0 -1 4202560 40369 0 0 0 23953 51 0 0 20 0 15 0 274575672 14431227904 741986 33554432000 4194304 4196468 140723396096880 139675101620784 139674703187104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13894] ppid=13888 vsize=14092996 memory=2969484 CPUtime=0.71 cores=1,3,5,7
/proc/13891/task/13894/stat : 13894 (java) S 13888 13891 9172 0 -1 1077944384 2035 0 0 0 63 8 0 0 20 0 15 0 274575673 14431227904 741986 33554432000 4194304 4196468 140723396096880 139675027471120 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13895] ppid=13888 vsize=14092996 memory=2972508 CPUtime=0.69 cores=1,3,5,7
/proc/13891/task/13895/stat : 13895 (java) S 13888 13891 9172 0 -1 1077944384 2636 0 0 0 61 8 0 0 20 0 15 0 274575673 14431227904 741986 33554432000 4194304 4196468 140723396096880 139675026418576 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13896] ppid=13888 vsize=14092996 memory=2973312 CPUtime=0.69 cores=1,3,5,7
/proc/13891/task/13896/stat : 13896 (java) S 13888 13891 9172 0 -1 1077944384 2150 0 0 0 62 7 0 0 20 0 15 0 274575673 14431227904 741986 33554432000 4194304 4196468 140723396096880 139675025366032 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13897] ppid=13888 vsize=14092996 memory=2973536 CPUtime=0.7 cores=1,3,5,7
/proc/13891/task/13897/stat : 13897 (java) S 13888 13891 9172 0 -1 1077944384 2509 0 0 0 63 7 0 0 20 0 15 0 274575673 14431227904 741986 33554432000 4194304 4196468 140723396096880 139675024313488 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13898] ppid=13888 vsize=14092996 memory=2967944 CPUtime=0.16 cores=1,3,5,7
/proc/13891/task/13898/stat : 13898 (java) S 13888 13891 9172 0 -1 1077944384 3397 0 0 0 14 2 0 0 20 0 15 0 274575674 14431227904 741986 33554432000 4194304 4196468 140723396096880 139674571622384 139675097393794 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13899] ppid=13888 vsize=14092996 memory=140002244115905 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13899/stat : 13899 (java) S 13888 13891 9172 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 274575675 14431227904 741986 33554432000 4194304 4196468 140723396096880 139674570568672 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13900] ppid=13888 vsize=14092996 memory=2970848 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13900/stat : 13900 (java) S 13888 13891 9172 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 274575675 14431227904 741986 33554432000 4194304 4196468 140723396096880 139674569516032 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13901] ppid=13888 vsize=14092996 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13901/stat : 13901 (java) S 13888 13891 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274575677 14431227904 741986 33554432000 4194304 4196468 140723396096880 139674568464592 139675097401243 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13902] ppid=13888 vsize=14092996 memory=1068 CPUtime=3.75 cores=1,3,5,7
/proc/13891/task/13902/stat : 13902 (java) S 13888 13891 9172 0 -1 1077944384 10205 0 0 0 373 2 0 0 20 0 15 0 274575677 14431227904 741986 33554432000 4194304 4196468 140723396096880 139674567412208 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13903] ppid=13888 vsize=14092996 memory=2970760 CPUtime=3.71 cores=1,3,5,7
/proc/13891/task/13903/stat : 13903 (java) S 13888 13891 9172 0 -1 1077944384 6400 0 0 0 370 1 0 0 20 0 15 0 274575677 14431227904 741986 33554432000 4194304 4196468 140723396096880 139674566359664 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13904] ppid=13888 vsize=14092996 memory=5540 CPUtime=1.31 cores=1,3,5,7
/proc/13891/task/13904/stat : 13904 (java) S 13888 13891 9172 0 -1 1077944384 8372 0 0 0 129 2 0 0 20 0 15 0 274575677 14431227904 741986 33554432000 4194304 4196468 140723396096880 139674565307120 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13905] ppid=13888 vsize=14092996 memory=3812 CPUtime=0 cores=1,3,5,7
/proc/13891/task/13905/stat : 13905 (java) S 13888 13891 9172 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274575677 14431227904 741986 33554432000 4194304 4196468 140723396096880 139674564254816 139675097392853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
[pid=13891/tid=13906] ppid=13888 vsize=14092996 memory=6876 CPUtime=0.14 cores=1,3,5,7
/proc/13891/task/13906/stat : 13906 (java) S 13888 13891 9172 0 -1 1077944384 324 0 0 0 7 7 0 0 20 0 15 0 274575678 14431227904 741986 33554432000 4194304 4196468 140723396096880 139674563201328 139675097393794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 32 0 0 6293624 6294260 14315520 140723396101199 140723396101390 140723396101390 140723396104143 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 2967944 KiB

Child status: 143
Real time (s): 241.338
CPU time (s): 252.049
CPU user time (s): 251.052
CPU system time (s): 0.997136
CPU usage (%): 104.438
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 3514348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.052
system time used= 0.997136
maximum resident set size= 3516460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81917
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12366
involuntary context switches= 254


# summary of solver processes directly reported to runsolver:
#   pid: 13891
#   total CPU time (s): 252.049
#   total CPU user time (s): 251.052
#   total CPU system time (s): 0.997136

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.58428 second user time and 2.2845 second system time

The end

Launcher Data

Begin job on node137 at 2018-08-18 07:28:45
IDJOB=4312171
IDBENCH=141548
IDSOLVER=2800
FILE ID=node137/4312171-1534570125
RUNJOBID= node137-1534568625-12652
PBS_JOBID= 21038634
Free space on /tmp= 43528 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
BENCH NAME= XCSP18/TravelingTournament/TravelingTournament-a3-galaxy16_c18.xml
COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312171-1534570125/watcher-4312171-1534570125 -o /tmp/evaluation-result-4312171-1534570125/solver-4312171-1534570125 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534568625-12652 --watchdog 312  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 130888914 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312171-1534570125.xml

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

MD5SUM BENCH= e08ad5e9bb2dce0f9ded0033a126b6aa
RANDOM SEED=130888914

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20872576 kB
MemAvailable:   31720080 kB
Buffers:          217216 kB
Cached:         10883736 kB
SwapCached:            8 kB
Active:          7529652 kB
Inactive:        3793576 kB
Active(anon):     191644 kB
Inactive(anon):    99076 kB
Active(file):    7338008 kB
Inactive(file):  3694500 kB
Unevictable:        7196 kB
Mlocked:            7196 kB
SwapTotal:      67108860 kB
SwapFree:       67108372 kB
Dirty:             36156 kB
Writeback:             0 kB
AnonPages:        159832 kB
Mapped:            33276 kB
Shmem:             66008 kB
Slab:             272828 kB
SReclaimable:     243456 kB
SUnreclaim:        29372 kB
KernelStack:        3808 kB
PageTables:         5556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1259948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 43492 MiB
End job on node137 at 2018-08-18 07:32:47