Trace number 4311575

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)113 2520.11 2489.74

General information on the benchmark

NamePeacableArmies/
PeacableArmies-m2-50_c18.xml
MD5SUMa108db2a0a555905573fa2757742798d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark113
Best CPU time to get the best result obtained on this benchmark2520.11
Satisfiable
(Un)Satisfiability was proved
Number of variables2502
Number of constraints203353
Number of domains2
Minimum domain size3
Maximum domain size1250
Distribution of domain sizes[{"size":3,"count":2500},{"size":1250,"count":2}]
Minimum variable degree2
Maximum variable degree197
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":1},{"degree":149,"count":196},{"degree":151,"count":188},{"degree":153,"count":180},{"degree":155,"count":172},{"degree":157,"count":164},{"degree":159,"count":156},{"degree":161,"count":148},{"degree":163,"count":140},{"degree":165,"count":132},{"degree":167,"count":124},{"degree":169,"count":116},{"degree":171,"count":108},{"degree":173,"count":100},{"degree":175,"count":92},{"degree":177,"count":84},{"degree":179,"count":76},{"degree":181,"count":68},{"degree":183,"count":60},{"degree":185,"count":52},{"degree":187,"count":44},{"degree":189,"count":36},{"degree":191,"count":28},{"degree":193,"count":20},{"degree":195,"count":12},{"degree":197,"count":4}]
Minimum constraint arity2
Maximum constraint arity2501
Distribution of constraint arities[{"arity":2,"count":203351},{"arity":2501,"count":2}]
Number of extensional constraints0
Number of intensional constraints203351
Distribution of constraint types[{"type":"intension","count":203351},{"type":"count","count":2}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


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

Solver Data 

0.68/0.56	c version: 2018-08-17
0.68/0.56	c seed: 1939145735
0.68/0.56	c timeout: 2520
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 1
0.68/0.58	c Parsing instance...
17.23/9.60	c Parsing done, starting search...
30.39/20.99	o 77
30.53/21.10	o 78
287.47/272.40	o 79
288.38/273.34	o 80
288.63/273.55	o 81
288.77/273.69	o 82
288.87/273.73	o 83
288.97/273.81	o 84
288.97/273.81	o 85
288.97/273.81	o 86
289.07/273.90	o 87
289.07/273.90	o 88
289.07/273.93	o 89
290.29/275.11	o 90
291.38/276.22	o 91
291.38/276.23	o 92
291.38/276.30	o 93
291.68/276.59	o 94
291.88/276.71	o 95
291.98/276.80	o 96
291.98/276.89	o 97
292.21/277.02	o 98
292.21/277.08	o 99
292.21/277.09	o 100
305.92/290.60	o 101
441.61/425.67	o 102
442.07/426.10	o 103
442.36/426.38	o 104
442.76/426.71	o 105
442.86/426.89	o 106
442.96/426.95	o 107
443.26/427.22	o 108
443.36/427.30	o 109
443.36/427.34	o 110
443.36/427.39	o 111
444.97/429.00	o 112
1540.39/1520.64	o 113
2520.05/2489.70	s SATISFIABLE
2520.05/2489.71	v <instantiation>
2520.05/2489.71	v 	<list>
2520.05/2489.71	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[0][36] x[0][37] x[0][38] x[0][39] x[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[0][45] x[0][46] x[0][47] x[0][48] x[0][49] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[1][45] x[1][46] x[1][47] x[1][48] x[1][49] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[2][45] x[2][46] x[2][47] x[2][48] x[2][49] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[3][45] x[3][46] x[3][47] x[3][48] x[3][49] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[4][45] x[4][46] x[4][47] x[4][48] x[4][49] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[5][45] x[5][46] x[5][47] x[5][48] x[5][49] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[6][45] x[6][46] x[6][47] x[6][48] x[6][49] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[7][45] x[7][46] x[7][47] x[7][48] x[7][49] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[8][45] x[8][46] x[8][47] x[8][48] x[8][49] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[9][45] x[9][46] x[9][47] x[9][48] x[9][49] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[10][45] x[10][46] x[10][47] x[10][48] x[10][49] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[11][45] x[11][46] x[11][47] x[11][48] x[11][49] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[12][45] x[12][46] x[12][47] x[12][48] x[12][49] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[13][45] x[13][46] x[13][47] x[13][48] x[13][49] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[14][45] x[14][46] x[14][47] x[14][48] x[14][49] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[15][45] x[15][46] x[15][47] x[15][48] x[15][49] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[16][45] x[16][46] x[16][47] x[16][48] x[16][49] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[17][45] x[17][46] x[17][47] x[17][48] x[17][49] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[18][45] x[18][46] x[18][47] x[18][48] x[18][49] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[19][45] x[19][46] x[19][47] x[19][48] x[19][49] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[20][45] x[20][46] x[20][47] x[20][48] x[20][49] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[21][45] x[21][46] x[21][47] x[21][48] x[21][49] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[22][45] x[22][46] x[22][47] x[22][48] x[22][49] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[23][45] x[23][46] x[23][47] x[23][48] x[23][49] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[24][45] x[24][46] x[24][47] x[24][48] x[24][49] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[25][45] x[25][46] x[25][47] x[25][48] x[25][49] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[26][45] x[26][46] x[26][47] x[26][48] x[26][49] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[27][45] x[27][46] x[27][47] x[27][48] x[27][49] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[28][45] x[28][46] x[28][47] x[28][48] x[28][49] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[29][45] x[29][46] x[29][47] x[29][48] x[29][49] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[30][45] x[30][46] x[30][47] x[30][48] x[30][49] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[31][45] x[31][46] x[31][47] x[31][48] x[31][49] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[32][45] x[32][46] x[32][47] x[32][48] x[32][49] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[33][45] x[33][46] x[33][47] x[33][48] x[33][49] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[34][45] x[34][46] x[34][47] x[34][48] x[34][49] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[35][45] x[35][46] x[35][47] x[35][48] x[35][49] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[36][45] x[36][46] x[36][47] x[36][48] x[36][49] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[37][45] x[37][46] x[37][47] x[37][48] x[37][49] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[38][45] x[38][46] x[38][47] x[38][48] x[38][49] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[39][45] x[39][46] x[39][47] x[39][48] x[39][49] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[40][45] x[40][46] x[40][47] x[40][48] x[40][49] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[41][45] x[41][46] x[41][47] x[41][48] x[41][49] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[42][45] x[42][46] x[42][47] x[42][48] x[42][49] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[43][45] x[43][46] x[43][47] x[43][48] x[43][49] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] x[44][45] x[44][46] x[44][47] x[44][48] x[44][49] x[45][0] x[45][1] x[45][2] x[45][3] x[45][4] x[45][5] x[45][6] x[45][7] x[45][8] x[45][9] x[45][10] x[45][11] x[45][12] x[45][13] x[45][14] x[45][15] x[45][16] x[45][17] x[45][18] x[45][19] x[45][20] x[45][21] x[45][22] x[45][23] x[45][24] x[45][25] x[45][26] x[45][27] x[45][28] x[45][29] x[45][30] x[45][31] x[45][32] x[45][33] x[45][34] x[45][35] x[45][36] x[45][37] x[45][38] x[45][39] x[45][40] x[45][41] x[45][42] x[45][43] x[45][44] x[45][45] x[45][46] x[45][47] x[45][48] x[45][49] x[46][0] x[46][1] x[46][2] x[46][3] x[46][4] x[46][5] x[46][6] x[46][7] x[46][8] x[46][9] x[46][10] x[46][11] x[46][12] x[46][13] x[46][14] x[46][15] x[46][16] x[46][17] x[46][18] x[46][19] x[46][20] x[46][21] x[46][22] x[46][23] x[46][24] x[46][25] x[46][26] x[46][27] x[46][28] x[46][29] x[46][30] x[46][31] x[46][32] x[46][33] x[46][34] x[46][35] x[46][36] x[46][37] x[46][38] x[46][39] x[46][40] x[46][41] x[46][42] x[46][43] x[46][44] x[46][45] x[46][46] x[46][47] x[46][48] x[46][49] x[47][0] x[47][1] x[47][2] x[47][3] x[47][4] x[47][5] x[47][6] x[47][7] x[47][8] x[47][9] x[47][10] x[47][11] x[47][12] x[47][13] x[47][14] x[47][15] x[47][16] x[47][17] x[47][18] x[47][19] x[47][20] x[47][21] x[47][22] x[47][23] x[47][24] x[47][25] x[47][26] x[47][27] x[47][28] x[47][29] x[47][30] x[47][31] x[47][32] x[47][33] x[47][34] x[47][35] x[47][36] x[47][37] x[47][38] x[47][39] x[47][40] x[47][41] x[47][42] x[47][43] x[47][44] x[47][45] x[47][46] x[47][47] x[47][48] x[47][49] x[48][0] x[48][1] x[48][2] x[48][3] x[48][4] x[48][5] x[48][6] x[48][7] x[48][8] x[48][9] x[48][10] x[48][11] x[48][12] x[48][13] x[48][14] x[48][15] x[48][16] x[48][17] x[48][18] x[48][19] x[48][20] x[48][21] x[48][22] x[48][23] x[48][24] x[48][25] x[48][26] x[48][27] x[48][28] x[48][29] x[48][30] x[48][31] x[48][32] x[48][33] x[48][34] x[48][35] x[48][36] x[48][37] x[48][38] x[48][39] x[48][40] x[48][41] x[48][42] x[48][43] x[48][44] x[48][45] x[48][46] x[48][47] x[48][48] x[48][49] x[49][0] x[49][1] x[49][2] x[49][3] x[49][4] x[49][5] x[49][6] x[49][7] x[49][8] x[49][9] x[49][10] x[49][11] x[49][12] x[49][13] x[49][14] x[49][15] x[49][16] x[49][17] x[49][18] x[49][19] x[49][20] x[49][21] x[49][22] x[49][23] x[49][24] x[49][25] x[49][26] x[49][27] x[49][28] x[49][29] x[49][30] x[49][31] x[49][32] x[49][33] x[49][34] x[49][35] x[49][36] x[49][37] x[49][38] x[49][39] x[49][40] x[49][41] x[49][42] x[49][43] x[49][44] x[49][45] x[49][46] x[49][47] x[49][48] x[49][49] nb nw
2520.05/2489.71	v 	</list>
2520.05/2489.71	v 	<values>
2520.05/2489.71	v 		0 0 0 1 0 1 1 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 2 0 0 2 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 2 2 2 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 2 2 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 0 2 2 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 2 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 2 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 2 0 2 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 113 113 
2520.05/2489.71	v 	</values>
2520.05/2489.71	v </instantiation>

Verifier Data 

OK	113

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311575-1534558563/watcher-4311575-1534558563 -o /tmp/evaluation-result-4311575-1534558563/solver-4311575-1534558563 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534541043-15718 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1939145735 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311575-1534558563.xml 

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

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

solver pid=18162, runsolver pid=18159

[startup+0.100179 s]*
/proc/loadavg: 1.70 1.65 1.60 3/215 18177
/proc/meminfo: memFree=20211036/32770624 swapFree=67108804/67108860
[pid=18162] ppid=18159 vsize=14082736 memory=31204 CPUtime=0.12 cores=0,2,4,6
/proc/18162/stat : 18162 (java) S 18159 18162 15687 0 -1 1077944320 6718 0 0 0 11 1 0 0 20 0 15 0 273419486 14420721664 7801 33554432000 4194304 4196468 140732459084992 140732459067536 140100746743543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
/proc/18162/statm: 3520684 7801 3155 1 0 3482761 0
[pid=18162/tid=18164] ppid=18159 vsize=14082736 memory=-8701690554792187265 CPUtime=0.08 cores=0,2,4,6
/proc/18162/task/18164/stat : 18164 (java) R 18159 18162 15687 0 -1 4202560 4740 0 0 0 8 0 0 0 20 0 15 0 273419487 14420721664 7801 33554432000 4194304 4196468 140732459084992 140100750946664 140100746765469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18165] ppid=18159 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18165/stat : 18165 (java) S 18159 18162 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273419488 14420721664 7801 33554432000 4194304 4196468 140732459084992 140100699364240 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18166] ppid=18159 vsize=14082736 memory=139679756678784 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18166/stat : 18166 (java) S 18159 18162 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273419488 14420721664 7801 33554432000 4194304 4196468 140732459084992 140100698311440 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18167] ppid=18159 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18167/stat : 18167 (java) S 18159 18162 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273419488 14420721664 7801 33554432000 4194304 4196468 140732459084992 140100697259152 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18168] ppid=18159 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18168/stat : 18168 (java) S 18159 18162 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273419488 14420721664 7801 33554432000 4194304 4196468 140732459084992 140100696206352 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18169] ppid=18159 vsize=14082736 memory=139679756678784 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18169/stat : 18169 (java) S 18159 18162 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273419489 14420721664 7801 33554432000 4194304 4196468 140732459084992 140100221524080 140100746754690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18170] ppid=18159 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18170/stat : 18170 (java) S 18159 18162 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273419490 14420721664 7801 33554432000 4194304 4196468 140732459084992 140100220470048 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18171] ppid=18159 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18171/stat : 18171 (java) S 18159 18162 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273419490 14420721664 7801 33554432000 4194304 4196468 140732459084992 140100219417712 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18172] ppid=18159 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18172/stat : 18172 (java) S 18159 18162 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273419492 14420721664 7801 33554432000 4194304 4196468 140732459084992 140100218366032 140100746762139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18173] ppid=18159 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18173/stat : 18173 (java) R 18159 18162 15687 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 273419492 14420721664 7801 33554432000 4194304 4196468 140732459084992 140100217313904 140100746754690 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18174] ppid=18159 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18174/stat : 18174 (java) R 18159 18162 15687 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 15 0 273419492 14420721664 7801 33554432000 4194304 4196468 140732459084992 140100216261104 140100746764890 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18175] ppid=18159 vsize=14082736 memory=139679756678784 CPUtime=0.01 cores=0,2,4,6
/proc/18162/task/18175/stat : 18175 (java) R 18159 18162 15687 0 -1 4202560 292 0 0 0 1 0 0 0 20 0 15 0 273419492 14420721664 7801 33554432000 4194304 4196468 140732459084992 140100215208816 140100746755478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18176] ppid=18159 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18176/stat : 18176 (java) S 18159 18162 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273419492 14420721664 7801 33554432000 4194304 4196468 140732459084992 140100214156256 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18177] ppid=18159 vsize=14082736 memory=139679756678784 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18177/stat : 18177 (java) S 18159 18162 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273419493 14420721664 7801 33554432000 4194304 4196468 140732459084992 140100213103024 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31204 KiB

[startup+0.211416 s]*
/proc/loadavg: 1.70 1.65 1.60 5/215 18177
/proc/meminfo: memFree=20196028/32770624 swapFree=67108804/67108860
[pid=18162] ppid=18159 vsize=14082736 memory=47024 CPUtime=0.3 cores=0,2,4,6
/proc/18162/stat : 18162 (java) S 18159 18162 15687 0 -1 1077944320 10356 0 0 0 28 2 0 0 20 0 15 0 273419486 14420721664 11756 33554432000 4194304 4196468 140732459084992 140732459067536 140100746743543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
/proc/18162/statm: 3520684 11756 3371 1 0 3482761 0
[pid=18162/tid=18164] ppid=18159 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/18162/task/18164/stat : 18164 (java) R 18159 18162 15687 0 -1 4202560 8084 0 0 0 19 1 0 0 20 0 15 0 273419487 14420721664 11756 33554432000 4194304 4196468 140732459084992 140100750968096 140100373676674 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18165] ppid=18159 vsize=14082736 memory=343 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18165/stat : 18165 (java) S 18159 18162 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273419488 14420721664 11756 33554432000 4194304 4196468 140732459084992 140100699364240 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18166] ppid=18159 vsize=14082736 memory=139679758214353 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18166/stat : 18166 (java) S 18159 18162 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273419488 14420721664 11756 33554432000 4194304 4196468 140732459084992 140100698311440 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18167] ppid=18159 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18167/stat : 18167 (java) S 18159 18162 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273419488 14420721664 11756 33554432000 4194304 4196468 140732459084992 140100697259152 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18168] ppid=18159 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18168/stat : 18168 (java) S 18159 18162 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273419488 14420721664 11756 33554432000 4194304 4196468 140732459084992 140100696206352 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18169] ppid=18159 vsize=14082736 memory=139679756678784 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18169/stat : 18169 (java) S 18159 18162 15687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 273419489 14420721664 11756 33554432000 4194304 4196468 140732459084992 140100221524080 140100746754690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18170] ppid=18159 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18170/stat : 18170 (java) S 18159 18162 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273419490 14420721664 11756 33554432000 4194304 4196468 140732459084992 140100220470048 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18171] ppid=18159 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18171/stat : 18171 (java) S 18159 18162 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273419490 14420721664 11756 33554432000 4194304 4196468 140732459084992 140100219417712 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18172] ppid=18159 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18172/stat : 18172 (java) S 18159 18162 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273419492 14420721664 11756 33554432000 4194304 4196468 140732459084992 140100218366032 140100746762139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18173] ppid=18159 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18162/task/18173/stat : 18173 (java) R 18159 18162 15687 0 -1 4202560 439 0 0 0 2 0 0 0 20 0 15 0 273419492 14420721664 11756 33554432000 4194304 4196468 140732459084992 140100217304016 140100730130211 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18174] ppid=18159 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18174/stat : 18174 (java) R 18159 18162 15687 0 -1 1077944384 136 0 0 0 0 0 0 0 20 0 15 0 273419492 14420721664 11756 33554432000 4194304 4196468 140732459084992 140100216261104 140100746754690 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18175] ppid=18159 vsize=14082736 memory=139679756678784 CPUtime=0.06 cores=0,2,4,6
/proc/18162/task/18175/stat : 18175 (java) R 18159 18162 15687 0 -1 4202560 314 0 0 0 6 0 0 0 20 0 15 0 273419492 14420721664 11756 33554432000 4194304 4196468 140732459084992 140100215208816 140100724910215 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18176] ppid=18159 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18176/stat : 18176 (java) S 18159 18162 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273419492 14420721664 11756 33554432000 4194304 4196468 140732459084992 140100214156256 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18177] ppid=18159 vsize=14082736 memory=139679756678784 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18177/stat : 18177 (java) S 18159 18162 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273419493 14420721664 11756 33554432000 4194304 4196468 140732459084992 140100213103024 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47024 KiB

[startup+0.310582 s]*
/proc/loadavg: 1.70 1.65 1.60 3/215 18177
/proc/meminfo: memFree=20191872/32770624 swapFree=67108804/67108860
[pid=18162] ppid=18159 vsize=14082736 memory=50984 CPUtime=0.44 cores=0,2,4,6
/proc/18162/stat : 18162 (java) S 18159 18162 15687 0 -1 1077944320 10776 0 0 0 42 2 0 0 20 0 15 0 273419486 14420721664 12746 33554432000 4194304 4196468 140732459084992 140732459067536 140100746743543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
/proc/18162/statm: 3520684 12746 3432 1 0 3482761 0
[pid=18162/tid=18164] ppid=18159 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/18162/task/18164/stat : 18164 (java) R 18159 18162 15687 0 -1 4202560 8443 0 0 0 29 1 0 0 20 0 15 0 273419487 14420721664 12746 33554432000 4194304 4196468 140732459084992 140100750952896 140100728117093 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18165] ppid=18159 vsize=14082736 memory=304556153357205527 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18165/stat : 18165 (java) S 18159 18162 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273419488 14420721664 12746 33554432000 4194304 4196468 140732459084992 140100699364240 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18166] ppid=18159 vsize=14082736 memory=139679758212189 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18166/stat : 18166 (java) S 18159 18162 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273419488 14420721664 12746 33554432000 4194304 4196468 140732459084992 140100698311440 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18167] ppid=18159 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18167/stat : 18167 (java) S 18159 18162 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273419488 14420721664 12746 33554432000 4194304 4196468 140732459084992 140100697259152 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18168] ppid=18159 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18168/stat : 18168 (java) S 18159 18162 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273419488 14420721664 12746 33554432000 4194304 4196468 140732459084992 140100696206352 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18169] ppid=18159 vsize=14082736 memory=139679756678784 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18169/stat : 18169 (java) S 18159 18162 15687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 273419489 14420721664 12746 33554432000 4194304 4196468 140732459084992 140100221524080 140100746754690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18170] ppid=18159 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18170/stat : 18170 (java) S 18159 18162 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273419490 14420721664 12746 33554432000 4194304 4196468 140732459084992 140100220470048 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18171] ppid=18159 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18171/stat : 18171 (java) S 18159 18162 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273419490 14420721664 12746 33554432000 4194304 4196468 140732459084992 140100219417712 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18172] ppid=18159 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18172/stat : 18172 (java) S 18159 18162 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273419492 14420721664 12746 33554432000 4194304 4196468 140732459084992 140100218366032 140100746762139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18173] ppid=18159 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18162/task/18173/stat : 18173 (java) S 18159 18162 15687 0 -1 1077944384 465 0 0 0 3 0 0 0 20 0 15 0 273419492 14420721664 12746 33554432000 4194304 4196468 140732459084992 140100217313904 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18174] ppid=18159 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/18162/task/18174/stat : 18174 (java) S 18159 18162 15687 0 -1 1077944384 152 0 0 0 1 0 0 0 20 0 15 0 273419492 14420721664 12746 33554432000 4194304 4196468 140732459084992 140100216261104 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18175] ppid=18159 vsize=14082736 memory=139679756678784 CPUtime=0.08 cores=0,2,4,6
/proc/18162/task/18175/stat : 18175 (java) S 18159 18162 15687 0 -1 1077944384 333 0 0 0 8 0 0 0 20 0 15 0 273419492 14420721664 12746 33554432000 4194304 4196468 140732459084992 140100215208816 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18176] ppid=18159 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18176/stat : 18176 (java) S 18159 18162 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273419492 14420721664 12746 33554432000 4194304 4196468 140732459084992 140100214156256 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18177] ppid=18159 vsize=14082736 memory=139679756678784 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18177/stat : 18177 (java) S 18159 18162 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273419493 14420721664 12746 33554432000 4194304 4196468 140732459084992 140100213103024 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50984 KiB

[startup+0.700809 s]
/proc/loadavg: 1.70 1.65 1.60 3/215 18177
/proc/meminfo: memFree=20167812/32770624 swapFree=67108804/67108860
[pid=18162] ppid=18159 vsize=14084804 memory=88840 CPUtime=0.99 cores=0,2,4,6
/proc/18162/stat : 18162 (java) S 18159 18162 15687 0 -1 1077944320 17620 0 0 0 94 5 0 0 20 0 15 0 273419486 14422839296 22210 33554432000 4194304 4196468 140732459084992 140732459067536 140100746743543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
/proc/18162/statm: 3521201 22210 3487 1 0 3483273 0
[pid=18162/tid=18164] ppid=18159 vsize=14084804 memory=1744 CPUtime=0.68 cores=0,2,4,6
/proc/18162/task/18164/stat : 18164 (java) R 18159 18162 15687 0 -1 4202560 14887 0 0 0 64 4 0 0 20 0 15 0 273419487 14422839296 22210 33554432000 4194304 4196468 140732459084992 140100750958448 140100746765469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18165] ppid=18159 vsize=14084804 memory=752 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18165/stat : 18165 (java) S 18159 18162 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273419488 14422839296 22210 33554432000 4194304 4196468 140732459084992 140100699364240 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18166] ppid=18159 vsize=14084804 memory=836 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18166/stat : 18166 (java) S 18159 18162 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273419488 14422839296 22210 33554432000 4194304 4196468 140732459084992 140100698311440 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18167] ppid=18159 vsize=14084804 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18167/stat : 18167 (java) S 18159 18162 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273419488 14422839296 22210 33554432000 4194304 4196468 140732459084992 140100697259152 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18168] ppid=18159 vsize=14084804 memory=1600 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18168/stat : 18168 (java) S 18159 18162 15687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 273419488 14422839296 22210 33554432000 4194304 4196468 140732459084992 140100696206352 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18169] ppid=18159 vsize=14084804 memory=7952 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18169/stat : 18169 (java) S 18159 18162 15687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 273419489 14422839296 22210 33554432000 4194304 4196468 140732459084992 140100221524080 140100746754690 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18170] ppid=18159 vsize=14084804 memory=4088 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18170/stat : 18170 (java) S 18159 18162 15687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 273419490 14422839296 22210 33554432000 4194304 4196468 140732459084992 140100220470048 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18171] ppid=18159 vsize=14084804 memory=1784 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18171/stat : 18171 (java) S 18159 18162 15687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 273419490 14422839296 22210 33554432000 4194304 4196468 140732459084992 140100219417712 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18172] ppid=18159 vsize=14084804 memory=4639098309541127012 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18172/stat : 18172 (java) S 18159 18162 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273419492 14422839296 22210 33554432000 4194304 4196468 140732459084992 140100218366032 140100746762139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18173] ppid=18159 vsize=14084804 memory=6369613153740022872 CPUtime=0.07 cores=0,2,4,6
/proc/18162/task/18173/stat : 18173 (java) S 18159 18162 15687 0 -1 1077944384 606 0 0 0 7 0 0 0 20 0 15 0 273419492 14422839296 22210 33554432000 4194304 4196468 140732459084992 140100217313904 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18174] ppid=18159 vsize=14084804 memory=6154282490091891024 CPUtime=0.07 cores=0,2,4,6
/proc/18162/task/18174/stat : 18174 (java) S 18159 18162 15687 0 -1 1077944384 322 0 0 0 7 0 0 0 20 0 15 0 273419492 14422839296 22210 33554432000 4194304 4196468 140732459084992 140100216261104 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18175] ppid=18159 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/18162/task/18175/stat : 18175 (java) S 18159 18162 15687 0 -1 1077944384 422 0 0 0 15 0 0 0 20 0 15 0 273419492 14422839296 22210 33554432000 4194304 4196468 140732459084992 140100215208816 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18176] ppid=18159 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18176/stat : 18176 (java) S 18159 18162 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273419492 14422839296 22210 33554432000 4194304 4196468 140732459084992 140100214156256 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18177] ppid=18159 vsize=14084804 memory=33 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18177/stat : 18177 (java) S 18159 18162 15687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 273419493 14422839296 22210 33554432000 4194304 4196468 140732459084992 140100213103024 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88840 KiB

[startup+1.50094 s]
/proc/loadavg: 1.70 1.65 1.60 6/215 18177
/proc/meminfo: memFree=19961364/32770624 swapFree=67108804/67108860
[pid=18162] ppid=18159 vsize=14086852 memory=413408 CPUtime=3.26 cores=0,2,4,6
/proc/18162/stat : 18162 (java) S 18159 18162 15687 0 -1 1077944320 20350 0 0 0 296 30 0 0 20 0 15 0 273419486 14424936448 103352 33554432000 4194304 4196468 140732459084992 140732459067536 140100746743543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
/proc/18162/statm: 3521713 103352 3555 1 0 3483785 0
[pid=18162/tid=18164] ppid=18159 vsize=14086852 memory=6791534058613427641 CPUtime=1.28 cores=0,2,4,6
/proc/18162/task/18164/stat : 18164 (java) S 18159 18162 15687 0 -1 1077944384 15333 0 0 0 122 6 0 0 20 0 15 0 273419487 14424936448 103352 33554432000 4194304 4196468 140732459084992 140100750979152 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18165] ppid=18159 vsize=14086852 memory=-6951259422114956437 CPUtime=0.16 cores=0,2,4,6
/proc/18162/task/18165/stat : 18165 (java) R 18159 18162 15687 0 -1 4202560 125 0 0 0 11 5 0 0 20 0 15 0 273419488 14424936448 103352 33554432000 4194304 4196468 140732459084992 140100699364240 140100728369836 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18166] ppid=18159 vsize=14086852 memory=-6509546260019855295 CPUtime=0.16 cores=0,2,4,6
/proc/18162/task/18166/stat : 18166 (java) R 18159 18162 15687 0 -1 4202560 150 0 0 0 11 5 0 0 20 0 15 0 273419488 14424936448 103352 33554432000 4194304 4196468 140732459084992 140100698311640 140100731767246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18167] ppid=18159 vsize=14086852 memory=-7390251449858225344 CPUtime=0.17 cores=0,2,4,6
/proc/18162/task/18167/stat : 18167 (java) R 18159 18162 15687 0 -1 4202560 142 0 0 0 12 5 0 0 20 0 15 0 273419488 14424936448 103352 33554432000 4194304 4196468 140732459084992 140100697259152 140100731770962 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18168] ppid=18159 vsize=14086852 memory=4134692831991786133 CPUtime=0.15 cores=0,2,4,6
/proc/18162/task/18168/stat : 18168 (java) R 18159 18162 15687 0 -1 4202560 135 0 0 0 10 5 0 0 20 0 15 0 273419488 14424936448 103352 33554432000 4194304 4196468 140732459084992 140100696206552 140100728369629 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18169] ppid=18159 vsize=14086852 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18169/stat : 18169 (java) S 18159 18162 15687 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 273419489 14424936448 103352 33554432000 4194304 4196468 140732459084992 140100221522592 140100746753749 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0

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

/proc/18162/task/18164/stat : 18164 (java) R 18159 18162 15687 0 -1 4202560 213714 0 0 0 237446 92 0 0 20 0 15 0 273419487 14429130752 845052 33554432000 4194304 4196468 140732459084992 140100750981616 140100378741172 0 4 0 16800975 0 0 0 -1 2 0 0 24 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18165] ppid=18159 vsize=14090948 memory=3380208 CPUtime=6.17 cores=0,2,4,6
/proc/18162/task/18165/stat : 18165 (java) S 18159 18162 15687 0 -1 1077944384 38702 0 0 0 591 26 0 0 20 0 15 0 273419488 14429130752 845052 33554432000 4194304 4196468 140732459084992 140100699364240 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18166] ppid=18159 vsize=14090948 memory=3383288 CPUtime=6.22 cores=0,2,4,6
/proc/18162/task/18166/stat : 18166 (java) S 18159 18162 15687 0 -1 1077944384 44790 0 0 0 597 25 0 0 20 0 15 0 273419488 14429130752 845052 33554432000 4194304 4196468 140732459084992 140100698311440 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18167] ppid=18159 vsize=14090948 memory=0 CPUtime=6.24 cores=0,2,4,6
/proc/18162/task/18167/stat : 18167 (java) S 18159 18162 15687 0 -1 1077944384 43667 0 0 0 599 25 0 0 20 0 15 0 273419488 14429130752 845052 33554432000 4194304 4196468 140732459084992 140100697259152 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18168] ppid=18159 vsize=14090948 memory=3380208 CPUtime=6.2 cores=0,2,4,6
/proc/18162/task/18168/stat : 18168 (java) S 18159 18162 15687 0 -1 1077944384 28698 0 0 0 596 24 0 0 20 0 15 0 273419488 14429130752 845052 33554432000 4194304 4196468 140732459084992 140100696206352 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18169] ppid=18159 vsize=14090948 memory=3708 CPUtime=0.44 cores=0,2,4,6
/proc/18162/task/18169/stat : 18169 (java) S 18159 18162 15687 0 -1 1077944384 17448 0 0 0 38 6 0 0 20 0 15 0 273419489 14429130752 845052 33554432000 4194304 4196468 140732459084992 140100221524080 140100746754690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18170] ppid=18159 vsize=14090948 memory=6652 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18170/stat : 18170 (java) S 18159 18162 15687 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 273419490 14429130752 845052 33554432000 4194304 4196468 140732459084992 140100220470112 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18171] ppid=18159 vsize=14090948 memory=3383288 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18171/stat : 18171 (java) S 18159 18162 15687 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 273419490 14429130752 845052 33554432000 4194304 4196468 140732459084992 140100219417728 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18172] ppid=18159 vsize=14090948 memory=3383288 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18172/stat : 18172 (java) S 18159 18162 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273419492 14429130752 845052 33554432000 4194304 4196468 140732459084992 140100218366032 140100746762139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18173] ppid=18159 vsize=14090948 memory=752 CPUtime=4.14 cores=0,2,4,6
/proc/18162/task/18173/stat : 18173 (java) S 18159 18162 15687 0 -1 1077944384 15728 0 0 0 412 2 0 0 20 0 15 0 273419492 14429130752 845052 33554432000 4194304 4196468 140732459084992 140100217313904 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18174] ppid=18159 vsize=14090948 memory=836 CPUtime=3.97 cores=0,2,4,6
/proc/18162/task/18174/stat : 18174 (java) S 18159 18162 15687 0 -1 1077944384 15752 0 0 0 396 1 0 0 20 0 15 0 273419492 14429130752 845052 33554432000 4194304 4196468 140732459084992 140100216261104 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18175] ppid=18159 vsize=14090948 memory=3383288 CPUtime=0.97 cores=0,2,4,6
/proc/18162/task/18175/stat : 18175 (java) S 18159 18162 15687 0 -1 1077944384 12864 0 0 0 95 2 0 0 20 0 15 0 273419492 14429130752 845052 33554432000 4194304 4196468 140732459084992 140100215208816 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18176] ppid=18159 vsize=14090948 memory=1744 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18176/stat : 18176 (java) S 18159 18162 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273419492 14429130752 845052 33554432000 4194304 4196468 140732459084992 140100214156256 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18177] ppid=18159 vsize=14090948 memory=3380208 CPUtime=1.35 cores=0,2,4,6
/proc/18162/task/18177/stat : 18177 (java) S 18159 18162 15687 0 -1 1077944384 2178 0 0 0 62 73 0 0 20 0 15 0 273419493 14429130752 845052 33554432000 4194304 4196468 140732459084992 140100213103024 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
Current children cumulated CPU time: 2411.19 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3380208 KiB

[startup+2442.3 s]
/proc/loadavg: 1.48 1.60 1.69 3/215 18325
/proc/meminfo: memFree=20226692/32770624 swapFree=67108804/67108860
[pid=18162] ppid=18159 vsize=14090948 memory=3306336 CPUtime=2471.65 cores=0,2,4,6
/proc/18162/stat : 18162 (java) S 18159 18162 15687 0 -1 1077944320 441000 0 0 0 246904 261 0 0 20 0 15 0 273419486 14429130752 826584 33554432000 4194304 4196468 140732459084992 140732459067536 140100746743543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
/proc/18162/statm: 3522737 826584 3612 1 0 3484809 0
[pid=18162/tid=18164] ppid=18159 vsize=14090948 memory=3306336 CPUtime=2435.23 cores=0,2,4,6
/proc/18162/task/18164/stat : 18164 (java) R 18159 18162 15687 0 -1 4202560 215425 0 0 0 243431 92 0 0 20 0 15 0 273419487 14429130752 826584 33554432000 4194304 4196468 140732459084992 140100750981616 140100378888523 0 4 0 16800975 0 0 0 -1 0 0 0 24 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18165] ppid=18159 vsize=14090948 memory=3326344 CPUtime=6.31 cores=0,2,4,6
/proc/18162/task/18165/stat : 18165 (java) S 18159 18162 15687 0 -1 1077944384 40002 0 0 0 605 26 0 0 20 0 15 0 273419488 14429130752 826584 33554432000 4194304 4196468 140732459084992 140100699364240 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18166] ppid=18159 vsize=14090948 memory=7952 CPUtime=6.36 cores=0,2,4,6
/proc/18162/task/18166/stat : 18166 (java) S 18159 18162 15687 0 -1 1077944384 45335 0 0 0 611 25 0 0 20 0 15 0 273419488 14429130752 826584 33554432000 4194304 4196468 140732459084992 140100698311440 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18167] ppid=18159 vsize=14090948 memory=3306848 CPUtime=6.38 cores=0,2,4,6
/proc/18162/task/18167/stat : 18167 (java) S 18159 18162 15687 0 -1 1077944384 44683 0 0 0 613 25 0 0 20 0 15 0 273419488 14429130752 826584 33554432000 4194304 4196468 140732459084992 140100697259152 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18168] ppid=18159 vsize=14090948 memory=3368924 CPUtime=6.35 cores=0,2,4,6
/proc/18162/task/18168/stat : 18168 (java) S 18159 18162 15687 0 -1 1077944384 29613 0 0 0 611 24 0 0 20 0 15 0 273419488 14429130752 826584 33554432000 4194304 4196468 140732459084992 140100696206352 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18169] ppid=18159 vsize=14090948 memory=3345324 CPUtime=0.45 cores=0,2,4,6
/proc/18162/task/18169/stat : 18169 (java) S 18159 18162 15687 0 -1 1077944384 17949 0 0 0 38 7 0 0 20 0 15 0 273419489 14429130752 826584 33554432000 4194304 4196468 140732459084992 140100221524080 140100746754690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18170] ppid=18159 vsize=14090948 memory=3306848 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18170/stat : 18170 (java) S 18159 18162 15687 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 273419490 14429130752 826584 33554432000 4194304 4196468 140732459084992 140100220470112 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18171] ppid=18159 vsize=14090948 memory=3306336 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18171/stat : 18171 (java) S 18159 18162 15687 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 273419490 14429130752 826584 33554432000 4194304 4196468 140732459084992 140100219417728 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18172] ppid=18159 vsize=14090948 memory=3306336 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18172/stat : 18172 (java) S 18159 18162 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273419492 14429130752 826584 33554432000 4194304 4196468 140732459084992 140100218366032 140100746762139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18173] ppid=18159 vsize=14090948 memory=3345324 CPUtime=4.14 cores=0,2,4,6
/proc/18162/task/18173/stat : 18173 (java) S 18159 18162 15687 0 -1 1077944384 15733 0 0 0 412 2 0 0 20 0 15 0 273419492 14429130752 826584 33554432000 4194304 4196468 140732459084992 140100217313904 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18174] ppid=18159 vsize=14090948 memory=3326344 CPUtime=3.97 cores=0,2,4,6
/proc/18162/task/18174/stat : 18174 (java) S 18159 18162 15687 0 -1 1077944384 15763 0 0 0 396 1 0 0 20 0 15 0 273419492 14429130752 826584 33554432000 4194304 4196468 140732459084992 140100216261104 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18175] ppid=18159 vsize=14090948 memory=3306848 CPUtime=0.98 cores=0,2,4,6
/proc/18162/task/18175/stat : 18175 (java) S 18159 18162 15687 0 -1 1077944384 12871 0 0 0 95 3 0 0 20 0 15 0 273419492 14429130752 826584 33554432000 4194304 4196468 140732459084992 140100215208816 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18176] ppid=18159 vsize=14090948 memory=3306336 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18176/stat : 18176 (java) S 18159 18162 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273419492 14429130752 826584 33554432000 4194304 4196468 140732459084992 140100214156256 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18177] ppid=18159 vsize=14090948 memory=6791534058613427641 CPUtime=1.38 cores=0,2,4,6
/proc/18162/task/18177/stat : 18177 (java) S 18159 18162 15687 0 -1 1077944384 2223 0 0 0 63 75 0 0 20 0 15 0 273419493 14429130752 826584 33554432000 4194304 4196468 140732459084992 140100213103024 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
Current children cumulated CPU time: 2471.65 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3306336 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2489.7 s]
/proc/loadavg: 1.68 1.63 1.69 3/215 18326
/proc/meminfo: memFree=20338604/32770624 swapFree=67108804/67108860
[pid=18162] ppid=18159 vsize=14090948 memory=3191988 CPUtime=2520.05 cores=0,2,4,6
/proc/18162/stat : 18162 (java) S 18159 18162 15687 0 -1 1077944320 447226 0 0 0 251743 262 0 0 20 0 15 0 273419486 14429130752 797997 33554432000 4194304 4196468 140732459084992 140732459067536 140100746743543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
/proc/18162/statm: 3522737 797997 3612 1 0 3484809 0
[pid=18162/tid=18164] ppid=18159 vsize=14090948 memory=13898514172380 CPUtime=2482.29 cores=0,2,4,6
/proc/18162/task/18164/stat : 18164 (java) R 18159 18162 15687 0 -1 4202560 216907 0 0 0 248137 92 0 0 20 0 15 0 273419487 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100750981536 140100376015866 0 4 0 16800975 0 0 0 -1 2 0 0 24 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18165] ppid=18159 vsize=14090948 memory=3191988 CPUtime=6.64 cores=0,2,4,6
/proc/18162/task/18165/stat : 18165 (java) S 18159 18162 15687 0 -1 1077944384 42579 0 0 0 638 26 0 0 20 0 15 0 273419488 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100699364240 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18166] ppid=18159 vsize=14090948 memory=3191988 CPUtime=6.69 cores=0,2,4,6
/proc/18162/task/18166/stat : 18166 (java) S 18159 18162 15687 0 -1 1077944384 45747 0 0 0 644 25 0 0 20 0 15 0 273419488 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100698311440 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18167] ppid=18159 vsize=14090948 memory=3206344 CPUtime=6.7 cores=0,2,4,6
/proc/18162/task/18167/stat : 18167 (java) S 18159 18162 15687 0 -1 1077944384 45244 0 0 0 645 25 0 0 20 0 15 0 273419488 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100697259152 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18168] ppid=18159 vsize=14090948 memory=6791534058613427641 CPUtime=6.67 cores=0,2,4,6
/proc/18162/task/18168/stat : 18168 (java) S 18159 18162 15687 0 -1 1077944384 30466 0 0 0 643 24 0 0 20 0 15 0 273419488 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100696206352 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18169] ppid=18159 vsize=14090948 memory=3191988 CPUtime=0.46 cores=0,2,4,6
/proc/18162/task/18169/stat : 18169 (java) S 18159 18162 15687 0 -1 1077944384 18236 0 0 0 39 7 0 0 20 0 15 0 273419489 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100221524080 140100746754690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18170] ppid=18159 vsize=14090948 memory=3191988 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18170/stat : 18170 (java) S 18159 18162 15687 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 273419490 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100220470112 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18171] ppid=18159 vsize=14090948 memory=3206344 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18171/stat : 18171 (java) S 18159 18162 15687 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 273419490 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100219417728 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18172] ppid=18159 vsize=14090948 memory=836 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18172/stat : 18172 (java) S 18159 18162 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273419492 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100218366032 140100746762139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18173] ppid=18159 vsize=14090948 memory=1084 CPUtime=4.14 cores=0,2,4,6
/proc/18162/task/18173/stat : 18173 (java) S 18159 18162 15687 0 -1 1077944384 15736 0 0 0 412 2 0 0 20 0 15 0 273419492 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100217313904 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18174] ppid=18159 vsize=14090948 memory=3206344 CPUtime=3.97 cores=0,2,4,6
/proc/18162/task/18174/stat : 18174 (java) S 18159 18162 15687 0 -1 1077944384 15765 0 0 0 396 1 0 0 20 0 15 0 273419492 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100216261104 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18175] ppid=18159 vsize=14090948 memory=2080 CPUtime=0.98 cores=0,2,4,6
/proc/18162/task/18175/stat : 18175 (java) S 18159 18162 15687 0 -1 1077944384 12874 0 0 0 95 3 0 0 20 0 15 0 273419492 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100215208816 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18176] ppid=18159 vsize=14090948 memory=3206344 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18176/stat : 18176 (java) S 18159 18162 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273419492 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100214156256 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18177] ppid=18159 vsize=14090948 memory=6652 CPUtime=1.41 cores=0,2,4,6
/proc/18162/task/18177/stat : 18177 (java) S 18159 18162 15687 0 -1 1077944384 2269 0 0 0 65 76 0 0 20 0 15 0 273419493 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100213103024 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3191988 KiB

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

[startup+2489.74 s]
# the end of solver process 18162 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.46 s, system=2.64774 s

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

[startup+2489.7 s]
/proc/loadavg: 1.68 1.63 1.69 3/215 18326
/proc/meminfo: memFree=20338604/32770624 swapFree=67108804/67108860
[pid=18162] ppid=18159 vsize=14090948 memory=3191988 CPUtime=2520.05 cores=0,2,4,6
/proc/18162/stat : 18162 (java) S 18159 18162 15687 0 -1 1077944320 447226 0 0 0 251743 262 0 0 20 0 15 0 273419486 14429130752 797997 33554432000 4194304 4196468 140732459084992 140732459067536 140100746743543 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
/proc/18162/statm: 3522737 797997 3612 1 0 3484809 0
[pid=18162/tid=18164] ppid=18159 vsize=14090948 memory=13898514172380 CPUtime=2482.29 cores=0,2,4,6
/proc/18162/task/18164/stat : 18164 (java) R 18159 18162 15687 0 -1 4202560 216907 0 0 0 248137 92 0 0 20 0 15 0 273419487 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100750981536 140100376015866 0 4 0 16800975 0 0 0 -1 2 0 0 24 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18165] ppid=18159 vsize=14090948 memory=3191988 CPUtime=6.64 cores=0,2,4,6
/proc/18162/task/18165/stat : 18165 (java) S 18159 18162 15687 0 -1 1077944384 42579 0 0 0 638 26 0 0 20 0 15 0 273419488 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100699364240 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18166] ppid=18159 vsize=14090948 memory=3191988 CPUtime=6.69 cores=0,2,4,6
/proc/18162/task/18166/stat : 18166 (java) S 18159 18162 15687 0 -1 1077944384 45747 0 0 0 644 25 0 0 20 0 15 0 273419488 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100698311440 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18167] ppid=18159 vsize=14090948 memory=3206344 CPUtime=6.7 cores=0,2,4,6
/proc/18162/task/18167/stat : 18167 (java) S 18159 18162 15687 0 -1 1077944384 45244 0 0 0 645 25 0 0 20 0 15 0 273419488 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100697259152 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18168] ppid=18159 vsize=14090948 memory=6791534058613427641 CPUtime=6.67 cores=0,2,4,6
/proc/18162/task/18168/stat : 18168 (java) S 18159 18162 15687 0 -1 1077944384 30466 0 0 0 643 24 0 0 20 0 15 0 273419488 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100696206352 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18169] ppid=18159 vsize=14090948 memory=3191988 CPUtime=0.46 cores=0,2,4,6
/proc/18162/task/18169/stat : 18169 (java) S 18159 18162 15687 0 -1 1077944384 18236 0 0 0 39 7 0 0 20 0 15 0 273419489 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100221524080 140100746754690 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18170] ppid=18159 vsize=14090948 memory=3191988 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18170/stat : 18170 (java) S 18159 18162 15687 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 273419490 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100220470112 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18171] ppid=18159 vsize=14090948 memory=3206344 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18171/stat : 18171 (java) S 18159 18162 15687 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 273419490 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100219417728 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18172] ppid=18159 vsize=14090948 memory=836 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18172/stat : 18172 (java) S 18159 18162 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273419492 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100218366032 140100746762139 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18173] ppid=18159 vsize=14090948 memory=1084 CPUtime=4.14 cores=0,2,4,6
/proc/18162/task/18173/stat : 18173 (java) S 18159 18162 15687 0 -1 1077944384 15736 0 0 0 412 2 0 0 20 0 15 0 273419492 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100217313904 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 24 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18174] ppid=18159 vsize=14090948 memory=3206344 CPUtime=3.97 cores=0,2,4,6
/proc/18162/task/18174/stat : 18174 (java) S 18159 18162 15687 0 -1 1077944384 15765 0 0 0 396 1 0 0 20 0 15 0 273419492 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100216261104 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18175] ppid=18159 vsize=14090948 memory=2080 CPUtime=0.98 cores=0,2,4,6
/proc/18162/task/18175/stat : 18175 (java) S 18159 18162 15687 0 -1 1077944384 12874 0 0 0 95 3 0 0 20 0 15 0 273419492 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100215208816 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18176] ppid=18159 vsize=14090948 memory=3206344 CPUtime=0 cores=0,2,4,6
/proc/18162/task/18176/stat : 18176 (java) S 18159 18162 15687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 273419492 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100214156256 140100746753749 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
[pid=18162/tid=18177] ppid=18159 vsize=14090948 memory=6652 CPUtime=1.41 cores=0,2,4,6
/proc/18162/task/18177/stat : 18177 (java) S 18159 18162 15687 0 -1 1077944384 2269 0 0 0 65 76 0 0 20 0 15 0 273419493 14429130752 797997 33554432000 4194304 4196468 140732459084992 140100213103024 140100746754690 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 28598272 140732459091016 140732459091209 140732459091209 140732459093967 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 3191988 KiB

Child status: 143
Real time (s): 2489.74
CPU time (s): 2520.11
CPU user time (s): 2517.46
CPU system time (s): 2.64774
CPU usage (%): 101.22
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 4359008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.46
system time used= 2.64775
maximum resident set size= 4359572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 449407
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60614
involuntary context switches= 2432


# summary of solver processes directly reported to runsolver:
#   pid: 18162
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2517.46
#   total CPU system time (s): 2.64774

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.203 second user time and 27.0103 second system time

The end

Launcher Data 

Begin job on node105 at 2018-08-18 04:16:03
IDJOB=4311575
IDBENCH=141492
IDSOLVER=2799
FILE ID=node105/4311575-1534558563
RUNJOBID= node105-1534541043-15718
PBS_JOBID= 21038642
Free space on /tmp= 52328 MiB

SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17
BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m2-50_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-4311575-1534558563/watcher-4311575-1534558563 -o /tmp/evaluation-result-4311575-1534558563/solver-4311575-1534558563 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534541043-15718 --watchdog 2580  java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1939145735 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311575-1534558563.xml

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

MD5SUM BENCH= a108db2a0a555905573fa2757742798d
RANDOM SEED=1939145735

node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20228460 kB
MemAvailable:   28409168 kB
Buffers:          254384 kB
Cached:          8187532 kB
SwapCached:           16 kB
Active:          8975484 kB
Inactive:        2991100 kB
Active(anon):    3496956 kB
Inactive(anon):    96512 kB
Active(file):    5478528 kB
Inactive(file):  2894588 kB
Unevictable:        7356 kB
Mlocked:            7356 kB
SwapTotal:      67108860 kB
SwapFree:       67108804 kB
Dirty:             44048 kB
Writeback:             0 kB
AnonPages:       3531988 kB
Mapped:            31360 kB
Shmem:             66132 kB
Slab:             265636 kB
SReclaimable:     236052 kB
SUnreclaim:        29584 kB
KernelStack:        3520 kB
PageTables:        12140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4355160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3401728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 52300 MiB
End job on node105 at 2018-08-18 04:57:33