Trace number 4280905

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)SAT 15.1225 2.4858899

General information on the benchmark

NameCoveringArray/CoveringArray-elt-s1/
CoveringArray-elt-3-06-2-12.xml
MD5SUM6a2428e0ea9e56c54fb162011650005e
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.86371601
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints192
Number of domains2
Minimum domain size8
Maximum domain size12
Distribution of domain sizes[{"size":8,"count":240},{"size":12,"count":160}]
Minimum variable degree2
Maximum variable degree9
Distribution of variable degrees[{"degree":2,"count":160},{"degree":9,"count":240}]
Minimum constraint arity8
Maximum constraint arity20
Distribution of constraint arities[{"arity":8,"count":20},{"arity":13,"count":160},{"arity":20,"count":12}]
Number of extensional constraints12
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":12},{"type":"allDifferent","count":20},{"type":"element","count":160}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4280905-1503178760.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280905-1503178760.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
1.54/0.75	c solve instance...
14.59/2.46	s SATISFIABLE
14.59/2.46	v <instantiation>
14.59/2.46	v 	<list>p[0][0] p[0][1] p[0][2] p[0][3] p[0][4] p[0][5] p[0][6] p[0][7] p[1][0] p[1][1] p[1][2] p[1][3] p[1][4] p[1][5] p[1][6] p[1][7] p[2][0] p[2][1] p[2][2] p[2][3] p[2][4] p[2][5] p[2][6] p[2][7] p[3][0] p[3][1] p[3][2] p[3][3] p[3][4] p[3][5] p[3][6] p[3][7] p[4][0] p[4][1] p[4][2] p[4][3] p[4][4] p[4][5] p[4][6] p[4][7] p[5][0] p[5][1] p[5][2] p[5][3] p[5][4] p[5][5] p[5][6] p[5][7] p[6][0] p[6][1] p[6][2] p[6][3] p[6][4] p[6][5] p[6][6] p[6][7] p[7][0] p[7][1] p[7][2] p[7][3] p[7][4] p[7][5] p[7][6] p[7][7] p[8][0] p[8][1] p[8][2] p[8][3] p[8][4] p[8][5] p[8][6] p[8][7] p[9][0] p[9][1] p[9][2] p[9][3] p[9][4] p[9][5] p[9][6] p[9][7] p[10][0] p[10][1] p[10][2] p[10][3] p[10][4] p[10][5] p[10][6] p[10][7] p[11][0] p[11][1] p[11][2] p[11][3] p[11][4] p[11][5] p[11][6] p[11][7] p[12][0] p[12][1] p[12][2] p[12][3] p[12][4] p[12][5] p[12][6] p[12][7] p[13][0] p[13][1] p[13][2] p[13][3] p[13][4] p[13][5] p[13][6] p[13][7] p[14][0] p[14][1] p[14][2] p[14][3] p[14][4] p[14][5] p[14][6] p[14][7] p[15][0] p[15][1] p[15][2] p[15][3] p[15][4] p[15][5] p[15][6] p[15][7] p[16][0] p[16][1] p[16][2] p[16][3] p[16][4] p[16][5] p[16][6] p[16][7] p[17][0] p[17][1] p[17][2] p[17][3] p[17][4] p[17][5] p[17][6] p[17][7] p[18][0] p[18][1] p[18][2] p[18][3] p[18][4] p[18][5] p[18][6] p[18][7] p[19][0] p[19][1] p[19][2] p[19][3] p[19][4] p[19][5] p[19][6] p[19][7] v[0][0] v[0][1] v[0][2] v[0][3] v[0][4] v[0][5] v[0][6] v[0][7] v[0][8] v[0][9] v[0][10] v[0][11] v[1][0] v[1][1] v[1][2] v[1][3] v[1][4] v[1][5] v[1][6] v[1][7] v[1][8] v[1][9] v[1][10] v[1][11] v[2][0] v[2][1] v[2][2] v[2][3] v[2][4] v[2][5] v[2][6] v[2][7] v[2][8] v[2][9] v[2][10] v[2][11] v[3][0] v[3][1] v[3][2] v[3][3] v[3][4] v[3][5] v[3][6] v[3][7] v[3][8] v[3][9] v[3][10] v[3][11] v[4][0] v[4][1] v[4][2] v[4][3] v[4][4] v[4][5] v[4][6] v[4][7] v[4][8] v[4][9] v[4][10] v[4][11] v[5][0] v[5][1] v[5][2] v[5][3] v[5][4] v[5][5] v[5][6] v[5][7] v[5][8] v[5][9] v[5][10] v[5][11] v[6][0] v[6][1] v[6][2] v[6][3] v[6][4] v[6][5] v[6][6] v[6][7] v[6][8] v[6][9] v[6][10] v[6][11] v[7][0] v[7][1] v[7][2] v[7][3] v[7][4] v[7][5] v[7][6] v[7][7] v[7][8] v[7][9] v[7][10] v[7][11] v[8][0] v[8][1] v[8][2] v[8][3] v[8][4] v[8][5] v[8][6] v[8][7] v[8][8] v[8][9] v[8][10] v[8][11] v[9][0] v[9][1] v[9][2] v[9][3] v[9][4] v[9][5] v[9][6] v[9][7] v[9][8] v[9][9] v[9][10] v[9][11] v[10][0] v[10][1] v[10][2] v[10][3] v[10][4] v[10][5] v[10][6] v[10][7] v[10][8] v[10][9] v[10][10] v[10][11] v[11][0] v[11][1] v[11][2] v[11][3] v[11][4] v[11][5] v[11][6] v[11][7] v[11][8] v[11][9] v[11][10] v[11][11] v[12][0] v[12][1] v[12][2] v[12][3] v[12][4] v[12][5] v[12][6] v[12][7] v[12][8] v[12][9] v[12][10] v[12][11] v[13][0] v[13][1] v[13][2] v[13][3] v[13][4] v[13][5] v[13][6] v[13][7] v[13][8] v[13][9] v[13][10] v[13][11] v[14][0] v[14][1] v[14][2] v[14][3] v[14][4] v[14][5] v[14][6] v[14][7] v[14][8] v[14][9] v[14][10] v[14][11] v[15][0] v[15][1] v[15][2] v[15][3] v[15][4] v[15][5] v[15][6] v[15][7] v[15][8] v[15][9] v[15][10] v[15][11] v[16][0] v[16][1] v[16][2] v[16][3] v[16][4] v[16][5] v[16][6] v[16][7] v[16][8] v[16][9] v[16][10] v[16][11] v[17][0] v[17][1] v[17][2] v[17][3] v[17][4] v[17][5] v[17][6] v[17][7] v[17][8] v[17][9] v[17][10] v[17][11] v[18][0] v[18][1] v[18][2] v[18][3] v[18][4] v[18][5] v[18][6] v[18][7] v[18][8] v[18][9] v[18][10] v[18][11] v[19][0] v[19][1] v[19][2] v[19][3] v[19][4] v[19][5] v[19][6] v[19][7] v[19][8] v[19][9] v[19][10] v[19][11] </list>
14.59/2.46	v 	<values>8 11 1 0 3 10 5 2 8 11 0 1 10 3 6 5 7 11 9 0 10 4 6 2 7 11 0 9 10 3 5 2 9 1 0 11 4 5 6 2 9 8 7 11 3 5 10 2 1 9 0 11 5 3 10 2 9 0 7 11 10 4 3 2 0 9 1 11 10 6 5 2 7 9 0 11 10 3 5 2 8 3 10 11 9 5 6 2 3 4 10 11 9 5 6 2 8 4 7 11 5 9 0 6 10 8 3 11 9 0 1 5 10 4 7 3 0 9 1 2 10 3 8 4 1 6 0 2 9 4 3 5 10 0 7 2 8 9 1 3 10 6 7 2 1 9 5 4 10 6 0 11 10 9 8 4 7 3 5 2 3 2 7 4 4 6 7 1 0 2 5 1 2 3 7 5 4 7 6 1 0 2 4 1 3 2 7 4 5 7 6 0 1 2 4 1 2 2 7 5 5 6 7 0 0 3 4 1 2 1 7 5 4 5 6 3 0 0 6 3 3 0 7 4 5 5 6 2 1 0 6 3 2 0 7 5 5 4 7 2 0 1 6 3 1 2 7 6 5 7 4 2 1 0 4 3 0 2 7 7 5 6 5 2 0 1 4 3 2 0 7 5 7 6 5 0 2 1 4 3 6 5 7 1 0 5 6 3 0 4 2 3 7 4 7 0 1 5 6 2 1 4 2 3 6 4 7 1 1 4 7 2 0 5 2 3 5 6 7 2 1 7 4 2 1 4 0 3 4 6 7 3 1 6 5 2 0 5 0 3 6 4 7 1 3 6 5 0 2 5 0 3 5 2 7 2 1 3 4 6 1 0 4 7 4 2 7 3 1 2 5 6 0 1 4 7 6 0 7 1 3 2 5 4 2 1 4 7 2 4 7 5 3 6 1 4 2 1 0 7 </values>
14.59/2.46	v </instantiation>

Verifier Data 

OK

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12771 MiB free)
  memory of node 1: 16384 MiB (12136 MiB free)
  node distances:
     10  21
     21  10

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

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

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

solver pid=7174, runsolver pid=7171

[startup+0.100172 s]*
/proc/loadavg: 7.69 8.27 8.30 2/200 7195
/proc/meminfo: memFree=25489316/32770624 swapFree=67108860/67108860
[pid=7174] ppid=7171 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7174/stat : 7174 (xcsp3-exec) S 7171 7174 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150956866 9740288 346 33554432000 4194304 5098028 140728331624128 140728331622232 139806040433276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11329536 140728331629668 140728331629879 140728331629879 140728331632619 0
/proc/7174/statm: 2378 346 289 221 0 87 0
[pid=7176] ppid=7174 vsize=25999808 memory=26188 CPUtime=0.12 cores=0-7
/proc/7176/stat : 7176 (java) S 7174 7174 6711 0 -1 1077944320 5473 0 0 0 10 2 0 0 20 0 20 0 150956866 26623803392 6547 33554432000 4194304 4196468 140737388727920 140737388710464 140320745000695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
/proc/7176/statm: 6499952 6547 2847 1 0 6488269 0
[pid=7176/tid=7177] ppid=7174 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/7176/task/7177/stat : 7177 (java) R 7174 7174 6711 0 -1 4202560 3471 0 0 0 8 1 0 0 20 0 20 0 150956866 26623803392 6547 33554432000 4194304 4196468 140737388727920 140320749233968 140320745012630 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7178] ppid=7174 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7176/task/7178/stat : 7178 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150956867 26623803392 6547 33554432000 4194304 4196468 140737388727920 140320697621648 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7179] ppid=7174 vsize=25999808 memory=140136010147456 CPUtime=0 cores=0-7
/proc/7176/task/7179/stat : 7179 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956867 26623803392 6547 33554432000 4194304 4196468 140737388727920 140320696568848 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7180] ppid=7174 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7180/stat : 7180 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956867 26623803392 6547 33554432000 4194304 4196468 140737388727920 140320695516048 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7181] ppid=7174 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7181/stat : 7181 (java) S 7174 7174 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150956867 26623803392 6547 33554432000 4194304 4196468 140737388727920 140320694463248 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7182] ppid=7174 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7182/stat : 7182 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150956867 26623803392 6547 33554432000 4194304 4196468 140737388727920 140320693410448 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7183] ppid=7174 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7176/task/7183/stat : 7183 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150956867 26623803392 6547 33554432000 4194304 4196468 140737388727920 140320692357648 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7184] ppid=7174 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7184/stat : 7184 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956867 26623803392 6547 33554432000 4194304 4196468 140737388727920 140320691304848 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7185] ppid=7174 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7185/stat : 7185 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956867 26623803392 6547 33554432000 4194304 4196468 140737388727920 140320690252048 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7186] ppid=7174 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7186/stat : 7186 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150956869 26623803392 6547 33554432000 4194304 4196468 140737388727920 140319329860464 140320745011842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7187] ppid=7174 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7187/stat : 7187 (java) S 7174 7174 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150956869 26623803392 6547 33554432000 4194304 4196468 140737388727920 140319328806432 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7188] ppid=7174 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7188/stat : 7188 (java) S 7174 7174 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150956869 26623803392 6547 33554432000 4194304 4196468 140737388727920 140319327753584 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7189] ppid=7174 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7189/stat : 7189 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956872 26623803392 6547 33554432000 4194304 4196468 140737388727920 140319326701904 140320745019291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7190] ppid=7174 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7190/stat : 7190 (java) S 7174 7174 6711 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 150956872 26623803392 6547 33554432000 4194304 4196468 140737388727920 140319325649264 140320745011842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7191] ppid=7174 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7191/stat : 7191 (java) S 7174 7174 6711 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 150956872 26623803392 6547 33554432000 4194304 4196468 140737388727920 140319324596464 140320745011842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7192] ppid=7174 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7192/stat : 7192 (java) S 7174 7174 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150956872 26623803392 6547 33554432000 4194304 4196468 140737388727920 140319323543664 140320745011842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7193] ppid=7174 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/7176/task/7193/stat : 7193 (java) S 7174 7174 6711 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 20 0 150956872 26623803392 6547 33554432000 4194304 4196468 140737388727920 140319322490864 140320745011842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7194] ppid=7174 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7194/stat : 7194 (java) S 7174 7174 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150956872 26623803392 6547 33554432000 4194304 4196468 140737388727920 140319321439328 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7195] ppid=7174 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/7176/task/7195/stat : 7195 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956872 26623803392 6547 33554432000 4194304 4196468 140737388727920 140319320386608 140320745011842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27572 KiB

[startup+0.210084 s]*
/proc/loadavg: 7.69 8.27 8.30 2/200 7195
/proc/meminfo: memFree=25477852/32770624 swapFree=67108860/67108860
[pid=7174] ppid=7171 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7174/stat : 7174 (xcsp3-exec) S 7171 7174 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150956866 9740288 346 33554432000 4194304 5098028 140728331624128 140728331622232 139806040433276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11329536 140728331629668 140728331629879 140728331629879 140728331632619 0
/proc/7174/statm: 2378 346 289 221 0 87 0
[pid=7176] ppid=7174 vsize=26004064 memory=39092 CPUtime=0.33 cores=0-7
/proc/7176/stat : 7176 (java) S 7174 7174 6711 0 -1 1077944320 8328 0 0 0 30 3 0 0 20 0 20 0 150956866 26628161536 9773 33554432000 4194304 4196468 140737388727920 140737388710464 140320745000695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
/proc/7176/statm: 6501016 9773 3056 1 0 6488269 0
[pid=7176/tid=7177] ppid=7174 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/7176/task/7177/stat : 7177 (java) R 7174 7174 6711 0 -1 4202560 5395 0 0 0 18 2 0 0 20 0 20 0 150956866 26628161536 9773 33554432000 4194304 4196468 140737388727920 140320749221688 140320745022621 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7178] ppid=7174 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/7176/task/7178/stat : 7178 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150956867 26628161536 9773 33554432000 4194304 4196468 140737388727920 140320697621648 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7179] ppid=7174 vsize=26004064 memory=140136010167030 CPUtime=0 cores=0-7
/proc/7176/task/7179/stat : 7179 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956867 26628161536 9773 33554432000 4194304 4196468 140737388727920 140320696568848 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7180] ppid=7174 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7176/task/7180/stat : 7180 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956867 26628161536 9773 33554432000 4194304 4196468 140737388727920 140320695516048 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7181] ppid=7174 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7181/stat : 7181 (java) S 7174 7174 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150956867 26628161536 9773 33554432000 4194304 4196468 140737388727920 140320694463248 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7182] ppid=7174 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7182/stat : 7182 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150956867 26628161536 9773 33554432000 4194304 4196468 140737388727920 140320693410448 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7183] ppid=7174 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7176/task/7183/stat : 7183 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150956867 26628161536 9773 33554432000 4194304 4196468 140737388727920 140320692357648 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7184] ppid=7174 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7184/stat : 7184 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956867 26628161536 9773 33554432000 4194304 4196468 140737388727920 140320691304848 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7185] ppid=7174 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7185/stat : 7185 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956867 26628161536 9773 33554432000 4194304 4196468 140737388727920 140320690252048 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7186] ppid=7174 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7186/stat : 7186 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150956869 26628161536 9773 33554432000 4194304 4196468 140737388727920 140319329860464 140320745011842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7187] ppid=7174 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7187/stat : 7187 (java) S 7174 7174 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150956869 26628161536 9773 33554432000 4194304 4196468 140737388727920 140319328806432 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7188] ppid=7174 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7188/stat : 7188 (java) S 7174 7174 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150956869 26628161536 9773 33554432000 4194304 4196468 140737388727920 140319327753584 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7189] ppid=7174 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7189/stat : 7189 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956872 26628161536 9773 33554432000 4194304 4196468 140737388727920 140319326701904 140320745019291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7190] ppid=7174 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/7176/task/7190/stat : 7190 (java) S 7174 7174 6711 0 -1 1077944384 611 0 0 0 1 0 0 0 20 0 20 0 150956872 26628161536 9773 33554432000 4194304 4196468 140737388727920 140319325649264 140320745011842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7191] ppid=7174 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/7176/task/7191/stat : 7191 (java) S 7174 7174 6711 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 20 0 150956872 26628161536 9773 33554432000 4194304 4196468 140737388727920 140319324596464 140320745011842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7192] ppid=7174 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/7176/task/7192/stat : 7192 (java) S 7174 7174 6711 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 150956872 26628161536 9773 33554432000 4194304 4196468 140737388727920 140319323543664 140320745011842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7193] ppid=7174 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/7176/task/7193/stat : 7193 (java) R 7174 7174 6711 0 -1 4202560 756 0 0 0 7 0 0 0 20 0 20 0 150956872 26628161536 9773 33554432000 4194304 4196468 140737388727920 140319322490864 140320724702245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7194] ppid=7174 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7194/stat : 7194 (java) S 7174 7174 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150956872 26628161536 9773 33554432000 4194304 4196468 140737388727920 140319321439328 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7195] ppid=7174 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7176/task/7195/stat : 7195 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956872 26628161536 9773 33554432000 4194304 4196468 140737388727920 140319320386608 140320745011842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40476 KiB

[startup+0.309504 s]*
/proc/loadavg: 7.69 8.27 8.30 1/200 7195
/proc/meminfo: memFree=25471308/32770624 swapFree=67108860/67108860
[pid=7174] ppid=7171 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7174/stat : 7174 (xcsp3-exec) S 7171 7174 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150956866 9740288 346 33554432000 4194304 5098028 140728331624128 140728331622232 139806040433276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11329536 140728331629668 140728331629879 140728331629879 140728331632619 0
/proc/7174/statm: 2378 346 289 221 0 87 0
[pid=7176] ppid=7174 vsize=26004064 memory=42900 CPUtime=0.44 cores=0-7
/proc/7176/stat : 7176 (java) S 7174 7174 6711 0 -1 1077944320 8959 0 0 0 40 4 0 0 20 0 20 0 150956866 26628161536 10725 33554432000 4194304 4196468 140737388727920 140737388710464 140320745000695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
/proc/7176/statm: 6501016 10725 3069 1 0 6488269 0
[pid=7176/tid=7177] ppid=7174 vsize=26004064 memory=8112282956445269571 CPUtime=0.26 cores=0-7
/proc/7176/task/7177/stat : 7177 (java) D 7174 7174 6711 0 -1 4202560 5983 0 0 0 24 2 0 0 20 0 20 0 150956866 26628161536 10725 33554432000 4194304 4196468 140737388727920 140320749240448 140320745022621 0 4 0 16800975 18446744072100375685 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7178] ppid=7174 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7178/stat : 7178 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150956867 26628161536 10725 33554432000 4194304 4196468 140737388727920 140320697621648 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7179] ppid=7174 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7179/stat : 7179 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956867 26628161536 10725 33554432000 4194304 4196468 140737388727920 140320696568848 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7180] ppid=7174 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7180/stat : 7180 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956867 26628161536 10725 33554432000 4194304 4196468 140737388727920 140320695516048 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7181] ppid=7174 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7181/stat : 7181 (java) S 7174 7174 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150956867 26628161536 10725 33554432000 4194304 4196468 140737388727920 140320694463248 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7182] ppid=7174 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/7176/task/7182/stat : 7182 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150956867 26628161536 10725 33554432000 4194304 4196468 140737388727920 140320693410448 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7183] ppid=7174 vsize=26004064 memory=140135857484719 CPUtime=0 cores=0-7
/proc/7176/task/7183/stat : 7183 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150956867 26628161536 10725 33554432000 4194304 4196468 140737388727920 140320692357648 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7184] ppid=7174 vsize=26004064 memory=140135857487024 CPUtime=0 cores=0-7
/proc/7176/task/7184/stat : 7184 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956867 26628161536 10725 33554432000 4194304 4196468 140737388727920 140320691304848 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7185] ppid=7174 vsize=26004064 memory=140135857489328 CPUtime=0 cores=0-7
/proc/7176/task/7185/stat : 7185 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956867 26628161536 10725 33554432000 4194304 4196468 140737388727920 140320690252048 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7186] ppid=7174 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7186/stat : 7186 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150956869 26628161536 10725 33554432000 4194304 4196468 140737388727920 140319329860464 140320745011842 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7187] ppid=7174 vsize=26004064 memory=280271714985616 CPUtime=0 cores=0-7
/proc/7176/task/7187/stat : 7187 (java) S 7174 7174 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150956869 26628161536 10725 33554432000 4194304 4196468 140737388727920 140319328806432 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7188] ppid=7174 vsize=26004064 memory=280271714992528 CPUtime=0 cores=0-7
/proc/7176/task/7188/stat : 7188 (java) S 7174 7174 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150956869 26628161536 10725 33554432000 4194304 4196468 140737388727920 140319327753584 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7189] ppid=7174 vsize=26004064 memory=280271714933808 CPUtime=0 cores=0-7
/proc/7176/task/7189/stat : 7189 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956872 26628161536 10725 33554432000 4194304 4196468 140737388727920 140319326701904 140320745019291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7190] ppid=7174 vsize=26004064 memory=280271715006352 CPUtime=0.02 cores=0-7
/proc/7176/task/7190/stat : 7190 (java) S 7174 7174 6711 0 -1 1077944384 612 0 0 0 2 0 0 0 20 0 20 0 150956872 26628161536 10725 33554432000 4194304 4196468 140737388727920 140319325649264 140320745011842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7191] ppid=7174 vsize=26004064 memory=280271715013264 CPUtime=0.01 cores=0-7
/proc/7176/task/7191/stat : 7191 (java) S 7174 7174 6711 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 20 0 150956872 26628161536 10725 33554432000 4194304 4196468 140737388727920 140319324596464 140320745011842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7192] ppid=7174 vsize=26004064 memory=280271715010960 CPUtime=0.01 cores=0-7
/proc/7176/task/7192/stat : 7192 (java) S 7174 7174 6711 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 150956872 26628161536 10725 33554432000 4194304 4196468 140737388727920 140319323543664 140320745011842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7193] ppid=7174 vsize=26004064 memory=280271715027120 CPUtime=0.1 cores=0-7
/proc/7176/task/7193/stat : 7193 (java) S 7174 7174 6711 0 -1 1077944384 786 0 0 0 10 0 0 0 20 0 20 0 150956872 26628161536 10725 33554432000 4194304 4196468 140737388727920 140319322490864 140320745011842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7194] ppid=7174 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7194/stat : 7194 (java) S 7174 7174 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150956872 26628161536 10725 33554432000 4194304 4196468 140737388727920 140319321439328 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7195] ppid=7174 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/7176/task/7195/stat : 7195 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956872 26628161536 10725 33554432000 4194304 4196468 140737388727920 140319320386608 140320745011842 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44284 KiB

[startup+0.700934 s]
/proc/loadavg: 7.69 8.27 8.30 3/200 7195
/proc/meminfo: memFree=25457456/32770624 swapFree=67108860/67108860
[pid=7174] ppid=7171 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7174/stat : 7174 (xcsp3-exec) S 7171 7174 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150956866 9740288 346 33554432000 4194304 5098028 140728331624128 140728331622232 139806040433276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11329536 140728331629668 140728331629879 140728331629879 140728331632619 0
/proc/7174/statm: 2378 346 289 221 0 87 0
[pid=7176] ppid=7174 vsize=26006188 memory=79920 CPUtime=1.54 cores=0-7
/proc/7176/stat : 7176 (java) S 7174 7174 6711 0 -1 1077944320 12664 0 0 0 147 7 0 0 20 0 20 0 150956866 26630336512 19980 33554432000 4194304 4196468 140737388727920 140737388710464 140320745000695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
/proc/7176/statm: 6501547 19980 3207 1 0 6488781 0
[pid=7176/tid=7177] ppid=7174 vsize=26006188 memory=280271715385008 CPUtime=0.6 cores=0-7
/proc/7176/task/7177/stat : 7177 (java) R 7174 7174 6711 0 -1 4202560 6766 0 0 0 56 4 0 0 20 0 20 0 150956866 26630336512 19980 33554432000 4194304 4196468 140737388727920 140320749234352 140320359582751 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7178] ppid=7174 vsize=26006188 memory=140135857693552 CPUtime=0 cores=0-7
/proc/7176/task/7178/stat : 7178 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150956867 26630336512 19980 33554432000 4194304 4196468 140737388727920 140320697621648 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7179] ppid=7174 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7179/stat : 7179 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956867 26630336512 19980 33554432000 4194304 4196468 140737388727920 140320696568848 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7180] ppid=7174 vsize=26006188 memory=1204 CPUtime=0 cores=0-7
/proc/7176/task/7180/stat : 7180 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150956867 26630336512 19980 33554432000 4194304 4196468 140737388727920 140320695516048 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0

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

[pid=7176/tid=7193] ppid=7174 vsize=26538700 memory=15880 CPUtime=0.56 cores=0-7
/proc/7176/task/7193/stat : 7193 (java) R 7174 7174 6711 0 -1 1077944384 2527 0 0 0 55 1 0 0 20 0 28 0 150956872 27175628800 34397 33554432000 4194304 4196468 140737388727920 140319322490864 140320745011842 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7194] ppid=7174 vsize=26538700 memory=16432 CPUtime=0 cores=0-7
/proc/7176/task/7194/stat : 7194 (java) S 7174 7174 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150956872 27175628800 34397 33554432000 4194304 4196468 140737388727920 140319321439328 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7195] ppid=7174 vsize=26538700 memory=24124 CPUtime=0 cores=0-7
/proc/7176/task/7195/stat : 7195 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150956872 27175628800 34397 33554432000 4194304 4196468 140737388727920 140319320386608 140320745011842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7196] ppid=7174 vsize=26538700 memory=4044 CPUtime=0.7 cores=0-7
/proc/7176/task/7196/stat : 7196 (java) R 7174 7174 6711 0 -1 4202560 84 0 0 0 70 0 0 0 20 0 28 0 150956943 27175628800 34397 33554432000 4194304 4196468 140737388727920 140319312865688 140320362102705 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7197] ppid=7174 vsize=26538700 memory=1792 CPUtime=0.7 cores=0-7
/proc/7176/task/7197/stat : 7197 (java) R 7174 7174 6711 0 -1 4202560 62 0 0 0 70 0 0 0 20 0 28 0 150956943 27175628800 34397 33554432000 4194304 4196468 140737388727920 140319311817800 140320362102692 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7198] ppid=7174 vsize=26538700 memory=6335076762784 CPUtime=0.63 cores=0-7
/proc/7176/task/7198/stat : 7198 (java) S 7174 7174 6711 0 -1 1077944384 57 0 0 0 63 0 0 0 20 0 28 0 150956943 27175628800 34397 33554432000 4194304 4196468 140737388727920 140319310764336 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7199] ppid=7174 vsize=26538700 memory=288230583166042425 CPUtime=0.53 cores=0-7
/proc/7176/task/7199/stat : 7199 (java) R 7174 7174 6711 0 -1 1077944384 80 0 0 0 53 0 0 0 20 0 28 0 150956943 27175628800 34397 33554432000 4194304 4196468 140737388727920 140319309712288 140320745010901 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7200] ppid=7174 vsize=26538700 memory=16101468159609422 CPUtime=0.63 cores=0-7
/proc/7176/task/7200/stat : 7200 (java) R 7174 7174 6711 0 -1 4202560 47 0 0 0 63 0 0 0 20 0 28 0 150956943 27175628800 34397 33554432000 4194304 4196468 140737388727920 140319308655904 140320361729036 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7201] ppid=7174 vsize=26538700 memory=0 CPUtime=0.73 cores=0-7
/proc/7176/task/7201/stat : 7201 (java) R 7174 7174 6711 0 -1 4202560 44 0 0 0 73 0 0 0 20 0 28 0 150956943 27175628800 34397 33554432000 4194304 4196468 140737388727920 140319307606824 140320362101858 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7202] ppid=7174 vsize=26538700 memory=0 CPUtime=0.7 cores=0-7
/proc/7176/task/7202/stat : 7202 (java) R 7174 7174 6711 0 -1 4202560 42 0 0 0 70 0 0 0 20 0 28 0 150956943 27175628800 34397 33554432000 4194304 4196468 140737388727920 140319306558096 140320361553923 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7203] ppid=7174 vsize=26538700 memory=6944656592455359580 CPUtime=0.66 cores=0-7
/proc/7176/task/7203/stat : 7203 (java) R 7174 7174 6711 0 -1 4202560 50 0 0 0 66 0 0 0 20 0 28 0 150956943 27175628800 34397 33554432000 4194304 4196468 140737388727920 140319305502000 140320356584704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
Current children cumulated CPU time: 8.24 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 138972 KiB

[startup+2.00111 s]*
/proc/loadavg: 7.69 8.27 8.30 11/207 7204
/proc/meminfo: memFree=25369248/32770624 swapFree=67108860/67108860
[pid=7174] ppid=7171 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7174/stat : 7174 (xcsp3-exec) S 7171 7174 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150956866 9740288 346 33554432000 4194304 5098028 140728331624128 140728331622232 139806040433276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11329536 140728331629668 140728331629879 140728331629879 140728331632619 0
/proc/7174/statm: 2378 346 289 221 0 87 0
[pid=7176] ppid=7174 vsize=26538700 memory=147708 CPUtime=11.47 cores=0-7
/proc/7176/stat : 7176 (java) S 7174 7174 6711 0 -1 1077944320 23568 0 0 0 1134 13 0 0 20 0 28 0 150956866 27175628800 36927 33554432000 4194304 4196468 140737388727920 140737388710464 140320745000695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
/proc/7176/statm: 6634675 36927 3239 1 0 6621909 0
[pid=7176/tid=7177] ppid=7174 vsize=26538700 memory=8112282956445269571 CPUtime=0.66 cores=0-7
/proc/7176/task/7177/stat : 7177 (java) S 7174 7174 6711 0 -1 1077944384 6834 0 0 0 62 4 0 0 20 0 28 0 150956866 27175628800 36927 33554432000 4194304 4196468 140737388727920 140320749241472 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7178] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7178/stat : 7178 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 150956867 27175628800 36927 33554432000 4194304 4196468 140737388727920 140320697621648 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7179] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7179/stat : 7179 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150956867 27175628800 36927 33554432000 4194304 4196468 140737388727920 140320696568848 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7180] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7180/stat : 7180 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150956867 27175628800 36927 33554432000 4194304 4196468 140737388727920 140320695516048 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7181] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7181/stat : 7181 (java) S 7174 7174 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150956867 27175628800 36927 33554432000 4194304 4196468 140737388727920 140320694463248 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7182] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7182/stat : 7182 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 150956867 27175628800 36927 33554432000 4194304 4196468 140737388727920 140320693410448 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7183] ppid=7174 vsize=26538700 memory=4049070523507814447 CPUtime=0 cores=0-7
/proc/7176/task/7183/stat : 7183 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 150956867 27175628800 36927 33554432000 4194304 4196468 140737388727920 140320692357648 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7184] ppid=7174 vsize=26538700 memory=-7595718148000617580 CPUtime=0 cores=0-7
/proc/7176/task/7184/stat : 7184 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150956867 27175628800 36927 33554432000 4194304 4196468 140737388727920 140320691304848 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7185] ppid=7174 vsize=26538700 memory=4629543864030098317 CPUtime=0 cores=0-7
/proc/7176/task/7185/stat : 7185 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150956867 27175628800 36927 33554432000 4194304 4196468 140737388727920 140320690252048 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7186] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7186/stat : 7186 (java) S 7174 7174 6711 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 150956869 27175628800 36927 33554432000 4194304 4196468 140737388727920 140319329860464 140320745011842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7187] ppid=7174 vsize=26538700 memory=-7395679465411340910 CPUtime=0 cores=0-7
/proc/7176/task/7187/stat : 7187 (java) S 7174 7174 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 150956869 27175628800 36927 33554432000 4194304 4196468 140737388727920 140319328806432 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7188] ppid=7174 vsize=26538700 memory=4137293581110450563 CPUtime=0 cores=0-7
/proc/7176/task/7188/stat : 7188 (java) S 7174 7174 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 150956869 27175628800 36927 33554432000 4194304 4196468 140737388727920 140319327753584 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7189] ppid=7174 vsize=26538700 memory=-7595754389018297760 CPUtime=0 cores=0-7
/proc/7176/task/7189/stat : 7189 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150956872 27175628800 36927 33554432000 4194304 4196468 140737388727920 140319326701904 140320745019291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7190] ppid=7174 vsize=26538700 memory=-5587106306044206369 CPUtime=0.84 cores=0-7
/proc/7176/task/7190/stat : 7190 (java) R 7174 7174 6711 0 -1 4202560 4005 0 0 0 83 1 0 0 20 0 28 0 150956872 27175628800 36927 33554432000 4194304 4196468 140737388727920 140319325635552 140320726544899 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7191] ppid=7174 vsize=26538700 memory=1384 CPUtime=0.76 cores=0-7
/proc/7176/task/7191/stat : 7191 (java) R 7174 7174 6711 0 -1 4202560 3464 0 0 0 75 1 0 0 20 0 28 0 150956872 27175628800 36927 33554432000 4194304 4196468 140737388727920 140319324577840 140320724216625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7192] ppid=7174 vsize=26538700 memory=130368 CPUtime=0.88 cores=0-7
/proc/7176/task/7192/stat : 7192 (java) R 7174 7174 6711 0 -1 4202560 4337 0 0 0 87 1 0 0 20 0 28 0 150956872 27175628800 36927 33554432000 4194304 4196468 140737388727920 140319323530000 140320730106802 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7193] ppid=7174 vsize=26538700 memory=0 CPUtime=0.57 cores=0-7
/proc/7176/task/7193/stat : 7193 (java) S 7174 7174 6711 0 -1 1077944384 2672 0 0 0 56 1 0 0 20 0 28 0 150956872 27175628800 36927 33554432000 4194304 4196468 140737388727920 140319322490864 140320745011842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7194] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7194/stat : 7194 (java) S 7174 7174 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150956872 27175628800 36927 33554432000 4194304 4196468 140737388727920 140319321439328 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7195] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7195/stat : 7195 (java) R 7174 7174 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150956872 27175628800 36927 33554432000 4194304 4196468 140737388727920 140319320386608 140320745011842 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7196] ppid=7174 vsize=26538700 memory=0 CPUtime=1.04 cores=0-7
/proc/7176/task/7196/stat : 7196 (java) S 7174 7174 6711 0 -1 1077944384 156 0 0 0 104 0 0 0 20 0 28 0 150956943 27175628800 36927 33554432000 4194304 4196468 140737388727920 140319312869024 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7197] ppid=7174 vsize=26538700 memory=0 CPUtime=1.03 cores=0-7
/proc/7176/task/7197/stat : 7197 (java) R 7174 7174 6711 0 -1 4202560 115 0 0 0 103 0 0 0 20 0 28 0 150956943 27175628800 36927 33554432000 4194304 4196468 140737388727920 140319311822280 140320361869432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7198] ppid=7174 vsize=26538700 memory=0 CPUtime=0.83 cores=0-7
/proc/7176/task/7198/stat : 7198 (java) R 7174 7174 6711 0 -1 4202560 131 0 0 0 83 0 0 0 20 0 28 0 150956943 27175628800 36927 33554432000 4194304 4196468 140737388727920 140319310767928 140320361878354 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7199] ppid=7174 vsize=26538700 memory=0 CPUtime=0.76 cores=0-7
/proc/7176/task/7199/stat : 7199 (java) R 7174 7174 6711 0 -1 4202560 162 0 0 0 76 0 0 0 20 0 28 0 150956943 27175628800 36927 33554432000 4194304 4196468 140737388727920 140319309712424 140320361871375 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7200] ppid=7174 vsize=26538700 memory=0 CPUtime=0.97 cores=0-7
/proc/7176/task/7200/stat : 7200 (java) R 7174 7174 6711 0 -1 1077944384 114 0 0 0 97 0 0 0 20 0 28 0 150956943 27175628800 36927 33554432000 4194304 4196468 140737388727920 140319308659488 140320745010901 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7201] ppid=7174 vsize=26538700 memory=0 CPUtime=1.11 cores=0-7
/proc/7176/task/7201/stat : 7201 (java) R 7174 7174 6711 0 -1 4202560 86 0 0 0 111 0 0 0 20 0 28 0 150956943 27175628800 36927 33554432000 4194304 4196468 140737388727920 140319307610944 140320361871855 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7202] ppid=7174 vsize=26538700 memory=3763099673816014896 CPUtime=1 cores=0-7
/proc/7176/task/7202/stat : 7202 (java) R 7174 7174 6711 0 -1 4202560 76 0 0 0 100 0 0 0 20 0 28 0 150956943 27175628800 36927 33554432000 4194304 4196468 140737388727920 140319306556912 140320362751652 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7203] ppid=7174 vsize=26538700 memory=3834026952452356404 CPUtime=0.9 cores=0-7
/proc/7176/task/7203/stat : 7203 (java) R 7174 7174 6711 0 -1 4202560 92 0 0 0 90 0 0 0 20 0 28 0 150956943 27175628800 36927 33554432000 4194304 4196468 140737388727920 140319305503360 140320361626338 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
Current children cumulated CPU time: 11.47 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 149092 KiB

[startup+2.4016 s]
/proc/loadavg: 7.69 8.27 8.30 11/207 7204
/proc/meminfo: memFree=25369248/32770624 swapFree=67108860/67108860
[pid=7174] ppid=7171 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/7174/stat : 7174 (xcsp3-exec) S 7171 7174 6711 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150956866 9740288 346 33554432000 4194304 5098028 140728331624128 140728331622232 139806040433276 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11329536 140728331629668 140728331629879 140728331629879 140728331632619 0
/proc/7174/statm: 2378 346 289 221 0 87 0
[pid=7176] ppid=7174 vsize=26538700 memory=154676 CPUtime=14.59 cores=0-7
/proc/7176/stat : 7176 (java) S 7174 7174 6711 0 -1 1077944320 25428 0 0 0 1446 13 0 0 20 0 28 0 150956866 27175628800 38669 33554432000 4194304 4196468 140737388727920 140737388710464 140320745000695 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
/proc/7176/statm: 6634675 38669 3241 1 0 6621909 0
[pid=7176/tid=7177] ppid=7174 vsize=26538700 memory=0 CPUtime=0.66 cores=0-7
/proc/7176/task/7177/stat : 7177 (java) S 7174 7174 6711 0 -1 1077944384 6834 0 0 0 62 4 0 0 20 0 28 0 150956866 27175628800 38669 33554432000 4194304 4196468 140737388727920 140320749241472 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7178] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7178/stat : 7178 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 150956867 27175628800 38669 33554432000 4194304 4196468 140737388727920 140320697621648 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7179] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7179/stat : 7179 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150956867 27175628800 38669 33554432000 4194304 4196468 140737388727920 140320696568848 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7180] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7180/stat : 7180 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150956867 27175628800 38669 33554432000 4194304 4196468 140737388727920 140320695516048 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7181] ppid=7174 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/7176/task/7181/stat : 7181 (java) S 7174 7174 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150956867 27175628800 38669 33554432000 4194304 4196468 140737388727920 140320694463248 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7182] ppid=7174 vsize=26538700 memory=123140 CPUtime=0 cores=0-7
/proc/7176/task/7182/stat : 7182 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 150956867 27175628800 38669 33554432000 4194304 4196468 140737388727920 140320693410448 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7183] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7183/stat : 7183 (java) S 7174 7174 6711 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 150956867 27175628800 38669 33554432000 4194304 4196468 140737388727920 140320692357648 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7184] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7184/stat : 7184 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150956867 27175628800 38669 33554432000 4194304 4196468 140737388727920 140320691304848 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7185] ppid=7174 vsize=26538700 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/7176/task/7185/stat : 7185 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150956867 27175628800 38669 33554432000 4194304 4196468 140737388727920 140320690252048 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7186] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7186/stat : 7186 (java) S 7174 7174 6711 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 28 0 150956869 27175628800 38669 33554432000 4194304 4196468 140737388727920 140319329860464 140320745011842 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7187] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7187/stat : 7187 (java) S 7174 7174 6711 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 150956869 27175628800 38669 33554432000 4194304 4196468 140737388727920 140319328806432 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7188] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7188/stat : 7188 (java) S 7174 7174 6711 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 150956869 27175628800 38669 33554432000 4194304 4196468 140737388727920 140319327753584 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7189] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7189/stat : 7189 (java) S 7174 7174 6711 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150956872 27175628800 38669 33554432000 4194304 4196468 140737388727920 140319326701904 140320745019291 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7190] ppid=7174 vsize=26538700 memory=0 CPUtime=1.03 cores=0-7
/proc/7176/task/7190/stat : 7190 (java) R 7174 7174 6711 0 -1 4202560 4319 0 0 0 102 1 0 0 20 0 28 0 150956872 27175628800 38669 33554432000 4194304 4196468 140737388727920 140319325635680 140320728468596 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7191] ppid=7174 vsize=26538700 memory=0 CPUtime=1.01 cores=0-7
/proc/7176/task/7191/stat : 7191 (java) R 7174 7174 6711 0 -1 4202560 4148 0 0 0 100 1 0 0 20 0 28 0 150956872 27175628800 38669 33554432000 4194304 4196468 140737388727920 140319324583312 140320729926734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7192] ppid=7174 vsize=26538700 memory=0 CPUtime=1.22 cores=0-7
/proc/7176/task/7192/stat : 7192 (java) R 7174 7174 6711 0 -1 4202560 4916 0 0 0 121 1 0 0 20 0 28 0 150956872 27175628800 38669 33554432000 4194304 4196468 140737388727920 140319323529760 140320722747691 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7193] ppid=7174 vsize=26538700 memory=0 CPUtime=0.59 cores=0-7
/proc/7176/task/7193/stat : 7193 (java) S 7174 7174 6711 0 -1 1077944384 2894 0 0 0 58 1 0 0 20 0 28 0 150956872 27175628800 38669 33554432000 4194304 4196468 140737388727920 140319322490864 140320745011842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7194] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7194/stat : 7194 (java) S 7174 7174 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150956872 27175628800 38669 33554432000 4194304 4196468 140737388727920 140319321439328 140320745010901 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7195] ppid=7174 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/7176/task/7195/stat : 7195 (java) S 7174 7174 6711 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150956872 27175628800 38669 33554432000 4194304 4196468 140737388727920 140319320386608 140320745011842 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7196] ppid=7174 vsize=26538700 memory=0 CPUtime=1.25 cores=0-7
/proc/7176/task/7196/stat : 7196 (java) R 7174 7174 6711 0 -1 4202560 161 0 0 0 125 0 0 0 20 0 28 0 150956943 27175628800 38669 33554432000 4194304 4196468 140737388727920 140319312870120 140320363305491 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7197] ppid=7174 vsize=26538700 memory=0 CPUtime=1.25 cores=0-7
/proc/7176/task/7197/stat : 7197 (java) R 7174 7174 6711 0 -1 4202560 133 0 0 0 125 0 0 0 20 0 28 0 150956943 27175628800 38669 33554432000 4194304 4196468 140737388727920 140319311817920 140320362262624 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7198] ppid=7174 vsize=26538700 memory=0 CPUtime=1.15 cores=0-7
/proc/7176/task/7198/stat : 7198 (java) R 7174 7174 6711 0 -1 4202560 133 0 0 0 115 0 0 0 20 0 28 0 150956943 27175628800 38669 33554432000 4194304 4196468 140737388727920 140319310768456 140320362749884 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7199] ppid=7174 vsize=26538700 memory=0 CPUtime=1.11 cores=0-7
/proc/7176/task/7199/stat : 7199 (java) R 7174 7174 6711 0 -1 4202560 170 0 0 0 111 0 0 0 20 0 28 0 150956943 27175628800 38669 33554432000 4194304 4196468 140737388727920 140319309713096 140320362749804 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7200] ppid=7174 vsize=26538700 memory=0 CPUtime=1.28 cores=0-7
/proc/7176/task/7200/stat : 7200 (java) R 7174 7174 6711 0 -1 4202560 119 0 0 0 128 0 0 0 20 0 28 0 150956943 27175628800 38669 33554432000 4194304 4196468 140737388727920 140319308660824 140320362817222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7201] ppid=7174 vsize=26538700 memory=0 CPUtime=1.49 cores=0-7
/proc/7176/task/7201/stat : 7201 (java) R 7174 7174 6711 0 -1 4202560 93 0 0 0 149 0 0 0 20 0 28 0 150956943 27175628800 38669 33554432000 4194304 4196468 140737388727920 140319307607352 140320363168113 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7202] ppid=7174 vsize=26538700 memory=0 CPUtime=1.29 cores=0-7
/proc/7176/task/7202/stat : 7202 (java) R 7174 7174 6711 0 -1 4202560 77 0 0 0 129 0 0 0 20 0 28 0 150956943 27175628800 38669 33554432000 4194304 4196468 140737388727920 140319306555752 140320363305512 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
[pid=7176/tid=7203] ppid=7174 vsize=26538700 memory=0 CPUtime=1.13 cores=0-7
/proc/7176/task/7203/stat : 7203 (java) R 7174 7174 6711 0 -1 4202560 94 0 0 0 113 0 0 0 20 0 28 0 150956943 27175628800 38669 33554432000 4194304 4196468 140737388727920 140319305502888 140320362975291 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27963392 140737388733586 140737388733763 140737388733763 140737388736463 0
Current children cumulated CPU time: 14.59 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 156060 KiB

Child status: 0
Real time (s): 2.48589
CPU time (s): 15.1225
CPU user time (s): 14.9768
CPU system time (s): 0.145755
CPU usage (%): 608.334
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 156060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.9768
system time used= 0.145755
maximum resident set size= 154920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26190
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3996
involuntary context switches= 413


# summary of solver processes directly reported to runsolver:
#   pid: 7174
#   total CPU time (s): 15.1225
#   total CPU user time (s): 14.9768
#   total CPU system time (s): 0.145755

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042315 second user time and 0.065993 second system time

The end

Launcher Data 

Begin job on node148 at 2017-08-19 23:25:00
IDJOB=4280905
IDBENCH=139765
IDSOLVER=2675
FILE ID=node148/4280905-1503178760
RUNJOBID= node148-1503175375-6738
PBS_JOBID= 20630845
Free space on /tmp= 61948 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/CoveringArray/CoveringArray-elt-s1/CoveringArray-elt-3-06-2-12.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-4280905-1503178760/watcher-4280905-1503178760 -o /tmp/evaluation-result-4280905-1503178760/solver-4280905-1503178760 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1503175375-6738 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1203443171 HOME/instance-4280905-1503178760.xml

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

MD5SUM BENCH= 6a2428e0ea9e56c54fb162011650005e
RANDOM SEED=1203443171

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25505320 kB
MemAvailable:   31974848 kB
Buffers:          295080 kB
Cached:          6467720 kB
SwapCached:            0 kB
Active:          1168104 kB
Inactive:        5648612 kB
Active(anon):       4852 kB
Inactive(anon):    84704 kB
Active(file):    1163252 kB
Inactive(file):  5563908 kB
Unevictable:        7784 kB
Mlocked:            7784 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7828 kB
Writeback:             0 kB
AnonPages:         74692 kB
Mapped:            51280 kB
Shmem:             33416 kB
Slab:             143072 kB
SReclaimable:     116408 kB
SUnreclaim:        26664 kB
KernelStack:        3568 kB
PageTables:         4744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     20480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61940 MiB
End job on node148 at 2017-08-19 23:25:02