Trace number 4399539

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 2019-09-16 parallelSAT 546.432 69.2797

General information on the benchmark

NameBibd/Bibd-sum-stab1/
Bibd-sum-25-05-01.xml
MD5SUM8664f4f5c29eba7e0c756194721bfaf5
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 benchmark21.1993
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of constraints356
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":750}]
Minimum variable degree27
Maximum variable degree27
Distribution of variable degrees[{"degree":27,"count":750}]
Minimum constraint arity25
Maximum constraint arity750
Distribution of constraint arities[{"arity":25,"count":30},{"arity":30,"count":25},{"arity":60,"count":300},{"arity":750,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":355}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399539-1568703004.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4399539-1568703004.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
4.41/1.23	c solve instance...
546.06/69.24	s SATISFIABLE
546.06/69.24	v <instantiation>
546.06/69.24	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] </list>
546.06/69.24	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 </values>
546.06/69.24	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 (15199 MiB free)
  memory of node 1: 16384 MiB (15745 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399539-1568703004/watcher-4399539-1568703004 -o /tmp/evaluation-result-4399539-1568703004/solver-4399539-1568703004 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568700438-24604 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2109469504 HOME/instance-4399539-1568703004.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=24906, runsolver pid=24903

[startup+0.100134 s]*
/proc/loadavg: 8.74 8.40 8.08 4/211 24927
/proc/meminfo: memFree=31671904/32770624 swapFree=67002432/67108860
[pid=24906] ppid=24903 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24906/stat : 24906 (xcsp3-exec) S 24903 24906 24577 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446549064 115843072 363 33554432000 4194304 5098028 140736374510592 140736374508696 140018995905148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24449024 140736374514549 140736374514793 140736374514793 140736374517706 0
/proc/24906/statm: 28282 363 304 221 0 87 0
[pid=24908] ppid=24906 vsize=28227396 memory=29200 CPUtime=0.13 cores=0-7
/proc/24908/stat : 24908 (java) S 24906 24906 24577 0 -1 1077944320 5691 0 0 0 12 1 0 0 20 0 20 0 446549064 28904853504 7300 33554432000 4194304 4196468 140733824752064 140733824734608 139629792317175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
/proc/24908/statm: 7056849 7300 3162 1 0 7019032 0
[pid=24908/tid=24909] ppid=24906 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/24908/task/24909/stat : 24909 (java) R 24906 24906 24577 0 -1 4202560 3610 0 0 0 9 0 0 0 20 0 20 0 446549064 28904853504 7300 33554432000 4194304 4196468 140733824752064 139629796550448 139629792339101 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24910] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24910/stat : 24910 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28904853504 7300 33554432000 4194304 4196468 140733824752064 139629744937616 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24911] ppid=24906 vsize=28227396 memory=140609111692928 CPUtime=0 cores=0-7
/proc/24908/task/24911/stat : 24911 (java) S 24906 24906 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446549065 28904853504 7300 33554432000 4194304 4196468 140733824752064 139629743884816 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24912] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24912/stat : 24912 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28904853504 7300 33554432000 4194304 4196468 140733824752064 139629742832016 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24913] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24913/stat : 24913 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28904853504 7300 33554432000 4194304 4196468 140733824752064 139629741779216 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24914] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24914/stat : 24914 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28904853504 7300 33554432000 4194304 4196468 140733824752064 139629740727440 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24915] ppid=24906 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24908/task/24915/stat : 24915 (java) S 24906 24906 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446549065 28904853504 7300 33554432000 4194304 4196468 140733824752064 139629739674640 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24916] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24916/stat : 24916 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28904853504 7300 33554432000 4194304 4196468 140733824752064 139629738621840 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24917] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24917/stat : 24917 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28904853504 7300 33554432000 4194304 4196468 140733824752064 139629737569040 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24918] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24918/stat : 24918 (java) S 24906 24906 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446549067 28904853504 7300 33554432000 4194304 4196468 140733824752064 139628121254256 139629792328322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24919] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24919/stat : 24919 (java) S 24906 24906 24577 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446549067 28904853504 7300 33554432000 4194304 4196468 140733824752064 139628120200224 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24920] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24920/stat : 24920 (java) S 24906 24906 24577 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446549067 28904853504 7300 33554432000 4194304 4196468 140733824752064 139628119147376 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24921] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24921/stat : 24921 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549070 28904853504 7300 33554432000 4194304 4196468 140733824752064 139628118095696 139629792335771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24922] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24922/stat : 24922 (java) S 24906 24906 24577 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 446549070 28904853504 7300 33554432000 4194304 4196468 140733824752064 139628117044080 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24923] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24923/stat : 24923 (java) R 24906 24906 24577 0 -1 4202560 266 0 0 0 0 0 0 0 20 0 20 0 446549070 28904853504 7300 33554432000 4194304 4196468 140733824752064 139628115991280 139629792328322 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24924] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24924/stat : 24924 (java) S 24906 24906 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446549070 28904853504 7300 33554432000 4194304 4196468 140733824752064 139628114938480 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24925] ppid=24906 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/24908/task/24925/stat : 24925 (java) S 24906 24906 24577 0 -1 1077944384 357 0 0 0 2 0 0 0 20 0 20 0 446549070 28904853504 7300 33554432000 4194304 4196468 140733824752064 139628113885680 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24926] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24926/stat : 24926 (java) S 24906 24906 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446549070 28904853504 7300 33554432000 4194304 4196468 140733824752064 139628112833120 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24927] ppid=24906 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24908/task/24927/stat : 24927 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549070 28904853504 7300 33554432000 4194304 4196468 140733824752064 139627535882800 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30652 KiB

[startup+0.210488 s]*
/proc/loadavg: 8.74 8.40 8.08 2/211 24927
/proc/meminfo: memFree=31658400/32770624 swapFree=67002432/67108860
[pid=24906] ppid=24903 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24906/stat : 24906 (xcsp3-exec) S 24903 24906 24577 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446549064 115843072 363 33554432000 4194304 5098028 140736374510592 140736374508696 140018995905148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24449024 140736374514549 140736374514793 140736374514793 140736374517706 0
/proc/24906/statm: 28282 363 304 221 0 87 0
[pid=24908] ppid=24906 vsize=28227396 memory=40900 CPUtime=0.34 cores=0-7
/proc/24908/stat : 24908 (java) S 24906 24906 24577 0 -1 1077944320 9515 0 0 0 31 3 0 0 20 0 20 0 446549064 28904853504 10225 33554432000 4194304 4196468 140733824752064 140733824734608 139629792317175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
/proc/24908/statm: 7056849 10225 3282 1 0 7019032 0
[pid=24908/tid=24909] ppid=24906 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/24908/task/24909/stat : 24909 (java) R 24906 24906 24577 0 -1 4202560 6644 0 0 0 18 2 0 0 20 0 20 0 446549064 28904853504 10225 33554432000 4194304 4196468 140733824752064 139629796552320 139629792327381 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24910] ppid=24906 vsize=28227396 memory=330 CPUtime=0 cores=0-7
/proc/24908/task/24910/stat : 24910 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28904853504 10225 33554432000 4194304 4196468 140733824752064 139629744937616 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24911] ppid=24906 vsize=28227396 memory=140609111715348 CPUtime=0 cores=0-7
/proc/24908/task/24911/stat : 24911 (java) S 24906 24906 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446549065 28904853504 10225 33554432000 4194304 4196468 140733824752064 139629743884816 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24912] ppid=24906 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24908/task/24912/stat : 24912 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28904853504 10225 33554432000 4194304 4196468 140733824752064 139629742832016 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24913] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24913/stat : 24913 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28904853504 10225 33554432000 4194304 4196468 140733824752064 139629741779216 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24914] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24914/stat : 24914 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28904853504 10225 33554432000 4194304 4196468 140733824752064 139629740727440 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24915] ppid=24906 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24908/task/24915/stat : 24915 (java) S 24906 24906 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446549065 28904853504 10225 33554432000 4194304 4196468 140733824752064 139629739674640 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24916] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24916/stat : 24916 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28904853504 10225 33554432000 4194304 4196468 140733824752064 139629738621840 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24917] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24917/stat : 24917 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28904853504 10225 33554432000 4194304 4196468 140733824752064 139629737569040 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24918] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24918/stat : 24918 (java) S 24906 24906 24577 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446549067 28904853504 10225 33554432000 4194304 4196468 140733824752064 139628121254256 139629792328322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24919] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24919/stat : 24919 (java) S 24906 24906 24577 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446549067 28904853504 10225 33554432000 4194304 4196468 140733824752064 139628120200224 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24920] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24920/stat : 24920 (java) S 24906 24906 24577 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446549067 28904853504 10225 33554432000 4194304 4196468 140733824752064 139628119147376 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24921] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24921/stat : 24921 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549070 28904853504 10225 33554432000 4194304 4196468 140733824752064 139628118095696 139629792335771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24922] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24922/stat : 24922 (java) R 24906 24906 24577 0 -1 1077944384 166 0 0 0 0 0 0 0 20 0 20 0 446549070 28904853504 10225 33554432000 4194304 4196468 140733824752064 139628117044080 139629792328322 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24923] ppid=24906 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/24908/task/24923/stat : 24923 (java) S 24906 24906 24577 0 -1 1077944384 366 0 0 0 1 0 0 0 20 0 20 0 446549070 28904853504 10225 33554432000 4194304 4196468 140733824752064 139628115991280 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24924] ppid=24906 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/24908/task/24924/stat : 24924 (java) S 24906 24906 24577 0 -1 1077944384 239 0 0 0 2 0 0 0 20 0 20 0 446549070 28904853504 10225 33554432000 4194304 4196468 140733824752064 139628114938480 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24925] ppid=24906 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/24908/task/24925/stat : 24925 (java) R 24906 24906 24577 0 -1 4202560 791 0 0 0 7 0 0 0 20 0 20 0 446549070 28904853504 10225 33554432000 4194304 4196468 140733824752064 139628113885680 139629784554302 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24926] ppid=24906 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24926/stat : 24926 (java) S 24906 24906 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446549070 28904853504 10225 33554432000 4194304 4196468 140733824752064 139628112833120 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24927] ppid=24906 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24908/task/24927/stat : 24927 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549070 28904853504 10225 33554432000 4194304 4196468 140733824752064 139627535882800 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42352 KiB

[startup+0.310342 s]*
/proc/loadavg: 8.74 8.40 8.08 5/211 24927
/proc/meminfo: memFree=31651132/32770624 swapFree=67002432/67108860
[pid=24906] ppid=24903 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24906/stat : 24906 (xcsp3-exec) S 24903 24906 24577 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446549064 115843072 363 33554432000 4194304 5098028 140736374510592 140736374508696 140018995905148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24449024 140736374514549 140736374514793 140736374514793 140736374517706 0
/proc/24906/statm: 28282 363 304 221 0 87 0
[pid=24908] ppid=24906 vsize=28231652 memory=50128 CPUtime=0.52 cores=0-7
/proc/24908/stat : 24908 (java) S 24906 24906 24577 0 -1 1077944320 10898 0 0 0 48 4 0 0 20 0 20 0 446549064 28909211648 12532 33554432000 4194304 4196468 140733824752064 140733824734608 139629792317175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
/proc/24908/statm: 7057913 12532 3335 1 0 7019032 0
[pid=24908/tid=24909] ppid=24906 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/24908/task/24909/stat : 24909 (java) R 24906 24906 24577 0 -1 4202560 7779 0 0 0 27 3 0 0 20 0 20 0 446549064 28909211648 12532 33554432000 4194304 4196468 140733824752064 139629796548288 139629776397662 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24910] ppid=24906 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24910/stat : 24910 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28909211648 12532 33554432000 4194304 4196468 140733824752064 139629744937616 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24911] ppid=24906 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24911/stat : 24911 (java) S 24906 24906 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446549065 28909211648 12532 33554432000 4194304 4196468 140733824752064 139629743884816 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24912] ppid=24906 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24912/stat : 24912 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28909211648 12532 33554432000 4194304 4196468 140733824752064 139629742832016 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24913] ppid=24906 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24913/stat : 24913 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28909211648 12532 33554432000 4194304 4196468 140733824752064 139629741779216 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24914] ppid=24906 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/24908/task/24914/stat : 24914 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28909211648 12532 33554432000 4194304 4196468 140733824752064 139629740727440 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24915] ppid=24906 vsize=28231652 memory=140608974975919 CPUtime=0 cores=0-7
/proc/24908/task/24915/stat : 24915 (java) S 24906 24906 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446549065 28909211648 12532 33554432000 4194304 4196468 140733824752064 139629739674640 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24916] ppid=24906 vsize=28231652 memory=140608974978224 CPUtime=0 cores=0-7
/proc/24908/task/24916/stat : 24916 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28909211648 12532 33554432000 4194304 4196468 140733824752064 139629738621840 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24917] ppid=24906 vsize=28231652 memory=140608974980528 CPUtime=0 cores=0-7
/proc/24908/task/24917/stat : 24917 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28909211648 12532 33554432000 4194304 4196468 140733824752064 139629737569040 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24918] ppid=24906 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24918/stat : 24918 (java) S 24906 24906 24577 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446549067 28909211648 12532 33554432000 4194304 4196468 140733824752064 139628121254256 139629792328322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24919] ppid=24906 vsize=28231652 memory=281217949968016 CPUtime=0 cores=0-7
/proc/24908/task/24919/stat : 24919 (java) S 24906 24906 24577 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446549067 28909211648 12532 33554432000 4194304 4196468 140733824752064 139628120200224 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24920] ppid=24906 vsize=28231652 memory=281217949974928 CPUtime=0 cores=0-7
/proc/24908/task/24920/stat : 24920 (java) S 24906 24906 24577 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446549067 28909211648 12532 33554432000 4194304 4196468 140733824752064 139628119147376 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24921] ppid=24906 vsize=28231652 memory=281217949916208 CPUtime=0 cores=0-7
/proc/24908/task/24921/stat : 24921 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549070 28909211648 12532 33554432000 4194304 4196468 140733824752064 139628118095696 139629792335771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24922] ppid=24906 vsize=28231652 memory=281217949988752 CPUtime=0.01 cores=0-7
/proc/24908/task/24922/stat : 24922 (java) S 24906 24906 24577 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 20 0 446549070 28909211648 12532 33554432000 4194304 4196468 140733824752064 139628117044080 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24923] ppid=24906 vsize=28231652 memory=281217949995664 CPUtime=0.02 cores=0-7
/proc/24908/task/24923/stat : 24923 (java) S 24906 24906 24577 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 20 0 446549070 28909211648 12532 33554432000 4194304 4196468 140733824752064 139628115991280 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24924] ppid=24906 vsize=28231652 memory=281217949993360 CPUtime=0.03 cores=0-7
/proc/24908/task/24924/stat : 24924 (java) R 24906 24906 24577 0 -1 4202560 352 0 0 0 3 0 0 0 20 0 20 0 446549070 28909211648 12532 33554432000 4194304 4196468 140733824752064 139628114919592 139629777442995 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24925] ppid=24906 vsize=28231652 memory=281217950009520 CPUtime=0.12 cores=0-7
/proc/24908/task/24925/stat : 24925 (java) S 24906 24906 24577 0 -1 1077944384 883 0 0 0 12 0 0 0 20 0 20 0 446549070 28909211648 12532 33554432000 4194304 4196468 140733824752064 139628113885680 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24926] ppid=24906 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24926/stat : 24926 (java) S 24906 24906 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446549070 28909211648 12532 33554432000 4194304 4196468 140733824752064 139628112833120 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24927] ppid=24906 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/24908/task/24927/stat : 24927 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549070 28909211648 12532 33554432000 4194304 4196468 140733824752064 139627535882800 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51580 KiB

[startup+0.700932 s]
/proc/loadavg: 8.74 8.40 8.08 3/211 24927
/proc/meminfo: memFree=31639984/32770624 swapFree=67002432/67108860
[pid=24906] ppid=24903 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24906/stat : 24906 (xcsp3-exec) S 24903 24906 24577 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446549064 115843072 363 33554432000 4194304 5098028 140736374510592 140736374508696 140018995905148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24449024 140736374514549 140736374514793 140736374514793 140736374517706 0
/proc/24906/statm: 28282 363 304 221 0 87 0
[pid=24908] ppid=24906 vsize=28233776 memory=104632 CPUtime=1.77 cores=0-7
/proc/24908/stat : 24908 (java) S 24906 24906 24577 0 -1 1077944320 15235 0 0 0 171 6 0 0 20 0 20 0 446549064 28911386624 26158 33554432000 4194304 4196468 140733824752064 140733824734608 139629792317175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
/proc/24908/statm: 7058444 26158 3460 1 0 7019544 0
[pid=24908/tid=24909] ppid=24906 vsize=28233776 memory=281217950367408 CPUtime=0.67 cores=0-7
/proc/24908/task/24909/stat : 24909 (java) R 24906 24906 24577 0 -1 4202560 9303 0 0 0 63 4 0 0 20 0 20 0 446549064 28911386624 26158 33554432000 4194304 4196468 140733824752064 139629796553152 139629792329110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24910] ppid=24906 vsize=28233776 memory=140608975184752 CPUtime=0 cores=0-7
/proc/24908/task/24910/stat : 24910 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28911386624 26158 33554432000 4194304 4196468 140733824752064 139629744937616 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24911] ppid=24906 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/24908/task/24911/stat : 24911 (java) S 24906 24906 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446549065 28911386624 26158 33554432000 4194304 4196468 140733824752064 139629743884816 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24912] ppid=24906 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/24908/task/24912/stat : 24912 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446549065 28911386624 26158 33554432000 4194304 4196468 140733824752064 139629742832016 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0

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

[pid=24908/tid=24925] ppid=24906 vsize=28766288 memory=281217949761776 CPUtime=0.77 cores=0-7
/proc/24908/task/24925/stat : 24925 (java) S 24906 24906 24577 0 -1 1077944384 5599 0 0 0 76 1 0 0 20 0 28 0 446549070 29456678912 887425 33554432000 4194304 4196468 140733824752064 139628113885680 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24926] ppid=24906 vsize=28766288 memory=1040 CPUtime=0 cores=0-7
/proc/24908/task/24926/stat : 24926 (java) S 24906 24906 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446549070 29456678912 887425 33554432000 4194304 4196468 140733824752064 139628112833120 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24927] ppid=24906 vsize=28766288 memory=14008 CPUtime=0.03 cores=0-7
/proc/24908/task/24927/stat : 24927 (java) S 24906 24906 24577 0 -1 1077944384 424 0 0 0 0 3 0 0 20 0 28 0 446549070 29456678912 887425 33554432000 4194304 4196468 140733824752064 139627535882800 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24928] ppid=24906 vsize=28766288 memory=12040 CPUtime=66.04 cores=0-7
/proc/24908/task/24928/stat : 24928 (java) R 24906 24906 24577 0 -1 4202560 551 0 0 0 6604 0 0 0 20 0 28 0 446549192 29456678912 887425 33554432000 4194304 4196468 140733824752064 139627526900104 139629411271381 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24929] ppid=24906 vsize=28766288 memory=2120 CPUtime=65.06 cores=0-7
/proc/24908/task/24929/stat : 24929 (java) R 24906 24906 24577 0 -1 4202560 458 0 0 0 6506 0 0 0 20 0 28 0 446549192 29456678912 887425 33554432000 4194304 4196468 140733824752064 139627525848432 139629403907178 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24930] ppid=24906 vsize=28766288 memory=25784 CPUtime=65.85 cores=0-7
/proc/24908/task/24930/stat : 24930 (java) R 24906 24906 24577 0 -1 4202560 5334 0 0 0 6563 22 0 0 20 0 28 0 446549192 29456678912 887425 33554432000 4194304 4196468 140733824752064 139627524796984 139629410719283 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24931] ppid=24906 vsize=28766288 memory=1556 CPUtime=65.92 cores=0-7
/proc/24908/task/24931/stat : 24931 (java) R 24906 24906 24577 0 -1 4202560 9245 0 0 0 6533 59 0 0 20 0 28 0 446549192 29456678912 887425 33554432000 4194304 4196468 140733824752064 139627523744104 139629410562250 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24932] ppid=24906 vsize=28766288 memory=500 CPUtime=66.22 cores=0-7
/proc/24908/task/24932/stat : 24932 (java) R 24906 24906 24577 0 -1 4202560 540 0 0 0 6622 0 0 0 20 0 28 0 446549192 29456678912 887425 33554432000 4194304 4196468 140733824752064 139627522691304 139629410670183 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24933] ppid=24906 vsize=28766288 memory=932 CPUtime=65.81 cores=0-7
/proc/24908/task/24933/stat : 24933 (java) R 24906 24906 24577 0 -1 4202560 614 0 0 0 6581 0 0 0 20 0 28 0 446549192 29456678912 887425 33554432000 4194304 4196468 140733824752064 139627521638504 139629410719387 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24934] ppid=24906 vsize=28766288 memory=1768 CPUtime=66.04 cores=0-7
/proc/24908/task/24934/stat : 24934 (java) R 24906 24906 24577 0 -1 4202560 649 0 0 0 6603 1 0 0 20 0 28 0 446549192 29456678912 887425 33554432000 4194304 4196468 140733824752064 139627520585992 139629410670322 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24935] ppid=24906 vsize=28766288 memory=1656 CPUtime=65.85 cores=0-7
/proc/24908/task/24935/stat : 24935 (java) R 24906 24906 24577 0 -1 4202560 594 0 0 0 6585 0 0 0 20 0 28 0 446549192 29456678912 887425 33554432000 4194304 4196468 140733824752064 139627519532904 139629410670240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
Current children cumulated CPU time: 536.57 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 3551152 KiB

[startup+68.8017 s]
/proc/loadavg: 8.58 8.44 8.13 10/220 24948
/proc/meminfo: memFree=28145188/32770624 swapFree=67002432/67108860
[pid=24906] ppid=24903 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24906/stat : 24906 (xcsp3-exec) S 24903 24906 24577 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446549064 115843072 363 33554432000 4194304 5098028 140736374510592 140736374508696 140018995905148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24449024 140736374514549 140736374514793 140736374514793 140736374517706 0
/proc/24906/statm: 28282 363 304 221 0 87 0
[pid=24908] ppid=24906 vsize=28766288 memory=3549944 CPUtime=542.87 cores=0-7
/proc/24908/stat : 24908 (java) S 24906 24906 24577 0 -1 1077944320 65303 0 0 0 54119 168 0 0 20 0 28 0 446549064 29456678912 887486 33554432000 4194304 4196468 140733824752064 140733824734608 139629792317175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
/proc/24908/statm: 7191572 887486 3522 1 0 7152672 0
[pid=24908/tid=24909] ppid=24906 vsize=28766288 memory=6791534058613427641 CPUtime=1.08 cores=0-7
/proc/24908/task/24909/stat : 24909 (java) S 24906 24906 24577 0 -1 1077944384 9434 0 0 0 103 5 0 0 20 0 28 0 446549064 29456678912 887486 33554432000 4194304 4196468 140733824752064 139629796557952 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24910] ppid=24906 vsize=28766288 memory=3549700 CPUtime=0.38 cores=0-7
/proc/24908/task/24910/stat : 24910 (java) S 24906 24906 24577 0 -1 1077944384 1840 0 0 0 29 9 0 0 20 0 28 0 446549065 29456678912 887486 33554432000 4194304 4196468 140733824752064 139629744937616 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24911] ppid=24906 vsize=28766288 memory=0 CPUtime=0.34 cores=0-7
/proc/24908/task/24911/stat : 24911 (java) S 24906 24906 24577 0 -1 1077944384 391 0 0 0 26 8 0 0 20 0 28 0 446549065 29456678912 887486 33554432000 4194304 4196468 140733824752064 139629743884816 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24912] ppid=24906 vsize=28766288 memory=0 CPUtime=0.36 cores=0-7
/proc/24908/task/24912/stat : 24912 (java) S 24906 24906 24577 0 -1 1077944384 423 0 0 0 28 8 0 0 20 0 28 0 446549065 29456678912 887486 33554432000 4194304 4196468 140733824752064 139629742832016 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24913] ppid=24906 vsize=28766288 memory=0 CPUtime=0.38 cores=0-7
/proc/24908/task/24913/stat : 24913 (java) S 24906 24906 24577 0 -1 1077944384 735 0 0 0 29 9 0 0 20 0 28 0 446549065 29456678912 887486 33554432000 4194304 4196468 140733824752064 139629741779216 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24914] ppid=24906 vsize=28766288 memory=0 CPUtime=0.37 cores=0-7
/proc/24908/task/24914/stat : 24914 (java) S 24906 24906 24577 0 -1 1077944384 833 0 0 0 28 9 0 0 20 0 28 0 446549065 29456678912 887486 33554432000 4194304 4196468 140733824752064 139629740727440 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24915] ppid=24906 vsize=28766288 memory=0 CPUtime=0.34 cores=0-7
/proc/24908/task/24915/stat : 24915 (java) S 24906 24906 24577 0 -1 1077944384 372 0 0 0 26 8 0 0 20 0 28 0 446549065 29456678912 887486 33554432000 4194304 4196468 140733824752064 139629739674640 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24916] ppid=24906 vsize=28766288 memory=1452 CPUtime=0.32 cores=0-7
/proc/24908/task/24916/stat : 24916 (java) S 24906 24906 24577 0 -1 1077944384 1788 0 0 0 25 7 0 0 20 0 28 0 446549065 29456678912 887486 33554432000 4194304 4196468 140733824752064 139629738621840 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24917] ppid=24906 vsize=28766288 memory=3549700 CPUtime=0.34 cores=0-7
/proc/24908/task/24917/stat : 24917 (java) S 24906 24906 24577 0 -1 1077944384 759 0 0 0 26 8 0 0 20 0 28 0 446549065 29456678912 887486 33554432000 4194304 4196468 140733824752064 139629737569040 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24918] ppid=24906 vsize=28766288 memory=3101512 CPUtime=0.03 cores=0-7
/proc/24908/task/24918/stat : 24918 (java) S 24906 24906 24577 0 -1 1077944384 3268 0 0 0 2 1 0 0 20 0 28 0 446549067 29456678912 887486 33554432000 4194304 4196468 140733824752064 139628121254256 139629792328322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24919] ppid=24906 vsize=28766288 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/24908/task/24919/stat : 24919 (java) S 24906 24906 24577 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 446549067 29456678912 887486 33554432000 4194304 4196468 140733824752064 139628120200288 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24920] ppid=24906 vsize=28766288 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/24908/task/24920/stat : 24920 (java) S 24906 24906 24577 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 446549067 29456678912 887486 33554432000 4194304 4196468 140733824752064 139628119147392 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24921] ppid=24906 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/24908/task/24921/stat : 24921 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446549070 29456678912 887486 33554432000 4194304 4196468 140733824752064 139628118095696 139629792335771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24922] ppid=24906 vsize=28766288 memory=1656 CPUtime=1.51 cores=0-7
/proc/24908/task/24922/stat : 24922 (java) S 24906 24906 24577 0 -1 1077944384 6104 0 0 0 149 2 0 0 20 0 28 0 446549070 29456678912 887486 33554432000 4194304 4196468 140733824752064 139628117044080 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24923] ppid=24906 vsize=28766288 memory=804 CPUtime=1.75 cores=0-7
/proc/24908/task/24923/stat : 24923 (java) S 24906 24906 24577 0 -1 1077944384 6779 0 0 0 174 1 0 0 20 0 28 0 446549070 29456678912 887486 33554432000 4194304 4196468 140733824752064 139628115991280 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24924] ppid=24906 vsize=28766288 memory=1452 CPUtime=1.58 cores=0-7
/proc/24908/task/24924/stat : 24924 (java) S 24906 24906 24577 0 -1 1077944384 7214 0 0 0 157 1 0 0 20 0 28 0 446549070 29456678912 887486 33554432000 4194304 4196468 140733824752064 139628114938480 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24925] ppid=24906 vsize=28766288 memory=6791534058613427641 CPUtime=0.77 cores=0-7
/proc/24908/task/24925/stat : 24925 (java) S 24906 24906 24577 0 -1 1077944384 5599 0 0 0 76 1 0 0 20 0 28 0 446549070 29456678912 887486 33554432000 4194304 4196468 140733824752064 139628113885680 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24926] ppid=24906 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/24908/task/24926/stat : 24926 (java) S 24906 24906 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446549070 29456678912 887486 33554432000 4194304 4196468 140733824752064 139628112833120 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24927] ppid=24906 vsize=28766288 memory=3549700 CPUtime=0.03 cores=0-7
/proc/24908/task/24927/stat : 24927 (java) S 24906 24906 24577 0 -1 1077944384 424 0 0 0 0 3 0 0 20 0 28 0 446549070 29456678912 887486 33554432000 4194304 4196468 140733824752064 139627535882800 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24928] ppid=24906 vsize=28766288 memory=3549556 CPUtime=66.82 cores=0-7
/proc/24908/task/24928/stat : 24928 (java) R 24906 24906 24577 0 -1 4202560 551 0 0 0 6682 0 0 0 20 0 28 0 446549192 29456678912 887486 33554432000 4194304 4196468 140733824752064 139627526900104 139629411023679 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24929] ppid=24906 vsize=28766288 memory=6791534058613427641 CPUtime=65.85 cores=0-7
/proc/24908/task/24929/stat : 24929 (java) R 24906 24906 24577 0 -1 4202560 458 0 0 0 6585 0 0 0 20 0 28 0 446549192 29456678912 887486 33554432000 4194304 4196468 140733824752064 139627525848432 139629410719309 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24930] ppid=24906 vsize=28766288 memory=4126316290023845779 CPUtime=66.64 cores=0-7
/proc/24908/task/24930/stat : 24930 (java) R 24906 24906 24577 0 -1 4202560 5338 0 0 0 6642 22 0 0 20 0 28 0 446549192 29456678912 887486 33554432000 4194304 4196468 140733824752064 139627524796984 139629410719344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24931] ppid=24906 vsize=28766288 memory=2884 CPUtime=66.7 cores=0-7
/proc/24908/task/24931/stat : 24931 (java) R 24906 24906 24577 0 -1 4202560 9288 0 0 0 6611 59 0 0 20 0 28 0 446549192 29456678912 887486 33554432000 4194304 4196468 140733824752064 139627523744104 139629412522482 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24932] ppid=24906 vsize=28766288 memory=1056 CPUtime=67.01 cores=0-7
/proc/24908/task/24932/stat : 24932 (java) R 24906 24906 24577 0 -1 4202560 547 0 0 0 6701 0 0 0 20 0 28 0 446549192 29456678912 887486 33554432000 4194304 4196468 140733824752064 139627522691304 139629410670131 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24933] ppid=24906 vsize=28766288 memory=1568 CPUtime=66.6 cores=0-7
/proc/24908/task/24933/stat : 24933 (java) R 24906 24906 24577 0 -1 4202560 614 0 0 0 6660 0 0 0 20 0 28 0 446549192 29456678912 887486 33554432000 4194304 4196468 140733824752064 139627521638504 139629410298256 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24934] ppid=24906 vsize=28766288 memory=1040 CPUtime=66.82 cores=0-7
/proc/24908/task/24934/stat : 24934 (java) R 24906 24906 24577 0 -1 4202560 649 0 0 0 6681 1 0 0 20 0 28 0 446549192 29456678912 887486 33554432000 4194304 4196468 140733824752064 139627520585992 139629410781922 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24935] ppid=24906 vsize=28766288 memory=14008 CPUtime=66.64 cores=0-7
/proc/24908/task/24935/stat : 24935 (java) R 24906 24906 24577 0 -1 4202560 594 0 0 0 6664 0 0 0 20 0 28 0 446549192 29456678912 887486 33554432000 4194304 4196468 140733824752064 139627519532904 139629403910445 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
Current children cumulated CPU time: 542.87 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 3551396 KiB

[startup+69.2017 s]
/proc/loadavg: 8.58 8.44 8.13 9/220 24948
/proc/meminfo: memFree=28144784/32770624 swapFree=67002432/67108860
[pid=24906] ppid=24903 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/24906/stat : 24906 (xcsp3-exec) S 24903 24906 24577 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446549064 115843072 363 33554432000 4194304 5098028 140736374510592 140736374508696 140018995905148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24449024 140736374514549 140736374514793 140736374514793 140736374517706 0
/proc/24906/statm: 28282 363 304 221 0 87 0
[pid=24908] ppid=24906 vsize=28766288 memory=3549944 CPUtime=546.06 cores=0-7
/proc/24908/stat : 24908 (java) S 24906 24906 24577 0 -1 1077944320 65321 0 0 0 54438 168 0 0 20 0 28 0 446549064 29456678912 887486 33554432000 4194304 4196468 140733824752064 140733824734608 139629792317175 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
/proc/24908/statm: 7191572 887486 3522 1 0 7152672 0
[pid=24908/tid=24909] ppid=24906 vsize=28766288 memory=14689690934577615 CPUtime=1.08 cores=0-7
/proc/24908/task/24909/stat : 24909 (java) S 24906 24906 24577 0 -1 1077944384 9434 0 0 0 103 5 0 0 20 0 28 0 446549064 29456678912 887486 33554432000 4194304 4196468 140733824752064 139629796557952 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24910] ppid=24906 vsize=28766288 memory=1740 CPUtime=0.38 cores=0-7
/proc/24908/task/24910/stat : 24910 (java) S 24906 24906 24577 0 -1 1077944384 1840 0 0 0 29 9 0 0 20 0 28 0 446549065 29456678912 887486 33554432000 4194304 4196468 140733824752064 139629744937616 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24911] ppid=24906 vsize=28766288 memory=5992 CPUtime=0.34 cores=0-7
/proc/24908/task/24911/stat : 24911 (java) S 24906 24906 24577 0 -1 1077944384 391 0 0 0 26 8 0 0 20 0 28 0 446549065 29456678912 887486 33554432000 4194304 4196468 140733824752064 139629743884816 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24912] ppid=24906 vsize=28766288 memory=636 CPUtime=0.36 cores=0-7
/proc/24908/task/24912/stat : 24912 (java) S 24906 24906 24577 0 -1 1077944384 423 0 0 0 28 8 0 0 20 0 28 0 446549065 29456678912 887486 33554432000 4194304 4196468 140733824752064 139629742832016 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24913] ppid=24906 vsize=28766288 memory=2884 CPUtime=0.38 cores=0-7
/proc/24908/task/24913/stat : 24913 (java) S 24906 24906 24577 0 -1 1077944384 735 0 0 0 29 9 0 0 20 0 28 0 446549065 29456678912 887486 33554432000 4194304 4196468 140733824752064 139629741779216 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24914] ppid=24906 vsize=28766288 memory=1056 CPUtime=0.37 cores=0-7
/proc/24908/task/24914/stat : 24914 (java) S 24906 24906 24577 0 -1 1077944384 833 0 0 0 28 9 0 0 20 0 28 0 446549065 29456678912 887486 33554432000 4194304 4196468 140733824752064 139629740727440 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24915] ppid=24906 vsize=28766288 memory=1568 CPUtime=0.34 cores=0-7
/proc/24908/task/24915/stat : 24915 (java) S 24906 24906 24577 0 -1 1077944384 372 0 0 0 26 8 0 0 20 0 28 0 446549065 29456678912 887486 33554432000 4194304 4196468 140733824752064 139629739674640 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24916] ppid=24906 vsize=28766288 memory=1040 CPUtime=0.32 cores=0-7
/proc/24908/task/24916/stat : 24916 (java) S 24906 24906 24577 0 -1 1077944384 1788 0 0 0 25 7 0 0 20 0 28 0 446549065 29456678912 887486 33554432000 4194304 4196468 140733824752064 139629738621840 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24917] ppid=24906 vsize=28766288 memory=14008 CPUtime=0.34 cores=0-7
/proc/24908/task/24917/stat : 24917 (java) S 24906 24906 24577 0 -1 1077944384 759 0 0 0 26 8 0 0 20 0 28 0 446549065 29456678912 887486 33554432000 4194304 4196468 140733824752064 139629737569040 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24918] ppid=24906 vsize=28766288 memory=12040 CPUtime=0.03 cores=0-7
/proc/24908/task/24918/stat : 24918 (java) S 24906 24906 24577 0 -1 1077944384 3268 0 0 0 2 1 0 0 20 0 28 0 446549067 29456678912 887486 33554432000 4194304 4196468 140733824752064 139628121254256 139629792328322 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24919] ppid=24906 vsize=28766288 memory=2120 CPUtime=0 cores=0-7
/proc/24908/task/24919/stat : 24919 (java) S 24906 24906 24577 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 28 0 446549067 29456678912 887486 33554432000 4194304 4196468 140733824752064 139628120200288 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24920] ppid=24906 vsize=28766288 memory=25784 CPUtime=0 cores=0-7
/proc/24908/task/24920/stat : 24920 (java) S 24906 24906 24577 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 446549067 29456678912 887486 33554432000 4194304 4196468 140733824752064 139628119147392 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24921] ppid=24906 vsize=28766288 memory=1452 CPUtime=0 cores=0-7
/proc/24908/task/24921/stat : 24921 (java) S 24906 24906 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446549070 29456678912 887486 33554432000 4194304 4196468 140733824752064 139628118095696 139629792335771 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24922] ppid=24906 vsize=28766288 memory=3549700 CPUtime=1.51 cores=0-7
/proc/24908/task/24922/stat : 24922 (java) S 24906 24906 24577 0 -1 1077944384 6104 0 0 0 149 2 0 0 20 0 28 0 446549070 29456678912 887486 33554432000 4194304 4196468 140733824752064 139628117044080 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24923] ppid=24906 vsize=28766288 memory=988 CPUtime=1.75 cores=0-7
/proc/24908/task/24923/stat : 24923 (java) S 24906 24906 24577 0 -1 1077944384 6779 0 0 0 174 1 0 0 20 0 28 0 446549070 29456678912 887486 33554432000 4194304 4196468 140733824752064 139628115991280 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24924] ppid=24906 vsize=28766288 memory=2024 CPUtime=1.58 cores=0-7
/proc/24908/task/24924/stat : 24924 (java) S 24906 24906 24577 0 -1 1077944384 7214 0 0 0 157 1 0 0 20 0 28 0 446549070 29456678912 887486 33554432000 4194304 4196468 140733824752064 139628114938480 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24925] ppid=24906 vsize=28766288 memory=1416 CPUtime=0.77 cores=0-7
/proc/24908/task/24925/stat : 24925 (java) S 24906 24906 24577 0 -1 1077944384 5599 0 0 0 76 1 0 0 20 0 28 0 446549070 29456678912 887486 33554432000 4194304 4196468 140733824752064 139628113885680 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24926] ppid=24906 vsize=28766288 memory=776 CPUtime=0 cores=0-7
/proc/24908/task/24926/stat : 24926 (java) S 24906 24906 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446549070 29456678912 887486 33554432000 4194304 4196468 140733824752064 139628112833120 139629792327381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24927] ppid=24906 vsize=28766288 memory=3980 CPUtime=0.03 cores=0-7
/proc/24908/task/24927/stat : 24927 (java) S 24906 24906 24577 0 -1 1077944384 424 0 0 0 0 3 0 0 20 0 28 0 446549070 29456678912 887486 33554432000 4194304 4196468 140733824752064 139627535882800 139629792328322 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24928] ppid=24906 vsize=28766288 memory=1220 CPUtime=67.22 cores=0-7
/proc/24908/task/24928/stat : 24928 (java) R 24906 24906 24577 0 -1 4202560 551 0 0 0 6722 0 0 0 20 0 28 0 446549192 29456678912 887486 33554432000 4194304 4196468 140733824752064 139627526900104 139629411545146 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24929] ppid=24906 vsize=28766288 memory=10600 CPUtime=66.25 cores=0-7
/proc/24908/task/24929/stat : 24929 (java) R 24906 24906 24577 0 -1 4202560 458 0 0 0 6625 0 0 0 20 0 28 0 446549192 29456678912 887486 33554432000 4194304 4196468 140733824752064 139627525848432 139629410719753 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24930] ppid=24906 vsize=28766288 memory=1740 CPUtime=67.04 cores=0-7
/proc/24908/task/24930/stat : 24930 (java) R 24906 24906 24577 0 -1 4202560 5349 0 0 0 6682 22 0 0 20 0 28 0 446549192 29456678912 887486 33554432000 4194304 4196468 140733824752064 139627524796984 139629412377563 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24931] ppid=24906 vsize=28766288 memory=5992 CPUtime=67.1 cores=0-7
/proc/24908/task/24931/stat : 24931 (java) R 24906 24906 24577 0 -1 4202560 9288 0 0 0 6651 59 0 0 20 0 28 0 446549192 29456678912 887486 33554432000 4194304 4196468 140733824752064 139627523744104 139629411545141 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24932] ppid=24906 vsize=28766288 memory=636 CPUtime=67.41 cores=0-7
/proc/24908/task/24932/stat : 24932 (java) R 24906 24906 24577 0 -1 4202560 547 0 0 0 6741 0 0 0 20 0 28 0 446549192 29456678912 887486 33554432000 4194304 4196468 140733824752064 139627522691304 139629411509358 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24933] ppid=24906 vsize=28766288 memory=2884 CPUtime=67 cores=0-7
/proc/24908/task/24933/stat : 24933 (java) R 24906 24906 24577 0 -1 4202560 614 0 0 0 6700 0 0 0 20 0 28 0 446549192 29456678912 887486 33554432000 4194304 4196468 140733824752064 139627521638504 139629411509390 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24934] ppid=24906 vsize=28766288 memory=1056 CPUtime=67.2 cores=0-7
/proc/24908/task/24934/stat : 24934 (java) R 24906 24906 24577 0 -1 4202560 649 0 0 0 6719 1 0 0 20 0 28 0 446549192 29456678912 887486 33554432000 4194304 4196468 140733824752064 139627520585992 139629403910468 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
[pid=24908/tid=24935] ppid=24906 vsize=28766288 memory=1568 CPUtime=67.04 cores=0-7
/proc/24908/task/24935/stat : 24935 (java) R 24906 24906 24577 0 -1 4202560 601 0 0 0 6704 0 0 0 20 0 28 0 446549192 29456678912 887486 33554432000 4194304 4196468 140733824752064 139627519532904 139629410719358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25640960 140733824754666 140733824754838 140733824754838 140733824757711 0
Current children cumulated CPU time: 546.06 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 3551396 KiB

Child status: 0
Real time (s): 69.2797
CPU time (s): 546.432
CPU user time (s): 544.722
CPU system time (s): 1.70986
CPU usage (%): 788.733
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 3551396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 544.722
system time used= 1.70986
maximum resident set size= 3550200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67566
page faults= 0
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6286
involuntary context switches= 7304


# summary of solver processes directly reported to runsolver:
#   pid: 24906
#   total CPU time (s): 546.432
#   total CPU user time (s): 544.722
#   total CPU system time (s): 1.70986

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.60833 second user time and 0.898323 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-17 08:49:20
IDJOB=4399539
IDBENCH=123874
IDSOLVER=2854
FILE ID=node136/4399539-1568703004
RUNJOBID= node136-1568700438-24604
PBS_JOBID= 21703894
Free space on /tmp= 61144 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/Bibd/Bibd-sum-stab1/Bibd-sum-25-05-01.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399539-1568703004/watcher-4399539-1568703004 -o /tmp/evaluation-result-4399539-1568703004/solver-4399539-1568703004 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568700438-24604 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2109469504 HOME/instance-4399539-1568703004.xml

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

MD5SUM BENCH= 8664f4f5c29eba7e0c756194721bfaf5
RANDOM SEED=2109469504

node136.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.00
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.54
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.00
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.54
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.00
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.54
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.00
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31687564 kB
MemAvailable:   31900156 kB
Buffers:           66836 kB
Cached:           447100 kB
SwapCached:         3548 kB
Active:           219372 kB
Inactive:         300504 kB
Active(anon):       5212 kB
Inactive(anon):    49444 kB
Active(file):     214160 kB
Inactive(file):   251060 kB
Unevictable:      110280 kB
Mlocked:          110280 kB
SwapTotal:      67108860 kB
SwapFree:       67002432 kB
Dirty:             26080 kB
Writeback:             0 kB
AnonPages:        113016 kB
Mapped:            48124 kB
Shmem:             40356 kB
Slab:             155064 kB
SReclaimable:     126412 kB
SUnreclaim:        28652 kB
KernelStack:        3408 kB
PageTables:         5664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61120 MiB
End job on node136 at 2019-09-17 08:50:29