Trace number 4280647

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 4.0.5 par (2017-08-18)SAT (TO)750 19826.301 2520.1299

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n45-k6.xml
MD5SUMccd62f28d001d5578c14e849049b60f5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark715
Best CPU time to get the best result obtained on this benchmark2400.09
Satisfiable
(Un)Satisfiability was proved
Number of variables2070
Number of constraints2024
Number of domains3
Minimum domain size1
Maximum domain size101
Distribution of domain sizes[{"size":1,"count":45},{"size":2,"count":1980},{"size":101,"count":44}]
Minimum variable degree0
Maximum variable degree87
Distribution of variable degrees[{"degree":0,"count":1},{"degree":1,"count":45},{"degree":2,"count":88},{"degree":4,"count":1892},{"degree":87,"count":44}]
Minimum constraint arity1
Maximum constraint arity44
Distribution of constraint arities[{"arity":1,"count":44},{"arity":3,"count":1892},{"arity":44,"count":88}]
Number of extensional constraints0
Number of intensional constraints44
Distribution of constraint types[{"type":"intension","count":44},{"type":"sum","count":1892},{"type":"count","count":88}]
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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280647-1503132040.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280647-1503132040.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
3.81/1.16	c solve instance...
4.26/1.27	o 3512 
4.95/1.32	o 3465 
4.95/1.33	o 3420 
4.95/1.35	o 2005 
11.21/2.16	o 1967 
12.29/2.32	o 1943 
12.29/2.37	o 1933 
12.29/2.39	o 1924 
13.60/2.52	o 1906 
14.38/2.67	o 1653 
16.74/2.96	o 1632 
16.74/2.99	o 1631 
17.54/3.02	o 1610 
18.24/3.11	o 1609 
18.24/3.11	o 1570 
36.42/5.45	o 1568 
36.42/5.47	o 1517 
36.94/5.51	o 1510 
169.59/22.38	o 1443 
175.45/23.23	o 1417 
176.90/23.52	o 1408 
180.02/24.19	o 1389 
192.00/25.72	o 1357 
192.00/25.74	o 1353 
196.73/26.30	o 1342 
214.67/28.90	o 1341 
224.58/30.44	o 1333 
238.64/32.22	o 1307 
314.23/41.82	o 1304 
323.66/43.08	o 1301 
340.35/45.54	o 1299 
356.34/47.65	o 1268 
363.12/49.00	o 1258 
363.24/49.04	o 1253 
372.49/50.24	o 1248 
384.16/51.73	o 1236 
388.11/52.23	o 1226 
436.78/58.40	o 1216 
441.07/59.32	o 1195 
444.06/60.26	o 1189 
449.53/61.03	o 1188 
449.53/61.05	o 1178 
619.38/82.81	o 1154 
645.42/86.63	o 1141 
687.28/91.93	o 1138 
767.58/102.04	o 1136 
797.01/105.72	o 1135 
817.70/108.36	o 1133 
889.62/118.00	o 1132 
981.92/130.46	o 1130 
988.51/131.73	o 1113 
991.30/132.68	o 1109 
1006.10/135.12	o 1106 
1016.98/136.62	o 1087 
1030.24/138.90	o 1052 
1054.73/142.62	o 969 
1164.47/156.41	o 968 
1175.60/157.86	o 967 
1255.75/168.07	o 960 
1277.98/171.35	o 956 
1315.82/177.11	o 954 
1343.95/180.79	o 952 
1527.88/205.32	o 947 
1658.86/221.86	o 946 
1741.59/232.98	o 940 
1790.30/239.54	o 939 
1943.98/258.85	o 929 
1953.42/262.42	o 928 
2010.41/270.32	o 927 
2012.38/271.72	o 919 
2036.17/276.51	o 917 
2104.81/285.26	o 899 
2325.88/313.91	o 892 
2734.84/366.39	o 891 
3279.80/435.02	o 890 
3427.25/454.17	o 889 
3481.65/461.60	o 887 
3614.02/478.60	o 886 
3806.24/502.72	o 880 
4806.66/628.19	o 878 
5476.80/712.17	o 872 
5548.56/721.15	o 865 
5874.75/762.02	o 853 
6414.45/829.73	o 852 
6523.65/843.42	o 843 
6719.63/868.09	o 842 
6759.47/873.05	o 839 
6847.97/884.15	o 838 
7306.13/941.64	o 837 
7412.75/955.10	o 828 
8066.66/1037.36	o 784 
8176.28/1051.22	o 782 
8238.98/1059.18	o 778 
8486.26/1090.30	o 774 
11755.42/1502.71	o 773 
16496.01/2099.95	o 768 
16880.59/2148.53	o 760 
19356.46/2460.95	o 750 
19825.47/2520.09	s SATISFIABLE
19825.47/2520.09	v <instantiation>
19825.47/2520.09	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[0][40] x[0][41] x[0][42] x[0][43] x[0][44] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[1][36] x[1][37] x[1][38] x[1][39] x[1][40] x[1][41] x[1][42] x[1][43] x[1][44] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[2][36] x[2][37] x[2][38] x[2][39] x[2][40] x[2][41] x[2][42] x[2][43] x[2][44] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[3][36] x[3][37] x[3][38] x[3][39] x[3][40] x[3][41] x[3][42] x[3][43] x[3][44] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[4][36] x[4][37] x[4][38] x[4][39] x[4][40] x[4][41] x[4][42] x[4][43] x[4][44] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[5][36] x[5][37] x[5][38] x[5][39] x[5][40] x[5][41] x[5][42] x[5][43] x[5][44] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[6][36] x[6][37] x[6][38] x[6][39] x[6][40] x[6][41] x[6][42] x[6][43] x[6][44] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[7][36] x[7][37] x[7][38] x[7][39] x[7][40] x[7][41] x[7][42] x[7][43] x[7][44] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[8][36] x[8][37] x[8][38] x[8][39] x[8][40] x[8][41] x[8][42] x[8][43] x[8][44] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[9][36] x[9][37] x[9][38] x[9][39] x[9][40] x[9][41] x[9][42] x[9][43] x[9][44] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[10][36] x[10][37] x[10][38] x[10][39] x[10][40] x[10][41] x[10][42] x[10][43] x[10][44] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[11][36] x[11][37] x[11][38] x[11][39] x[11][40] x[11][41] x[11][42] x[11][43] x[11][44] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[12][36] x[12][37] x[12][38] x[12][39] x[12][40] x[12][41] x[12][42] x[12][43] x[12][44] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[13][36] x[13][37] x[13][38] x[13][39] x[13][40] x[13][41] x[13][42] x[13][43] x[13][44] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[14][36] x[14][37] x[14][38] x[14][39] x[14][40] x[14][41] x[14][42] x[14][43] x[14][44] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[15][36] x[15][37] x[15][38] x[15][39] x[15][40] x[15][41] x[15][42] x[15][43] x[15][44] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[16][36] x[16][37] x[16][38] x[16][39] x[16][40] x[16][41] x[16][42] x[16][43] x[16][44] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[17][36] x[17][37] x[17][38] x[17][39] x[17][40] x[17][41] x[17][42] x[17][43] x[17][44] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[18][36] x[18][37] x[18][38] x[18][39] x[18][40] x[18][41] x[18][42] x[18][43] x[18][44] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[19][36] x[19][37] x[19][38] x[19][39] x[19][40] x[19][41] x[19][42] x[19][43] x[19][44] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[20][36] x[20][37] x[20][38] x[20][39] x[20][40] x[20][41] x[20][42] x[20][43] x[20][44] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[21][36] x[21][37] x[21][38] x[21][39] x[21][40] x[21][41] x[21][42] x[21][43] x[21][44] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[22][36] x[22][37] x[22][38] x[22][39] x[22][40] x[22][41] x[22][42] x[22][43] x[22][44] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[23][36] x[23][37] x[23][38] x[23][39] x[23][40] x[23][41] x[23][42] x[23][43] x[23][44] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[24][36] x[24][37] x[24][38] x[24][39] x[24][40] x[24][41] x[24][42] x[24][43] x[24][44] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[25][36] x[25][37] x[25][38] x[25][39] x[25][40] x[25][41] x[25][42] x[25][43] x[25][44] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[26][36] x[26][37] x[26][38] x[26][39] x[26][40] x[26][41] x[26][42] x[26][43] x[26][44] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[27][36] x[27][37] x[27][38] x[27][39] x[27][40] x[27][41] x[27][42] x[27][43] x[27][44] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[28][36] x[28][37] x[28][38] x[28][39] x[28][40] x[28][41] x[28][42] x[28][43] x[28][44] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[29][36] x[29][37] x[29][38] x[29][39] x[29][40] x[29][41] x[29][42] x[29][43] x[29][44] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[30][36] x[30][37] x[30][38] x[30][39] x[30][40] x[30][41] x[30][42] x[30][43] x[30][44] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[31][36] x[31][37] x[31][38] x[31][39] x[31][40] x[31][41] x[31][42] x[31][43] x[31][44] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[32][36] x[32][37] x[32][38] x[32][39] x[32][40] x[32][41] x[32][42] x[32][43] x[32][44] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[33][36] x[33][37] x[33][38] x[33][39] x[33][40] x[33][41] x[33][42] x[33][43] x[33][44] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[34][36] x[34][37] x[34][38] x[34][39] x[34][40] x[34][41] x[34][42] x[34][43] x[34][44] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] x[35][36] x[35][37] x[35][38] x[35][39] x[35][40] x[35][41] x[35][42] x[35][43] x[35][44] x[36][0] x[36][1] x[36][2] x[36][3] x[36][4] x[36][5] x[36][6] x[36][7] x[36][8] x[36][9] x[36][10] x[36][11] x[36][12] x[36][13] x[36][14] x[36][15] x[36][16] x[36][17] x[36][18] x[36][19] x[36][20] x[36][21] x[36][22] x[36][23] x[36][24] x[36][25] x[36][26] x[36][27] x[36][28] x[36][29] x[36][30] x[36][31] x[36][32] x[36][33] x[36][34] x[36][35] x[36][36] x[36][37] x[36][38] x[36][39] x[36][40] x[36][41] x[36][42] x[36][43] x[36][44] x[37][0] x[37][1] x[37][2] x[37][3] x[37][4] x[37][5] x[37][6] x[37][7] x[37][8] x[37][9] x[37][10] x[37][11] x[37][12] x[37][13] x[37][14] x[37][15] x[37][16] x[37][17] x[37][18] x[37][19] x[37][20] x[37][21] x[37][22] x[37][23] x[37][24] x[37][25] x[37][26] x[37][27] x[37][28] x[37][29] x[37][30] x[37][31] x[37][32] x[37][33] x[37][34] x[37][35] x[37][36] x[37][37] x[37][38] x[37][39] x[37][40] x[37][41] x[37][42] x[37][43] x[37][44] x[38][0] x[38][1] x[38][2] x[38][3] x[38][4] x[38][5] x[38][6] x[38][7] x[38][8] x[38][9] x[38][10] x[38][11] x[38][12] x[38][13] x[38][14] x[38][15] x[38][16] x[38][17] x[38][18] x[38][19] x[38][20] x[38][21] x[38][22] x[38][23] x[38][24] x[38][25] x[38][26] x[38][27] x[38][28] x[38][29] x[38][30] x[38][31] x[38][32] x[38][33] x[38][34] x[38][35] x[38][36] x[38][37] x[38][38] x[38][39] x[38][40] x[38][41] x[38][42] x[38][43] x[38][44] x[39][0] x[39][1] x[39][2] x[39][3] x[39][4] x[39][5] x[39][6] x[39][7] x[39][8] x[39][9] x[39][10] x[39][11] x[39][12] x[39][13] x[39][14] x[39][15] x[39][16] x[39][17] x[39][18] x[39][19] x[39][20] x[39][21] x[39][22] x[39][23] x[39][24] x[39][25] x[39][26] x[39][27] x[39][28] x[39][29] x[39][30] x[39][31] x[39][32] x[39][33] x[39][34] x[39][35] x[39][36] x[39][37] x[39][38] x[39][39] x[39][40] x[39][41] x[39][42] x[39][43] x[39][44] x[40][0] x[40][1] x[40][2] x[40][3] x[40][4] x[40][5] x[40][6] x[40][7] x[40][8] x[40][9] x[40][10] x[40][11] x[40][12] x[40][13] x[40][14] x[40][15] x[40][16] x[40][17] x[40][18] x[40][19] x[40][20] x[40][21] x[40][22] x[40][23] x[40][24] x[40][25] x[40][26] x[40][27] x[40][28] x[40][29] x[40][30] x[40][31] x[40][32] x[40][33] x[40][34] x[40][35] x[40][36] x[40][37] x[40][38] x[40][39] x[40][40] x[40][41] x[40][42] x[40][43] x[40][44] x[41][0] x[41][1] x[41][2] x[41][3] x[41][4] x[41][5] x[41][6] x[41][7] x[41][8] x[41][9] x[41][10] x[41][11] x[41][12] x[41][13] x[41][14] x[41][15] x[41][16] x[41][17] x[41][18] x[41][19] x[41][20] x[41][21] x[41][22] x[41][23] x[41][24] x[41][25] x[41][26] x[41][27] x[41][28] x[41][29] x[41][30] x[41][31] x[41][32] x[41][33] x[41][34] x[41][35] x[41][36] x[41][37] x[41][38] x[41][39] x[41][40] x[41][41] x[41][42] x[41][43] x[41][44] x[42][0] x[42][1] x[42][2] x[42][3] x[42][4] x[42][5] x[42][6] x[42][7] x[42][8] x[42][9] x[42][10] x[42][11] x[42][12] x[42][13] x[42][14] x[42][15] x[42][16] x[42][17] x[42][18] x[42][19] x[42][20] x[42][21] x[42][22] x[42][23] x[42][24] x[42][25] x[42][26] x[42][27] x[42][28] x[42][29] x[42][30] x[42][31] x[42][32] x[42][33] x[42][34] x[42][35] x[42][36] x[42][37] x[42][38] x[42][39] x[42][40] x[42][41] x[42][42] x[42][43] x[42][44] x[43][0] x[43][1] x[43][2] x[43][3] x[43][4] x[43][5] x[43][6] x[43][7] x[43][8] x[43][9] x[43][10] x[43][11] x[43][12] x[43][13] x[43][14] x[43][15] x[43][16] x[43][17] x[43][18] x[43][19] x[43][20] x[43][21] x[43][22] x[43][23] x[43][24] x[43][25] x[43][26] x[43][27] x[43][28] x[43][29] x[43][30] x[43][31] x[43][32] x[43][33] x[43][34] x[43][35] x[43][36] x[43][37] x[43][38] x[43][39] x[43][40] x[43][41] x[43][42] x[43][43] x[43][44] x[44][0] x[44][1] x[44][2] x[44][3] x[44][4] x[44][5] x[44][6] x[44][7] x[44][8] x[44][9] x[44][10] x[44][11] x[44][12] x[44][13] x[44][14] x[44][15] x[44][16] x[44][17] x[44][18] x[44][19] x[44][20] x[44][21] x[44][22] x[44][23] x[44][24] x[44][25] x[44][26] x[44][27] x[44][28] x[44][29] x[44][30] x[44][31] x[44][32] x[44][33] x[44][34] x[44][35] x[44][36] x[44][37] x[44][38] x[44][39] x[44][40] x[44][41] x[44][42] x[44][43] x[44][44] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] u[36] u[37] u[38] u[39] u[40] u[41] u[42] u[43] u[44] </list>
19825.47/2520.09	v 	<values>0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 68 46 69 10 96 43 9 79 44 18 3 97 73 81 79 21 59 47 92 14 56 89 67 92 35 15 38 70 100 42 100 99 25 27 62 24 77 40 10 21 76 53 99 18 </values>
19825.47/2520.09	v </instantiation>
19825.47/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	750

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280647-1503132040/watcher-4280647-1503132040 -o /tmp/evaluation-result-4280647-1503132040/solver-4280647-1503132040 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503131180-3784 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 891001466 HOME/instance-4280647-1503132040.xml 

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

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


[startup+0.100152 s]*
/proc/loadavg: 7.57 7.94 8.07 2/199 3822
/proc/meminfo: memFree=29002988/32770624 swapFree=67108860/67108860
[pid=3801] ppid=3798 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3801/stat : 3801 (xcsp3-exec) S 3798 3801 3757 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146292162 9740288 345 33554432000 4194304 5098028 140737043016928 140737043015032 140708324139644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31715328 140737043018853 140737043019063 140737043019063 140737043021803 0
/proc/3801/statm: 2378 345 289 221 0 87 0
[pid=3803] ppid=3801 vsize=25999808 memory=26352 CPUtime=0.12 cores=0-7
/proc/3803/stat : 3803 (java) S 3801 3801 3757 0 -1 1077944320 5482 0 0 0 11 1 0 0 20 0 20 0 146292162 26623803392 6588 33554432000 4194304 4196468 140731255745920 140731255728464 139915556167415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
/proc/3803/statm: 6499952 6588 2849 1 0 6488269 0
[pid=3803/tid=3804] ppid=3801 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/3803/task/3804/stat : 3804 (java) R 3801 3801 3757 0 -1 4202560 3491 0 0 0 8 0 0 0 20 0 20 0 146292162 26623803392 6588 33554432000 4194304 4196468 140731255745920 139915560400688 139915153190170 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3805] ppid=3801 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3803/task/3805/stat : 3805 (java) S 3801 3801 3757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146292163 26623803392 6588 33554432000 4194304 4196468 140731255745920 139915478747920 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3806] ppid=3801 vsize=25999808 memory=140112997877376 CPUtime=0 cores=0-7
/proc/3803/task/3806/stat : 3806 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26623803392 6588 33554432000 4194304 4196468 140731255745920 139915477695376 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3807] ppid=3801 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3807/stat : 3807 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26623803392 6588 33554432000 4194304 4196468 140731255745920 139915476642832 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3808] ppid=3801 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3808/stat : 3808 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26623803392 6588 33554432000 4194304 4196468 140731255745920 139915475590288 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3809] ppid=3801 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3809/stat : 3809 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26623803392 6588 33554432000 4194304 4196468 140731255745920 139915474536720 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3810] ppid=3801 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/3803/task/3810/stat : 3810 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26623803392 6588 33554432000 4194304 4196468 140731255745920 139915473484176 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3811] ppid=3801 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3811/stat : 3811 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26623803392 6588 33554432000 4194304 4196468 140731255745920 139915108047376 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3812] ppid=3801 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3812/stat : 3812 (java) S 3801 3801 3757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146292163 26623803392 6588 33554432000 4194304 4196468 140731255745920 139915106994832 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3813] ppid=3801 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3813/stat : 3813 (java) S 3801 3801 3757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146292165 26623803392 6588 33554432000 4194304 4196468 140731255745920 139914951793136 139915556178562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3814] ppid=3801 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3814/stat : 3814 (java) S 3801 3801 3757 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146292165 26623803392 6588 33554432000 4194304 4196468 140731255745920 139914950739360 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3815] ppid=3801 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3815/stat : 3815 (java) S 3801 3801 3757 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146292165 26623803392 6588 33554432000 4194304 4196468 140731255745920 139914949686768 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3816] ppid=3801 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3816/stat : 3816 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292168 26623803392 6588 33554432000 4194304 4196468 140731255745920 139914948635344 139915556186011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3817] ppid=3801 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3817/stat : 3817 (java) R 3801 3801 3757 0 -1 4202560 307 0 0 0 0 0 0 0 20 0 20 0 146292168 26623803392 6652 33554432000 4194304 4196468 140731255745920 139914947581936 139915556178562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3818] ppid=3801 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3818/stat : 3818 (java) S 3801 3801 3757 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 146292168 26623803392 6652 33554432000 4194304 4196468 140731255745920 139914946529392 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3819] ppid=3801 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3819/stat : 3819 (java) S 3801 3801 3757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146292168 26623803392 6652 33554432000 4194304 4196468 140731255745920 139914945476848 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3820] ppid=3801 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/3803/task/3820/stat : 3820 (java) R 3801 3801 3757 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 20 0 146292168 26623803392 6652 33554432000 4194304 4196468 140731255745920 139914944424304 139915537404976 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3821] ppid=3801 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3821/stat : 3821 (java) S 3801 3801 3757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146292168 26623803392 6652 33554432000 4194304 4196468 140731255745920 139914943372000 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3822] ppid=3801 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/3803/task/3822/stat : 3822 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292168 26623803392 6652 33554432000 4194304 4196468 140731255745920 139914942319536 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27732 KiB

[startup+0.210518 s]*
/proc/loadavg: 7.57 7.94 8.07 2/199 3822
/proc/meminfo: memFree=28991988/32770624 swapFree=67108860/67108860
[pid=3801] ppid=3798 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3801/stat : 3801 (xcsp3-exec) S 3798 3801 3757 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146292162 9740288 345 33554432000 4194304 5098028 140737043016928 140737043015032 140708324139644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31715328 140737043018853 140737043019063 140737043019063 140737043021803 0
/proc/3801/statm: 2378 345 289 221 0 87 0
[pid=3803] ppid=3801 vsize=26004064 memory=39140 CPUtime=0.33 cores=0-7
/proc/3803/stat : 3803 (java) S 3801 3801 3757 0 -1 1077944320 8348 0 0 0 31 2 0 0 20 0 20 0 146292162 26628161536 9785 33554432000 4194304 4196468 140731255745920 140731255728464 139915556167415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
/proc/3803/statm: 6501016 9785 3039 1 0 6488269 0
[pid=3803/tid=3804] ppid=3801 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/3803/task/3804/stat : 3804 (java) D 3801 3801 3757 0 -1 1077944384 5421 0 0 0 19 1 0 0 20 0 20 0 146292162 26628161536 9806 33554432000 4194304 4196468 140731255745920 139915560378224 139915548846637 0 4 0 16800975 18446744072101568036 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3805] ppid=3801 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/3803/task/3805/stat : 3805 (java) S 3801 3801 3757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146292163 26628161536 9806 33554432000 4194304 4196468 140731255745920 139915478747920 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3806] ppid=3801 vsize=26004096 memory=140112998054781 CPUtime=0 cores=0-7
/proc/3803/task/3806/stat : 3806 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26628194304 9806 33554432000 4194304 4196468 140731255745920 139915477695376 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3807] ppid=3801 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/3803/task/3807/stat : 3807 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26628194304 9806 33554432000 4194304 4196468 140731255745920 139915476642832 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3808] ppid=3801 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3808/stat : 3808 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26628161536 9806 33554432000 4194304 4196468 140731255745920 139915475590288 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3809] ppid=3801 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3809/stat : 3809 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26628161536 9806 33554432000 4194304 4196468 140731255745920 139915474536720 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3810] ppid=3801 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3803/task/3810/stat : 3810 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26628161536 9806 33554432000 4194304 4196468 140731255745920 139915473484176 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3811] ppid=3801 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3811/stat : 3811 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26628161536 9806 33554432000 4194304 4196468 140731255745920 139915108047376 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3812] ppid=3801 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3812/stat : 3812 (java) S 3801 3801 3757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146292163 26628161536 9806 33554432000 4194304 4196468 140731255745920 139915106994832 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3813] ppid=3801 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3813/stat : 3813 (java) S 3801 3801 3757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146292165 26628161536 9806 33554432000 4194304 4196468 140731255745920 139914951793136 139915556178562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3814] ppid=3801 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3814/stat : 3814 (java) S 3801 3801 3757 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146292165 26628194304 9806 33554432000 4194304 4196468 140731255745920 139914950739360 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3815] ppid=3801 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3815/stat : 3815 (java) S 3801 3801 3757 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146292165 26628161536 9806 33554432000 4194304 4196468 140731255745920 139914949686768 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3816] ppid=3801 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3816/stat : 3816 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292168 26628161536 9806 33554432000 4194304 4196468 140731255745920 139914948635344 139915556186011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3817] ppid=3801 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/3803/task/3817/stat : 3817 (java) S 3801 3801 3757 0 -1 1077944384 406 0 0 0 1 0 0 0 20 0 20 0 146292168 26628161536 9806 33554432000 4194304 4196468 140731255745920 139914947581936 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3818] ppid=3801 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/3803/task/3818/stat : 3818 (java) S 3801 3801 3757 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 20 0 146292168 26628161536 9806 33554432000 4194304 4196468 140731255745920 139914946529392 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3819] ppid=3801 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/3803/task/3819/stat : 3819 (java) S 3801 3801 3757 0 -1 1077944384 224 0 0 0 1 0 0 0 20 0 20 0 146292168 26628161536 9806 33554432000 4194304 4196468 140731255745920 139914945476848 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3820] ppid=3801 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/3803/task/3820/stat : 3820 (java) S 3801 3801 3757 0 -1 1077944384 741 0 0 0 7 0 0 0 20 0 20 0 146292168 26628161536 9806 33554432000 4194304 4196468 140731255745920 139914944424304 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3821] ppid=3801 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3821/stat : 3821 (java) S 3801 3801 3757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146292168 26628194304 9806 33554432000 4194304 4196468 140731255745920 139914943372000 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3822] ppid=3801 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/3803/task/3822/stat : 3822 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292168 26628194304 9814 33554432000 4194304 4196468 140731255745920 139914942319536 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40520 KiB

[startup+0.310349 s]*
/proc/loadavg: 7.57 7.94 8.07 3/199 3822
/proc/meminfo: memFree=28987212/32770624 swapFree=67108860/67108860
[pid=3801] ppid=3798 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3801/stat : 3801 (xcsp3-exec) S 3798 3801 3757 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146292162 9740288 345 33554432000 4194304 5098028 140737043016928 140737043015032 140708324139644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31715328 140737043018853 140737043019063 140737043019063 140737043021803 0
/proc/3801/statm: 2378 345 289 221 0 87 0
[pid=3803] ppid=3801 vsize=26004064 memory=45824 CPUtime=0.5 cores=0-7
/proc/3803/stat : 3803 (java) S 3801 3801 3757 0 -1 1077944320 9155 0 0 0 47 3 0 0 20 0 20 0 146292162 26628161536 11456 33554432000 4194304 4196468 140731255745920 140731255728464 139915556167415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
/proc/3803/statm: 6501016 11456 3101 1 0 6488269 0
[pid=3803/tid=3804] ppid=3801 vsize=26004064 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/3803/task/3804/stat : 3804 (java) R 3801 3801 3757 0 -1 4202560 6083 0 0 0 28 2 0 0 20 0 20 0 146292162 26628161536 11456 33554432000 4194304 4196468 140731255745920 139915560406240 139915556179350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3805] ppid=3801 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3805/stat : 3805 (java) S 3801 3801 3757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146292163 26628161536 11456 33554432000 4194304 4196468 140731255745920 139915478747920 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3806] ppid=3801 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3806/stat : 3806 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26628161536 11456 33554432000 4194304 4196468 140731255745920 139915477695376 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3807] ppid=3801 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3807/stat : 3807 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26628161536 11456 33554432000 4194304 4196468 140731255745920 139915476642832 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3808] ppid=3801 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3808/stat : 3808 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26628161536 11456 33554432000 4194304 4196468 140731255745920 139915475590288 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3809] ppid=3801 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/3803/task/3809/stat : 3809 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26628161536 11456 33554432000 4194304 4196468 140731255745920 139915474536720 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3810] ppid=3801 vsize=26004064 memory=140112839144367 CPUtime=0 cores=0-7
/proc/3803/task/3810/stat : 3810 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26628161536 11456 33554432000 4194304 4196468 140731255745920 139915473484176 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3811] ppid=3801 vsize=26004064 memory=140112839146672 CPUtime=0 cores=0-7
/proc/3803/task/3811/stat : 3811 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26628161536 11456 33554432000 4194304 4196468 140731255745920 139915108047376 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3812] ppid=3801 vsize=26004064 memory=140112839148976 CPUtime=0 cores=0-7
/proc/3803/task/3812/stat : 3812 (java) S 3801 3801 3757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146292163 26628161536 11456 33554432000 4194304 4196468 140731255745920 139915106994832 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3813] ppid=3801 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3813/stat : 3813 (java) S 3801 3801 3757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146292165 26628161536 11456 33554432000 4194304 4196468 140731255745920 139914951793136 139915556178562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3814] ppid=3801 vsize=26004064 memory=280225678304912 CPUtime=0 cores=0-7
/proc/3803/task/3814/stat : 3814 (java) S 3801 3801 3757 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146292165 26628161536 11456 33554432000 4194304 4196468 140731255745920 139914950739360 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3815] ppid=3801 vsize=26004064 memory=280225678311824 CPUtime=0 cores=0-7
/proc/3803/task/3815/stat : 3815 (java) S 3801 3801 3757 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146292165 26628161536 11456 33554432000 4194304 4196468 140731255745920 139914949686768 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3816] ppid=3801 vsize=26004064 memory=280225678253104 CPUtime=0 cores=0-7
/proc/3803/task/3816/stat : 3816 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292168 26628161536 11456 33554432000 4194304 4196468 140731255745920 139914948635344 139915556186011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3817] ppid=3801 vsize=26004064 memory=280225678325648 CPUtime=0.01 cores=0-7
/proc/3803/task/3817/stat : 3817 (java) R 3801 3801 3757 0 -1 4202560 406 0 0 0 1 0 0 0 20 0 20 0 146292168 26628161536 11456 33554432000 4194304 4196468 140731255745920 139914947581936 139915549152457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3818] ppid=3801 vsize=26004064 memory=280225678332560 CPUtime=0.04 cores=0-7
/proc/3803/task/3818/stat : 3818 (java) R 3801 3801 3757 0 -1 4202560 305 0 0 0 4 0 0 0 20 0 20 0 146292168 26628161536 11456 33554432000 4194304 4196468 140731255745920 139914946529392 139915535685161 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3819] ppid=3801 vsize=26004064 memory=280225678330256 CPUtime=0.01 cores=0-7
/proc/3803/task/3819/stat : 3819 (java) S 3801 3801 3757 0 -1 1077944384 224 0 0 0 1 0 0 0 20 0 20 0 146292168 26628161536 11456 33554432000 4194304 4196468 140731255745920 139914945476944 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3820] ppid=3801 vsize=26004064 memory=280225678346416 CPUtime=0.12 cores=0-7
/proc/3803/task/3820/stat : 3820 (java) R 3801 3801 3757 0 -1 4202560 836 0 0 0 12 0 0 0 20 0 20 0 146292168 26628161536 11456 33554432000 4194304 4196468 140731255745920 139914944420672 139915549264291 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3821] ppid=3801 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3821/stat : 3821 (java) S 3801 3801 3757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146292168 26628161536 11456 33554432000 4194304 4196468 140731255745920 139914943372000 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3822] ppid=3801 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3803/task/3822/stat : 3822 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292168 26628161536 11456 33554432000 4194304 4196468 140731255745920 139914942319536 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47204 KiB

[startup+0.700981 s]
/proc/loadavg: 7.57 7.94 8.07 6/199 3822
/proc/meminfo: memFree=28959232/32770624 swapFree=67108860/67108860
[pid=3801] ppid=3798 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3801/stat : 3801 (xcsp3-exec) S 3798 3801 3757 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146292162 9740288 345 33554432000 4194304 5098028 140737043016928 140737043015032 140708324139644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31715328 140737043018853 140737043019063 140737043019063 140737043021803 0
/proc/3801/statm: 2378 345 289 221 0 87 0
[pid=3803] ppid=3801 vsize=26006188 memory=94148 CPUtime=2.03 cores=0-7
/proc/3803/stat : 3803 (java) S 3801 3801 3757 0 -1 1077944320 13034 0 0 0 198 5 0 0 20 0 20 0 146292162 26630336512 23537 33554432000 4194304 4196468 140731255745920 140731255728464 139915556167415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
/proc/3803/statm: 6501547 23537 3208 1 0 6488781 0
[pid=3803/tid=3804] ppid=3801 vsize=26006188 memory=280225678704304 CPUtime=0.67 cores=0-7
/proc/3803/task/3804/stat : 3804 (java) R 3801 3801 3757 0 -1 4202560 6700 0 0 0 64 3 0 0 20 0 20 0 146292162 26630336512 23537 33554432000 4194304 4196468 140731255745920 139915560390352 139915556189341 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3805] ppid=3801 vsize=26006188 memory=140112839353200 CPUtime=0 cores=0-7
/proc/3803/task/3805/stat : 3805 (java) S 3801 3801 3757 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146292163 26630336512 23537 33554432000 4194304 4196468 140731255745920 139915478747920 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3806] ppid=3801 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/3803/task/3806/stat : 3806 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26630336512 23537 33554432000 4194304 4196468 140731255745920 139915477695376 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3807] ppid=3801 vsize=26006188 memory=5800 CPUtime=0 cores=0-7
/proc/3803/task/3807/stat : 3807 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146292163 26630336512 23537 33554432000 4194304 4196468 140731255745920 139915476642832 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0

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

[pid=3803/tid=4663] ppid=3801 vsize=26538700 memory=8112282956445269571 CPUtime=289.94 cores=0-7
/proc/3803/task/4663/stat : 4663 (java) R 3801 3801 3757 0 -1 4202560 3279 0 0 0 28993 1 0 0 20 0 28 0 146507016 27175628800 610768 33554432000 4194304 4196468 140731255745920 139914863685632 139915161506948 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
Current children cumulated CPU time: 19209.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2444452 KiB

[startup+2502.3 s]
/proc/loadavg: 8.07 8.19 8.27 9/207 4671
/proc/meminfo: memFree=26585500/32770624 swapFree=67108860/67108860
[pid=3801] ppid=3798 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3801/stat : 3801 (xcsp3-exec) S 3798 3801 3757 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146292162 9740288 345 33554432000 4194304 5098028 140737043016928 140737043015032 140708324139644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31715328 140737043018853 140737043019063 140737043019063 140737043021803 0
/proc/3801/statm: 2378 345 289 221 0 87 0
[pid=3803] ppid=3801 vsize=26538700 memory=2438428 CPUtime=19685.1 cores=0-7
/proc/3803/stat : 3803 (java) S 3801 3801 3757 0 -1 1077944320 1420151 0 0 0 1967117 1397 0 0 20 0 28 0 146292162 27175628800 609607 33554432000 4194304 4196468 140731255745920 140731255728464 139915556167415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
/proc/3803/statm: 6634675 609607 3304 1 0 6621909 0
[pid=3803/tid=3804] ppid=3801 vsize=26538700 memory=1380 CPUtime=1.28 cores=0-7
/proc/3803/task/3804/stat : 3804 (java) S 3801 3801 3757 0 -1 1077944384 20671 0 0 0 122 6 0 0 20 0 28 0 146292162 27175628800 609607 33554432000 4194304 4196468 140731255745920 139915560408192 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3805] ppid=3801 vsize=26538700 memory=2438428 CPUtime=4.76 cores=0-7
/proc/3803/task/3805/stat : 3805 (java) S 3801 3801 3757 0 -1 1077944384 40788 0 0 0 434 42 0 0 20 0 28 0 146292163 27175628800 609607 33554432000 4194304 4196468 140731255745920 139915478747920 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3806] ppid=3801 vsize=26538700 memory=2438944 CPUtime=4.79 cores=0-7
/proc/3803/task/3806/stat : 3806 (java) S 3801 3801 3757 0 -1 1077944384 41616 0 0 0 441 38 0 0 20 0 28 0 146292163 27175628800 609607 33554432000 4194304 4196468 140731255745920 139915477695376 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3807] ppid=3801 vsize=26538700 memory=2443592 CPUtime=4.78 cores=0-7
/proc/3803/task/3807/stat : 3807 (java) S 3801 3801 3757 0 -1 1077944384 46060 0 0 0 437 41 0 0 20 0 28 0 146292163 27175628800 609607 33554432000 4194304 4196468 140731255745920 139915476642832 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3808] ppid=3801 vsize=26538700 memory=2412368 CPUtime=4.81 cores=0-7
/proc/3803/task/3808/stat : 3808 (java) S 3801 3801 3757 0 -1 1077944384 46822 0 0 0 440 41 0 0 20 0 28 0 146292163 27175628800 609607 33554432000 4194304 4196468 140731255745920 139915475590288 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3809] ppid=3801 vsize=26538700 memory=2421184 CPUtime=4.79 cores=0-7
/proc/3803/task/3809/stat : 3809 (java) S 3801 3801 3757 0 -1 1077944384 41924 0 0 0 438 41 0 0 20 0 28 0 146292163 27175628800 609607 33554432000 4194304 4196468 140731255745920 139915474536720 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3810] ppid=3801 vsize=26538700 memory=1380 CPUtime=4.82 cores=0-7
/proc/3803/task/3810/stat : 3810 (java) S 3801 3801 3757 0 -1 1077944384 44125 0 0 0 441 41 0 0 20 0 28 0 146292163 27175628800 609607 33554432000 4194304 4196468 140731255745920 139915473484176 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3811] ppid=3801 vsize=26538700 memory=2429332 CPUtime=4.77 cores=0-7
/proc/3803/task/3811/stat : 3811 (java) S 3801 3801 3757 0 -1 1077944384 48131 0 0 0 436 41 0 0 20 0 28 0 146292163 27175628800 609607 33554432000 4194304 4196468 140731255745920 139915108047376 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3812] ppid=3801 vsize=26538700 memory=1380 CPUtime=4.8 cores=0-7
/proc/3803/task/3812/stat : 3812 (java) S 3801 3801 3757 0 -1 1077944384 42945 0 0 0 441 39 0 0 20 0 28 0 146292163 27175628800 609607 33554432000 4194304 4196468 140731255745920 139915106994832 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3813] ppid=3801 vsize=26538700 memory=2430328 CPUtime=7.46 cores=0-7
/proc/3803/task/3813/stat : 3813 (java) S 3801 3801 3757 0 -1 1077944384 232517 0 0 0 366 380 0 0 20 0 28 0 146292165 27175628800 609607 33554432000 4194304 4196468 140731255745920 139914951793136 139915556178562 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3814] ppid=3801 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/3803/task/3814/stat : 3814 (java) S 3801 3801 3757 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 146292165 27175628800 609607 33554432000 4194304 4196468 140731255745920 139914950739424 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3815] ppid=3801 vsize=26538700 memory=2421644 CPUtime=0 cores=0-7
/proc/3803/task/3815/stat : 3815 (java) S 3801 3801 3757 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 146292165 27175628800 609607 33554432000 4194304 4196468 140731255745920 139914949686784 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3816] ppid=3801 vsize=26538700 memory=2421124 CPUtime=0 cores=0-7
/proc/3803/task/3816/stat : 3816 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146292168 27175628800 609607 33554432000 4194304 4196468 140731255745920 139914948635344 139915556186011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3817] ppid=3801 vsize=26538700 memory=2411960 CPUtime=2.66 cores=0-7
/proc/3803/task/3817/stat : 3817 (java) S 3801 3801 3757 0 -1 1077944384 17911 0 0 0 264 2 0 0 20 0 28 0 146292168 27175628800 609607 33554432000 4194304 4196468 140731255745920 139914947581936 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3818] ppid=3801 vsize=26538700 memory=2411980 CPUtime=2.77 cores=0-7
/proc/3803/task/3818/stat : 3818 (java) S 3801 3801 3757 0 -1 1077944384 15676 0 0 0 274 3 0 0 20 0 28 0 146292168 27175628800 609607 33554432000 4194304 4196468 140731255745920 139914946529392 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3819] ppid=3801 vsize=26538700 memory=2442564 CPUtime=2.49 cores=0-7
/proc/3803/task/3819/stat : 3819 (java) S 3801 3801 3757 0 -1 1077944384 16627 0 0 0 246 3 0 0 20 0 28 0 146292168 27175628800 609607 33554432000 4194304 4196468 140731255745920 139914945476848 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3820] ppid=3801 vsize=26538700 memory=1380 CPUtime=1.09 cores=0-7
/proc/3803/task/3820/stat : 3820 (java) S 3801 3801 3757 0 -1 1077944384 31763 0 0 0 103 6 0 0 20 0 28 0 146292168 27175628800 609607 33554432000 4194304 4196468 140731255745920 139914944424304 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3821] ppid=3801 vsize=26538700 memory=2438940 CPUtime=0 cores=0-7
/proc/3803/task/3821/stat : 3821 (java) S 3801 3801 3757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146292168 27175628800 609607 33554432000 4194304 4196468 140731255745920 139914943372000 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3822] ppid=3801 vsize=26538700 memory=2438428 CPUtime=0.63 cores=0-7
/proc/3803/task/3822/stat : 3822 (java) S 3801 3801 3757 0 -1 1077944384 17457 0 0 0 26 37 0 0 20 0 28 0 146292168 27175628800 609607 33554432000 4194304 4196468 140731255745920 139914942319536 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=4664] ppid=3801 vsize=26538700 memory=2438428 CPUtime=40.87 cores=0-7
/proc/3803/task/4664/stat : 4664 (java) R 3801 3801 3757 0 -1 4202560 862 0 0 0 4087 0 0 0 20 0 28 0 146538257 27175628800 609607 33554432000 4194304 4196468 140731255745920 139914862632312 139915160445422 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=4665] ppid=3801 vsize=26538700 memory=1380 CPUtime=40.84 cores=0-7
/proc/3803/task/4665/stat : 4665 (java) R 3801 3801 3757 0 -1 4202560 786 0 0 0 4084 0 0 0 20 0 28 0 146538257 27175628800 609607 33554432000 4194304 4196468 140731255745920 139914865791344 139915535892474 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=4666] ppid=3801 vsize=26538700 memory=796 CPUtime=40.97 cores=0-7
/proc/3803/task/4666/stat : 4666 (java) R 3801 3801 3757 0 -1 4202560 2527 0 0 0 4096 1 0 0 20 0 28 0 146538257 27175628800 609607 33554432000 4194304 4196468 140731255745920 139914936405768 139915161736379 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=4667] ppid=3801 vsize=26538700 memory=1380 CPUtime=40.99 cores=0-7
/proc/3803/task/4667/stat : 4667 (java) R 3801 3801 3757 0 -1 4202560 2888 0 0 0 4098 1 0 0 20 0 28 0 146538257 27175628800 609607 33554432000 4194304 4196468 140731255745920 139914861580776 139915160787914 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=4668] ppid=3801 vsize=26538700 memory=1380 CPUtime=40.74 cores=0-7
/proc/3803/task/4668/stat : 4668 (java) R 3801 3801 3757 0 -1 4202560 2107 0 0 0 4074 0 0 0 20 0 28 0 146538257 27175628800 609607 33554432000 4194304 4196468 140731255745920 139914863688448 139915160592471 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=4669] ppid=3801 vsize=26538700 memory=2438940 CPUtime=40.95 cores=0-7
/proc/3803/task/4669/stat : 4669 (java) R 3801 3801 3757 0 -1 4202560 1040 0 0 0 4095 0 0 0 20 0 28 0 146538257 27175628800 609607 33554432000 4194304 4196468 140731255745920 139914859475688 139915161912855 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=4670] ppid=3801 vsize=26538700 memory=1380 CPUtime=40.98 cores=0-7
/proc/3803/task/4670/stat : 4670 (java) R 3801 3801 3757 0 -1 4202560 2777 0 0 0 4096 2 0 0 20 0 28 0 146538257 27175628800 609607 33554432000 4194304 4196468 140731255745920 139914864738240 139915161135186 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=4671] ppid=3801 vsize=26538700 memory=1380 CPUtime=40.78 cores=0-7
/proc/3803/task/4671/stat : 4671 (java) R 3801 3801 3757 0 -1 4202560 869 0 0 0 4078 0 0 0 20 0 28 0 146538257 27175628800 609607 33554432000 4194304 4196468 140731255745920 139914860527864 139915161470645 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
Current children cumulated CPU time: 19685.1 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2439808 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.20 8.21 8.28 9/207 4671
/proc/meminfo: memFree=26585408/32770624 swapFree=67108860/67108860
[pid=3801] ppid=3798 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/3801/stat : 3801 (xcsp3-exec) S 3798 3801 3757 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146292162 9740288 345 33554432000 4194304 5098028 140737043016928 140737043015032 140708324139644 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31715328 140737043018853 140737043019063 140737043019063 140737043021803 0
/proc/3801/statm: 2378 345 289 221 0 87 0
[pid=3803] ppid=3801 vsize=26538700 memory=2438420 CPUtime=19825.5 cores=0-7
/proc/3803/stat : 3803 (java) S 3801 3801 3757 0 -1 1077944320 1432533 0 0 0 1981142 1405 0 0 20 0 28 0 146292162 27175628800 609605 33554432000 4194304 4196468 140731255745920 140731255728464 139915556167415 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
/proc/3803/statm: 6634675 609605 3304 1 0 6621909 0
[pid=3803/tid=3804] ppid=3801 vsize=26538700 memory=956 CPUtime=1.28 cores=0-7
/proc/3803/task/3804/stat : 3804 (java) S 3801 3801 3757 0 -1 1077944384 20671 0 0 0 122 6 0 0 20 0 28 0 146292162 27175628800 609605 33554432000 4194304 4196468 140731255745920 139915560408192 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3805] ppid=3801 vsize=26538700 memory=2428 CPUtime=4.78 cores=0-7
/proc/3803/task/3805/stat : 3805 (java) S 3801 3801 3757 0 -1 1077944384 41025 0 0 0 436 42 0 0 20 0 28 0 146292163 27175628800 609605 33554432000 4194304 4196468 140731255745920 139915478747920 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3806] ppid=3801 vsize=26538700 memory=928 CPUtime=4.83 cores=0-7
/proc/3803/task/3806/stat : 3806 (java) S 3801 3801 3757 0 -1 1077944384 42284 0 0 0 444 39 0 0 20 0 28 0 146292163 27175628800 609605 33554432000 4194304 4196468 140731255745920 139915477695376 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3807] ppid=3801 vsize=26538700 memory=4872558044660077418 CPUtime=4.81 cores=0-7
/proc/3803/task/3807/stat : 3807 (java) S 3801 3801 3757 0 -1 1077944384 46562 0 0 0 440 41 0 0 20 0 28 0 146292163 27175628800 609605 33554432000 4194304 4196468 140731255745920 139915476642832 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3808] ppid=3801 vsize=26538700 memory=1576 CPUtime=4.85 cores=0-7
/proc/3803/task/3808/stat : 3808 (java) S 3801 3801 3757 0 -1 1077944384 48185 0 0 0 443 42 0 0 20 0 28 0 146292163 27175628800 609605 33554432000 4194304 4196468 140731255745920 139915475590288 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3809] ppid=3801 vsize=26538700 memory=2236 CPUtime=4.81 cores=0-7
/proc/3803/task/3809/stat : 3809 (java) S 3801 3801 3757 0 -1 1077944384 42505 0 0 0 440 41 0 0 20 0 28 0 146292163 27175628800 609605 33554432000 4194304 4196468 140731255745920 139915474536720 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3810] ppid=3801 vsize=26538700 memory=4316 CPUtime=4.85 cores=0-7
/proc/3803/task/3810/stat : 3810 (java) S 3801 3801 3757 0 -1 1077944384 44595 0 0 0 444 41 0 0 20 0 28 0 146292163 27175628800 609605 33554432000 4194304 4196468 140731255745920 139915473484176 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3811] ppid=3801 vsize=26538700 memory=2196 CPUtime=4.8 cores=0-7
/proc/3803/task/3811/stat : 3811 (java) S 3801 3801 3757 0 -1 1077944384 48268 0 0 0 438 42 0 0 20 0 28 0 146292163 27175628800 609605 33554432000 4194304 4196468 140731255745920 139915108047376 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3812] ppid=3801 vsize=26538700 memory=7784 CPUtime=4.83 cores=0-7
/proc/3803/task/3812/stat : 3812 (java) S 3801 3801 3757 0 -1 1077944384 43110 0 0 0 443 40 0 0 20 0 28 0 146292163 27175628800 609605 33554432000 4194304 4196468 140731255745920 139915106994832 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3813] ppid=3801 vsize=26538700 memory=4136 CPUtime=7.52 cores=0-7
/proc/3803/task/3813/stat : 3813 (java) S 3801 3801 3757 0 -1 1077944384 234315 0 0 0 369 383 0 0 20 0 28 0 146292165 27175628800 609605 33554432000 4194304 4196468 140731255745920 139914951793136 139915556178562 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3814] ppid=3801 vsize=26538700 memory=40772 CPUtime=0 cores=0-7
/proc/3803/task/3814/stat : 3814 (java) S 3801 3801 3757 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 146292165 27175628800 609605 33554432000 4194304 4196468 140731255745920 139914950739424 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3815] ppid=3801 vsize=26538700 memory=16236 CPUtime=0 cores=0-7
/proc/3803/task/3815/stat : 3815 (java) S 3801 3801 3757 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 146292165 27175628800 609605 33554432000 4194304 4196468 140731255745920 139914949686784 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3816] ppid=3801 vsize=26538700 memory=4044 CPUtime=0 cores=0-7
/proc/3803/task/3816/stat : 3816 (java) S 3801 3801 3757 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146292168 27175628800 609605 33554432000 4194304 4196468 140731255745920 139914948635344 139915556186011 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3817] ppid=3801 vsize=26538700 memory=23400 CPUtime=2.66 cores=0-7
/proc/3803/task/3817/stat : 3817 (java) S 3801 3801 3757 0 -1 1077944384 17917 0 0 0 264 2 0 0 20 0 28 0 146292168 27175628800 609605 33554432000 4194304 4196468 140731255745920 139914947581936 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3818] ppid=3801 vsize=26538700 memory=1232 CPUtime=2.77 cores=0-7
/proc/3803/task/3818/stat : 3818 (java) S 3801 3801 3757 0 -1 1077944384 15682 0 0 0 274 3 0 0 20 0 28 0 146292168 27175628800 609605 33554432000 4194304 4196468 140731255745920 139914946529392 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3819] ppid=3801 vsize=26538700 memory=648 CPUtime=2.49 cores=0-7
/proc/3803/task/3819/stat : 3819 (java) S 3801 3801 3757 0 -1 1077944384 16633 0 0 0 246 3 0 0 20 0 28 0 146292168 27175628800 609605 33554432000 4194304 4196468 140731255745920 139914945476848 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3820] ppid=3801 vsize=26538700 memory=1796 CPUtime=1.09 cores=0-7
/proc/3803/task/3820/stat : 3820 (java) S 3801 3801 3757 0 -1 1077944384 31769 0 0 0 103 6 0 0 20 0 28 0 146292168 27175628800 609605 33554432000 4194304 4196468 140731255745920 139914944424304 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3821] ppid=3801 vsize=26538700 memory=956 CPUtime=0 cores=0-7
/proc/3803/task/3821/stat : 3821 (java) S 3801 3801 3757 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146292168 27175628800 609605 33554432000 4194304 4196468 140731255745920 139914943372000 139915556177621 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=3822] ppid=3801 vsize=26538700 memory=2428 CPUtime=0.63 cores=0-7
/proc/3803/task/3822/stat : 3822 (java) S 3801 3801 3757 0 -1 1077944384 17575 0 0 0 26 37 0 0 20 0 28 0 146292168 27175628800 609605 33554432000 4194304 4196468 140731255745920 139914942319536 139915556178562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=4664] ppid=3801 vsize=26538700 memory=928 CPUtime=58.34 cores=0-7
/proc/3803/task/4664/stat : 4664 (java) R 3801 3801 3757 0 -1 4202560 1255 0 0 0 5834 0 0 0 20 0 28 0 146538257 27175628800 609605 33554432000 4194304 4196468 140731255745920 139914862635584 139915160395638 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=4665] ppid=3801 vsize=26538700 memory=1576 CPUtime=58.4 cores=0-7
/proc/3803/task/4665/stat : 4665 (java) R 3801 3801 3757 0 -1 4202560 1232 0 0 0 5840 0 0 0 20 0 28 0 146538257 27175628800 609605 33554432000 4194304 4196468 140731255745920 139914865792232 139915162388790 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=4666] ppid=3801 vsize=26538700 memory=2236 CPUtime=58.51 cores=0-7
/proc/3803/task/4666/stat : 4666 (java) R 3801 3801 3757 0 -1 4202560 3729 0 0 0 5850 1 0 0 20 0 28 0 146538257 27175628800 609605 33554432000 4194304 4196468 140731255745920 139914936405976 139915159633175 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=4667] ppid=3801 vsize=26538700 memory=4316 CPUtime=58.54 cores=0-7
/proc/3803/task/4667/stat : 4667 (java) R 3801 3801 3757 0 -1 4202560 4316 0 0 0 5853 1 0 0 20 0 28 0 146538257 27175628800 609605 33554432000 4194304 4196468 140731255745920 139914861580776 139915161672325 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=4668] ppid=3801 vsize=26538700 memory=1576 CPUtime=58.23 cores=0-7
/proc/3803/task/4668/stat : 4668 (java) R 3801 3801 3757 0 -1 4202560 3159 0 0 0 5822 1 0 0 20 0 28 0 146538257 27175628800 609605 33554432000 4194304 4196468 140731255745920 139914863685248 139915160592650 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=4669] ppid=3801 vsize=26538700 memory=2236 CPUtime=58.49 cores=0-7
/proc/3803/task/4669/stat : 4669 (java) R 3801 3801 3757 0 -1 4202560 1479 0 0 0 5849 0 0 0 20 0 28 0 146538257 27175628800 609605 33554432000 4194304 4196468 140731255745920 139914859475288 139915160445914 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=4670] ppid=3801 vsize=26538700 memory=4316 CPUtime=58.53 cores=0-7
/proc/3803/task/4670/stat : 4670 (java) R 3801 3801 3757 0 -1 4202560 3726 0 0 0 5850 3 0 0 20 0 28 0 146538257 27175628800 609605 33554432000 4194304 4196468 140731255745920 139914864742096 139915160395517 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
[pid=3803/tid=4671] ppid=3801 vsize=26538700 memory=2196 CPUtime=58.11 cores=0-7
/proc/3803/task/4671/stat : 4671 (java) R 3801 3801 3757 0 -1 4202560 1279 0 0 0 5811 0 0 0 20 0 28 0 146538257 27175628800 609605 33554432000 4194304 4196468 140731255745920 139914860528008 139915160446289 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28172288 140731255751826 140731255752003 140731255752003 140731255754703 0
Current children cumulated CPU time: 19825.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2439800 KiB

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

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

[startup+2520.13 s]
# the end of solver process 3803 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19812.3 s, system=14.0638 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): 2520.13
CPU time (s): 19826.3
CPU user time (s): 19812.3
CPU system time (s): 14.0638
CPU usage (%): 786.719
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 2517264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19812.3
system time used= 14.0638
maximum resident set size= 2542980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1433526
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 200371
involuntary context switches= 223844


# summary of solver processes directly reported to runsolver:
#   pid: 3801,3803
#   total CPU time (s): 19826.3
#   total CPU user time (s): 19812.3
#   total CPU system time (s): 14.0638

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.2914 second user time and 26.0662 second system time

The end

Launcher Data 

Begin job on node102 at 2017-08-19 10:26:20
IDJOB=4280647
IDBENCH=124392
IDSOLVER=2675
FILE ID=node102/4280647-1503132040
RUNJOBID= node102-1503131180-3784
PBS_JOBID= 20630786
Free space on /tmp= 61880 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-B-n45-k6.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4280647-1503132040/watcher-4280647-1503132040 -o /tmp/evaluation-result-4280647-1503132040/solver-4280647-1503132040 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503131180-3784 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 891001466 HOME/instance-4280647-1503132040.xml

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

MD5SUM BENCH= ccd62f28d001d5578c14e849049b60f5
RANDOM SEED=891001466

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.35
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:        29018960 kB
MemAvailable:   31975056 kB
Buffers:          230104 kB
Cached:          3019072 kB
SwapCached:            0 kB
Active:           952360 kB
Inactive:        2347876 kB
Active(anon):       3964 kB
Inactive(anon):    83172 kB
Active(file):     948396 kB
Inactive(file):  2264704 kB
Unevictable:        7504 kB
Mlocked:            7504 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7772 kB
Writeback:             4 kB
AnonPages:         58840 kB
Mapped:            50092 kB
Shmem:             33420 kB
Slab:             144940 kB
SReclaimable:     117664 kB
SUnreclaim:        27276 kB
KernelStack:        3136 kB
PageTables:         4164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61872 MiB
End job on node102 at 2017-08-19 11:08:20