Trace number 4271602

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-09)SAT (TO)104 2002.34 252.10899

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 benchmark64
Best CPU time to get the best result obtained on this benchmark1921.04
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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271602-1502643382.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4271602-1502643382.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
3.42/1.13	c solve instance...
3.91/1.28	o 11440 
4.62/1.31	o 316 
5.75/1.52	o 312 
7.19/1.77	o 276 
7.19/1.78	o 264 
8.50/1.98	o 248 
14.63/2.79	o 240 
20.08/3.47	o 228 
20.77/3.55	o 212 
36.52/5.58	o 156 
106.38/14.39	o 144 
185.33/24.25	o 136 
203.45/26.52	o 132 
428.84/54.81	o 112 
1570.30/197.95	o 108 
1603.69/202.18	o 104 
2001.63/252.08	s SATISFIABLE
2001.63/252.08	v <instantiation>
2001.63/252.08	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>
2001.63/252.08	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 4 1 2 1 0 -3 2 -3 0 3 4 -1 -2 1 2 -3 0 -1 0 -1 2 1 -2 1 0 -1 0 1 0 -1 0 1 16 1 4 1 0 9 4 9 0 9 16 1 4 1 4 9 0 1 0 1 4 1 4 1 0 1 0 1 0 1 0 1 </values>
2001.63/252.08	v </instantiation>
2001.63/252.08	c Unexpected resolution interruption!

Verifier Data

OK	104

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271602-1502643382/watcher-4271602-1502643382 -o /tmp/evaluation-result-4271602-1502643382/solver-4271602-1502643382 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502636672-7612 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1842508587 HOME/instance-4271602-1502643382.xml 

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

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

solver pid=22512, runsolver pid=22509

[startup+0.10016 s]*
/proc/loadavg: 1.10 3.30 5.08 2/199 22533
/proc/meminfo: memFree=31683792/32770624 swapFree=67108860/67108860
[pid=22512] ppid=22509 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/22512/stat : 22512 (xcsp3-exec) S 22509 22512 7585 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97425974 9740288 345 33554432000 4194304 5098028 140729927081824 140729927079928 139664262554236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28225536 140729927083114 140729927083324 140729927083324 140729927086059 0
/proc/22512/statm: 2378 345 289 221 0 87 0
[pid=22514] ppid=22512 vsize=25999808 memory=26496 CPUtime=0.11 cores=0-7
/proc/22514/stat : 22514 (java) S 22512 22512 7585 0 -1 1077944320 5571 0 0 0 10 1 0 0 20 0 20 0 97425974 26623803392 6624 33554432000 4194304 4196468 140734941910544 140734941893088 140256009182967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
/proc/22514/statm: 6499952 6624 2821 1 0 6488269 0
[pid=22514/tid=22515] ppid=22512 vsize=25999808 memory=8040785092344192408 CPUtime=0.09 cores=0-7
/proc/22514/task/22515/stat : 22515 (java) R 22512 22512 7585 0 -1 4202560 3567 0 0 0 8 1 0 0 20 0 20 0 97425975 26623803392 6624 33554432000 4194304 4196468 140734941910544 140256013403776 140255993226597 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22516] ppid=22512 vsize=25999808 memory=732370317457452005 CPUtime=0 cores=0-7
/proc/22514/task/22516/stat : 22516 (java) S 22512 22512 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97425975 26623803392 6624 33554432000 4194304 4196468 140734941910544 140255916743568 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22517] ppid=22512 vsize=25999808 memory=140179119998592 CPUtime=0 cores=0-7
/proc/22514/task/22517/stat : 22517 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97425975 26623803392 6624 33554432000 4194304 4196468 140734941910544 140255566334736 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22518] ppid=22512 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22518/stat : 22518 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97425975 26623803392 6624 33554432000 4194304 4196468 140734941910544 140255565282448 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22519] ppid=22512 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22519/stat : 22519 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97425975 26623803392 6624 33554432000 4194304 4196468 140734941910544 140255564229648 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22520] ppid=22512 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22520/stat : 22520 (java) S 22512 22512 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97425975 26623803392 6624 33554432000 4194304 4196468 140734941910544 140255563176336 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22521] ppid=22512 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22514/task/22521/stat : 22521 (java) S 22512 22512 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97425975 26623803392 6624 33554432000 4194304 4196468 140734941910544 140255562123536 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22522] ppid=22512 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22522/stat : 22522 (java) S 22512 22512 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97425975 26623803392 6624 33554432000 4194304 4196468 140734941910544 140255561071248 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22523] ppid=22512 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22523/stat : 22523 (java) S 22512 22512 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97425975 26623803392 6624 33554432000 4194304 4196468 140734941910544 140255560018448 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22524] ppid=22512 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22524/stat : 22524 (java) S 22512 22512 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97425977 26623803392 6624 33554432000 4194304 4196468 140734941910544 140255517239920 140256009194114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22525] ppid=22512 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22525/stat : 22525 (java) S 22512 22512 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97425977 26623803392 6624 33554432000 4194304 4196468 140734941910544 140255516185888 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22526] ppid=22512 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22526/stat : 22526 (java) S 22512 22512 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97425977 26623803392 6624 33554432000 4194304 4196468 140734941910544 140255515133552 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22527] ppid=22512 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22527/stat : 22527 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97425980 26623803392 6624 33554432000 4194304 4196468 140734941910544 140255514081872 140256009201563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22528] ppid=22512 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22528/stat : 22528 (java) S 22512 22512 7585 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 97425980 26623803392 6624 33554432000 4194304 4196468 140734941910544 140255131887728 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22529] ppid=22512 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22529/stat : 22529 (java) S 22512 22512 7585 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 97425980 26623803392 6624 33554432000 4194304 4196468 140734941910544 140255130834928 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22530] ppid=22512 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22530/stat : 22530 (java) S 22512 22512 7585 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 20 0 97425980 26623803392 6624 33554432000 4194304 4196468 140734941910544 140255129782640 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22531] ppid=22512 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/22514/task/22531/stat : 22531 (java) S 22512 22512 7585 0 -1 1077944384 257 0 0 0 1 0 0 0 20 0 20 0 97425980 26623803392 6624 33554432000 4194304 4196468 140734941910544 140255128729840 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22532] ppid=22512 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22532/stat : 22532 (java) S 22512 22512 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97425980 26623803392 6624 33554432000 4194304 4196468 140734941910544 140255127677792 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22533] ppid=22512 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/22514/task/22533/stat : 22533 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97425980 26623803392 6624 33554432000 4194304 4196468 140734941910544 140255126625072 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27876 KiB

[startup+0.210319 s]*
/proc/loadavg: 1.10 3.30 5.08 3/199 22533
/proc/meminfo: memFree=31672396/32770624 swapFree=67108860/67108860
[pid=22512] ppid=22509 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/22512/stat : 22512 (xcsp3-exec) S 22509 22512 7585 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97425974 9740288 345 33554432000 4194304 5098028 140729927081824 140729927079928 139664262554236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28225536 140729927083114 140729927083324 140729927083324 140729927086059 0
/proc/22512/statm: 2378 345 289 221 0 87 0
[pid=22514] ppid=22512 vsize=26004064 memory=38916 CPUtime=0.33 cores=0-7
/proc/22514/stat : 22514 (java) S 22512 22512 7585 0 -1 1077944320 8301 0 0 0 31 2 0 0 20 0 20 0 97425974 26628161536 9729 33554432000 4194304 4196468 140734941910544 140734941893088 140256009182967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
/proc/22514/statm: 6501016 9729 3032 1 0 6488269 0
[pid=22514/tid=22515] ppid=22512 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/22514/task/22515/stat : 22515 (java) R 22512 22512 7585 0 -1 4202560 5419 0 0 0 18 1 0 0 20 0 20 0 97425975 26628161536 9729 33554432000 4194304 4196468 140734941910544 140256013400640 140255993263454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22516] ppid=22512 vsize=26004064 memory=280358128387832 CPUtime=0 cores=0-7
/proc/22514/task/22516/stat : 22516 (java) S 22512 22512 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97425975 26628161536 9729 33554432000 4194304 4196468 140734941910544 140255916743568 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22517] ppid=22512 vsize=26004064 memory=140179119998592 CPUtime=0 cores=0-7
/proc/22514/task/22517/stat : 22517 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97425975 26628161536 9729 33554432000 4194304 4196468 140734941910544 140255566334736 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22518] ppid=22512 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22518/stat : 22518 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97425975 26628161536 9729 33554432000 4194304 4196468 140734941910544 140255565282448 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22519] ppid=22512 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22519/stat : 22519 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97425975 26628161536 9729 33554432000 4194304 4196468 140734941910544 140255564229648 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22520] ppid=22512 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22520/stat : 22520 (java) S 22512 22512 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97425975 26628161536 9729 33554432000 4194304 4196468 140734941910544 140255563176336 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22521] ppid=22512 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22514/task/22521/stat : 22521 (java) S 22512 22512 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97425975 26628161536 9729 33554432000 4194304 4196468 140734941910544 140255562123536 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22522] ppid=22512 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22522/stat : 22522 (java) S 22512 22512 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97425975 26628161536 9729 33554432000 4194304 4196468 140734941910544 140255561071248 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22523] ppid=22512 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22523/stat : 22523 (java) S 22512 22512 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97425975 26628161536 9729 33554432000 4194304 4196468 140734941910544 140255560018448 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22524] ppid=22512 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22524/stat : 22524 (java) S 22512 22512 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97425977 26628161536 9729 33554432000 4194304 4196468 140734941910544 140255517239920 140256009194114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22525] ppid=22512 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22525/stat : 22525 (java) S 22512 22512 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97425977 26628161536 9729 33554432000 4194304 4196468 140734941910544 140255516185888 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22526] ppid=22512 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22526/stat : 22526 (java) S 22512 22512 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97425977 26628161536 9729 33554432000 4194304 4196468 140734941910544 140255515133552 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22527] ppid=22512 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22527/stat : 22527 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97425980 26628161536 9729 33554432000 4194304 4196468 140734941910544 140255514081872 140256009201563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22528] ppid=22512 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22514/task/22528/stat : 22528 (java) S 22512 22512 7585 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 20 0 97425980 26628161536 9729 33554432000 4194304 4196468 140734941910544 140255131887728 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22529] ppid=22512 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22514/task/22529/stat : 22529 (java) S 22512 22512 7585 0 -1 1077944384 278 0 0 0 1 0 0 0 20 0 20 0 97425980 26628161536 9729 33554432000 4194304 4196468 140734941910544 140255130834928 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22530] ppid=22512 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/22514/task/22530/stat : 22530 (java) S 22512 22512 7585 0 -1 1077944384 298 0 0 0 1 0 0 0 20 0 20 0 97425980 26628161536 9729 33554432000 4194304 4196468 140734941910544 140255129782640 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22531] ppid=22512 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/22514/task/22531/stat : 22531 (java) R 22512 22512 7585 0 -1 4202560 736 0 0 0 7 0 0 0 20 0 20 0 97425980 26628161536 9729 33554432000 4194304 4196468 140734941910544 140255128729840 140255987981417 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22532] ppid=22512 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22532/stat : 22532 (java) S 22512 22512 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97425980 26628161536 9729 33554432000 4194304 4196468 140734941910544 140255127677792 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22533] ppid=22512 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22514/task/22533/stat : 22533 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97425980 26628161536 9729 33554432000 4194304 4196468 140734941910544 140255126625072 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40296 KiB

[startup+0.31004 s]*
/proc/loadavg: 1.10 3.30 5.08 3/199 22533
/proc/meminfo: memFree=31668240/32770624 swapFree=67108860/67108860
[pid=22512] ppid=22509 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/22512/stat : 22512 (xcsp3-exec) S 22509 22512 7585 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97425974 9740288 345 33554432000 4194304 5098028 140729927081824 140729927079928 139664262554236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28225536 140729927083114 140729927083324 140729927083324 140729927086059 0
/proc/22512/statm: 2378 345 289 221 0 87 0
[pid=22514] ppid=22512 vsize=26004064 memory=43544 CPUtime=0.5 cores=0-7
/proc/22514/stat : 22514 (java) S 22512 22512 7585 0 -1 1077944320 9123 0 0 0 47 3 0 0 20 0 20 0 97425974 26628161536 10886 33554432000 4194304 4196468 140734941910544 140734941893088 140256009182967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
/proc/22514/statm: 6501016 10886 3097 1 0 6488269 0
[pid=22514/tid=22515] ppid=22512 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/22514/task/22515/stat : 22515 (java) R 22512 22512 7585 0 -1 4202560 6083 0 0 0 27 2 0 0 20 0 20 0 97425975 26628161536 10886 33554432000 4194304 4196468 140734941910544 140256013422112 140255596412172 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22516] ppid=22512 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22516/stat : 22516 (java) S 22512 22512 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97425975 26628161536 10886 33554432000 4194304 4196468 140734941910544 140255916743568 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22517] ppid=22512 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22517/stat : 22517 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97425975 26628161536 10886 33554432000 4194304 4196468 140734941910544 140255566334736 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22518] ppid=22512 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22518/stat : 22518 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97425975 26628161536 10886 33554432000 4194304 4196468 140734941910544 140255565282448 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22519] ppid=22512 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22519/stat : 22519 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97425975 26628161536 10886 33554432000 4194304 4196468 140734941910544 140255564229648 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22520] ppid=22512 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/22514/task/22520/stat : 22520 (java) S 22512 22512 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97425975 26628161536 10886 33554432000 4194304 4196468 140734941910544 140255563176336 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22521] ppid=22512 vsize=26004064 memory=140179008484271 CPUtime=0 cores=0-7
/proc/22514/task/22521/stat : 22521 (java) S 22512 22512 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97425975 26628161536 10886 33554432000 4194304 4196468 140734941910544 140255562123536 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22522] ppid=22512 vsize=26004064 memory=140179008486576 CPUtime=0 cores=0-7
/proc/22514/task/22522/stat : 22522 (java) S 22512 22512 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97425975 26628161536 10886 33554432000 4194304 4196468 140734941910544 140255561071248 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22523] ppid=22512 vsize=26004064 memory=140179008488880 CPUtime=0 cores=0-7
/proc/22514/task/22523/stat : 22523 (java) S 22512 22512 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97425975 26628161536 10886 33554432000 4194304 4196468 140734941910544 140255560018448 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22524] ppid=22512 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22524/stat : 22524 (java) S 22512 22512 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97425977 26628161536 10886 33554432000 4194304 4196468 140734941910544 140255517239920 140256009194114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22525] ppid=22512 vsize=26004064 memory=280358016984720 CPUtime=0 cores=0-7
/proc/22514/task/22525/stat : 22525 (java) S 22512 22512 7585 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97425977 26628161536 10886 33554432000 4194304 4196468 140734941910544 140255516185888 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22526] ppid=22512 vsize=26004064 memory=280358016991632 CPUtime=0 cores=0-7
/proc/22514/task/22526/stat : 22526 (java) S 22512 22512 7585 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97425977 26628161536 10886 33554432000 4194304 4196468 140734941910544 140255515133552 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22527] ppid=22512 vsize=26004064 memory=280358016932912 CPUtime=0 cores=0-7
/proc/22514/task/22527/stat : 22527 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97425980 26628161536 10886 33554432000 4194304 4196468 140734941910544 140255514081872 140256009201563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22528] ppid=22512 vsize=26004064 memory=280358017005456 CPUtime=0.02 cores=0-7
/proc/22514/task/22528/stat : 22528 (java) S 22512 22512 7585 0 -1 1077944384 294 0 0 0 2 0 0 0 20 0 20 0 97425980 26628161536 10886 33554432000 4194304 4196468 140734941910544 140255131887728 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22529] ppid=22512 vsize=26004064 memory=280358017012368 CPUtime=0.02 cores=0-7
/proc/22514/task/22529/stat : 22529 (java) S 22512 22512 7585 0 -1 1077944384 293 0 0 0 2 0 0 0 20 0 20 0 97425980 26628161536 10886 33554432000 4194304 4196468 140734941910544 140255130834928 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22530] ppid=22512 vsize=26004064 memory=280358017010064 CPUtime=0.01 cores=0-7
/proc/22514/task/22530/stat : 22530 (java) S 22512 22512 7585 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 20 0 97425980 26628161536 10886 33554432000 4194304 4196468 140734941910544 140255129782640 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22531] ppid=22512 vsize=26004064 memory=280358017026224 CPUtime=0.12 cores=0-7
/proc/22514/task/22531/stat : 22531 (java) R 22512 22512 7585 0 -1 4202560 849 0 0 0 12 0 0 0 20 0 20 0 97425980 26628161536 10886 33554432000 4194304 4196468 140734941910544 140255128728240 140255988167640 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22532] ppid=22512 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/22514/task/22532/stat : 22532 (java) S 22512 22512 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97425980 26628161536 10886 33554432000 4194304 4196468 140734941910544 140255127677792 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22533] ppid=22512 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/22514/task/22533/stat : 22533 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97425980 26628161536 10886 33554432000 4194304 4196468 140734941910544 140255126625072 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44924 KiB

[startup+0.701054 s]
/proc/loadavg: 1.10 3.30 5.08 3/199 22533
/proc/meminfo: memFree=31653412/32770624 swapFree=67108860/67108860
[pid=22512] ppid=22509 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/22512/stat : 22512 (xcsp3-exec) S 22509 22512 7585 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97425974 9740288 345 33554432000 4194304 5098028 140729927081824 140729927079928 139664262554236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28225536 140729927083114 140729927083324 140729927083324 140729927086059 0
/proc/22512/statm: 2378 345 289 221 0 87 0
[pid=22514] ppid=22512 vsize=26006188 memory=88536 CPUtime=1.62 cores=0-7
/proc/22514/stat : 22514 (java) S 22512 22512 7585 0 -1 1077944320 12795 0 0 0 157 5 0 0 20 0 20 0 97425974 26630336512 22134 33554432000 4194304 4196468 140734941910544 140734941893088 140256009182967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
/proc/22514/statm: 6501547 22134 3207 1 0 6488781 0
[pid=22514/tid=22515] ppid=22512 vsize=26006188 memory=280358017321088 CPUtime=0.66 cores=0-7
/proc/22514/task/22515/stat : 22515 (java) R 22512 22512 7585 0 -1 4202560 6958 0 0 0 64 2 0 0 20 0 20 0 97425975 26630336512 22134 33554432000 4194304 4196468 140734941910544 140256013413328 140255601168459 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22516] ppid=22512 vsize=26006188 memory=5788 CPUtime=0 cores=0-7
/proc/22514/task/22516/stat : 22516 (java) S 22512 22512 7585 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97425975 26630336512 22134 33554432000 4194304 4196468 140734941910544 140255916743568 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22517] ppid=22512 vsize=26006188 memory=1228 CPUtime=0 cores=0-7
/proc/22514/task/22517/stat : 22517 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97425975 26630336512 22134 33554432000 4194304 4196468 140734941910544 140255566334736 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22518] ppid=22512 vsize=26006188 memory=796 CPUtime=0 cores=0-7
/proc/22514/task/22518/stat : 22518 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97425975 26630336512 22134 33554432000 4194304 4196468 140734941910544 140255565282448 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0

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

[pid=22514/tid=22653] ppid=22512 vsize=26540748 memory=1380 CPUtime=106.97 cores=0-7
/proc/22514/task/22653/stat : 22653 (java) R 22512 22512 7585 0 -1 4202560 4250 0 0 0 10690 7 0 0 20 0 28 0 97431455 27177725952 173068 33554432000 4194304 4196468 140734941910544 140255113847096 140255604635768 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
Current children cumulated CPU time: 1286.29 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 693652 KiB

[startup+222.301 s]
/proc/loadavg: 7.98 5.81 5.71 9/207 22669
/proc/meminfo: memFree=31018056/32770624 swapFree=67108860/67108860
[pid=22512] ppid=22509 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/22512/stat : 22512 (xcsp3-exec) S 22509 22512 7585 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97425974 9740288 345 33554432000 4194304 5098028 140729927081824 140729927079928 139664262554236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28225536 140729927083114 140729927083324 140729927083324 140729927086059 0
/proc/22512/statm: 2378 345 289 221 0 87 0
[pid=22514] ppid=22512 vsize=26540748 memory=692616 CPUtime=1764.63 cores=0-7
/proc/22514/stat : 22514 (java) S 22512 22512 7585 0 -1 1077944320 139189 0 0 0 176355 108 0 0 20 0 28 0 97425974 27177725952 173154 33554432000 4194304 4196468 140734941910544 140734941893088 140256009182967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
/proc/22514/statm: 6635187 173154 3289 1 0 6622421 0
[pid=22514/tid=22515] ppid=22512 vsize=26540748 memory=1380 CPUtime=1.12 cores=0-7
/proc/22514/task/22515/stat : 22515 (java) S 22512 22512 7585 0 -1 1077944384 8223 0 0 0 108 4 0 0 20 0 28 0 97425975 27177725952 173154 33554432000 4194304 4196468 140734941910544 140256013423744 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22516] ppid=22512 vsize=26540748 memory=693680 CPUtime=0.11 cores=0-7
/proc/22514/task/22516/stat : 22516 (java) S 22512 22512 7585 0 -1 1077944384 899 0 0 0 7 4 0 0 20 0 28 0 97425975 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255916743568 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22517] ppid=22512 vsize=26540748 memory=0 CPUtime=0.1 cores=0-7
/proc/22514/task/22517/stat : 22517 (java) S 22512 22512 7585 0 -1 1077944384 867 0 0 0 7 3 0 0 20 0 28 0 97425975 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255566334736 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22518] ppid=22512 vsize=26540748 memory=693680 CPUtime=0.11 cores=0-7
/proc/22514/task/22518/stat : 22518 (java) S 22512 22512 7585 0 -1 1077944384 3769 0 0 0 7 4 0 0 20 0 28 0 97425975 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255565282448 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22519] ppid=22512 vsize=26540748 memory=4132 CPUtime=0.12 cores=0-7
/proc/22514/task/22519/stat : 22519 (java) S 22512 22512 7585 0 -1 1077944384 680 0 0 0 8 4 0 0 20 0 28 0 97425975 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255564229648 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22520] ppid=22512 vsize=26540748 memory=280358019322304 CPUtime=0.13 cores=0-7
/proc/22514/task/22520/stat : 22520 (java) S 22512 22512 7585 0 -1 1077944384 743 0 0 0 8 5 0 0 20 0 28 0 97425975 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255563176336 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22521] ppid=22512 vsize=26540748 memory=4481 CPUtime=0.13 cores=0-7
/proc/22514/task/22521/stat : 22521 (java) S 22512 22512 7585 0 -1 1077944384 2306 0 0 0 9 4 0 0 20 0 28 0 97425975 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255562123536 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22522] ppid=22512 vsize=26540748 memory=1380 CPUtime=0.12 cores=0-7
/proc/22514/task/22522/stat : 22522 (java) S 22512 22512 7585 0 -1 1077944384 1044 0 0 0 8 4 0 0 20 0 28 0 97425975 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255561071248 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22523] ppid=22512 vsize=26540748 memory=4132 CPUtime=0.14 cores=0-7
/proc/22514/task/22523/stat : 22523 (java) S 22512 22512 7585 0 -1 1077944384 1139 0 0 0 9 5 0 0 20 0 28 0 97425975 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255560018448 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22524] ppid=22512 vsize=26540748 memory=6791534058613427641 CPUtime=0.05 cores=0-7
/proc/22514/task/22524/stat : 22524 (java) S 22512 22512 7585 0 -1 1077944384 4484 0 0 0 4 1 0 0 20 0 28 0 97425977 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255517239920 140256009194114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22525] ppid=22512 vsize=26540748 memory=4040 CPUtime=0 cores=0-7
/proc/22514/task/22525/stat : 22525 (java) S 22512 22512 7585 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 97425977 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255516185952 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22526] ppid=22512 vsize=26540748 memory=1380 CPUtime=0 cores=0-7
/proc/22514/task/22526/stat : 22526 (java) S 22512 22512 7585 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 97425977 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255515133568 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22527] ppid=22512 vsize=26540748 memory=1380 CPUtime=0 cores=0-7
/proc/22514/task/22527/stat : 22527 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97425980 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255514081872 140256009201563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22528] ppid=22512 vsize=26540748 memory=1572 CPUtime=2.57 cores=0-7
/proc/22514/task/22528/stat : 22528 (java) S 22512 22512 7585 0 -1 1077944384 16686 0 0 0 252 5 0 0 20 0 28 0 97425980 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255131887728 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22529] ppid=22512 vsize=26540748 memory=2200 CPUtime=3.06 cores=0-7
/proc/22514/task/22529/stat : 22529 (java) S 22512 22512 7585 0 -1 1077944384 16952 0 0 0 302 4 0 0 20 0 28 0 97425980 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255130834928 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22530] ppid=22512 vsize=26540748 memory=691164 CPUtime=3.14 cores=0-7
/proc/22514/task/22530/stat : 22530 (java) S 22512 22512 7585 0 -1 1077944384 16306 0 0 0 311 3 0 0 20 0 28 0 97425980 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255129782640 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22531] ppid=22512 vsize=26540748 memory=1380 CPUtime=0.99 cores=0-7
/proc/22514/task/22531/stat : 22531 (java) S 22512 22512 7585 0 -1 1077944384 12416 0 0 0 97 2 0 0 20 0 28 0 97425980 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255128729840 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22532] ppid=22512 vsize=26540748 memory=4132 CPUtime=0 cores=0-7
/proc/22514/task/22532/stat : 22532 (java) S 22512 22512 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97425980 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255127677792 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22533] ppid=22512 vsize=26540748 memory=28344 CPUtime=0.07 cores=0-7
/proc/22514/task/22533/stat : 22533 (java) S 22512 22512 7585 0 -1 1077944384 3815 0 0 0 0 7 0 0 20 0 28 0 97425980 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255126625072 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22662] ppid=22512 vsize=26540748 memory=2332 CPUtime=20.1 cores=0-7
/proc/22514/task/22662/stat : 22662 (java) R 22512 22512 7585 0 -1 4202560 336 0 0 0 2010 0 0 0 20 0 28 0 97446192 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255112793704 140255605177031 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22663] ppid=22512 vsize=26540748 memory=1292 CPUtime=19.7 cores=0-7
/proc/22514/task/22663/stat : 22663 (java) R 22512 22512 7585 0 -1 4202560 502 0 0 0 1970 0 0 0 20 0 28 0 97446192 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255119110632 140255607910168 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22664] ppid=22512 vsize=26540748 memory=1380 CPUtime=20.09 cores=0-7
/proc/22514/task/22664/stat : 22664 (java) R 22512 22512 7585 0 -1 4202560 1448 0 0 0 2009 0 0 0 20 0 28 0 97446192 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255114902016 140255604635753 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22665] ppid=22512 vsize=26540748 memory=1380 CPUtime=20.07 cores=0-7
/proc/22514/task/22665/stat : 22665 (java) R 22512 22512 7585 0 -1 4202560 606 0 0 0 2007 0 0 0 20 0 28 0 97446192 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255118057216 140255605348739 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22666] ppid=22512 vsize=26540748 memory=692616 CPUtime=20.09 cores=0-7
/proc/22514/task/22666/stat : 22666 (java) R 22512 22512 7585 0 -1 4202560 574 0 0 0 2009 0 0 0 20 0 28 0 97446192 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255115951848 140255604636626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22667] ppid=22512 vsize=26540748 memory=1380 CPUtime=20.1 cores=0-7
/proc/22514/task/22667/stat : 22667 (java) R 22512 22512 7585 0 -1 4202560 542 0 0 0 2010 0 0 0 20 0 28 0 97446192 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255113847320 140255604646668 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22668] ppid=22512 vsize=26540748 memory=692616 CPUtime=20.1 cores=0-7
/proc/22514/task/22668/stat : 22668 (java) R 22512 22512 7585 0 -1 4202560 339 0 0 0 2010 0 0 0 20 0 28 0 97446192 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255117005160 140255607668465 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22669] ppid=22512 vsize=26540748 memory=280358018637440 CPUtime=20.08 cores=0-7
/proc/22514/task/22669/stat : 22669 (java) R 22512 22512 7585 0 -1 4202560 736 0 0 0 2008 0 0 0 20 0 28 0 97446193 27177725952 173154 33554432000 4194304 4196468 140734941910544 140255111741528 140255604955392 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
Current children cumulated CPU time: 1764.63 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 693996 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.18 6.06 5.80 9/207 22669
/proc/meminfo: memFree=31015444/32770624 swapFree=67108860/67108860
[pid=22512] ppid=22509 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/22512/stat : 22512 (xcsp3-exec) S 22509 22512 7585 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 97425974 9740288 345 33554432000 4194304 5098028 140729927081824 140729927079928 139664262554236 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28225536 140729927083114 140729927083324 140729927083324 140729927086059 0
/proc/22512/statm: 2378 345 289 221 0 87 0
[pid=22514] ppid=22512 vsize=26540748 memory=695100 CPUtime=2001.63 cores=0-7
/proc/22514/stat : 22514 (java) S 22512 22512 7585 0 -1 1077944320 148130 0 0 0 200048 115 0 0 20 0 28 0 97425974 27177725952 173775 33554432000 4194304 4196468 140734941910544 140734941893088 140256009182967 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
/proc/22514/statm: 6635187 173775 3289 1 0 6622421 0
[pid=22514/tid=22515] ppid=22512 vsize=26540748 memory=6791534058613427641 CPUtime=1.12 cores=0-7
/proc/22514/task/22515/stat : 22515 (java) S 22512 22512 7585 0 -1 1077944384 8223 0 0 0 108 4 0 0 20 0 28 0 97425975 27177725952 173775 33554432000 4194304 4196468 140734941910544 140256013423744 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22516] ppid=22512 vsize=26540748 memory=-7003737579269690708 CPUtime=0.13 cores=0-7
/proc/22514/task/22516/stat : 22516 (java) S 22512 22512 7585 0 -1 1077944384 961 0 0 0 8 5 0 0 20 0 28 0 97425975 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255916743568 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22517] ppid=22512 vsize=26540748 memory=695140 CPUtime=0.11 cores=0-7
/proc/22514/task/22517/stat : 22517 (java) S 22512 22512 7585 0 -1 1077944384 954 0 0 0 7 4 0 0 20 0 28 0 97425975 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255566334736 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22518] ppid=22512 vsize=26540748 memory=6940 CPUtime=0.12 cores=0-7
/proc/22514/task/22518/stat : 22518 (java) S 22512 22512 7585 0 -1 1077944384 4163 0 0 0 8 4 0 0 20 0 28 0 97425975 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255565282448 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22519] ppid=22512 vsize=26540748 memory=4100 CPUtime=0.13 cores=0-7
/proc/22514/task/22519/stat : 22519 (java) S 22512 22512 7585 0 -1 1077944384 745 0 0 0 9 4 0 0 20 0 28 0 97425975 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255564229648 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22520] ppid=22512 vsize=26540748 memory=1156 CPUtime=0.14 cores=0-7
/proc/22514/task/22520/stat : 22520 (java) S 22512 22512 7585 0 -1 1077944384 780 0 0 0 9 5 0 0 20 0 28 0 97425975 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255563176336 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22521] ppid=22512 vsize=26540748 memory=1380 CPUtime=0.13 cores=0-7
/proc/22514/task/22521/stat : 22521 (java) S 22512 22512 7585 0 -1 1077944384 2387 0 0 0 9 4 0 0 20 0 28 0 97425975 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255562123536 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22522] ppid=22512 vsize=26540748 memory=695140 CPUtime=0.12 cores=0-7
/proc/22514/task/22522/stat : 22522 (java) S 22512 22512 7585 0 -1 1077944384 1413 0 0 0 8 4 0 0 20 0 28 0 97425975 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255561071248 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22523] ppid=22512 vsize=26540748 memory=1380 CPUtime=0.14 cores=0-7
/proc/22514/task/22523/stat : 22523 (java) S 22512 22512 7585 0 -1 1077944384 1234 0 0 0 9 5 0 0 20 0 28 0 97425975 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255560018448 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22524] ppid=22512 vsize=26540748 memory=1004 CPUtime=0.06 cores=0-7
/proc/22514/task/22524/stat : 22524 (java) S 22512 22512 7585 0 -1 1077944384 5074 0 0 0 5 1 0 0 20 0 28 0 97425977 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255517239920 140256009194114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22525] ppid=22512 vsize=26540748 memory=1436 CPUtime=0 cores=0-7
/proc/22514/task/22525/stat : 22525 (java) S 22512 22512 7585 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 97425977 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255516185952 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22526] ppid=22512 vsize=26540748 memory=1200 CPUtime=0 cores=0-7
/proc/22514/task/22526/stat : 22526 (java) S 22512 22512 7585 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 28 0 97425977 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255515133568 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22527] ppid=22512 vsize=26540748 memory=15872 CPUtime=0 cores=0-7
/proc/22514/task/22527/stat : 22527 (java) S 22512 22512 7585 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97425980 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255514081872 140256009201563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22528] ppid=22512 vsize=26540748 memory=4040 CPUtime=2.57 cores=0-7
/proc/22514/task/22528/stat : 22528 (java) S 22512 22512 7585 0 -1 1077944384 16691 0 0 0 252 5 0 0 20 0 28 0 97425980 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255131887728 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22529] ppid=22512 vsize=26540748 memory=16736 CPUtime=3.11 cores=0-7
/proc/22514/task/22529/stat : 22529 (java) S 22512 22512 7585 0 -1 1077944384 18699 0 0 0 307 4 0 0 20 0 28 0 97425980 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255130834928 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22530] ppid=22512 vsize=26540748 memory=1728 CPUtime=3.16 cores=0-7
/proc/22514/task/22530/stat : 22530 (java) S 22512 22512 7585 0 -1 1077944384 17446 0 0 0 313 3 0 0 20 0 28 0 97425980 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255129782640 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22531] ppid=22512 vsize=26540748 memory=5788 CPUtime=0.99 cores=0-7
/proc/22514/task/22531/stat : 22531 (java) S 22512 22512 7585 0 -1 1077944384 13247 0 0 0 97 2 0 0 20 0 28 0 97425980 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255128729840 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22532] ppid=22512 vsize=26540748 memory=1228 CPUtime=0 cores=0-7
/proc/22514/task/22532/stat : 22532 (java) S 22512 22512 7585 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97425980 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255127677792 140256009193173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22533] ppid=22512 vsize=26540748 memory=796 CPUtime=0.08 cores=0-7
/proc/22514/task/22533/stat : 22533 (java) S 22512 22512 7585 0 -1 1077944384 3927 0 0 0 0 8 0 0 20 0 28 0 97425980 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255126625072 140256009194114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22662] ppid=22512 vsize=26540748 memory=288230574492221466 CPUtime=49.78 cores=0-7
/proc/22514/task/22662/stat : 22662 (java) R 22512 22512 7585 0 -1 4202560 549 0 0 0 4978 0 0 0 20 0 28 0 97446192 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255112794248 140255605347967 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22663] ppid=22512 vsize=26540748 memory=288230621803970871 CPUtime=48.94 cores=0-7
/proc/22514/task/22663/stat : 22663 (java) R 22512 22512 7585 0 -1 4202560 630 0 0 0 4894 0 0 0 20 0 28 0 97446192 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255119109952 140255604275085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22664] ppid=22512 vsize=26540748 memory=15540704344541588 CPUtime=49.78 cores=0-7
/proc/22514/task/22664/stat : 22664 (java) R 22512 22512 7585 0 -1 4202560 2349 0 0 0 4977 1 0 0 20 0 28 0 97446192 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255114901824 140255608265532 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22665] ppid=22512 vsize=26540748 memory=6504 CPUtime=49.74 cores=0-7
/proc/22514/task/22665/stat : 22665 (java) R 22512 22512 7585 0 -1 4202560 949 0 0 0 4974 0 0 0 20 0 28 0 97446192 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255118057352 140255604646668 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22666] ppid=22512 vsize=26540748 memory=836 CPUtime=49.62 cores=0-7
/proc/22514/task/22666/stat : 22666 (java) R 22512 22512 7585 0 -1 4202560 1017 0 0 0 4962 0 0 0 20 0 28 0 97446192 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255115951800 140255603939554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22667] ppid=22512 vsize=26540748 memory=1696 CPUtime=49.78 cores=0-7
/proc/22514/task/22667/stat : 22667 (java) R 22512 22512 7585 0 -1 4202560 898 0 0 0 4978 0 0 0 20 0 28 0 97446192 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255113846712 140255607721480 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22668] ppid=22512 vsize=26540748 memory=920 CPUtime=49.74 cores=0-7
/proc/22514/task/22668/stat : 22668 (java) R 22512 22512 7585 0 -1 4202560 506 0 0 0 4974 0 0 0 20 0 28 0 97446192 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255117005240 140255605178882 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
[pid=22514/tid=22669] ppid=22512 vsize=26540748 memory=6940 CPUtime=49.77 cores=0-7
/proc/22514/task/22669/stat : 22669 (java) R 22512 22512 7585 0 -1 4202560 1511 0 0 0 4975 2 0 0 20 0 28 0 97446193 27177725952 173775 33554432000 4194304 4196468 140734941910544 140255111741432 140255600916288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33677312 140734941914264 140734941914440 140734941914440 140734941917135 0
Current children cumulated CPU time: 2001.63 s
Current children cumulated vsize: 26550260 KiB
Current children cumulated memory: 696480 KiB

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

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

[startup+252.109 s]
# the end of solver process 22514 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2001.16 s, system=1.17379 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.109
CPU time (s): 2002.34
CPU user time (s): 2001.16
CPU system time (s): 1.17379
CPU usage (%): 794.235
Max. virtual memory (cumulated for all children) (KiB): 26552428
Max. memory (cumulated for all children) (KiB): 696520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2001.16
system time used= 1.17379
maximum resident set size= 708376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150096
page faults= 0
swaps= 0
block input operations= 296
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13742
involuntary context switches= 21217


# summary of solver processes directly reported to runsolver:
#   pid: 22512,22514
#   total CPU time (s): 2002.34
#   total CPU user time (s): 2001.16
#   total CPU system time (s): 1.17379

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.3733 second user time and 2.69104 second system time

The end

Launcher Data

Begin job on node112 at 2017-08-13 18:42:03
IDJOB=4271602
IDBENCH=127005
IDSOLVER=2663
FILE ID=node112/4271602-1502643382
RUNJOBID= node112-1502636672-7612
PBS_JOBID= 20628326
Free space on /tmp= 61788 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-033.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-4271602-1502643382/watcher-4271602-1502643382 -o /tmp/evaluation-result-4271602-1502643382/solver-4271602-1502643382 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node112-1502636672-7612 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1842508587 HOME/instance-4271602-1502643382.xml

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

MD5SUM BENCH= 0094b37350883aa25196a680c59db77a
RANDOM SEED=1842508587

node112.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.24
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.24
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.24
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.24
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:        31700628 kB
MemAvailable:   31980644 kB
Buffers:          129688 kB
Cached:           431092 kB
SwapCached:            0 kB
Active:           456544 kB
Inactive:         158752 kB
Active(anon):       6044 kB
Inactive(anon):    76476 kB
Active(file):     450500 kB
Inactive(file):    82276 kB
Unevictable:        6276 kB
Mlocked:            6276 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7804 kB
Writeback:             0 kB
AnonPages:         60928 kB
Mapped:            43416 kB
Shmem:             25224 kB
Slab:             152072 kB
SReclaimable:     126148 kB
SUnreclaim:        25924 kB
KernelStack:        3184 kB
PageTables:         4600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     326952 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:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61780 MiB
End job on node112 at 2017-08-13 18:46:15