Trace number 4275242

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 - Parallel with EPS 2017-07-26SAT (TO)2289 19936.9 2520.1399

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-A-n48-k7.xml
MD5SUM45202abbf2fd4260704b0005edccc47f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1130
Best CPU time to get the best result obtained on this benchmark2400.06
Satisfiable
(Un)Satisfiability was proved
Number of variables2352
Number of constraints2303
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":48},{"size":2,"count":2256},{"size":101,"count":47}]
Minimum variable degree0
Maximum variable degree93
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":48},{"degree":2,"count":94},{"degree":4,"count":2162},{"degree":93,"count":47}]
Minimum constraint arity1
Maximum constraint arity47
Distribution of constraint arities[{"arity":1,"count":47},{"arity":3,"count":2162},{"arity":47,"count":94}]
Number of extensional constraints0
Number of intensional constraints47
Distribution of constraint types[{"type":"intension","count":47},{"type":"sum","count":2162},{"type":"count","count":94}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.30/0.26	c version: 2017-07-26
0.30/0.26	c seed: 1240549741
0.30/0.26	c timeout: 20160
0.30/0.26	c memlimit: 11000
0.30/0.26	c nbcore: 8
0.30/0.28	c Parsing instance...
2.04/0.87	c Parsing done, starting search...
14.39/7.58	o 2712
15.16/7.63	o 2680
15.99/7.79	o 2638
16.70/7.87	o 2635
16.70/7.88	o 2634
16.70/7.88	o 2624
16.70/7.89	o 2615
17.48/7.91	o 2583
17.48/7.93	o 2566
17.48/7.96	o 2552
17.48/7.97	o 2534
17.48/7.99	o 2486
17.48/8.00	o 2484
17.48/8.01	o 2474
19.21/8.13	o 2465
19.21/8.17	o 2463
23.80/8.73	o 2453
24.62/8.86	o 2447
111.35/19.73	o 2440
122.56/21.19	o 2430
124.09/21.31	o 2429
173.51/27.58	o 2427
255.63/37.84	o 2423
267.58/39.38	o 2422
317.01/45.57	o 2408
318.61/45.72	o 2403
324.19/46.44	o 2399
345.77/49.20	o 2396
518.55/70.84	o 2382
518.55/70.89	o 2356
4354.98/554.11	o 2344
4406.41/560.65	o 2327
4431.86/563.85	o 2318
9227.24/1168.37	o 2315
9868.33/1249.30	o 2306
14288.27/1806.93	o 2302
15924.18/2013.67	o 2292
16560.00/2093.93	o 2291
19611.65/2479.15	o 2289
19936.02/2520.10	s SATISFIABLE
19936.02/2520.12	v <instantiation>
19936.02/2520.12	v 	<list>
19936.02/2520.12	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] u[45] u[46] u[47]
19936.02/2520.12	v 	</list>
19936.02/2520.12	v 	<values>
19936.02/2520.12	v 		0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 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 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 54 19 26 100 78 77 52 28 80 45 37 100 89 11 95 75 77 100 70 25 52 100 57 45 50 46 32 55 34 62 56 48 100 51 38 100 80 34 44 10 23 77 21 84 100 73 54 
19936.02/2520.12	v 	</values>
19936.02/2520.12	v </instantiation>

Verifier Data 

OK	2289

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4275242-1502710964/watcher-4275242-1502710964 -o /tmp/evaluation-result-4275242-1502710964/solver-4275242-1502710964 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502705062-31306 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1240549741 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275242-1502710964.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=31752, runsolver pid=31749

[startup+0.100151 s]*
/proc/loadavg: 7.25 7.75 8.02 4/198 31772
/proc/meminfo: memFree=27090036/32770624 swapFree=67108860/67108860
[pid=31752] ppid=31749 vsize=14325320 memory=34044 CPUtime=0.12 cores=0-7
/proc/31752/stat : 31752 (java) S 31749 31752 31279 0 -1 1077944320 8389 0 0 0 9 3 0 0 20 0 20 0 104177508 14669127680 8511 33554432000 4194304 4196468 140735742485792 140735742468336 140627678576375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
/proc/31752/statm: 3581330 8511 3407 1 0 3569050 0
[pid=31752/tid=31754] ppid=31749 vsize=14325320 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/31752/task/31754/stat : 31754 (java) R 31749 31752 31279 0 -1 4202560 6334 0 0 0 7 2 0 0 20 0 20 0 104177509 14669127680 8511 33554432000 4194304 4196468 140735742485792 140627682793056 140627661763201 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31755] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31755/stat : 31755 (java) S 31749 31752 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104177510 14669127680 8511 33554432000 4194304 4196468 140735742485792 140627274820752 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31756] ppid=31749 vsize=14325320 memory=139896949802624 CPUtime=0 cores=0-7
/proc/31752/task/31756/stat : 31756 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177510 14669127680 8511 33554432000 4194304 4196468 140735742485792 140627273767952 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31757] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31757/stat : 31757 (java) S 31749 31752 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104177510 14669127680 8511 33554432000 4194304 4196468 140735742485792 140627272715152 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31758] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31758/stat : 31758 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177510 14669127680 8511 33554432000 4194304 4196468 140735742485792 140627271662352 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31759] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31759/stat : 31759 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177510 14669127680 8511 33554432000 4194304 4196468 140735742485792 140627270609552 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31760] ppid=31749 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/31752/task/31760/stat : 31760 (java) S 31749 31752 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104177510 14669127680 8511 33554432000 4194304 4196468 140735742485792 140627269556752 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31761] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31761/stat : 31761 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177510 14669127680 8511 33554432000 4194304 4196468 140735742485792 140627268503952 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31762] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31762/stat : 31762 (java) S 31749 31752 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104177510 14669127680 8511 33554432000 4194304 4196468 140735742485792 140627267451152 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31763] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31763/stat : 31763 (java) S 31749 31752 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104177511 14669127680 8511 33554432000 4194304 4196468 140735742485792 140627001895792 140627678587522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31764] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31764/stat : 31764 (java) S 31749 31752 31279 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104177512 14669127680 8511 33554432000 4194304 4196468 140735742485792 140627000841760 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31765] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31765/stat : 31765 (java) S 31749 31752 31279 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104177512 14669127680 8511 33554432000 4194304 4196468 140735742485792 140626999788912 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31766] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31766/stat : 31766 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177514 14669127680 8511 33554432000 4194304 4196468 140735742485792 140626998737232 140627678594971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31767] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31767/stat : 31767 (java) S 31749 31752 31279 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 20 0 104177514 14669127680 8511 33554432000 4194304 4196468 140735742485792 140626997684592 140627678587522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31768] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31768/stat : 31768 (java) S 31749 31752 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104177514 14669127680 8511 33554432000 4194304 4196468 140735742485792 140626996631792 140627678587522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31769] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31769/stat : 31769 (java) S 31749 31752 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104177514 14669127680 8511 33554432000 4194304 4196468 140735742485792 140626995578992 140627678587522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31770] ppid=31749 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/31752/task/31770/stat : 31770 (java) S 31749 31752 31279 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 20 0 104177514 14669127680 8511 33554432000 4194304 4196468 140735742485792 140626994526192 140627678587522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31771] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31771/stat : 31771 (java) S 31749 31752 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104177514 14669127680 8511 33554432000 4194304 4196468 140735742485792 140626993474656 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31772] ppid=31749 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/31752/task/31772/stat : 31772 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177515 14669127680 8511 33554432000 4194304 4196468 140735742485792 140626992421936 140627678587522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 34044 KiB

[startup+0.209971 s]*
/proc/loadavg: 7.25 7.75 8.02 2/198 31772
/proc/meminfo: memFree=27079428/32770624 swapFree=67108860/67108860
[pid=31752] ppid=31749 vsize=14325320 memory=43196 CPUtime=0.3 cores=0-7
/proc/31752/stat : 31752 (java) S 31749 31752 31279 0 -1 1077944320 9405 0 0 0 26 4 0 0 20 0 20 0 104177508 14669127680 10799 33554432000 4194304 4196468 140735742485792 140735742468336 140627678576375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
/proc/31752/statm: 3581330 10799 3597 1 0 3569050 0
[pid=31752/tid=31754] ppid=31749 vsize=14325320 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/31752/task/31754/stat : 31754 (java) R 31749 31752 31279 0 -1 4202560 6959 0 0 0 17 2 0 0 20 0 20 0 104177509 14669127680 10799 33554432000 4194304 4196468 140735742485792 140627682781712 140627678598301 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31755] ppid=31749 vsize=14325320 memory=9321 CPUtime=0 cores=0-7
/proc/31752/task/31755/stat : 31755 (java) S 31749 31752 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104177510 14669127680 10799 33554432000 4194304 4196468 140735742485792 140627274820752 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31756] ppid=31749 vsize=14325320 memory=139896950261636 CPUtime=0 cores=0-7
/proc/31752/task/31756/stat : 31756 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177510 14669127680 10799 33554432000 4194304 4196468 140735742485792 140627273767952 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31757] ppid=31749 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/31752/task/31757/stat : 31757 (java) S 31749 31752 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104177510 14669127680 10799 33554432000 4194304 4196468 140735742485792 140627272715152 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31758] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31758/stat : 31758 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177510 14669127680 10799 33554432000 4194304 4196468 140735742485792 140627271662352 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31759] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31759/stat : 31759 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177510 14669127680 10799 33554432000 4194304 4196468 140735742485792 140627270609552 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31760] ppid=31749 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/31752/task/31760/stat : 31760 (java) S 31749 31752 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104177510 14669127680 10799 33554432000 4194304 4196468 140735742485792 140627269556752 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31761] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31761/stat : 31761 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177510 14669127680 10799 33554432000 4194304 4196468 140735742485792 140627268503952 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31762] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31762/stat : 31762 (java) S 31749 31752 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104177510 14669127680 10799 33554432000 4194304 4196468 140735742485792 140627267451152 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31763] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31763/stat : 31763 (java) S 31749 31752 31279 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104177511 14669127680 10799 33554432000 4194304 4196468 140735742485792 140627001895792 140627678587522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31764] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31764/stat : 31764 (java) S 31749 31752 31279 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104177512 14669127680 10799 33554432000 4194304 4196468 140735742485792 140627000841760 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31765] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31765/stat : 31765 (java) S 31749 31752 31279 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104177512 14669127680 10799 33554432000 4194304 4196468 140735742485792 140626999788912 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31766] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31766/stat : 31766 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177514 14669127680 10799 33554432000 4194304 4196468 140735742485792 140626998737232 140627678594971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31767] ppid=31749 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/31752/task/31767/stat : 31767 (java) S 31749 31752 31279 0 -1 1077944384 498 0 0 0 1 0 0 0 20 0 20 0 104177514 14669127680 10799 33554432000 4194304 4196468 140735742485792 140626997684592 140627678587522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31768] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31768/stat : 31768 (java) S 31749 31752 31279 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 104177514 14669127680 10799 33554432000 4194304 4196468 140735742485792 140626996631792 140627678587522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31769] ppid=31749 vsize=14325320 memory=0 CPUtime=0.01 cores=0-7
/proc/31752/task/31769/stat : 31769 (java) S 31749 31752 31279 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 20 0 104177514 14669127680 10799 33554432000 4194304 4196468 140735742485792 140626995578992 140627678587522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31770] ppid=31749 vsize=14325320 memory=0 CPUtime=0.05 cores=0-7
/proc/31752/task/31770/stat : 31770 (java) S 31749 31752 31279 0 -1 1077944384 403 0 0 0 5 0 0 0 20 0 20 0 104177514 14669127680 10799 33554432000 4194304 4196468 140735742485792 140626994526192 140627678587522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31771] ppid=31749 vsize=14325320 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31771/stat : 31771 (java) S 31749 31752 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104177514 14669127680 10799 33554432000 4194304 4196468 140735742485792 140626993474656 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31772] ppid=31749 vsize=14325320 memory=-1 CPUtime=0 cores=0-7
/proc/31752/task/31772/stat : 31772 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177515 14669127680 10799 33554432000 4194304 4196468 140735742485792 140626992421936 140627678587522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14325320 KiB
Current children cumulated memory: 43196 KiB

[startup+0.309257 s]*
/proc/loadavg: 7.25 7.75 8.02 2/198 31772
/proc/meminfo: memFree=27072728/32770624 swapFree=67108860/67108860
[pid=31752] ppid=31749 vsize=14325340 memory=50848 CPUtime=0.48 cores=0-7
/proc/31752/stat : 31752 (java) S 31749 31752 31279 0 -1 1077944320 10449 0 0 0 44 4 0 0 20 0 20 0 104177508 14669148160 12712 33554432000 4194304 4196468 140735742485792 140735742468336 140627678576375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
/proc/31752/statm: 3581335 12712 3713 1 0 3569050 0
[pid=31752/tid=31754] ppid=31749 vsize=14325340 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/31752/task/31754/stat : 31754 (java) R 31749 31752 31279 0 -1 4202560 7544 0 0 0 26 3 0 0 20 0 20 0 104177509 14669148160 12712 33554432000 4194304 4196468 140735742485792 140627682800784 140627678598301 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31755] ppid=31749 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31755/stat : 31755 (java) S 31749 31752 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104177510 14669148160 12712 33554432000 4194304 4196468 140735742485792 140627274820752 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31756] ppid=31749 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31756/stat : 31756 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177510 14669148160 12712 33554432000 4194304 4196468 140735742485792 140627273767952 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31757] ppid=31749 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31757/stat : 31757 (java) S 31749 31752 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104177510 14669148160 12712 33554432000 4194304 4196468 140735742485792 140627272715152 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31758] ppid=31749 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31758/stat : 31758 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177510 14669148160 12712 33554432000 4194304 4196468 140735742485792 140627271662352 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31759] ppid=31749 vsize=14325340 memory=2244 CPUtime=0 cores=0-7
/proc/31752/task/31759/stat : 31759 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177510 14669148160 12712 33554432000 4194304 4196468 140735742485792 140627270609552 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31760] ppid=31749 vsize=14325340 memory=139896815711151 CPUtime=0 cores=0-7
/proc/31752/task/31760/stat : 31760 (java) S 31749 31752 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104177510 14669148160 12712 33554432000 4194304 4196468 140735742485792 140627269556752 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31761] ppid=31749 vsize=14325340 memory=139896815713456 CPUtime=0 cores=0-7
/proc/31752/task/31761/stat : 31761 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177510 14669148160 12712 33554432000 4194304 4196468 140735742485792 140627268503952 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31762] ppid=31749 vsize=14325340 memory=139896815715760 CPUtime=0 cores=0-7
/proc/31752/task/31762/stat : 31762 (java) S 31749 31752 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104177510 14669148160 12712 33554432000 4194304 4196468 140735742485792 140627267451152 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31763] ppid=31749 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31763/stat : 31763 (java) S 31749 31752 31279 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104177511 14669148160 12712 33554432000 4194304 4196468 140735742485792 140627001895792 140627678587522 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31764] ppid=31749 vsize=14325340 memory=279793631438480 CPUtime=0 cores=0-7
/proc/31752/task/31764/stat : 31764 (java) S 31749 31752 31279 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104177512 14669148160 12712 33554432000 4194304 4196468 140735742485792 140627000841760 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31765] ppid=31749 vsize=14325340 memory=279793631445392 CPUtime=0 cores=0-7
/proc/31752/task/31765/stat : 31765 (java) S 31749 31752 31279 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104177512 14669148160 12712 33554432000 4194304 4196468 140735742485792 140626999788912 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31766] ppid=31749 vsize=14325340 memory=279793631386672 CPUtime=0 cores=0-7
/proc/31752/task/31766/stat : 31766 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177514 14669148160 12712 33554432000 4194304 4196468 140735742485792 140626998737232 140627678594971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31767] ppid=31749 vsize=14325340 memory=279793631459216 CPUtime=0.02 cores=0-7
/proc/31752/task/31767/stat : 31767 (java) R 31749 31752 31279 0 -1 1077944384 561 0 0 0 2 0 0 0 20 0 20 0 104177514 14669148160 12712 33554432000 4194304 4196468 140735742485792 140626997684592 140627678587522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31768] ppid=31749 vsize=14325340 memory=279793631466128 CPUtime=0.02 cores=0-7
/proc/31752/task/31768/stat : 31768 (java) S 31749 31752 31279 0 -1 1077944384 177 0 0 0 2 0 0 0 20 0 20 0 104177514 14669148160 12712 33554432000 4194304 4196468 140735742485792 140626996631792 140627678587522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31769] ppid=31749 vsize=14325340 memory=279793631463824 CPUtime=0.04 cores=0-7
/proc/31752/task/31769/stat : 31769 (java) S 31749 31752 31279 0 -1 1077944384 309 0 0 0 4 0 0 0 20 0 20 0 104177514 14669148160 12712 33554432000 4194304 4196468 140735742485792 140626995578992 140627678587522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31770] ppid=31749 vsize=14325340 memory=279793631480432 CPUtime=0.08 cores=0-7
/proc/31752/task/31770/stat : 31770 (java) R 31749 31752 31279 0 -1 4202560 472 0 0 0 8 0 0 0 20 0 20 0 104177514 14669148160 12712 33554432000 4194304 4196468 140735742485792 140626994526192 140627678597722 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31771] ppid=31749 vsize=14325340 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31771/stat : 31771 (java) S 31749 31752 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104177514 14669148160 12712 33554432000 4194304 4196468 140735742485792 140626993474656 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31772] ppid=31749 vsize=14325340 memory=-1 CPUtime=0 cores=0-7
/proc/31752/task/31772/stat : 31772 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177515 14669148160 12712 33554432000 4194304 4196468 140735742485792 140626992421936 140627678587522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14325340 KiB
Current children cumulated memory: 50848 KiB

[startup+0.700838 s]
/proc/loadavg: 7.25 7.75 8.02 5/198 31772
/proc/meminfo: memFree=27059004/32770624 swapFree=67108860/67108860
[pid=31752] ppid=31749 vsize=14327388 memory=98760 CPUtime=1.61 cores=0-7
/proc/31752/stat : 31752 (java) S 31749 31752 31279 0 -1 1077944320 15328 0 0 0 154 7 0 0 20 0 20 0 104177508 14671245312 24690 33554432000 4194304 4196468 140735742485792 140735742468336 140627678576375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
/proc/31752/statm: 3581847 24690 3776 1 0 3569562 0
[pid=31752/tid=31754] ppid=31749 vsize=14327388 memory=0 CPUtime=0.67 cores=0-7
/proc/31752/task/31754/stat : 31754 (java) R 31749 31752 31279 0 -1 4202560 8481 0 0 0 63 4 0 0 20 0 20 0 104177509 14671245312 24690 33554432000 4194304 4196468 140735742485792 140627682811440 140627678588310 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31755] ppid=31749 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31755/stat : 31755 (java) S 31749 31752 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104177510 14671245312 24690 33554432000 4194304 4196468 140735742485792 140627274820752 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31756] ppid=31749 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31756/stat : 31756 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177510 14671245312 24690 33554432000 4194304 4196468 140735742485792 140627273767952 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31757] ppid=31749 vsize=14327388 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31757/stat : 31757 (java) S 31749 31752 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104177510 14671245312 24690 33554432000 4194304 4196468 140735742485792 140627272715152 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31758] ppid=31749 vsize=14327388 memory=1224 CPUtime=0 cores=0-7
/proc/31752/task/31758/stat : 31758 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177510 14671245312 24690 33554432000 4194304 4196468 140735742485792 140627271662352 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31759] ppid=31749 vsize=14327388 memory=1716 CPUtime=0 cores=0-7
/proc/31752/task/31759/stat : 31759 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177510 14671245312 24690 33554432000 4194304 4196468 140735742485792 140627270609552 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31760] ppid=31749 vsize=14327388 memory=10592 CPUtime=0 cores=0-7
/proc/31752/task/31760/stat : 31760 (java) S 31749 31752 31279 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104177510 14671245312 24690 33554432000 4194304 4196468 140735742485792 140627269556752 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31761] ppid=31749 vsize=14327388 memory=1200 CPUtime=0 cores=0-7
/proc/31752/task/31761/stat : 31761 (java) S 31749 31752 31279 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104177510 14671245312 24690 33554432000 4194304 4196468 140735742485792 140627268503952 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31762] ppid=31749 vsize=14327388 memory=15872 CPUtime=0 cores=0-7
/proc/31752/task/31762/stat : 31762 (java) S 31749 31752 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104177510 14671245312 24690 33554432000 4194304 4196468 140735742485792 140627267451152 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31763] ppid=31749 vsize=14327388 memory=4044 CPUtime=0 cores=0-7
/proc/31752/task/31763/stat : 31763 (java) S 31749 31752 31279 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 104177511 14671245312 24690 33554432000 4194304 4196468 140735742485792 140627001895792 140627678587522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0

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

/proc/31752/task/31774/stat : 31774 (java) S 31749 31752 31279 0 -1 1077944384 19852 0 0 0 214 304 0 0 20 0 45 0 104178206 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626978985248 140627678587522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31775] ppid=31749 vsize=16001764 memory=2196 CPUtime=2471.52 cores=0-7
/proc/31752/task/31775/stat : 31775 (java) R 31749 31752 31279 0 -1 4202560 67373 0 0 0 247074 78 0 0 20 0 45 0 104178216 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626975828672 140627320968417 0 4 0 16800975 0 0 0 -1 6 0 0 51 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31776] ppid=31749 vsize=16001764 memory=6508 CPUtime=2472.49 cores=0-7
/proc/31752/task/31776/stat : 31776 (java) R 31749 31752 31279 0 -1 4202560 72177 0 0 0 247177 72 0 0 20 0 45 0 104178216 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626974776576 140627315645476 0 4 0 16800975 0 0 0 -1 2 0 0 60 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31777] ppid=31749 vsize=16001764 memory=1236 CPUtime=2472.36 cores=0-7
/proc/31752/task/31777/stat : 31777 (java) R 31749 31752 31279 0 -1 4202560 65134 0 0 0 247170 66 0 0 20 0 45 0 104178217 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626973726992 140627320840512 0 4 0 16800975 0 0 0 -1 0 0 0 51 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31778] ppid=31749 vsize=16001764 memory=2424 CPUtime=2470.68 cores=0-7
/proc/31752/task/31778/stat : 31778 (java) R 31749 31752 31279 0 -1 4202560 71216 0 0 0 246987 81 0 0 20 0 45 0 104178219 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626972671160 140627317499049 0 4 0 16800975 0 0 0 -1 5 0 0 53 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31779] ppid=31749 vsize=16001764 memory=1580 CPUtime=0.13 cores=0-7
/proc/31752/task/31779/stat : 31779 (java) S 31749 31752 31279 0 -1 1077944384 922 0 0 0 13 0 0 0 20 0 45 0 104178219 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626971625216 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31780] ppid=31749 vsize=16001764 memory=928 CPUtime=2470.56 cores=0-7
/proc/31752/task/31780/stat : 31780 (java) R 31749 31752 31279 0 -1 4202560 66610 0 0 0 246983 73 0 0 20 0 45 0 104178219 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626970570064 140627315645218 0 4 0 16800975 0 0 0 -1 4 0 0 44 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31781] ppid=31749 vsize=16001764 memory=2244 CPUtime=0 cores=0-7
/proc/31752/task/31781/stat : 31781 (java) S 31749 31752 31279 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 45 0 104178219 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626969519616 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31782] ppid=31749 vsize=16001764 memory=4124 CPUtime=0.15 cores=0-7
/proc/31752/task/31782/stat : 31782 (java) S 31749 31752 31279 0 -1 1077944384 53 0 0 0 15 0 0 0 20 0 45 0 104178219 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626968466608 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31783] ppid=31749 vsize=16001764 memory=2196 CPUtime=2469.59 cores=0-7
/proc/31752/task/31783/stat : 31783 (java) R 31749 31752 31279 0 -1 4202560 70756 0 0 0 246884 75 0 0 20 0 45 0 104178219 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626967407624 140627319991949 0 4 0 16800975 0 0 0 -1 3 0 0 46 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31784] ppid=31749 vsize=16001764 memory=6508 CPUtime=2472.37 cores=0-7
/proc/31752/task/31784/stat : 31784 (java) R 31749 31752 31279 0 -1 4202560 69226 0 0 0 247171 66 0 0 20 0 45 0 104178219 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626966357560 140627315070462 0 4 0 16800975 0 0 0 -1 7 0 0 49 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31785] ppid=31749 vsize=16001764 memory=840 CPUtime=0 cores=0-7
/proc/31752/task/31785/stat : 31785 (java) S 31749 31752 31279 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 45 0 104178220 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626965308208 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31786] ppid=31749 vsize=16001764 memory=1692 CPUtime=2475.15 cores=0-7
/proc/31752/task/31786/stat : 31786 (java) R 31749 31752 31279 0 -1 4202560 78947 0 0 0 247440 75 0 0 20 0 45 0 104178220 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626964252680 140627318489051 0 4 0 16800975 0 0 0 -1 1 0 0 43 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31787] ppid=31749 vsize=16001764 memory=916 CPUtime=0 cores=0-7
/proc/31752/task/31787/stat : 31787 (java) S 31749 31752 31279 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 45 0 104178220 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626963203840 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31788] ppid=31749 vsize=16001764 memory=4116 CPUtime=0 cores=0-7
/proc/31752/task/31788/stat : 31788 (java) S 31749 31752 31279 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 45 0 104178244 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626962151040 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31789] ppid=31749 vsize=16001764 memory=4104 CPUtime=0 cores=0-7
/proc/31752/task/31789/stat : 31789 (java) S 31749 31752 31279 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 45 0 104178267 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626890806576 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31790] ppid=31749 vsize=16001764 memory=8514726395715349656 CPUtime=0 cores=0-7
/proc/31752/task/31790/stat : 31790 (java) S 31749 31752 31279 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 45 0 104178268 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626889753984 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31791] ppid=31749 vsize=16001764 memory=0 CPUtime=0 cores=0-7
/proc/31752/task/31791/stat : 31791 (java) S 31749 31752 31279 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 45 0 104178269 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626888701184 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31792] ppid=31749 vsize=16001764 memory=139896949826673 CPUtime=0 cores=0-7
/proc/31752/task/31792/stat : 31792 (java) S 31749 31752 31279 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 45 0 104178270 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626887648176 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31793] ppid=31749 vsize=16001764 memory=139896816578588 CPUtime=0 cores=0-7
/proc/31752/task/31793/stat : 31793 (java) S 31749 31752 31279 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 45 0 104178272 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626886595584 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31794] ppid=31749 vsize=16001764 memory=33 CPUtime=0 cores=0-7
/proc/31752/task/31794/stat : 31794 (java) S 31749 31752 31279 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 45 0 104178287 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626885542784 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31795] ppid=31749 vsize=16001764 memory=1296 CPUtime=0 cores=0-7
/proc/31752/task/31795/stat : 31795 (java) S 31749 31752 31279 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 45 0 104178287 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626884491008 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31796] ppid=31749 vsize=16001764 memory=2226156 CPUtime=0 cores=0-7
/proc/31752/task/31796/stat : 31796 (java) S 31749 31752 31279 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 45 0 104178305 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626883438000 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31797] ppid=31749 vsize=16001764 memory=7451603977762530927 CPUtime=0 cores=0-7
/proc/31752/task/31797/stat : 31797 (java) S 31749 31752 31279 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 45 0 104178309 16385806336 552692 33554432000 4194304 4196468 140735742485792 140626882385408 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
Current children cumulated CPU time: 19936 s
Current children cumulated vsize: 16001764 KiB
Current children cumulated memory: 2210768 KiB

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

[startup+2520.14 s]
# the end of solver process 31752 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19926.1 s, system=10.8596 s

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

[startup+2520.12 s]
/proc/loadavg: 9.14 8.89 8.74 9/224 31860
/proc/meminfo: memFree=24903228/32770624 swapFree=67108860/67108860
[pid=31752] ppid=31749 vsize=16134892 memory=2210772 CPUtime=19936.9 cores=0-7
/proc/31752/stat : 31752 (java) S 31749 31752 31279 0 -1 1077944320 1801507 0 0 0 1992603 1084 0 0 20 0 47 0 104177508 16522129408 552693 33554432000 4194304 4196468 140735742485792 140735742468336 140627678576375 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
/proc/31752/statm: 4033723 552693 3865 1 0 4020917 0
[pid=31752/tid=31754] ppid=31749 vsize=16134892 memory=2213332 CPUtime=7 cores=0-7
/proc/31752/task/31754/stat : 31754 (java) S 31749 31752 31279 0 -1 1077944384 14243 0 0 0 690 10 0 0 20 0 47 0 104177509 16522129408 552693 33554432000 4194304 4196468 140735742485792 140627682814080 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31755] ppid=31749 vsize=16134892 memory=2210768 CPUtime=16.63 cores=0-7
/proc/31752/task/31755/stat : 31755 (java) S 31749 31752 31279 0 -1 1077944384 118988 0 0 0 1614 49 0 0 20 0 47 0 104177510 16522129408 552693 33554432000 4194304 4196468 140735742485792 140627274820752 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31756] ppid=31749 vsize=16134892 memory=279793635184832 CPUtime=16.67 cores=0-7
/proc/31752/task/31756/stat : 31756 (java) S 31749 31752 31279 0 -1 1077944384 112491 0 0 0 1616 51 0 0 20 0 47 0 104177510 16522129408 552693 33554432000 4194304 4196468 140735742485792 140627273767952 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31757] ppid=31749 vsize=16134892 memory=0 CPUtime=16.6 cores=0-7
/proc/31752/task/31757/stat : 31757 (java) S 31749 31752 31279 0 -1 1077944384 120550 0 0 0 1615 45 0 0 20 0 47 0 104177510 16522129408 552693 33554432000 4194304 4196468 140735742485792 140627272715152 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31758] ppid=31749 vsize=16134892 memory=4140 CPUtime=16.56 cores=0-7
/proc/31752/task/31758/stat : 31758 (java) S 31749 31752 31279 0 -1 1077944384 112312 0 0 0 1612 44 0 0 20 0 47 0 104177510 16522129408 552693 33554432000 4194304 4196468 140735742485792 140627271662352 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31759] ppid=31749 vsize=16134892 memory=56 CPUtime=16.65 cores=0-7
/proc/31752/task/31759/stat : 31759 (java) S 31749 31752 31279 0 -1 1077944384 117077 0 0 0 1615 50 0 0 20 0 47 0 104177510 16522129408 552693 33554432000 4194304 4196468 140735742485792 140627270609552 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31760] ppid=31749 vsize=16134892 memory=279793631232240 CPUtime=16.67 cores=0-7
/proc/31752/task/31760/stat : 31760 (java) S 31749 31752 31279 0 -1 1077944384 120756 0 0 0 1616 51 0 0 20 0 47 0 104177510 16522129408 552693 33554432000 4194304 4196468 140735742485792 140627269556752 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31761] ppid=31749 vsize=16134892 memory=1152 CPUtime=16.56 cores=0-7
/proc/31752/task/31761/stat : 31761 (java) S 31749 31752 31279 0 -1 1077944384 106866 0 0 0 1608 48 0 0 20 0 47 0 104177510 16522129408 552693 33554432000 4194304 4196468 140735742485792 140627268503952 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 25 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31762] ppid=31749 vsize=16134892 memory=4500 CPUtime=16.69 cores=0-7
/proc/31752/task/31762/stat : 31762 (java) S 31749 31752 31279 0 -1 1077944384 129850 0 0 0 1616 53 0 0 20 0 47 0 104177510 16522129408 552693 33554432000 4194304 4196468 140735742485792 140627267451152 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31763] ppid=31749 vsize=16134892 memory=11040 CPUtime=6.95 cores=0-7
/proc/31752/task/31763/stat : 31763 (java) S 31749 31752 31279 0 -1 1077944384 202386 0 0 0 592 103 0 0 20 0 47 0 104177511 16522129408 552693 33554432000 4194304 4196468 140735742485792 140627001895792 140627678587522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31764] ppid=31749 vsize=16134892 memory=5700 CPUtime=0 cores=0-7
/proc/31752/task/31764/stat : 31764 (java) S 31749 31752 31279 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 47 0 104177512 16522129408 552693 33554432000 4194304 4196468 140735742485792 140627000841824 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31765] ppid=31749 vsize=16134892 memory=2272244 CPUtime=0 cores=0-7
/proc/31752/task/31765/stat : 31765 (java) S 31749 31752 31279 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 47 0 104177512 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626999788928 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31766] ppid=31749 vsize=16134892 memory=139896815997905 CPUtime=0 cores=0-7
/proc/31752/task/31766/stat : 31766 (java) S 31749 31752 31279 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 47 0 104177514 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626998737232 140627678594971 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31767] ppid=31749 vsize=16134892 memory=11040 CPUtime=1.98 cores=0-7
/proc/31752/task/31767/stat : 31767 (java) S 31749 31752 31279 0 -1 1077944384 11260 0 0 0 195 3 0 0 20 0 47 0 104177514 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626997684592 140627678587522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31768] ppid=31749 vsize=16134892 memory=5700 CPUtime=2.03 cores=0-7
/proc/31752/task/31768/stat : 31768 (java) R 31749 31752 31279 0 -1 1077944384 8788 0 0 0 202 1 0 0 20 0 47 0 104177514 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626996631792 140627678587522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31769] ppid=31749 vsize=16134892 memory=4616 CPUtime=2.4 cores=0-7
/proc/31752/task/31769/stat : 31769 (java) S 31749 31752 31279 0 -1 1077944384 7960 0 0 0 239 1 0 0 20 0 47 0 104177514 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626995578992 140627678587522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31770] ppid=31749 vsize=16134892 memory=2224616 CPUtime=1.2 cores=0-7
/proc/31752/task/31770/stat : 31770 (java) R 31749 31752 31279 0 -1 4202560 20564 0 0 0 116 4 0 0 20 0 47 0 104177514 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626994525952 140627657286033 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31771] ppid=31749 vsize=16134892 memory=2224616 CPUtime=0 cores=0-7
/proc/31752/task/31771/stat : 31771 (java) S 31749 31752 31279 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 47 0 104177514 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626993474656 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31772] ppid=31749 vsize=16134892 memory=30216 CPUtime=1 cores=0-7
/proc/31752/task/31772/stat : 31772 (java) S 31749 31752 31279 0 -1 1077944384 10949 0 0 0 46 54 0 0 20 0 47 0 104177515 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626992421936 140627678587522 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31773] ppid=31749 vsize=16134892 memory=4116 CPUtime=0 cores=0-7
/proc/31752/task/31773/stat : 31773 (java) S 31749 31752 31279 0 -1 1077944384 879 0 0 0 0 0 0 0 20 0 47 0 104178194 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626982134944 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31774] ppid=31749 vsize=16134892 memory=4104 CPUtime=5.18 cores=0-7
/proc/31752/task/31774/stat : 31774 (java) R 31749 31752 31279 0 -1 1077944384 19853 0 0 0 214 304 0 0 20 0 47 0 104178206 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626978984944 140627678586581 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31775] ppid=31749 vsize=16134892 memory=1152 CPUtime=2471.62 cores=0-7
/proc/31752/task/31775/stat : 31775 (java) R 31749 31752 31279 0 -1 4202560 67373 0 0 0 247084 78 0 0 20 0 47 0 104178216 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626975828672 140627320968417 0 4 0 16800975 0 0 0 -1 6 0 0 51 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31776] ppid=31749 vsize=16134892 memory=2213844 CPUtime=2472.6 cores=0-7
/proc/31752/task/31776/stat : 31776 (java) R 31749 31752 31279 0 -1 4202560 72177 0 0 0 247188 72 0 0 20 0 47 0 104178216 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626974776064 140627315645751 0 4 0 16800975 0 0 0 -1 2 0 0 60 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31777] ppid=31749 vsize=16134892 memory=2212820 CPUtime=2472.47 cores=0-7
/proc/31752/task/31777/stat : 31777 (java) R 31749 31752 31279 0 -1 4202560 65134 0 0 0 247181 66 0 0 20 0 47 0 104178217 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626973723072 140627315645184 0 4 0 16800975 0 0 0 -1 0 0 0 51 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31778] ppid=31749 vsize=16134892 memory=30228 CPUtime=2470.78 cores=0-7
/proc/31752/task/31778/stat : 31778 (java) R 31749 31752 31279 0 -1 4202560 71216 0 0 0 246997 81 0 0 20 0 47 0 104178219 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626972670272 140627318489016 0 4 0 16800975 0 0 0 -1 5 0 0 53 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31779] ppid=31749 vsize=16134892 memory=1296 CPUtime=0.13 cores=0-7
/proc/31752/task/31779/stat : 31779 (java) S 31749 31752 31279 0 -1 1077944384 922 0 0 0 13 0 0 0 20 0 47 0 104178219 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626971625216 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31780] ppid=31749 vsize=16134892 memory=2396 CPUtime=2470.66 cores=0-7
/proc/31752/task/31780/stat : 31780 (java) R 31749 31752 31279 0 -1 4202560 66610 0 0 0 246993 73 0 0 20 0 47 0 104178219 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626970569184 140627319992052 0 4 0 16800975 0 0 0 -1 4 0 0 44 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31781] ppid=31749 vsize=16134892 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/31752/task/31781/stat : 31781 (java) S 31749 31752 31279 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 47 0 104178219 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626969519616 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31782] ppid=31749 vsize=16134892 memory=2213332 CPUtime=0.15 cores=0-7
/proc/31752/task/31782/stat : 31782 (java) S 31749 31752 31279 0 -1 1077944384 53 0 0 0 15 0 0 0 20 0 47 0 104178219 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626968466608 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31783] ppid=31749 vsize=16134892 memory=1424 CPUtime=2469.7 cores=0-7
/proc/31752/task/31783/stat : 31783 (java) R 31749 31752 31279 0 -1 4202560 70756 0 0 0 246895 75 0 0 20 0 47 0 104178219 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626967407432 140627315646077 0 4 0 16800975 0 0 0 -1 3 0 0 46 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31784] ppid=31749 vsize=16134892 memory=2212820 CPUtime=2472.48 cores=0-7
/proc/31752/task/31784/stat : 31784 (java) R 31749 31752 31279 0 -1 4202560 69226 0 0 0 247182 66 0 0 20 0 47 0 104178219 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626966354744 140627314640774 0 4 0 16800975 0 0 0 -1 7 0 0 49 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31785] ppid=31749 vsize=16134892 memory=2211792 CPUtime=0 cores=0-7
/proc/31752/task/31785/stat : 31785 (java) S 31749 31752 31279 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 47 0 104178220 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626965308208 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31786] ppid=31749 vsize=16134892 memory=2212304 CPUtime=2475.24 cores=0-7
/proc/31752/task/31786/stat : 31786 (java) R 31749 31752 31279 0 -1 4202560 78947 0 0 0 247449 75 0 0 20 0 47 0 104178220 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626964249224 140627318489408 0 4 0 16800975 0 0 0 -1 1 0 0 43 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31787] ppid=31749 vsize=16134892 memory=1296 CPUtime=0 cores=0-7
/proc/31752/task/31787/stat : 31787 (java) S 31749 31752 31279 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 47 0 104178220 16522129408 552693 33554432000 4194304 4196468 140735742485792 140626963203840 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31788] ppid=31749 vsize=16134892 memory=2396 CPUtime=0 cores=0-7
/proc/31752/task/31788/stat : 31788 (java) S 31749 31752 31279 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 47 0 104178244 16522129408 552716 33554432000 4194304 4196468 140735742485792 140626962151040 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31789] ppid=31749 vsize=16134892 memory=1004 CPUtime=0 cores=0-7
/proc/31752/task/31789/stat : 31789 (java) S 31749 31752 31279 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 47 0 104178267 16522129408 552716 33554432000 4194304 4196468 140735742485792 140626890806576 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31790] ppid=31749 vsize=16134892 memory=11040 CPUtime=0 cores=0-7
/proc/31752/task/31790/stat : 31790 (java) S 31749 31752 31279 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 47 0 104178268 16522129408 552700 33554432000 4194304 4196468 140735742485792 140626889753984 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31791] ppid=31749 vsize=16134892 memory=5700 CPUtime=0 cores=0-7
/proc/31752/task/31791/stat : 31791 (java) S 31749 31752 31279 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 46 0 104178269 16522129408 552700 33554432000 4194304 4196468 140735742485792 140626888701184 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31792] ppid=31749 vsize=16134892 memory=4616 CPUtime=0 cores=0-7
/proc/31752/task/31792/stat : 31792 (java) S 31749 31752 31279 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 104178270 16522129408 552700 33554432000 4194304 4196468 140735742485792 140626887648176 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31793] ppid=31749 vsize=16134892 memory=2211280 CPUtime=0 cores=0-7
/proc/31752/task/31793/stat : 31793 (java) S 31749 31752 31279 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 46 0 104178272 16522129408 552700 33554432000 4194304 4196468 140735742485792 140626886595584 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31794] ppid=31749 vsize=16134892 memory=2211280 CPUtime=0 cores=0-7
/proc/31752/task/31794/stat : 31794 (java) S 31749 31752 31279 0 -1 1077944384 279 0 0 0 0 0 0 0 20 0 46 0 104178287 16522129408 552700 33554432000 4194304 4196468 140735742485792 140626885542784 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31795] ppid=31749 vsize=16134892 memory=16099269136353865 CPUtime=0 cores=0-7
/proc/31752/task/31795/stat : 31795 (java) S 31749 31752 31279 0 -1 1077944384 354 0 0 0 0 0 0 0 20 0 46 0 104178287 16522129408 552700 33554432000 4194304 4196468 140735742485792 140626884491008 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31796] ppid=31749 vsize=16134892 memory=2213332 CPUtime=0 cores=0-7
/proc/31752/task/31796/stat : 31796 (java) S 31749 31752 31279 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 46 0 104178305 16522129408 552700 33554432000 4194304 4196468 140735742485792 140626883438000 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
[pid=31752/tid=31797] ppid=31749 vsize=16134892 memory=11040 CPUtime=0 cores=0-7
/proc/31752/task/31797/stat : 31797 (java) S 31749 31752 31279 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 46 0 104178309 16522129408 552700 33554432000 4194304 4196468 140735742485792 140626882385408 140627678586581 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19734528 140735742493793 140735742493979 140735742493979 140735742496719 0
Current children cumulated CPU time: 19936.9 s
Current children cumulated vsize: 16134892 KiB
Current children cumulated memory: 2210772 KiB

Child status: 143
Real time (s): 2520.14
CPU time (s): 19936.9
CPU user time (s): 19926.1
CPU system time (s): 10.8596
CPU usage (%): 791.104
Max. virtual memory (cumulated for all children) (KiB): 16134892
Max. memory (cumulated for all children) (KiB): 3524396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19926.1
system time used= 10.8596
maximum resident set size= 3524396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1801668
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 682987
involuntary context switches= 421376


# summary of solver processes directly reported to runsolver:
#   pid: 31752
#   total CPU time (s): 19936.9
#   total CPU user time (s): 19926.1
#   total CPU system time (s): 10.8596

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.6001 second user time and 39.6033 second system time

The end

Launcher Data 

Begin job on node150 at 2017-08-14 13:28:25
IDJOB=4275242
IDBENCH=124397
IDSOLVER=2668
FILE ID=node150/4275242-1502710964
RUNJOBID= node150-1502705062-31306
PBS_JOBID= 20629017
Free space on /tmp= 61636 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-07-26
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n48-k7.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4275242-1502710964/watcher-4275242-1502710964 -o /tmp/evaluation-result-4275242-1502710964/solver-4275242-1502710964 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502705062-31306 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1240549741 --timelimit 20160 --memlimit 11000 --nbcore 8 HOME/instance-4275242-1502710964.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 45202abbf2fd4260704b0005edccc47f
RANDOM SEED=1240549741

node150.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	: 5332.89
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	: 5332.89
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	: 5332.89
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	: 5332.89
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:        27108460 kB
MemAvailable:   31973424 kB
Buffers:          271876 kB
Cached:          4869264 kB
SwapCached:            0 kB
Active:           764592 kB
Inactive:        4429600 kB
Active(anon):      56080 kB
Inactive(anon):    25068 kB
Active(file):     708512 kB
Inactive(file):  4404532 kB
Unevictable:        6228 kB
Mlocked:            6228 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:                12 kB
Writeback:         35692 kB
AnonPages:         59372 kB
Mapped:            44856 kB
Shmem:             25224 kB
Slab:             161420 kB
SReclaimable:     135508 kB
SUnreclaim:        25912 kB
KernelStack:        3376 kB
PageTables:         4960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61596 MiB
End job on node150 at 2017-08-14 14:10:25