Trace number 4399383

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-16SAT (TO)519 2520.5 637.688

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 benchmark508
Best CPU time to get the best result obtained on this benchmark19845.3
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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399383-1568695403.xml"  -tl '2520s' -p 4
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399383-1568695403.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
2.80/1.07	c solve instance...
11.72/3.34	o 1229 
11.72/3.39	o 1227 
12.09/3.42	o 1224 
12.09/3.44	o 1198 
12.09/3.49	o 1162 
12.50/3.53	o 1153 
12.50/3.58	o 1128 
13.68/3.83	o 1123 
14.08/3.95	o 1121 
15.24/4.20	o 1117 
15.24/4.21	o 1094 
15.24/4.26	o 1093 
15.24/4.28	o 1091 
16.01/4.42	o 1088 
16.01/4.44	o 1079 
16.79/4.67	o 1028 
17.20/4.74	o 1022 
17.20/4.76	o 997 
17.55/4.80	o 992 
17.55/4.84	o 987 
17.91/4.90	o 959 
314.88/79.56	o 957 
314.88/79.57	o 954 
315.27/79.64	o 953 
315.27/79.66	o 950 
315.53/79.70	o 947 
317.92/80.33	o 929 
320.72/81.04	o 924 
321.88/81.33	o 920 
322.68/81.58	o 918 
322.68/81.60	o 917 
323.37/81.76	o 913 
324.47/82.05	o 906 
324.47/82.08	o 902 
330.40/83.50	o 900 
330.40/83.50	o 893 
330.40/83.51	o 885 
331.18/83.77	o 883 
331.58/83.81	o 853 
331.58/83.81	o 845 
336.78/85.12	o 833 
336.78/85.12	o 816 
336.78/85.14	o 803 
343.51/86.83	o 800 
346.29/87.57	o 797 
350.27/88.55	o 796 
350.27/88.56	o 792 
358.23/90.56	o 789 
365.64/92.44	o 769 
370.81/93.77	o 759 
373.20/94.39	o 756 
377.58/95.45	o 753 
385.14/97.32	o 737 
392.53/99.24	o 702 
393.89/99.61	o 700 
395.87/100.18	o 697 
407.86/103.22	o 689 
434.53/110.02	o 662 
440.81/111.65	o 659 
443.59/112.38	o 658 
446.36/113.06	o 655 
474.63/120.14	o 642 
474.63/120.15	o 637 
487.31/123.30	o 635 
536.13/135.69	o 631 
625.94/158.41	o 628 
625.94/158.41	o 619 
645.00/163.22	o 616 
781.93/197.64	o 601 
970.23/244.90	o 596 
1011.22/255.31	o 594 
1046.25/264.25	o 586 
1051.67/265.62	o 584 
1088.00/274.90	o 581 
1095.94/276.97	o 577 
1108.15/280.26	o 568 
1130.45/286.30	o 555 
1132.94/287.14	o 551 
1249.87/316.81	o 541 
1679.53/424.98	o 537 
1798.22/454.86	o 524 
2023.99/512.26	o 519 
2520.20/637.67	s SATISFIABLE
2520.20/637.67	v <instantiation>
2520.20/637.67	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>
2520.20/637.67	v 	<values>0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 7 61 31 9 93 15 109 132 49 5 31 137 79 36 103 116 91 56 88 59 101 15 90 74 64 139 138 98 67 38 109 12 126 93 78 84 135 140 19 </values>
2520.20/637.67	v </instantiation>
2520.20/637.67	c Unexpected resolution interruption!

Verifier Data 

OK	519

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399383-1568695403/watcher-4399383-1568695403 -o /tmp/evaluation-result-4399383-1568695403/solver-4399383-1568695403 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568690084-23428 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1640427694 HOME/instance-4399383-1568695403.xml 

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

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


[startup+0.100246 s]*
/proc/loadavg: 8.35 8.20 5.82 7/234 25303
/proc/meminfo: memFree=31034600/32770624 swapFree=66977404/67108860
[pid=25287] ppid=25284 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25287/stat : 25287 (xcsp3-exec) S 25284 25287 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445797375 115843072 362 33554432000 4194304 5098028 140727472787904 140727472786008 139958577287804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35397632 140727472792442 140727472792685 140727472792685 140727472795594 0
/proc/25287/statm: 28282 362 304 221 0 87 0
[pid=25289] ppid=25287 vsize=15144776 memory=29624 CPUtime=0.12 cores=0,2,4,6
/proc/25289/stat : 25289 (java) S 25287 25287 23397 0 -1 1077944320 5839 0 0 0 11 1 0 0 20 0 15 0 445797375 15508250624 7406 33554432000 4194304 4196468 140733879069600 140733879052144 140527052189431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
/proc/25289/statm: 3786194 7406 3150 1 0 3748377 0
[pid=25289/tid=25290] ppid=25287 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/25289/task/25290/stat : 25290 (java) R 25287 25287 23397 0 -1 4202560 3723 0 0 0 8 1 0 0 20 0 15 0 445797376 15508250624 7406 33554432000 4194304 4196468 140733879069600 140527056419616 140527052210778 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25291] ppid=25287 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25291/stat : 25291 (java) S 25287 25287 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445797376 15508250624 7406 33554432000 4194304 4196468 140733879069600 140526980230160 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25292] ppid=25287 vsize=15144776 memory=140478218238021 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25292/stat : 25292 (java) S 25287 25287 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445797376 15508250624 7406 33554432000 4194304 4196468 140733879069600 140526979177616 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25293] ppid=25287 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25293/stat : 25293 (java) S 25287 25287 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445797376 15508250624 7406 33554432000 4194304 4196468 140733879069600 140526978124560 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25294] ppid=25287 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25294/stat : 25294 (java) S 25287 25287 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445797376 15508250624 7406 33554432000 4194304 4196468 140733879069600 140526977072016 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25295] ppid=25287 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25295/stat : 25295 (java) S 25287 25287 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445797378 15508250624 7406 33554432000 4194304 4196468 140733879069600 140526520645872 140527052200578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25296] ppid=25287 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25296/stat : 25296 (java) S 25287 25287 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445797378 15508250624 7406 33554432000 4194304 4196468 140733879069600 140526519592096 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25297] ppid=25287 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25297/stat : 25297 (java) S 25287 25287 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445797378 15508250624 7406 33554432000 4194304 4196468 140733879069600 140526518538992 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25298] ppid=25287 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25298/stat : 25298 (java) S 25287 25287 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445797381 15508250624 7406 33554432000 4194304 4196468 140733879069600 140526517487568 140527052208027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25299] ppid=25287 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25299/stat : 25299 (java) R 25287 25287 23397 0 -1 4202560 442 0 0 0 0 0 0 0 20 0 15 0 445797381 15508250624 7406 33554432000 4194304 4196468 140733879069600 140526516435696 140527037855584 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25300] ppid=25287 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25300/stat : 25300 (java) R 25287 25287 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445797381 15508250624 7406 33554432000 4194304 4196468 140733879069600 140526515383152 140527052200578 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25301] ppid=25287 vsize=15144776 memory=140478215071360 CPUtime=0.02 cores=0,2,4,6
/proc/25289/task/25301/stat : 25301 (java) R 25287 25287 23397 0 -1 4202560 371 0 0 0 2 0 0 0 20 0 15 0 445797381 15508250624 7406 33554432000 4194304 4196468 140733879069600 140526514330096 140527052210778 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25302] ppid=25287 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25302/stat : 25302 (java) S 25287 25287 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445797381 15508250624 7406 33554432000 4194304 4196468 140733879069600 140526513277792 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25303] ppid=25287 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25303/stat : 25303 (java) S 25287 25287 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445797381 15508250624 7406 33554432000 4194304 4196468 140733879069600 140526512224816 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31072 KiB

[startup+0.210863 s]*
/proc/loadavg: 8.35 8.20 5.82 7/234 25303
/proc/meminfo: memFree=31022996/32770624 swapFree=66977404/67108860
[pid=25287] ppid=25284 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25287/stat : 25287 (xcsp3-exec) S 25284 25287 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445797375 115843072 362 33554432000 4194304 5098028 140727472787904 140727472786008 139958577287804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35397632 140727472792442 140727472792685 140727472792685 140727472795594 0
/proc/25287/statm: 28282 362 304 221 0 87 0
[pid=25289] ppid=25287 vsize=15144776 memory=40980 CPUtime=0.34 cores=0,2,4,6
/proc/25289/stat : 25289 (java) S 25287 25287 23397 0 -1 1077944320 9460 0 0 0 31 3 0 0 20 0 15 0 445797375 15508250624 10245 33554432000 4194304 4196468 140733879069600 140733879052144 140527052189431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
/proc/25289/statm: 3786194 10245 3304 1 0 3748377 0
[pid=25289/tid=25290] ppid=25287 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/25289/task/25290/stat : 25290 (java) R 25287 25287 23397 0 -1 4202560 6625 0 0 0 17 2 0 0 20 0 15 0 445797376 15508250624 10245 33554432000 4194304 4196468 140733879069600 140527056422608 140527036269918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25291] ppid=25287 vsize=15144776 memory=1898158 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25291/stat : 25291 (java) S 25287 25287 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445797376 15508250624 10245 33554432000 4194304 4196468 140733879069600 140526980230160 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25292] ppid=25287 vsize=15144776 memory=4122675983559927456 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25292/stat : 25292 (java) S 25287 25287 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445797376 15508250624 10245 33554432000 4194304 4196468 140733879069600 140526979177616 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25293] ppid=25287 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25293/stat : 25293 (java) S 25287 25287 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445797376 15508250624 10245 33554432000 4194304 4196468 140733879069600 140526978124560 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25294] ppid=25287 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25294/stat : 25294 (java) S 25287 25287 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445797376 15508250624 10245 33554432000 4194304 4196468 140733879069600 140526977072016 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25295] ppid=25287 vsize=15144776 memory=140478215071360 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25295/stat : 25295 (java) S 25287 25287 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445797378 15508250624 10245 33554432000 4194304 4196468 140733879069600 140526520645872 140527052200578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25296] ppid=25287 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25296/stat : 25296 (java) S 25287 25287 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445797378 15508250624 10245 33554432000 4194304 4196468 140733879069600 140526519592096 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25297] ppid=25287 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25297/stat : 25297 (java) S 25287 25287 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445797378 15508250624 10245 33554432000 4194304 4196468 140733879069600 140526518538992 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25298] ppid=25287 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25298/stat : 25298 (java) S 25287 25287 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445797381 15508250624 10245 33554432000 4194304 4196468 140733879069600 140526517487568 140527052208027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25299] ppid=25287 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25289/task/25299/stat : 25299 (java) S 25287 25287 23397 0 -1 1077944384 566 0 0 0 3 0 0 0 20 0 15 0 445797381 15508250624 10245 33554432000 4194304 4196468 140733879069600 140526516435696 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25300] ppid=25287 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25289/task/25300/stat : 25300 (java) S 25287 25287 23397 0 -1 1077944384 198 0 0 0 2 0 0 0 20 0 15 0 445797381 15508250624 10245 33554432000 4194304 4196468 140733879069600 140526515383152 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25301] ppid=25287 vsize=15144776 memory=140478215071360 CPUtime=0.08 cores=0,2,4,6
/proc/25289/task/25301/stat : 25301 (java) R 25287 25287 23397 0 -1 4202560 765 0 0 0 8 0 0 0 20 0 15 0 445797381 15508250624 10245 33554432000 4194304 4196468 140733879069600 140526514330096 140527031058625 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25302] ppid=25287 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25302/stat : 25302 (java) S 25287 25287 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445797381 15508250624 10245 33554432000 4194304 4196468 140733879069600 140526513277792 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25303] ppid=25287 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25303/stat : 25303 (java) S 25287 25287 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445797381 15508250624 10245 33554432000 4194304 4196468 140733879069600 140526512224816 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42428 KiB

[startup+0.310747 s]*
/proc/loadavg: 8.35 8.20 5.82 9/234 25303
/proc/meminfo: memFree=31015680/32770624 swapFree=66977404/67108860
[pid=25287] ppid=25284 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25287/stat : 25287 (xcsp3-exec) S 25284 25287 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445797375 115843072 362 33554432000 4194304 5098028 140727472787904 140727472786008 139958577287804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35397632 140727472792442 140727472792685 140727472792685 140727472795594 0
/proc/25287/statm: 28282 362 304 221 0 87 0
[pid=25289] ppid=25287 vsize=15149032 memory=49864 CPUtime=0.53 cores=0,2,4,6
/proc/25289/stat : 25289 (java) S 25287 25287 23397 0 -1 1077944320 10859 0 0 0 49 4 0 0 20 0 15 0 445797375 15512608768 12466 33554432000 4194304 4196468 140733879069600 140733879052144 140527052189431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
/proc/25289/statm: 3787258 12466 3339 1 0 3748377 0
[pid=25289/tid=25290] ppid=25287 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/25289/task/25290/stat : 25290 (java) R 25287 25287 23397 0 -1 4202560 7801 0 0 0 27 3 0 0 20 0 15 0 445797376 15512608768 12466 33554432000 4194304 4196468 140733879069600 140527056420544 140527036269918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25291] ppid=25287 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25291/stat : 25291 (java) S 25287 25287 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445797376 15512608768 12466 33554432000 4194304 4196468 140733879069600 140526980230160 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25292] ppid=25287 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25292/stat : 25292 (java) S 25287 25287 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445797376 15512608768 12466 33554432000 4194304 4196468 140733879069600 140526979177616 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25293] ppid=25287 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25293/stat : 25293 (java) S 25287 25287 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445797376 15512608768 12466 33554432000 4194304 4196468 140733879069600 140526978124560 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25294] ppid=25287 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25294/stat : 25294 (java) S 25287 25287 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445797376 15512608768 12466 33554432000 4194304 4196468 140733879069600 140526977072016 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25295] ppid=25287 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25295/stat : 25295 (java) S 25287 25287 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445797378 15512608768 12466 33554432000 4194304 4196468 140733879069600 140526520645872 140527052200578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25296] ppid=25287 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25296/stat : 25296 (java) S 25287 25287 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445797378 15512608768 12466 33554432000 4194304 4196468 140733879069600 140526519592096 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25297] ppid=25287 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25297/stat : 25297 (java) S 25287 25287 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445797378 15512608768 12466 33554432000 4194304 4196468 140733879069600 140526518538992 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25298] ppid=25287 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25298/stat : 25298 (java) S 25287 25287 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445797381 15512608768 12466 33554432000 4194304 4196468 140733879069600 140526517487568 140527052208027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25299] ppid=25287 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/25289/task/25299/stat : 25299 (java) S 25287 25287 23397 0 -1 1077944384 593 0 0 0 5 0 0 0 20 0 15 0 445797381 15512608768 12466 33554432000 4194304 4196468 140733879069600 140526516435696 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25300] ppid=25287 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/25289/task/25300/stat : 25300 (java) R 25287 25287 23397 0 -1 4202560 298 0 0 0 4 0 0 0 20 0 15 0 445797381 15512608768 12466 33554432000 4194304 4196468 140733879069600 140526515364264 140527037314826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25301] ppid=25287 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/25289/task/25301/stat : 25301 (java) S 25287 25287 23397 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 15 0 445797381 15512608768 12466 33554432000 4194304 4196468 140733879069600 140526514330096 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25302] ppid=25287 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25302/stat : 25302 (java) S 25287 25287 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445797381 15512608768 12466 33554432000 4194304 4196468 140733879069600 140526513277792 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25303] ppid=25287 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25303/stat : 25303 (java) S 25287 25287 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445797381 15512608768 12466 33554432000 4194304 4196468 140733879069600 140526512224816 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51312 KiB

[startup+0.701024 s]
/proc/loadavg: 8.35 8.20 5.82 7/234 25303
/proc/meminfo: memFree=30993876/32770624 swapFree=66977404/67108860
[pid=25287] ppid=25284 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25287/stat : 25287 (xcsp3-exec) S 25284 25287 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445797375 115843072 362 33554432000 4194304 5098028 140727472787904 140727472786008 139958577287804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35397632 140727472792442 140727472792685 140727472792685 140727472795594 0
/proc/25287/statm: 28282 362 304 221 0 87 0
[pid=25289] ppid=25287 vsize=15151156 memory=92524 CPUtime=1.8 cores=0,2,4,6
/proc/25289/stat : 25289 (java) S 25287 25287 23397 0 -1 1077944320 15274 0 0 0 174 6 0 0 20 0 15 0 445797375 15514783744 23131 33554432000 4194304 4196468 140733879069600 140733879052144 140527052189431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
/proc/25289/statm: 3787789 23131 3449 1 0 3748889 0
[pid=25289/tid=25290] ppid=25287 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/25289/task/25290/stat : 25290 (java) R 25287 25287 23397 0 -1 4202560 9086 0 0 0 63 4 0 0 20 0 15 0 445797376 15514783744 23131 33554432000 4194304 4196468 140733879069600 140527056424704 140526652906983 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25291] ppid=25287 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25291/stat : 25291 (java) S 25287 25287 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445797376 15514783744 23131 33554432000 4194304 4196468 140733879069600 140526980230160 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25292] ppid=25287 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25292/stat : 25292 (java) S 25287 25287 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445797376 15514783744 23131 33554432000 4194304 4196468 140733879069600 140526979177616 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25293] ppid=25287 vsize=15151156 memory=692 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25293/stat : 25293 (java) S 25287 25287 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445797376 15514783744 23131 33554432000 4194304 4196468 140733879069600 140526978124560 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25294] ppid=25287 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25294/stat : 25294 (java) S 25287 25287 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445797376 15514783744 23131 33554432000 4194304 4196468 140733879069600 140526977072016 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25295] ppid=25287 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25295/stat : 25295 (java) S 25287 25287 23397 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445797378 15514783744 23131 33554432000 4194304 4196468 140733879069600 140526520645872 140527052200578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25296] ppid=25287 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25296/stat : 25296 (java) S 25287 25287 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445797378 15514783744 23131 33554432000 4194304 4196468 140733879069600 140526519592096 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25297] ppid=25287 vsize=15151156 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25297/stat : 25297 (java) S 25287 25287 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445797378 15514783744 23131 33554432000 4194304 4196468 140733879069600 140526518538992 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25298] ppid=25287 vsize=15151156 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25298/stat : 25298 (java) S 25287 25287 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445797381 15514783744 23131 33554432000 4194304 4196468 140733879069600 140526517487568 140527052208027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25299] ppid=25287 vsize=15151156 memory=6048 CPUtime=0.36 cores=0,2,4,6
/proc/25289/task/25299/stat : 25299 (java) R 25287 25287 23397 0 -1 4202560 1708 0 0 0 36 0 0 0 20 0 15 0 445797381 15514783744 23131 33554432000 4194304 4196468 140733879069600 140526516434832 140527038213153 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25300] ppid=25287 vsize=15151156 memory=7552 CPUtime=0.32 cores=0,2,4,6
/proc/25289/task/25300/stat : 25300 (java) R 25287 25287 23397 0 -1 4202560 1122 0 0 0 32 0 0 0 20 0 15 0 445797381 15514783744 23131 33554432000 4194304 4196468 140733879069600 140526515383152 140527031436640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25301] ppid=25287 vsize=15151156 memory=2832 CPUtime=0.41 cores=0,2,4,6
/proc/25289/task/25301/stat : 25301 (java) S 25287 25287 23397 0 -1 1077944384 2049 0 0 0 41 0 0 0 20 0 15 0 445797381 15514783744 23131 33554432000 4194304 4196468 140733879069600 140526514330096 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25302] ppid=25287 vsize=15151156 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25302/stat : 25302 (java) S 25287 25287 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445797381 15514783744 23131 33554432000 4194304 4196468 140733879069600 140526513277792 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25303] ppid=25287 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25303/stat : 25303 (java) S 25287 25287 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445797381 15514783744 23131 33554432000 4194304 4196468 140733879069600 140526512224816 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93972 KiB

[startup+1.50188 s]
/proc/loadavg: 8.35 8.20 5.82 8/234 25303
/proc/meminfo: memFree=30911156/32770624 swapFree=66977404/67108860
[pid=25287] ppid=25284 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25287/stat : 25287 (xcsp3-exec) S 25284 25287 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445797375 115843072 362 33554432000 4194304 5098028 140727472787904 140727472786008 139958577287804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35397632 140727472792442 140727472792685 140727472792685 140727472795594 0
/proc/25287/statm: 28282 362 304 221 0 87 0

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

/proc/25289/stat : 25289 (java) S 25287 25287 23397 0 -1 1077944320 171558 0 0 0 206281 114 0 0 20 0 19 0 445797375 15994011648 76988 33554432000 4194304 4196468 140733879069600 140733879052144 140527052189431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
/proc/25289/statm: 3904788 76988 3532 1 0 3865888 0
[pid=25289/tid=25290] ppid=25287 vsize=15619152 memory=307680 CPUtime=1.13 cores=0,2,4,6
/proc/25289/task/25290/stat : 25290 (java) S 25287 25287 23397 0 -1 1077944384 17207 0 0 0 107 6 0 0 20 0 19 0 445797376 15994011648 76988 33554432000 4194304 4196468 140733879069600 140527056430208 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25291] ppid=25287 vsize=15619152 memory=693704 CPUtime=0.61 cores=0,2,4,6
/proc/25289/task/25291/stat : 25291 (java) S 25287 25287 23397 0 -1 1077944384 7708 0 0 0 50 11 0 0 20 0 19 0 445797376 15994011648 76988 33554432000 4194304 4196468 140733879069600 140526980230160 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25292] ppid=25287 vsize=15619152 memory=289800 CPUtime=0.61 cores=0,2,4,6
/proc/25289/task/25292/stat : 25292 (java) S 25287 25287 23397 0 -1 1077944384 8238 0 0 0 50 11 0 0 20 0 19 0 445797376 15994011648 76988 33554432000 4194304 4196468 140733879069600 140526979177616 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25293] ppid=25287 vsize=15619152 memory=305640 CPUtime=0.62 cores=0,2,4,6
/proc/25289/task/25293/stat : 25293 (java) S 25287 25287 23397 0 -1 1077944384 7845 0 0 0 51 11 0 0 20 0 19 0 445797376 15994011648 76988 33554432000 4194304 4196468 140733879069600 140526978124560 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25294] ppid=25287 vsize=15619152 memory=307680 CPUtime=0.61 cores=0,2,4,6
/proc/25289/task/25294/stat : 25294 (java) S 25287 25287 23397 0 -1 1077944384 8832 0 0 0 49 12 0 0 20 0 19 0 445797376 15994011648 76988 33554432000 4194304 4196468 140733879069600 140526977072016 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25295] ppid=25287 vsize=15619152 memory=1448 CPUtime=0.7 cores=0,2,4,6
/proc/25289/task/25295/stat : 25295 (java) S 25287 25287 23397 0 -1 1077944384 13535 0 0 0 26 44 0 0 20 0 19 0 445797378 15994011648 76988 33554432000 4194304 4196468 140733879069600 140526520645872 140527052200578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25296] ppid=25287 vsize=15619152 memory=307952 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25296/stat : 25296 (java) S 25287 25287 23397 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 445797378 15994011648 76988 33554432000 4194304 4196468 140733879069600 140526519592160 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25297] ppid=25287 vsize=15619152 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25297/stat : 25297 (java) S 25287 25287 23397 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 445797378 15994011648 76988 33554432000 4194304 4196468 140733879069600 140526518539008 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25298] ppid=25287 vsize=15619152 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25298/stat : 25298 (java) S 25287 25287 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445797381 15994011648 76988 33554432000 4194304 4196468 140733879069600 140526517487568 140527052208027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25299] ppid=25287 vsize=15619152 memory=1448 CPUtime=2.93 cores=0,2,4,6
/proc/25289/task/25299/stat : 25299 (java) S 25287 25287 23397 0 -1 1077944384 11105 0 0 0 292 1 0 0 20 0 19 0 445797381 15994011648 76988 33554432000 4194304 4196468 140733879069600 140526516435696 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25300] ppid=25287 vsize=15619152 memory=57 CPUtime=2.96 cores=0,2,4,6
/proc/25289/task/25300/stat : 25300 (java) S 25287 25287 23397 0 -1 1077944384 14877 0 0 0 295 1 0 0 20 0 19 0 445797381 15994011648 76988 33554432000 4194304 4196468 140733879069600 140526515383152 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25301] ppid=25287 vsize=15619152 memory=1448 CPUtime=0.88 cores=0,2,4,6
/proc/25289/task/25301/stat : 25301 (java) S 25287 25287 23397 0 -1 1077944384 19770 0 0 0 86 2 0 0 20 0 19 0 445797381 15994011648 76988 33554432000 4194304 4196468 140733879069600 140526514330096 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25302] ppid=25287 vsize=15619152 memory=671716 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25302/stat : 25302 (java) S 25287 25287 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445797381 15994011648 76988 33554432000 4194304 4196468 140733879069600 140526513277792 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25303] ppid=25287 vsize=15619152 memory=1448 CPUtime=0.15 cores=0,2,4,6
/proc/25289/task/25303/stat : 25303 (java) S 25287 25287 23397 0 -1 1077944384 2061 0 0 0 15 0 0 0 20 0 19 0 445797381 15994011648 76988 33554432000 4194304 4196468 140733879069600 140526512224816 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25756] ppid=25287 vsize=15619152 memory=1448 CPUtime=9.9 cores=0,2,4,6
/proc/25289/task/25756/stat : 25756 (java) R 25287 25287 23397 0 -1 4202560 102 0 0 0 990 0 0 0 20 0 19 0 445848601 15994011648 76988 33554432000 4194304 4196468 140733879069600 140526428867432 140526655908579 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25757] ppid=25287 vsize=15619152 memory=6791534058613427641 CPUtime=10.01 cores=0,2,4,6
/proc/25289/task/25757/stat : 25757 (java) R 25287 25287 23397 0 -1 4202560 111 0 0 0 1001 0 0 0 20 0 19 0 445848601 15994011648 76988 33554432000 4194304 4196468 140733879069600 140526503246240 140526658189702 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25758] ppid=25287 vsize=15619152 memory=2832 CPUtime=9.99 cores=0,2,4,6
/proc/25289/task/25758/stat : 25758 (java) R 25287 25287 23397 0 -1 4202560 68 0 0 0 999 0 0 0 20 0 19 0 445848601 15994011648 76988 33554432000 4194304 4196468 140733879069600 140526426762768 140526655908339 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25759] ppid=25287 vsize=15619152 memory=1412 CPUtime=9.91 cores=0,2,4,6
/proc/25289/task/25759/stat : 25759 (java) R 25287 25287 23397 0 -1 4202560 131 0 0 0 991 0 0 0 20 0 19 0 445848601 15994011648 76988 33554432000 4194304 4196468 140733879069600 140526427816488 140526655906238 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
Current children cumulated CPU time: 2063.95 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 309400 KiB

[startup+582.301 s]
/proc/loadavg: 8.25 8.27 6.99 10/233 25766
/proc/meminfo: memFree=18073416/32770624 swapFree=66977404/67108860
[pid=25287] ppid=25284 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25287/stat : 25287 (xcsp3-exec) S 25284 25287 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445797375 115843072 362 33554432000 4194304 5098028 140727472787904 140727472786008 139958577287804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35397632 140727472792442 140727472792685 140727472792685 140727472795594 0
/proc/25287/statm: 28282 362 304 221 0 87 0
[pid=25289] ppid=25287 vsize=15619152 memory=430272 CPUtime=2301.73 cores=0,2,4,6
/proc/25289/stat : 25289 (java) S 25287 25287 23397 0 -1 1077944320 181045 0 0 0 230032 141 0 0 20 0 19 0 445797375 15994011648 107568 33554432000 4194304 4196468 140733879069600 140733879052144 140527052189431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
/proc/25289/statm: 3904788 107568 3532 1 0 3865888 0
[pid=25289/tid=25290] ppid=25287 vsize=15619152 memory=1448 CPUtime=1.13 cores=0,2,4,6
/proc/25289/task/25290/stat : 25290 (java) S 25287 25287 23397 0 -1 1077944384 17207 0 0 0 107 6 0 0 20 0 19 0 445797376 15994011648 107568 33554432000 4194304 4196468 140733879069600 140527056430208 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25291] ppid=25287 vsize=15619152 memory=388316 CPUtime=0.84 cores=0,2,4,6
/proc/25289/task/25291/stat : 25291 (java) S 25287 25287 23397 0 -1 1077944384 8956 0 0 0 71 13 0 0 20 0 19 0 445797376 15994011648 107568 33554432000 4194304 4196468 140733879069600 140526980230160 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25292] ppid=25287 vsize=15619152 memory=390880 CPUtime=0.83 cores=0,2,4,6
/proc/25289/task/25292/stat : 25292 (java) S 25287 25287 23397 0 -1 1077944384 9186 0 0 0 71 12 0 0 20 0 19 0 445797376 15994011648 107568 33554432000 4194304 4196468 140733879069600 140526979177616 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25293] ppid=25287 vsize=15619152 memory=693704 CPUtime=0.84 cores=0,2,4,6
/proc/25289/task/25293/stat : 25293 (java) S 25287 25287 23397 0 -1 1077944384 9355 0 0 0 72 12 0 0 20 0 19 0 445797376 15994011648 107568 33554432000 4194304 4196468 140733879069600 140526978124560 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25294] ppid=25287 vsize=15619152 memory=289800 CPUtime=0.83 cores=0,2,4,6
/proc/25289/task/25294/stat : 25294 (java) S 25287 25287 23397 0 -1 1077944384 10509 0 0 0 70 13 0 0 20 0 19 0 445797376 15994011648 107568 33554432000 4194304 4196468 140733879069600 140526977072016 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25295] ppid=25287 vsize=15619152 memory=307952 CPUtime=1.05 cores=0,2,4,6
/proc/25289/task/25295/stat : 25295 (java) S 25287 25287 23397 0 -1 1077944384 15028 0 0 0 39 66 0 0 20 0 19 0 445797378 15994011648 107568 33554432000 4194304 4196468 140733879069600 140526520645872 140527052200578 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25296] ppid=25287 vsize=15619152 memory=390880 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25296/stat : 25296 (java) S 25287 25287 23397 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 445797378 15994011648 107568 33554432000 4194304 4196468 140733879069600 140526519592160 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25297] ppid=25287 vsize=15619152 memory=383184 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25297/stat : 25297 (java) S 25287 25287 23397 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 445797378 15994011648 107568 33554432000 4194304 4196468 140733879069600 140526518539008 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25298] ppid=25287 vsize=15619152 memory=431300 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25298/stat : 25298 (java) S 25287 25287 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445797381 15994011648 107568 33554432000 4194304 4196468 140733879069600 140526517487568 140527052208027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25299] ppid=25287 vsize=15619152 memory=1448 CPUtime=2.93 cores=0,2,4,6
/proc/25289/task/25299/stat : 25299 (java) S 25287 25287 23397 0 -1 1077944384 11115 0 0 0 292 1 0 0 20 0 19 0 445797381 15994011648 107568 33554432000 4194304 4196468 140733879069600 140526516435696 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25300] ppid=25287 vsize=15619152 memory=280956226357672 CPUtime=2.96 cores=0,2,4,6
/proc/25289/task/25300/stat : 25300 (java) S 25287 25287 23397 0 -1 1077944384 14887 0 0 0 295 1 0 0 20 0 19 0 445797381 15994011648 107568 33554432000 4194304 4196468 140733879069600 140526515383152 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25301] ppid=25287 vsize=15619152 memory=1448 CPUtime=0.88 cores=0,2,4,6
/proc/25289/task/25301/stat : 25301 (java) S 25287 25287 23397 0 -1 1077944384 19780 0 0 0 86 2 0 0 20 0 19 0 445797381 15994011648 107568 33554432000 4194304 4196468 140733879069600 140526514330096 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25302] ppid=25287 vsize=15619152 memory=424132 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25302/stat : 25302 (java) S 25287 25287 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445797381 15994011648 107568 33554432000 4194304 4196468 140733879069600 140526513277792 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25303] ppid=25287 vsize=15619152 memory=423108 CPUtime=0.17 cores=0,2,4,6
/proc/25289/task/25303/stat : 25303 (java) S 25287 25287 23397 0 -1 1077944384 2133 0 0 0 17 0 0 0 20 0 19 0 445797381 15994011648 107568 33554432000 4194304 4196468 140733879069600 140526512224816 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25756] ppid=25287 vsize=15619152 memory=1448 CPUtime=68.87 cores=0,2,4,6
/proc/25289/task/25756/stat : 25756 (java) R 25287 25287 23397 0 -1 4202560 662 0 0 0 6887 0 0 0 20 0 19 0 445848601 15994011648 107568 33554432000 4194304 4196468 140733879069600 140526428867440 140526655714323 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25757] ppid=25287 vsize=15619152 memory=381132 CPUtime=69.37 cores=0,2,4,6
/proc/25289/task/25757/stat : 25757 (java) R 25287 25287 23397 0 -1 4202560 852 0 0 0 6937 0 0 0 20 0 19 0 445848601 15994011648 107568 33554432000 4194304 4196468 140733879069600 140526503243200 140526659059628 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25758] ppid=25287 vsize=15619152 memory=1416 CPUtime=69.05 cores=0,2,4,6
/proc/25289/task/25758/stat : 25758 (java) R 25287 25287 23397 0 -1 4202560 345 0 0 0 6905 0 0 0 20 0 19 0 445848601 15994011648 107568 33554432000 4194304 4196468 140733879069600 140526426763112 140526655200407 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25759] ppid=25287 vsize=15619152 memory=381132 CPUtime=69.01 cores=0,2,4,6
/proc/25289/task/25759/stat : 25759 (java) R 25287 25287 23397 0 -1 4202560 1062 0 0 0 6901 0 0 0 20 0 19 0 445848601 15994011648 107568 33554432000 4194304 4196468 140733879069600 140526427819168 140526655402898 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
Current children cumulated CPU time: 2301.73 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 431720 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+637.608 s]
/proc/loadavg: 8.13 8.24 7.05 8/233 25770
/proc/meminfo: memFree=18147532/32770624 swapFree=66977404/67108860
[pid=25287] ppid=25284 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25287/stat : 25287 (xcsp3-exec) S 25284 25287 23397 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445797375 115843072 362 33554432000 4194304 5098028 140727472787904 140727472786008 139958577287804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35397632 140727472792442 140727472792685 140727472792685 140727472795594 0
/proc/25287/statm: 28282 362 304 221 0 87 0
[pid=25289] ppid=25287 vsize=15619152 memory=360332 CPUtime=2520.2 cores=0,2,4,6
/proc/25289/stat : 25289 (java) S 25287 25287 23397 0 -1 1077944320 184946 0 0 0 251845 175 0 0 20 0 19 0 445797375 15994011648 90083 33554432000 4194304 4196468 140733879069600 140733879052144 140527052189431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
/proc/25289/statm: 3904788 90083 3547 1 0 3865888 0
[pid=25289/tid=25290] ppid=25287 vsize=15619152 memory=3616 CPUtime=1.13 cores=0,2,4,6
/proc/25289/task/25290/stat : 25290 (java) S 25287 25287 23397 0 -1 1077944384 17207 0 0 0 107 6 0 0 20 0 19 0 445797376 15994011648 90083 33554432000 4194304 4196468 140733879069600 140527056430208 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25291] ppid=25287 vsize=15619152 memory=47572 CPUtime=1.23 cores=0,2,4,6
/proc/25289/task/25291/stat : 25291 (java) S 25287 25287 23397 0 -1 1077944384 9435 0 0 0 109 14 0 0 20 0 19 0 445797376 15994011648 90083 33554432000 4194304 4196468 140733879069600 140526980230160 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25292] ppid=25287 vsize=15619152 memory=1448 CPUtime=1.21 cores=0,2,4,6
/proc/25289/task/25292/stat : 25292 (java) S 25287 25287 23397 0 -1 1077944384 9345 0 0 0 109 12 0 0 20 0 19 0 445797376 15994011648 90083 33554432000 4194304 4196468 140733879069600 140526979177616 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25293] ppid=25287 vsize=15619152 memory=6791534058613427641 CPUtime=1.22 cores=0,2,4,6
/proc/25289/task/25293/stat : 25293 (java) S 25287 25287 23397 0 -1 1077944384 9473 0 0 0 110 12 0 0 20 0 19 0 445797376 15994011648 90083 33554432000 4194304 4196468 140733879069600 140526978124560 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25294] ppid=25287 vsize=15619152 memory=1668 CPUtime=1.22 cores=0,2,4,6
/proc/25289/task/25294/stat : 25294 (java) S 25287 25287 23397 0 -1 1077944384 11135 0 0 0 108 14 0 0 20 0 19 0 445797376 15994011648 90083 33554432000 4194304 4196468 140733879069600 140526977072016 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25295] ppid=25287 vsize=15619152 memory=1440 CPUtime=1.54 cores=0,2,4,6
/proc/25289/task/25295/stat : 25295 (java) S 25287 25287 23397 0 -1 1077944384 16659 0 0 0 57 97 0 0 20 0 19 0 445797378 15994011648 90083 33554432000 4194304 4196468 140733879069600 140526520645872 140527052200578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25296] ppid=25287 vsize=15619152 memory=912 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25296/stat : 25296 (java) S 25287 25287 23397 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 445797378 15994011648 90083 33554432000 4194304 4196468 140733879069600 140526519592160 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25297] ppid=25287 vsize=15619152 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25297/stat : 25297 (java) S 25287 25287 23397 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 445797378 15994011648 90083 33554432000 4194304 4196468 140733879069600 140526518539008 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25298] ppid=25287 vsize=15619152 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25298/stat : 25298 (java) S 25287 25287 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445797381 15994011648 90083 33554432000 4194304 4196468 140733879069600 140526517487568 140527052208027 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25299] ppid=25287 vsize=15619152 memory=780 CPUtime=2.93 cores=0,2,4,6
/proc/25289/task/25299/stat : 25299 (java) S 25287 25287 23397 0 -1 1077944384 11117 0 0 0 292 1 0 0 20 0 19 0 445797381 15994011648 90083 33554432000 4194304 4196468 140733879069600 140526516435696 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25300] ppid=25287 vsize=15619152 memory=4132 CPUtime=2.96 cores=0,2,4,6
/proc/25289/task/25300/stat : 25300 (java) S 25287 25287 23397 0 -1 1077944384 14889 0 0 0 295 1 0 0 20 0 19 0 445797381 15994011648 90083 33554432000 4194304 4196468 140733879069600 140526515383152 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25301] ppid=25287 vsize=15619152 memory=1112 CPUtime=0.88 cores=0,2,4,6
/proc/25289/task/25301/stat : 25301 (java) S 25287 25287 23397 0 -1 1077944384 19849 0 0 0 86 2 0 0 20 0 19 0 445797381 15994011648 90083 33554432000 4194304 4196468 140733879069600 140526514330096 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25302] ppid=25287 vsize=15619152 memory=6048 CPUtime=0 cores=0,2,4,6
/proc/25289/task/25302/stat : 25302 (java) S 25287 25287 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445797381 15994011648 90083 33554432000 4194304 4196468 140733879069600 140526513277792 140527052199637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25303] ppid=25287 vsize=15619152 memory=7552 CPUtime=0.19 cores=0,2,4,6
/proc/25289/task/25303/stat : 25303 (java) S 25287 25287 23397 0 -1 1077944384 2143 0 0 0 19 0 0 0 20 0 19 0 445797381 15994011648 90083 33554432000 4194304 4196468 140733879069600 140526512224816 140527052200578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25756] ppid=25287 vsize=15619152 memory=2832 CPUtime=122.84 cores=0,2,4,6
/proc/25289/task/25756/stat : 25756 (java) R 25287 25287 23397 0 -1 4202560 736 0 0 0 12284 0 0 0 20 0 19 0 445848601 15994011648 90083 33554432000 4194304 4196468 140733879069600 140526428867344 140526655714228 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25757] ppid=25287 vsize=15619152 memory=1084 CPUtime=123.78 cores=0,2,4,6
/proc/25289/task/25757/stat : 25757 (java) R 25287 25287 23397 0 -1 4202560 908 0 0 0 12378 0 0 0 20 0 19 0 445848601 15994011648 90083 33554432000 4194304 4196468 140733879069600 140526503243200 140526659059600 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25758] ppid=25287 vsize=15619152 memory=14012 CPUtime=123.08 cores=0,2,4,6
/proc/25289/task/25758/stat : 25758 (java) R 25287 25287 23397 0 -1 4202560 423 0 0 0 12308 0 0 0 20 0 19 0 445848601 15994011648 90083 33554432000 4194304 4196468 140733879069600 140526426762880 140526655714089 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
[pid=25289/tid=25759] ppid=25287 vsize=15619152 memory=14048 CPUtime=123.01 cores=0,2,4,6
/proc/25289/task/25759/stat : 25759 (java) R 25287 25287 23397 0 -1 4202560 1659 0 0 0 12301 0 0 0 20 0 19 0 445848601 15994011648 90083 33554432000 4194304 4196468 140733879069600 140526427819280 140526659059585 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31051776 140733879071727 140733879071898 140733879071898 140733879074767 0
Current children cumulated CPU time: 2520.2 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 361780 KiB

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

[startup+637.642 s]
# the end of solver process 25287 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001551 s, system=0.001551 s

[startup+637.688 s]
# the end of solver process 25289 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.73 s, system=1.77026 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): 637.688
CPU time (s): 2520.5
CPU user time (s): 2518.73
CPU system time (s): 1.77026
CPU usage (%): 395.256
Max. virtual memory (cumulated for all children) (KiB): 15732280
Max. memory (cumulated for all children) (KiB): 703368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.73
system time used= 1.77026
maximum resident set size= 708076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185613
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28997
involuntary context switches= 43121


# summary of solver processes directly reported to runsolver:
#   pid: 25287,25289
#   total CPU time (s): 2520.5
#   total CPU user time (s): 2518.73
#   total CPU system time (s): 1.77026

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.14161 second user time and 6.94965 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-17 05:33:04
IDJOB=4399383
IDBENCH=124389
IDSOLVER=2853
FILE ID=node104/4399383-1568695403
RUNJOBID= node104-1568690084-23428
PBS_JOBID= 21703803
Free space on /tmp= 58988 MiB

SOLVER NAME= choco-solver 2019-09-16
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-P-n40-k5.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399383-1568695403/watcher-4399383-1568695403 -o /tmp/evaluation-result-4399383-1568695403/solver-4399383-1568695403 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568690084-23428 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1640427694 HOME/instance-4399383-1568695403.xml

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

MD5SUM BENCH= aadfd6ed706e08b9468e37c047f4c189
RANDOM SEED=1640427694

node104.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.09
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.09
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.09
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.09
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:        31055800 kB
MemAvailable:   31710772 kB
Buffers:           97804 kB
Cached:           846452 kB
SwapCached:        32300 kB
Active:           802944 kB
Inactive:         323964 kB
Active(anon):     151020 kB
Inactive(anon):    80728 kB
Active(file):     651924 kB
Inactive(file):   243236 kB
Unevictable:      109416 kB
Mlocked:          109416 kB
SwapTotal:      67108860 kB
SwapFree:       66977404 kB
Dirty:             26192 kB
Writeback:            36 kB
AnonPages:        267680 kB
Mapped:            61608 kB
Shmem:             40480 kB
Slab:             182636 kB
SReclaimable:     151296 kB
SUnreclaim:        31340 kB
KernelStack:        3856 kB
PageTables:         6420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1418068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    176128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 58960 MiB
End job on node104 at 2019-09-17 05:43:42