Trace number 4404657

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-09-20 parallelOPT48 97.5695 12.7934

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t13-4.xml
MD5SUMb990a8dd86881825c48c70a9797e9fb6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark48
Best CPU time to get the best result obtained on this benchmark16.7654
Satisfiable
(Un)Satisfiability was proved
Number of variables693
Number of constraints75
Number of domains8
Minimum domain size2
Maximum domain size21
Distribution of domain sizes[{"size":2,"count":189},{"size":5,"count":63},{"size":7,"count":126},{"size":10,"count":63},{"size":17,"count":63},{"size":19,"count":63},{"size":20,"count":63},{"size":21,"count":63}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":693}]
Minimum constraint arity11
Maximum constraint arity630
Distribution of constraint arities[{"arity":11,"count":63},{"arity":63,"count":11},{"arity":630,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":73}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404657-1568997082.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404657-1568997082.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.37/0.68	c solve instance...
4.09/1.10	o 62 
4.95/1.15	o 61 
4.95/1.19	o 60 
5.55/1.26	o 59 
5.55/1.28	o 58 
6.30/1.30	o 57 
6.30/1.31	o 56 
6.30/1.35	o 55 
8.64/1.68	o 54 
9.43/1.76	o 53 
10.23/1.83	o 52 
10.23/1.85	o 51 
10.92/2.00	o 50 
11.76/2.02	o 49 
11.76/2.04	o 48 
96.90/12.78	s OPTIMUM FOUND
96.90/12.78	v <instantiation>
96.90/12.78	v 	<list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[30][0] r[30][1] r[30][2] r[30][3] r[30][4] r[30][5] r[30][6] r[30][7] r[30][8] r[30][9] r[31][0] r[31][1] r[31][2] r[31][3] r[31][4] r[31][5] r[31][6] r[31][7] r[31][8] r[31][9] r[32][0] r[32][1] r[32][2] r[32][3] r[32][4] r[32][5] r[32][6] r[32][7] r[32][8] r[32][9] r[33][0] r[33][1] r[33][2] r[33][3] r[33][4] r[33][5] r[33][6] r[33][7] r[33][8] r[33][9] r[34][0] r[34][1] r[34][2] r[34][3] r[34][4] r[34][5] r[34][6] r[34][7] r[34][8] r[34][9] r[35][0] r[35][1] r[35][2] r[35][3] r[35][4] r[35][5] r[35][6] r[35][7] r[35][8] r[35][9] r[36][0] r[36][1] r[36][2] r[36][3] r[36][4] r[36][5] r[36][6] r[36][7] r[36][8] r[36][9] r[37][0] r[37][1] r[37][2] r[37][3] r[37][4] r[37][5] r[37][6] r[37][7] r[37][8] r[37][9] r[38][0] r[38][1] r[38][2] r[38][3] r[38][4] r[38][5] r[38][6] r[38][7] r[38][8] r[38][9] r[39][0] r[39][1] r[39][2] r[39][3] r[39][4] r[39][5] r[39][6] r[39][7] r[39][8] r[39][9] r[40][0] r[40][1] r[40][2] r[40][3] r[40][4] r[40][5] r[40][6] r[40][7] r[40][8] r[40][9] r[41][0] r[41][1] r[41][2] r[41][3] r[41][4] r[41][5] r[41][6] r[41][7] r[41][8] r[41][9] r[42][0] r[42][1] r[42][2] r[42][3] r[42][4] r[42][5] r[42][6] r[42][7] r[42][8] r[42][9] r[43][0] r[43][1] r[43][2] r[43][3] r[43][4] r[43][5] r[43][6] r[43][7] r[43][8] r[43][9] r[44][0] r[44][1] r[44][2] r[44][3] r[44][4] r[44][5] r[44][6] r[44][7] r[44][8] r[44][9] r[45][0] r[45][1] r[45][2] r[45][3] r[45][4] r[45][5] r[45][6] r[45][7] r[45][8] r[45][9] r[46][0] r[46][1] r[46][2] r[46][3] r[46][4] r[46][5] r[46][6] r[46][7] r[46][8] r[46][9] r[47][0] r[47][1] r[47][2] r[47][3] r[47][4] r[47][5] r[47][6] r[47][7] r[47][8] r[47][9] r[48][0] r[48][1] r[48][2] r[48][3] r[48][4] r[48][5] r[48][6] r[48][7] r[48][8] r[48][9] r[49][0] r[49][1] r[49][2] r[49][3] r[49][4] r[49][5] r[49][6] r[49][7] r[49][8] r[49][9] r[50][0] r[50][1] r[50][2] r[50][3] r[50][4] r[50][5] r[50][6] r[50][7] r[50][8] r[50][9] r[51][0] r[51][1] r[51][2] r[51][3] r[51][4] r[51][5] r[51][6] r[51][7] r[51][8] r[51][9] r[52][0] r[52][1] r[52][2] r[52][3] r[52][4] r[52][5] r[52][6] r[52][7] r[52][8] r[52][9] r[53][0] r[53][1] r[53][2] r[53][3] r[53][4] r[53][5] r[53][6] r[53][7] r[53][8] r[53][9] r[54][0] r[54][1] r[54][2] r[54][3] r[54][4] r[54][5] r[54][6] r[54][7] r[54][8] r[54][9] r[55][0] r[55][1] r[55][2] r[55][3] r[55][4] r[55][5] r[55][6] r[55][7] r[55][8] r[55][9] r[56][0] r[56][1] r[56][2] r[56][3] r[56][4] r[56][5] r[56][6] r[56][7] r[56][8] r[56][9] r[57][0] r[57][1] r[57][2] r[57][3] r[57][4] r[57][5] r[57][6] r[57][7] r[57][8] r[57][9] r[58][0] r[58][1] r[58][2] r[58][3] r[58][4] r[58][5] r[58][6] r[58][7] r[58][8] r[58][9] r[59][0] r[59][1] r[59][2] r[59][3] r[59][4] r[59][5] r[59][6] r[59][7] r[59][8] r[59][9] r[60][0] r[60][1] r[60][2] r[60][3] r[60][4] r[60][5] r[60][6] r[60][7] r[60][8] r[60][9] r[61][0] r[61][1] r[61][2] r[61][3] r[61][4] r[61][5] r[61][6] r[61][7] r[61][8] r[61][9] r[62][0] r[62][1] r[62][2] r[62][3] r[62][4] r[62][5] r[62][6] r[62][7] r[62][8] r[62][9] </list>
96.90/12.78	v 	<values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 2 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 2 0 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values>
96.90/12.78	v </instantiation>

Verifier Data 

OK	48

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404657-1568997082/watcher-4404657-1568997082 -o /var/tmp/evaluation-result-4404657-1568997082/solver-4404657-1568997082 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 997416502 HOME/instance-4404657-1568997082.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
Starting watchdog thread
solver pid=3560, runsolver pid=3557
Current StackSize limit: 8192 KiB


[startup+0.100121 s]*
/proc/loadavg: 8.38 8.38 8.30 2/212 3581
/proc/meminfo: memFree=11789116/32770624 swapFree=66956696/67108860
[pid=3560] ppid=3557 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3560/stat : 3560 (xcsp3-exec) S 3557 3560 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475946841 115843072 362 33554432000 4194304 5098028 140736791625152 140736791623256 140713309581948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34459648 140736791630674 140736791630933 140736791630933 140736791633862 0
/proc/3560/statm: 28282 362 304 221 0 87 0
[pid=3562] ppid=3560 vsize=28227396 memory=29928 CPUtime=0.12 cores=0-7
/proc/3562/stat : 3562 (java) S 3560 3560 3200 0 -1 1077944320 5965 0 0 0 10 2 0 0 20 0 20 0 475946841 28904853504 7482 33554432000 4194304 4196468 140720961217568 140720961200112 140013099032311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
/proc/3562/statm: 7056849 7482 3124 1 0 7019032 0
[pid=3562/tid=3563] ppid=3560 vsize=28227396 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/3562/task/3563/stat : 3563 (java) R 3560 3560 3200 0 -1 4202560 3867 0 0 0 8 0 0 0 20 0 20 0 475946841 28904853504 7482 33554432000 4194304 4196468 140720961217568 140013103258912 140013099054237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3564] ppid=3560 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3562/task/3564/stat : 3564 (java) S 3560 3560 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475946842 28904853504 7482 33554432000 4194304 4196468 140720961217568 140013051653008 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3565] ppid=3560 vsize=28227396 memory=140053096068736 CPUtime=0 cores=0-7
/proc/3562/task/3565/stat : 3565 (java) S 3560 3560 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475946842 28904853504 7482 33554432000 4194304 4196468 140720961217568 140013050600208 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3566] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3566/stat : 3566 (java) S 3560 3560 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475946842 28904853504 7482 33554432000 4194304 4196468 140720961217568 140013049547920 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3567] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3567/stat : 3567 (java) S 3560 3560 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475946842 28904853504 7482 33554432000 4194304 4196468 140720961217568 140012647472144 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3568] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3568/stat : 3568 (java) S 3560 3560 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475946842 28904853504 7482 33554432000 4194304 4196468 140720961217568 140012646418832 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3569] ppid=3560 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3562/task/3569/stat : 3569 (java) S 3560 3560 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475946842 28904853504 7482 33554432000 4194304 4196468 140720961217568 140012645366032 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3570] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3570/stat : 3570 (java) S 3560 3560 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475946842 28904853504 7482 33554432000 4194304 4196468 140720961217568 140012644313744 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3571] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3571/stat : 3571 (java) S 3560 3560 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475946842 28904853504 7482 33554432000 4194304 4196468 140720961217568 140012643260944 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3572] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3572/stat : 3572 (java) S 3560 3560 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475946844 28904853504 7482 33554432000 4194304 4196468 140720961217568 140012215351920 140013099043458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3573] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3573/stat : 3573 (java) S 3560 3560 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475946844 28904853504 7482 33554432000 4194304 4196468 140720961217568 140012214297888 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3574] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3574/stat : 3574 (java) S 3560 3560 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475946844 28904853504 7482 33554432000 4194304 4196468 140720961217568 140012213245552 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3575] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3575/stat : 3575 (java) S 3560 3560 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475946847 28904853504 7482 33554432000 4194304 4196468 140720961217568 140012212193872 140013099050907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3576] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3576/stat : 3576 (java) S 3560 3560 3200 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 475946847 28904853504 7482 33554432000 4194304 4196468 140720961217568 140012211140720 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3577] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3577/stat : 3577 (java) S 3560 3560 3200 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 475946847 28904853504 7482 33554432000 4194304 4196468 140720961217568 140012210087920 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3578] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3578/stat : 3578 (java) S 3560 3560 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475946847 28904853504 7482 33554432000 4194304 4196468 140720961217568 140012209035632 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3579] ppid=3560 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3562/task/3579/stat : 3579 (java) R 3560 3560 3200 0 -1 4202560 365 0 0 0 1 0 0 0 20 0 20 0 475946847 28904853504 7482 33554432000 4194304 4196468 140720961217568 140012207982832 140013078049340 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3580] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3580/stat : 3580 (java) S 3560 3560 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475946847 28904853504 7482 33554432000 4194304 4196468 140720961217568 140012206930784 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3581] ppid=3560 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3562/task/3581/stat : 3581 (java) S 3560 3560 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475946847 28904853504 7482 33554432000 4194304 4196468 140720961217568 140012205878064 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31376 KiB

[startup+0.210511 s]*
/proc/loadavg: 8.38 8.38 8.30 3/212 3581
/proc/meminfo: memFree=11777636/32770624 swapFree=66956696/67108860
[pid=3560] ppid=3557 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3560/stat : 3560 (xcsp3-exec) S 3557 3560 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475946841 115843072 362 33554432000 4194304 5098028 140736791625152 140736791623256 140713309581948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34459648 140736791630674 140736791630933 140736791630933 140736791633862 0
/proc/3560/statm: 28282 362 304 221 0 87 0
[pid=3562] ppid=3560 vsize=28227396 memory=40660 CPUtime=0.33 cores=0-7
/proc/3562/stat : 3562 (java) S 3560 3560 3200 0 -1 1077944320 9418 0 0 0 30 3 0 0 20 0 20 0 475946841 28904853504 10165 33554432000 4194304 4196468 140720961217568 140720961200112 140013099032311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
/proc/3562/statm: 7056849 10165 3297 1 0 7019032 0
[pid=3562/tid=3563] ppid=3560 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/3562/task/3563/stat : 3563 (java) R 3560 3560 3200 0 -1 4202560 6670 0 0 0 18 2 0 0 20 0 20 0 475946841 28904853504 10165 33554432000 4194304 4196468 140720961217568 140013103269072 140012729434176 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3564] ppid=3560 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/3562/task/3564/stat : 3564 (java) S 3560 3560 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475946842 28904853504 10165 33554432000 4194304 4196468 140720961217568 140013051653008 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3565] ppid=3560 vsize=28227396 memory=288370429247780480 CPUtime=0 cores=0-7
/proc/3562/task/3565/stat : 3565 (java) S 3560 3560 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475946842 28904853504 10165 33554432000 4194304 4196468 140720961217568 140013050600208 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3566] ppid=3560 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3562/task/3566/stat : 3566 (java) S 3560 3560 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475946842 28904853504 10165 33554432000 4194304 4196468 140720961217568 140013049547920 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3567] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3567/stat : 3567 (java) S 3560 3560 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475946842 28904853504 10165 33554432000 4194304 4196468 140720961217568 140012647472144 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3568] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3568/stat : 3568 (java) S 3560 3560 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475946842 28904853504 10165 33554432000 4194304 4196468 140720961217568 140012646418832 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3569] ppid=3560 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3562/task/3569/stat : 3569 (java) S 3560 3560 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475946842 28904853504 10165 33554432000 4194304 4196468 140720961217568 140012645366032 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3570] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3570/stat : 3570 (java) S 3560 3560 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475946842 28904853504 10165 33554432000 4194304 4196468 140720961217568 140012644313744 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3571] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3571/stat : 3571 (java) S 3560 3560 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475946842 28904853504 10165 33554432000 4194304 4196468 140720961217568 140012643260944 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3572] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3572/stat : 3572 (java) S 3560 3560 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475946844 28904853504 10165 33554432000 4194304 4196468 140720961217568 140012215351920 140013099043458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3573] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3573/stat : 3573 (java) S 3560 3560 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475946844 28904853504 10165 33554432000 4194304 4196468 140720961217568 140012214297888 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3574] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3574/stat : 3574 (java) S 3560 3560 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475946844 28904853504 10165 33554432000 4194304 4196468 140720961217568 140012213245552 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3575] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3575/stat : 3575 (java) S 3560 3560 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475946847 28904853504 10165 33554432000 4194304 4196468 140720961217568 140012212193872 140013099050907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3576] ppid=3560 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3562/task/3576/stat : 3576 (java) S 3560 3560 3200 0 -1 1077944384 395 0 0 0 1 0 0 0 20 0 20 0 475946847 28904853504 10165 33554432000 4194304 4196468 140720961217568 140012211140720 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3577] ppid=3560 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/3562/task/3577/stat : 3577 (java) S 3560 3560 3200 0 -1 1077944384 201 0 0 0 1 0 0 0 20 0 20 0 475946847 28904853504 10165 33554432000 4194304 4196468 140720961217568 140012210087920 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3578] ppid=3560 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/3562/task/3578/stat : 3578 (java) S 3560 3560 3200 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 20 0 475946847 28904853504 10165 33554432000 4194304 4196468 140720961217568 140012209035632 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3579] ppid=3560 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/3562/task/3579/stat : 3579 (java) R 3560 3560 3200 0 -1 4202560 777 0 0 0 7 0 0 0 20 0 20 0 475946847 28904853504 10165 33554432000 4194304 4196468 140720961217568 140012207982832 140013099053658 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3580] ppid=3560 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3580/stat : 3580 (java) S 3560 3560 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475946847 28904853504 10165 33554432000 4194304 4196468 140720961217568 140012206930784 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3581] ppid=3560 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/3562/task/3581/stat : 3581 (java) S 3560 3560 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475946847 28904853504 10165 33554432000 4194304 4196468 140720961217568 140012205878064 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42108 KiB

[startup+0.310923 s]*
/proc/loadavg: 8.38 8.38 8.30 4/212 3581
/proc/meminfo: memFree=11770828/32770624 swapFree=66956696/67108860
[pid=3560] ppid=3557 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3560/stat : 3560 (xcsp3-exec) S 3557 3560 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475946841 115843072 362 33554432000 4194304 5098028 140736791625152 140736791623256 140713309581948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34459648 140736791630674 140736791630933 140736791630933 140736791633862 0
/proc/3560/statm: 28282 362 304 221 0 87 0
[pid=3562] ppid=3560 vsize=28231652 memory=50072 CPUtime=0.52 cores=0-7
/proc/3562/stat : 3562 (java) S 3560 3560 3200 0 -1 1077944320 10843 0 0 0 48 4 0 0 20 0 20 0 475946841 28909211648 12518 33554432000 4194304 4196468 140720961217568 140720961200112 140013099032311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
/proc/3562/statm: 7057913 12518 3362 1 0 7019032 0
[pid=3562/tid=3563] ppid=3560 vsize=28231652 memory=8112282956445269571 CPUtime=0.3 cores=0-7
/proc/3562/task/3563/stat : 3563 (java) R 3560 3560 3200 0 -1 4202560 7847 0 0 0 27 3 0 0 20 0 20 0 475946841 28909211648 12588 33554432000 4194304 4196468 140720961217568 140013103263424 140013091749274 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3564] ppid=3560 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3564/stat : 3564 (java) S 3560 3560 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475946842 28909211648 12588 33554432000 4194304 4196468 140720961217568 140013051653008 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3565] ppid=3560 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3565/stat : 3565 (java) S 3560 3560 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475946842 28909211648 12588 33554432000 4194304 4196468 140720961217568 140013050600208 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3566] ppid=3560 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3566/stat : 3566 (java) S 3560 3560 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475946842 28909211648 12588 33554432000 4194304 4196468 140720961217568 140013049547920 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3567] ppid=3560 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3567/stat : 3567 (java) S 3560 3560 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475946842 28909211648 12588 33554432000 4194304 4196468 140720961217568 140012647472144 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3568] ppid=3560 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/3562/task/3568/stat : 3568 (java) S 3560 3560 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475946842 28909211648 12588 33554432000 4194304 4196468 140720961217568 140012646418832 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3569] ppid=3560 vsize=28231652 memory=140052978037679 CPUtime=0 cores=0-7
/proc/3562/task/3569/stat : 3569 (java) S 3560 3560 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475946842 28909211648 12588 33554432000 4194304 4196468 140720961217568 140012645366032 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3570] ppid=3560 vsize=28231652 memory=140052978039984 CPUtime=0 cores=0-7
/proc/3562/task/3570/stat : 3570 (java) S 3560 3560 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475946842 28909211648 12588 33554432000 4194304 4196468 140720961217568 140012644313744 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3571] ppid=3560 vsize=28231652 memory=140052978042288 CPUtime=0 cores=0-7
/proc/3562/task/3571/stat : 3571 (java) S 3560 3560 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475946842 28909211648 12588 33554432000 4194304 4196468 140720961217568 140012643260944 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3572] ppid=3560 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3572/stat : 3572 (java) S 3560 3560 3200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475946844 28909211648 12588 33554432000 4194304 4196468 140720961217568 140012215351920 140013099043458 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3573] ppid=3560 vsize=28231652 memory=280105956091536 CPUtime=0 cores=0-7
/proc/3562/task/3573/stat : 3573 (java) S 3560 3560 3200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475946844 28909211648 12588 33554432000 4194304 4196468 140720961217568 140012214297888 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3574] ppid=3560 vsize=28231652 memory=280105956098448 CPUtime=0 cores=0-7
/proc/3562/task/3574/stat : 3574 (java) S 3560 3560 3200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475946844 28909211648 12588 33554432000 4194304 4196468 140720961217568 140012213245552 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3575] ppid=3560 vsize=28231652 memory=280105956039600 CPUtime=0 cores=0-7
/proc/3562/task/3575/stat : 3575 (java) S 3560 3560 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475946847 28909211648 12588 33554432000 4194304 4196468 140720961217568 140012212193872 140013099050907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3576] ppid=3560 vsize=28231652 memory=280105956112272 CPUtime=0.03 cores=0-7
/proc/3562/task/3576/stat : 3576 (java) R 3560 3560 3200 0 -1 4202560 483 0 0 0 3 0 0 0 20 0 20 0 475946847 28909211648 12588 33554432000 4194304 4196468 140720961217568 140012211131104 140013083958869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3577] ppid=3560 vsize=28231652 memory=280105956119184 CPUtime=0.02 cores=0-7
/proc/3562/task/3577/stat : 3577 (java) S 3560 3560 3200 0 -1 1077944384 207 0 0 0 2 0 0 0 20 0 20 0 475946847 28909211648 12588 33554432000 4194304 4196468 140720961217568 140012210087920 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3578] ppid=3560 vsize=28231652 memory=280105956116880 CPUtime=0.01 cores=0-7
/proc/3562/task/3578/stat : 3578 (java) S 3560 3560 3200 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 20 0 475946847 28909211648 12588 33554432000 4194304 4196468 140720961217568 140012209035632 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3579] ppid=3560 vsize=28231652 memory=280105956133040 CPUtime=0.12 cores=0-7
/proc/3562/task/3579/stat : 3579 (java) S 3560 3560 3200 0 -1 1077944384 944 0 0 0 12 0 0 0 20 0 20 0 475946847 28909211648 12588 33554432000 4194304 4196468 140720961217568 140012207982832 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3580] ppid=3560 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3580/stat : 3580 (java) S 3560 3560 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475946847 28909211648 12588 33554432000 4194304 4196468 140720961217568 140012206930784 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3581] ppid=3560 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/3562/task/3581/stat : 3581 (java) S 3560 3560 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475946847 28909211648 12588 33554432000 4194304 4196468 140720961217568 140012205878064 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51520 KiB

[startup+0.700893 s]
/proc/loadavg: 8.38 8.38 8.30 5/212 3581
/proc/meminfo: memFree=11756504/32770624 swapFree=66956696/67108860
[pid=3560] ppid=3557 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3560/stat : 3560 (xcsp3-exec) S 3557 3560 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475946841 115843072 362 33554432000 4194304 5098028 140736791625152 140736791623256 140713309581948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34459648 140736791630674 140736791630933 140736791630933 140736791633862 0
/proc/3560/statm: 28282 362 304 221 0 87 0
[pid=3562] ppid=3560 vsize=28565568 memory=105684 CPUtime=1.8 cores=0-7
/proc/3562/stat : 3562 (java) S 3560 3560 3200 0 -1 1077944320 16731 0 0 0 172 8 0 0 20 0 24 0 475946841 29251141632 26421 33554432000 4194304 4196468 140720961217568 140720961200112 140013099032311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
/proc/3562/statm: 7125008 26421 3467 1 0 7086108 0
[pid=3562/tid=3563] ppid=3560 vsize=28500032 memory=280105956490928 CPUtime=0.67 cores=0-7
/proc/3562/task/3563/stat : 3563 (java) S 3560 3560 3200 0 -1 1077944384 9384 0 0 0 63 4 0 0 20 0 24 0 475946841 29184032768 26421 33554432000 4194304 4196468 140720961217568 140013103273088 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3564] ppid=3560 vsize=28500032 memory=140052978246512 CPUtime=0 cores=0-7
/proc/3562/task/3564/stat : 3564 (java) S 3560 3560 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 475946842 29184032768 26421 33554432000 4194304 4196468 140720961217568 140013051653008 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3565] ppid=3560 vsize=28500032 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3565/stat : 3565 (java) S 3560 3560 3200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 475946842 29184032768 26421 33554432000 4194304 4196468 140720961217568 140013050600208 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3566] ppid=3560 vsize=28500032 memory=6032 CPUtime=0 cores=0-7

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

[pid=3562/tid=3703] ppid=3560 vsize=28834908 memory=56 CPUtime=4.07 cores=0-7
/proc/3562/task/3703/stat : 3703 (java) R 3560 3560 3200 0 -1 4202560 85 0 0 0 407 0 0 0 20 0 28 0 475947046 29526945792 56919 33554432000 4194304 4196468 140720961217568 140012191396488 140012734931975 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3704] ppid=3560 vsize=28834908 memory=1943562 CPUtime=4.05 cores=0-7
/proc/3562/task/3704/stat : 3704 (java) R 3560 3560 3200 0 -1 4202560 75 0 0 0 405 0 0 0 20 0 28 0 475947046 29526945792 56919 33554432000 4194304 4196468 140720961217568 140012188238272 140012734931962 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3705] ppid=3560 vsize=28834908 memory=0 CPUtime=4.22 cores=0-7
/proc/3562/task/3705/stat : 3705 (java) R 3560 3560 3200 0 -1 4202560 207 0 0 0 422 0 0 0 20 0 28 0 475947046 29526945792 56919 33554432000 4194304 4196468 140720961217568 140012196658704 140012734861914 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3706] ppid=3560 vsize=28834908 memory=0 CPUtime=4.21 cores=0-7
/proc/3562/task/3706/stat : 3706 (java) R 3560 3560 3200 0 -1 4202560 269 0 0 0 418 3 0 0 20 0 28 0 475947046 29526945792 56919 33554432000 4194304 4196468 140720961217568 140012190343288 140012735162852 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3707] ppid=3560 vsize=28834908 memory=1448 CPUtime=4.16 cores=0-7
/proc/3562/task/3707/stat : 3707 (java) R 3560 3560 3200 0 -1 4202560 156 0 0 0 416 0 0 0 20 0 28 0 475947046 29526945792 56919 33554432000 4194304 4196468 140720961217568 140012186132584 140012734861728 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3708] ppid=3560 vsize=28834908 memory=3620 CPUtime=4.15 cores=0-7
/proc/3562/task/3708/stat : 3708 (java) R 3560 3560 3200 0 -1 4202560 103 0 0 0 415 0 0 0 20 0 28 0 475947046 29526945792 56919 33554432000 4194304 4196468 140720961217568 140012192449608 140012729844768 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3709] ppid=3560 vsize=28834908 memory=54764 CPUtime=4.1 cores=0-7
/proc/3562/task/3709/stat : 3709 (java) R 3560 3560 3200 0 -1 4202560 133 0 0 0 410 0 0 0 20 0 28 0 475947046 29526945792 56919 33554432000 4194304 4196468 140720961217568 140012193501576 140012734861758 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
Current children cumulated CPU time: 45.85 s
Current children cumulated vsize: 28948036 KiB
Current children cumulated memory: 229124 KiB

[startup+12.702 s]
/proc/loadavg: 8.48 8.40 8.31 9/221 3712
/proc/meminfo: memFree=11592596/32770624 swapFree=66956696/67108860
[pid=3560] ppid=3557 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3560/stat : 3560 (xcsp3-exec) S 3557 3560 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475946841 115843072 362 33554432000 4194304 5098028 140736791625152 140736791623256 140713309581948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34459648 140736791630674 140736791630933 140736791630933 140736791633862 0
/proc/3560/statm: 28282 362 304 221 0 87 0
[pid=3562] ppid=3560 vsize=28834908 memory=227876 CPUtime=96.9 cores=0-7
/proc/3562/stat : 3562 (java) S 3560 3560 3200 0 -1 1077944320 36230 0 0 0 9666 24 0 0 20 0 28 0 475946841 29526945792 56969 33554432000 4194304 4196468 140720961217568 140720961200112 140013099032311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
/proc/3562/statm: 7208727 56969 3532 1 0 7169827 0
[pid=3562/tid=3563] ppid=3560 vsize=28834908 memory=0 CPUtime=0.69 cores=0-7
/proc/3562/task/3563/stat : 3563 (java) S 3560 3560 3200 0 -1 1077944384 9386 0 0 0 65 4 0 0 20 0 28 0 475946841 29526945792 56969 33554432000 4194304 4196468 140720961217568 140013103273088 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3564] ppid=3560 vsize=28834908 memory=227876 CPUtime=0 cores=0-7
/proc/3562/task/3564/stat : 3564 (java) S 3560 3560 3200 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 475946842 29526945792 56969 33554432000 4194304 4196468 140720961217568 140013051653008 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3565] ppid=3560 vsize=28834908 memory=3620 CPUtime=0.01 cores=0-7
/proc/3562/task/3565/stat : 3565 (java) S 3560 3560 3200 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 28 0 475946842 29526945792 56969 33554432000 4194304 4196468 140720961217568 140013050600208 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3566] ppid=3560 vsize=28834908 memory=54764 CPUtime=0.01 cores=0-7
/proc/3562/task/3566/stat : 3566 (java) S 3560 3560 3200 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 28 0 475946842 29526945792 56969 33554432000 4194304 4196468 140720961217568 140013049547920 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3567] ppid=3560 vsize=28834908 memory=1988 CPUtime=0 cores=0-7
/proc/3562/task/3567/stat : 3567 (java) S 3560 3560 3200 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 475946842 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012647472144 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3568] ppid=3560 vsize=28834908 memory=0 CPUtime=0.01 cores=0-7
/proc/3562/task/3568/stat : 3568 (java) S 3560 3560 3200 0 -1 1077944384 809 0 0 0 1 0 0 0 20 0 28 0 475946842 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012646418832 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3569] ppid=3560 vsize=28834908 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3569/stat : 3569 (java) S 3560 3560 3200 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 475946842 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012645366032 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3570] ppid=3560 vsize=28834908 memory=280105957610592 CPUtime=0 cores=0-7
/proc/3562/task/3570/stat : 3570 (java) S 3560 3560 3200 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 28 0 475946842 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012644313744 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3571] ppid=3560 vsize=28834908 memory=0 CPUtime=0.01 cores=0-7
/proc/3562/task/3571/stat : 3571 (java) S 3560 3560 3200 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 28 0 475946842 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012643260944 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3572] ppid=3560 vsize=28834908 memory=2004690 CPUtime=0.01 cores=0-7
/proc/3562/task/3572/stat : 3572 (java) S 3560 3560 3200 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 28 0 475946844 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012215351920 140013099043458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3573] ppid=3560 vsize=28834908 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3573/stat : 3573 (java) S 3560 3560 3200 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 475946844 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012214297952 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3574] ppid=3560 vsize=28834908 memory=227836 CPUtime=0 cores=0-7
/proc/3562/task/3574/stat : 3574 (java) S 3560 3560 3200 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475946844 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012213245552 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3575] ppid=3560 vsize=28834908 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3575/stat : 3575 (java) S 3560 3560 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475946847 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012212193872 140013099050907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3576] ppid=3560 vsize=28834908 memory=852 CPUtime=1.24 cores=0-7
/proc/3562/task/3576/stat : 3576 (java) S 3560 3560 3200 0 -1 1077944384 5163 0 0 0 122 2 0 0 20 0 28 0 475946847 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012211140720 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3577] ppid=3560 vsize=28834908 memory=6944656575208382560 CPUtime=1.33 cores=0-7
/proc/3562/task/3577/stat : 3577 (java) S 3560 3560 3200 0 -1 1077944384 4483 0 0 0 131 2 0 0 20 0 28 0 475946847 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012210087920 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3578] ppid=3560 vsize=28834908 memory=0 CPUtime=1.32 cores=0-7
/proc/3562/task/3578/stat : 3578 (java) S 3560 3560 3200 0 -1 1077944384 3781 0 0 0 131 1 0 0 20 0 28 0 475946847 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012209035632 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3579] ppid=3560 vsize=28834908 memory=1448 CPUtime=0.73 cores=0-7
/proc/3562/task/3579/stat : 3579 (java) S 3560 3560 3200 0 -1 1077944384 4955 0 0 0 71 2 0 0 20 0 28 0 475946847 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012207982832 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3580] ppid=3560 vsize=28834908 memory=227024 CPUtime=0 cores=0-7
/proc/3562/task/3580/stat : 3580 (java) S 3560 3560 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475946847 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012206930784 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3581] ppid=3560 vsize=28834908 memory=1448 CPUtime=0 cores=0-7
/proc/3562/task/3581/stat : 3581 (java) S 3560 3560 3200 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 28 0 475946847 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012205878064 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3702] ppid=3560 vsize=28834908 memory=1448 CPUtime=10.44 cores=0-7
/proc/3562/task/3702/stat : 3702 (java) R 3560 3560 3200 0 -1 4202560 178 0 0 0 1044 0 0 0 20 0 28 0 475947046 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012187184664 140012735719253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3703] ppid=3560 vsize=28834908 memory=227876 CPUtime=10.47 cores=0-7
/proc/3562/task/3703/stat : 3703 (java) R 3560 3560 3200 0 -1 4202560 196 0 0 0 1047 0 0 0 20 0 28 0 475947046 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012191397064 140012734862238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3704] ppid=3560 vsize=28834908 memory=1448 CPUtime=10.34 cores=0-7
/proc/3562/task/3704/stat : 3704 (java) R 3560 3560 3200 0 -1 4202560 245 0 0 0 1034 0 0 0 20 0 28 0 475947046 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012188237832 140012735412191 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3705] ppid=3560 vsize=28834908 memory=227580 CPUtime=10.62 cores=0-7
/proc/3562/task/3705/stat : 3705 (java) R 3560 3560 3200 0 -1 4202560 494 0 0 0 1062 0 0 0 20 0 28 0 475947046 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012196659000 140012734861909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3706] ppid=3560 vsize=28834908 memory=8112282956445269571 CPUtime=10.58 cores=0-7
/proc/3562/task/3706/stat : 3706 (java) R 3560 3560 3200 0 -1 4202560 714 0 0 0 1055 3 0 0 20 0 28 0 475947046 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012190345576 140012735878237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3707] ppid=3560 vsize=28834908 memory=532 CPUtime=10.55 cores=0-7
/proc/3562/task/3707/stat : 3707 (java) R 3560 3560 3200 0 -1 4202560 369 0 0 0 1055 0 0 0 20 0 28 0 475947046 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012186132616 140012732965620 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3708] ppid=3560 vsize=28834908 memory=928 CPUtime=10.42 cores=0-7
/proc/3562/task/3708/stat : 3708 (java) R 3560 3560 3200 0 -1 4202560 208 0 0 0 1042 0 0 0 20 0 28 0 475947046 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012192448920 140012734932106 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3709] ppid=3560 vsize=28834908 memory=1720 CPUtime=10.46 cores=0-7
/proc/3562/task/3709/stat : 3709 (java) R 3560 3560 3200 0 -1 4202560 363 0 0 0 1046 0 0 0 20 0 28 0 475947046 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012193501544 140012734862011 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
Current children cumulated CPU time: 96.9 s
Current children cumulated vsize: 28948036 KiB
Current children cumulated memory: 229324 KiB

[startup+12.7933 s]
# the end of solver process 3560 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=97.3176 s, system=0.251999 s

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

[startup+12.702 s]
/proc/loadavg: 8.48 8.40 8.31 9/221 3712
/proc/meminfo: memFree=11592596/32770624 swapFree=66956696/67108860
[pid=3560] ppid=3557 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/3560/stat : 3560 (xcsp3-exec) S 3557 3560 3200 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475946841 115843072 362 33554432000 4194304 5098028 140736791625152 140736791623256 140713309581948 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34459648 140736791630674 140736791630933 140736791630933 140736791633862 0
/proc/3560/statm: 28282 362 304 221 0 87 0
[pid=3562] ppid=3560 vsize=28834908 memory=227876 CPUtime=96.9 cores=0-7
/proc/3562/stat : 3562 (java) S 3560 3560 3200 0 -1 1077944320 36230 0 0 0 9666 24 0 0 20 0 28 0 475946841 29526945792 56969 33554432000 4194304 4196468 140720961217568 140720961200112 140013099032311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
/proc/3562/statm: 7208727 56969 3532 1 0 7169827 0
[pid=3562/tid=3563] ppid=3560 vsize=28834908 memory=0 CPUtime=0.69 cores=0-7
/proc/3562/task/3563/stat : 3563 (java) S 3560 3560 3200 0 -1 1077944384 9386 0 0 0 65 4 0 0 20 0 28 0 475946841 29526945792 56969 33554432000 4194304 4196468 140720961217568 140013103273088 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3564] ppid=3560 vsize=28834908 memory=227876 CPUtime=0 cores=0-7
/proc/3562/task/3564/stat : 3564 (java) S 3560 3560 3200 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 475946842 29526945792 56969 33554432000 4194304 4196468 140720961217568 140013051653008 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3565] ppid=3560 vsize=28834908 memory=3620 CPUtime=0.01 cores=0-7
/proc/3562/task/3565/stat : 3565 (java) S 3560 3560 3200 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 28 0 475946842 29526945792 56969 33554432000 4194304 4196468 140720961217568 140013050600208 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3566] ppid=3560 vsize=28834908 memory=54764 CPUtime=0.01 cores=0-7
/proc/3562/task/3566/stat : 3566 (java) S 3560 3560 3200 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 28 0 475946842 29526945792 56969 33554432000 4194304 4196468 140720961217568 140013049547920 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3567] ppid=3560 vsize=28834908 memory=1988 CPUtime=0 cores=0-7
/proc/3562/task/3567/stat : 3567 (java) S 3560 3560 3200 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 28 0 475946842 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012647472144 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3568] ppid=3560 vsize=28834908 memory=0 CPUtime=0.01 cores=0-7
/proc/3562/task/3568/stat : 3568 (java) S 3560 3560 3200 0 -1 1077944384 809 0 0 0 1 0 0 0 20 0 28 0 475946842 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012646418832 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3569] ppid=3560 vsize=28834908 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3569/stat : 3569 (java) S 3560 3560 3200 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 475946842 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012645366032 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3570] ppid=3560 vsize=28834908 memory=280105957610592 CPUtime=0 cores=0-7
/proc/3562/task/3570/stat : 3570 (java) S 3560 3560 3200 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 28 0 475946842 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012644313744 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3571] ppid=3560 vsize=28834908 memory=0 CPUtime=0.01 cores=0-7
/proc/3562/task/3571/stat : 3571 (java) S 3560 3560 3200 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 28 0 475946842 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012643260944 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3572] ppid=3560 vsize=28834908 memory=2004690 CPUtime=0.01 cores=0-7
/proc/3562/task/3572/stat : 3572 (java) S 3560 3560 3200 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 28 0 475946844 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012215351920 140013099043458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3573] ppid=3560 vsize=28834908 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3573/stat : 3573 (java) S 3560 3560 3200 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 475946844 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012214297952 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3574] ppid=3560 vsize=28834908 memory=227836 CPUtime=0 cores=0-7
/proc/3562/task/3574/stat : 3574 (java) S 3560 3560 3200 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475946844 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012213245552 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3575] ppid=3560 vsize=28834908 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3575/stat : 3575 (java) S 3560 3560 3200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475946847 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012212193872 140013099050907 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3576] ppid=3560 vsize=28834908 memory=852 CPUtime=1.24 cores=0-7
/proc/3562/task/3576/stat : 3576 (java) S 3560 3560 3200 0 -1 1077944384 5163 0 0 0 122 2 0 0 20 0 28 0 475946847 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012211140720 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3577] ppid=3560 vsize=28834908 memory=6944656575208382560 CPUtime=1.33 cores=0-7
/proc/3562/task/3577/stat : 3577 (java) S 3560 3560 3200 0 -1 1077944384 4483 0 0 0 131 2 0 0 20 0 28 0 475946847 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012210087920 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3578] ppid=3560 vsize=28834908 memory=0 CPUtime=1.32 cores=0-7
/proc/3562/task/3578/stat : 3578 (java) S 3560 3560 3200 0 -1 1077944384 3781 0 0 0 131 1 0 0 20 0 28 0 475946847 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012209035632 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3579] ppid=3560 vsize=28834908 memory=1448 CPUtime=0.73 cores=0-7
/proc/3562/task/3579/stat : 3579 (java) S 3560 3560 3200 0 -1 1077944384 4955 0 0 0 71 2 0 0 20 0 28 0 475946847 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012207982832 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3580] ppid=3560 vsize=28834908 memory=227024 CPUtime=0 cores=0-7
/proc/3562/task/3580/stat : 3580 (java) S 3560 3560 3200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475946847 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012206930784 140013099042517 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3581] ppid=3560 vsize=28834908 memory=1448 CPUtime=0 cores=0-7
/proc/3562/task/3581/stat : 3581 (java) S 3560 3560 3200 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 28 0 475946847 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012205878064 140013099043458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3702] ppid=3560 vsize=28834908 memory=1448 CPUtime=10.44 cores=0-7
/proc/3562/task/3702/stat : 3702 (java) R 3560 3560 3200 0 -1 4202560 178 0 0 0 1044 0 0 0 20 0 28 0 475947046 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012187184664 140012735719253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3703] ppid=3560 vsize=28834908 memory=227876 CPUtime=10.47 cores=0-7
/proc/3562/task/3703/stat : 3703 (java) R 3560 3560 3200 0 -1 4202560 196 0 0 0 1047 0 0 0 20 0 28 0 475947046 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012191397064 140012734862238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3704] ppid=3560 vsize=28834908 memory=1448 CPUtime=10.34 cores=0-7
/proc/3562/task/3704/stat : 3704 (java) R 3560 3560 3200 0 -1 4202560 245 0 0 0 1034 0 0 0 20 0 28 0 475947046 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012188237832 140012735412191 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3705] ppid=3560 vsize=28834908 memory=227580 CPUtime=10.62 cores=0-7
/proc/3562/task/3705/stat : 3705 (java) R 3560 3560 3200 0 -1 4202560 494 0 0 0 1062 0 0 0 20 0 28 0 475947046 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012196659000 140012734861909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3706] ppid=3560 vsize=28834908 memory=8112282956445269571 CPUtime=10.58 cores=0-7
/proc/3562/task/3706/stat : 3706 (java) R 3560 3560 3200 0 -1 4202560 714 0 0 0 1055 3 0 0 20 0 28 0 475947046 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012190345576 140012735878237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3707] ppid=3560 vsize=28834908 memory=532 CPUtime=10.55 cores=0-7
/proc/3562/task/3707/stat : 3707 (java) R 3560 3560 3200 0 -1 4202560 369 0 0 0 1055 0 0 0 20 0 28 0 475947046 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012186132616 140012732965620 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3708] ppid=3560 vsize=28834908 memory=928 CPUtime=10.42 cores=0-7
/proc/3562/task/3708/stat : 3708 (java) R 3560 3560 3200 0 -1 4202560 208 0 0 0 1042 0 0 0 20 0 28 0 475947046 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012192448920 140012734932106 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
[pid=3562/tid=3709] ppid=3560 vsize=28834908 memory=1720 CPUtime=10.46 cores=0-7
/proc/3562/task/3709/stat : 3709 (java) R 3560 3560 3200 0 -1 4202560 363 0 0 0 1046 0 0 0 20 0 28 0 475947046 29526945792 56969 33554432000 4194304 4196468 140720961217568 140012193501544 140012734862011 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38547456 140720961225686 140720961225862 140720961225862 140720961228751 0
Current children cumulated CPU time: 96.9 s
Current children cumulated vsize: 28948036 KiB
Current children cumulated memory: 229324 KiB

Child status: 0
Real time (s): 12.7934
CPU time (s): 97.5695
CPU user time (s): 97.3176
CPU system time (s): 0.251999
CPU usage (%): 762.656
Max. virtual memory (cumulated for all children) (KiB): 28948036
Max. memory (cumulated for all children) (KiB): 229324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 97.3175
system time used= 0.251999
maximum resident set size= 227932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38005
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5259
involuntary context switches= 1717


# summary of solver processes directly reported to runsolver:
#   pid: 3560
#   total CPU time (s): 97.5695
#   total CPU user time (s): 97.3176
#   total CPU system time (s): 0.251999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.112407 second user time and 0.186656 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-20 18:30:44
IDJOB=4404657
IDBENCH=124246
IDSOLVER=2865
FILE ID=node149/4404657-1568997082
RUNJOBID= node149-1568994522-3227
PBS_JOBID= 21704727
Free space on /var/tmp= 13484 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t13-4.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404657-1568997082/watcher-4404657-1568997082 -o /var/tmp/evaluation-result-4404657-1568997082/solver-4404657-1568997082 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node149-1568994522-3227 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 997416502 HOME/instance-4404657-1568997082.xml

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

MD5SUM BENCH= b990a8dd86881825c48c70a9797e9fb6
RANDOM SEED=997416502

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        11807996 kB
MemAvailable:   31817072 kB
Buffers:          160956 kB
Cached:         19740308 kB
SwapCached:        41656 kB
Active:          9629364 kB
Inactive:       10315644 kB
Active(anon):       4112 kB
Inactive(anon):    83656 kB
Active(file):    9625252 kB
Inactive(file): 10231988 kB
Unevictable:      110220 kB
Mlocked:          110220 kB
SwapTotal:      67108860 kB
SwapFree:       66956696 kB
Dirty:             26048 kB
Writeback:             0 kB
AnonPages:        112240 kB
Mapped:            51196 kB
Shmem:             35664 kB
Slab:             610500 kB
SReclaimable:     580296 kB
SUnreclaim:        30204 kB
KernelStack:        3456 kB
PageTables:         5272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

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