Trace number 4400283

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
choco-solver 2019-09-16 parallelSAT (TO)525 1997.74 252.125

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-P-n40-k5.xml
MD5SUMaadfd6ed706e08b9468e37c047f4c189
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark514
Best CPU time to get the best result obtained on this benchmark2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables1640
Number of constraints1599
Number of domains3
Minimum domain size1
Maximum domain size141
Distribution of domain sizes[{"size":1,"count":40},{"size":2,"count":1560},{"size":141,"count":39}]
Minimum variable degree0
Maximum variable degree77
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":40},{"degree":2,"count":78},{"degree":4,"count":1482},{"degree":77,"count":39}]
Minimum constraint arity1
Maximum constraint arity39
Distribution of constraint arities[{"arity":1,"count":39},{"arity":3,"count":1482},{"arity":39,"count":78}]
Number of extensional constraints0
Number of intensional constraints39
Distribution of constraint types[{"type":"intension","count":39},{"type":"sum","count":1482},{"type":"count","count":78}]
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.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400283-1568710491.xml"  -tl '2016s' -p 8
0.11/0.18	c Choco e747e1e
0.11/0.18	c [HOME/instance-4400283-1568710491.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
4.09/1.26	c solve instance...
17.17/2.95	o 1572 
17.17/2.96	o 1542 
17.17/2.96	o 1539 
17.17/2.99	o 1535 
17.17/2.99	o 1505 
17.17/3.00	o 1500 
17.17/3.00	o 1483 
17.92/3.01	o 1475 
17.92/3.02	o 1454 
17.92/3.07	o 1451 
21.00/3.46	o 1413 
21.00/3.49	o 1395 
21.75/3.50	o 1383 
21.75/3.53	o 1382 
21.75/3.54	o 1378 
21.75/3.55	o 1341 
21.75/3.58	o 1328 
22.38/3.61	o 1313 
22.38/3.62	o 1312 
22.38/3.63	o 1229 
22.38/3.64	o 1227 
22.38/3.65	o 1224 
22.38/3.66	o 1198 
22.38/3.66	o 1162 
22.38/3.68	o 1153 
22.38/3.70	o 1128 
23.86/3.88	o 1123 
24.64/3.97	o 1121 
26.98/4.22	o 1117 
26.98/4.26	o 1094 
27.72/4.31	o 1093 
27.72/4.32	o 1091 
28.46/4.46	o 1088 
28.46/4.48	o 1079 
30.01/4.68	o 1073 
30.01/4.69	o 1068 
30.83/4.71	o 1057 
30.83/4.78	o 1055 
30.83/4.79	o 1049 
31.51/4.88	o 1035 
33.12/5.02	o 1032 
33.12/5.07	o 1018 
33.90/5.14	o 1016 
36.21/5.47	o 1005 
36.21/5.47	o 998 
37.78/5.68	o 987 
37.78/5.69	o 955 
37.78/5.70	o 954 
38.56/5.73	o 937 
38.56/5.76	o 934 
38.56/5.77	o 923 
38.56/5.80	o 911 
40.05/5.97	o 905 
40.05/5.98	o 902 
40.05/5.98	o 873 
40.05/5.99	o 870 
42.30/6.24	o 847 
43.89/6.43	o 838 
43.89/6.43	o 834 
46.28/6.70	o 829 
47.91/6.95	o 825 
47.91/6.96	o 817 
47.91/6.96	o 809 
47.91/6.97	o 787 
47.91/6.97	o 786 
47.91/6.98	o 785 
47.91/6.99	o 768 
48.57/7.04	o 760 
48.57/7.04	o 749 
50.07/7.29	o 748 
52.44/7.50	o 746 
55.62/7.99	o 744 
57.98/8.29	o 712 
58.84/8.37	o 707 
62.75/8.86	o 694 
62.75/8.87	o 685 
62.75/8.88	o 667 
65.82/9.23	o 666 
78.58/10.88	o 659 
78.58/10.90	o 654 
79.35/10.90	o 650 
79.35/10.91	o 634 
97.66/13.25	o 625 
160.71/21.15	o 623 
160.71/21.19	o 615 
162.96/21.42	o 608 
174.10/22.83	o 604 
176.54/23.15	o 600 
292.11/37.62	o 597 
316.04/40.66	o 589 
413.33/52.81	o 585 
766.76/97.19	o 580 
798.50/101.22	o 576 
882.83/111.85	o 568 
1046.88/132.60	o 557 
1096.28/138.85	o 556 
1191.61/150.87	o 552 
1258.86/159.39	o 535 
1397.66/176.81	o 533 
1463.43/185.12	o 525 
1996.96/252.08	s SATISFIABLE
1996.96/252.08	v <instantiation>
1996.96/252.08	v 	<list>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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] </list>
1996.96/252.08	v 	<values>0 0 0 0 1 0 0 0 1 0 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 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 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 137 119 116 9 50 112 60 23 45 102 19 29 53 97 60 34 21 122 30 77 79 49 76 10 81 41 140 130 85 121 34 140 83 71 94 100 18 136 97 </values>
1996.96/252.08	v </instantiation>
1996.96/252.08	c Unexpected resolution interruption!

Verifier Data 

OK	525

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400283-1568710491/watcher-4400283-1568710491 -o /tmp/evaluation-result-4400283-1568710491/solver-4400283-1568710491 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1795188506 HOME/instance-4400283-1568710491.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=1285, runsolver pid=1282

[startup+0.10011 s]*
/proc/loadavg: 7.83 7.99 8.08 2/211 1306
/proc/meminfo: memFree=30659156/32770624 swapFree=66926792/67108860
[pid=1285] ppid=1282 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1285/stat : 1285 (xcsp3-exec) S 1282 1285 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447304870 115843072 363 33554432000 4194304 5098028 140731308225648 140731308223752 139934376297084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27447296 140731308233595 140731308233838 140731308233838 140731308236746 0
/proc/1285/statm: 28282 363 304 221 0 87 0
[pid=1287] ppid=1285 vsize=28227396 memory=28784 CPUtime=0.11 cores=0-7
/proc/1287/stat : 1287 (java) S 1285 1285 26088 0 -1 1077944320 5560 0 0 0 9 2 0 0 20 0 20 0 447304870 28904853504 7196 33554432000 4194304 4196468 140725905430224 140725905412768 139833284984567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
/proc/1287/statm: 7056849 7196 3164 1 0 7019032 0
[pid=1287/tid=1288] ppid=1285 vsize=28227396 memory=-3103912127665269910 CPUtime=0.08 cores=0-7
/proc/1287/task/1288/stat : 1288 (java) R 1285 1285 26088 0 -1 4202560 3575 0 0 0 7 1 0 0 20 0 20 0 447304870 28904853504 7196 33554432000 4194304 4196468 140725905430224 139833289216816 139833284996502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1289] ppid=1285 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/1287/task/1289/stat : 1289 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28904853504 7262 33554432000 4194304 4196468 140725905430224 139833204836624 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1290] ppid=1285 vsize=28227396 memory=140081749067392 CPUtime=0 cores=0-7
/proc/1287/task/1290/stat : 1290 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28904853504 7262 33554432000 4194304 4196468 140725905430224 139833203784080 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1291] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1291/stat : 1291 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28904853504 7262 33554432000 4194304 4196468 140725905430224 139833202731536 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1292] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1292/stat : 1292 (java) S 1285 1285 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447304871 28904853504 7262 33554432000 4194304 4196468 140725905430224 139833201678992 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1293] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1293/stat : 1293 (java) S 1285 1285 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447304871 28904853504 7262 33554432000 4194304 4196468 140725905430224 139833200626448 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1294] ppid=1285 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1287/task/1294/stat : 1294 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28904853504 7262 33554432000 4194304 4196468 140725905430224 139833199573904 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1295] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1295/stat : 1295 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28904853504 7262 33554432000 4194304 4196468 140725905430224 139833198521360 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1296] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1296/stat : 1296 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28904853504 7262 33554432000 4194304 4196468 140725905430224 139833197468816 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1297] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1297/stat : 1297 (java) S 1285 1285 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447304873 28904853504 7262 33554432000 4194304 4196468 140725905430224 139831412877296 139833284995714 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1298] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1298/stat : 1298 (java) S 1285 1285 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447304873 28904853504 7262 33554432000 4194304 4196468 140725905430224 139831411823520 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1299] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1299/stat : 1299 (java) S 1285 1285 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447304873 28904853504 7262 33554432000 4194304 4196468 140725905430224 139831410770928 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1300] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1300/stat : 1300 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304876 28904853504 7262 33554432000 4194304 4196468 140725905430224 139831409719504 139833285003163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1301] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1301/stat : 1301 (java) S 1285 1285 26088 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 20 0 447304876 28904853504 7262 33554432000 4194304 4196468 140725905430224 139831408667120 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1302] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1302/stat : 1302 (java) S 1285 1285 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447304876 28904853504 7262 33554432000 4194304 4196468 140725905430224 139831407614576 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1303] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1303/stat : 1303 (java) S 1285 1285 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447304876 28904853504 7262 33554432000 4194304 4196468 140725905430224 139831406562032 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1304] ppid=1285 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/1287/task/1304/stat : 1304 (java) R 1285 1285 26088 0 -1 4202560 330 0 0 0 1 0 0 0 20 0 20 0 447304876 28904853504 7262 33554432000 4194304 4196468 140725905430224 139831405509488 139833263684768 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1305] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1305/stat : 1305 (java) S 1285 1285 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447304876 28904853504 7262 33554432000 4194304 4196468 140725905430224 139831404456160 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1306] ppid=1285 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1287/task/1306/stat : 1306 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304876 28904853504 7262 33554432000 4194304 4196468 140725905430224 139831403403696 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30236 KiB

[startup+0.210253 s]*
/proc/loadavg: 7.83 7.99 8.08 2/211 1306
/proc/meminfo: memFree=30645296/32770624 swapFree=66926792/67108860
[pid=1285] ppid=1282 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1285/stat : 1285 (xcsp3-exec) S 1282 1285 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447304870 115843072 363 33554432000 4194304 5098028 140731308225648 140731308223752 139934376297084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27447296 140731308233595 140731308233838 140731308233838 140731308236746 0
/proc/1285/statm: 28282 363 304 221 0 87 0
[pid=1287] ppid=1285 vsize=28227396 memory=41040 CPUtime=0.33 cores=0-7
/proc/1287/stat : 1287 (java) S 1285 1285 26088 0 -1 1077944320 9530 0 0 0 29 4 0 0 20 0 20 0 447304870 28904853504 10260 33554432000 4194304 4196468 140725905430224 140725905412768 139833284984567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
/proc/1287/statm: 7056849 10260 3297 1 0 7019032 0
[pid=1287/tid=1288] ppid=1285 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/1287/task/1288/stat : 1288 (java) R 1285 1285 26088 0 -1 4202560 6613 0 0 0 17 3 0 0 20 0 20 0 447304870 28904853504 10260 33554432000 4194304 4196468 140725905430224 139833289217296 139833269065054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1289] ppid=1285 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/1287/task/1289/stat : 1289 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28904853504 10260 33554432000 4194304 4196468 140725905430224 139833204836624 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1290] ppid=1285 vsize=28227396 memory=3545660685225068192 CPUtime=0 cores=0-7
/proc/1287/task/1290/stat : 1290 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28904853504 10260 33554432000 4194304 4196468 140725905430224 139833203784080 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1291] ppid=1285 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1287/task/1291/stat : 1291 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28904853504 10260 33554432000 4194304 4196468 140725905430224 139833202731536 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1292] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1292/stat : 1292 (java) S 1285 1285 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447304871 28904853504 10260 33554432000 4194304 4196468 140725905430224 139833201678992 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1293] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1293/stat : 1293 (java) S 1285 1285 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447304871 28904853504 10260 33554432000 4194304 4196468 140725905430224 139833200626448 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1294] ppid=1285 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1287/task/1294/stat : 1294 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28904853504 10260 33554432000 4194304 4196468 140725905430224 139833199573904 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1295] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1295/stat : 1295 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28904853504 10260 33554432000 4194304 4196468 140725905430224 139833198521360 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1296] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1296/stat : 1296 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28904853504 10260 33554432000 4194304 4196468 140725905430224 139833197468816 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1297] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1297/stat : 1297 (java) S 1285 1285 26088 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447304873 28904853504 10260 33554432000 4194304 4196468 140725905430224 139831412877296 139833284995714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1298] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1298/stat : 1298 (java) S 1285 1285 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447304873 28904853504 10260 33554432000 4194304 4196468 140725905430224 139831411823520 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1299] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1299/stat : 1299 (java) S 1285 1285 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447304873 28904853504 10260 33554432000 4194304 4196468 140725905430224 139831410770928 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1300] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1300/stat : 1300 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304876 28904853504 10260 33554432000 4194304 4196468 140725905430224 139831409719504 139833285003163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1301] ppid=1285 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/1287/task/1301/stat : 1301 (java) S 1285 1285 26088 0 -1 1077944384 657 0 0 0 2 0 0 0 20 0 20 0 447304876 28904853504 10260 33554432000 4194304 4196468 140725905430224 139831408667120 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1302] ppid=1285 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/1287/task/1302/stat : 1302 (java) S 1285 1285 26088 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 447304876 28904853504 10260 33554432000 4194304 4196468 140725905430224 139831407614576 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1303] ppid=1285 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/1287/task/1303/stat : 1303 (java) S 1285 1285 26088 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 20 0 447304876 28904853504 10260 33554432000 4194304 4196468 140725905430224 139831406562032 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1304] ppid=1285 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/1287/task/1304/stat : 1304 (java) S 1285 1285 26088 0 -1 1077944384 761 0 0 0 7 0 0 0 20 0 20 0 447304876 28904853504 10260 33554432000 4194304 4196468 140725905430224 139831405509488 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1305] ppid=1285 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1305/stat : 1305 (java) S 1285 1285 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447304876 28904853504 10260 33554432000 4194304 4196468 140725905430224 139831404456160 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1306] ppid=1285 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/1287/task/1306/stat : 1306 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304876 28904853504 10260 33554432000 4194304 4196468 140725905430224 139831403403696 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42492 KiB

[startup+0.309731 s]*
/proc/loadavg: 7.83 7.99 8.08 2/211 1306
/proc/meminfo: memFree=30638396/32770624 swapFree=66926792/67108860
[pid=1285] ppid=1282 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1285/stat : 1285 (xcsp3-exec) S 1282 1285 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447304870 115843072 363 33554432000 4194304 5098028 140731308225648 140731308223752 139934376297084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27447296 140731308233595 140731308233838 140731308233838 140731308236746 0
/proc/1285/statm: 28282 363 304 221 0 87 0
[pid=1287] ppid=1285 vsize=28231652 memory=49936 CPUtime=0.51 cores=0-7
/proc/1287/stat : 1287 (java) S 1285 1285 26088 0 -1 1077944320 10780 0 0 0 46 5 0 0 20 0 20 0 447304870 28909211648 12484 33554432000 4194304 4196468 140725905430224 140725905412768 139833284984567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
/proc/1287/statm: 7057913 12484 3349 1 0 7019032 0
[pid=1287/tid=1288] ppid=1285 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/1287/task/1288/stat : 1288 (java) R 1285 1285 26088 0 -1 4202560 7719 0 0 0 26 3 0 0 20 0 20 0 447304870 28909211648 12522 33554432000 4194304 4196468 140725905430224 139833289220352 139833269065054 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1289] ppid=1285 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/1287/task/1289/stat : 1289 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28909211648 12522 33554432000 4194304 4196468 140725905430224 139833204836624 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1290] ppid=1285 vsize=28231652 memory=776 CPUtime=0 cores=0-7
/proc/1287/task/1290/stat : 1290 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28909211648 12522 33554432000 4194304 4196468 140725905430224 139833203784080 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1291] ppid=1285 vsize=28231652 memory=1552 CPUtime=0 cores=0-7
/proc/1287/task/1291/stat : 1291 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28909211648 12522 33554432000 4194304 4196468 140725905430224 139833202731536 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1292] ppid=1285 vsize=28231652 memory=8076 CPUtime=0 cores=0-7
/proc/1287/task/1292/stat : 1292 (java) S 1285 1285 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447304871 28909211648 12522 33554432000 4194304 4196468 140725905430224 139833201678992 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1293] ppid=1285 vsize=28231652 memory=4008 CPUtime=0 cores=0-7
/proc/1287/task/1293/stat : 1293 (java) S 1285 1285 26088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447304871 28909211648 12522 33554432000 4194304 4196468 140725905430224 139833200626448 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1294] ppid=1285 vsize=28231652 memory=1556 CPUtime=0 cores=0-7
/proc/1287/task/1294/stat : 1294 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28909211648 12522 33554432000 4194304 4196468 140725905430224 139833199573904 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1295] ppid=1285 vsize=28231652 memory=2832 CPUtime=0 cores=0-7
/proc/1287/task/1295/stat : 1295 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28909211648 12522 33554432000 4194304 4196468 140725905430224 139833198521360 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1296] ppid=1285 vsize=28231652 memory=984 CPUtime=0 cores=0-7
/proc/1287/task/1296/stat : 1296 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28909211648 12522 33554432000 4194304 4196468 140725905430224 139833197468816 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1297] ppid=1285 vsize=28231652 memory=14012 CPUtime=0 cores=0-7
/proc/1287/task/1297/stat : 1297 (java) S 1285 1285 26088 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447304873 28909211648 12522 33554432000 4194304 4196468 140725905430224 139831412877296 139833284995714 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1298] ppid=1285 vsize=28231652 memory=11240 CPUtime=0 cores=0-7
/proc/1287/task/1298/stat : 1298 (java) S 1285 1285 26088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447304873 28909211648 12522 33554432000 4194304 4196468 140725905430224 139831411823520 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1299] ppid=1285 vsize=28231652 memory=2120 CPUtime=0 cores=0-7
/proc/1287/task/1299/stat : 1299 (java) S 1285 1285 26088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447304873 28909211648 12522 33554432000 4194304 4196468 140725905430224 139831410770928 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1300] ppid=1285 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1300/stat : 1300 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304876 28909211648 12522 33554432000 4194304 4196468 140725905430224 139831409719504 139833285003163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1301] ppid=1285 vsize=28231652 memory=0 CPUtime=0.03 cores=0-7
/proc/1287/task/1301/stat : 1301 (java) R 1285 1285 26088 0 -1 4202560 761 0 0 0 3 0 0 0 20 0 20 0 447304876 28909211648 12522 33554432000 4194304 4196468 140725905430224 139831408657504 139833262636432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1302] ppid=1285 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7
/proc/1287/task/1302/stat : 1302 (java) S 1285 1285 26088 0 -1 1077944384 105 0 0 0 2 0 0 0 20 0 20 0 447304876 28909211648 12522 33554432000 4194304 4196468 140725905430224 139831407614576 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1303] ppid=1285 vsize=28231652 memory=0 CPUtime=0.02 cores=0-7
/proc/1287/task/1303/stat : 1303 (java) S 1285 1285 26088 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 20 0 447304876 28909211648 12522 33554432000 4194304 4196468 140725905430224 139831406562032 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1304] ppid=1285 vsize=28231652 memory=0 CPUtime=0.12 cores=0-7
/proc/1287/task/1304/stat : 1304 (java) S 1285 1285 26088 0 -1 1077944384 851 0 0 0 12 0 0 0 20 0 20 0 447304876 28909211648 12522 33554432000 4194304 4196468 140725905430224 139831405509488 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1305] ppid=1285 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1305/stat : 1305 (java) S 1285 1285 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447304876 28909211648 12522 33554432000 4194304 4196468 140725905430224 139831404456160 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1306] ppid=1285 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1306/stat : 1306 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304876 28909211648 12522 33554432000 4194304 4196468 140725905430224 139831403403696 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51388 KiB

[startup+0.701031 s]
/proc/loadavg: 7.83 7.99 8.08 3/211 1306
/proc/meminfo: memFree=30616728/32770624 swapFree=66926792/67108860
[pid=1285] ppid=1282 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1285/stat : 1285 (xcsp3-exec) S 1282 1285 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447304870 115843072 363 33554432000 4194304 5098028 140731308225648 140731308223752 139934376297084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27447296 140731308233595 140731308233838 140731308233838 140731308236746 0
/proc/1285/statm: 28282 363 304 221 0 87 0
[pid=1287] ppid=1285 vsize=28233776 memory=94892 CPUtime=1.93 cores=0-7
/proc/1287/stat : 1287 (java) S 1285 1285 26088 0 -1 1077944320 15903 0 0 0 186 7 0 0 20 0 20 0 447304870 28911386624 23723 33554432000 4194304 4196468 140725905430224 140725905412768 139833284984567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
/proc/1287/statm: 7058444 23723 3454 1 0 7019544 0
[pid=1287/tid=1288] ppid=1285 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/1287/task/1288/stat : 1288 (java) R 1285 1285 26088 0 -1 4202560 9119 0 0 0 63 5 0 0 20 0 20 0 447304870 28911386624 23723 33554432000 4194304 4196468 140725905430224 139833289220208 139832882102368 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1289] ppid=1285 vsize=28233776 memory=140081633731440 CPUtime=0 cores=0-7
/proc/1287/task/1289/stat : 1289 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28911386624 23723 33554432000 4194304 4196468 140725905430224 139833204836624 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1290] ppid=1285 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/1287/task/1290/stat : 1290 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28911386624 23723 33554432000 4194304 4196468 140725905430224 139833203784080 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1291] ppid=1285 vsize=28233776 memory=2016 CPUtime=0 cores=0-7
/proc/1287/task/1291/stat : 1291 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447304871 28911386624 23723 33554432000 4194304 4196468 140725905430224 139833202731536 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0

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

[pid=1287/tid=2117] ppid=1285 vsize=28901464 memory=2016 CPUtime=2.9 cores=0-7
/proc/1287/task/2117/stat : 2117 (java) R 1285 1285 26088 0 -1 4202560 357 0 0 0 289 1 0 0 20 0 28 0 447320809 29595099136 556137 33554432000 4194304 4196468 140725905430224 139831074962248 139832878797852 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
Current children cumulated CPU time: 1282.78 s
Current children cumulated vsize: 29014592 KiB
Current children cumulated memory: 2226000 KiB

[startup+222.301 s]
/proc/loadavg: 7.85 7.89 8.01 10/218 2136
/proc/meminfo: memFree=28457200/32770624 swapFree=66926792/67108860
[pid=1285] ppid=1282 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1285/stat : 1285 (xcsp3-exec) S 1282 1285 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447304870 115843072 363 33554432000 4194304 5098028 140731308225648 140731308223752 139934376297084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27447296 140731308233595 140731308233838 140731308233838 140731308236746 0
/proc/1285/statm: 28282 363 304 221 0 87 0
[pid=1287] ppid=1285 vsize=28901464 memory=2226572 CPUtime=1760.05 cores=0-7
/proc/1287/stat : 1287 (java) S 1285 1285 26088 0 -1 1077944320 160583 0 0 0 175781 224 0 0 20 0 28 0 447304870 29595099136 556643 33554432000 4194304 4196468 140725905430224 140725905412768 139833284984567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
/proc/1287/statm: 7225366 556643 3539 1 0 7186466 0
[pid=1287/tid=1288] ppid=1285 vsize=28901464 memory=2226572 CPUtime=1.35 cores=0-7
/proc/1287/task/1288/stat : 1288 (java) S 1285 1285 26088 0 -1 1077944384 13279 0 0 0 128 7 0 0 20 0 28 0 447304870 29595099136 556643 33554432000 4194304 4196468 140725905430224 139833289225344 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1289] ppid=1285 vsize=28901464 memory=2226572 CPUtime=0.14 cores=0-7
/proc/1287/task/1289/stat : 1289 (java) S 1285 1285 26088 0 -1 1077944384 1131 0 0 0 8 6 0 0 20 0 28 0 447304871 29595099136 556643 33554432000 4194304 4196468 140725905430224 139833204836624 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1290] ppid=1285 vsize=28901464 memory=1452 CPUtime=0.11 cores=0-7
/proc/1287/task/1290/stat : 1290 (java) S 1285 1285 26088 0 -1 1077944384 420 0 0 0 6 5 0 0 20 0 28 0 447304871 29595099136 556643 33554432000 4194304 4196468 140725905430224 139833203784080 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1291] ppid=1285 vsize=28901464 memory=2226572 CPUtime=0.14 cores=0-7
/proc/1287/task/1291/stat : 1291 (java) S 1285 1285 26088 0 -1 1077944384 803 0 0 0 8 6 0 0 20 0 28 0 447304871 29595099136 556643 33554432000 4194304 4196468 140725905430224 139833202731536 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1292] ppid=1285 vsize=28901464 memory=2226572 CPUtime=0.13 cores=0-7
/proc/1287/task/1292/stat : 1292 (java) S 1285 1285 26088 0 -1 1077944384 355 0 0 0 7 6 0 0 20 0 28 0 447304871 29595099136 556643 33554432000 4194304 4196468 140725905430224 139833201678992 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1293] ppid=1285 vsize=28901464 memory=2226572 CPUtime=0.13 cores=0-7
/proc/1287/task/1293/stat : 1293 (java) S 1285 1285 26088 0 -1 1077944384 421 0 0 0 7 6 0 0 20 0 28 0 447304871 29595099136 556643 33554432000 4194304 4196468 140725905430224 139833200626448 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1294] ppid=1285 vsize=28901464 memory=1452 CPUtime=0.13 cores=0-7
/proc/1287/task/1294/stat : 1294 (java) S 1285 1285 26088 0 -1 1077944384 377 0 0 0 7 6 0 0 20 0 28 0 447304871 29595099136 556643 33554432000 4194304 4196468 140725905430224 139833199573904 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1295] ppid=1285 vsize=28901464 memory=3580 CPUtime=0.14 cores=0-7
/proc/1287/task/1295/stat : 1295 (java) S 1285 1285 26088 0 -1 1077944384 914 0 0 0 7 7 0 0 20 0 28 0 447304871 29595099136 556643 33554432000 4194304 4196468 140725905430224 139833198521360 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1296] ppid=1285 vsize=28901464 memory=2226460 CPUtime=0.12 cores=0-7
/proc/1287/task/1296/stat : 1296 (java) S 1285 1285 26088 0 -1 1077944384 398 0 0 0 7 5 0 0 20 0 28 0 447304871 29595099136 556643 33554432000 4194304 4196468 140725905430224 139833197468816 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1297] ppid=1285 vsize=28901464 memory=1452 CPUtime=0.03 cores=0-7
/proc/1287/task/1297/stat : 1297 (java) S 1285 1285 26088 0 -1 1077944384 3276 0 0 0 2 1 0 0 20 0 28 0 447304873 29595099136 556643 33554432000 4194304 4196468 140725905430224 139831412877296 139833284995714 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1298] ppid=1285 vsize=28901464 memory=1452 CPUtime=0 cores=0-7
/proc/1287/task/1298/stat : 1298 (java) S 1285 1285 26088 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 447304873 29595099136 556643 33554432000 4194304 4196468 140725905430224 139831411823584 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1299] ppid=1285 vsize=28901464 memory=2226572 CPUtime=0 cores=0-7
/proc/1287/task/1299/stat : 1299 (java) S 1285 1285 26088 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 447304873 29595099136 556643 33554432000 4194304 4196468 140725905430224 139831410770944 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1300] ppid=1285 vsize=28901464 memory=14012 CPUtime=0 cores=0-7
/proc/1287/task/1300/stat : 1300 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447304876 29595099136 556643 33554432000 4194304 4196468 140725905430224 139831409719504 139833285003163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1301] ppid=1285 vsize=28901464 memory=11240 CPUtime=2.83 cores=0-7
/proc/1287/task/1301/stat : 1301 (java) S 1285 1285 26088 0 -1 1077944384 11467 0 0 0 281 2 0 0 20 0 28 0 447304876 29595099136 556643 33554432000 4194304 4196468 140725905430224 139831408667120 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1302] ppid=1285 vsize=28901464 memory=1452 CPUtime=2.68 cores=0-7
/proc/1287/task/1302/stat : 1302 (java) S 1285 1285 26088 0 -1 1077944384 10735 0 0 0 265 3 0 0 20 0 28 0 447304876 29595099136 556643 33554432000 4194304 4196468 140725905430224 139831407614576 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1303] ppid=1285 vsize=28901464 memory=2224436 CPUtime=3.02 cores=0-7
/proc/1287/task/1303/stat : 1303 (java) S 1285 1285 26088 0 -1 1077944384 8165 0 0 0 300 2 0 0 20 0 28 0 447304876 29595099136 556643 33554432000 4194304 4196468 140725905430224 139831406562032 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1304] ppid=1285 vsize=28901464 memory=280163268751440 CPUtime=1.02 cores=0-7
/proc/1287/task/1304/stat : 1304 (java) S 1285 1285 26088 0 -1 1077944384 11778 0 0 0 99 3 0 0 20 0 28 0 447304876 29595099136 556643 33554432000 4194304 4196468 140725905430224 139831405509488 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1305] ppid=1285 vsize=28901464 memory=2199972 CPUtime=0 cores=0-7
/proc/1287/task/1305/stat : 1305 (java) S 1285 1285 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447304876 29595099136 556643 33554432000 4194304 4196468 140725905430224 139831404456160 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1306] ppid=1285 vsize=28901464 memory=1680 CPUtime=0.05 cores=0-7
/proc/1287/task/1306/stat : 1306 (java) S 1285 1285 26088 0 -1 1077944384 2152 0 0 0 0 5 0 0 20 0 28 0 447304876 29595099136 556643 33554432000 4194304 4196468 140725905430224 139831403403696 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=2127] ppid=1285 vsize=28901464 memory=1444 CPUtime=37.14 cores=0-7
/proc/1287/task/2127/stat : 2127 (java) R 1285 1285 26088 0 -1 4202560 746 0 0 0 3714 0 0 0 20 0 28 0 447323382 29595099136 556643 33554432000 4194304 4196468 140725905430224 139831386008536 139832888138608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=2128] ppid=1285 vsize=28901464 memory=18296560685218 CPUtime=37.15 cores=0-7
/proc/1287/task/2128/stat : 2128 (java) R 1285 1285 26088 0 -1 4202560 597 0 0 0 3715 0 0 0 20 0 28 0 447323382 29595099136 556643 33554432000 4194304 4196468 140725905430224 139831074955480 139832887893742 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=2129] ppid=1285 vsize=28901464 memory=7523662740098465894 CPUtime=37.15 cores=0-7
/proc/1287/task/2129/stat : 2129 (java) R 1285 1285 26088 0 -1 4202560 1029 0 0 0 3715 0 0 0 20 0 28 0 447323382 29595099136 556643 33554432000 4194304 4196468 140725905430224 139831388115800 139832878797771 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=2130] ppid=1285 vsize=28901464 memory=1452 CPUtime=37.15 cores=0-7
/proc/1287/task/2130/stat : 2130 (java) R 1285 1285 26088 0 -1 4202560 1517 0 0 0 3712 3 0 0 20 0 28 0 447323382 29595099136 556643 33554432000 4194304 4196468 140725905430224 139831077060504 139832885037084 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=2131] ppid=1285 vsize=28901464 memory=2226572 CPUtime=37.14 cores=0-7
/proc/1287/task/2131/stat : 2131 (java) R 1285 1285 26088 0 -1 4202560 815 0 0 0 3714 0 0 0 20 0 28 0 447323382 29595099136 556643 33554432000 4194304 4196468 140725905430224 139831076012568 139832878797990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=2132] ppid=1285 vsize=28901464 memory=3580 CPUtime=36.42 cores=0-7
/proc/1287/task/2132/stat : 2132 (java) R 1285 1285 26088 0 -1 4202560 330 0 0 0 3642 0 0 0 20 0 28 0 447323382 29595099136 556643 33554432000 4194304 4196468 140725905430224 139831394427984 139832886431239 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=2133] ppid=1285 vsize=28901464 memory=31744 CPUtime=37.14 cores=0-7
/proc/1287/task/2133/stat : 2133 (java) R 1285 1285 26088 0 -1 4202560 2225 0 0 0 3713 1 0 0 20 0 28 0 447323382 29595099136 556643 33554432000 4194304 4196468 140725905430224 139831391277544 139832885037511 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=2134] ppid=1285 vsize=28901464 memory=988 CPUtime=37.15 cores=0-7
/proc/1287/task/2134/stat : 2134 (java) R 1285 1285 26088 0 -1 4202560 846 0 0 0 3714 1 0 0 20 0 28 0 447323382 29595099136 556643 33554432000 4194304 4196468 140725905430224 139831389174064 139832885001836 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
Current children cumulated CPU time: 1760.05 s
Current children cumulated vsize: 29014592 KiB
Current children cumulated memory: 2228024 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 7.91 7.90 8.01 11/218 2139
/proc/meminfo: memFree=28468280/32770624 swapFree=66926792/67108860
[pid=1285] ppid=1282 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/1285/stat : 1285 (xcsp3-exec) S 1282 1285 26088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447304870 115843072 363 33554432000 4194304 5098028 140731308225648 140731308223752 139934376297084 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27447296 140731308233595 140731308233838 140731308233838 140731308236746 0
/proc/1285/statm: 28282 363 304 221 0 87 0
[pid=1287] ppid=1285 vsize=28901464 memory=2215328 CPUtime=1996.96 cores=0-7
/proc/1287/stat : 1287 (java) S 1285 1285 26088 0 -1 1077944320 165928 0 0 0 199460 236 0 0 20 0 28 0 447304870 29595099136 553832 33554432000 4194304 4196468 140725905430224 140725905412768 139833284984567 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
/proc/1287/statm: 7225366 553832 3539 1 0 7186466 0
[pid=1287/tid=1288] ppid=1285 vsize=28901464 memory=8317482817917895235 CPUtime=1.35 cores=0-7
/proc/1287/task/1288/stat : 1288 (java) S 1285 1285 26088 0 -1 1077944384 13279 0 0 0 128 7 0 0 20 0 28 0 447304870 29595099136 553832 33554432000 4194304 4196468 140725905430224 139833289225344 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1289] ppid=1285 vsize=28901464 memory=4126316290023845779 CPUtime=0.14 cores=0-7
/proc/1287/task/1289/stat : 1289 (java) S 1285 1285 26088 0 -1 1077944384 1188 0 0 0 8 6 0 0 20 0 28 0 447304871 29595099136 553832 33554432000 4194304 4196468 140725905430224 139833204836624 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1290] ppid=1285 vsize=28901464 memory=-2317720213663324238 CPUtime=0.12 cores=0-7
/proc/1287/task/1290/stat : 1290 (java) S 1285 1285 26088 0 -1 1077944384 437 0 0 0 6 6 0 0 20 0 28 0 447304871 29595099136 553832 33554432000 4194304 4196468 140725905430224 139833203784080 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1291] ppid=1285 vsize=28901464 memory=-2605811476043407915 CPUtime=0.14 cores=0-7
/proc/1287/task/1291/stat : 1291 (java) S 1285 1285 26088 0 -1 1077944384 1206 0 0 0 8 6 0 0 20 0 28 0 447304871 29595099136 553832 33554432000 4194304 4196468 140725905430224 139833202731536 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1292] ppid=1285 vsize=28901464 memory=8112282956445269571 CPUtime=0.13 cores=0-7
/proc/1287/task/1292/stat : 1292 (java) S 1285 1285 26088 0 -1 1077944384 380 0 0 0 7 6 0 0 20 0 28 0 447304871 29595099136 553832 33554432000 4194304 4196468 140725905430224 139833201678992 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1293] ppid=1285 vsize=28901464 memory=924 CPUtime=0.15 cores=0-7
/proc/1287/task/1293/stat : 1293 (java) S 1285 1285 26088 0 -1 1077944384 454 0 0 0 8 7 0 0 20 0 28 0 447304871 29595099136 553832 33554432000 4194304 4196468 140725905430224 139833200626448 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1294] ppid=1285 vsize=28901464 memory=4508 CPUtime=0.14 cores=0-7
/proc/1287/task/1294/stat : 1294 (java) S 1285 1285 26088 0 -1 1077944384 399 0 0 0 8 6 0 0 20 0 28 0 447304871 29595099136 553832 33554432000 4194304 4196468 140725905430224 139833199573904 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1295] ppid=1285 vsize=28901464 memory=4100 CPUtime=0.15 cores=0-7
/proc/1287/task/1295/stat : 1295 (java) S 1285 1285 26088 0 -1 1077944384 982 0 0 0 8 7 0 0 20 0 28 0 447304871 29595099136 553832 33554432000 4194304 4196468 140725905430224 139833198521360 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1296] ppid=1285 vsize=28901464 memory=1164 CPUtime=0.12 cores=0-7
/proc/1287/task/1296/stat : 1296 (java) S 1285 1285 26088 0 -1 1077944384 464 0 0 0 7 5 0 0 20 0 28 0 447304871 29595099136 553832 33554432000 4194304 4196468 140725905430224 139833197468816 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1297] ppid=1285 vsize=28901464 memory=3054156605268465310 CPUtime=0.05 cores=0-7
/proc/1287/task/1297/stat : 1297 (java) S 1285 1285 26088 0 -1 1077944384 3582 0 0 0 3 2 0 0 20 0 28 0 447304873 29595099136 553832 33554432000 4194304 4196468 140725905430224 139831412877296 139833284995714 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1298] ppid=1285 vsize=28901464 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/1287/task/1298/stat : 1298 (java) S 1285 1285 26088 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 447304873 29595099136 553832 33554432000 4194304 4196468 140725905430224 139831411823584 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1299] ppid=1285 vsize=28901464 memory=2552 CPUtime=0 cores=0-7
/proc/1287/task/1299/stat : 1299 (java) S 1285 1285 26088 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 447304873 29595099136 553832 33554432000 4194304 4196468 140725905430224 139831410770944 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1300] ppid=1285 vsize=28901464 memory=1760 CPUtime=0 cores=0-7
/proc/1287/task/1300/stat : 1300 (java) S 1285 1285 26088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447304876 29595099136 553832 33554432000 4194304 4196468 140725905430224 139831409719504 139833285003163 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1301] ppid=1285 vsize=28901464 memory=3936 CPUtime=2.83 cores=0-7
/proc/1287/task/1301/stat : 1301 (java) S 1285 1285 26088 0 -1 1077944384 12165 0 0 0 281 2 0 0 20 0 28 0 447304876 29595099136 553832 33554432000 4194304 4196468 140725905430224 139831408667120 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1302] ppid=1285 vsize=28901464 memory=1452 CPUtime=2.68 cores=0-7
/proc/1287/task/1302/stat : 1302 (java) S 1285 1285 26088 0 -1 1077944384 10741 0 0 0 265 3 0 0 20 0 28 0 447304876 29595099136 553832 33554432000 4194304 4196468 140725905430224 139831407614576 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1303] ppid=1285 vsize=28901464 memory=2215328 CPUtime=3.02 cores=0-7
/proc/1287/task/1303/stat : 1303 (java) S 1285 1285 26088 0 -1 1077944384 8176 0 0 0 300 2 0 0 20 0 28 0 447304876 29595099136 553832 33554432000 4194304 4196468 140725905430224 139831406562032 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1304] ppid=1285 vsize=28901464 memory=1680 CPUtime=1.02 cores=0-7
/proc/1287/task/1304/stat : 1304 (java) S 1285 1285 26088 0 -1 1077944384 11784 0 0 0 99 3 0 0 20 0 28 0 447304876 29595099136 553832 33554432000 4194304 4196468 140725905430224 139831405509488 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1305] ppid=1285 vsize=28901464 memory=1444 CPUtime=0 cores=0-7
/proc/1287/task/1305/stat : 1305 (java) S 1285 1285 26088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447304876 29595099136 553832 33554432000 4194304 4196468 140725905430224 139831404456160 139833284994773 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=1306] ppid=1285 vsize=28901464 memory=896 CPUtime=0.05 cores=0-7
/proc/1287/task/1306/stat : 1306 (java) S 1285 1285 26088 0 -1 1077944384 2203 0 0 0 0 5 0 0 20 0 28 0 447304876 29595099136 553832 33554432000 4194304 4196468 140725905430224 139831403403696 139833284995714 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=2127] ppid=1285 vsize=28901464 memory=1984 CPUtime=66.81 cores=0-7
/proc/1287/task/2127/stat : 2127 (java) R 1285 1285 26088 0 -1 4202560 976 0 0 0 6681 0 0 0 20 0 28 0 447323382 29595099136 553832 33554432000 4194304 4196468 140725905430224 139831386009064 139832887893704 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=2128] ppid=1285 vsize=28901464 memory=2552 CPUtime=66.83 cores=0-7
/proc/1287/task/2128/stat : 2128 (java) R 1285 1285 26088 0 -1 4202560 723 0 0 0 6683 0 0 0 20 0 28 0 447323382 29595099136 553832 33554432000 4194304 4196468 140725905430224 139831074955992 139832886601054 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=2129] ppid=1285 vsize=28901464 memory=1760 CPUtime=66.51 cores=0-7
/proc/1287/task/2129/stat : 2129 (java) R 1285 1285 26088 0 -1 4202560 1373 0 0 0 6651 0 0 0 20 0 28 0 447323382 29595099136 553832 33554432000 4194304 4196468 140725905430224 139831388115800 139832886769302 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=2130] ppid=1285 vsize=28901464 memory=111632 CPUtime=66.83 cores=0-7
/proc/1287/task/2130/stat : 2130 (java) R 1285 1285 26088 0 -1 4202560 2106 0 0 0 6678 5 0 0 20 0 28 0 447323382 29595099136 553832 33554432000 4194304 4196468 140725905430224 139831077064048 139832885037197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=2131] ppid=1285 vsize=28901464 memory=804 CPUtime=66.84 cores=0-7
/proc/1287/task/2131/stat : 2131 (java) R 1285 1285 26088 0 -1 4202560 1065 0 0 0 6683 1 0 0 20 0 28 0 447323382 29595099136 553832 33554432000 4194304 4196468 140725905430224 139831076008224 139832885037514 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=2132] ppid=1285 vsize=28901464 memory=1808 CPUtime=65.83 cores=0-7
/proc/1287/task/2132/stat : 2132 (java) R 1285 1285 26088 0 -1 4202560 820 0 0 0 6583 0 0 0 20 0 28 0 447323382 29595099136 553832 33554432000 4194304 4196468 140725905430224 139831394423640 139832886601207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=2133] ppid=1285 vsize=28901464 memory=924 CPUtime=66.82 cores=0-7
/proc/1287/task/2133/stat : 2133 (java) R 1285 1285 26088 0 -1 4202560 3130 0 0 0 6676 6 0 0 20 0 28 0 447323382 29595099136 553832 33554432000 4194304 4196468 140725905430224 139831391273400 139832885001764 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
[pid=1287/tid=2134] ppid=1285 vsize=28901464 memory=4508 CPUtime=66.83 cores=0-7
/proc/1287/task/2134/stat : 2134 (java) R 1285 1285 26088 0 -1 4202560 1488 0 0 0 6681 2 0 0 20 0 28 0 447323382 29595099136 553832 33554432000 4194304 4196468 140725905430224 139831389167496 139832886602317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8564736 140725905437680 140725905437851 140725905437851 140725905440719 0
Current children cumulated CPU time: 1996.96 s
Current children cumulated vsize: 29014592 KiB
Current children cumulated memory: 2216780 KiB

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

[startup+252.038 s]
# the end of solver process 1285 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.002376 s, system=0 s

[startup+252.125 s]
# the end of solver process 1287 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1995.35 s, system=2.39083 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 252.125
CPU time (s): 1997.74
CPU user time (s): 1995.35
CPU system time (s): 2.39083
CPU usage (%): 792.361
Max. virtual memory (cumulated for all children) (KiB): 29014592
Max. memory (cumulated for all children) (KiB): 2228024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1995.35
system time used= 2.39083
maximum resident set size= 2238772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 167338
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17930
involuntary context switches= 20766


# summary of solver processes directly reported to runsolver:
#   pid: 1285,1287
#   total CPU time (s): 1997.74
#   total CPU user time (s): 1995.35
#   total CPU system time (s): 2.39083

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.30617 second user time and 2.67323 second system time

The end

Launcher Data 

Begin job on node107 at 2019-09-17 09:52:52
IDJOB=4400283
IDBENCH=124389
IDSOLVER=2855
FILE ID=node107/4400283-1568710491
RUNJOBID= node107-1568696839-26115
PBS_JOBID= 21703898
Free space on /tmp= 59040 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n40-k5.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400283-1568710491/watcher-4400283-1568710491 -o /tmp/evaluation-result-4400283-1568710491/solver-4400283-1568710491 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568696839-26115 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1795188506 HOME/instance-4400283-1568710491.xml

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

MD5SUM BENCH= aadfd6ed706e08b9468e37c047f4c189
RANDOM SEED=1795188506

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        30673616 kB
MemAvailable:   31811576 kB
Buffers:          226440 kB
Cached:          1187688 kB
SwapCached:        76288 kB
Active:           682988 kB
Inactive:         808496 kB
Active(anon):      11304 kB
Inactive(anon):   109076 kB
Active(file):     671684 kB
Inactive(file):   699420 kB
Unevictable:      111200 kB
Mlocked:          111200 kB
SwapTotal:      67108860 kB
SwapFree:       66926792 kB
Dirty:             26132 kB
Writeback:             0 kB
AnonPages:        113716 kB
Mapped:            42692 kB
Shmem:             34408 kB
Slab:             195008 kB
SReclaimable:     165384 kB
SUnreclaim:        29624 kB
KernelStack:        3408 kB
PageTables:         5840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 59012 MiB
End job on node107 at 2019-09-17 09:57:04