Trace number 4399972

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-16 parallelSAT (TO)19 20018.4 2520.1

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t03-4.xml
MD5SUM3320713010bd27ff074c3709fe864950
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark2519.47
Satisfiable
(Un)Satisfiability was proved
Number of variables672
Number of constraints54
Number of domains14
Minimum domain size2
Maximum domain size19
Distribution of domain sizes[{"size":2,"count":96},{"size":3,"count":32},{"size":6,"count":32},{"size":7,"count":64},{"size":8,"count":32},{"size":9,"count":32},{"size":10,"count":32},{"size":11,"count":64},{"size":12,"count":32},{"size":13,"count":32},{"size":15,"count":32},{"size":16,"count":64},{"size":17,"count":64},{"size":19,"count":64}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":672}]
Minimum constraint arity21
Maximum constraint arity640
Distribution of constraint arities[{"arity":21,"count":32},{"arity":32,"count":21},{"arity":640,"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":52}]
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-4399972-1568703285.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399972-1568703285.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
1.41/0.66	c solve instance...
10.54/1.90	o 32 
11.31/1.92	o 31 
11.31/2.01	o 28 
12.58/2.13	o 27 
13.27/2.29	o 26 
14.07/2.34	o 25 
14.07/2.38	o 24 
15.61/2.54	o 23 
16.42/2.65	o 22 
16.42/2.66	o 21 
17.05/2.74	o 20 
19.44/3.05	o 19 
20017.81/2520.07	s SATISFIABLE
20017.81/2520.07	v <instantiation>
20017.81/2520.07	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] 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[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] 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[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] 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[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] 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[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] 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[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] 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[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] 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[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] 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[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] 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[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] 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[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] 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[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] 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[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] 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[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] 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[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] 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[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] 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[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] 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[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] 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[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] 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[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] 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[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] 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[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] 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[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] 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[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] 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[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] 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[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] 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[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] 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[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] 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[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] 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[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] 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[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] 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[30][10] r[30][11] r[30][12] r[30][13] r[30][14] r[30][15] r[30][16] r[30][17] r[30][18] r[30][19] 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[31][10] r[31][11] r[31][12] r[31][13] r[31][14] r[31][15] r[31][16] r[31][17] r[31][18] r[31][19] </list>
20017.81/2520.07	v 	<values>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 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 10 0 2 0 1 0 0 0 0 0 0 0 0 6 0 0 0 0 0 0 0 0 1 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 7 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 6 5 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 6 5 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 6 5 0 0 0 0 0 1 0 0 0 3 0 0 1 0 0 0 0 0 0 0 4 0 0 0 0 1 0 0 0 0 2 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 1 0 1 0 1 0 0 0 0 0 2 1 0 0 0 0 2 0 1 0 1 0 1 0 1 0 0 0 0 0 2 1 0 0 0 0 2 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 11 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 3 4 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 3 4 0 0 0 0 0 0 0 0 6 0 0 1 0 0 0 0 6 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 5 0 0 0 0 0 0 0 0 6 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 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>
20017.81/2520.07	v </instantiation>
20017.81/2520.07	c Unexpected resolution interruption!

Verifier Data 

OK	19

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399972-1568703285/watcher-4399972-1568703285 -o /tmp/evaluation-result-4399972-1568703285/solver-4399972-1568703285 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568700717-27810 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2030552056 HOME/instance-4399972-1568703285.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
solver pid=28476, runsolver pid=28473
Current StackSize limit: 8192 KiB


[startup+0.100116 s]*
/proc/loadavg: 7.59 8.23 8.23 3/212 28497
/proc/meminfo: memFree=30340216/32770624 swapFree=66917056/67108860
[pid=28476] ppid=28473 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28476/stat : 28476 (xcsp3-exec) S 28473 28476 27783 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446242374 115843072 364 33554432000 4194304 5098028 140723953920352 140723953918456 139854033560188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11096064 140723953922933 140723953923177 140723953923177 140723953926090 0
/proc/28476/statm: 28282 364 305 221 0 87 0
[pid=28478] ppid=28476 vsize=28227396 memory=29480 CPUtime=0.12 cores=0-7
/proc/28478/stat : 28478 (java) S 28476 28476 27783 0 -1 1077944320 5773 0 0 0 11 1 0 0 20 0 20 0 446242374 28904853504 7370 33554432000 4194304 4196468 140730014989072 140730014971616 140674208775927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
/proc/28478/statm: 7056849 7370 3145 1 0 7019032 0
[pid=28478/tid=28479] ppid=28476 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/28478/task/28479/stat : 28479 (java) R 28476 28476 27783 0 -1 4202560 3679 0 0 0 8 1 0 0 20 0 20 0 446242374 28904853504 7370 33554432000 4194304 4196468 140730014989072 140674213011104 140673818929264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28480] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28480/stat : 28480 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242375 28904853504 7370 33554432000 4194304 4196468 140730014989072 140674161396112 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28481] ppid=28476 vsize=28227396 memory=140362387703424 CPUtime=0 cores=0-7
/proc/28478/task/28481/stat : 28481 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242375 28904853504 7370 33554432000 4194304 4196468 140730014989072 140674160343312 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28482] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28482/stat : 28482 (java) S 28476 28476 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446242375 28904853504 7370 33554432000 4194304 4196468 140730014989072 140674159291024 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28483] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28483/stat : 28483 (java) S 28476 28476 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446242375 28904853504 7370 33554432000 4194304 4196468 140730014989072 140674158238224 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28484] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28484/stat : 28484 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242375 28904853504 7370 33554432000 4194304 4196468 140730014989072 140674157185936 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28485] ppid=28476 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28478/task/28485/stat : 28485 (java) S 28476 28476 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446242375 28904853504 7370 33554432000 4194304 4196468 140730014989072 140674156133136 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28486] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28486/stat : 28486 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242375 28904853504 7370 33554432000 4194304 4196468 140730014989072 140674155080848 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28487] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28487/stat : 28487 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242375 28904853504 7370 33554432000 4194304 4196468 140730014989072 140674154028048 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28488] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28488/stat : 28488 (java) S 28476 28476 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446242377 28904853504 7370 33554432000 4194304 4196468 140730014989072 140672403339376 140674208787074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28489] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28489/stat : 28489 (java) S 28476 28476 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446242377 28904853504 7370 33554432000 4194304 4196468 140730014989072 140672402285344 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28490] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28490/stat : 28490 (java) S 28476 28476 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446242377 28904853504 7370 33554432000 4194304 4196468 140730014989072 140672401233008 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28491] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28491/stat : 28491 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242380 28904853504 7370 33554432000 4194304 4196468 140730014989072 140672400181328 140674208794523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28492] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28492/stat : 28492 (java) S 28476 28476 27783 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 20 0 446242380 28904853504 7370 33554432000 4194304 4196468 140730014989072 140672399129200 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28493] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28493/stat : 28493 (java) S 28476 28476 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446242380 28904853504 7370 33554432000 4194304 4196468 140730014989072 140672398076400 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28494] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28494/stat : 28494 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242380 28904853504 7370 33554432000 4194304 4196468 140730014989072 140672397024112 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28495] ppid=28476 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/28478/task/28495/stat : 28495 (java) R 28476 28476 27783 0 -1 4202560 354 0 0 0 1 0 0 0 20 0 20 0 446242380 28904853504 7370 33554432000 4194304 4196468 140730014989072 140672395971312 140674194490407 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28496] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28496/stat : 28496 (java) S 28476 28476 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446242380 28904853504 7370 33554432000 4194304 4196468 140730014989072 140672394918240 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28497] ppid=28476 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28478/task/28497/stat : 28497 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242380 28904853504 7370 33554432000 4194304 4196468 140730014989072 140672393865520 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30936 KiB

[startup+0.21066 s]*
/proc/loadavg: 7.59 8.23 8.23 2/212 28497
/proc/meminfo: memFree=30327036/32770624 swapFree=66917056/67108860
[pid=28476] ppid=28473 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28476/stat : 28476 (xcsp3-exec) S 28473 28476 27783 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446242374 115843072 364 33554432000 4194304 5098028 140723953920352 140723953918456 139854033560188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11096064 140723953922933 140723953923177 140723953923177 140723953926090 0
/proc/28476/statm: 28282 364 305 221 0 87 0
[pid=28478] ppid=28476 vsize=28227396 memory=40804 CPUtime=0.34 cores=0-7
/proc/28478/stat : 28478 (java) S 28476 28476 27783 0 -1 1077944320 9488 0 0 0 31 3 0 0 20 0 20 0 446242374 28904853504 10201 33554432000 4194304 4196468 140730014989072 140730014971616 140674208775927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
/proc/28478/statm: 7056849 10201 3237 1 0 7019032 0
[pid=28478/tid=28479] ppid=28476 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/28478/task/28479/stat : 28479 (java) R 28476 28476 27783 0 -1 4202560 6640 0 0 0 17 2 0 0 20 0 20 0 446242374 28904853504 10201 33554432000 4194304 4196468 140730014989072 140674213009376 140674208787862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28480] ppid=28476 vsize=28227396 memory=330 CPUtime=0 cores=0-7
/proc/28478/task/28480/stat : 28480 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242375 28904853504 10201 33554432000 4194304 4196468 140730014989072 140674161396112 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28481] ppid=28476 vsize=28227396 memory=3545377291863738016 CPUtime=0 cores=0-7
/proc/28478/task/28481/stat : 28481 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242375 28904853504 10201 33554432000 4194304 4196468 140730014989072 140674160343312 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28482] ppid=28476 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28478/task/28482/stat : 28482 (java) S 28476 28476 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446242375 28904853504 10201 33554432000 4194304 4196468 140730014989072 140674159291024 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28483] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28483/stat : 28483 (java) S 28476 28476 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446242375 28904853504 10201 33554432000 4194304 4196468 140730014989072 140674158238224 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28484] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28484/stat : 28484 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242375 28904853504 10201 33554432000 4194304 4196468 140730014989072 140674157185936 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28485] ppid=28476 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28478/task/28485/stat : 28485 (java) S 28476 28476 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446242375 28904853504 10201 33554432000 4194304 4196468 140730014989072 140674156133136 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28486] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28486/stat : 28486 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242375 28904853504 10201 33554432000 4194304 4196468 140730014989072 140674155080848 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28487] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28487/stat : 28487 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242375 28904853504 10201 33554432000 4194304 4196468 140730014989072 140674154028048 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28488] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28488/stat : 28488 (java) S 28476 28476 27783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446242377 28904853504 10201 33554432000 4194304 4196468 140730014989072 140672403339376 140674208787074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28489] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28489/stat : 28489 (java) S 28476 28476 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446242377 28904853504 10201 33554432000 4194304 4196468 140730014989072 140672402285344 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28490] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28490/stat : 28490 (java) S 28476 28476 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446242377 28904853504 10201 33554432000 4194304 4196468 140730014989072 140672401233008 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28491] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28491/stat : 28491 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242380 28904853504 10201 33554432000 4194304 4196468 140730014989072 140672400181328 140674208794523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28492] ppid=28476 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/28478/task/28492/stat : 28492 (java) S 28476 28476 27783 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 20 0 446242380 28904853504 10201 33554432000 4194304 4196468 140730014989072 140672399129200 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28493] ppid=28476 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/28478/task/28493/stat : 28493 (java) S 28476 28476 27783 0 -1 1077944384 306 0 0 0 2 0 0 0 20 0 20 0 446242380 28904853504 10201 33554432000 4194304 4196468 140730014989072 140672398076400 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28494] ppid=28476 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28478/task/28494/stat : 28494 (java) S 28476 28476 27783 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 446242380 28904853504 10201 33554432000 4194304 4196468 140730014989072 140672397024112 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28495] ppid=28476 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/28478/task/28495/stat : 28495 (java) R 28476 28476 27783 0 -1 4202560 756 0 0 0 8 0 0 0 20 0 20 0 446242380 28904853504 10201 33554432000 4194304 4196468 140730014989072 140672395971312 140674187760669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28496] ppid=28476 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28496/stat : 28496 (java) S 28476 28476 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446242380 28904853504 10201 33554432000 4194304 4196468 140730014989072 140672394918240 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28497] ppid=28476 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/28478/task/28497/stat : 28497 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242380 28904853504 10201 33554432000 4194304 4196468 140730014989072 140672393865520 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42260 KiB

[startup+0.310372 s]*
/proc/loadavg: 7.59 8.23 8.23 5/212 28497
/proc/meminfo: memFree=30320624/32770624 swapFree=66917056/67108860
[pid=28476] ppid=28473 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28476/stat : 28476 (xcsp3-exec) S 28473 28476 27783 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446242374 115843072 364 33554432000 4194304 5098028 140723953920352 140723953918456 139854033560188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11096064 140723953922933 140723953923177 140723953923177 140723953926090 0
/proc/28476/statm: 28282 364 305 221 0 87 0
[pid=28478] ppid=28476 vsize=28231652 memory=50236 CPUtime=0.53 cores=0-7
/proc/28478/stat : 28478 (java) S 28476 28476 27783 0 -1 1077944320 10890 0 0 0 49 4 0 0 20 0 20 0 446242374 28909211648 12559 33554432000 4194304 4196468 140730014989072 140730014971616 140674208775927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
/proc/28478/statm: 7057913 12559 3323 1 0 7019032 0
[pid=28478/tid=28479] ppid=28476 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/28478/task/28479/stat : 28479 (java) R 28476 28476 27783 0 -1 4202560 7772 0 0 0 27 3 0 0 20 0 20 0 446242374 28909211648 12559 33554432000 4194304 4196468 140730014989072 140674213004128 140674192856414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28480] ppid=28476 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28480/stat : 28480 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242375 28909211648 12559 33554432000 4194304 4196468 140730014989072 140674161396112 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28481] ppid=28476 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28481/stat : 28481 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242375 28909211648 12559 33554432000 4194304 4196468 140730014989072 140674160343312 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28482] ppid=28476 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28482/stat : 28482 (java) S 28476 28476 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446242375 28909211648 12559 33554432000 4194304 4196468 140730014989072 140674159291024 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28483] ppid=28476 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28483/stat : 28483 (java) S 28476 28476 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446242375 28909211648 12559 33554432000 4194304 4196468 140730014989072 140674158238224 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28484] ppid=28476 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/28478/task/28484/stat : 28484 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242375 28909211648 12559 33554432000 4194304 4196468 140730014989072 140674157185936 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28485] ppid=28476 vsize=28231652 memory=140362282791855 CPUtime=0 cores=0-7
/proc/28478/task/28485/stat : 28485 (java) S 28476 28476 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446242375 28909211648 12559 33554432000 4194304 4196468 140730014989072 140674156133136 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28486] ppid=28476 vsize=28231652 memory=140362282794160 CPUtime=0 cores=0-7
/proc/28478/task/28486/stat : 28486 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242375 28909211648 12559 33554432000 4194304 4196468 140730014989072 140674155080848 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28487] ppid=28476 vsize=28231652 memory=140362282796464 CPUtime=0 cores=0-7
/proc/28478/task/28487/stat : 28487 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242375 28909211648 12559 33554432000 4194304 4196468 140730014989072 140674154028048 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28488] ppid=28476 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28488/stat : 28488 (java) S 28476 28476 27783 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446242377 28909211648 12559 33554432000 4194304 4196468 140730014989072 140672403339376 140674208787074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28489] ppid=28476 vsize=28231652 memory=280724565599888 CPUtime=0 cores=0-7
/proc/28478/task/28489/stat : 28489 (java) S 28476 28476 27783 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446242377 28909211648 12559 33554432000 4194304 4196468 140730014989072 140672402285344 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28490] ppid=28476 vsize=28231652 memory=280724565606800 CPUtime=0 cores=0-7
/proc/28478/task/28490/stat : 28490 (java) S 28476 28476 27783 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446242377 28909211648 12559 33554432000 4194304 4196468 140730014989072 140672401233008 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28491] ppid=28476 vsize=28231652 memory=280724565548080 CPUtime=0 cores=0-7
/proc/28478/task/28491/stat : 28491 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242380 28909211648 12559 33554432000 4194304 4196468 140730014989072 140672400181328 140674208794523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28492] ppid=28476 vsize=28231652 memory=280724565620624 CPUtime=0.02 cores=0-7
/proc/28478/task/28492/stat : 28492 (java) S 28476 28476 27783 0 -1 1077944384 463 0 0 0 2 0 0 0 20 0 20 0 446242380 28909211648 12559 33554432000 4194304 4196468 140730014989072 140672399129200 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28493] ppid=28476 vsize=28231652 memory=280724565627536 CPUtime=0.04 cores=0-7
/proc/28478/task/28493/stat : 28493 (java) S 28476 28476 27783 0 -1 1077944384 326 0 0 0 4 0 0 0 20 0 20 0 446242380 28909211648 12559 33554432000 4194304 4196468 140730014989072 140672398076400 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28494] ppid=28476 vsize=28231652 memory=280724565625232 CPUtime=0.01 cores=0-7
/proc/28478/task/28494/stat : 28494 (java) R 28476 28476 27783 0 -1 4202560 151 0 0 0 1 0 0 0 20 0 20 0 446242380 28909211648 12559 33554432000 4194304 4196468 140730014989072 140672397005128 140674190297201 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28495] ppid=28476 vsize=28231652 memory=280724565641392 CPUtime=0.12 cores=0-7
/proc/28478/task/28495/stat : 28495 (java) S 28476 28476 27783 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 20 0 446242380 28909211648 12559 33554432000 4194304 4196468 140730014989072 140672395971312 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28496] ppid=28476 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28496/stat : 28496 (java) S 28476 28476 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446242380 28909211648 12559 33554432000 4194304 4196468 140730014989072 140672394918240 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28497] ppid=28476 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/28478/task/28497/stat : 28497 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446242380 28909211648 12559 33554432000 4194304 4196468 140730014989072 140672393865520 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51692 KiB

[startup+0.708588 s]
/proc/loadavg: 7.59 8.23 8.23 5/212 28497
/proc/meminfo: memFree=30304920/32770624 swapFree=66917056/67108860
[pid=28476] ppid=28473 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28476/stat : 28476 (xcsp3-exec) S 28473 28476 27783 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446242374 115843072 364 33554432000 4194304 5098028 140723953920352 140723953918456 139854033560188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11096064 140723953922933 140723953923177 140723953923177 140723953926090 0
/proc/28476/statm: 28282 364 305 221 0 87 0
[pid=28478] ppid=28476 vsize=28766288 memory=104888 CPUtime=1.9 cores=0-7
/proc/28478/stat : 28478 (java) S 28476 28476 27783 0 -1 1077944320 15468 0 0 0 183 7 0 0 20 0 28 0 446242374 29456678912 26222 33554432000 4194304 4196468 140730014989072 140730014971616 140674208775927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
/proc/28478/statm: 7191572 26222 3464 1 0 7152672 0
[pid=28478/tid=28479] ppid=28476 vsize=28766288 memory=280724565999280 CPUtime=0.64 cores=0-7
/proc/28478/task/28479/stat : 28479 (java) S 28476 28476 27783 0 -1 1077944384 9144 0 0 0 60 4 0 0 20 0 28 0 446242374 29456678912 26222 33554432000 4194304 4196468 140730014989072 140674213016704 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28480] ppid=28476 vsize=28766288 memory=140362283000688 CPUtime=0 cores=0-7
/proc/28478/task/28480/stat : 28480 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446242375 29456678912 26222 33554432000 4194304 4196468 140730014989072 140674161396112 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28481] ppid=28476 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/28478/task/28481/stat : 28481 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446242375 29456678912 26222 33554432000 4194304 4196468 140730014989072 140674160343312 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28482] ppid=28476 vsize=28766288 memory=1124 CPUtime=0 cores=0-7
/proc/28478/task/28482/stat : 28482 (java) S 28476 28476 27783 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 446242375 29456678912 26222 33554432000 4194304 4196468 140730014989072 140674159291024 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0

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

[pid=28478/tid=28603] ppid=28476 vsize=28768336 memory=690232 CPUtime=2413.34 cores=0-7
/proc/28478/task/28603/stat : 28603 (java) R 28476 28476 27783 0 -1 4202560 29353 0 0 0 241315 19 0 0 20 0 28 0 446242679 29458776064 172430 33554432000 4194304 4196468 140730014989072 140671940049040 140673824628480 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
Current children cumulated CPU time: 19400.3 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 691176 KiB

[startup+2502.3 s]
/proc/loadavg: 8.29 8.57 8.42 9/219 28813
/proc/meminfo: memFree=29507592/32770624 swapFree=66917056/67108860
[pid=28476] ppid=28473 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28476/stat : 28476 (xcsp3-exec) S 28473 28476 27783 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446242374 115843072 364 33554432000 4194304 5098028 140723953920352 140723953918456 139854033560188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11096064 140723953922933 140723953923177 140723953923177 140723953926090 0
/proc/28476/statm: 28282 364 305 221 0 87 0
[pid=28478] ppid=28476 vsize=28768336 memory=860656 CPUtime=19876.9 cores=0-7
/proc/28478/stat : 28478 (java) S 28476 28476 27783 0 -1 1077944320 582808 0 0 0 1987146 548 0 0 20 0 28 0 446242374 29458776064 215164 33554432000 4194304 4196468 140730014989072 140730014971616 140674208775927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
/proc/28478/statm: 7192084 215164 3558 1 0 7153184 0
[pid=28478/tid=28479] ppid=28476 vsize=28768336 memory=863488 CPUtime=0.67 cores=0-7
/proc/28478/task/28479/stat : 28479 (java) S 28476 28476 27783 0 -1 1077944384 9191 0 0 0 62 5 0 0 20 0 28 0 446242374 29458776064 215164 33554432000 4194304 4196468 140730014989072 140674213016704 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28480] ppid=28476 vsize=28768336 memory=864512 CPUtime=7.86 cores=0-7
/proc/28478/task/28480/stat : 28480 (java) S 28476 28476 27783 0 -1 1077944384 20242 0 0 0 756 30 0 0 20 0 28 0 446242375 29458776064 215164 33554432000 4194304 4196468 140730014989072 140674161396112 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28481] ppid=28476 vsize=28768336 memory=864512 CPUtime=7.82 cores=0-7
/proc/28478/task/28481/stat : 28481 (java) S 28476 28476 27783 0 -1 1077944384 19735 0 0 0 751 31 0 0 20 0 28 0 446242375 29458776064 215164 33554432000 4194304 4196468 140730014989072 140674160343312 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28482] ppid=28476 vsize=28768336 memory=1456 CPUtime=7.82 cores=0-7
/proc/28478/task/28482/stat : 28482 (java) S 28476 28476 27783 0 -1 1077944384 17933 0 0 0 752 30 0 0 20 0 28 0 446242375 29458776064 215164 33554432000 4194304 4196468 140730014989072 140674159291024 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28483] ppid=28476 vsize=28768336 memory=863488 CPUtime=7.86 cores=0-7
/proc/28478/task/28483/stat : 28483 (java) S 28476 28476 27783 0 -1 1077944384 23663 0 0 0 756 30 0 0 20 0 28 0 446242375 29458776064 215164 33554432000 4194304 4196468 140730014989072 140674158238224 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28484] ppid=28476 vsize=28768336 memory=860656 CPUtime=7.9 cores=0-7
/proc/28478/task/28484/stat : 28484 (java) S 28476 28476 27783 0 -1 1077944384 23039 0 0 0 760 30 0 0 20 0 28 0 446242375 29458776064 215164 33554432000 4194304 4196468 140730014989072 140674157185936 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28485] ppid=28476 vsize=28768336 memory=2520 CPUtime=7.78 cores=0-7
/proc/28478/task/28485/stat : 28485 (java) S 28476 28476 27783 0 -1 1077944384 19890 0 0 0 751 27 0 0 20 0 28 0 446242375 29458776064 215164 33554432000 4194304 4196468 140730014989072 140674156133136 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28486] ppid=28476 vsize=28768336 memory=1760 CPUtime=7.83 cores=0-7
/proc/28478/task/28486/stat : 28486 (java) S 28476 28476 27783 0 -1 1077944384 20539 0 0 0 755 28 0 0 20 0 28 0 446242375 29458776064 215164 33554432000 4194304 4196468 140730014989072 140674155080848 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28487] ppid=28476 vsize=28768336 memory=1456 CPUtime=7.85 cores=0-7
/proc/28478/task/28487/stat : 28487 (java) S 28476 28476 27783 0 -1 1077944384 19634 0 0 0 758 27 0 0 20 0 28 0 446242375 29458776064 215164 33554432000 4194304 4196468 140730014989072 140674154028048 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28488] ppid=28476 vsize=28768336 memory=1456 CPUtime=5.46 cores=0-7
/proc/28478/task/28488/stat : 28488 (java) S 28476 28476 27783 0 -1 1077944384 96351 0 0 0 362 184 0 0 20 0 28 0 446242377 29458776064 215164 33554432000 4194304 4196468 140730014989072 140672403339376 140674208787074 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28489] ppid=28476 vsize=28768336 memory=111632 CPUtime=0 cores=0-7
/proc/28478/task/28489/stat : 28489 (java) S 28476 28476 27783 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 446242377 29458776064 215164 33554432000 4194304 4196468 140730014989072 140672402285408 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28490] ppid=28476 vsize=28768336 memory=796 CPUtime=0 cores=0-7
/proc/28478/task/28490/stat : 28490 (java) S 28476 28476 27783 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 446242377 29458776064 215164 33554432000 4194304 4196468 140730014989072 140672401233024 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28491] ppid=28476 vsize=28768336 memory=243958 CPUtime=0 cores=0-7
/proc/28478/task/28491/stat : 28491 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446242380 29458776064 215164 33554432000 4194304 4196468 140730014989072 140672400181328 140674208794523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28492] ppid=28476 vsize=28768336 memory=244216 CPUtime=1.78 cores=0-7
/proc/28478/task/28492/stat : 28492 (java) S 28476 28476 27783 0 -1 1077944384 12630 0 0 0 176 2 0 0 20 0 28 0 446242380 29458776064 215164 33554432000 4194304 4196468 140730014989072 140672399129200 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28493] ppid=28476 vsize=28768336 memory=699788 CPUtime=2.03 cores=0-7
/proc/28478/task/28493/stat : 28493 (java) S 28476 28476 27783 0 -1 1077944384 10753 0 0 0 201 2 0 0 20 0 28 0 446242380 29458776064 215164 33554432000 4194304 4196468 140730014989072 140672398076400 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28494] ppid=28476 vsize=28768336 memory=1456 CPUtime=1.72 cores=0-7
/proc/28478/task/28494/stat : 28494 (java) S 28476 28476 27783 0 -1 1077944384 10197 0 0 0 170 2 0 0 20 0 28 0 446242380 29458776064 215164 33554432000 4194304 4196468 140730014989072 140672397024112 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28495] ppid=28476 vsize=28768336 memory=1456 CPUtime=0.78 cores=0-7
/proc/28478/task/28495/stat : 28495 (java) S 28476 28476 27783 0 -1 1077944384 8139 0 0 0 77 1 0 0 20 0 28 0 446242380 29458776064 215164 33554432000 4194304 4196468 140730014989072 140672395971312 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28496] ppid=28476 vsize=28768336 memory=860656 CPUtime=0 cores=0-7
/proc/28478/task/28496/stat : 28496 (java) S 28476 28476 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446242380 29458776064 215164 33554432000 4194304 4196468 140730014989072 140672394918240 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28497] ppid=28476 vsize=28768336 memory=863488 CPUtime=0.44 cores=0-7
/proc/28478/task/28497/stat : 28497 (java) S 28476 28476 27783 0 -1 1077944384 3020 0 0 0 35 9 0 0 20 0 28 0 446242380 29458776064 215164 33554432000 4194304 4196468 140730014989072 140672393865520 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 33 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28596] ppid=28476 vsize=28768336 memory=1456 CPUtime=2472.8 cores=0-7
/proc/28478/task/28596/stat : 28596 (java) R 28476 28476 27783 0 -1 4202560 27756 0 0 0 247264 16 0 0 20 0 28 0 446242679 29458776064 215164 33554432000 4194304 4196468 140730014989072 140671936887248 140673824711306 0 4 0 16800975 0 0 0 -1 4 0 0 37 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28597] ppid=28476 vsize=28768336 memory=1456 CPUtime=2471.46 cores=0-7
/proc/28478/task/28597/stat : 28597 (java) R 28476 28476 27783 0 -1 4202560 8547 0 0 0 247137 9 0 0 20 0 28 0 446242679 29458776064 215164 33554432000 4194304 4196468 140730014989072 140671942152136 140673824934543 0 4 0 16800975 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28598] ppid=28476 vsize=28768336 memory=862460 CPUtime=2474 cores=0-7
/proc/28478/task/28598/stat : 28598 (java) R 28476 28476 27783 0 -1 4202560 75801 0 0 0 247377 23 0 0 20 0 28 0 446242679 29458776064 215164 33554432000 4194304 4196468 140730014989072 140671938993960 140673824117139 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28599] ppid=28476 vsize=28768336 memory=3512 CPUtime=2474.74 cores=0-7
/proc/28478/task/28599/stat : 28599 (java) R 28476 28476 27783 0 -1 4202560 41999 0 0 0 247447 27 0 0 20 0 28 0 446242679 29458776064 215164 33554432000 4194304 4196468 140730014989072 140671935836288 140673824117164 0 4 0 16800975 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28600] ppid=28476 vsize=28768336 memory=48480 CPUtime=2472.31 cores=0-7
/proc/28478/task/28600/stat : 28600 (java) R 28476 28476 27783 0 -1 4202560 47513 0 0 0 247207 24 0 0 20 0 28 0 446242679 29458776064 215164 33554432000 4194304 4196468 140730014989072 140671943208272 140673824628504 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28601] ppid=28476 vsize=28768336 memory=2020 CPUtime=2475.47 cores=0-7
/proc/28478/task/28601/stat : 28601 (java) R 28476 28476 27783 0 -1 4202560 8399 0 0 0 247536 11 0 0 20 0 28 0 446242679 29458776064 215164 33554432000 4194304 4196468 140730014989072 140671941099976 140673825271827 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28602] ppid=28476 vsize=28768336 memory=1456 CPUtime=2474.28 cores=0-7
/proc/28478/task/28602/stat : 28602 (java) R 28476 28476 27783 0 -1 4202560 24440 0 0 0 247412 16 0 0 20 0 28 0 446242679 29458776064 215164 33554432000 4194304 4196468 140730014989072 140671937941400 140673825271862 0 4 0 16800975 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28603] ppid=28476 vsize=28768336 memory=864512 CPUtime=2472.39 cores=0-7
/proc/28478/task/28603/stat : 28603 (java) R 28476 28476 27783 0 -1 4202560 29425 0 0 0 247219 20 0 0 20 0 28 0 446242679 29458776064 215164 33554432000 4194304 4196468 140730014989072 140671940046432 140673824628492 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
Current children cumulated CPU time: 19876.9 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 862112 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.21 8.53 8.41 9/219 28813
/proc/meminfo: memFree=29496052/32770624 swapFree=66917056/67108860
[pid=28476] ppid=28473 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/28476/stat : 28476 (xcsp3-exec) S 28473 28476 27783 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446242374 115843072 364 33554432000 4194304 5098028 140723953920352 140723953918456 139854033560188 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11096064 140723953922933 140723953923177 140723953923177 140723953926090 0
/proc/28476/statm: 28282 364 305 221 0 87 0
[pid=28478] ppid=28476 vsize=28768336 memory=871564 CPUtime=20017.8 cores=0-7
/proc/28478/stat : 28478 (java) S 28476 28476 27783 0 -1 1077944320 585291 0 0 0 2001230 551 0 0 20 0 28 0 446242374 29458776064 217891 33554432000 4194304 4196468 140730014989072 140730014971616 140674208775927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
/proc/28478/statm: 7192084 217891 3558 1 0 7153184 0
[pid=28478/tid=28479] ppid=28476 vsize=28768336 memory=6791534058613427641 CPUtime=0.67 cores=0-7
/proc/28478/task/28479/stat : 28479 (java) S 28476 28476 27783 0 -1 1077944384 9191 0 0 0 62 5 0 0 20 0 28 0 446242374 29458776064 217891 33554432000 4194304 4196468 140730014989072 140674213016704 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28480] ppid=28476 vsize=28768336 memory=4126316290023845779 CPUtime=7.98 cores=0-7
/proc/28478/task/28480/stat : 28480 (java) S 28476 28476 27783 0 -1 1077944384 20259 0 0 0 768 30 0 0 20 0 28 0 446242375 29458776064 217891 33554432000 4194304 4196468 140730014989072 140674161396112 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28481] ppid=28476 vsize=28768336 memory=492 CPUtime=7.93 cores=0-7
/proc/28478/task/28481/stat : 28481 (java) S 28476 28476 27783 0 -1 1077944384 19752 0 0 0 762 31 0 0 20 0 28 0 446242375 29458776064 217891 33554432000 4194304 4196468 140730014989072 140674160343312 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28482] ppid=28476 vsize=28768336 memory=1560 CPUtime=7.95 cores=0-7
/proc/28478/task/28482/stat : 28482 (java) S 28476 28476 27783 0 -1 1077944384 17964 0 0 0 764 31 0 0 20 0 28 0 446242375 29458776064 217891 33554432000 4194304 4196468 140730014989072 140674159291024 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28483] ppid=28476 vsize=28768336 memory=932 CPUtime=7.98 cores=0-7
/proc/28478/task/28483/stat : 28483 (java) S 28476 28476 27783 0 -1 1077944384 23714 0 0 0 767 31 0 0 20 0 28 0 446242375 29458776064 217891 33554432000 4194304 4196468 140730014989072 140674158238224 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28484] ppid=28476 vsize=28768336 memory=1456 CPUtime=8.02 cores=0-7
/proc/28478/task/28484/stat : 28484 (java) S 28476 28476 27783 0 -1 1077944384 23057 0 0 0 772 30 0 0 20 0 28 0 446242375 29458776064 217891 33554432000 4194304 4196468 140730014989072 140674157185936 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28485] ppid=28476 vsize=28768336 memory=872592 CPUtime=7.89 cores=0-7
/proc/28478/task/28485/stat : 28485 (java) S 28476 28476 27783 0 -1 1077944384 19898 0 0 0 762 27 0 0 20 0 28 0 446242375 29458776064 217891 33554432000 4194304 4196468 140730014989072 140674156133136 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28486] ppid=28476 vsize=28768336 memory=3512 CPUtime=7.95 cores=0-7
/proc/28478/task/28486/stat : 28486 (java) S 28476 28476 27783 0 -1 1077944384 20550 0 0 0 767 28 0 0 20 0 28 0 446242375 29458776064 217891 33554432000 4194304 4196468 140730014989072 140674155080848 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28487] ppid=28476 vsize=28768336 memory=4040 CPUtime=7.96 cores=0-7
/proc/28478/task/28487/stat : 28487 (java) S 28476 28476 27783 0 -1 1077944384 19651 0 0 0 769 27 0 0 20 0 28 0 446242375 29458776064 217891 33554432000 4194304 4196468 140730014989072 140674154028048 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28488] ppid=28476 vsize=28768336 memory=1124 CPUtime=5.52 cores=0-7
/proc/28478/task/28488/stat : 28488 (java) S 28476 28476 27783 0 -1 1077944384 96406 0 0 0 365 187 0 0 20 0 28 0 446242377 29458776064 217891 33554432000 4194304 4196468 140730014989072 140672403339376 140674208787074 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28489] ppid=28476 vsize=28768336 memory=2828 CPUtime=0 cores=0-7
/proc/28478/task/28489/stat : 28489 (java) S 28476 28476 27783 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 446242377 29458776064 217891 33554432000 4194304 4196468 140730014989072 140672402285408 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28490] ppid=28476 vsize=28768336 memory=1228 CPUtime=0 cores=0-7
/proc/28478/task/28490/stat : 28490 (java) S 28476 28476 27783 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 446242377 29458776064 217891 33554432000 4194304 4196468 140730014989072 140672401233024 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28491] ppid=28476 vsize=28768336 memory=14008 CPUtime=0 cores=0-7
/proc/28478/task/28491/stat : 28491 (java) S 28476 28476 27783 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446242380 29458776064 217891 33554432000 4194304 4196468 140730014989072 140672400181328 140674208794523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28492] ppid=28476 vsize=28768336 memory=12040 CPUtime=1.78 cores=0-7
/proc/28478/task/28492/stat : 28492 (java) S 28476 28476 27783 0 -1 1077944384 12633 0 0 0 176 2 0 0 20 0 28 0 446242380 29458776064 217891 33554432000 4194304 4196468 140730014989072 140672399129200 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28493] ppid=28476 vsize=28768336 memory=2124 CPUtime=2.03 cores=0-7
/proc/28478/task/28493/stat : 28493 (java) S 28476 28476 27783 0 -1 1077944384 10755 0 0 0 201 2 0 0 20 0 28 0 446242380 29458776064 217891 33554432000 4194304 4196468 140730014989072 140672398076400 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28494] ppid=28476 vsize=28768336 memory=25912 CPUtime=1.72 cores=0-7
/proc/28478/task/28494/stat : 28494 (java) S 28476 28476 27783 0 -1 1077944384 10199 0 0 0 170 2 0 0 20 0 28 0 446242380 29458776064 217891 33554432000 4194304 4196468 140730014989072 140672397024112 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28495] ppid=28476 vsize=28768336 memory=492 CPUtime=0.78 cores=0-7
/proc/28478/task/28495/stat : 28495 (java) S 28476 28476 27783 0 -1 1077944384 8141 0 0 0 77 1 0 0 20 0 28 0 446242380 29458776064 217891 33554432000 4194304 4196468 140730014989072 140672395971312 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28496] ppid=28476 vsize=28768336 memory=1560 CPUtime=0 cores=0-7
/proc/28478/task/28496/stat : 28496 (java) S 28476 28476 27783 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446242380 29458776064 217891 33554432000 4194304 4196468 140730014989072 140672394918240 140674208786133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28497] ppid=28476 vsize=28768336 memory=932 CPUtime=0.45 cores=0-7
/proc/28478/task/28497/stat : 28497 (java) S 28476 28476 27783 0 -1 1077944384 3022 0 0 0 36 9 0 0 20 0 28 0 446242380 29458776064 217891 33554432000 4194304 4196468 140730014989072 140672393865520 140674208787074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 33 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28596] ppid=28476 vsize=28768336 memory=1636 CPUtime=2490.34 cores=0-7
/proc/28478/task/28596/stat : 28596 (java) R 28476 28476 27783 0 -1 4202560 28210 0 0 0 249018 16 0 0 20 0 28 0 446242679 29458776064 217891 33554432000 4194304 4196468 140730014989072 140671936886984 140673824711325 0 4 0 16800975 0 0 0 -1 0 0 0 37 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28597] ppid=28476 vsize=28768336 memory=1436 CPUtime=2488.99 cores=0-7
/proc/28478/task/28597/stat : 28597 (java) R 28476 28476 27783 0 -1 4202560 8561 0 0 0 248890 9 0 0 20 0 28 0 446242679 29458776064 217891 33554432000 4194304 4196468 140730014989072 140671942152216 140673824117181 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28598] ppid=28476 vsize=28768336 memory=1456 CPUtime=2491.54 cores=0-7
/proc/28478/task/28598/stat : 28598 (java) R 28476 28476 27783 0 -1 4202560 76007 0 0 0 249131 23 0 0 20 0 28 0 446242679 29458776064 217891 33554432000 4194304 4196468 140730014989072 140671938993448 140673824117181 0 4 0 16800975 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28599] ppid=28476 vsize=28768336 memory=1456 CPUtime=2492.21 cores=0-7
/proc/28478/task/28599/stat : 28599 (java) R 28476 28476 27783 0 -1 4202560 42547 0 0 0 249194 27 0 0 20 0 28 0 446242679 29458776064 217891 33554432000 4194304 4196468 140730014989072 140671935836336 140673827286442 0 4 0 16800975 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28600] ppid=28476 vsize=28768336 memory=303430223234596890 CPUtime=2489.66 cores=0-7
/proc/28478/task/28600/stat : 28600 (java) R 28476 28476 27783 0 -1 4202560 48470 0 0 0 248942 24 0 0 20 0 28 0 446242679 29458776064 217891 33554432000 4194304 4196468 140730014989072 140671943208272 140673825271902 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28601] ppid=28476 vsize=28768336 memory=303430270546346295 CPUtime=2493 cores=0-7
/proc/28478/task/28601/stat : 28601 (java) R 28476 28476 27783 0 -1 4202560 8416 0 0 0 249289 11 0 0 20 0 28 0 446242679 29458776064 217891 33554432000 4194304 4196468 140730014989072 140671941099976 140673824710747 0 4 0 16800975 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28602] ppid=28476 vsize=28768336 memory=15544015764327034 CPUtime=2491.74 cores=0-7
/proc/28478/task/28602/stat : 28602 (java) R 28476 28476 27783 0 -1 4202560 24463 0 0 0 249158 16 0 0 20 0 28 0 446242679 29458776064 217891 33554432000 4194304 4196468 140730014989072 140671937941736 140673825270254 0 4 0 16800975 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
[pid=28478/tid=28603] ppid=28476 vsize=28768336 memory=1456 CPUtime=2489.87 cores=0-7
/proc/28478/task/28603/stat : 28603 (java) R 28476 28476 27783 0 -1 4202560 29453 0 0 0 248967 20 0 0 20 0 28 0 446242679 29458776064 217891 33554432000 4194304 4196468 140730014989072 140671940047032 140673824710771 0 4 0 16800975 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 18354176 140730014995434 140730014995606 140730014995606 140730014998479 0
Current children cumulated CPU time: 20017.8 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 873020 KiB

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

[startup+2520.04 s]
# the end of solver process 28476 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000792 s, system=0.001585 s

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

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

Child status: 143
Real time (s): 2520.1
CPU time (s): 20018.4
CPU user time (s): 20012.9
CPU system time (s): 5.53377
CPU usage (%): 794.349
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 876100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20012.9
system time used= 5.53377
maximum resident set size= 875404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 586134
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 288559
involuntary context switches= 240155


# summary of solver processes directly reported to runsolver:
#   pid: 28476,28478
#   total CPU time (s): 20018.4
#   total CPU user time (s): 20012.9
#   total CPU system time (s): 5.53377

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.5675 second user time and 25.8451 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-17 08:54:02
IDJOB=4399972
IDBENCH=124144
IDSOLVER=2854
FILE ID=node147/4399972-1568703285
RUNJOBID= node147-1568700717-27810
PBS_JOBID= 21703903
Free space on /tmp= 58880 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t03-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 /tmp/evaluation-result-4399972-1568703285/watcher-4399972-1568703285 -o /tmp/evaluation-result-4399972-1568703285/solver-4399972-1568703285 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568700717-27810 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2030552056 HOME/instance-4399972-1568703285.xml

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

MD5SUM BENCH= 3320713010bd27ff074c3709fe864950
RANDOM SEED=2030552056

node147.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.52
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.52
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.52
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.52
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:        30356796 kB
MemAvailable:   31804260 kB
Buffers:          110408 kB
Cached:          1628744 kB
SwapCached:        87660 kB
Active:           936932 kB
Inactive:         892744 kB
Active(anon):       5904 kB
Inactive(anon):   133772 kB
Active(file):     931028 kB
Inactive(file):   758972 kB
Unevictable:      108644 kB
Mlocked:          108644 kB
SwapTotal:      67108860 kB
SwapFree:       66917056 kB
Dirty:             26068 kB
Writeback:             0 kB
AnonPages:        112072 kB
Mapped:            48720 kB
Shmem:             40920 kB
Slab:             175120 kB
SReclaimable:     146596 kB
SUnreclaim:        28524 kB
KernelStack:        3344 kB
PageTables:         6184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505776 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= 58856 MiB
End job on node147 at 2019-09-17 09:36:02