Trace number 4405067

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-20 parallelSAT (TO)108 2001 252.095

General information on the benchmark

NameLowAutocorrelation/LowAutocorrelation-m1-s1/
LowAutocorrelation-033.xml
MD5SUM0094b37350883aa25196a680c59db77a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark84
Best CPU time to get the best result obtained on this benchmark2000.21
Satisfiable
(Un)Satisfiability was proved
Number of variables1121
Number of constraints592
Number of domains65
Minimum domain size2
Maximum domain size65
Distribution of domain sizes[{"size":2,"count":562},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},{"size":27,"count":2},{"size":28,"count":1},{"size":29,"count":2},{"size":30,"count":1},{"size":31,"count":2},{"size":32,"count":1},{"size":33,"count":2},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"count":1},{"size":43,"count":1},{"size":45,"count":1},{"size":47,"count":1},{"size":49,"count":1},{"size":51,"count":1},{"size":53,"count":1},{"size":55,"count":1},{"size":57,"count":1},{"size":59,"count":1},{"size":61,"count":1},{"size":63,"count":1},{"size":65,"count":1}]
Minimum variable degree0
Maximum variable degree32
Distribution of variable degrees[{"degree":0,"count":496},{"degree":2,"count":592},{"degree":32,"count":33}]
Minimum constraint arity2
Maximum constraint arity33
Distribution of constraint arities[{"arity":2,"count":33},{"arity":3,"count":529},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1}]
Number of extensional constraints0
Number of intensional constraints560
Distribution of constraint types[{"type":"intension","count":560},{"type":"sum","count":32}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405067-1569004275.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4405067-1569004275.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
4.51/1.41	c solve instance...
5.19/1.60	o 316 
5.19/1.74	o 280 
5.19/1.83	o 276 
7.35/1.86	o 268 
7.77/1.92	o 220 
9.02/2.13	o 188 
13.64/2.74	o 184 
13.64/2.79	o 164 
18.89/3.47	o 156 
20.49/3.68	o 148 
86.19/11.97	o 144 
102.06/13.93	o 136 
102.06/13.94	o 132 
333.91/43.08	o 124 
976.74/123.69	o 120 
1257.25/158.80	o 112 
1522.01/192.02	o 108 
2000.36/252.06	s SATISFIABLE
2000.36/252.06	v <instantiation>
2000.36/252.06	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[28][0] y[28][1] y[28][2] y[28][3] y[29][0] y[29][1] y[29][2] y[30][0] y[30][1] y[31][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] </list>
2000.36/252.06	v 	<values>1 1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -2 5 -2 -3 -2 1 2 -1 2 3 0 -1 2 1 -2 3 -2 -1 0 -1 -2 1 -2 -1 2 -1 0 -1 0 -1 0 -1 4 25 4 9 4 1 4 1 4 9 0 1 4 1 4 9 4 1 0 1 4 1 4 1 4 1 0 1 0 1 0 1 </values>
2000.36/252.06	v </instantiation>
2000.36/252.06	c Unexpected resolution interruption!

Verifier Data 

OK	108

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405067-1569004275/watcher-4405067-1569004275 -o /var/tmp/evaluation-result-4405067-1569004275/solver-4405067-1569004275 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 409914702 HOME/instance-4405067-1569004275.xml 

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

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


[startup+0.100136 s]*
/proc/loadavg: 7.33 8.05 8.19 2/212 12041
/proc/meminfo: memFree=11784360/32770624 swapFree=66956720/67108860
[pid=12020] ppid=12017 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12020/stat : 12020 (xcsp3-exec) S 12017 12020 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476666177 115843072 364 33554432000 4194304 5098028 140720726398624 140720726396728 140081635607164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22110208 140720726401880 140720726402138 140720726402138 140720726405062 0
/proc/12020/statm: 28282 364 305 221 0 87 0
[pid=12022] ppid=12020 vsize=28227396 memory=27124 CPUtime=0.12 cores=0-7
/proc/12022/stat : 12022 (java) S 12020 12020 3200 0 -1 1077944320 5738 0 0 0 12 0 0 0 20 0 20 0 476666177 28904853504 6781 33554432000 4194304 4196468 140725895976672 140725895959216 140189573177079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
/proc/12022/statm: 7056849 6781 3148 1 0 7019032 0
[pid=12022/tid=12023] ppid=12020 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/12022/task/12023/stat : 12023 (java) R 12020 12020 3200 0 -1 4202560 3640 0 0 0 9 0 0 0 20 0 20 0 476666178 28904853504 6781 33554432000 4194304 4196468 140725895976672 140189577411616 140189566273915 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12024] ppid=12020 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12022/task/12024/stat : 12024 (java) S 12020 12020 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476666179 28904853504 6781 33554432000 4194304 4196468 140725895976672 140189124561296 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12025] ppid=12020 vsize=28227396 memory=140410531313280 CPUtime=0 cores=0-7
/proc/12022/task/12025/stat : 12025 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666179 28904853504 6781 33554432000 4194304 4196468 140725895976672 140189123508496 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12026] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12026/stat : 12026 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666179 28904853504 6781 33554432000 4194304 4196468 140725895976672 140189122456208 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12027] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12027/stat : 12027 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666179 28904853504 6781 33554432000 4194304 4196468 140725895976672 140189121403408 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12028] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12028/stat : 12028 (java) S 12020 12020 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476666179 28904853504 6781 33554432000 4194304 4196468 140725895976672 140189120351120 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12029] ppid=12020 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12022/task/12029/stat : 12029 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666179 28904853504 6781 33554432000 4194304 4196468 140725895976672 140189119298320 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12030] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12030/stat : 12030 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666179 28904853504 6781 33554432000 4194304 4196468 140725895976672 140189118246032 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12031] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12031/stat : 12031 (java) S 12020 12020 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476666179 28904853504 6781 33554432000 4194304 4196468 140725895976672 140189117193232 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12032] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12032/stat : 12032 (java) S 12020 12020 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476666180 28904853504 6781 33554432000 4194304 4196468 140725895976672 140187701205104 140189573188226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12033] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12033/stat : 12033 (java) S 12020 12020 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476666180 28904853504 6781 33554432000 4194304 4196468 140725895976672 140187700151072 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12034] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12034/stat : 12034 (java) S 12020 12020 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476666181 28904853504 6781 33554432000 4194304 4196468 140725895976672 140187699098736 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12035] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12035/stat : 12035 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666183 28904853504 6781 33554432000 4194304 4196468 140725895976672 140187698047056 140189573195675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12036] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12036/stat : 12036 (java) S 12020 12020 3200 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 476666183 28904853504 6781 33554432000 4194304 4196468 140725895976672 140187696994928 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12037] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12037/stat : 12037 (java) S 12020 12020 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476666183 28904853504 6781 33554432000 4194304 4196468 140725895976672 140187695942128 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12038] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12038/stat : 12038 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666183 28904853504 6781 33554432000 4194304 4196468 140725895976672 140187694889840 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12039] ppid=12020 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/12022/task/12039/stat : 12039 (java) R 12020 12020 3200 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 20 0 476666183 28904853504 6781 33554432000 4194304 4196468 140725895976672 140187693837040 140189573189014 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12040] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12040/stat : 12040 (java) S 12020 12020 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476666183 28904853504 6781 33554432000 4194304 4196468 140725895976672 140187692783968 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12041] ppid=12020 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12022/task/12041/stat : 12041 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666184 28904853504 6781 33554432000 4194304 4196468 140725895976672 140187691731248 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 28580 KiB

[startup+0.210561 s]*
/proc/loadavg: 7.33 8.05 8.19 2/212 12041
/proc/meminfo: memFree=11770140/32770624 swapFree=66956720/67108860
[pid=12020] ppid=12017 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12020/stat : 12020 (xcsp3-exec) S 12017 12020 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476666177 115843072 364 33554432000 4194304 5098028 140720726398624 140720726396728 140081635607164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22110208 140720726401880 140720726402138 140720726402138 140720726405062 0
/proc/12020/statm: 28282 364 305 221 0 87 0
[pid=12022] ppid=12020 vsize=28227396 memory=39504 CPUtime=0.33 cores=0-7
/proc/12022/stat : 12022 (java) S 12020 12020 3200 0 -1 1077944320 9642 0 0 0 31 2 0 0 20 0 20 0 476666177 28904853504 9876 33554432000 4194304 4196468 140725895976672 140725895959216 140189573177079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
/proc/12022/statm: 7056849 9876 3300 1 0 7019032 0
[pid=12022/tid=12023] ppid=12020 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/12022/task/12023/stat : 12023 (java) R 12020 12020 3200 0 -1 4202560 6665 0 0 0 18 1 0 0 20 0 20 0 476666178 28904853504 9876 33554432000 4194304 4196468 140725895976672 140189577411024 140189210760064 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12024] ppid=12020 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/12022/task/12024/stat : 12024 (java) S 12020 12020 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476666179 28904853504 9876 33554432000 4194304 4196468 140725895976672 140189124561296 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12025] ppid=12020 vsize=28227396 memory=140410531325559 CPUtime=0 cores=0-7
/proc/12022/task/12025/stat : 12025 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666179 28904853504 9876 33554432000 4194304 4196468 140725895976672 140189123508496 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12026] ppid=12020 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12022/task/12026/stat : 12026 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666179 28904853504 9876 33554432000 4194304 4196468 140725895976672 140189122456208 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12027] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12027/stat : 12027 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666179 28904853504 9876 33554432000 4194304 4196468 140725895976672 140189121403408 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12028] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12028/stat : 12028 (java) S 12020 12020 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476666179 28904853504 9876 33554432000 4194304 4196468 140725895976672 140189120351120 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12029] ppid=12020 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12022/task/12029/stat : 12029 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666179 28904853504 9876 33554432000 4194304 4196468 140725895976672 140189119298320 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12030] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12030/stat : 12030 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666179 28904853504 9876 33554432000 4194304 4196468 140725895976672 140189118246032 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12031] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12031/stat : 12031 (java) S 12020 12020 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476666179 28904853504 9876 33554432000 4194304 4196468 140725895976672 140189117193232 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12032] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12032/stat : 12032 (java) S 12020 12020 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476666180 28904853504 9876 33554432000 4194304 4196468 140725895976672 140187701205104 140189573188226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12033] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12033/stat : 12033 (java) S 12020 12020 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476666180 28904853504 9876 33554432000 4194304 4196468 140725895976672 140187700151072 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12034] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12034/stat : 12034 (java) S 12020 12020 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476666181 28904853504 9876 33554432000 4194304 4196468 140725895976672 140187699098736 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12035] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12035/stat : 12035 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666183 28904853504 9876 33554432000 4194304 4196468 140725895976672 140187698047056 140189573195675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12036] ppid=12020 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12022/task/12036/stat : 12036 (java) S 12020 12020 3200 0 -1 1077944384 545 0 0 0 1 0 0 0 20 0 20 0 476666183 28904853504 9876 33554432000 4194304 4196468 140725895976672 140187696994928 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12037] ppid=12020 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/12022/task/12037/stat : 12037 (java) S 12020 12020 3200 0 -1 1077944384 115 0 0 0 1 0 0 0 20 0 20 0 476666183 28904853504 9876 33554432000 4194304 4196468 140725895976672 140187695942128 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12038] ppid=12020 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/12022/task/12038/stat : 12038 (java) S 12020 12020 3200 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 20 0 476666183 28904853504 9876 33554432000 4194304 4196468 140725895976672 140187694889840 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12039] ppid=12020 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/12022/task/12039/stat : 12039 (java) R 12020 12020 3200 0 -1 4202560 947 0 0 0 8 0 0 0 20 0 20 0 476666183 28904853504 9876 33554432000 4194304 4196468 140725895976672 140187693837040 140189566282771 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12040] ppid=12020 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12040/stat : 12040 (java) S 12020 12020 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476666183 28904853504 9876 33554432000 4194304 4196468 140725895976672 140187692783968 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12041] ppid=12020 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/12022/task/12041/stat : 12041 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666184 28904853504 9876 33554432000 4194304 4196468 140725895976672 140187691731248 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 40960 KiB

[startup+0.312503 s]*
/proc/loadavg: 7.33 8.05 8.19 4/212 12041
/proc/meminfo: memFree=11762352/32770624 swapFree=66956720/67108860
[pid=12020] ppid=12017 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12020/stat : 12020 (xcsp3-exec) S 12017 12020 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476666177 115843072 364 33554432000 4194304 5098028 140720726398624 140720726396728 140081635607164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22110208 140720726401880 140720726402138 140720726402138 140720726405062 0
/proc/12020/statm: 28282 364 305 221 0 87 0
[pid=12022] ppid=12020 vsize=28231652 memory=48652 CPUtime=0.53 cores=0-7
/proc/12022/stat : 12022 (java) S 12020 12020 3200 0 -1 1077944320 11113 0 0 0 50 3 0 0 20 0 20 0 476666177 28909211648 12163 33554432000 4194304 4196468 140725895976672 140725895959216 140189573177079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
/proc/12022/statm: 7057913 12163 3340 1 0 7019032 0
[pid=12022/tid=12023] ppid=12020 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/12022/task/12023/stat : 12023 (java) R 12020 12020 3200 0 -1 4202560 7804 0 0 0 28 2 0 0 20 0 20 0 476666178 28909211648 12189 33554432000 4194304 4196468 140725895976672 140189577408192 140189552773827 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12024] ppid=12020 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12024/stat : 12024 (java) S 12020 12020 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476666179 28909211648 12189 33554432000 4194304 4196468 140725895976672 140189124561296 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12025] ppid=12020 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12025/stat : 12025 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666179 28909211648 12189 33554432000 4194304 4196468 140725895976672 140189123508496 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12026] ppid=12020 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12026/stat : 12026 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666179 28909211648 12189 33554432000 4194304 4196468 140725895976672 140189122456208 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12027] ppid=12020 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12027/stat : 12027 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666179 28909211648 12189 33554432000 4194304 4196468 140725895976672 140189121403408 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12028] ppid=12020 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/12022/task/12028/stat : 12028 (java) S 12020 12020 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476666179 28909211648 12189 33554432000 4194304 4196468 140725895976672 140189120351120 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12029] ppid=12020 vsize=28231652 memory=140410399847343 CPUtime=0 cores=0-7
/proc/12022/task/12029/stat : 12029 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666179 28909211648 12189 33554432000 4194304 4196468 140725895976672 140189119298320 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12030] ppid=12020 vsize=28231652 memory=140410399849648 CPUtime=0 cores=0-7
/proc/12022/task/12030/stat : 12030 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666179 28909211648 12189 33554432000 4194304 4196468 140725895976672 140189118246032 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12031] ppid=12020 vsize=28231652 memory=140410399851952 CPUtime=0 cores=0-7
/proc/12022/task/12031/stat : 12031 (java) S 12020 12020 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476666179 28909211648 12189 33554432000 4194304 4196468 140725895976672 140189117193232 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12032] ppid=12020 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12032/stat : 12032 (java) S 12020 12020 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476666180 28909211648 12189 33554432000 4194304 4196468 140725895976672 140187701205104 140189573188226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12033] ppid=12020 vsize=28231652 memory=280820799710864 CPUtime=0 cores=0-7
/proc/12022/task/12033/stat : 12033 (java) S 12020 12020 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476666180 28909211648 12189 33554432000 4194304 4196468 140725895976672 140187700151072 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12034] ppid=12020 vsize=28231652 memory=280820799717776 CPUtime=0 cores=0-7
/proc/12022/task/12034/stat : 12034 (java) S 12020 12020 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476666181 28909211648 12189 33554432000 4194304 4196468 140725895976672 140187699098736 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12035] ppid=12020 vsize=28231652 memory=280820799658928 CPUtime=0 cores=0-7
/proc/12022/task/12035/stat : 12035 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666183 28909211648 12189 33554432000 4194304 4196468 140725895976672 140187698047056 140189573195675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12036] ppid=12020 vsize=28231652 memory=280820799731600 CPUtime=0.02 cores=0-7
/proc/12022/task/12036/stat : 12036 (java) S 12020 12020 3200 0 -1 1077944384 561 0 0 0 2 0 0 0 20 0 20 0 476666183 28909211648 12189 33554432000 4194304 4196468 140725895976672 140187696994928 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12037] ppid=12020 vsize=28231652 memory=280820799738512 CPUtime=0.03 cores=0-7
/proc/12022/task/12037/stat : 12037 (java) R 12020 12020 3200 0 -1 4202560 209 0 0 0 3 0 0 0 20 0 20 0 476666183 28909211648 12189 33554432000 4194304 4196468 140725895976672 140187695932512 140189558303030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12038] ppid=12020 vsize=28231652 memory=280820799736208 CPUtime=0.02 cores=0-7
/proc/12022/task/12038/stat : 12038 (java) S 12020 12020 3200 0 -1 1077944384 64 0 0 0 2 0 0 0 20 0 20 0 476666183 28909211648 12189 33554432000 4194304 4196468 140725895976672 140187694889840 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12039] ppid=12020 vsize=28231652 memory=280820799752368 CPUtime=0.13 cores=0-7
/proc/12022/task/12039/stat : 12039 (java) S 12020 12020 3200 0 -1 1077944384 1174 0 0 0 13 0 0 0 20 0 20 0 476666183 28909211648 12189 33554432000 4194304 4196468 140725895976672 140187693837040 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12040] ppid=12020 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12040/stat : 12040 (java) S 12020 12020 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476666183 28909211648 12189 33554432000 4194304 4196468 140725895976672 140187692783968 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12041] ppid=12020 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/12022/task/12041/stat : 12041 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666184 28909211648 12189 33554432000 4194304 4196468 140725895976672 140187691731248 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50108 KiB

[startup+0.700931 s]
/proc/loadavg: 7.33 8.05 8.19 3/212 12041
/proc/meminfo: memFree=11751372/32770624 swapFree=66956720/67108860
[pid=12020] ppid=12017 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12020/stat : 12020 (xcsp3-exec) S 12017 12020 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476666177 115843072 364 33554432000 4194304 5098028 140720726398624 140720726396728 140081635607164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22110208 140720726401880 140720726402138 140720726402138 140720726405062 0
/proc/12020/statm: 28282 364 305 221 0 87 0
[pid=12022] ppid=12020 vsize=28233776 memory=84152 CPUtime=1.54 cores=0-7
/proc/12022/stat : 12022 (java) S 12020 12020 3200 0 -1 1077944320 15156 0 0 0 148 6 0 0 20 0 20 0 476666177 28911386624 21038 33554432000 4194304 4196468 140725895976672 140725895959216 140189573177079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
/proc/12022/statm: 7058444 21038 3455 1 0 7019544 0
[pid=12022/tid=12023] ppid=12020 vsize=28233776 memory=280820800110256 CPUtime=0.67 cores=0-7
/proc/12022/task/12023/stat : 12023 (java) R 12020 12020 3200 0 -1 4202560 9116 0 0 0 64 3 0 0 20 0 20 0 476666178 28911386624 21038 33554432000 4194304 4196468 140725895976672 140189577409248 140189214789824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12024] ppid=12020 vsize=28233776 memory=140410400056176 CPUtime=0 cores=0-7
/proc/12022/task/12024/stat : 12024 (java) S 12020 12020 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476666179 28911386624 21038 33554432000 4194304 4196468 140725895976672 140189124561296 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12025] ppid=12020 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/12022/task/12025/stat : 12025 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666179 28911386624 21038 33554432000 4194304 4196468 140725895976672 140189123508496 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12026] ppid=12020 vsize=28233776 memory=6032 CPUtime=0 cores=0-7
/proc/12022/task/12026/stat : 12026 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476666179 28911386624 21038 33554432000 4194304 4196468 140725895976672 140189122456208 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0

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

[pid=12022/tid=12188] ppid=12020 vsize=28768336 memory=54928 CPUtime=3.5 cores=0-7
/proc/12022/task/12188/stat : 12188 (java) R 12020 12020 3200 0 -1 4202560 20 0 0 0 350 0 0 0 20 0 28 0 476682058 29458776064 295416 33554432000 4194304 4196468 140725895976672 140187677502152 140189221343545 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
Current children cumulated CPU time: 1285.19 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1183120 KiB

[startup+222.311 s]
/proc/loadavg: 8.30 8.04 8.15 9/220 12199
/proc/meminfo: memFree=10621956/32770624 swapFree=66956720/67108860
[pid=12020] ppid=12017 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12020/stat : 12020 (xcsp3-exec) S 12017 12020 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476666177 115843072 364 33554432000 4194304 5098028 140720726398624 140720726396728 140081635607164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22110208 140720726401880 140720726402138 140720726402138 140720726405062 0
/proc/12020/statm: 28282 364 305 221 0 87 0
[pid=12022] ppid=12020 vsize=28768336 memory=1189688 CPUtime=1763.53 cores=0-7
/proc/12022/stat : 12022 (java) S 12020 12020 3200 0 -1 1077944320 188327 0 0 0 176201 152 0 0 20 0 28 0 476666177 29458776064 297422 33554432000 4194304 4196468 140725895976672 140725895959216 140189573177079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
/proc/12022/statm: 7192084 297422 3543 1 0 7153184 0
[pid=12022/tid=12023] ppid=12020 vsize=28768336 memory=1456 CPUtime=1.4 cores=0-7
/proc/12022/task/12023/stat : 12023 (java) S 12020 12020 3200 0 -1 1077944384 11147 0 0 0 134 6 0 0 20 0 28 0 476666178 29458776064 297422 33554432000 4194304 4196468 140725895976672 140189577417856 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12024] ppid=12020 vsize=28768336 memory=1189688 CPUtime=0.14 cores=0-7
/proc/12022/task/12024/stat : 12024 (java) S 12020 12020 3200 0 -1 1077944384 394 0 0 0 8 6 0 0 20 0 28 0 476666179 29458776064 297422 33554432000 4194304 4196468 140725895976672 140189124561296 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12025] ppid=12020 vsize=28768336 memory=1189688 CPUtime=0.13 cores=0-7
/proc/12022/task/12025/stat : 12025 (java) S 12020 12020 3200 0 -1 1077944384 552 0 0 0 8 5 0 0 20 0 28 0 476666179 29458776064 297422 33554432000 4194304 4196468 140725895976672 140189123508496 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12026] ppid=12020 vsize=28768336 memory=1456 CPUtime=0.12 cores=0-7
/proc/12022/task/12026/stat : 12026 (java) S 12020 12020 3200 0 -1 1077944384 1646 0 0 0 7 5 0 0 20 0 28 0 476666179 29458776064 297422 33554432000 4194304 4196468 140725895976672 140189122456208 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12027] ppid=12020 vsize=28768336 memory=1189688 CPUtime=0.13 cores=0-7
/proc/12022/task/12027/stat : 12027 (java) S 12020 12020 3200 0 -1 1077944384 364 0 0 0 8 5 0 0 20 0 28 0 476666179 29458776064 297422 33554432000 4194304 4196468 140725895976672 140189121403408 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12028] ppid=12020 vsize=28768336 memory=32024 CPUtime=0.14 cores=0-7
/proc/12022/task/12028/stat : 12028 (java) S 12020 12020 3200 0 -1 1077944384 662 0 0 0 9 5 0 0 20 0 28 0 476666179 29458776064 297422 33554432000 4194304 4196468 140725895976672 140189120351120 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12029] ppid=12020 vsize=28768336 memory=1183540 CPUtime=0.14 cores=0-7
/proc/12022/task/12029/stat : 12029 (java) S 12020 12020 3200 0 -1 1077944384 1572 0 0 0 9 5 0 0 20 0 28 0 476666179 29458776064 297422 33554432000 4194304 4196468 140725895976672 140189119298320 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12030] ppid=12020 vsize=28768336 memory=1988 CPUtime=0.13 cores=0-7
/proc/12022/task/12030/stat : 12030 (java) S 12020 12020 3200 0 -1 1077944384 1133 0 0 0 8 5 0 0 20 0 28 0 476666179 29458776064 297422 33554432000 4194304 4196468 140725895976672 140189118246032 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12031] ppid=12020 vsize=28768336 memory=7505928880668315508 CPUtime=0.13 cores=0-7
/proc/12022/task/12031/stat : 12031 (java) S 12020 12020 3200 0 -1 1077944384 2320 0 0 0 8 5 0 0 20 0 28 0 476666179 29458776064 297422 33554432000 4194304 4196468 140725895976672 140189117193232 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12032] ppid=12020 vsize=28768336 memory=6944656592387989600 CPUtime=0.05 cores=0-7
/proc/12022/task/12032/stat : 12032 (java) S 12020 12020 3200 0 -1 1077944384 4948 0 0 0 4 1 0 0 20 0 28 0 476666180 29458776064 297422 33554432000 4194304 4196468 140725895976672 140187701205104 140189573188226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12033] ppid=12020 vsize=28768336 memory=33 CPUtime=0 cores=0-7
/proc/12022/task/12033/stat : 12033 (java) S 12020 12020 3200 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 476666180 29458776064 297422 33554432000 4194304 4196468 140725895976672 140187700151136 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12034] ppid=12020 vsize=28768336 memory=280820800654784 CPUtime=0 cores=0-7
/proc/12022/task/12034/stat : 12034 (java) S 12020 12020 3200 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 476666181 29458776064 297422 33554432000 4194304 4196468 140725895976672 140187699098752 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12035] ppid=12020 vsize=28768336 memory=1189688 CPUtime=0 cores=0-7
/proc/12022/task/12035/stat : 12035 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476666183 29458776064 297422 33554432000 4194304 4196468 140725895976672 140187698047056 140189573195675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12036] ppid=12020 vsize=28768336 memory=1189688 CPUtime=3.26 cores=0-7
/proc/12022/task/12036/stat : 12036 (java) S 12020 12020 3200 0 -1 1077944384 22204 0 0 0 322 4 0 0 20 0 28 0 476666183 29458776064 297422 33554432000 4194304 4196468 140725895976672 140187696994928 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12037] ppid=12020 vsize=28768336 memory=800 CPUtime=3.17 cores=0-7
/proc/12022/task/12037/stat : 12037 (java) S 12020 12020 3200 0 -1 1077944384 28338 0 0 0 313 4 0 0 20 0 28 0 476666183 29458776064 297422 33554432000 4194304 4196468 140725895976672 140187695942128 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12038] ppid=12020 vsize=28768336 memory=1808 CPUtime=2.78 cores=0-7
/proc/12022/task/12038/stat : 12038 (java) S 12020 12020 3200 0 -1 1077944384 14368 0 0 0 275 3 0 0 20 0 28 0 476666183 29458776064 297422 33554432000 4194304 4196468 140725895976672 140187694889840 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12039] ppid=12020 vsize=28768336 memory=1189688 CPUtime=1.15 cores=0-7
/proc/12022/task/12039/stat : 12039 (java) S 12020 12020 3200 0 -1 1077944384 23364 0 0 0 110 5 0 0 20 0 28 0 476666183 29458776064 297422 33554432000 4194304 4196468 140725895976672 140187693837040 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12040] ppid=12020 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/12022/task/12040/stat : 12040 (java) S 12020 12020 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476666183 29458776064 297422 33554432000 4194304 4196468 140725895976672 140187692783968 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12041] ppid=12020 vsize=28768336 memory=808 CPUtime=0.06 cores=0-7
/proc/12022/task/12041/stat : 12041 (java) S 12020 12020 3200 0 -1 1077944384 2953 0 0 0 6 0 0 0 20 0 28 0 476666184 29458776064 297422 33554432000 4194304 4196468 140725895976672 140187691731248 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12189] ppid=12020 vsize=28768336 memory=104728482570046 CPUtime=30.26 cores=0-7
/proc/12022/task/12189/stat : 12189 (java) R 12020 12020 3200 0 -1 4202560 558 0 0 0 3026 0 0 0 20 0 28 0 476685380 29458776064 297422 33554432000 4194304 4196468 140725895976672 140187673283832 140189218531742 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12190] ppid=12020 vsize=28768336 memory=1456 CPUtime=29.76 cores=0-7
/proc/12022/task/12190/stat : 12190 (java) R 12020 12020 3200 0 -1 4202560 405 0 0 0 2976 0 0 0 20 0 28 0 476685380 29458776064 297422 33554432000 4194304 4196468 140725895976672 140187680653608 140189219996861 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12191] ppid=12020 vsize=28768336 memory=1456 CPUtime=30.22 cores=0-7
/proc/12022/task/12191/stat : 12191 (java) R 12020 12020 3200 0 -1 4202560 2162 0 0 0 3021 1 0 0 20 0 28 0 476685380 29458776064 297422 33554432000 4194304 4196468 140725895976672 140187678548376 140189211573608 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12192] ppid=12020 vsize=28768336 memory=1189688 CPUtime=30.16 cores=0-7
/proc/12022/task/12192/stat : 12192 (java) R 12020 12020 3200 0 -1 4202560 1879 0 0 0 3012 4 0 0 20 0 28 0 476685380 29458776064 297422 33554432000 4194304 4196468 140725895976672 140187679601208 140189222422527 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12193] ppid=12020 vsize=28768336 memory=1456 CPUtime=30.11 cores=0-7
/proc/12022/task/12193/stat : 12193 (java) R 12020 12020 3200 0 -1 4202560 369 0 0 0 3011 0 0 0 20 0 28 0 476685380 29458776064 297422 33554432000 4194304 4196468 140725895976672 140187677495944 140189222422543 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12194] ppid=12020 vsize=28768336 memory=1189688 CPUtime=30.2 cores=0-7
/proc/12022/task/12194/stat : 12194 (java) R 12020 12020 3200 0 -1 4202560 765 0 0 0 3020 0 0 0 20 0 28 0 476685380 29458776064 297422 33554432000 4194304 4196468 140725895976672 140187676442936 140189219996615 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12195] ppid=12020 vsize=28768336 memory=1456 CPUtime=30.25 cores=0-7
/proc/12022/task/12195/stat : 12195 (java) R 12020 12020 3200 0 -1 4202560 365 0 0 0 3025 0 0 0 20 0 28 0 476685380 29458776064 297422 33554432000 4194304 4196468 140725895976672 140187674336816 140189219996601 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12196] ppid=12020 vsize=28768336 memory=1189688 CPUtime=30.24 cores=0-7
/proc/12022/task/12196/stat : 12196 (java) R 12020 12020 3200 0 -1 4202560 993 0 0 0 3024 0 0 0 20 0 28 0 476685380 29458776064 297422 33554432000 4194304 4196468 140725895976672 140187675389752 140189219996476 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
Current children cumulated CPU time: 1763.53 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1191144 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]
/proc/loadavg: 8.54 8.11 8.17 9/220 12201
/proc/meminfo: memFree=10618448/32770624 swapFree=66956720/67108860
[pid=12020] ppid=12017 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/12020/stat : 12020 (xcsp3-exec) S 12017 12020 3200 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476666177 115843072 364 33554432000 4194304 5098028 140720726398624 140720726396728 140081635607164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 22110208 140720726401880 140720726402138 140720726402138 140720726405062 0
/proc/12020/statm: 28282 364 305 221 0 87 0
[pid=12022] ppid=12020 vsize=28768336 memory=1191672 CPUtime=2000.36 cores=0-7
/proc/12022/stat : 12022 (java) S 12020 12020 3200 0 -1 1077944320 199515 0 0 0 199876 160 0 0 20 0 28 0 476666177 29458776064 297918 33554432000 4194304 4196468 140725895976672 140725895959216 140189573177079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
/proc/12022/statm: 7192084 297918 3543 1 0 7153184 0
[pid=12022/tid=12023] ppid=12020 vsize=28768336 memory=1456 CPUtime=1.4 cores=0-7
/proc/12022/task/12023/stat : 12023 (java) S 12020 12020 3200 0 -1 1077944384 11147 0 0 0 134 6 0 0 20 0 28 0 476666178 29458776064 297918 33554432000 4194304 4196468 140725895976672 140189577417856 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12024] ppid=12020 vsize=28768336 memory=1188088 CPUtime=0.15 cores=0-7
/proc/12022/task/12024/stat : 12024 (java) S 12020 12020 3200 0 -1 1077944384 452 0 0 0 9 6 0 0 20 0 28 0 476666179 29458776064 297918 33554432000 4194304 4196468 140725895976672 140189124561296 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12025] ppid=12020 vsize=28768336 memory=4840 CPUtime=0.14 cores=0-7
/proc/12022/task/12025/stat : 12025 (java) S 12020 12020 3200 0 -1 1077944384 675 0 0 0 9 5 0 0 20 0 28 0 476666179 29458776064 297918 33554432000 4194304 4196468 140725895976672 140189123508496 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12026] ppid=12020 vsize=28768336 memory=11632 CPUtime=0.13 cores=0-7
/proc/12022/task/12026/stat : 12026 (java) S 12020 12020 3200 0 -1 1077944384 1707 0 0 0 8 5 0 0 20 0 28 0 476666179 29458776064 297918 33554432000 4194304 4196468 140725895976672 140189122456208 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12027] ppid=12020 vsize=28768336 memory=1732 CPUtime=0.13 cores=0-7
/proc/12022/task/12027/stat : 12027 (java) S 12020 12020 3200 0 -1 1077944384 410 0 0 0 8 5 0 0 20 0 28 0 476666179 29458776064 297918 33554432000 4194304 4196468 140725895976672 140189121403408 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12028] ppid=12020 vsize=28768336 memory=1456 CPUtime=0.15 cores=0-7
/proc/12022/task/12028/stat : 12028 (java) S 12020 12020 3200 0 -1 1077944384 1043 0 0 0 10 5 0 0 20 0 28 0 476666179 29458776064 297918 33554432000 4194304 4196468 140725895976672 140189120351120 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12029] ppid=12020 vsize=28768336 memory=1191672 CPUtime=0.14 cores=0-7
/proc/12022/task/12029/stat : 12029 (java) S 12020 12020 3200 0 -1 1077944384 1587 0 0 0 9 5 0 0 20 0 28 0 476666179 29458776064 297918 33554432000 4194304 4196468 140725895976672 140189119298320 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12030] ppid=12020 vsize=28768336 memory=6791534058613427641 CPUtime=0.14 cores=0-7
/proc/12022/task/12030/stat : 12030 (java) S 12020 12020 3200 0 -1 1077944384 1214 0 0 0 9 5 0 0 20 0 28 0 476666179 29458776064 297918 33554432000 4194304 4196468 140725895976672 140189118246032 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12031] ppid=12020 vsize=28768336 memory=4872558044660077418 CPUtime=0.14 cores=0-7
/proc/12022/task/12031/stat : 12031 (java) S 12020 12020 3200 0 -1 1077944384 2813 0 0 0 9 5 0 0 20 0 28 0 476666179 29458776064 297918 33554432000 4194304 4196468 140725895976672 140189117193232 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12032] ppid=12020 vsize=28768336 memory=16106952818009964 CPUtime=0.05 cores=0-7
/proc/12022/task/12032/stat : 12032 (java) S 12020 12020 3200 0 -1 1077944384 5441 0 0 0 4 1 0 0 20 0 28 0 476666180 29458776064 297918 33554432000 4194304 4196468 140725895976672 140187701205104 140189573188226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12033] ppid=12020 vsize=28768336 memory=1988 CPUtime=0 cores=0-7
/proc/12022/task/12033/stat : 12033 (java) S 12020 12020 3200 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 476666180 29458776064 297918 33554432000 4194304 4196468 140725895976672 140187700151136 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12034] ppid=12020 vsize=28768336 memory=988 CPUtime=0 cores=0-7
/proc/12022/task/12034/stat : 12034 (java) S 12020 12020 3200 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 28 0 476666181 29458776064 297918 33554432000 4194304 4196468 140725895976672 140187699098752 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12035] ppid=12020 vsize=28768336 memory=1428 CPUtime=0 cores=0-7
/proc/12022/task/12035/stat : 12035 (java) S 12020 12020 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476666183 29458776064 297918 33554432000 4194304 4196468 140725895976672 140187698047056 140189573195675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12036] ppid=12020 vsize=28768336 memory=1728 CPUtime=3.26 cores=0-7
/proc/12022/task/12036/stat : 12036 (java) S 12020 12020 3200 0 -1 1077944384 22226 0 0 0 322 4 0 0 20 0 28 0 476666183 29458776064 297918 33554432000 4194304 4196468 140725895976672 140187696994928 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12037] ppid=12020 vsize=28768336 memory=1056 CPUtime=3.17 cores=0-7
/proc/12022/task/12037/stat : 12037 (java) S 12020 12020 3200 0 -1 1077944384 28355 0 0 0 313 4 0 0 20 0 28 0 476666183 29458776064 297918 33554432000 4194304 4196468 140725895976672 140187695942128 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12038] ppid=12020 vsize=28768336 memory=6791534058613427641 CPUtime=2.78 cores=0-7
/proc/12022/task/12038/stat : 12038 (java) S 12020 12020 3200 0 -1 1077944384 14386 0 0 0 275 3 0 0 20 0 28 0 476666183 29458776064 297918 33554432000 4194304 4196468 140725895976672 140187694889840 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12039] ppid=12020 vsize=28768336 memory=2432 CPUtime=1.15 cores=0-7
/proc/12022/task/12039/stat : 12039 (java) S 12020 12020 3200 0 -1 1077944384 23406 0 0 0 110 5 0 0 20 0 28 0 476666183 29458776064 297918 33554432000 4194304 4196468 140725895976672 140187693837040 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12040] ppid=12020 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/12022/task/12040/stat : 12040 (java) S 12020 12020 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476666183 29458776064 297918 33554432000 4194304 4196468 140725895976672 140187692783968 140189573187285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12041] ppid=12020 vsize=28768336 memory=1191672 CPUtime=0.07 cores=0-7
/proc/12022/task/12041/stat : 12041 (java) S 12020 12020 3200 0 -1 1077944384 3140 0 0 0 7 0 0 0 20 0 28 0 476666184 29458776064 297918 33554432000 4194304 4196468 140725895976672 140187691731248 140189573188226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12189] ppid=12020 vsize=28768336 memory=1764 CPUtime=59.41 cores=0-7
/proc/12022/task/12189/stat : 12189 (java) R 12020 12020 3200 0 -1 4202560 1179 0 0 0 5941 0 0 0 20 0 28 0 476685380 29458776064 297918 33554432000 4194304 4196468 140725895976672 140187673283432 140189222422602 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12190] ppid=12020 vsize=28768336 memory=111628 CPUtime=59.35 cores=0-7
/proc/12022/task/12190/stat : 12190 (java) R 12020 12020 3200 0 -1 4202560 842 0 0 0 5935 0 0 0 20 0 28 0 476685380 29458776064 297918 33554432000 4194304 4196468 140725895976672 140187680653224 140189214128584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12191] ppid=12020 vsize=28768336 memory=800 CPUtime=59.89 cores=0-7
/proc/12022/task/12191/stat : 12191 (java) R 12020 12020 3200 0 -1 4202560 4644 0 0 0 5987 2 0 0 20 0 28 0 476685380 29458776064 297918 33554432000 4194304 4196468 140725895976672 140187678548024 140189219996601 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12192] ppid=12020 vsize=28768336 memory=1808 CPUtime=59.83 cores=0-7
/proc/12022/task/12192/stat : 12192 (java) R 12020 12020 3200 0 -1 4202560 4927 0 0 0 5976 7 0 0 20 0 28 0 476685380 29458776064 297918 33554432000 4194304 4196468 140725895976672 140187679603728 140189222274891 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12193] ppid=12020 vsize=28768336 memory=924 CPUtime=59.78 cores=0-7
/proc/12022/task/12193/stat : 12193 (java) R 12020 12020 3200 0 -1 4202560 967 0 0 0 5977 1 0 0 20 0 28 0 476685380 29458776064 297918 33554432000 4194304 4196468 140725895976672 140187677495728 140189214129406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12194] ppid=12020 vsize=28768336 memory=4840 CPUtime=59.85 cores=0-7
/proc/12022/task/12194/stat : 12194 (java) R 12020 12020 3200 0 -1 4202560 1372 0 0 0 5985 0 0 0 20 0 28 0 476685380 29458776064 297918 33554432000 4194304 4196468 140725895976672 140187676443176 140189220430599 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12195] ppid=12020 vsize=28768336 memory=4096 CPUtime=59.93 cores=0-7
/proc/12022/task/12195/stat : 12195 (java) R 12020 12020 3200 0 -1 4202560 858 0 0 0 5993 0 0 0 20 0 28 0 476685380 29458776064 297918 33554432000 4194304 4196468 140725895976672 140187674337160 140189220646219 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
[pid=12022/tid=12196] ppid=12020 vsize=28768336 memory=1412 CPUtime=59.9 cores=0-7
/proc/12022/task/12196/stat : 12196 (java) R 12020 12020 3200 0 -1 4202560 1858 0 0 0 5989 1 0 0 20 0 28 0 476685380 29458776064 297918 33554432000 4194304 4196468 140725895976672 140187675389736 140189221342680 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34541568 140725895979996 140725895980171 140725895980171 140725895983055 0
Current children cumulated CPU time: 2000.36 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 1193128 KiB

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

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

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

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

Child status: 143
Real time (s): 252.095
CPU time (s): 2001
CPU user time (s): 1999.38
CPU system time (s): 1.61509
CPU usage (%): 793.749
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 1193192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1999.38
system time used= 1.61509
maximum resident set size= 1192184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200916
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14635
involuntary context switches= 24306


# summary of solver processes directly reported to runsolver:
#   pid: 12020,12022
#   total CPU time (s): 2001
#   total CPU user time (s): 1999.38
#   total CPU system time (s): 1.61509

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.8866 second user time and 2.17498 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-20 20:30:37
IDJOB=4405067
IDBENCH=127005
IDSOLVER=2866
FILE ID=node149/4405067-1569004275
RUNJOBID= node149-1568994522-3227
PBS_JOBID= 21704727
Free space on /var/tmp= 13484 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-033.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405067-1569004275/watcher-4405067-1569004275 -o /var/tmp/evaluation-result-4405067-1569004275/solver-4405067-1569004275 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 409914702 HOME/instance-4405067-1569004275.xml

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

MD5SUM BENCH= 0094b37350883aa25196a680c59db77a
RANDOM SEED=409914702

node149.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.81
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.81
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.81
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.81
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:        11798848 kB
MemAvailable:   31814100 kB
Buffers:          165784 kB
Cached:         19741568 kB
SwapCached:        41664 kB
Active:          9628540 kB
Inactive:       10321676 kB
Active(anon):       3484 kB
Inactive(anon):    83688 kB
Active(file):    9625056 kB
Inactive(file): 10237988 kB
Unevictable:      110220 kB
Mlocked:          110220 kB
SwapTotal:      67108860 kB
SwapFree:       66956720 kB
Dirty:             26364 kB
Writeback:             0 kB
AnonPages:        112952 kB
Mapped:            51884 kB
Shmem:             35688 kB
Slab:             610696 kB
SReclaimable:     580668 kB
SUnreclaim:        30028 kB
KernelStack:        3376 kB
PageTables:         5116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     507192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /var/tmp at the end= 13456 MiB
End job on node149 at 2019-09-20 20:34:49