Trace number 4270908

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 NameAnswerCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)SAT 13.8045 4.15418

General information on the benchmark

NameDiamondFree/DiamondFree-m1-s1/
DiamondFree-027.xml
MD5SUMe1aef3a89997ee93f9865bcf164e430e
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.68207
Satisfiable
(Un)Satisfiability was proved
Number of variables757
Number of constraints18282
Number of domains4
Minimum domain size1
Maximum domain size56
Distribution of domain sizes[{"size":1,"count":27},{"size":2,"count":702},{"size":8,"count":27},{"size":56,"count":1}]
Minimum variable degree1
Maximum variable degree304
Distribution of variable degrees[{"degree":1,"count":1},{"degree":2,"count":27},{"degree":3,"count":27},{"degree":4,"count":351},{"degree":304,"count":351}]
Minimum constraint arity2
Maximum constraint arity729
Distribution of constraint arities[{"arity":2,"count":702},{"arity":6,"count":17550},{"arity":27,"count":1},{"arity":28,"count":28},{"arity":729,"count":1}]
Number of extensional constraints0
Number of intensional constraints702
Distribution of constraint types[{"type":"intension","count":702},{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":17578}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270908-1502752607.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4270908-1502752607.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
9.50/3.44	c solve instance...
13.10/3.99	s SATISFIABLE
13.10/3.99	v <instantiation>
13.10/3.99	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] s </list>
13.10/3.99	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 15 15 15 15 15 15 15 15 15 15 15 12 12 12 12 12 12 12 12 12 12 12 12 12 12 12 360 </values>
13.10/3.99	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270908-1502752607/watcher-4270908-1502752607 -o /tmp/evaluation-result-4270908-1502752607/solver-4270908-1502752607 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502749227-5203 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 238811904 HOME/instance-4270908-1502752607.xml 

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

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

solver pid=5378, runsolver pid=5375

[startup+0.100156 s]*
/proc/loadavg: 7.91 8.11 8.18 3/202 5399
/proc/meminfo: memFree=28755992/32770624 swapFree=67108860/67108860
[pid=5378] ppid=5375 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5378/stat : 5378 (xcsp3-exec) S 5375 5378 5176 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108341750 9740288 346 33554432000 4194304 5098028 140723093858336 140723093856440 140174816211580 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11423744 140723093865573 140723093865783 140723093865783 140723093868523 0
/proc/5378/statm: 2378 346 289 221 0 87 0
[pid=5380] ppid=5378 vsize=25999808 memory=26276 CPUtime=0.11 cores=0-7
/proc/5380/stat : 5380 (java) S 5378 5378 5176 0 -1 1077944320 5504 0 0 0 11 0 0 0 20 0 20 0 108341751 26623803392 6569 33554432000 4194304 4196468 140726359529520 140726359512064 139933921423095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
/proc/5380/statm: 6499952 6569 2845 1 0 6488269 0
[pid=5380/tid=5381] ppid=5378 vsize=25999808 memory=4714593102544925591 CPUtime=0.09 cores=0-7
/proc/5380/task/5381/stat : 5381 (java) R 5378 5378 5176 0 -1 4202560 3512 0 0 0 9 0 0 0 20 0 20 0 108341751 26623803392 6634 33554432000 4194304 4196468 140726359529520 139933925655008 139933921445021 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5382] ppid=5378 vsize=25999808 memory=732369848123702245 CPUtime=0 cores=0-7
/proc/5380/task/5382/stat : 5382 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341752 26623803392 6634 33554432000 4194304 4196468 140726359529520 139933874043536 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5383] ppid=5378 vsize=25999808 memory=139709786248832 CPUtime=0 cores=0-7
/proc/5380/task/5383/stat : 5383 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341752 26623803392 6634 33554432000 4194304 4196468 140726359529520 139933872990736 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5384] ppid=5378 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5384/stat : 5384 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341752 26623803392 6634 33554432000 4194304 4196468 140726359529520 139933871937936 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5385] ppid=5378 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5385/stat : 5385 (java) S 5378 5378 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108341752 26623803392 6634 33554432000 4194304 4196468 140726359529520 139933870885136 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5386] ppid=5378 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5386/stat : 5386 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341752 26623803392 6634 33554432000 4194304 4196468 140726359529520 139933869833360 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5387] ppid=5378 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5380/task/5387/stat : 5387 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341752 26623803392 6634 33554432000 4194304 4196468 140726359529520 139933868780560 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5388] ppid=5378 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5388/stat : 5388 (java) S 5378 5378 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108341752 26623803392 6634 33554432000 4194304 4196468 140726359529520 139933867727760 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5389] ppid=5378 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5389/stat : 5389 (java) S 5378 5378 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108341752 26623803392 6634 33554432000 4194304 4196468 140726359529520 139933866674960 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5390] ppid=5378 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5390/stat : 5390 (java) S 5378 5378 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108341753 26623803392 6634 33554432000 4194304 4196468 140726359529520 139932596160880 139933921434242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5391] ppid=5378 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5391/stat : 5391 (java) S 5378 5378 5176 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108341754 26623803392 6634 33554432000 4194304 4196468 140726359529520 139932595106848 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5392] ppid=5378 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5392/stat : 5392 (java) S 5378 5378 5176 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108341754 26623803392 6634 33554432000 4194304 4196468 140726359529520 139932594054000 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5393] ppid=5378 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5393/stat : 5393 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341756 26623803392 6634 33554432000 4194304 4196468 140726359529520 139932593002320 139933921441691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5394] ppid=5378 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5394/stat : 5394 (java) S 5378 5378 5176 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 108341756 26623803392 6634 33554432000 4194304 4196468 140726359529520 139932591950704 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5395] ppid=5378 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5395/stat : 5395 (java) S 5378 5378 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108341756 26623803392 6634 33554432000 4194304 4196468 140726359529520 139932590897904 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5396] ppid=5378 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5396/stat : 5396 (java) S 5378 5378 5176 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 108341756 26623803392 6634 33554432000 4194304 4196468 140726359529520 139932589845104 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5397] ppid=5378 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/5380/task/5397/stat : 5397 (java) S 5378 5378 5176 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 20 0 108341756 26623803392 6634 33554432000 4194304 4196468 140726359529520 139932588792304 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5398] ppid=5378 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5398/stat : 5398 (java) S 5378 5378 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108341757 26623803392 6634 33554432000 4194304 4196468 140726359529520 139932587739744 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5399] ppid=5378 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5380/task/5399/stat : 5399 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341757 26623803392 6634 33554432000 4194304 4196468 140726359529520 139932586687024 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27660 KiB

[startup+0.210352 s]*
/proc/loadavg: 7.91 8.11 8.18 3/202 5399
/proc/meminfo: memFree=28745068/32770624 swapFree=67108860/67108860
[pid=5378] ppid=5375 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5378/stat : 5378 (xcsp3-exec) S 5375 5378 5176 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108341750 9740288 346 33554432000 4194304 5098028 140723093858336 140723093856440 140174816211580 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11423744 140723093865573 140723093865783 140723093865783 140723093868523 0
/proc/5378/statm: 2378 346 289 221 0 87 0
[pid=5380] ppid=5378 vsize=26004064 memory=38888 CPUtime=0.32 cores=0-7
/proc/5380/stat : 5380 (java) S 5378 5378 5176 0 -1 1077944320 8308 0 0 0 31 1 0 0 20 0 20 0 108341751 26628161536 9722 33554432000 4194304 4196468 140726359529520 140726359512064 139933921423095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
/proc/5380/statm: 6501016 9722 3068 1 0 6488269 0
[pid=5380/tid=5381] ppid=5378 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/5380/task/5381/stat : 5381 (java) R 5378 5378 5176 0 -1 4202560 5408 0 0 0 18 1 0 0 20 0 20 0 108341751 26628161536 9722 33554432000 4194304 4196468 140726359529520 139933925645136 139933921445021 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5382] ppid=5378 vsize=26004064 memory=732369848123702245 CPUtime=0 cores=0-7
/proc/5380/task/5382/stat : 5382 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341752 26628161536 9722 33554432000 4194304 4196468 140726359529520 139933874043536 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5383] ppid=5378 vsize=26004064 memory=139709786248832 CPUtime=0 cores=0-7
/proc/5380/task/5383/stat : 5383 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341752 26628161536 9722 33554432000 4194304 4196468 140726359529520 139933872990736 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5384] ppid=5378 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5384/stat : 5384 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341752 26628161536 9722 33554432000 4194304 4196468 140726359529520 139933871937936 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5385] ppid=5378 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5385/stat : 5385 (java) S 5378 5378 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108341752 26628161536 9722 33554432000 4194304 4196468 140726359529520 139933870885136 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5386] ppid=5378 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5386/stat : 5386 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341752 26628161536 9722 33554432000 4194304 4196468 140726359529520 139933869833360 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5387] ppid=5378 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5380/task/5387/stat : 5387 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341752 26628161536 9722 33554432000 4194304 4196468 140726359529520 139933868780560 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5388] ppid=5378 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5388/stat : 5388 (java) S 5378 5378 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108341752 26628161536 9722 33554432000 4194304 4196468 140726359529520 139933867727760 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5389] ppid=5378 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5389/stat : 5389 (java) S 5378 5378 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108341752 26628161536 9722 33554432000 4194304 4196468 140726359529520 139933866674960 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5390] ppid=5378 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5390/stat : 5390 (java) S 5378 5378 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108341753 26628161536 9722 33554432000 4194304 4196468 140726359529520 139932596160880 139933921434242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5391] ppid=5378 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5391/stat : 5391 (java) S 5378 5378 5176 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108341754 26628161536 9722 33554432000 4194304 4196468 140726359529520 139932595106848 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5392] ppid=5378 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5392/stat : 5392 (java) S 5378 5378 5176 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108341754 26628161536 9722 33554432000 4194304 4196468 140726359529520 139932594054000 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5393] ppid=5378 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5393/stat : 5393 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341756 26628161536 9722 33554432000 4194304 4196468 140726359529520 139932593002320 139933921441691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5394] ppid=5378 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/5380/task/5394/stat : 5394 (java) S 5378 5378 5176 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 20 0 108341756 26628161536 9722 33554432000 4194304 4196468 140726359529520 139932591950704 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5395] ppid=5378 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/5380/task/5395/stat : 5395 (java) S 5378 5378 5176 0 -1 1077944384 159 0 0 0 2 0 0 0 20 0 20 0 108341756 26628161536 9722 33554432000 4194304 4196468 140726359529520 139932590897904 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5396] ppid=5378 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/5380/task/5396/stat : 5396 (java) S 5378 5378 5176 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 20 0 108341756 26628161536 9722 33554432000 4194304 4196468 140726359529520 139932589845104 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5397] ppid=5378 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/5380/task/5397/stat : 5397 (java) R 5378 5378 5176 0 -1 4202560 750 0 0 0 7 0 0 0 20 0 20 0 108341756 26628161536 9722 33554432000 4194304 4196468 140726359529520 139932588792304 139933899912736 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5398] ppid=5378 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5398/stat : 5398 (java) S 5378 5378 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108341757 26628161536 9722 33554432000 4194304 4196468 140726359529520 139932587739744 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5399] ppid=5378 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5380/task/5399/stat : 5399 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341757 26628161536 9722 33554432000 4194304 4196468 140726359529520 139932586687024 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40272 KiB

[startup+0.309699 s]*
/proc/loadavg: 7.91 8.11 8.18 3/202 5399
/proc/meminfo: memFree=28740904/32770624 swapFree=67108860/67108860
[pid=5378] ppid=5375 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5378/stat : 5378 (xcsp3-exec) S 5375 5378 5176 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108341750 9740288 346 33554432000 4194304 5098028 140723093858336 140723093856440 140174816211580 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11423744 140723093865573 140723093865783 140723093865783 140723093868523 0
/proc/5378/statm: 2378 346 289 221 0 87 0
[pid=5380] ppid=5378 vsize=26004064 memory=46364 CPUtime=0.51 cores=0-7
/proc/5380/stat : 5380 (java) S 5378 5378 5176 0 -1 1077944320 9280 0 0 0 48 3 0 0 20 0 20 0 108341751 26628161536 11591 33554432000 4194304 4196468 140726359529520 140726359512064 139933921423095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
/proc/5380/statm: 6501016 11591 3117 1 0 6488269 0
[pid=5380/tid=5381] ppid=5378 vsize=26004064 memory=8112282956445269571 CPUtime=0.28 cores=0-7
/proc/5380/task/5381/stat : 5381 (java) R 5378 5378 5176 0 -1 4202560 6074 0 0 0 27 1 0 0 20 0 20 0 108341751 26628161536 11591 33554432000 4194304 4196468 140726359529520 139933925660912 139933921445021 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5382] ppid=5378 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5382/stat : 5382 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341752 26628161536 11591 33554432000 4194304 4196468 140726359529520 139933874043536 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5383] ppid=5378 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5383/stat : 5383 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341752 26628161536 11591 33554432000 4194304 4196468 140726359529520 139933872990736 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5384] ppid=5378 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5384/stat : 5384 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341752 26628161536 11591 33554432000 4194304 4196468 140726359529520 139933871937936 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5385] ppid=5378 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5385/stat : 5385 (java) S 5378 5378 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108341752 26628161536 11591 33554432000 4194304 4196468 140726359529520 139933870885136 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5386] ppid=5378 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/5380/task/5386/stat : 5386 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341752 26628161536 11591 33554432000 4194304 4196468 140726359529520 139933869833360 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5387] ppid=5378 vsize=26004064 memory=139709649089455 CPUtime=0 cores=0-7
/proc/5380/task/5387/stat : 5387 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341752 26628161536 11591 33554432000 4194304 4196468 140726359529520 139933868780560 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5388] ppid=5378 vsize=26004064 memory=139709649091760 CPUtime=0 cores=0-7
/proc/5380/task/5388/stat : 5388 (java) S 5378 5378 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108341752 26628161536 11591 33554432000 4194304 4196468 140726359529520 139933867727760 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5389] ppid=5378 vsize=26004064 memory=139709649094064 CPUtime=0 cores=0-7
/proc/5380/task/5389/stat : 5389 (java) S 5378 5378 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108341752 26628161536 11591 33554432000 4194304 4196468 140726359529520 139933866674960 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5390] ppid=5378 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5390/stat : 5390 (java) S 5378 5378 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108341753 26628161536 11591 33554432000 4194304 4196468 140726359529520 139932596160880 139933921434242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5391] ppid=5378 vsize=26004064 memory=279419298195088 CPUtime=0 cores=0-7
/proc/5380/task/5391/stat : 5391 (java) S 5378 5378 5176 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108341754 26628161536 11591 33554432000 4194304 4196468 140726359529520 139932595106848 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5392] ppid=5378 vsize=26004064 memory=279419298202000 CPUtime=0 cores=0-7
/proc/5380/task/5392/stat : 5392 (java) S 5378 5378 5176 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108341754 26628161536 11591 33554432000 4194304 4196468 140726359529520 139932594054000 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5393] ppid=5378 vsize=26004064 memory=279419298143280 CPUtime=0 cores=0-7
/proc/5380/task/5393/stat : 5393 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341756 26628161536 11591 33554432000 4194304 4196468 140726359529520 139932593002320 139933921441691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5394] ppid=5378 vsize=26004064 memory=279419298215824 CPUtime=0.01 cores=0-7
/proc/5380/task/5394/stat : 5394 (java) R 5378 5378 5176 0 -1 4202560 445 0 0 0 1 0 0 0 20 0 20 0 108341756 26628161536 11591 33554432000 4194304 4196468 140726359529520 139932591950704 139933905713148 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5395] ppid=5378 vsize=26004064 memory=279419298222736 CPUtime=0.03 cores=0-7
/proc/5380/task/5395/stat : 5395 (java) S 5378 5378 5176 0 -1 1077944384 204 0 0 0 3 0 0 0 20 0 20 0 108341756 26628161536 11591 33554432000 4194304 4196468 140726359529520 139932590897904 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5396] ppid=5378 vsize=26004064 memory=279419298220432 CPUtime=0.02 cores=0-7
/proc/5380/task/5396/stat : 5396 (java) S 5378 5378 5176 0 -1 1077944384 379 0 0 0 2 0 0 0 20 0 20 0 108341756 26628161536 11591 33554432000 4194304 4196468 140726359529520 139932589845104 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5397] ppid=5378 vsize=26004064 memory=279419298236592 CPUtime=0.12 cores=0-7
/proc/5380/task/5397/stat : 5397 (java) R 5378 5378 5176 0 -1 4202560 873 0 0 0 12 0 0 0 20 0 20 0 108341756 26628161536 11591 33554432000 4194304 4196468 140726359529520 139932588792304 139933913660222 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5398] ppid=5378 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5380/task/5398/stat : 5398 (java) S 5378 5378 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108341757 26628161536 11591 33554432000 4194304 4196468 140726359529520 139932587739744 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5399] ppid=5378 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5380/task/5399/stat : 5399 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341757 26628161536 11591 33554432000 4194304 4196468 140726359529520 139932586687024 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47748 KiB

[startup+0.700936 s]
/proc/loadavg: 7.91 8.11 8.18 3/202 5399
/proc/meminfo: memFree=28711024/32770624 swapFree=67108860/67108860
[pid=5378] ppid=5375 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5378/stat : 5378 (xcsp3-exec) S 5375 5378 5176 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108341750 9740288 346 33554432000 4194304 5098028 140723093858336 140723093856440 140174816211580 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11423744 140723093865573 140723093865783 140723093865783 140723093868523 0
/proc/5378/statm: 2378 346 289 221 0 87 0
[pid=5380] ppid=5378 vsize=26004140 memory=174488 CPUtime=2.07 cores=0-7
/proc/5380/stat : 5380 (java) S 5378 5378 5176 0 -1 1077944320 13178 0 0 0 201 6 0 0 20 0 20 0 108341751 26628239360 43622 33554432000 4194304 4196468 140726359529520 140726359512064 139933921423095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
/proc/5380/statm: 6501035 43622 3198 1 0 6488269 0
[pid=5380/tid=5381] ppid=5378 vsize=26004140 memory=279419298531520 CPUtime=0.67 cores=0-7
/proc/5380/task/5381/stat : 5381 (java) R 5378 5378 5176 0 -1 4202560 6405 0 0 0 63 4 0 0 20 0 20 0 108341751 26628239360 43622 33554432000 4194304 4196468 140726359529520 139933925656928 139933544783074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5382] ppid=5378 vsize=26004140 memory=12064 CPUtime=0 cores=0-7
/proc/5380/task/5382/stat : 5382 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341752 26628239360 43622 33554432000 4194304 4196468 140726359529520 139933874043536 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5383] ppid=5378 vsize=26004140 memory=1004 CPUtime=0 cores=0-7
/proc/5380/task/5383/stat : 5383 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341752 26628239360 43622 33554432000 4194304 4196468 140726359529520 139933872990736 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5384] ppid=5378 vsize=26004140 memory=1228 CPUtime=0 cores=0-7
/proc/5380/task/5384/stat : 5384 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341752 26628239360 43622 33554432000 4194304 4196468 140726359529520 139933871937936 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0

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

/proc/5380/task/5395/stat : 5395 (java) S 5378 5378 5176 0 -1 1077944384 1835 0 0 0 147 0 0 0 20 0 20 0 108341756 26630336512 180526 33554432000 4194304 4196468 140726359529520 139932590897904 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5396] ppid=5378 vsize=26006188 memory=18280 CPUtime=1.51 cores=0-7
/proc/5380/task/5396/stat : 5396 (java) S 5378 5378 5176 0 -1 1077944384 2307 0 0 0 151 0 0 0 20 0 20 0 108341756 26630336512 180526 33554432000 4194304 4196468 140726359529520 139932589845104 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5397] ppid=5378 vsize=26006188 memory=4044 CPUtime=0.68 cores=0-7
/proc/5380/task/5397/stat : 5397 (java) S 5378 5378 5176 0 -1 1077944384 2907 0 0 0 67 1 0 0 20 0 20 0 108341756 26630336512 180526 33554432000 4194304 4196468 140726359529520 139932588792304 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5398] ppid=5378 vsize=26006188 memory=1792 CPUtime=0 cores=0-7
/proc/5380/task/5398/stat : 5398 (java) S 5378 5378 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108341757 26630336512 180526 33554432000 4194304 4196468 140726359529520 139932587739744 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5399] ppid=5378 vsize=26006188 memory=636 CPUtime=0 cores=0-7
/proc/5380/task/5399/stat : 5399 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108341757 26630336512 180526 33554432000 4194304 4196468 140726359529520 139932586687024 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
Current children cumulated CPU time: 9.28 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 723488 KiB

[startup+3.6075 s]
/proc/loadavg: 7.91 8.11 8.18 2/202 5399
/proc/meminfo: memFree=28063948/32770624 swapFree=67108860/67108860
[pid=5378] ppid=5375 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5378/stat : 5378 (xcsp3-exec) S 5375 5378 5176 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108341750 9740288 346 33554432000 4194304 5098028 140723093858336 140723093856440 140174816211580 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11423744 140723093865573 140723093865783 140723093865783 140723093868523 0
/proc/5378/statm: 2378 346 289 221 0 87 0
[pid=5380] ppid=5378 vsize=26538700 memory=905592 CPUtime=10.73 cores=0-7
/proc/5380/stat : 5380 (java) S 5378 5378 5176 0 -1 1077944320 20036 0 0 0 1012 61 0 0 20 0 28 0 108341751 27175628800 226398 33554432000 4194304 4196468 140726359529520 140726359512064 139933921423095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
/proc/5380/statm: 6634675 226398 3252 1 0 6621909 0
[pid=5380/tid=5381] ppid=5378 vsize=26538700 memory=2428 CPUtime=3.26 cores=0-7
/proc/5380/task/5381/stat : 5381 (java) S 5378 5378 5176 0 -1 1077944384 7419 0 0 0 313 13 0 0 20 0 28 0 108341751 27175628800 226398 33554432000 4194304 4196468 140726359529520 139933925663872 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5382] ppid=5378 vsize=26538700 memory=8112282956445269571 CPUtime=0.11 cores=0-7
/proc/5380/task/5382/stat : 5382 (java) S 5378 5378 5176 0 -1 1077944384 96 0 0 0 7 4 0 0 20 0 28 0 108341752 27175628800 226398 33554432000 4194304 4196468 140726359529520 139933874043536 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5383] ppid=5378 vsize=26538700 memory=1728 CPUtime=0.13 cores=0-7
/proc/5380/task/5383/stat : 5383 (java) S 5378 5378 5176 0 -1 1077944384 88 0 0 0 8 5 0 0 20 0 28 0 108341752 27175628800 226398 33554432000 4194304 4196468 140726359529520 139933872990736 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5384] ppid=5378 vsize=26538700 memory=12064 CPUtime=0.12 cores=0-7
/proc/5380/task/5384/stat : 5384 (java) S 5378 5378 5176 0 -1 1077944384 227 0 0 0 8 4 0 0 20 0 28 0 108341752 27175628800 226398 33554432000 4194304 4196468 140726359529520 139933871937936 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5385] ppid=5378 vsize=26538700 memory=1004 CPUtime=0.13 cores=0-7
/proc/5380/task/5385/stat : 5385 (java) S 5378 5378 5176 0 -1 1077944384 93 0 0 0 8 5 0 0 20 0 28 0 108341752 27175628800 226398 33554432000 4194304 4196468 140726359529520 139933870885136 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5386] ppid=5378 vsize=26538700 memory=1228 CPUtime=0.15 cores=0-7
/proc/5380/task/5386/stat : 5386 (java) S 5378 5378 5176 0 -1 1077944384 143 0 0 0 8 7 0 0 20 0 28 0 108341752 27175628800 226398 33554432000 4194304 4196468 140726359529520 139933869833360 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5387] ppid=5378 vsize=26538700 memory=1952 CPUtime=0.15 cores=0-7
/proc/5380/task/5387/stat : 5387 (java) S 5378 5378 5176 0 -1 1077944384 123 0 0 0 9 6 0 0 20 0 28 0 108341752 27175628800 226398 33554432000 4194304 4196468 140726359529520 139933868780560 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5388] ppid=5378 vsize=26538700 memory=5796 CPUtime=0.13 cores=0-7
/proc/5380/task/5388/stat : 5388 (java) S 5378 5378 5176 0 -1 1077944384 115 0 0 0 8 5 0 0 20 0 28 0 108341752 27175628800 226398 33554432000 4194304 4196468 140726359529520 139933867727760 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5389] ppid=5378 vsize=26538700 memory=4616 CPUtime=0.14 cores=0-7
/proc/5380/task/5389/stat : 5389 (java) S 5378 5378 5176 0 -1 1077944384 104 0 0 0 9 5 0 0 20 0 28 0 108341752 27175628800 226398 33554432000 4194304 4196468 140726359529520 139933866674960 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5390] ppid=5378 vsize=26538700 memory=8584 CPUtime=0.01 cores=0-7
/proc/5380/task/5390/stat : 5390 (java) S 5378 5378 5176 0 -1 1077944384 493 0 0 0 1 0 0 0 20 0 28 0 108341753 27175628800 226398 33554432000 4194304 4196468 140726359529520 139932596160880 139933921434242 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5391] ppid=5378 vsize=26538700 memory=792 CPUtime=0 cores=0-7
/proc/5380/task/5391/stat : 5391 (java) S 5378 5378 5176 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 108341754 27175628800 226398 33554432000 4194304 4196468 140726359529520 139932595106912 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5392] ppid=5378 vsize=26538700 memory=1204 CPUtime=0 cores=0-7
/proc/5380/task/5392/stat : 5392 (java) S 5378 5378 5176 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 108341754 27175628800 226398 33554432000 4194304 4196468 140726359529520 139932594054016 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5393] ppid=5378 vsize=26538700 memory=1716 CPUtime=0 cores=0-7
/proc/5380/task/5393/stat : 5393 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108341756 27175628800 226398 33554432000 4194304 4196468 140726359529520 139932593002320 139933921441691 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5394] ppid=5378 vsize=26538700 memory=1440 CPUtime=1.51 cores=0-7
/proc/5380/task/5394/stat : 5394 (java) R 5378 5378 5176 0 -1 4202560 2231 0 0 0 151 0 0 0 20 0 28 0 108341756 27175628800 226398 33554432000 4194304 4196468 140726359529520 139932591943728 139933899549722 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5395] ppid=5378 vsize=26538700 memory=15876 CPUtime=1.62 cores=0-7
/proc/5380/task/5395/stat : 5395 (java) R 5378 5378 5176 0 -1 4202560 1855 0 0 0 162 0 0 0 20 0 28 0 108341756 27175628800 226398 33554432000 4194304 4196468 140726359529520 139932590883680 139933906172568 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5396] ppid=5378 vsize=26538700 memory=16432 CPUtime=1.64 cores=0-7
/proc/5380/task/5396/stat : 5396 (java) R 5378 5378 5176 0 -1 4202560 2340 0 0 0 164 0 0 0 20 0 28 0 108341756 27175628800 226398 33554432000 4194304 4196468 140726359529520 139932589829872 139933906530773 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5397] ppid=5378 vsize=26538700 memory=18280 CPUtime=0.76 cores=0-7
/proc/5380/task/5397/stat : 5397 (java) R 5378 5378 5176 0 -1 1077944384 3052 0 0 0 75 1 0 0 20 0 28 0 108341756 27175628800 226398 33554432000 4194304 4196468 140726359529520 139932588790096 139933921433301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5398] ppid=5378 vsize=26538700 memory=4044 CPUtime=0 cores=0-7
/proc/5380/task/5398/stat : 5398 (java) S 5378 5378 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108341757 27175628800 226398 33554432000 4194304 4196468 140726359529520 139932587739744 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5399] ppid=5378 vsize=26538700 memory=1792 CPUtime=0 cores=0-7
/proc/5380/task/5399/stat : 5399 (java) S 5378 5378 5176 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108341757 27175628800 226398 33554432000 4194304 4196468 140726359529520 139932586687024 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
Current children cumulated CPU time: 10.73 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 906976 KiB

[startup+4.001 s]*
/proc/loadavg: 7.91 8.11 8.18 2/201 5407
/proc/meminfo: memFree=27861796/32770624 swapFree=67108860/67108860
[pid=5378] ppid=5375 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5378/stat : 5378 (xcsp3-exec) S 5375 5378 5176 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108341750 9740288 346 33554432000 4194304 5098028 140723093858336 140723093856440 140174816211580 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11423744 140723093865573 140723093865783 140723093865783 140723093868523 0
/proc/5378/statm: 2378 346 289 221 0 87 0
[pid=5380] ppid=5378 vsize=26538700 memory=919292 CPUtime=13.76 cores=0-7
/proc/5380/stat : 5380 (java) S 5378 5378 5176 0 -1 1077944320 21284 0 0 0 1314 62 0 0 20 0 19 0 108341751 27175628800 229823 33554432000 4194304 4196468 140726359529520 140726359512064 139933921423095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
/proc/5380/statm: 6634675 229823 3264 1 0 6621909 0
[pid=5380/tid=5381] ppid=5378 vsize=26538700 memory=279419297988848 CPUtime=3.26 cores=0-7
/proc/5380/task/5381/stat : 5381 (java) S 5378 5378 5176 0 -1 1077944384 7430 0 0 0 313 13 0 0 20 0 19 0 108341751 27175628800 229823 33554432000 4194304 4196468 140726359529520 139933925665936 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5382] ppid=5378 vsize=26538700 memory=732369848123702245 CPUtime=0.11 cores=0-7
/proc/5380/task/5382/stat : 5382 (java) S 5378 5378 5176 0 -1 1077944384 96 0 0 0 7 4 0 0 20 0 19 0 108341752 27175628800 229823 33554432000 4194304 4196468 140726359529520 139933874043536 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5383] ppid=5378 vsize=26538700 memory=3689767796287310265 CPUtime=0.13 cores=0-7
/proc/5380/task/5383/stat : 5383 (java) S 5378 5378 5176 0 -1 1077944384 88 0 0 0 8 5 0 0 20 0 19 0 108341752 27175628800 229823 33554432000 4194304 4196468 140726359529520 139933872990736 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5384] ppid=5378 vsize=26538700 memory=7163373597383092589 CPUtime=0.12 cores=0-7
/proc/5380/task/5384/stat : 5384 (java) S 5378 5378 5176 0 -1 1077944384 227 0 0 0 8 4 0 0 20 0 19 0 108341752 27175628800 229823 33554432000 4194304 4196468 140726359529520 139933871937936 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5385] ppid=5378 vsize=26538700 memory=0 CPUtime=0.13 cores=0-7
/proc/5380/task/5385/stat : 5385 (java) S 5378 5378 5176 0 -1 1077944384 93 0 0 0 8 5 0 0 20 0 19 0 108341752 27175628800 229823 33554432000 4194304 4196468 140726359529520 139933870885136 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5386] ppid=5378 vsize=26538700 memory=0 CPUtime=0.15 cores=0-7
/proc/5380/task/5386/stat : 5386 (java) S 5378 5378 5176 0 -1 1077944384 143 0 0 0 8 7 0 0 20 0 19 0 108341752 27175628800 229823 33554432000 4194304 4196468 140726359529520 139933869833360 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5387] ppid=5378 vsize=26538700 memory=7008456647201796143 CPUtime=0.15 cores=0-7
/proc/5380/task/5387/stat : 5387 (java) S 5378 5378 5176 0 -1 1077944384 123 0 0 0 9 6 0 0 20 0 19 0 108341752 27175628800 229823 33554432000 4194304 4196468 140726359529520 139933868780560 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5388] ppid=5378 vsize=26538700 memory=0 CPUtime=0.13 cores=0-7
/proc/5380/task/5388/stat : 5388 (java) S 5378 5378 5176 0 -1 1077944384 115 0 0 0 8 5 0 0 20 0 19 0 108341752 27175628800 229823 33554432000 4194304 4196468 140726359529520 139933867727760 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5389] ppid=5378 vsize=26538700 memory=0 CPUtime=0.14 cores=0-7
/proc/5380/task/5389/stat : 5389 (java) S 5378 5378 5176 0 -1 1077944384 104 0 0 0 9 5 0 0 20 0 19 0 108341752 27175628800 229823 33554432000 4194304 4196468 140726359529520 139933866674960 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5390] ppid=5378 vsize=26538700 memory=0 CPUtime=0.01 cores=0-7
/proc/5380/task/5390/stat : 5390 (java) S 5378 5378 5176 0 -1 1077944384 493 0 0 0 1 0 0 0 20 0 19 0 108341753 27175628800 229823 33554432000 4194304 4196468 140726359529520 139932596161088 139933921434242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5391] ppid=5378 vsize=26538700 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/5380/task/5391/stat : 5391 (java) S 5378 5378 5176 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 108341754 27175628800 229823 33554432000 4194304 4196468 140726359529520 139932595106912 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5392] ppid=5378 vsize=26538700 memory=2240 CPUtime=0 cores=0-7
/proc/5380/task/5392/stat : 5392 (java) S 5378 5378 5176 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 108341754 27175628800 229823 33554432000 4194304 4196468 140726359529520 139932594054016 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5393] ppid=5378 vsize=26538700 memory=2424 CPUtime=0 cores=0-7
/proc/5380/task/5393/stat : 5393 (java) S 5378 5378 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 108341756 27175628800 229823 33554432000 4194304 4196468 140726359529520 139932593001968 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5394] ppid=5378 vsize=26538700 memory=4080 CPUtime=1.85 cores=0-7
/proc/5380/task/5394/stat : 5394 (java) R 5378 5378 5176 0 -1 4202560 2838 0 0 0 185 0 0 0 20 0 19 0 108341756 27175628800 229823 33554432000 4194304 4196468 140726359529520 139932591936728 139933906530687 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5395] ppid=5378 vsize=26538700 memory=932 CPUtime=1.91 cores=0-7
/proc/5380/task/5395/stat : 5395 (java) S 5378 5378 5176 0 -1 1077944384 2184 0 0 0 191 0 0 0 20 0 19 0 108341756 27175628800 229823 33554432000 4194304 4196468 140726359529520 139932590882976 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5396] ppid=5378 vsize=26538700 memory=1584 CPUtime=1.93 cores=0-7
/proc/5380/task/5396/stat : 5396 (java) S 5378 5378 5176 0 -1 1077944384 2398 0 0 0 193 0 0 0 20 0 19 0 108341756 27175628800 229823 33554432000 4194304 4196468 140726359529520 139932589829648 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5397] ppid=5378 vsize=26538700 memory=2196 CPUtime=0.84 cores=0-7
/proc/5380/task/5397/stat : 5397 (java) S 5378 5378 5176 0 -1 1077944384 3255 0 0 0 83 1 0 0 20 0 19 0 108341756 27175628800 229823 33554432000 4194304 4196468 140726359529520 139932588792304 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5398] ppid=5378 vsize=26538700 memory=6508 CPUtime=0 cores=0-7
/proc/5380/task/5398/stat : 5398 (java) S 5378 5378 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108341757 27175628800 229823 33554432000 4194304 4196468 140726359529520 139932587739744 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
Current children cumulated CPU time: 13.76 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 920676 KiB

[startup+4.11002 s]
/proc/loadavg: 7.91 8.11 8.18 2/201 5407
/proc/meminfo: memFree=27861796/32770624 swapFree=67108860/67108860
[pid=5378] ppid=5375 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5378/stat : 5378 (xcsp3-exec) S 5375 5378 5176 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108341750 9740288 346 33554432000 4194304 5098028 140723093858336 140723093856440 140174816211580 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11423744 140723093865573 140723093865783 140723093865783 140723093868523 0
/proc/5378/statm: 2378 346 289 221 0 87 0
[pid=5380] ppid=5378 vsize=26538700 memory=920356 CPUtime=13.78 cores=0-7
/proc/5380/stat : 5380 (java) S 5378 5378 5176 0 -1 1077944320 21548 0 0 0 1316 62 0 0 20 0 18 0 108341751 27175628800 230089 33554432000 4194304 4196468 140726359529520 140726359512064 139933921423095 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
/proc/5380/statm: 6634675 230089 3264 1 0 6621909 0
[pid=5380/tid=5381] ppid=5378 vsize=26538700 memory=139714081216127 CPUtime=3.26 cores=0-7
/proc/5380/task/5381/stat : 5381 (java) D 5378 5378 5176 0 -1 4202560 7430 0 0 0 313 13 0 0 20 0 18 0 108341751 27175628800 230089 33554432000 4194304 4196468 140726359529520 139933925666104 139933914108727 0 0 0 16800975 18446744072100375685 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5382] ppid=5378 vsize=26538700 memory=0 CPUtime=0.11 cores=0-7
/proc/5380/task/5382/stat : 5382 (java) S 5378 5378 5176 0 -1 1077944384 96 0 0 0 7 4 0 0 20 0 18 0 108341752 27175628800 230089 33554432000 4194304 4196468 140726359529520 139933874043536 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5383] ppid=5378 vsize=26538700 memory=1384 CPUtime=0.13 cores=0-7
/proc/5380/task/5383/stat : 5383 (java) S 5378 5378 5176 0 -1 1077944384 88 0 0 0 8 5 0 0 20 0 18 0 108341752 27175628800 230089 33554432000 4194304 4196468 140726359529520 139933872990736 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5384] ppid=5378 vsize=26538700 memory=915736 CPUtime=0.12 cores=0-7
/proc/5380/task/5384/stat : 5384 (java) S 5378 5378 5176 0 -1 1077944384 227 0 0 0 8 4 0 0 20 0 18 0 108341752 27175628800 230089 33554432000 4194304 4196468 140726359529520 139933871937936 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5385] ppid=5378 vsize=26538700 memory=55 CPUtime=0.13 cores=0-7
/proc/5380/task/5385/stat : 5385 (java) S 5378 5378 5176 0 -1 1077944384 93 0 0 0 8 5 0 0 20 0 18 0 108341752 27175628800 230089 33554432000 4194304 4196468 140726359529520 139933870885136 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5386] ppid=5378 vsize=26538700 memory=-3395018486312292127 CPUtime=0.15 cores=0-7
/proc/5380/task/5386/stat : 5386 (java) S 5378 5378 5176 0 -1 1077944384 143 0 0 0 8 7 0 0 20 0 18 0 108341752 27175628800 230089 33554432000 4194304 4196468 140726359529520 139933869833360 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5387] ppid=5378 vsize=26538700 memory=1 CPUtime=0.15 cores=0-7
/proc/5380/task/5387/stat : 5387 (java) S 5378 5378 5176 0 -1 1077944384 123 0 0 0 9 6 0 0 20 0 18 0 108341752 27175628800 230089 33554432000 4194304 4196468 140726359529520 139933868780560 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5388] ppid=5378 vsize=26538700 memory=3 CPUtime=0.13 cores=0-7
/proc/5380/task/5388/stat : 5388 (java) S 5378 5378 5176 0 -1 1077944384 115 0 0 0 8 5 0 0 20 0 18 0 108341752 27175628800 230089 33554432000 4194304 4196468 140726359529520 139933867727760 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5389] ppid=5378 vsize=26538700 memory=1 CPUtime=0.14 cores=0-7
/proc/5380/task/5389/stat : 5389 (java) S 5378 5378 5176 0 -1 1077944384 104 0 0 0 9 5 0 0 20 0 18 0 108341752 27175628800 230089 33554432000 4194304 4196468 140726359529520 139933866674960 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5391] ppid=5378 vsize=26538700 memory=722036 CPUtime=0 cores=0-7
/proc/5380/task/5391/stat : 5391 (java) S 5378 5378 5176 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 18 0 108341754 27175628800 230089 33554432000 4194304 4196468 140726359529520 139932595106912 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5392] ppid=5378 vsize=26538700 memory=678876 CPUtime=0 cores=0-7
/proc/5380/task/5392/stat : 5392 (java) S 5378 5378 5176 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 18 0 108341754 27175628800 230089 33554432000 4194304 4196468 140726359529520 139932594054016 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5393] ppid=5378 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/5380/task/5393/stat : 5393 (java) S 5378 5378 5176 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 108341756 27175628800 230089 33554432000 4194304 4196468 140726359529520 139932593001968 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5394] ppid=5378 vsize=26538700 memory=201616 CPUtime=1.87 cores=0-7
/proc/5380/task/5394/stat : 5394 (java) S 5378 5378 5176 0 -1 1077944384 3102 0 0 0 187 0 0 0 20 0 18 0 108341756 27175628800 230089 33554432000 4194304 4196468 140726359529520 139932591935216 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5395] ppid=5378 vsize=26538700 memory=55 CPUtime=1.91 cores=0-7
/proc/5380/task/5395/stat : 5395 (java) S 5378 5378 5176 0 -1 1077944384 2184 0 0 0 191 0 0 0 20 0 18 0 108341756 27175628800 230089 33554432000 4194304 4196468 140726359529520 139932590882976 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5396] ppid=5378 vsize=26538700 memory=0 CPUtime=1.93 cores=0-7
/proc/5380/task/5396/stat : 5396 (java) S 5378 5378 5176 0 -1 1077944384 2398 0 0 0 193 0 0 0 20 0 18 0 108341756 27175628800 230089 33554432000 4194304 4196468 140726359529520 139932589829648 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5397] ppid=5378 vsize=26538700 memory=279419298520272 CPUtime=0.84 cores=0-7
/proc/5380/task/5397/stat : 5397 (java) S 5378 5378 5176 0 -1 1077944384 3255 0 0 0 83 1 0 0 20 0 18 0 108341756 27175628800 230089 33554432000 4194304 4196468 140726359529520 139932588792304 139933921434242 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
[pid=5380/tid=5398] ppid=5378 vsize=26538700 memory=2321244177389024169 CPUtime=0 cores=0-7
/proc/5380/task/5398/stat : 5398 (java) S 5378 5378 5176 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 108341757 27175628800 230089 33554432000 4194304 4196468 140726359529520 139932587739744 139933921433301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29114368 140726359536786 140726359536963 140726359536963 140726359539663 0
Current children cumulated CPU time: 13.78 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 921740 KiB

Child status: 0
Real time (s): 4.15418
CPU time (s): 13.8045
CPU user time (s): 13.168
CPU system time (s): 0.636478
CPU usage (%): 332.303
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 921740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.168
system time used= 0.636478
maximum resident set size= 920880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22077
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3646
involuntary context switches= 123


# summary of solver processes directly reported to runsolver:
#   pid: 5378
#   total CPU time (s): 13.8045
#   total CPU user time (s): 13.168
#   total CPU system time (s): 0.636478

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052513 second user time and 0.084433 second system time

The end

Launcher Data 

Begin job on node148 at 2017-08-15 01:02:29
IDJOB=4270908
IDBENCH=133136
IDSOLVER=2662
FILE ID=node148/4270908-1502752607
RUNJOBID= node148-1502749227-5203
PBS_JOBID= 20629071
Free space on /tmp= 61616 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/DiamondFree/DiamondFree-m1-s1/DiamondFree-027.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-4270908-1502752607/watcher-4270908-1502752607 -o /tmp/evaluation-result-4270908-1502752607/solver-4270908-1502752607 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1502749227-5203 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 238811904 HOME/instance-4270908-1502752607.xml

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

MD5SUM BENCH= e1aef3a89997ee93f9865bcf164e430e
RANDOM SEED=238811904

node148.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.19
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.19
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.19
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.19
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:        28771704 kB
MemAvailable:   31986068 kB
Buffers:          245312 kB
Cached:          3256448 kB
SwapCached:            0 kB
Active:           823608 kB
Inactive:        2731452 kB
Active(anon):       4324 kB
Inactive(anon):    76664 kB
Active(file):     819284 kB
Inactive(file):  2654788 kB
Unevictable:        6208 kB
Mlocked:            6208 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8688 kB
Writeback:             0 kB
AnonPages:         59156 kB
Mapped:            45416 kB
Shmem:             25224 kB
Slab:             138680 kB
SReclaimable:     112252 kB
SUnreclaim:        26428 kB
KernelStack:        3264 kB
PageTables:         5040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61608 MiB
End job on node148 at 2017-08-15 01:02:33