Trace number 4271354

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-09)SAT (TO)20 2657.5801 2520.0601

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-23-25.xml
MD5SUMd34e1ab3749b5ab5f756e156ef97f2b6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark2519.9399
Satisfiable
(Un)Satisfiability was proved
Number of variables575
Number of constraints75901
Number of domains1
Minimum domain size575
Maximum domain size575
Distribution of domain sizes[{"size":575,"count":575}]
Minimum variable degree530
Maximum variable degree530
Distribution of variable degrees[{"degree":530,"count":575}]
Minimum constraint arity4
Maximum constraint arity575
Distribution of constraint arities[{"arity":4,"count":75900},{"arity":575,"count":1}]
Number of extensional constraints0
Number of intensional constraints75900
Distribution of constraint types[{"type":"intension","count":75900},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271354-1502835117.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271354-1502835117.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
112.09/29.77	c solve instance...
135.22/33.18	o 22 
140.38/33.95	o 21 
179.55/64.35	o 20 
2657.52/2520.02	s SATISFIABLE
2657.52/2520.02	v <instantiation>
2657.52/2520.02	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[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][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] 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][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] 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][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] 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][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] 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][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] 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][10] 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[20][23] x[20][24] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] </list>
2657.52/2520.02	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 0 1 2 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 0 1 2 3 4 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 0 1 2 3 4 5 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 0 1 2 3 4 5 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 0 1 2 3 4 5 6 7 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 0 1 2 3 4 5 6 7 8 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 9 0 1 2 3 4 5 6 7 8 9 10 10 10 10 10 10 10 10 10 10 10 10 10 10 10 0 1 2 3 4 5 6 7 8 9 10 11 11 11 11 11 11 11 11 11 11 11 11 11 11 0 1 2 3 4 5 6 7 8 9 10 11 12 12 12 12 12 12 12 12 12 12 12 12 12 0 1 2 3 4 5 6 7 8 9 10 11 12 13 13 13 13 13 13 13 13 13 13 13 13 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 14 14 14 14 14 14 14 14 14 14 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 15 15 15 15 15 15 15 15 15 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 16 16 16 16 16 16 16 16 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 17 17 17 17 17 17 17 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 18 18 18 18 18 18 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 19 19 19 19 19 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 20 20 20 20 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 17 18 19 20 16 17 18 19 20 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 17 18 19 20 16 18 17 20 19 </values>
2657.52/2520.02	v </instantiation>
2657.52/2520.02	c Unexpected resolution interruption!

Verifier Data 

OK	20

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271354-1502835117/watcher-4271354-1502835117 -o /tmp/evaluation-result-4271354-1502835117/solver-4271354-1502835117 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502826688-12343 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 402515204 HOME/instance-4271354-1502835117.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=12883, runsolver pid=12880

[startup+0.100221 s]*
/proc/loadavg: 0.97 1.01 1.49 4/199 12904
/proc/meminfo: memFree=29030056/32770624 swapFree=67108860/67108860
[pid=12883] ppid=12880 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12883/stat : 12883 (xcsp3-exec) S 12880 12883 12316 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116599715 9740288 346 33554432000 4194304 5098028 140728471561680 140728471559784 140023872033404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14946304 140728471565413 140728471565623 140728471565623 140728471568363 0
/proc/12883/statm: 2378 346 289 221 0 87 0
[pid=12885] ppid=12883 vsize=25999808 memory=28436 CPUtime=0.12 cores=0-7
/proc/12885/stat : 12885 (java) S 12883 12883 12316 0 -1 1077944320 5527 0 0 0 11 1 0 0 20 0 20 0 116599716 26623803392 7109 33554432000 4194304 4196468 140729176257600 140729176240144 140370798497527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
/proc/12885/statm: 6499952 7109 2844 1 0 6488269 0
[pid=12885/tid=12886] ppid=12883 vsize=25999808 memory=8256956774946348703 CPUtime=0.08 cores=0-7
/proc/12885/task/12886/stat : 12886 (java) R 12883 12883 12316 0 -1 4202560 3544 0 0 0 8 0 0 0 20 0 20 0 116599716 26623803392 7109 33554432000 4194304 4196468 140729176257600 140370802716504 140370420821760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12887] ppid=12883 vsize=25999808 memory=732370310471310309 CPUtime=0 cores=0-7
/proc/12885/task/12887/stat : 12887 (java) S 12883 12883 12316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116599717 26623803392 7109 33554432000 4194304 4196468 140729176257600 140370751117840 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12888] ppid=12883 vsize=25999808 memory=140172133856896 CPUtime=0 cores=0-7
/proc/12885/task/12888/stat : 12888 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26623803392 7109 33554432000 4194304 4196468 140729176257600 140370750065296 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12889] ppid=12883 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12889/stat : 12889 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26623803392 7109 33554432000 4194304 4196468 140729176257600 140370749012240 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12890] ppid=12883 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12890/stat : 12890 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26623803392 7109 33554432000 4194304 4196468 140729176257600 140370747959696 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12891] ppid=12883 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12891/stat : 12891 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26623803392 7109 33554432000 4194304 4196468 140729176257600 140370746907664 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12892] ppid=12883 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12885/task/12892/stat : 12892 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26623803392 7109 33554432000 4194304 4196468 140729176257600 140370745855120 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12893] ppid=12883 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12893/stat : 12893 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26623803392 7109 33554432000 4194304 4196468 140729176257600 140370744802064 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12894] ppid=12883 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12894/stat : 12894 (java) S 12883 12883 12316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116599717 26623803392 7109 33554432000 4194304 4196468 140729176257600 140370743749520 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12895] ppid=12883 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12895/stat : 12895 (java) S 12883 12883 12316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116599718 26623803392 7109 33554432000 4194304 4196468 140729176257600 140369070672112 140370798508674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12896] ppid=12883 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12896/stat : 12896 (java) S 12883 12883 12316 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116599719 26623803392 7109 33554432000 4194304 4196468 140729176257600 140369069618336 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12897] ppid=12883 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12897/stat : 12897 (java) S 12883 12883 12316 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116599719 26623803392 7109 33554432000 4194304 4196468 140729176257600 140369068565232 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12898] ppid=12883 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12898/stat : 12898 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599721 26623803392 7109 33554432000 4194304 4196468 140729176257600 140369067513808 140370798516123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12899] ppid=12883 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12899/stat : 12899 (java) S 12883 12883 12316 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 116599721 26623803392 7109 33554432000 4194304 4196468 140729176257600 140369066461936 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12900] ppid=12883 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12900/stat : 12900 (java) S 12883 12883 12316 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 116599721 26623803392 7109 33554432000 4194304 4196468 140729176257600 140369065409392 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12901] ppid=12883 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12901/stat : 12901 (java) S 12883 12883 12316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116599721 26623803392 7109 33554432000 4194304 4196468 140729176257600 140369064356336 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12902] ppid=12883 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/12885/task/12902/stat : 12902 (java) S 12883 12883 12316 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 20 0 116599721 26623803392 7109 33554432000 4194304 4196468 140729176257600 140369063303792 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12903] ppid=12883 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12903/stat : 12903 (java) S 12883 12883 12316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116599722 26623803392 7109 33554432000 4194304 4196468 140729176257600 140369062250976 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12904] ppid=12883 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12885/task/12904/stat : 12904 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599722 26623803392 7109 33554432000 4194304 4196468 140729176257600 140368456706736 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 29820 KiB

[startup+0.209912 s]*
/proc/loadavg: 0.97 1.01 1.49 2/199 12904
/proc/meminfo: memFree=29021312/32770624 swapFree=67108860/67108860
[pid=12883] ppid=12880 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12883/stat : 12883 (xcsp3-exec) S 12880 12883 12316 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116599715 9740288 346 33554432000 4194304 5098028 140728471561680 140728471559784 140023872033404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14946304 140728471565413 140728471565623 140728471565623 140728471568363 0
/proc/12883/statm: 2378 346 289 221 0 87 0
[pid=12885] ppid=12883 vsize=26004064 memory=40064 CPUtime=0.33 cores=0-7
/proc/12885/stat : 12885 (java) S 12883 12883 12316 0 -1 1077944320 8187 0 0 0 31 2 0 0 20 0 20 0 116599716 26628161536 10016 33554432000 4194304 4196468 140729176257600 140729176240144 140370798497527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
/proc/12885/statm: 6501016 10016 2989 1 0 6488269 0
[pid=12885/tid=12886] ppid=12883 vsize=26004064 memory=0 CPUtime=0.19 cores=0-7
/proc/12885/task/12886/stat : 12886 (java) R 12883 12883 12316 0 -1 4202560 5314 0 0 0 18 1 0 0 20 0 20 0 116599716 26628161536 10016 33554432000 4194304 4196468 140729176257600 140370802718336 140370798519453 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12887] ppid=12883 vsize=26004064 memory=732370310471310309 CPUtime=0 cores=0-7
/proc/12885/task/12887/stat : 12887 (java) S 12883 12883 12316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116599717 26628161536 10016 33554432000 4194304 4196468 140729176257600 140370751117840 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12888] ppid=12883 vsize=26004064 memory=140172133856896 CPUtime=0 cores=0-7
/proc/12885/task/12888/stat : 12888 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26628161536 10016 33554432000 4194304 4196468 140729176257600 140370750065296 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12889] ppid=12883 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12889/stat : 12889 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26628161536 10016 33554432000 4194304 4196468 140729176257600 140370749012240 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12890] ppid=12883 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12890/stat : 12890 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26628161536 10016 33554432000 4194304 4196468 140729176257600 140370747959696 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12891] ppid=12883 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12891/stat : 12891 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26628161536 10016 33554432000 4194304 4196468 140729176257600 140370746907664 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12892] ppid=12883 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12885/task/12892/stat : 12892 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26628161536 10016 33554432000 4194304 4196468 140729176257600 140370745855120 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12893] ppid=12883 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12893/stat : 12893 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26628161536 10016 33554432000 4194304 4196468 140729176257600 140370744802064 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12894] ppid=12883 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12894/stat : 12894 (java) S 12883 12883 12316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116599717 26628161536 10016 33554432000 4194304 4196468 140729176257600 140370743749520 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12895] ppid=12883 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12895/stat : 12895 (java) S 12883 12883 12316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116599718 26628161536 10016 33554432000 4194304 4196468 140729176257600 140369070672112 140370798508674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12896] ppid=12883 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12896/stat : 12896 (java) S 12883 12883 12316 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116599719 26628161536 10016 33554432000 4194304 4196468 140729176257600 140369069618336 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12897] ppid=12883 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12897/stat : 12897 (java) S 12883 12883 12316 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116599719 26628161536 10016 33554432000 4194304 4196468 140729176257600 140369068565232 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12898] ppid=12883 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12898/stat : 12898 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599721 26628161536 10016 33554432000 4194304 4196468 140729176257600 140369067513808 140370798516123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12899] ppid=12883 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/12885/task/12899/stat : 12899 (java) S 12883 12883 12316 0 -1 1077944384 528 0 0 0 1 0 0 0 20 0 20 0 116599721 26628161536 10016 33554432000 4194304 4196468 140729176257600 140369066461936 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12900] ppid=12883 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12900/stat : 12900 (java) S 12883 12883 12316 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 116599721 26628161536 10016 33554432000 4194304 4196468 140729176257600 140369065409392 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12901] ppid=12883 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/12885/task/12901/stat : 12901 (java) S 12883 12883 12316 0 -1 1077944384 192 0 0 0 2 0 0 0 20 0 20 0 116599721 26628161536 10016 33554432000 4194304 4196468 140729176257600 140369064356336 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12902] ppid=12883 vsize=26004064 memory=0 CPUtime=0.08 cores=0-7
/proc/12885/task/12902/stat : 12902 (java) S 12883 12883 12316 0 -1 1077944384 722 0 0 0 8 0 0 0 20 0 20 0 116599721 26628161536 10016 33554432000 4194304 4196468 140729176257600 140369063303792 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12903] ppid=12883 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12903/stat : 12903 (java) S 12883 12883 12316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116599722 26628161536 10016 33554432000 4194304 4196468 140729176257600 140369062250976 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12904] ppid=12883 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12885/task/12904/stat : 12904 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599722 26628161536 10016 33554432000 4194304 4196468 140729176257600 140368456706736 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 41448 KiB

[startup+0.309404 s]*
/proc/loadavg: 0.97 1.01 1.49 4/199 12904
/proc/meminfo: memFree=29014736/32770624 swapFree=67108860/67108860
[pid=12883] ppid=12880 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12883/stat : 12883 (xcsp3-exec) S 12880 12883 12316 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116599715 9740288 346 33554432000 4194304 5098028 140728471561680 140728471559784 140023872033404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14946304 140728471565413 140728471565623 140728471565623 140728471568363 0
/proc/12883/statm: 2378 346 289 221 0 87 0
[pid=12885] ppid=12883 vsize=26004064 memory=45488 CPUtime=0.49 cores=0-7
/proc/12885/stat : 12885 (java) S 12883 12883 12316 0 -1 1077944320 9068 0 0 0 46 3 0 0 20 0 20 0 116599716 26628161536 11372 33554432000 4194304 4196468 140729176257600 140729176240144 140370798497527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
/proc/12885/statm: 6501016 11372 3110 1 0 6488269 0
[pid=12885/tid=12886] ppid=12883 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/12885/task/12886/stat : 12886 (java) R 12883 12883 12316 0 -1 4202560 5989 0 0 0 27 2 0 0 20 0 20 0 116599716 26628161536 11372 33554432000 4194304 4196468 140729176257600 140370802734400 140370798519453 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12887] ppid=12883 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12887/stat : 12887 (java) S 12883 12883 12316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116599717 26628161536 11372 33554432000 4194304 4196468 140729176257600 140370751117840 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12888] ppid=12883 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12888/stat : 12888 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26628161536 11372 33554432000 4194304 4196468 140729176257600 140370750065296 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12889] ppid=12883 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12889/stat : 12889 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26628161536 11372 33554432000 4194304 4196468 140729176257600 140370749012240 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12890] ppid=12883 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12890/stat : 12890 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26628161536 11372 33554432000 4194304 4196468 140729176257600 140370747959696 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12891] ppid=12883 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/12885/task/12891/stat : 12891 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26628161536 11372 33554432000 4194304 4196468 140729176257600 140370746907664 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12892] ppid=12883 vsize=26004064 memory=140172029162415 CPUtime=0 cores=0-7
/proc/12885/task/12892/stat : 12892 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26628161536 11372 33554432000 4194304 4196468 140729176257600 140370745855120 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12893] ppid=12883 vsize=26004064 memory=140172029164720 CPUtime=0 cores=0-7
/proc/12885/task/12893/stat : 12893 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26628161536 11372 33554432000 4194304 4196468 140729176257600 140370744802064 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12894] ppid=12883 vsize=26004064 memory=140172029167024 CPUtime=0 cores=0-7
/proc/12885/task/12894/stat : 12894 (java) S 12883 12883 12316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116599717 26628161536 11372 33554432000 4194304 4196468 140729176257600 140370743749520 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12895] ppid=12883 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12895/stat : 12895 (java) S 12883 12883 12316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116599718 26628161536 11372 33554432000 4194304 4196468 140729176257600 140369070672112 140370798508674 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12896] ppid=12883 vsize=26004064 memory=280344058341008 CPUtime=0 cores=0-7
/proc/12885/task/12896/stat : 12896 (java) S 12883 12883 12316 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 116599719 26628161536 11372 33554432000 4194304 4196468 140729176257600 140369069618336 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12897] ppid=12883 vsize=26004064 memory=280344058347920 CPUtime=0 cores=0-7
/proc/12885/task/12897/stat : 12897 (java) S 12883 12883 12316 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 116599719 26628161536 11372 33554432000 4194304 4196468 140729176257600 140369068565232 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12898] ppid=12883 vsize=26004064 memory=280344058289200 CPUtime=0 cores=0-7
/proc/12885/task/12898/stat : 12898 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599721 26628161536 11372 33554432000 4194304 4196468 140729176257600 140369067513808 140370798516123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12899] ppid=12883 vsize=26004064 memory=280344058361744 CPUtime=0.02 cores=0-7
/proc/12885/task/12899/stat : 12899 (java) S 12883 12883 12316 0 -1 1077944384 539 0 0 0 2 0 0 0 20 0 20 0 116599721 26628161536 11372 33554432000 4194304 4196468 140729176257600 140369066461936 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12900] ppid=12883 vsize=26004064 memory=280344058368656 CPUtime=0 cores=0-7
/proc/12885/task/12900/stat : 12900 (java) S 12883 12883 12316 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 20 0 116599721 26628161536 11372 33554432000 4194304 4196468 140729176257600 140369065409392 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12901] ppid=12883 vsize=26004064 memory=280344058366352 CPUtime=0.03 cores=0-7
/proc/12885/task/12901/stat : 12901 (java) R 12883 12883 12316 0 -1 1077944384 247 0 0 0 3 0 0 0 20 0 20 0 116599721 26628161536 11372 33554432000 4194304 4196468 140729176257600 140369064356336 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12902] ppid=12883 vsize=26004064 memory=280344058382512 CPUtime=0.12 cores=0-7
/proc/12885/task/12902/stat : 12902 (java) R 12883 12883 12316 0 -1 4202560 843 0 0 0 12 0 0 0 20 0 20 0 116599721 26628161536 11372 33554432000 4194304 4196468 140729176257600 140369063303792 140370791597374 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12903] ppid=12883 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12903/stat : 12903 (java) S 12883 12883 12316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 116599722 26628161536 11372 33554432000 4194304 4196468 140729176257600 140369062250976 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12904] ppid=12883 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12885/task/12904/stat : 12904 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599722 26628161536 11372 33554432000 4194304 4196468 140729176257600 140368456706736 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 46872 KiB

[startup+0.700925 s]
/proc/loadavg: 0.97 1.01 1.49 3/199 12904
/proc/meminfo: memFree=28958164/32770624 swapFree=67108860/67108860
[pid=12883] ppid=12880 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12883/stat : 12883 (xcsp3-exec) S 12880 12883 12316 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116599715 9740288 346 33554432000 4194304 5098028 140728471561680 140728471559784 140023872033404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14946304 140728471565413 140728471565623 140728471565623 140728471568363 0
/proc/12883/statm: 2378 346 289 221 0 87 0
[pid=12885] ppid=12883 vsize=26004140 memory=139264 CPUtime=1.8 cores=0-7
/proc/12885/stat : 12885 (java) S 12883 12883 12316 0 -1 1077944320 12574 0 0 0 174 6 0 0 20 0 20 0 116599716 26628239360 34816 33554432000 4194304 4196468 140729176257600 140729176240144 140370798497527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
/proc/12885/statm: 6501035 34816 3183 1 0 6488269 0
[pid=12885/tid=12886] ppid=12883 vsize=26004140 memory=280344058677440 CPUtime=0.67 cores=0-7
/proc/12885/task/12886/stat : 12886 (java) R 12883 12883 12316 0 -1 4202560 6317 0 0 0 63 4 0 0 20 0 20 0 116599716 26628239360 34816 33554432000 4194304 4196468 140729176257600 140370802731600 140370798509462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12887] ppid=12883 vsize=26004140 memory=1420 CPUtime=0 cores=0-7
/proc/12885/task/12887/stat : 12887 (java) S 12883 12883 12316 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 116599717 26628239360 34816 33554432000 4194304 4196468 140729176257600 140370751117840 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12888] ppid=12883 vsize=26004140 memory=11032 CPUtime=0 cores=0-7
/proc/12885/task/12888/stat : 12888 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26628239360 34816 33554432000 4194304 4196468 140729176257600 140370750065296 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12889] ppid=12883 vsize=26004140 memory=1712 CPUtime=0 cores=0-7
/proc/12885/task/12889/stat : 12889 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 116599717 26628239360 34816 33554432000 4194304 4196468 140729176257600 140370749012240 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0

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

[pid=12885/tid=12937] ppid=12883 vsize=26538700 memory=7005376 CPUtime=3.14 cores=0-7
/proc/12885/task/12937/stat : 12937 (java) S 12883 12883 12316 0 -1 1077944384 350 0 0 0 313 1 0 0 20 0 28 0 116606151 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368443933776 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
Current children cumulated CPU time: 2579.79 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 7006760 KiB

[startup+2502.3 s]
/proc/loadavg: 1.00 1.01 1.05 2/207 12997
/proc/meminfo: memFree=22043908/32770624 swapFree=67108860/67108860
[pid=12883] ppid=12880 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12883/stat : 12883 (xcsp3-exec) S 12880 12883 12316 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116599715 9740288 346 33554432000 4194304 5098028 140728471561680 140728471559784 140023872033404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14946304 140728471565413 140728471565623 140728471565623 140728471568363 0
/proc/12883/statm: 2378 346 289 221 0 87 0
[pid=12885] ppid=12883 vsize=26538700 memory=7005376 CPUtime=2639.8 cores=0-7
/proc/12885/stat : 12885 (java) S 12883 12883 12316 0 -1 1077944320 191859 0 0 0 262734 1246 0 0 20 0 28 0 116599716 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140729176240144 140370798497527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
/proc/12885/statm: 6634675 1751344 3294 1 0 6621909 0
[pid=12885/tid=12886] ppid=12883 vsize=26538700 memory=7005376 CPUtime=17.06 cores=0-7
/proc/12885/task/12886/stat : 12886 (java) S 12883 12883 12316 0 -1 1077944384 23420 0 0 0 1666 40 0 0 20 0 28 0 116599716 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140370802738304 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12887] ppid=12883 vsize=26538700 memory=7005376 CPUtime=11.47 cores=0-7
/proc/12885/task/12887/stat : 12887 (java) S 12883 12883 12316 0 -1 1077944384 4350 0 0 0 1011 136 0 0 20 0 28 0 116599717 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140370751117840 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12888] ppid=12883 vsize=26538700 memory=280342581739960 CPUtime=11.45 cores=0-7
/proc/12885/task/12888/stat : 12888 (java) S 12883 12883 12316 0 -1 1077944384 4535 0 0 0 1013 132 0 0 20 0 28 0 116599717 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140370750065296 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12889] ppid=12883 vsize=26538700 memory=7306916055891837009 CPUtime=11.5 cores=0-7
/proc/12885/task/12889/stat : 12889 (java) S 12883 12883 12316 0 -1 1077944384 4415 0 0 0 1015 135 0 0 20 0 28 0 116599717 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140370749012240 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12890] ppid=12883 vsize=26538700 memory=7005376 CPUtime=11.47 cores=0-7
/proc/12885/task/12890/stat : 12890 (java) S 12883 12883 12316 0 -1 1077944384 4529 0 0 0 1018 129 0 0 20 0 28 0 116599717 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140370747959696 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12891] ppid=12883 vsize=26538700 memory=0 CPUtime=11.45 cores=0-7
/proc/12885/task/12891/stat : 12891 (java) S 12883 12883 12316 0 -1 1077944384 4733 0 0 0 1012 133 0 0 20 0 28 0 116599717 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140370746907664 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12892] ppid=12883 vsize=26538700 memory=1384 CPUtime=11.41 cores=0-7
/proc/12885/task/12892/stat : 12892 (java) S 12883 12883 12316 0 -1 1077944384 6049 0 0 0 1002 139 0 0 20 0 28 0 116599717 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140370745855120 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12893] ppid=12883 vsize=26538700 memory=1384 CPUtime=11.38 cores=0-7
/proc/12885/task/12893/stat : 12893 (java) S 12883 12883 12316 0 -1 1077944384 4632 0 0 0 996 142 0 0 20 0 28 0 116599717 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140370744802064 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12894] ppid=12883 vsize=26538700 memory=1196 CPUtime=11.36 cores=0-7
/proc/12885/task/12894/stat : 12894 (java) S 12883 12883 12316 0 -1 1077944384 4086 0 0 0 1008 128 0 0 20 0 28 0 116599717 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140370743749520 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12895] ppid=12883 vsize=26538700 memory=4612 CPUtime=2.07 cores=0-7
/proc/12885/task/12895/stat : 12895 (java) S 12883 12883 12316 0 -1 1077944384 13561 0 0 0 196 11 0 0 20 0 28 0 116599718 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140369070672112 140370798508674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12896] ppid=12883 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12885/task/12896/stat : 12896 (java) S 12883 12883 12316 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 116599719 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140369069618400 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12897] ppid=12883 vsize=26538700 memory=-3252517613198930896 CPUtime=0 cores=0-7
/proc/12885/task/12897/stat : 12897 (java) S 12883 12883 12316 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 116599719 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140369068565248 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12898] ppid=12883 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/12885/task/12898/stat : 12898 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 116599721 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140369067513808 140370798516123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12899] ppid=12883 vsize=26538700 memory=4140 CPUtime=3.52 cores=0-7
/proc/12885/task/12899/stat : 12899 (java) S 12883 12883 12316 0 -1 1077944384 15873 0 0 0 349 3 0 0 20 0 28 0 116599721 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140369066461936 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12900] ppid=12883 vsize=26538700 memory=8568 CPUtime=3.39 cores=0-7
/proc/12885/task/12900/stat : 12900 (java) S 12883 12883 12316 0 -1 1077944384 18317 0 0 0 336 3 0 0 20 0 28 0 116599721 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140369065409392 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12901] ppid=12883 vsize=26538700 memory=1224 CPUtime=3.32 cores=0-7
/proc/12885/task/12901/stat : 12901 (java) S 12883 12883 12316 0 -1 1077944384 15849 0 0 0 329 3 0 0 20 0 28 0 116599721 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140369064356336 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12902] ppid=12883 vsize=26538700 memory=7005376 CPUtime=0.99 cores=0-7
/proc/12885/task/12902/stat : 12902 (java) S 12883 12883 12316 0 -1 1077944384 10626 0 0 0 94 5 0 0 20 0 28 0 116599721 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140369063303792 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12903] ppid=12883 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/12885/task/12903/stat : 12903 (java) S 12883 12883 12316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 116599722 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140369062250976 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12904] ppid=12883 vsize=26538700 memory=280344059699984 CPUtime=0.84 cores=0-7
/proc/12885/task/12904/stat : 12904 (java) S 12883 12883 12316 0 -1 1077944384 4976 0 0 0 26 58 0 0 20 0 28 0 116599722 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368456706736 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12930] ppid=12883 vsize=26538700 memory=-7457052372387209120 CPUtime=3.05 cores=0-7
/proc/12885/task/12930/stat : 12930 (java) S 12883 12883 12316 0 -1 1077944384 264 0 0 0 301 4 0 0 20 0 28 0 116606151 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368449195440 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12931] ppid=12883 vsize=26538700 memory=111093624104200 CPUtime=2.94 cores=0-7
/proc/12885/task/12931/stat : 12931 (java) S 12883 12883 12316 0 -1 1077944384 581 0 0 0 291 3 0 0 20 0 28 0 116606151 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368447091536 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12932] ppid=12883 vsize=26538700 memory=6655300316396806240 CPUtime=2.82 cores=0-7
/proc/12885/task/12932/stat : 12932 (java) S 12883 12883 12316 0 -1 1077944384 169 0 0 0 280 2 0 0 20 0 28 0 116606151 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368444986832 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12933] ppid=12883 vsize=26538700 memory=2428 CPUtime=2.88 cores=0-7
/proc/12885/task/12933/stat : 12933 (java) S 12883 12883 12316 0 -1 1077944384 732 0 0 0 285 3 0 0 20 0 28 0 116606151 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368441828944 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12934] ppid=12883 vsize=26538700 memory=1728 CPUtime=2437.7 cores=0-7
/proc/12885/task/12934/stat : 12934 (java) R 12883 12883 12316 0 -1 4202560 35526 0 0 0 243766 4 0 0 20 0 28 0 116606151 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368442876328 140370424677975 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12935] ppid=12883 vsize=26538700 memory=15872 CPUtime=2.88 cores=0-7
/proc/12885/task/12935/stat : 12935 (java) S 12883 12883 12316 0 -1 1077944384 1271 0 0 0 288 0 0 0 20 0 28 0 116606151 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368448144720 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12936] ppid=12883 vsize=26538700 memory=18448 CPUtime=3.16 cores=0-7
/proc/12885/task/12936/stat : 12936 (java) S 12883 12883 12316 0 -1 1077944384 288 0 0 0 316 0 0 0 20 0 28 0 116606151 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368446038992 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12937] ppid=12883 vsize=26538700 memory=18372 CPUtime=3.14 cores=0-7
/proc/12885/task/12937/stat : 12937 (java) S 12883 12883 12316 0 -1 1077944384 350 0 0 0 313 1 0 0 20 0 28 0 116606151 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368443933776 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
Current children cumulated CPU time: 2639.8 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 7006760 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.00 1.01 1.05 2/207 12997
/proc/meminfo: memFree=22043908/32770624 swapFree=67108860/67108860
[pid=12883] ppid=12880 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12883/stat : 12883 (xcsp3-exec) S 12880 12883 12316 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 116599715 9740288 346 33554432000 4194304 5098028 140728471561680 140728471559784 140023872033404 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14946304 140728471565413 140728471565623 140728471565623 140728471568363 0
/proc/12883/statm: 2378 346 289 221 0 87 0
[pid=12885] ppid=12883 vsize=26538700 memory=7005376 CPUtime=2657.52 cores=0-7
/proc/12885/stat : 12885 (java) S 12883 12883 12316 0 -1 1077944320 192162 0 0 0 264505 1247 0 0 20 0 28 0 116599716 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140729176240144 140370798497527 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
/proc/12885/statm: 6634675 1751344 3294 1 0 6621909 0
[pid=12885/tid=12886] ppid=12883 vsize=26538700 memory=8568 CPUtime=17.06 cores=0-7
/proc/12885/task/12886/stat : 12886 (java) S 12883 12883 12316 0 -1 1077944384 23420 0 0 0 1666 40 0 0 20 0 28 0 116599716 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140370802738304 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12887] ppid=12883 vsize=26538700 memory=1224 CPUtime=11.47 cores=0-7
/proc/12885/task/12887/stat : 12887 (java) S 12883 12883 12316 0 -1 1077944384 4350 0 0 0 1011 136 0 0 20 0 28 0 116599717 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140370751117840 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12888] ppid=12883 vsize=26538700 memory=792 CPUtime=11.45 cores=0-7
/proc/12885/task/12888/stat : 12888 (java) S 12883 12883 12316 0 -1 1077944384 4535 0 0 0 1013 132 0 0 20 0 28 0 116599717 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140370750065296 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12889] ppid=12883 vsize=26538700 memory=-7003737579269690708 CPUtime=11.5 cores=0-7
/proc/12885/task/12889/stat : 12889 (java) S 12883 12883 12316 0 -1 1077944384 4415 0 0 0 1015 135 0 0 20 0 28 0 116599717 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140370749012240 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12890] ppid=12883 vsize=26538700 memory=32572 CPUtime=11.47 cores=0-7
/proc/12885/task/12890/stat : 12890 (java) S 12883 12883 12316 0 -1 1077944384 4529 0 0 0 1018 129 0 0 20 0 28 0 116599717 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140370747959696 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12891] ppid=12883 vsize=26538700 memory=1292 CPUtime=11.45 cores=0-7
/proc/12885/task/12891/stat : 12891 (java) S 12883 12883 12316 0 -1 1077944384 4733 0 0 0 1012 133 0 0 20 0 28 0 116599717 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140370746907664 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12892] ppid=12883 vsize=26538700 memory=1792 CPUtime=11.41 cores=0-7
/proc/12885/task/12892/stat : 12892 (java) S 12883 12883 12316 0 -1 1077944384 6049 0 0 0 1002 139 0 0 20 0 28 0 116599717 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140370745855120 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12893] ppid=12883 vsize=26538700 memory=636 CPUtime=11.38 cores=0-7
/proc/12885/task/12893/stat : 12893 (java) S 12883 12883 12316 0 -1 1077944384 4632 0 0 0 996 142 0 0 20 0 28 0 116599717 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140370744802064 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12894] ppid=12883 vsize=26538700 memory=956 CPUtime=11.36 cores=0-7
/proc/12885/task/12894/stat : 12894 (java) S 12883 12883 12316 0 -1 1077944384 4086 0 0 0 1008 128 0 0 20 0 28 0 116599717 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140370743749520 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12895] ppid=12883 vsize=26538700 memory=2340 CPUtime=2.07 cores=0-7
/proc/12885/task/12895/stat : 12895 (java) S 12883 12883 12316 0 -1 1077944384 13561 0 0 0 196 11 0 0 20 0 28 0 116599718 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140369070672112 140370798508674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12896] ppid=12883 vsize=26538700 memory=1236 CPUtime=0 cores=0-7
/proc/12885/task/12896/stat : 12896 (java) S 12883 12883 12316 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 116599719 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140369069618400 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12897] ppid=12883 vsize=26538700 memory=2240 CPUtime=0 cores=0-7
/proc/12885/task/12897/stat : 12897 (java) S 12883 12883 12316 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 28 0 116599719 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140369068565248 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12898] ppid=12883 vsize=26538700 memory=4128 CPUtime=0 cores=0-7
/proc/12885/task/12898/stat : 12898 (java) S 12883 12883 12316 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 116599721 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140369067513808 140370798516123 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12899] ppid=12883 vsize=26538700 memory=6504 CPUtime=3.52 cores=0-7
/proc/12885/task/12899/stat : 12899 (java) S 12883 12883 12316 0 -1 1077944384 15873 0 0 0 349 3 0 0 20 0 28 0 116599721 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140369066461936 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12900] ppid=12883 vsize=26538700 memory=840 CPUtime=3.39 cores=0-7
/proc/12885/task/12900/stat : 12900 (java) S 12883 12883 12316 0 -1 1077944384 18317 0 0 0 336 3 0 0 20 0 28 0 116599721 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140369065409392 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 17 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12901] ppid=12883 vsize=26538700 memory=1692 CPUtime=3.32 cores=0-7
/proc/12885/task/12901/stat : 12901 (java) S 12883 12883 12316 0 -1 1077944384 15849 0 0 0 329 3 0 0 20 0 28 0 116599721 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140369064356336 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12902] ppid=12883 vsize=26538700 memory=916 CPUtime=0.99 cores=0-7
/proc/12885/task/12902/stat : 12902 (java) S 12883 12883 12316 0 -1 1077944384 10626 0 0 0 94 5 0 0 20 0 28 0 116599721 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140369063303792 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12903] ppid=12883 vsize=26538700 memory=4128 CPUtime=0 cores=0-7
/proc/12885/task/12903/stat : 12903 (java) S 12883 12883 12316 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 116599722 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140369062250976 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12904] ppid=12883 vsize=26538700 memory=4104 CPUtime=0.84 cores=0-7
/proc/12885/task/12904/stat : 12904 (java) S 12883 12883 12316 0 -1 1077944384 4982 0 0 0 26 58 0 0 20 0 28 0 116599722 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368456706736 140370798508674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12930] ppid=12883 vsize=26538700 memory=1152 CPUtime=3.05 cores=0-7
/proc/12885/task/12930/stat : 12930 (java) S 12883 12883 12316 0 -1 1077944384 264 0 0 0 301 4 0 0 20 0 28 0 116606151 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368449195440 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12931] ppid=12883 vsize=26538700 memory=3732 CPUtime=2.94 cores=0-7
/proc/12885/task/12931/stat : 12931 (java) S 12883 12883 12316 0 -1 1077944384 581 0 0 0 291 3 0 0 20 0 28 0 116606151 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368447091536 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12932] ppid=12883 vsize=26538700 memory=4140 CPUtime=2.82 cores=0-7
/proc/12885/task/12932/stat : 12932 (java) S 12883 12883 12316 0 -1 1077944384 169 0 0 0 280 2 0 0 20 0 28 0 116606151 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368444986832 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12933] ppid=12883 vsize=26538700 memory=32572 CPUtime=2.88 cores=0-7
/proc/12885/task/12933/stat : 12933 (java) S 12883 12883 12316 0 -1 1077944384 732 0 0 0 285 3 0 0 20 0 28 0 116606151 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368441828944 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12934] ppid=12883 vsize=26538700 memory=1292 CPUtime=2455.41 cores=0-7
/proc/12885/task/12934/stat : 12934 (java) R 12883 12883 12316 0 -1 4202560 35823 0 0 0 245537 4 0 0 20 0 28 0 116606151 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368442876328 140370425854013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12935] ppid=12883 vsize=26538700 memory=6791534058613427641 CPUtime=2.88 cores=0-7
/proc/12885/task/12935/stat : 12935 (java) S 12883 12883 12316 0 -1 1077944384 1271 0 0 0 288 0 0 0 20 0 28 0 116606151 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368448144720 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12936] ppid=12883 vsize=26538700 memory=7005376 CPUtime=3.16 cores=0-7
/proc/12885/task/12936/stat : 12936 (java) S 12883 12883 12316 0 -1 1077944384 288 0 0 0 316 0 0 0 20 0 28 0 116606151 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368446038992 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
[pid=12885/tid=12937] ppid=12883 vsize=26538700 memory=7005376 CPUtime=3.14 cores=0-7
/proc/12885/task/12937/stat : 12937 (java) S 12883 12883 12316 0 -1 1077944384 350 0 0 0 313 1 0 0 20 0 28 0 116606151 27175628800 1751344 33554432000 4194304 4196468 140729176257600 140368443933776 140370798507733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32464896 140729176265874 140729176266051 140729176266051 140729176268751 0
Current children cumulated CPU time: 2657.52 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 7006760 KiB

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

[startup+2520.02 s]
# the end of solver process 12883 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.002041 s

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

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

Child status: 143
Real time (s): 2520.06
CPU time (s): 2657.58
CPU user time (s): 2645.07
CPU system time (s): 12.5165
CPU usage (%): 105.457
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 7006760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2645.07
system time used= 12.5165
maximum resident set size= 7005864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193498
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63760
involuntary context switches= 3009


# summary of solver processes directly reported to runsolver:
#   pid: 12883,12885
#   total CPU time (s): 2657.58
#   total CPU user time (s): 2645.07
#   total CPU system time (s): 12.5165

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.3957 second user time and 29.6329 second system time

The end

Launcher Data 

Begin job on node107 at 2017-08-15 23:57:38
IDJOB=4271354
IDBENCH=139756
IDSOLVER=2662
FILE ID=node107/4271354-1502835117
RUNJOBID= node107-1502826688-12343
PBS_JOBID= 20629837
Free space on /tmp= 61660 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-23-25.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-4271354-1502835117/watcher-4271354-1502835117 -o /tmp/evaluation-result-4271354-1502835117/solver-4271354-1502835117 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1502826688-12343 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 402515204 HOME/instance-4271354-1502835117.xml

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

MD5SUM BENCH= d34e1ab3749b5ab5f756e156ef97f2b6
RANDOM SEED=402515204

node107.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.84
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.84
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.84
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.84
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:        29047948 kB
MemAvailable:   31987028 kB
Buffers:          231564 kB
Cached:          2994360 kB
SwapCached:            0 kB
Active:           584600 kB
Inactive:        2693364 kB
Active(anon):      55052 kB
Inactive(anon):    24972 kB
Active(file):     529548 kB
Inactive(file):  2668392 kB
Unevictable:        6328 kB
Mlocked:            6328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             11860 kB
Writeback:             4 kB
AnonPages:         58636 kB
Mapped:            46340 kB
Shmem:             25228 kB
Slab:             140284 kB
SReclaimable:     113952 kB
SUnreclaim:        26332 kB
KernelStack:        3152 kB
PageTables:         4668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     323064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 61652 MiB
End job on node107 at 2017-08-16 00:39:38