Trace number 4281655

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT (TO)6 1626.91 252.12

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-34.xml
MD5SUM778dc3cd7adf307db423468d07378e38
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark240.326
Satisfiable
(Un)Satisfiability was proved
Number of variables1156
Number of constraints5984
Number of domains1
Minimum domain size561
Maximum domain size561
Distribution of domain sizes[{"size":561,"count":561}]
Minimum variable degree0
Maximum variable degree33
Distribution of variable degrees[{"degree":0,"count":595},{"degree":33,"count":561}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":5984}]
Number of extensional constraints0
Number of intensional constraints5984
Distribution of constraint types[{"type":"intension","count":5984}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281655-1503189470.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281655-1503189470.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
8.16/2.24	c solve instance...
19.51/3.70	o 32 
22.32/4.69	o 31 
44.53/26.04	o 30 
54.29/28.01	o 29 
130.61/52.19	o 28 
130.72/52.30	o 19 
146.52/54.23	o 18 
462.84/93.94	o 15 
475.43/95.59	o 14 
862.87/156.30	o 6 
1626.22/252.07	s SATISFIABLE
1626.22/252.07	v <instantiation>
1626.22/252.07	v 	<list>x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][30] x[29][31] x[29][32] x[29][33] x[30][31] x[30][32] x[30][33] x[31][32] x[31][33] x[32][33] </list>
1626.22/252.07	v 	<values>2 2 3 3 1 0 1 4 3 4 0 0 4 0 4 1 0 0 0 4 3 0 1 0 2 1 2 2 2 4 1 3 2 1 3 4 3 1 2 1 2 5 0 1 0 3 5 2 0 3 3 1 2 2 1 2 0 3 0 0 1 1 2 0 1 1 2 1 5 6 5 3 3 5 0 0 1 2 0 0 1 0 4 2 1 4 0 0 1 0 5 4 2 4 2 3 1 4 4 2 1 1 1 2 1 4 2 0 2 0 2 0 6 0 5 3 2 0 6 2 0 4 3 1 1 4 1 0 2 5 4 0 0 3 4 0 5 2 1 0 0 3 5 0 5 0 2 3 0 3 3 4 2 4 2 3 2 4 4 1 2 0 1 6 4 0 0 0 1 1 2 4 0 1 0 4 2 2 2 1 3 0 0 2 3 2 4 2 5 0 3 5 5 6 4 3 4 0 4 5 1 0 1 1 3 6 4 0 4 5 2 3 0 5 0 0 1 2 5 2 6 5 2 3 1 0 0 5 2 1 1 1 1 0 2 5 2 0 1 4 0 2 3 0 3 2 0 3 1 0 2 1 1 1 0 2 0 5 2 3 3 2 0 0 0 1 2 0 0 0 1 1 6 1 0 0 0 2 2 1 6 1 0 0 2 2 4 5 5 0 1 0 1 4 2 0 3 2 4 0 0 1 1 2 2 4 3 0 5 4 1 0 6 3 3 3 1 0 1 1 4 6 3 1 1 6 3 1 2 0 4 4 0 4 3 4 1 4 0 1 4 1 1 0 1 0 4 0 5 4 2 0 0 5 1 6 2 0 6 2 5 3 4 6 4 1 1 2 2 2 1 1 1 3 5 2 2 4 4 0 1 4 0 5 0 2 2 6 3 1 6 1 0 1 1 3 3 3 4 2 5 0 5 0 1 3 0 4 5 3 2 2 0 6 2 3 1 0 3 5 5 1 5 1 4 4 2 0 1 1 2 3 1 1 2 3 2 0 1 1 4 1 1 0 2 1 1 3 0 6 0 3 1 1 3 5 0 2 5 0 3 4 0 5 2 3 5 5 1 0 1 5 5 3 0 1 0 0 5 3 0 0 2 5 6 3 2 3 0 5 4 1 5 0 3 2 4 2 6 4 2 3 3 0 0 2 3 5 2 5 3 3 0 5 1 4 2 0 6 0 0 2 3 1 0 2 3 3 0 0 6 2 4 6 1 4 2 0 0 4 4 3 2 2 4 0 6 3 3 2 5 4 0 1 3 0 0 3 3 0 1 </values>
1626.22/252.07	v </instantiation>
1626.22/252.07	c Unexpected resolution interruption!

Verifier Data 

OK	6

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281655-1503189470/watcher-4281655-1503189470 -o /tmp/evaluation-result-4281655-1503189470/solver-4281655-1503189470 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503181653-1704 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 519744658 HOME/instance-4281655-1503189470.xml 

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

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


[startup+0.100153 s]*
/proc/loadavg: 4.90 6.47 6.10 4/200 7001
/proc/meminfo: memFree=27176416/32770624 swapFree=67108860/67108860
[pid=6980] ppid=6977 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6980/stat : 6980 (xcsp3-exec) S 6977 6980 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 152034445 9740288 346 33554432000 4194304 5098028 140737447399536 140737447397640 139684398330492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26390528 140737447404651 140737447404860 140737447404860 140737447407595 0
/proc/6980/statm: 2378 346 289 221 0 87 0
[pid=6982] ppid=6980 vsize=25999808 memory=26396 CPUtime=0.11 cores=0-7
/proc/6982/stat : 6982 (java) S 6980 6980 1674 0 -1 1077944320 5483 0 0 0 10 1 0 0 20 0 20 0 152034445 26623803392 6599 33554432000 4194304 4196468 140725274926016 140725274908560 140666239381239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
/proc/6982/statm: 6499952 6599 2864 1 0 6488269 0
[pid=6982/tid=6983] ppid=6980 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/6982/task/6983/stat : 6983 (java) R 6980 6980 1674 0 -1 4202560 3486 0 0 0 8 1 0 0 20 0 20 0 152034445 26623803392 6599 33554432000 4194304 4196468 140725274926016 140666243613168 140666223424869 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6984] ppid=6980 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/6982/task/6984/stat : 6984 (java) S 6980 6980 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152034446 26623803392 6599 33554432000 4194304 4196468 140725274926016 140666161961360 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6985] ppid=6980 vsize=25999808 memory=140183005488768 CPUtime=0 cores=0-7
/proc/6982/task/6985/stat : 6985 (java) S 6980 6980 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152034446 26623803392 6599 33554432000 4194304 4196468 140725274926016 140666160908560 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6986] ppid=6980 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6986/stat : 6986 (java) S 6980 6980 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152034446 26623803392 6599 33554432000 4194304 4196468 140725274926016 140666159856272 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6987] ppid=6980 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6987/stat : 6987 (java) S 6980 6980 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152034446 26623803392 6599 33554432000 4194304 4196468 140725274926016 140666158803472 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6988] ppid=6980 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6988/stat : 6988 (java) S 6980 6980 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152034446 26623803392 6599 33554432000 4194304 4196468 140725274926016 140666157751184 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6989] ppid=6980 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6982/task/6989/stat : 6989 (java) S 6980 6980 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152034446 26623803392 6599 33554432000 4194304 4196468 140725274926016 140666156698384 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6990] ppid=6980 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6990/stat : 6990 (java) S 6980 6980 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152034446 26623803392 6599 33554432000 4194304 4196468 140725274926016 140666155646096 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6991] ppid=6980 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6991/stat : 6991 (java) S 6980 6980 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152034446 26623803392 6599 33554432000 4194304 4196468 140725274926016 140666154593296 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6992] ppid=6980 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6992/stat : 6992 (java) S 6980 6980 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152034448 26623803392 6599 33554432000 4194304 4196468 140725274926016 140665500485744 140666239392386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6993] ppid=6980 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6993/stat : 6993 (java) S 6980 6980 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 152034448 26623803392 6599 33554432000 4194304 4196468 140725274926016 140665499431712 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6994] ppid=6980 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6994/stat : 6994 (java) S 6980 6980 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 152034448 26623803392 6599 33554432000 4194304 4196468 140725274926016 140665498379376 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6995] ppid=6980 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6995/stat : 6995 (java) S 6980 6980 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152034451 26623803392 6599 33554432000 4194304 4196468 140725274926016 140665497327696 140666239399835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6996] ppid=6980 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6996/stat : 6996 (java) S 6980 6980 1674 0 -1 1077944384 285 0 0 0 0 0 0 0 20 0 20 0 152034451 26623803392 6599 33554432000 4194304 4196468 140725274926016 140665496275568 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6997] ppid=6980 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6997/stat : 6997 (java) S 6980 6980 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152034451 26623803392 6599 33554432000 4194304 4196468 140725274926016 140665495222768 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6998] ppid=6980 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6998/stat : 6998 (java) S 6980 6980 1674 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 152034451 26623803392 6599 33554432000 4194304 4196468 140725274926016 140665494170480 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6999] ppid=6980 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/6982/task/6999/stat : 6999 (java) S 6980 6980 1674 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 20 0 152034451 26623803392 6599 33554432000 4194304 4196468 140725274926016 140665493117680 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7000] ppid=6980 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/7000/stat : 7000 (java) S 6980 6980 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152034451 26623803392 6599 33554432000 4194304 4196468 140725274926016 140665492064608 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7001] ppid=6980 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/6982/task/7001/stat : 7001 (java) S 6980 6980 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152034451 26623803392 6599 33554432000 4194304 4196468 140725274926016 140665491011888 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27780 KiB

[startup+0.210431 s]*
/proc/loadavg: 4.90 6.47 6.10 3/200 7001
/proc/meminfo: memFree=27165112/32770624 swapFree=67108860/67108860
[pid=6980] ppid=6977 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6980/stat : 6980 (xcsp3-exec) S 6977 6980 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 152034445 9740288 346 33554432000 4194304 5098028 140737447399536 140737447397640 139684398330492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26390528 140737447404651 140737447404860 140737447404860 140737447407595 0
/proc/6980/statm: 2378 346 289 221 0 87 0
[pid=6982] ppid=6980 vsize=26004064 memory=38848 CPUtime=0.33 cores=0-7
/proc/6982/stat : 6982 (java) S 6980 6980 1674 0 -1 1077944320 8319 0 0 0 31 2 0 0 20 0 20 0 152034445 26628161536 9712 33554432000 4194304 4196468 140725274926016 140725274908560 140666239381239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
/proc/6982/statm: 6501016 9712 3050 1 0 6488269 0
[pid=6982/tid=6983] ppid=6980 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/6982/task/6983/stat : 6983 (java) R 6980 6980 1674 0 -1 4202560 5402 0 0 0 18 2 0 0 20 0 20 0 152034445 26628161536 9712 33554432000 4194304 4196468 140725274926016 140666243604064 140666239393174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6984] ppid=6980 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/6982/task/6984/stat : 6984 (java) S 6980 6980 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152034446 26628161536 9712 33554432000 4194304 4196468 140725274926016 140666161961360 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6985] ppid=6980 vsize=26004064 memory=140183005496002 CPUtime=0 cores=0-7
/proc/6982/task/6985/stat : 6985 (java) S 6980 6980 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152034446 26628161536 9712 33554432000 4194304 4196468 140725274926016 140666160908560 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6986] ppid=6980 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6982/task/6986/stat : 6986 (java) S 6980 6980 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152034446 26628161536 9712 33554432000 4194304 4196468 140725274926016 140666159856272 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6987] ppid=6980 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6987/stat : 6987 (java) S 6980 6980 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152034446 26628161536 9712 33554432000 4194304 4196468 140725274926016 140666158803472 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6988] ppid=6980 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6988/stat : 6988 (java) S 6980 6980 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152034446 26628161536 9712 33554432000 4194304 4196468 140725274926016 140666157751184 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6989] ppid=6980 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6982/task/6989/stat : 6989 (java) S 6980 6980 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152034446 26628161536 9712 33554432000 4194304 4196468 140725274926016 140666156698384 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6990] ppid=6980 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6990/stat : 6990 (java) S 6980 6980 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152034446 26628161536 9712 33554432000 4194304 4196468 140725274926016 140666155646096 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6991] ppid=6980 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6991/stat : 6991 (java) S 6980 6980 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152034446 26628161536 9712 33554432000 4194304 4196468 140725274926016 140666154593296 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6992] ppid=6980 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6992/stat : 6992 (java) S 6980 6980 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152034448 26628161536 9712 33554432000 4194304 4196468 140725274926016 140665500485744 140666239392386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6993] ppid=6980 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6993/stat : 6993 (java) S 6980 6980 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 152034448 26628161536 9712 33554432000 4194304 4196468 140725274926016 140665499431712 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6994] ppid=6980 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6994/stat : 6994 (java) S 6980 6980 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 152034448 26628161536 9712 33554432000 4194304 4196468 140725274926016 140665498379376 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6995] ppid=6980 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6995/stat : 6995 (java) S 6980 6980 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152034451 26628161536 9712 33554432000 4194304 4196468 140725274926016 140665497327696 140666239399835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6996] ppid=6980 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/6982/task/6996/stat : 6996 (java) S 6980 6980 1674 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 20 0 152034451 26628161536 9712 33554432000 4194304 4196468 140725274926016 140665496275568 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6997] ppid=6980 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/6982/task/6997/stat : 6997 (java) S 6980 6980 1674 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 20 0 152034451 26628161536 9712 33554432000 4194304 4196468 140725274926016 140665495222768 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6998] ppid=6980 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/6982/task/6998/stat : 6998 (java) S 6980 6980 1674 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 20 0 152034451 26628161536 9712 33554432000 4194304 4196468 140725274926016 140665494170480 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6999] ppid=6980 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/6982/task/6999/stat : 6999 (java) R 6980 6980 1674 0 -1 4202560 768 0 0 0 7 0 0 0 20 0 20 0 152034451 26628161536 9712 33554432000 4194304 4196468 140725274926016 140665493117680 140666239393174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7000] ppid=6980 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/7000/stat : 7000 (java) S 6980 6980 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152034451 26628161536 9712 33554432000 4194304 4196468 140725274926016 140665492064608 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7001] ppid=6980 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6982/task/7001/stat : 7001 (java) S 6980 6980 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152034451 26628161536 9712 33554432000 4194304 4196468 140725274926016 140665491011888 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40232 KiB

[startup+0.310359 s]*
/proc/loadavg: 4.90 6.47 6.10 3/200 7001
/proc/meminfo: memFree=27160708/32770624 swapFree=67108860/67108860
[pid=6980] ppid=6977 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6980/stat : 6980 (xcsp3-exec) S 6977 6980 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 152034445 9740288 346 33554432000 4194304 5098028 140737447399536 140737447397640 139684398330492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26390528 140737447404651 140737447404860 140737447404860 140737447407595 0
/proc/6980/statm: 2378 346 289 221 0 87 0
[pid=6982] ppid=6980 vsize=26004064 memory=43484 CPUtime=0.5 cores=0-7
/proc/6982/stat : 6982 (java) S 6980 6980 1674 0 -1 1077944320 9155 0 0 0 47 3 0 0 20 0 20 0 152034445 26628161536 10871 33554432000 4194304 4196468 140725274926016 140725274908560 140666239381239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
/proc/6982/statm: 6501016 10871 3066 1 0 6488269 0
[pid=6982/tid=6983] ppid=6980 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6982/task/6983/stat : 6983 (java) R 6980 6980 1674 0 -1 4202560 6066 0 0 0 27 2 0 0 20 0 20 0 152034445 26628161536 10871 33554432000 4194304 4196468 140725274926016 140666243619504 140665834974811 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6984] ppid=6980 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6984/stat : 6984 (java) S 6980 6980 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152034446 26628161536 10871 33554432000 4194304 4196468 140725274926016 140666161961360 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6985] ppid=6980 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6985/stat : 6985 (java) S 6980 6980 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152034446 26628161536 10871 33554432000 4194304 4196468 140725274926016 140666160908560 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6986] ppid=6980 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6986/stat : 6986 (java) S 6980 6980 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152034446 26628161536 10871 33554432000 4194304 4196468 140725274926016 140666159856272 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6987] ppid=6980 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6987/stat : 6987 (java) S 6980 6980 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152034446 26628161536 10871 33554432000 4194304 4196468 140725274926016 140666158803472 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6988] ppid=6980 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/6982/task/6988/stat : 6988 (java) S 6980 6980 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152034446 26628161536 10871 33554432000 4194304 4196468 140725274926016 140666157751184 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6989] ppid=6980 vsize=26004064 memory=140182900798383 CPUtime=0 cores=0-7
/proc/6982/task/6989/stat : 6989 (java) S 6980 6980 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152034446 26628161536 11383 33554432000 4194304 4196468 140725274926016 140666156698384 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6990] ppid=6980 vsize=26004064 memory=140182900800688 CPUtime=0 cores=0-7
/proc/6982/task/6990/stat : 6990 (java) S 6980 6980 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152034446 26628161536 11383 33554432000 4194304 4196468 140725274926016 140666155646096 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6991] ppid=6980 vsize=26004064 memory=140182900802992 CPUtime=0 cores=0-7
/proc/6982/task/6991/stat : 6991 (java) S 6980 6980 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152034446 26628161536 11383 33554432000 4194304 4196468 140725274926016 140666154593296 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6992] ppid=6980 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6992/stat : 6992 (java) S 6980 6980 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152034448 26628161536 11383 33554432000 4194304 4196468 140725274926016 140665500485744 140666239392386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6993] ppid=6980 vsize=26004064 memory=280365801612944 CPUtime=0 cores=0-7
/proc/6982/task/6993/stat : 6993 (java) S 6980 6980 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 152034448 26628161536 11383 33554432000 4194304 4196468 140725274926016 140665499431712 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6994] ppid=6980 vsize=26004064 memory=280365801619856 CPUtime=0 cores=0-7
/proc/6982/task/6994/stat : 6994 (java) S 6980 6980 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 152034448 26628161536 11383 33554432000 4194304 4196468 140725274926016 140665498379376 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6995] ppid=6980 vsize=26004064 memory=280365801561136 CPUtime=0 cores=0-7
/proc/6982/task/6995/stat : 6995 (java) S 6980 6980 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152034451 26628161536 11383 33554432000 4194304 4196468 140725274926016 140665497327696 140666239399835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6996] ppid=6980 vsize=26004064 memory=280365801633680 CPUtime=0.01 cores=0-7
/proc/6982/task/6996/stat : 6996 (java) S 6980 6980 1674 0 -1 1077944384 461 0 0 0 1 0 0 0 20 0 20 0 152034451 26628161536 11383 33554432000 4194304 4196468 140725274926016 140665496275568 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6997] ppid=6980 vsize=26004064 memory=280365801640592 CPUtime=0.02 cores=0-7
/proc/6982/task/6997/stat : 6997 (java) R 6980 6980 1674 0 -1 4202560 176 0 0 0 2 0 0 0 20 0 20 0 152034451 26628161536 11383 33554432000 4194304 4196468 140725274926016 140665495222864 140666218661761 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6998] ppid=6980 vsize=26004064 memory=280365801638288 CPUtime=0.02 cores=0-7
/proc/6982/task/6998/stat : 6998 (java) S 6980 6980 1674 0 -1 1077944384 227 0 0 0 2 0 0 0 20 0 20 0 152034451 26628161536 11383 33554432000 4194304 4196468 140725274926016 140665494170480 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6999] ppid=6980 vsize=26004064 memory=280365801654448 CPUtime=0.13 cores=0-7
/proc/6982/task/6999/stat : 6999 (java) R 6980 6980 1674 0 -1 4202560 914 0 0 0 13 0 0 0 20 0 20 0 152034451 26628161536 11383 33554432000 4194304 4196468 140725274926016 140665493117808 140666224546803 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7000] ppid=6980 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/7000/stat : 7000 (java) S 6980 6980 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 152034451 26628161536 11383 33554432000 4194304 4196468 140725274926016 140665492064608 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7001] ppid=6980 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/6982/task/7001/stat : 7001 (java) S 6980 6980 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 152034451 26628161536 11383 33554432000 4194304 4196468 140725274926016 140665491011888 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44868 KiB

[startup+0.701019 s]
/proc/loadavg: 4.90 6.47 6.10 5/200 7001
/proc/meminfo: memFree=27130264/32770624 swapFree=67108860/67108860
[pid=6980] ppid=6977 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6980/stat : 6980 (xcsp3-exec) S 6977 6980 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 152034445 9740288 346 33554432000 4194304 5098028 140737447399536 140737447397640 139684398330492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26390528 140737447404651 140737447404860 140737447404860 140737447407595 0
/proc/6980/statm: 2378 346 289 221 0 87 0
[pid=6982] ppid=6980 vsize=26006188 memory=122592 CPUtime=2.07 cores=0-7
/proc/6982/stat : 6982 (java) S 6980 6980 1674 0 -1 1077944320 14084 0 0 0 202 5 0 0 20 0 20 0 152034445 26630336512 30648 33554432000 4194304 4196468 140725274926016 140725274908560 140666239381239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
/proc/6982/statm: 6501547 30648 3202 1 0 6488781 0
[pid=6982/tid=6983] ppid=6980 vsize=26006188 memory=280365802012336 CPUtime=0.67 cores=0-7
/proc/6982/task/6983/stat : 6983 (java) R 6980 6980 1674 0 -1 4202560 6685 0 0 0 64 3 0 0 20 0 20 0 152034445 26630336512 30648 33554432000 4194304 4196468 140725274926016 140666243617456 140665835558846 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6984] ppid=6980 vsize=26006188 memory=140182901007216 CPUtime=0 cores=0-7
/proc/6982/task/6984/stat : 6984 (java) S 6980 6980 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152034446 26630336512 30648 33554432000 4194304 4196468 140725274926016 140666161961360 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6985] ppid=6980 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/6982/task/6985/stat : 6985 (java) S 6980 6980 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152034446 26630336512 30648 33554432000 4194304 4196468 140725274926016 140666160908560 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6986] ppid=6980 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/6982/task/6986/stat : 6986 (java) S 6980 6980 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 152034446 26630336512 30648 33554432000 4194304 4196468 140725274926016 140666159856272 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0

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

[pid=6982/tid=7090] ppid=6980 vsize=26538700 memory=1224 CPUtime=5.88 cores=0-7
/proc/6982/task/7090/stat : 7090 (java) R 6980 6980 1674 0 -1 4202560 161 0 0 0 588 0 0 0 20 0 28 0 152050077 27175628800 1401047 33554432000 4194304 4196468 140725274926016 140665413422776 140665843210862 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
Current children cumulated CPU time: 910.75 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5605572 KiB

[startup+222.302 s]
/proc/loadavg: 7.13 6.45 6.13 10/207 7090
/proc/meminfo: memFree=21575460/32770624 swapFree=67108860/67108860
[pid=6980] ppid=6977 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6980/stat : 6980 (xcsp3-exec) S 6977 6980 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 152034445 9740288 346 33554432000 4194304 5098028 140737447399536 140737447397640 139684398330492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26390528 140737447404651 140737447404860 140737447404860 140737447407595 0
/proc/6980/statm: 2378 346 289 221 0 87 0
[pid=6982] ppid=6980 vsize=26538700 memory=5618772 CPUtime=1389.32 cores=0-7
/proc/6982/stat : 6982 (java) S 6980 6980 1674 0 -1 1077944320 179444 0 0 0 138508 424 0 0 20 0 28 0 152034445 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140725274908560 140666239381239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
/proc/6982/statm: 6634675 1404693 3280 1 0 6621909 0
[pid=6982/tid=6983] ppid=6980 vsize=26538700 memory=5618772 CPUtime=2.13 cores=0-7
/proc/6982/task/6983/stat : 6983 (java) S 6980 6980 1674 0 -1 1077944384 7940 0 0 0 204 9 0 0 20 0 28 0 152034445 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140666243622016 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6984] ppid=6980 vsize=26538700 memory=5618384 CPUtime=0.37 cores=0-7
/proc/6982/task/6984/stat : 6984 (java) S 6980 6980 1674 0 -1 1077944384 2169 0 0 0 25 12 0 0 20 0 28 0 152034446 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140666161961360 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6985] ppid=6980 vsize=26538700 memory=5618772 CPUtime=0.34 cores=0-7
/proc/6982/task/6985/stat : 6985 (java) S 6980 6980 1674 0 -1 1077944384 1386 0 0 0 21 13 0 0 20 0 28 0 152034446 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140666160908560 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6986] ppid=6980 vsize=26538700 memory=5618772 CPUtime=0.37 cores=0-7
/proc/6982/task/6986/stat : 6986 (java) S 6980 6980 1674 0 -1 1077944384 1748 0 0 0 25 12 0 0 20 0 28 0 152034446 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140666159856272 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6987] ppid=6980 vsize=26538700 memory=5618772 CPUtime=0.38 cores=0-7
/proc/6982/task/6987/stat : 6987 (java) S 6980 6980 1674 0 -1 1077944384 1267 0 0 0 25 13 0 0 20 0 28 0 152034446 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140666158803472 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6988] ppid=6980 vsize=26538700 memory=5618772 CPUtime=0.36 cores=0-7
/proc/6982/task/6988/stat : 6988 (java) S 6980 6980 1674 0 -1 1077944384 1748 0 0 0 24 12 0 0 20 0 28 0 152034446 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140666157751184 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6989] ppid=6980 vsize=26538700 memory=5618772 CPUtime=0.37 cores=0-7
/proc/6982/task/6989/stat : 6989 (java) S 6980 6980 1674 0 -1 1077944384 1005 0 0 0 25 12 0 0 20 0 28 0 152034446 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140666156698384 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6990] ppid=6980 vsize=26538700 memory=1384 CPUtime=0.36 cores=0-7
/proc/6982/task/6990/stat : 6990 (java) S 6980 6980 1674 0 -1 1077944384 1865 0 0 0 25 11 0 0 20 0 28 0 152034446 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140666155646096 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6991] ppid=6980 vsize=26538700 memory=60069412615840 CPUtime=0.35 cores=0-7
/proc/6982/task/6991/stat : 6991 (java) S 6980 6980 1674 0 -1 1077944384 1434 0 0 0 24 11 0 0 20 0 28 0 152034446 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140666154593296 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6992] ppid=6980 vsize=26538700 memory=5618772 CPUtime=0.08 cores=0-7
/proc/6982/task/6992/stat : 6992 (java) S 6980 6980 1674 0 -1 1077944384 6571 0 0 0 4 4 0 0 20 0 28 0 152034448 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140665500485744 140666239392386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6993] ppid=6980 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/6982/task/6993/stat : 6993 (java) S 6980 6980 1674 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 152034448 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140665499431776 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6994] ppid=6980 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/6982/task/6994/stat : 6994 (java) S 6980 6980 1674 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 152034448 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140665498379392 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6995] ppid=6980 vsize=26538700 memory=5618772 CPUtime=0 cores=0-7
/proc/6982/task/6995/stat : 6995 (java) S 6980 6980 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 152034451 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140665497327696 140666239399835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6996] ppid=6980 vsize=26538700 memory=41992 CPUtime=4.21 cores=0-7
/proc/6982/task/6996/stat : 6996 (java) S 6980 6980 1674 0 -1 1077944384 24261 0 0 0 417 4 0 0 20 0 28 0 152034451 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140665496275568 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6997] ppid=6980 vsize=26538700 memory=1292 CPUtime=3.67 cores=0-7
/proc/6982/task/6997/stat : 6997 (java) S 6980 6980 1674 0 -1 1077944384 20453 0 0 0 363 4 0 0 20 0 28 0 152034451 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140665495222768 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6998] ppid=6980 vsize=26538700 memory=1384 CPUtime=3.88 cores=0-7
/proc/6982/task/6998/stat : 6998 (java) S 6980 6980 1674 0 -1 1077944384 19581 0 0 0 383 5 0 0 20 0 28 0 152034451 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140665494170480 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6999] ppid=6980 vsize=26538700 memory=5615836 CPUtime=1 cores=0-7
/proc/6982/task/6999/stat : 6999 (java) S 6980 6980 1674 0 -1 1077944384 17656 0 0 0 97 3 0 0 20 0 28 0 152034451 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140665493117680 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7000] ppid=6980 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/6982/task/7000/stat : 7000 (java) S 6980 6980 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 152034451 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140665492064608 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7001] ppid=6980 vsize=26538700 memory=1384 CPUtime=0.07 cores=0-7
/proc/6982/task/7001/stat : 7001 (java) S 6980 6980 1674 0 -1 1077944384 3204 0 0 0 3 4 0 0 20 0 28 0 152034451 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140665491011888 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7083] ppid=6980 vsize=26538700 memory=0 CPUtime=65.86 cores=0-7
/proc/6982/task/7083/stat : 7083 (java) R 6980 6980 1674 0 -1 4202560 454 0 0 0 6586 0 0 0 20 0 28 0 152050075 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140665411316584 140665844300611 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7084] ppid=6980 vsize=26538700 memory=0 CPUtime=65.93 cores=0-7
/proc/6982/task/7084/stat : 7084 (java) R 6980 6980 1674 0 -1 4202560 652 0 0 0 6592 1 0 0 20 0 28 0 152050075 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140665409212856 140665844369503 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7085] ppid=6980 vsize=26538700 memory=1004 CPUtime=65.05 cores=0-7
/proc/6982/task/7085/stat : 7085 (java) R 6980 6980 1674 0 -1 4202560 535 0 0 0 6505 0 0 0 20 0 28 0 152050075 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140665412370576 140665841474584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7086] ppid=6980 vsize=26538700 memory=1200 CPUtime=65.89 cores=0-7
/proc/6982/task/7086/stat : 7086 (java) R 6980 6980 1674 0 -1 4202560 11028 0 0 0 6551 38 0 0 20 0 28 0 152050075 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140665410268080 140665843155944 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7087] ppid=6980 vsize=26538700 memory=1384 CPUtime=65.65 cores=0-7
/proc/6982/task/7087/stat : 7087 (java) R 6980 6980 1674 0 -1 4202560 2226 0 0 0 6559 6 0 0 20 0 28 0 152050075 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140665483497736 140665842987380 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7088] ppid=6980 vsize=26538700 memory=1384 CPUtime=65.85 cores=0-7
/proc/6982/task/7088/stat : 7088 (java) R 6980 6980 1674 0 -1 4202560 2877 0 0 0 6582 3 0 0 20 0 28 0 152050075 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140665408160248 140665841866829 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7089] ppid=6980 vsize=26538700 memory=4100 CPUtime=65.91 cores=0-7
/proc/6982/task/7089/stat : 7089 (java) R 6980 6980 1674 0 -1 4202560 875 0 0 0 6590 1 0 0 20 0 28 0 152050075 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140665482444152 140665841321535 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7090] ppid=6980 vsize=26538700 memory=1384 CPUtime=65.65 cores=0-7
/proc/6982/task/7090/stat : 7090 (java) R 6980 6980 1674 0 -1 4202560 640 0 0 0 6565 0 0 0 20 0 28 0 152050077 27175628800 1404693 33554432000 4194304 4196468 140725274926016 140665413422776 140665844303539 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
Current children cumulated CPU time: 1389.32 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5620156 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 7.62 6.63 6.20 9/207 7090
/proc/meminfo: memFree=21569768/32770624 swapFree=67108860/67108860
[pid=6980] ppid=6977 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/6980/stat : 6980 (xcsp3-exec) S 6977 6980 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 152034445 9740288 346 33554432000 4194304 5098028 140737447399536 140737447397640 139684398330492 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 26390528 140737447404651 140737447404860 140737447404860 140737447407595 0
/proc/6980/statm: 2378 346 289 221 0 87 0
[pid=6982] ppid=6980 vsize=26538700 memory=5624908 CPUtime=1626.22 cores=0-7
/proc/6982/stat : 6982 (java) S 6980 6980 1674 0 -1 1077944320 186189 0 0 0 162192 430 0 0 20 0 28 0 152034445 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140725274908560 140666239381239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
/proc/6982/statm: 6634675 1406227 3280 1 0 6621909 0
[pid=6982/tid=6983] ppid=6980 vsize=26538700 memory=8112282956445269571 CPUtime=2.13 cores=0-7
/proc/6982/task/6983/stat : 6983 (java) S 6980 6980 1674 0 -1 1077944384 7940 0 0 0 204 9 0 0 20 0 28 0 152034445 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140666243622016 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6984] ppid=6980 vsize=26538700 memory=4126316290023845779 CPUtime=0.37 cores=0-7
/proc/6982/task/6984/stat : 6984 (java) S 6980 6980 1674 0 -1 1077944384 2176 0 0 0 25 12 0 0 20 0 28 0 152034446 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140666161961360 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6985] ppid=6980 vsize=26538700 memory=1712 CPUtime=0.35 cores=0-7
/proc/6982/task/6985/stat : 6985 (java) S 6980 6980 1674 0 -1 1077944384 1390 0 0 0 22 13 0 0 20 0 28 0 152034446 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140666160908560 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6986] ppid=6980 vsize=26538700 memory=4612 CPUtime=0.38 cores=0-7
/proc/6982/task/6986/stat : 6986 (java) S 6980 6980 1674 0 -1 1077944384 1754 0 0 0 26 12 0 0 20 0 28 0 152034446 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140666159856272 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6987] ppid=6980 vsize=26538700 memory=1004 CPUtime=0.38 cores=0-7
/proc/6982/task/6987/stat : 6987 (java) S 6980 6980 1674 0 -1 1077944384 1274 0 0 0 25 13 0 0 20 0 28 0 152034446 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140666158803472 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6988] ppid=6980 vsize=26538700 memory=1200 CPUtime=0.37 cores=0-7
/proc/6982/task/6988/stat : 6988 (java) S 6980 6980 1674 0 -1 1077944384 1754 0 0 0 25 12 0 0 20 0 28 0 152034446 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140666157751184 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6989] ppid=6980 vsize=26538700 memory=15876 CPUtime=0.38 cores=0-7
/proc/6982/task/6989/stat : 6989 (java) S 6980 6980 1674 0 -1 1077944384 1012 0 0 0 25 13 0 0 20 0 28 0 152034446 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140666156698384 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6990] ppid=6980 vsize=26538700 memory=23260 CPUtime=0.37 cores=0-7
/proc/6982/task/6990/stat : 6990 (java) S 6980 6980 1674 0 -1 1077944384 1871 0 0 0 25 12 0 0 20 0 28 0 152034446 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140666155646096 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6991] ppid=6980 vsize=26538700 memory=4052 CPUtime=0.36 cores=0-7
/proc/6982/task/6991/stat : 6991 (java) S 6980 6980 1674 0 -1 1077944384 1440 0 0 0 25 11 0 0 20 0 28 0 152034446 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140666154593296 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6992] ppid=6980 vsize=26538700 memory=16236 CPUtime=0.09 cores=0-7
/proc/6982/task/6992/stat : 6992 (java) S 6980 6980 1674 0 -1 1077944384 6660 0 0 0 4 5 0 0 20 0 28 0 152034448 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140665500485744 140666239392386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6993] ppid=6980 vsize=26538700 memory=1796 CPUtime=0 cores=0-7
/proc/6982/task/6993/stat : 6993 (java) S 6980 6980 1674 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 152034448 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140665499431776 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6994] ppid=6980 vsize=26538700 memory=644 CPUtime=0 cores=0-7
/proc/6982/task/6994/stat : 6994 (java) S 6980 6980 1674 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 152034448 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140665498379392 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6995] ppid=6980 vsize=26538700 memory=960 CPUtime=0 cores=0-7
/proc/6982/task/6995/stat : 6995 (java) S 6980 6980 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 152034451 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140665497327696 140666239399835 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6996] ppid=6980 vsize=26538700 memory=41992 CPUtime=4.21 cores=0-7
/proc/6982/task/6996/stat : 6996 (java) S 6980 6980 1674 0 -1 1077944384 24267 0 0 0 417 4 0 0 20 0 28 0 152034451 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140665496275568 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6997] ppid=6980 vsize=26538700 memory=1292 CPUtime=3.67 cores=0-7
/proc/6982/task/6997/stat : 6997 (java) S 6980 6980 1674 0 -1 1077944384 20469 0 0 0 363 4 0 0 20 0 28 0 152034451 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140665495222768 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6998] ppid=6980 vsize=26538700 memory=2448 CPUtime=3.88 cores=0-7
/proc/6982/task/6998/stat : 6998 (java) S 6980 6980 1674 0 -1 1077944384 19587 0 0 0 383 5 0 0 20 0 28 0 152034451 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140665494170480 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=6999] ppid=6980 vsize=26538700 memory=1732 CPUtime=1.01 cores=0-7
/proc/6982/task/6999/stat : 6999 (java) S 6980 6980 1674 0 -1 1077944384 20515 0 0 0 98 3 0 0 20 0 28 0 152034451 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140665493117680 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7000] ppid=6980 vsize=26538700 memory=1948 CPUtime=0 cores=0-7
/proc/6982/task/7000/stat : 7000 (java) S 6980 6980 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 152034451 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140665492064608 140666239391445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7001] ppid=6980 vsize=26538700 memory=800 CPUtime=0.09 cores=0-7
/proc/6982/task/7001/stat : 7001 (java) S 6980 6980 1674 0 -1 1077944384 3257 0 0 0 4 5 0 0 20 0 28 0 152034451 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140665491011888 140666239392386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7083] ppid=6980 vsize=26538700 memory=12132 CPUtime=95.54 cores=0-7
/proc/6982/task/7083/stat : 7083 (java) R 6980 6980 1674 0 -1 4202560 528 0 0 0 9554 0 0 0 20 0 28 0 152050075 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140665411316936 140665841232467 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7084] ppid=6980 vsize=26538700 memory=1440 CPUtime=95.62 cores=0-7
/proc/6982/task/7084/stat : 7084 (java) R 6980 6980 1674 0 -1 4202560 841 0 0 0 9561 1 0 0 20 0 28 0 152050075 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140665409212456 140665843210145 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7085] ppid=6980 vsize=26538700 memory=5796 CPUtime=94.72 cores=0-7
/proc/6982/task/7085/stat : 7085 (java) R 6980 6980 1674 0 -1 4202560 661 0 0 0 9472 0 0 0 20 0 28 0 152050075 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140665412370824 140665841474584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7086] ppid=6980 vsize=26538700 memory=1224 CPUtime=95.56 cores=0-7
/proc/6982/task/7086/stat : 7086 (java) R 6980 6980 1674 0 -1 4202560 12886 0 0 0 9516 40 0 0 20 0 28 0 152050075 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140665410265736 140665842027733 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7087] ppid=6980 vsize=26538700 memory=8716 CPUtime=94.73 cores=0-7
/proc/6982/task/7087/stat : 7087 (java) R 6980 6980 1674 0 -1 4202560 2821 0 0 0 9466 7 0 0 20 0 28 0 152050075 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140665483497600 140665837203966 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7088] ppid=6980 vsize=26538700 memory=1712 CPUtime=95.53 cores=0-7
/proc/6982/task/7088/stat : 7088 (java) R 6980 6980 1674 0 -1 4202560 3335 0 0 0 9550 3 0 0 20 0 28 0 152050075 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140665408160648 140665841866812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7089] ppid=6980 vsize=26538700 memory=4612 CPUtime=95.59 cores=0-7
/proc/6982/task/7089/stat : 7089 (java) R 6980 6980 1674 0 -1 4202560 1123 0 0 0 9558 1 0 0 20 0 28 0 152050075 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140665482444488 140665841321765 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
[pid=6982/tid=7090] ppid=6980 vsize=26538700 memory=1004 CPUtime=95.33 cores=0-7
/proc/6982/task/7090/stat : 7090 (java) R 6980 6980 1674 0 -1 4202560 759 0 0 0 9533 0 0 0 20 0 28 0 152050077 27175628800 1406227 33554432000 4194304 4196468 140725274926016 140665413422776 140665842859361 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19419136 140725274932376 140725274932552 140725274932552 140725274935247 0
Current children cumulated CPU time: 1626.22 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 5626292 KiB

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

[startup+252.044 s]
# the end of solver process 6980 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000973 s, system=0.000973 s

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

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

Child status: 143
Real time (s): 252.12
CPU time (s): 1626.91
CPU user time (s): 1622.57
CPU system time (s): 4.33929
CPU usage (%): 645.294
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 5626292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1622.57
system time used= 4.33929
maximum resident set size= 5629012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 187406
page faults= 0
swaps= 0
block input operations= 0
block output operations= 528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13007
involuntary context switches= 17461


# summary of solver processes directly reported to runsolver:
#   pid: 6980,6982
#   total CPU time (s): 1626.91
#   total CPU user time (s): 1622.57
#   total CPU system time (s): 4.33929

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.1426 second user time and 2.94781 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-20 02:23:30
IDJOB=4281655
IDBENCH=140579
IDSOLVER=2676
FILE ID=node113/4281655-1503189470
RUNJOBID= node113-1503181653-1704
PBS_JOBID= 20630852
Free space on /tmp= 61692 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-34.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281655-1503189470/watcher-4281655-1503189470 -o /tmp/evaluation-result-4281655-1503189470/solver-4281655-1503189470 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503181653-1704 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 519744658 HOME/instance-4281655-1503189470.xml

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

MD5SUM BENCH= 778dc3cd7adf307db423468d07378e38
RANDOM SEED=519744658

node113.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.89
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.89
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.89
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.89
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:        27192316 kB
MemAvailable:   31969980 kB
Buffers:          255792 kB
Cached:          4811708 kB
SwapCached:            0 kB
Active:          1259336 kB
Inactive:        3862640 kB
Active(anon):       4712 kB
Inactive(anon):    85928 kB
Active(file):    1254624 kB
Inactive(file):  3776712 kB
Unevictable:        7476 kB
Mlocked:            7476 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8156 kB
Writeback:             0 kB
AnonPages:         61940 kB
Mapped:            51280 kB
Shmem:             33416 kB
Slab:             151572 kB
SReclaimable:     124328 kB
SUnreclaim:        27244 kB
KernelStack:        3152 kB
PageTables:         5052 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     334468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61684 MiB
End job on node113 at 2017-08-20 02:27:42