Trace number 4393024

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 2019-06-14SAT 25.9265 7.32993

General information on the benchmark

NameCrossword/Crossword-m1c-words-herald/
Crossword-m1c-words-h2303.xml
MD5SUM4f78cb4d5ebc47069554ab66515ce573
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 benchmark4.32369
Satisfiable
(Un)Satisfiability was proved
Number of variables529
Number of constraints174
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":440}]
Minimum variable degree0
Maximum variable degree2
Distribution of variable degrees[{"degree":0,"count":89},{"degree":2,"count":440}]
Minimum constraint arity3
Maximum constraint arity13
Distribution of constraint arities[{"arity":3,"count":26},{"arity":4,"count":58},{"arity":5,"count":42},{"arity":6,"count":24},{"arity":7,"count":10},{"arity":8,"count":2},{"arity":9,"count":2},{"arity":10,"count":4},{"arity":11,"count":2},{"arity":12,"count":2},{"arity":13,"count":2}]
Number of extensional constraints174
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":174}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393024-1568354376.xml"  -tl '2520s' -p 4
0.14/0.18	c Choco e747e1e
0.14/0.18	c [HOME/instance-4393024-1568354376.xml, -tl, 2520s, -p, 4]
0.35/0.22	c 4 solvers in parallel
0.35/0.28	c parse instance...
3.29/1.49	c solve instance...
25.87/7.31	s SATISFIABLE
25.87/7.31	v <instantiation>
25.87/7.31	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][13] x[0][14] x[0][15] x[0][16] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][13] x[1][14] x[1][15] x[1][16] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][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[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][14] x[3][15] x[3][16] x[3][17] x[3][19] x[3][20] x[3][21] x[3][22] x[4][0] x[4][1] x[4][2] x[4][5] x[4][6] x[4][7] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][19] x[4][20] x[4][21] x[4][22] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][7] x[6][8] x[6][9] x[6][10] x[6][12] x[6][13] x[6][14] x[6][16] x[6][17] x[6][18] x[6][19] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][20] x[7][21] x[7][22] x[8][0] x[8][1] x[8][2] x[8][3] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][14] x[8][15] x[8][16] x[8][17] x[8][19] x[8][20] x[8][21] x[8][22] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][19] x[9][20] x[9][21] x[9][22] x[10][0] x[10][1] x[10][2] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[11][2] x[11][3] x[11][4] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][18] x[11][19] x[11][20] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][20] x[12][21] x[12][22] x[13][0] x[13][1] x[13][2] x[13][3] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[14][0] x[14][1] x[14][2] x[14][3] x[14][5] x[14][6] x[14][7] x[14][8] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][19] x[14][20] x[14][21] x[14][22] x[15][0] x[15][1] x[15][2] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[16][3] x[16][4] x[16][5] x[16][6] x[16][8] x[16][9] x[16][10] x[16][12] x[16][13] x[16][14] x[16][15] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[18][0] x[18][1] x[18][2] x[18][3] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][15] x[18][16] x[18][17] x[18][20] x[18][21] x[18][22] x[19][0] x[19][1] x[19][2] x[19][3] x[19][5] x[19][6] x[19][7] x[19][8] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][6] x[21][7] x[21][8] x[21][9] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][6] x[22][7] x[22][8] x[22][9] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] </list>
25.87/7.31	v 	<values>14 17 2 7 8 3 2 11 0 17 0 18 8 3 4 15 0 1 18 19 12 14 17 14 18 4 14 0 10 4 13 4 13 8 3 0 3 0 8 17 0 1 14 11 8 19 8 14 13 8 18 19 0 18 18 8 6 13 0 1 11 4 7 4 0 3 18 4 19 0 13 19 8 2 8 13 19 14 12 8 4 13 0 18 10 17 4 3 2 14 13 6 4 18 19 18 4 13 3 3 8 12 12 4 17 18 18 19 14 13 24 7 14 18 19 18 19 0 7 8 19 8 1 8 11 4 18 17 8 19 4 4 13 14 1 4 17 14 13 0 2 8 3 18 0 5 6 7 0 13 13 0 1 18 7 8 19 0 4 17 0 19 8 13 6 8 17 8 18 3 14 11 4 2 14 18 18 0 2 10 18 19 0 8 17 2 0 18 4 0 13 14 13 0 17 4 22 24 4 19 7 6 11 14 0 19 3 0 13 2 4 3 13 14 17 18 7 4 0 17 3 4 13 4 1 1 0 7 4 12 1 17 24 14 17 0 1 0 19 19 17 8 1 4 0 3 18 17 4 4 11 22 7 14 11 4 18 0 11 4 3 4 11 8 11 0 7 13 0 17 24 13 4 0 19 15 17 14 21 8 3 4 18 17 0 2 4 4 13 6 3 4 0 19 7 18 0 1 0 1 0 19 7 4 13 2 4 18 14 17 19 5 0 17 4 3 4 13 18 20 13 19 0 13 18 2 14 20 19 5 20 12 4 18 4 23 2 17 4 19 4 13 14 11 11 14 15 20 11 4 13 19 4 4 11 12 0 2 4 3 8 19 15 4 13 13 3 14 17 8 0 0 11 5 17 4 3 14 0 3 21 0 13 19 0 6 4 3 13 14 13 13 20 12 4 17 8 2 0 11 10 11 8 13 4 2 0 18 4 4 0 19 4 17 17 0 13 2 8 3 24 4 0 18 19 4 11 18 4 3 17 14 22 13 18 20 6 0 17 18 </values>
25.87/7.31	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 (12567 MiB free)
  memory of node 1: 16384 MiB (12157 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393024-1568354376/watcher-4393024-1568354376 -o /tmp/evaluation-result-4393024-1568354376/solver-4393024-1568354376 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568352401-13008 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1440260624 HOME/instance-4393024-1568354376.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14678, runsolver pid=14675
Current StackSize limit: 8192 KiB


[startup+0.102516 s]*
/proc/loadavg: 8.20 8.32 8.11 7/233 14694
/proc/meminfo: memFree=25304712/32770624 swapFree=66959224/67108860
[pid=14678] ppid=14675 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (xcsp3-exec) S 14675 14678 12119 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 411377741 115843072 362 33554432000 4194304 5098028 140726071741680 140726071739784 140664404378236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7770112 140726071743354 140726071743597 140726071743597 140726071746506 0
/proc/14678/statm: 28282 362 304 221 0 87 0
[pid=14680] ppid=14678 vsize=15144768 memory=27476 CPUtime=0.14 cores=1,3,5,7
/proc/14680/stat : 14680 (java) S 14678 14678 12119 0 -1 1077944320 5832 0 0 0 13 1 0 0 20 0 15 0 411377741 15508242432 6869 33554432000 4194304 4196468 140737394277952 140737394260496 140203938799351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
/proc/14680/statm: 3786192 6869 3147 1 0 3748377 0
[pid=14680/tid=14681] ppid=14678 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=1,3,5,7
/proc/14680/task/14681/stat : 14681 (java) R 14678 14678 12119 0 -1 4202560 3642 0 0 0 9 0 0 0 20 0 15 0 411377741 15508242432 6869 33554432000 4194304 4196468 140737394277952 140203943030352 140203938811286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14682] ppid=14678 vsize=15144768 memory=3472468788568913104 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14682/stat : 14682 (java) S 14678 14678 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411377742 15508242432 6869 33554432000 4194304 4196468 140737394277952 140203531103376 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14683] ppid=14678 vsize=15144768 memory=140659673761408 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14683/stat : 14683 (java) S 14678 14678 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411377742 15508242432 6869 33554432000 4194304 4196468 140737394277952 140203530050576 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14684] ppid=14678 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14684/stat : 14684 (java) S 14678 14678 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411377742 15508242432 6869 33554432000 4194304 4196468 140737394277952 140203528997776 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14685] ppid=14678 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14685/stat : 14685 (java) S 14678 14678 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411377742 15508242432 6869 33554432000 4194304 4196468 140737394277952 140203527944976 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14686] ppid=14678 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14686/stat : 14686 (java) S 14678 14678 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411377744 15508242432 6869 33554432000 4194304 4196468 140737394277952 140202812680560 140203938810498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14687] ppid=14678 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14687/stat : 14687 (java) S 14678 14678 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411377744 15508242432 6869 33554432000 4194304 4196468 140737394277952 140202811626528 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14688] ppid=14678 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14688/stat : 14688 (java) S 14678 14678 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411377744 15508242432 6869 33554432000 4194304 4196468 140737394277952 140202810573680 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14689] ppid=14678 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14689/stat : 14689 (java) S 14678 14678 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411377747 15508242432 6869 33554432000 4194304 4196468 140737394277952 140202809522000 140203938817947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14690] ppid=14678 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14690/stat : 14690 (java) R 14678 14678 12119 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 15 0 411377747 15508242432 6869 33554432000 4194304 4196468 140737394277952 140202808470384 140203938810498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14691] ppid=14678 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14691/stat : 14691 (java) R 14678 14678 12119 0 -1 4202560 126 0 0 0 0 0 0 0 20 0 15 0 411377747 15508242432 6869 33554432000 4194304 4196468 140737394277952 140202807409392 140203917948040 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14692] ppid=14678 vsize=15144768 memory=140659673761408 CPUtime=0.02 cores=1,3,5,7
/proc/14680/task/14692/stat : 14692 (java) R 14678 14678 12119 0 -1 4202560 417 0 0 0 2 0 0 0 20 0 15 0 411377747 15508242432 6869 33554432000 4194304 4196468 140737394277952 140202806364784 140203922879838 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14693] ppid=14678 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14693/stat : 14693 (java) S 14678 14678 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411377747 15508242432 6869 33554432000 4194304 4196468 140737394277952 140202805312224 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14694] ppid=14678 vsize=15144768 memory=140659673761408 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14694/stat : 14694 (java) R 14678 14678 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411377747 15508242432 6869 33554432000 4194304 4196468 140737394277952 140202804259504 140203938810498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 28924 KiB

[startup+0.210823 s]*
/proc/loadavg: 8.10 8.30 8.10 8/233 14694
/proc/meminfo: memFree=25290840/32770624 swapFree=66959224/67108860
[pid=14678] ppid=14675 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (xcsp3-exec) S 14675 14678 12119 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 411377741 115843072 362 33554432000 4194304 5098028 140726071741680 140726071739784 140664404378236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7770112 140726071743354 140726071743597 140726071743597 140726071746506 0
/proc/14678/statm: 28282 362 304 221 0 87 0
[pid=14680] ppid=14678 vsize=15144768 memory=39988 CPUtime=0.35 cores=1,3,5,7
/proc/14680/stat : 14680 (java) S 14678 14678 12119 0 -1 1077944320 9684 0 0 0 32 3 0 0 20 0 15 0 411377741 15508242432 9997 33554432000 4194304 4196468 140737394277952 140737394260496 140203938799351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
/proc/14680/statm: 3786192 9997 3319 1 0 3748377 0
[pid=14680/tid=14681] ppid=14678 vsize=15144768 memory=5855082630903857826 CPUtime=0.2 cores=1,3,5,7
/proc/14680/task/14681/stat : 14681 (java) R 14678 14678 12119 0 -1 4202560 6664 0 0 0 18 2 0 0 20 0 15 0 411377741 15508242432 9997 33554432000 4194304 4196468 140737394277952 140203943030592 140203938811286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14682] ppid=14678 vsize=15144768 memory=3472468788568913104 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14682/stat : 14682 (java) S 14678 14678 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411377742 15508242432 9997 33554432000 4194304 4196468 140737394277952 140203531103376 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14683] ppid=14678 vsize=15144768 memory=140659673761408 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14683/stat : 14683 (java) S 14678 14678 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411377742 15508242432 9997 33554432000 4194304 4196468 140737394277952 140203530050576 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14684] ppid=14678 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14684/stat : 14684 (java) S 14678 14678 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411377742 15508242432 9997 33554432000 4194304 4196468 140737394277952 140203528997776 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14685] ppid=14678 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14685/stat : 14685 (java) S 14678 14678 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411377742 15508242432 9997 33554432000 4194304 4196468 140737394277952 140203527944976 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14686] ppid=14678 vsize=15144768 memory=140659673761408 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14686/stat : 14686 (java) S 14678 14678 12119 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411377744 15508242432 9997 33554432000 4194304 4196468 140737394277952 140202812680560 140203938810498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14687] ppid=14678 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14687/stat : 14687 (java) S 14678 14678 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411377744 15508242432 9997 33554432000 4194304 4196468 140737394277952 140202811626528 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14688] ppid=14678 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14688/stat : 14688 (java) S 14678 14678 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411377744 15508242432 9997 33554432000 4194304 4196468 140737394277952 140202810573680 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14689] ppid=14678 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14689/stat : 14689 (java) S 14678 14678 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411377747 15508242432 9997 33554432000 4194304 4196468 140737394277952 140202809522000 140203938817947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14690] ppid=14678 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14680/task/14690/stat : 14690 (java) S 14678 14678 12119 0 -1 1077944384 554 0 0 0 3 0 0 0 20 0 15 0 411377747 15508242432 9997 33554432000 4194304 4196468 140737394277952 140202808470384 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14691] ppid=14678 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14680/task/14691/stat : 14691 (java) S 14678 14678 12119 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 15 0 411377747 15508242432 9997 33554432000 4194304 4196468 140737394277952 140202807417584 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14692] ppid=14678 vsize=15144768 memory=140659673761408 CPUtime=0.08 cores=1,3,5,7
/proc/14680/task/14692/stat : 14692 (java) R 14678 14678 12119 0 -1 4202560 931 0 0 0 8 0 0 0 20 0 15 0 411377747 15508242432 9997 33554432000 4194304 4196468 140737394277952 140202806364784 140203931896187 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14693] ppid=14678 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14693/stat : 14693 (java) S 14678 14678 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411377747 15508242432 9997 33554432000 4194304 4196468 140737394277952 140202805312224 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14694] ppid=14678 vsize=15144768 memory=140659673761408 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14694/stat : 14694 (java) S 14678 14678 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411377747 15508242432 9997 33554432000 4194304 4196468 140737394277952 140202804259504 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41436 KiB

[startup+0.313227 s]*
/proc/loadavg: 8.10 8.30 8.10 9/233 14694
/proc/meminfo: memFree=25283568/32770624 swapFree=66959224/67108860
[pid=14678] ppid=14675 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (xcsp3-exec) S 14675 14678 12119 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 411377741 115843072 362 33554432000 4194304 5098028 140726071741680 140726071739784 140664404378236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7770112 140726071743354 140726071743597 140726071743597 140726071746506 0
/proc/14678/statm: 28282 362 304 221 0 87 0
[pid=14680] ppid=14678 vsize=15149024 memory=49240 CPUtime=0.53 cores=1,3,5,7
/proc/14680/stat : 14680 (java) S 14678 14678 12119 0 -1 1077944320 11181 0 0 0 50 3 0 0 20 0 15 0 411377741 15512600576 12310 33554432000 4194304 4196468 140737394277952 140737394260496 140203938799351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
/proc/14680/statm: 3787256 12310 3358 1 0 3748377 0
[pid=14680/tid=14681] ppid=14678 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=1,3,5,7
/proc/14680/task/14681/stat : 14681 (java) R 14678 14678 12119 0 -1 4202560 7854 0 0 0 28 2 0 0 20 0 15 0 411377741 15512600576 12310 33554432000 4194304 4196468 140737394277952 140203943030464 140203938821277 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14682] ppid=14678 vsize=15149024 memory=3472468788568913104 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14682/stat : 14682 (java) S 14678 14678 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411377742 15512600576 12310 33554432000 4194304 4196468 140737394277952 140203531103376 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14683] ppid=14678 vsize=15149024 memory=140659673761408 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14683/stat : 14683 (java) S 14678 14678 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411377742 15512600576 12310 33554432000 4194304 4196468 140737394277952 140203530050576 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14684] ppid=14678 vsize=15149024 memory=2 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14684/stat : 14684 (java) S 14678 14678 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411377742 15512600576 12310 33554432000 4194304 4196468 140737394277952 140203528997776 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14685] ppid=14678 vsize=15149024 memory=140659575105567 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14685/stat : 14685 (java) S 14678 14678 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411377742 15512600576 12310 33554432000 4194304 4196468 140737394277952 140203527944976 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14686] ppid=14678 vsize=15149024 memory=281319150171904 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14686/stat : 14686 (java) S 14678 14678 12119 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411377744 15512600576 12310 33554432000 4194304 4196468 140737394277952 140202812680560 140203938810498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14687] ppid=14678 vsize=15149024 memory=140659575082511 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14687/stat : 14687 (java) S 14678 14678 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411377744 15512600576 12310 33554432000 4194304 4196468 140737394277952 140202811626528 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14688] ppid=14678 vsize=15149024 memory=281319248853088 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14688/stat : 14688 (java) S 14678 14678 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411377744 15512600576 12310 33554432000 4194304 4196468 140737394277952 140202810573680 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14689] ppid=14678 vsize=15149024 memory=140659575087119 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14689/stat : 14689 (java) S 14678 14678 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411377747 15512600576 12310 33554432000 4194304 4196468 140737394277952 140202809522000 140203938817947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14690] ppid=14678 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/14680/task/14690/stat : 14690 (java) R 14678 14678 12119 0 -1 1077944384 577 0 0 0 4 0 0 0 20 0 15 0 411377747 15512600576 12310 33554432000 4194304 4196468 140737394277952 140202808470384 140203938810498 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14691] ppid=14678 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/14680/task/14691/stat : 14691 (java) R 14678 14678 12119 0 -1 4202560 336 0 0 0 4 0 0 0 20 0 15 0 411377747 15512600576 12310 33554432000 4194304 4196468 140737394277952 140202807403680 140203920321889 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14692] ppid=14678 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/14680/task/14692/stat : 14692 (java) S 14678 14678 12119 0 -1 1077944384 1115 0 0 0 12 0 0 0 20 0 15 0 411377747 15512600576 12310 33554432000 4194304 4196468 140737394277952 140202806364784 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14693] ppid=14678 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14693/stat : 14693 (java) S 14678 14678 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411377747 15512600576 12310 33554432000 4194304 4196468 140737394277952 140202805312224 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14694] ppid=14678 vsize=15149024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14694/stat : 14694 (java) S 14678 14678 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411377747 15512600576 12310 33554432000 4194304 4196468 140737394277952 140202804259504 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50688 KiB

[startup+0.70082 s]
/proc/loadavg: 8.10 8.30 8.10 8/233 14694
/proc/meminfo: memFree=25259992/32770624 swapFree=66959224/67108860
[pid=14678] ppid=14675 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (xcsp3-exec) S 14675 14678 12119 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 411377741 115843072 362 33554432000 4194304 5098028 140726071741680 140726071739784 140664404378236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7770112 140726071743354 140726071743597 140726071743597 140726071746506 0
/proc/14678/statm: 28282 362 304 221 0 87 0
[pid=14680] ppid=14678 vsize=15151148 memory=136912 CPUtime=1.7 cores=1,3,5,7
/proc/14680/stat : 14680 (java) S 14678 14678 12119 0 -1 1077944320 14612 0 0 0 165 5 0 0 20 0 15 0 411377741 15514775552 34228 33554432000 4194304 4196468 140737394277952 140737394260496 140203938799351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
/proc/14680/statm: 3787787 34228 3442 1 0 3748889 0
[pid=14680/tid=14681] ppid=14678 vsize=15151148 memory=4639059877604708710 CPUtime=0.68 cores=1,3,5,7
/proc/14680/task/14681/stat : 14681 (java) R 14678 14678 12119 0 -1 4202560 8569 0 0 0 64 4 0 0 20 0 15 0 411377741 15514775552 34228 33554432000 4194304 4196468 140737394277952 140203943033952 140203576143744 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14682] ppid=14678 vsize=15151148 memory=6935650355287975249 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14682/stat : 14682 (java) S 14678 14678 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411377742 15514775552 34228 33554432000 4194304 4196468 140737394277952 140203531103376 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14683] ppid=14678 vsize=15151148 memory=6935649255978921297 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14683/stat : 14683 (java) S 14678 14678 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411377742 15514775552 34228 33554432000 4194304 4196468 140737394277952 140203530050576 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14684] ppid=14678 vsize=15151148 memory=7825734864442108491 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14684/stat : 14684 (java) S 14678 14678 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411377742 15514775552 34228 33554432000 4194304 4196468 140737394277952 140203528997776 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14685] ppid=14678 vsize=15151148 memory=7100839861499826839 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14685/stat : 14685 (java) S 14678 14678 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411377742 15514775552 34228 33554432000 4194304 4196468 140737394277952 140203527944976 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14686] ppid=14678 vsize=15151148 memory=6944613755328037012 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14686/stat : 14686 (java) S 14678 14678 12119 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411377744 15514775552 34228 33554432000 4194304 4196468 140737394277952 140202812680560 140203938810498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14687] ppid=14678 vsize=15151148 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14687/stat : 14687 (java) S 14678 14678 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411377744 15514775552 34228 33554432000 4194304 4196468 140737394277952 140202811626528 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14688] ppid=14678 vsize=15151148 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14688/stat : 14688 (java) S 14678 14678 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411377744 15514775552 34228 33554432000 4194304 4196468 140737394277952 140202810573680 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14689] ppid=14678 vsize=15151148 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14689/stat : 14689 (java) S 14678 14678 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411377747 15514775552 34228 33554432000 4194304 4196468 140737394277952 140202809522000 140203938817947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14690] ppid=14678 vsize=15151148 memory=1660 CPUtime=0.33 cores=1,3,5,7
/proc/14680/task/14690/stat : 14690 (java) R 14678 14678 12119 0 -1 4202560 1677 0 0 0 33 0 0 0 20 0 15 0 411377747 15514775552 34228 33554432000 4194304 4196468 140737394277952 140202808458704 140203920324671 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14691] ppid=14678 vsize=15151148 memory=38904 CPUtime=0.35 cores=1,3,5,7
/proc/14680/task/14691/stat : 14691 (java) R 14678 14678 12119 0 -1 4202560 1084 0 0 0 35 0 0 0 20 0 15 0 411377747 15514775552 34228 33554432000 4194304 4196468 140737394277952 140202807404432 140203918045280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14692] ppid=14678 vsize=15151148 memory=988 CPUtime=0.31 cores=1,3,5,7
/proc/14680/task/14692/stat : 14692 (java) S 14678 14678 12119 0 -1 1077944384 1974 0 0 0 31 0 0 0 20 0 15 0 411377747 15514775552 34228 33554432000 4194304 4196468 140737394277952 140202806364784 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14693] ppid=14678 vsize=15151148 memory=5793994532452520804 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14693/stat : 14693 (java) S 14678 14678 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411377747 15514775552 34228 33554432000 4194304 4196468 140737394277952 140202805312224 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14694] ppid=14678 vsize=15151148 memory=8099279071866868843 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14694/stat : 14694 (java) S 14678 14678 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411377747 15514775552 34228 33554432000 4194304 4196468 140737394277952 140202804259504 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 138360 KiB

[startup+1.50506 s]
/proc/loadavg: 8.10 8.30 8.10 6/233 14694
/proc/meminfo: memFree=25109628/32770624 swapFree=66959224/67108860
[pid=14678] ppid=14675 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (xcsp3-exec) S 14675 14678 12119 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 411377741 115843072 362 33554432000 4194304 5098028 140726071741680 140726071739784 140664404378236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7770112 140726071743354 140726071743597 140726071743597 140726071746506 0
/proc/14678/statm: 28282 362 304 221 0 87 0

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

/proc/14680/task/14694/stat : 14694 (java) S 14678 14678 12119 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 19 0 411377747 15787421696 138658 33554432000 4194304 4196468 140737394277952 140202804259504 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14695] ppid=14678 vsize=15417404 memory=776 CPUtime=4.16 cores=1,3,5,7
/proc/14680/task/14695/stat : 14695 (java) R 14678 14678 12119 0 -1 4202560 145 0 0 0 416 0 0 0 20 0 19 0 411377891 15787421696 138658 33554432000 4194304 4196468 140737394277952 140202795047784 140203582179306 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14696] ppid=14678 vsize=15417404 memory=1564 CPUtime=4.05 cores=1,3,5,7
/proc/14680/task/14696/stat : 14696 (java) R 14678 14678 12119 0 -1 4202560 533 0 0 0 405 0 0 0 20 0 19 0 411377892 15787421696 138658 33554432000 4194304 4196468 140737394277952 140202793996424 140203582180425 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14697] ppid=14678 vsize=15417404 memory=5968 CPUtime=4.2 cores=1,3,5,7
/proc/14680/task/14697/stat : 14697 (java) R 14678 14678 12119 0 -1 4202560 171 0 0 0 420 0 0 0 20 0 19 0 411377892 15787421696 138658 33554432000 4194304 4196468 140737394277952 140202792943480 140203582548333 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14698] ppid=14678 vsize=15417404 memory=1060 CPUtime=3.68 cores=1,3,5,7
/proc/14680/task/14698/stat : 14698 (java) R 14678 14678 12119 0 -1 4202560 243 0 0 0 368 0 0 0 20 0 19 0 411377892 15787421696 138658 33554432000 4194304 4196468 140737394277952 140202791891400 140203582407060 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
Current children cumulated CPU time: 22.32 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 556080 KiB

[startup+6.80151 s]
/proc/loadavg: 8.17 8.31 8.11 10/237 14698
/proc/meminfo: memFree=24776136/32770624 swapFree=66959224/67108860
[pid=14678] ppid=14675 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (xcsp3-exec) S 14675 14678 12119 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 411377741 115843072 362 33554432000 4194304 5098028 140726071741680 140726071739784 140664404378236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7770112 140726071743354 140726071743597 140726071743597 140726071746506 0
/proc/14678/statm: 28282 362 304 221 0 87 0
[pid=14680] ppid=14678 vsize=15417404 memory=554860 CPUtime=23.89 cores=1,3,5,7
/proc/14680/stat : 14680 (java) S 14678 14678 12119 0 -1 1077944320 25276 0 0 0 2344 45 0 0 20 0 19 0 411377741 15787421696 138715 33554432000 4194304 4196468 140737394277952 140737394260496 140203938799351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
/proc/14680/statm: 3854351 138715 3523 1 0 3815453 0
[pid=14680/tid=14681] ppid=14678 vsize=15417404 memory=7595998510510073447 CPUtime=1.31 cores=1,3,5,7
/proc/14680/task/14681/stat : 14681 (java) S 14678 14678 12119 0 -1 1077944384 8961 0 0 0 125 6 0 0 20 0 19 0 411377741 15787421696 138715 33554432000 4194304 4196468 140737394277952 140203943040128 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14682] ppid=14678 vsize=15417404 memory=7453010339083740505 CPUtime=0.18 cores=1,3,5,7
/proc/14680/task/14682/stat : 14682 (java) S 14678 14678 12119 0 -1 1077944384 1124 0 0 0 10 8 0 0 20 0 19 0 411377742 15787421696 138715 33554432000 4194304 4196468 140737394277952 140203531103376 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14683] ppid=14678 vsize=15417404 memory=-7025452035940392864 CPUtime=0.18 cores=1,3,5,7
/proc/14680/task/14683/stat : 14683 (java) S 14678 14678 12119 0 -1 1077944384 309 0 0 0 10 8 0 0 20 0 19 0 411377742 15787421696 138715 33554432000 4194304 4196468 140737394277952 140203530050576 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14684] ppid=14678 vsize=15417404 memory=-7531822216215551788 CPUtime=0.18 cores=1,3,5,7
/proc/14680/task/14684/stat : 14684 (java) S 14678 14678 12119 0 -1 1077944384 344 0 0 0 10 8 0 0 20 0 19 0 411377742 15787421696 138715 33554432000 4194304 4196468 140737394277952 140203528997776 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14685] ppid=14678 vsize=15417404 memory=8292088564187963537 CPUtime=0.19 cores=1,3,5,7
/proc/14680/task/14685/stat : 14685 (java) S 14678 14678 12119 0 -1 1077944384 369 0 0 0 11 8 0 0 20 0 19 0 411377742 15787421696 138715 33554432000 4194304 4196468 140737394277952 140203527944976 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14686] ppid=14678 vsize=15417404 memory=-7029379521808015264 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14686/stat : 14686 (java) S 14678 14678 12119 0 -1 1077944384 609 0 0 0 0 0 0 0 20 0 19 0 411377744 15787421696 138715 33554432000 4194304 4196468 140737394277952 140202812680560 140203938810498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14687] ppid=14678 vsize=15417404 memory=-7361174377247368086 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14687/stat : 14687 (java) S 14678 14678 12119 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 411377744 15787421696 138715 33554432000 4194304 4196468 140737394277952 140202811626592 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14688] ppid=14678 vsize=15417404 memory=4137282578176515228 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14688/stat : 14688 (java) S 14678 14678 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 411377744 15787421696 138715 33554432000 4194304 4196468 140737394277952 140202810573696 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14689] ppid=14678 vsize=15417404 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14689/stat : 14689 (java) S 14678 14678 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411377747 15787421696 138715 33554432000 4194304 4196468 140737394277952 140202809522000 140203938817947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14690] ppid=14678 vsize=15417404 memory=6944656592455360604 CPUtime=1.82 cores=1,3,5,7
/proc/14680/task/14690/stat : 14690 (java) S 14678 14678 12119 0 -1 1077944384 4140 0 0 0 181 1 0 0 20 0 19 0 411377747 15787421696 138715 33554432000 4194304 4196468 140737394277952 140202808470384 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14691] ppid=14678 vsize=15417404 memory=6656426216303648864 CPUtime=1.66 cores=1,3,5,7
/proc/14680/task/14691/stat : 14691 (java) S 14678 14678 12119 0 -1 1077944384 3571 0 0 0 166 0 0 0 20 0 19 0 411377747 15787421696 138715 33554432000 4194304 4196468 140737394277952 140202807417584 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14692] ppid=14678 vsize=15417404 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/14680/task/14692/stat : 14692 (java) S 14678 14678 12119 0 -1 1077944384 3298 0 0 0 72 1 0 0 20 0 19 0 411377747 15787421696 138715 33554432000 4194304 4196468 140737394277952 140202806364784 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14693] ppid=14678 vsize=15417404 memory=57 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14693/stat : 14693 (java) S 14678 14678 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411377747 15787421696 138715 33554432000 4194304 4196468 140737394277952 140202805312224 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14694] ppid=14678 vsize=15417404 memory=301741403522990399 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14694/stat : 14694 (java) S 14678 14678 12119 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 19 0 411377747 15787421696 138715 33554432000 4194304 4196468 140737394277952 140202804259504 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14695] ppid=14678 vsize=15417404 memory=14981057220971048 CPUtime=4.53 cores=1,3,5,7
/proc/14680/task/14695/stat : 14695 (java) R 14678 14678 12119 0 -1 4202560 146 0 0 0 453 0 0 0 20 0 19 0 411377891 15787421696 138715 33554432000 4194304 4196468 140737394277952 140202795048472 140203582179387 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14696] ppid=14678 vsize=15417404 memory=5859271421085237344 CPUtime=4.39 cores=1,3,5,7
/proc/14680/task/14696/stat : 14696 (java) R 14678 14678 12119 0 -1 4202560 534 0 0 0 439 0 0 0 20 0 19 0 411377892 15787421696 138715 33554432000 4194304 4196468 140737394277952 140202793996032 140203582178552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14697] ppid=14678 vsize=15417404 memory=5859271421085307746 CPUtime=4.58 cores=1,3,5,7
/proc/14680/task/14697/stat : 14697 (java) R 14678 14678 12119 0 -1 4202560 171 0 0 0 458 0 0 0 20 0 19 0 411377892 15787421696 138715 33554432000 4194304 4196468 140737394277952 140202792943480 140203582178967 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14698] ppid=14678 vsize=15417404 memory=5859271421085503842 CPUtime=4.02 cores=1,3,5,7
/proc/14680/task/14698/stat : 14698 (java) R 14678 14678 12119 0 -1 4202560 258 0 0 0 402 0 0 0 20 0 19 0 411377892 15787421696 138715 33554432000 4194304 4196468 140737394277952 140202791892120 140203582179891 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
Current children cumulated CPU time: 23.89 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 556308 KiB

[startup+7.20151 s]
/proc/loadavg: 8.17 8.31 8.11 9/237 14698
/proc/meminfo: memFree=24776012/32770624 swapFree=66959224/67108860
[pid=14678] ppid=14675 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (xcsp3-exec) S 14675 14678 12119 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 411377741 115843072 362 33554432000 4194304 5098028 140726071741680 140726071739784 140664404378236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7770112 140726071743354 140726071743597 140726071743597 140726071746506 0
/proc/14678/statm: 28282 362 304 221 0 87 0
[pid=14680] ppid=14678 vsize=15417404 memory=554928 CPUtime=25.47 cores=1,3,5,7
/proc/14680/stat : 14680 (java) S 14678 14678 12119 0 -1 1077944320 25474 0 0 0 2502 45 0 0 20 0 19 0 411377741 15787421696 138732 33554432000 4194304 4196468 140737394277952 140737394260496 140203938799351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
/proc/14680/statm: 3854351 138732 3523 1 0 3815453 0
[pid=14680/tid=14681] ppid=14678 vsize=15417404 memory=1448 CPUtime=1.31 cores=1,3,5,7
/proc/14680/task/14681/stat : 14681 (java) S 14678 14678 12119 0 -1 1077944384 8961 0 0 0 125 6 0 0 20 0 19 0 411377741 15787421696 138732 33554432000 4194304 4196468 140737394277952 140203943040128 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14682] ppid=14678 vsize=15417404 memory=6791534058613427641 CPUtime=0.18 cores=1,3,5,7
/proc/14680/task/14682/stat : 14682 (java) S 14678 14678 12119 0 -1 1077944384 1124 0 0 0 10 8 0 0 20 0 19 0 411377742 15787421696 138732 33554432000 4194304 4196468 140737394277952 140203531103376 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14683] ppid=14678 vsize=15417404 memory=2008 CPUtime=0.18 cores=1,3,5,7
/proc/14680/task/14683/stat : 14683 (java) S 14678 14678 12119 0 -1 1077944384 309 0 0 0 10 8 0 0 20 0 19 0 411377742 15787421696 138732 33554432000 4194304 4196468 140737394277952 140203530050576 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14684] ppid=14678 vsize=15417404 memory=1436 CPUtime=0.18 cores=1,3,5,7
/proc/14680/task/14684/stat : 14684 (java) S 14678 14678 12119 0 -1 1077944384 344 0 0 0 10 8 0 0 20 0 19 0 411377742 15787421696 138732 33554432000 4194304 4196468 140737394277952 140203528997776 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14685] ppid=14678 vsize=15417404 memory=580 CPUtime=0.19 cores=1,3,5,7
/proc/14680/task/14685/stat : 14685 (java) S 14678 14678 12119 0 -1 1077944384 369 0 0 0 11 8 0 0 20 0 19 0 411377742 15787421696 138732 33554432000 4194304 4196468 140737394277952 140203527944976 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14686] ppid=14678 vsize=15417404 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14686/stat : 14686 (java) S 14678 14678 12119 0 -1 1077944384 609 0 0 0 0 0 0 0 20 0 19 0 411377744 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202812680560 140203938810498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14687] ppid=14678 vsize=15417404 memory=10604 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14687/stat : 14687 (java) S 14678 14678 12119 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 411377744 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202811626592 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14688] ppid=14678 vsize=15417404 memory=554860 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14688/stat : 14688 (java) S 14678 14678 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 411377744 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202810573696 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14689] ppid=14678 vsize=15417404 memory=984 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14689/stat : 14689 (java) S 14678 14678 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411377747 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202809522000 140203938817947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14690] ppid=14678 vsize=15417404 memory=14004 CPUtime=1.82 cores=1,3,5,7
/proc/14680/task/14690/stat : 14690 (java) S 14678 14678 12119 0 -1 1077944384 4140 0 0 0 181 1 0 0 20 0 19 0 411377747 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202808470384 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14691] ppid=14678 vsize=15417404 memory=20832 CPUtime=1.69 cores=1,3,5,7
/proc/14680/task/14691/stat : 14691 (java) S 14678 14678 12119 0 -1 1077944384 3676 0 0 0 169 0 0 0 20 0 19 0 411377747 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202807417584 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14692] ppid=14678 vsize=15417404 memory=14048 CPUtime=0.73 cores=1,3,5,7
/proc/14680/task/14692/stat : 14692 (java) S 14678 14678 12119 0 -1 1077944384 3300 0 0 0 72 1 0 0 20 0 19 0 411377747 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202806364784 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14693] ppid=14678 vsize=15417404 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14693/stat : 14693 (java) S 14678 14678 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411377747 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202805312224 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14694] ppid=14678 vsize=15417404 memory=500 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14694/stat : 14694 (java) S 14678 14678 12119 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 19 0 411377747 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202804259504 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14695] ppid=14678 vsize=15417404 memory=1556 CPUtime=4.93 cores=1,3,5,7
/proc/14680/task/14695/stat : 14695 (java) R 14678 14678 12119 0 -1 4202560 167 0 0 0 493 0 0 0 20 0 19 0 411377891 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202795048472 140203582178896 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14696] ppid=14678 vsize=15417404 memory=928 CPUtime=4.79 cores=1,3,5,7
/proc/14680/task/14696/stat : 14696 (java) R 14678 14678 12119 0 -1 4202560 557 0 0 0 479 0 0 0 20 0 19 0 411377892 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202793996504 140203582178527 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14697] ppid=14678 vsize=15417404 memory=1760 CPUtime=4.94 cores=1,3,5,7
/proc/14680/task/14697/stat : 14697 (java) R 14678 14678 12119 0 -1 4202560 190 0 0 0 494 0 0 0 20 0 19 0 411377892 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202792943480 140203582178697 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14698] ppid=14678 vsize=15417404 memory=0 CPUtime=4.41 cores=1,3,5,7
/proc/14680/task/14698/stat : 14698 (java) R 14678 14678 12119 0 -1 4202560 286 0 0 0 441 0 0 0 20 0 19 0 411377892 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202791893528 140203582768788 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 556376 KiB

[startup+7.30151 s]
/proc/loadavg: 8.17 8.31 8.11 9/237 14698
/proc/meminfo: memFree=24776012/32770624 swapFree=66959224/67108860
[pid=14678] ppid=14675 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14678/stat : 14678 (xcsp3-exec) S 14675 14678 12119 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 411377741 115843072 362 33554432000 4194304 5098028 140726071741680 140726071739784 140664404378236 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 7770112 140726071743354 140726071743597 140726071743597 140726071746506 0
/proc/14678/statm: 28282 362 304 221 0 87 0
[pid=14680] ppid=14678 vsize=15417404 memory=554928 CPUtime=25.87 cores=1,3,5,7
/proc/14680/stat : 14680 (java) S 14678 14678 12119 0 -1 1077944320 25478 0 0 0 2542 45 0 0 20 0 19 0 411377741 15787421696 138732 33554432000 4194304 4196468 140737394277952 140737394260496 140203938799351 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
/proc/14680/statm: 3854351 138732 3523 1 0 3815453 0
[pid=14680/tid=14681] ppid=14678 vsize=15417404 memory=281319150571840 CPUtime=1.31 cores=1,3,5,7
/proc/14680/task/14681/stat : 14681 (java) S 14678 14678 12119 0 -1 1077944384 8961 0 0 0 125 6 0 0 20 0 19 0 411377741 15787421696 138732 33554432000 4194304 4196468 140737394277952 140203943040128 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14682] ppid=14678 vsize=15417404 memory=-2127763401593990296 CPUtime=0.18 cores=1,3,5,7
/proc/14680/task/14682/stat : 14682 (java) S 14678 14678 12119 0 -1 1077944384 1124 0 0 0 10 8 0 0 20 0 19 0 411377742 15787421696 138732 33554432000 4194304 4196468 140737394277952 140203531103376 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14683] ppid=14678 vsize=15417404 memory=1564 CPUtime=0.18 cores=1,3,5,7
/proc/14680/task/14683/stat : 14683 (java) S 14678 14678 12119 0 -1 1077944384 309 0 0 0 10 8 0 0 20 0 19 0 411377742 15787421696 138732 33554432000 4194304 4196468 140737394277952 140203530050576 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14684] ppid=14678 vsize=15417404 memory=5968 CPUtime=0.18 cores=1,3,5,7
/proc/14680/task/14684/stat : 14684 (java) S 14678 14678 12119 0 -1 1077944384 344 0 0 0 10 8 0 0 20 0 19 0 411377742 15787421696 138732 33554432000 4194304 4196468 140737394277952 140203528997776 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14685] ppid=14678 vsize=15417404 memory=554520 CPUtime=0.19 cores=1,3,5,7
/proc/14680/task/14685/stat : 14685 (java) S 14678 14678 12119 0 -1 1077944384 369 0 0 0 11 8 0 0 20 0 19 0 411377742 15787421696 138732 33554432000 4194304 4196468 140737394277952 140203527944976 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14686] ppid=14678 vsize=15417404 memory=554468 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14686/stat : 14686 (java) S 14678 14678 12119 0 -1 1077944384 609 0 0 0 0 0 0 0 20 0 19 0 411377744 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202812680560 140203938810498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14687] ppid=14678 vsize=15417404 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14687/stat : 14687 (java) S 14678 14678 12119 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 19 0 411377744 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202811626592 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14688] ppid=14678 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14688/stat : 14688 (java) S 14678 14678 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 411377744 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202810573696 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14689] ppid=14678 vsize=15417404 memory=510340 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14689/stat : 14689 (java) S 14678 14678 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411377747 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202809522000 140203938817947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14690] ppid=14678 vsize=15417404 memory=1967567 CPUtime=1.82 cores=1,3,5,7
/proc/14680/task/14690/stat : 14690 (java) S 14678 14678 12119 0 -1 1077944384 4140 0 0 0 181 1 0 0 20 0 19 0 411377747 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202808470384 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14691] ppid=14678 vsize=15417404 memory=0 CPUtime=1.69 cores=1,3,5,7
/proc/14680/task/14691/stat : 14691 (java) S 14678 14678 12119 0 -1 1077944384 3676 0 0 0 169 0 0 0 20 0 19 0 411377747 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202807417584 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14692] ppid=14678 vsize=15417404 memory=7518023284847043434 CPUtime=0.73 cores=1,3,5,7
/proc/14680/task/14692/stat : 14692 (java) S 14678 14678 12119 0 -1 1077944384 3300 0 0 0 72 1 0 0 20 0 19 0 411377747 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202806364784 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14693] ppid=14678 vsize=15417404 memory=7733070167053919850 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14693/stat : 14693 (java) S 14678 14678 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411377747 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202805312224 140203938809557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14694] ppid=14678 vsize=15417404 memory=7733070167070367851 CPUtime=0 cores=1,3,5,7
/proc/14680/task/14694/stat : 14694 (java) S 14678 14678 12119 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 19 0 411377747 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202804259504 140203938810498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14695] ppid=14678 vsize=15417404 memory=554928 CPUtime=5.03 cores=1,3,5,7
/proc/14680/task/14695/stat : 14695 (java) R 14678 14678 12119 0 -1 4202560 167 0 0 0 503 0 0 0 20 0 19 0 411377891 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202795048472 140203582548299 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14696] ppid=14678 vsize=15417404 memory=3620 CPUtime=4.89 cores=1,3,5,7
/proc/14680/task/14696/stat : 14696 (java) R 14678 14678 12119 0 -1 4202560 561 0 0 0 489 0 0 0 20 0 19 0 411377892 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202793996504 140203582179054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14697] ppid=14678 vsize=15417404 memory=1660 CPUtime=5.04 cores=1,3,5,7
/proc/14680/task/14697/stat : 14697 (java) R 14678 14678 12119 0 -1 4202560 190 0 0 0 504 0 0 0 20 0 19 0 411377892 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202792943480 140203582546697 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
[pid=14680/tid=14698] ppid=14678 vsize=15417404 memory=38904 CPUtime=4.51 cores=1,3,5,7
/proc/14680/task/14698/stat : 14698 (java) R 14678 14678 12119 0 -1 4202560 286 0 0 0 451 0 0 0 20 0 19 0 411377892 15787421696 138732 33554432000 4194304 4196468 140737394277952 140202791893528 140203582180071 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31789056 140737394283503 140737394283674 140737394283674 140737394286543 0
Current children cumulated CPU time: 25.87 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 556376 KiB

Child status: 0
Real time (s): 7.32993
CPU time (s): 25.9265
CPU user time (s): 25.4632
CPU system time (s): 0.463273
CPU usage (%): 353.708
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 556376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.4632
system time used= 0.463273
maximum resident set size= 557100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26683
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= 2626
involuntary context switches= 853


# summary of solver processes directly reported to runsolver:
#   pid: 14678
#   total CPU time (s): 25.9265
#   total CPU user time (s): 25.4632
#   total CPU system time (s): 0.463273

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060463 second user time and 0.138563 second system time

The end

Launcher Data 

Begin job on node124 at 2019-09-13 07:58:56
IDJOB=4393024
IDBENCH=140360
IDSOLVER=2840
FILE ID=node124/4393024-1568354376
RUNJOBID= node124-1568352401-13008
PBS_JOBID= 21701176
Free space on /tmp= 55340 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/Crossword/Crossword-m1c-words-herald/Crossword-m1c-words-h2303.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393024-1568354376/watcher-4393024-1568354376 -o /tmp/evaluation-result-4393024-1568354376/solver-4393024-1568354376 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568352401-13008 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1440260624 HOME/instance-4393024-1568354376.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 4f78cb4d5ebc47069554ab66515ce573
RANDOM SEED=1440260624

node124.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.47
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.47
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.47
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.47
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:        25319460 kB
MemAvailable:   31291440 kB
Buffers:          152800 kB
Cached:          6064072 kB
SwapCached:        45888 kB
Active:          1569604 kB
Inactive:        5224416 kB
Active(anon):     530320 kB
Inactive(anon):    87940 kB
Active(file):    1039284 kB
Inactive(file):  5136476 kB
Unevictable:      108748 kB
Mlocked:          108748 kB
SwapTotal:      67108860 kB
SwapFree:       66959224 kB
Dirty:             27612 kB
Writeback:             0 kB
AnonPages:        598108 kB
Mapped:            56440 kB
Shmem:             32744 kB
Slab:             253140 kB
SReclaimable:     224108 kB
SUnreclaim:        29032 kB
KernelStack:        4064 kB
PageTables:         6860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1895764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    499712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 55312 MiB
End job on node124 at 2019-09-13 07:59:03