Trace number 4246966

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
R1: choco-solver 4.0.5 (2017-07-05)OPT4 428.15302 108.371

General information on the benchmark

NameOpenStacks/OpenStacks-m2c-s1/
OpenStacks-m2c-wbo-15-30-1.xml
MD5SUM42e0d1a2247f38e5f07d6f797d7a9923
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark148.50999
Satisfiable
(Un)Satisfiability was proved
Number of variables540
Number of constraints511
Number of domains3
Minimum domain size2
Maximum domain size31
Distribution of domain sizes[{"size":2,"count":450},{"size":30,"count":60},{"size":31,"count":30}]
Minimum variable degree2
Maximum variable degree31
Distribution of variable degrees[{"degree":2,"count":480},{"degree":5,"count":30},{"degree":31,"count":30}]
Minimum constraint arity3
Maximum constraint arity30
Distribution of constraint arities[{"arity":3,"count":452},{"arity":4,"count":10},{"arity":5,"count":10},{"arity":6,"count":4},{"arity":7,"count":2},{"arity":8,"count":2},{"arity":16,"count":30},{"arity":30,"count":1}]
Number of extensional constraints450
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"minimum","count":15},{"type":"maximum","count":15}]
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.07	c java -server -Xmx10000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4246966-1502059924.xml"  -tl '2400s' -p 4 -x 0
0.00/0.29	c [HOME/instance-4246966-1502059924.xml, -tl, 2400s, -p, 4, -x, 0]
0.00/0.35	c 4 solvers in parallel
0.00/0.42	c parse instance...
3.77/1.84	c solve instance...
4.44/2.04	o 13 
4.79/2.10	o 12 
6.37/2.60	o 11 
6.80/2.66	o 10 
11.53/3.87	o 8 
16.31/5.03	o 7 
46.54/12.67	o 6 
76.01/20.03	o 5 
179.25/45.95	o 4 
427.95/108.36	s OPTIMUM FOUND
427.95/108.36	v <instantiation>
427.95/108.36	v 	<list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] min[0] min[1] min[2] min[3] min[4] min[5] min[6] min[7] min[8] min[9] min[10] min[11] min[12] min[13] min[14] max[0] max[1] max[2] max[3] max[4] max[5] max[6] max[7] max[8] max[9] max[10] max[11] max[12] max[13] max[14] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] </list>
427.95/108.36	v 	<values>29 6 8 7 11 28 22 10 16 20 9 18 2 3 5 21 25 19 12 17 0 15 13 24 14 1 27 23 4 26 14 12 5 22 22 15 19 2 8 18 25 26 0 0 4 17 21 11 27 24 21 25 18 12 29 29 28 4 7 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 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 0 1 1 1 1 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 3 3 4 4 4 4 4 4 4 4 4 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 3 2 </values>
427.95/108.36	v </instantiation>

Verifier Data 

OK	4

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246966-1502059924/watcher-4246966-1502059924 -o /tmp/evaluation-result-4246966-1502059924/solver-4246966-1502059924 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1652079742 HOME/instance-4246966-1502059924.xml 

pid=10558
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.42 8.47 8.31 5/204 10561
/proc/meminfo: memFree=30821076/32770624 swapFree=0/329592
[pid=10561] ppid=10558 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/10561/stat : 10561 (runsolver) D 10558 10561 25100 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 53807642 24240128 108 18446744073709551615 4194304 4338465 140729948741680 140729948739320 139681443177175 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 29933568 140729948745814 140729948746313 140729948746313 140729948749770 0
/proc/10561/statm: 5918 108 54 36 0 2156 0

[startup+0.101048 s]
/proc/loadavg: 8.42 8.47 8.31 5/204 10561
/proc/meminfo: memFree=30821076/32770624 swapFree=0/329592
[pid=10561] ppid=10558 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10561/stat : 10561 (xcsp3-exec) S 10558 10561 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53807642 9740288 345 18446744073709551615 4194304 5098028 140727016442000 140727016440104 140474885165692 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 33148928 140727016448408 140727016448618 140727016448618 140727016452075 0
/proc/10561/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200313 s]
/proc/loadavg: 8.42 8.47 8.31 5/204 10561
/proc/meminfo: memFree=30821076/32770624 swapFree=0/329592
[pid=10561] ppid=10558 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10561/stat : 10561 (xcsp3-exec) S 10558 10561 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53807642 9740288 345 18446744073709551615 4194304 5098028 140727016442000 140727016440104 140474885165692 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 33148928 140727016448408 140727016448618 140727016448618 140727016452075 0
/proc/10561/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300252 s]
/proc/loadavg: 8.42 8.47 8.31 5/204 10561
/proc/meminfo: memFree=30821076/32770624 swapFree=0/329592
[pid=10561] ppid=10558 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10561/stat : 10561 (xcsp3-exec) S 10558 10561 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53807642 9740288 345 18446744073709551615 4194304 5098028 140727016442000 140727016440104 140474885165692 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 33148928 140727016448408 140727016448618 140727016448618 140727016452075 0
/proc/10561/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.701009 s]
/proc/loadavg: 8.42 8.47 8.31 5/204 10561
/proc/meminfo: memFree=30821076/32770624 swapFree=0/329592
[pid=10561] ppid=10558 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10561/stat : 10561 (xcsp3-exec) S 10558 10561 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53807642 9740288 345 18446744073709551615 4194304 5098028 140727016442000 140727016440104 140474885165692 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 33148928 140727016448408 140727016448618 140727016448618 140727016452075 0
/proc/10561/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50065 s]
/proc/loadavg: 8.42 8.47 8.31 9/220 10577
/proc/meminfo: memFree=30685840/32770624 swapFree=0/329452
[pid=10561] ppid=10558 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10561/stat : 10561 (xcsp3-exec) S 10558 10561 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53807642 9740288 345 18446744073709551615 4194304 5098028 140727016442000 140727016440104 140474885165692 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 33148928 140727016448408 140727016448618 140727016448618 140727016452075 0
/proc/10561/statm: 2378 345 289 221 0 87 0
[pid=10563] ppid=10561 vsize=12919328 CPUtime=3.15 cores=0,2,4,6
/proc/10563/stat : 10563 (java) S 10561 10561 25100 0 -1 1077944320 22447 0 0 0 305 10 0 0 20 0 15 0 53807650 13229391872 50664 18446744073709551615 4194304 4196468 140723257048368 140723257030912 140023511314167 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
/proc/10563/statm: 3229832 50664 3217 1 0 3218124 0
[pid=10563/tid=10564] ppid=10561 vsize=12919328 CPUtime=1.31 cores=0,2,4,6
/proc/10563/task/10564/stat : 10564 (java) R 10561 10561 25100 0 -1 4202560 10068 0 0 0 126 5 0 0 20 0 15 0 53807650 13229391872 50664 18446744073709551615 4194304 4196468 140723257048368 140023515551664 140023135493984 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10565] ppid=10561 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10565/stat : 10565 (java) S 10561 10561 25100 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 53807651 13229391872 50664 18446744073709551615 4194304 4196468 140723257048368 140023454624528 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10566] ppid=10561 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10566/stat : 10566 (java) S 10561 10561 25100 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 53807651 13229391872 50664 18446744073709551615 4194304 4196468 140723257048368 140023453571984 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10567] ppid=10561 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10567/stat : 10567 (java) S 10561 10561 25100 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 15 0 53807651 13229391872 50664 18446744073709551615 4194304 4196468 140723257048368 140023452519440 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10568] ppid=10561 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10568/stat : 10568 (java) S 10561 10561 25100 0 -1 1077944384 352 0 0 0 0 0 0 0 20 0 15 0 53807651 13229391872 50664 18446744073709551615 4194304 4196468 140723257048368 140023451466896 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10569] ppid=10561 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10569/stat : 10569 (java) S 10561 10561 25100 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 53807652 13229391872 50664 18446744073709551615 4194304 4196468 140723257048368 140023062468592 140023511325314 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10570] ppid=10561 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10570/stat : 10570 (java) S 10561 10561 25100 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 53807653 13229391872 50664 18446744073709551615 4194304 4196468 140723257048368 140023061414816 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10571] ppid=10561 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10571/stat : 10571 (java) S 10561 10561 25100 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 53807653 13229391872 50664 18446744073709551615 4194304 4196468 140723257048368 140023060362224 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10572] ppid=10561 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10572/stat : 10572 (java) S 10561 10561 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53807655 13229391872 50664 18446744073709551615 4194304 4196468 140723257048368 140023059310800 140023511332763 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10573] ppid=10561 vsize=12919328 CPUtime=0.69 cores=0,2,4,6
/proc/10563/task/10573/stat : 10573 (java) R 10561 10561 25100 0 -1 4202560 3424 0 0 0 69 0 0 0 20 0 15 0 53807655 13229391872 50664 18446744073709551615 4194304 4196468 140723257048368 140023058258416 140023490552640 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10574] ppid=10561 vsize=12919328 CPUtime=0.59 cores=0,2,4,6
/proc/10563/task/10574/stat : 10574 (java) S 10561 10561 25100 0 -1 1077944384 2489 0 0 0 59 0 0 0 20 0 15 0 53807655 13229391872 50664 18446744073709551615 4194304 4196468 140723257048368 140023057205872 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10575] ppid=10561 vsize=12919328 CPUtime=0.46 cores=0,2,4,6
/proc/10563/task/10575/stat : 10575 (java) S 10561 10561 25100 0 -1 1077944384 3951 0 0 0 45 1 0 0 20 0 15 0 53807656 13229391872 50664 18446744073709551615 4194304 4196468 140723257048368 140023056153328 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10576] ppid=10561 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10576/stat : 10576 (java) S 10561 10561 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53807656 13229391872 50664 18446744073709551615 4194304 4196468 140723257048368 140023055101024 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10577] ppid=10561 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10577/stat : 10577 (java) S 10561 10561 25100 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 53807663 13229391872 50664 18446744073709551615 4194304 4196468 140723257048368 140023054047536 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 12928840

[startup+3.10102 s]
/proc/loadavg: 8.14 8.41 8.29 13/224 10589
/proc/meminfo: memFree=30590952/32770624 swapFree=0/329452
[pid=10561] ppid=10558 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10561/stat : 10561 (xcsp3-exec) S 10558 10561 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53807642 9740288 345 18446744073709551615 4194304 5098028 140727016442000 140727016440104 140474885165692 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 33148928 140727016448408 140727016448618 140727016448618 140727016452075 0
/proc/10561/statm: 2378 345 289 221 0 87 0
[pid=10563] ppid=10561 vsize=13185584 CPUtime=8.75 cores=0,2,4,6
/proc/10563/stat : 10563 (java) S 10561 10561 25100 0 -1 1077944320 26397 0 0 0 859 16 0 0 20 0 19 0 53807650 13502038016 62681 18446744073709551615 4194304 4196468 140723257048368 140723257030912 140023511314167 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
/proc/10563/statm: 3296396 62681 3237 1 0 3284688 0
[pid=10563/tid=10564] ppid=10561 vsize=13185584 CPUtime=1.63 cores=0,2,4,6
/proc/10563/task/10564/stat : 10564 (java) S 10561 10561 25100 0 -1 1077944384 10441 0 0 0 158 5 0 0 20 0 19 0 53807650 13502038016 62681 18446744073709551615 4194304 4196468 140723257048368 140023515554944 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10565] ppid=10561 vsize=13185584 CPUtime=0.03 cores=0,2,4,6
/proc/10563/task/10565/stat : 10565 (java) S 10561 10561 25100 0 -1 1077944384 295 0 0 0 2 1 0 0 20 0 19 0 53807651 13502038016 62681 18446744073709551615 4194304 4196468 140723257048368 140023454624528 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10566] ppid=10561 vsize=13185584 CPUtime=0.04 cores=0,2,4,6
/proc/10563/task/10566/stat : 10566 (java) S 10561 10561 25100 0 -1 1077944384 161 0 0 0 3 1 0 0 20 0 19 0 53807651 13502038016 62681 18446744073709551615 4194304 4196468 140723257048368 140023453571984 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10567] ppid=10561 vsize=13185584 CPUtime=0.03 cores=0,2,4,6
/proc/10563/task/10567/stat : 10567 (java) S 10561 10561 25100 0 -1 1077944384 114 0 0 0 2 1 0 0 20 0 19 0 53807651 13502038016 62681 18446744073709551615 4194304 4196468 140723257048368 140023452519440 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10568] ppid=10561 vsize=13185584 CPUtime=0.04 cores=0,2,4,6
/proc/10563/task/10568/stat : 10568 (java) S 10561 10561 25100 0 -1 1077944384 380 0 0 0 3 1 0 0 20 0 19 0 53807651 13502038016 62681 18446744073709551615 4194304 4196468 140723257048368 140023451466896 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10569] ppid=10561 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10569/stat : 10569 (java) S 10561 10561 25100 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 19 0 53807652 13502038016 62681 18446744073709551615 4194304 4196468 140723257048368 140023062468592 140023511325314 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10570] ppid=10561 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10570/stat : 10570 (java) S 10561 10561 25100 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 53807653 13502038016 62681 18446744073709551615 4194304 4196468 140723257048368 140023061414880 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10571] ppid=10561 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10571/stat : 10571 (java) S 10561 10561 25100 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 53807653 13502038016 62681 18446744073709551615 4194304 4196468 140723257048368 140023060362240 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10572] ppid=10561 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10572/stat : 10572 (java) S 10561 10561 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53807655 13502038016 62681 18446744073709551615 4194304 4196468 140723257048368 140023059310800 140023511332763 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10573] ppid=10561 vsize=13185584 CPUtime=1.72 cores=0,2,4,6
/proc/10563/task/10573/stat : 10573 (java) R 10561 10561 25100 0 -1 4202560 3667 0 0 0 172 0 0 0 20 0 19 0 53807655 13502038016 62681 18446744073709551615 4194304 4196468 140723257048368 140023058244960 140023492835371 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10574] ppid=10561 vsize=13185584 CPUtime=1.64 cores=0,2,4,6
/proc/10563/task/10574/stat : 10574 (java) R 10561 10561 25100 0 -1 4202560 4085 0 0 0 164 0 0 0 20 0 19 0 53807655 13502038016 62681 18446744073709551615 4194304 4196468 140723257048368 140023057192096 140023494700786 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10575] ppid=10561 vsize=13185584 CPUtime=0.75 cores=0,2,4,6
/proc/10563/task/10575/stat : 10575 (java) S 10561 10561 25100 0 -1 1077944384 4993 0 0 0 74 1 0 0 20 0 19 0 53807656 13502038016 62681 18446744073709551615 4194304 4196468 140723257048368 140023056153328 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10576] ppid=10561 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10576/stat : 10576 (java) S 10561 10561 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53807656 13502038016 62681 18446744073709551615 4194304 4196468 140723257048368 140023055101024 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10577] ppid=10561 vsize=13185584 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10577/stat : 10577 (java) S 10561 10561 25100 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 53807663 13502038016 62681 18446744073709551615 4194304 4196468 140723257048368 140023054047536 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
Current children cumulated CPU time (s) 8.75
Current children cumulated vsize (KiB) 13195096

[startup+6.30101 s]
/proc/loadavg: 8.14 8.41 8.29 10/224 10605
/proc/meminfo: memFree=30510264/32770624 swapFree=0/329448
[pid=10561] ppid=10558 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10561/stat : 10561 (xcsp3-exec) S 10558 10561 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53807642 9740288 345 18446744073709551615 4194304 5098028 140727016442000 140727016440104 140474885165692 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 33148928 140727016448408 140727016448618 140727016448618 140727016452075 0
/proc/10561/statm: 2378 345 289 221 0 87 0
[pid=10563] ppid=10561 vsize=13186612 CPUtime=21.46 cores=0,2,4,6
/proc/10563/stat : 10563 (java) S 10561 10561 25100 0 -1 1077944320 32169 0 0 0 2127 19 0 0 20 0 19 0 53807650 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140723257030912 140023511314167 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
/proc/10563/statm: 3296653 84263 3259 1 0 3284945 0
[pid=10563/tid=10564] ppid=10561 vsize=13186612 CPUtime=1.64 cores=0,2,4,6
/proc/10563/task/10564/stat : 10564 (java) S 10561 10561 25100 0 -1 1077944384 10445 0 0 0 159 5 0 0 20 0 19 0 53807650 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140023515554944 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10565] ppid=10561 vsize=13186612 CPUtime=0.03 cores=0,2,4,6
/proc/10563/task/10565/stat : 10565 (java) S 10561 10561 25100 0 -1 1077944384 295 0 0 0 2 1 0 0 20 0 19 0 53807651 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140023454624528 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10566] ppid=10561 vsize=13186612 CPUtime=0.04 cores=0,2,4,6
/proc/10563/task/10566/stat : 10566 (java) S 10561 10561 25100 0 -1 1077944384 161 0 0 0 3 1 0 0 20 0 19 0 53807651 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140023453571984 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10567] ppid=10561 vsize=13186612 CPUtime=0.03 cores=0,2,4,6
/proc/10563/task/10567/stat : 10567 (java) S 10561 10561 25100 0 -1 1077944384 114 0 0 0 2 1 0 0 20 0 19 0 53807651 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140023452519440 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10568] ppid=10561 vsize=13186612 CPUtime=0.04 cores=0,2,4,6
/proc/10563/task/10568/stat : 10568 (java) S 10561 10561 25100 0 -1 1077944384 380 0 0 0 3 1 0 0 20 0 19 0 53807651 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140023451466896 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10569] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10569/stat : 10569 (java) S 10561 10561 25100 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 19 0 53807652 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140023062468592 140023511325314 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10570] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10570/stat : 10570 (java) S 10561 10561 25100 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 53807653 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140023061414880 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10571] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10571/stat : 10571 (java) S 10561 10561 25100 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 53807653 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140023060362240 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10572] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10572/stat : 10572 (java) S 10561 10561 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53807655 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140023059310800 140023511332763 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10573] ppid=10561 vsize=13186612 CPUtime=2.86 cores=0,2,4,6
/proc/10563/task/10573/stat : 10573 (java) R 10561 10561 25100 0 -1 4202560 5250 0 0 0 285 1 0 0 20 0 19 0 53807655 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140023058246064 140023494800219 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10574] ppid=10561 vsize=13186612 CPUtime=2.87 cores=0,2,4,6
/proc/10563/task/10574/stat : 10574 (java) R 10561 10561 25100 0 -1 4202560 6731 0 0 0 286 1 0 0 20 0 19 0 53807655 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140023057192416 140023492836503 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10575] ppid=10561 vsize=13186612 CPUtime=0.9 cores=0,2,4,6
/proc/10563/task/10575/stat : 10575 (java) S 10561 10561 25100 0 -1 1077944384 5411 0 0 0 89 1 0 0 20 0 19 0 53807656 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140023056153328 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10576] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10576/stat : 10576 (java) S 10561 10561 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53807656 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140023055101024 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10577] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10577/stat : 10577 (java) S 10561 10561 25100 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 53807663 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140023054047536 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10602] ppid=10561 vsize=13186612 CPUtime=1.04 cores=0,2,4,6
/proc/10563/task/10602/stat : 10602 (java) R 10561 10561 25100 0 -1 4202560 79 0 0 0 104 0 0 0 20 0 19 0 53808146 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140022973959720 140023138337328 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10603] ppid=10561 vsize=13186612 CPUtime=1.19 cores=0,2,4,6
/proc/10563/task/10603/stat : 10603 (java) R 10561 10561 25100 0 -1 4202560 178 0 0 0 119 0 0 0 20 0 19 0 53808146 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140022977120120 140023137400932 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10604] ppid=10561 vsize=13186612 CPUtime=1.18 cores=0,2,4,6
/proc/10563/task/10604/stat : 10604 (java) R 10561 10561 25100 0 -1 4202560 304 0 0 0 118 0 0 0 20 0 19 0 53808146 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140022978173224 140023137400741 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10605] ppid=10561 vsize=13186612 CPUtime=1.12 cores=0,2,4,6
/proc/10563/task/10605/stat : 10605 (java) R 10561 10561 25100 0 -1 4202560 270 0 0 0 112 0 0 0 20 0 19 0 53808146 13503090688 84263 18446744073709551615 4194304 4196468 140723257048368 140022975013096 140023137400918 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
Current children cumulated CPU time (s) 21.46
Current children cumulated vsize (KiB) 13196124

[startup+12.701 s]
/proc/loadavg: 8.27 8.43 8.30 10/224 10605
/proc/meminfo: memFree=30440960/32770624 swapFree=0/329448
[pid=10561] ppid=10558 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10561/stat : 10561 (xcsp3-exec) S 10558 10561 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53807642 9740288 345 18446744073709551615 4194304 5098028 140727016442000 140727016440104 140474885165692 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 33148928 140727016448408 140727016448618 140727016448618 140727016452075 0
/proc/10561/statm: 2378 345 289 221 0 87 0
[pid=10563] ppid=10561 vsize=13186612 CPUtime=46.91 cores=0,2,4,6

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

/proc/10563/task/10571/stat : 10571 (java) S 10561 10561 25100 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 53807653 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023060362240 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10572] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10572/stat : 10572 (java) S 10561 10561 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53807655 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023059310800 140023511332763 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10573] ppid=10561 vsize=13186612 CPUtime=3.84 cores=0,2,4,6
/proc/10563/task/10573/stat : 10573 (java) S 10561 10561 25100 0 -1 1077944384 18774 0 0 0 383 1 0 0 20 0 19 0 53807655 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023058258416 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10574] ppid=10561 vsize=13186612 CPUtime=4.03 cores=0,2,4,6
/proc/10563/task/10574/stat : 10574 (java) S 10561 10561 25100 0 -1 1077944384 25262 0 0 0 401 2 0 0 20 0 19 0 53807655 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023057205872 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10575] ppid=10561 vsize=13186612 CPUtime=1.01 cores=0,2,4,6
/proc/10563/task/10575/stat : 10575 (java) S 10561 10561 25100 0 -1 1077944384 12063 0 0 0 99 2 0 0 20 0 19 0 53807656 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023056153328 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10576] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10576/stat : 10576 (java) S 10561 10561 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53807656 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023055101024 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10577] ppid=10561 vsize=13186612 CPUtime=0.04 cores=0,2,4,6
/proc/10563/task/10577/stat : 10577 (java) S 10561 10561 25100 0 -1 1077944384 1317 0 0 0 4 0 0 0 20 0 19 0 53807663 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023054047536 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10615] ppid=10561 vsize=13186612 CPUtime=60.54 cores=0,2,4,6
/proc/10563/task/10615/stat : 10615 (java) R 10561 10561 25100 0 -1 4202560 997 0 0 0 6054 0 0 0 20 0 19 0 53812238 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140022978170264 140023137836154 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10616] ppid=10561 vsize=13186612 CPUtime=60.67 cores=0,2,4,6
/proc/10563/task/10616/stat : 10616 (java) R 10561 10561 25100 0 -1 4202560 1893 0 0 0 6067 0 0 0 20 0 19 0 53812238 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140022975013280 140023138336297 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10617] ppid=10561 vsize=13186612 CPUtime=60.93 cores=0,2,4,6
/proc/10563/task/10617/stat : 10617 (java) R 10561 10561 25100 0 -1 4202560 2693 0 0 0 6091 2 0 0 20 0 19 0 53812238 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140022973961112 140023137400876 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10618] ppid=10561 vsize=13186612 CPUtime=61.15 cores=0,2,4,6
/proc/10563/task/10618/stat : 10618 (java) R 10561 10561 25100 0 -1 4202560 606 0 0 0 6115 0 0 0 20 0 19 0 53812238 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140022977117768 140023137400952 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
Current children cumulated CPU time (s) 423.57
Current children cumulated vsize (KiB) 13196124

[startup+108.001 s]
/proc/loadavg: 8.18 8.37 8.29 5/200 10670
/proc/meminfo: memFree=30837016/32770624 swapFree=0/329496
[pid=10561] ppid=10558 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10561/stat : 10561 (xcsp3-exec) S 10558 10561 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53807642 9740288 345 18446744073709551615 4194304 5098028 140727016442000 140727016440104 140474885165692 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 33148928 140727016448408 140727016448618 140727016448618 140727016452075 0
/proc/10561/statm: 2378 345 289 221 0 87 0
[pid=10563] ppid=10561 vsize=13186612 CPUtime=426.75 cores=0,2,4,6
/proc/10563/stat : 10563 (java) S 10561 10561 25100 0 -1 1077944320 94775 0 0 0 42635 40 0 0 20 0 19 0 53807650 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140723257030912 140023511314167 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
/proc/10563/statm: 3296653 169945 3266 1 0 3284945 0
[pid=10563/tid=10564] ppid=10561 vsize=13186612 CPUtime=1.64 cores=0,2,4,6
/proc/10563/task/10564/stat : 10564 (java) S 10561 10561 25100 0 -1 1077944384 11006 0 0 0 159 5 0 0 20 0 19 0 53807650 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023515554944 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10565] ppid=10561 vsize=13186612 CPUtime=0.11 cores=0,2,4,6
/proc/10563/task/10565/stat : 10565 (java) S 10561 10561 25100 0 -1 1077944384 1191 0 0 0 7 4 0 0 20 0 19 0 53807651 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023454624528 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10566] ppid=10561 vsize=13186612 CPUtime=0.11 cores=0,2,4,6
/proc/10563/task/10566/stat : 10566 (java) S 10561 10561 25100 0 -1 1077944384 1989 0 0 0 7 4 0 0 20 0 19 0 53807651 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023453571984 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10567] ppid=10561 vsize=13186612 CPUtime=0.11 cores=0,2,4,6
/proc/10563/task/10567/stat : 10567 (java) S 10561 10561 25100 0 -1 1077944384 370 0 0 0 7 4 0 0 20 0 19 0 53807651 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023452519440 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10568] ppid=10561 vsize=13186612 CPUtime=0.12 cores=0,2,4,6
/proc/10563/task/10568/stat : 10568 (java) S 10561 10561 25100 0 -1 1077944384 2233 0 0 0 7 5 0 0 20 0 19 0 53807651 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023451466896 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10569] ppid=10561 vsize=13186612 CPUtime=0.01 cores=0,2,4,6
/proc/10563/task/10569/stat : 10569 (java) S 10561 10561 25100 0 -1 1077944384 2159 0 0 0 1 0 0 0 20 0 19 0 53807652 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023062468592 140023511325314 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10570] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10570/stat : 10570 (java) S 10561 10561 25100 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 53807653 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023061414880 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10571] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10571/stat : 10571 (java) S 10561 10561 25100 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 53807653 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023060362240 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10572] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10572/stat : 10572 (java) S 10561 10561 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53807655 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023059310800 140023511332763 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10573] ppid=10561 vsize=13186612 CPUtime=3.84 cores=0,2,4,6
/proc/10563/task/10573/stat : 10573 (java) S 10561 10561 25100 0 -1 1077944384 18774 0 0 0 383 1 0 0 20 0 19 0 53807655 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023058258416 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10574] ppid=10561 vsize=13186612 CPUtime=4.03 cores=0,2,4,6
/proc/10563/task/10574/stat : 10574 (java) S 10561 10561 25100 0 -1 1077944384 25262 0 0 0 401 2 0 0 20 0 19 0 53807655 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023057205872 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10575] ppid=10561 vsize=13186612 CPUtime=1.01 cores=0,2,4,6
/proc/10563/task/10575/stat : 10575 (java) S 10561 10561 25100 0 -1 1077944384 12063 0 0 0 99 2 0 0 20 0 19 0 53807656 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023056153328 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10576] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10576/stat : 10576 (java) S 10561 10561 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53807656 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023055101024 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10577] ppid=10561 vsize=13186612 CPUtime=0.04 cores=0,2,4,6
/proc/10563/task/10577/stat : 10577 (java) S 10561 10561 25100 0 -1 1077944384 1317 0 0 0 4 0 0 0 20 0 19 0 53807663 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023054047536 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10615] ppid=10561 vsize=13186612 CPUtime=61.32 cores=0,2,4,6
/proc/10563/task/10615/stat : 10615 (java) R 10561 10561 25100 0 -1 4202560 999 0 0 0 6132 0 0 0 20 0 19 0 53812238 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140022978170264 140023137400949 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10616] ppid=10561 vsize=13186612 CPUtime=61.47 cores=0,2,4,6
/proc/10563/task/10616/stat : 10616 (java) R 10561 10561 25100 0 -1 4202560 1894 0 0 0 6147 0 0 0 20 0 19 0 53812238 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140022975013280 140023138338283 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10617] ppid=10561 vsize=13186612 CPUtime=61.73 cores=0,2,4,6
/proc/10563/task/10617/stat : 10617 (java) R 10561 10561 25100 0 -1 4202560 2695 0 0 0 6170 3 0 0 20 0 19 0 53812238 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140022973961112 140023138452221 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10618] ppid=10561 vsize=13186612 CPUtime=61.94 cores=0,2,4,6
/proc/10563/task/10618/stat : 10618 (java) R 10561 10561 25100 0 -1 4202560 607 0 0 0 6194 0 0 0 20 0 19 0 53812238 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140022977117768 140023137400932 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
Current children cumulated CPU time (s) 426.75
Current children cumulated vsize (KiB) 13196124

[startup+108.201 s]
/proc/loadavg: 8.18 8.37 8.29 5/200 10670
/proc/meminfo: memFree=30837016/32770624 swapFree=0/329496
[pid=10561] ppid=10558 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10561/stat : 10561 (xcsp3-exec) S 10558 10561 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53807642 9740288 345 18446744073709551615 4194304 5098028 140727016442000 140727016440104 140474885165692 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 33148928 140727016448408 140727016448618 140727016448618 140727016452075 0
/proc/10561/statm: 2378 345 289 221 0 87 0
[pid=10563] ppid=10561 vsize=13186612 CPUtime=427.55 cores=0,2,4,6
/proc/10563/stat : 10563 (java) S 10561 10561 25100 0 -1 1077944320 94777 0 0 0 42715 40 0 0 20 0 19 0 53807650 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140723257030912 140023511314167 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
/proc/10563/statm: 3296653 169945 3266 1 0 3284945 0
[pid=10563/tid=10564] ppid=10561 vsize=13186612 CPUtime=1.64 cores=0,2,4,6
/proc/10563/task/10564/stat : 10564 (java) S 10561 10561 25100 0 -1 1077944384 11006 0 0 0 159 5 0 0 20 0 19 0 53807650 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023515554944 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10565] ppid=10561 vsize=13186612 CPUtime=0.11 cores=0,2,4,6
/proc/10563/task/10565/stat : 10565 (java) S 10561 10561 25100 0 -1 1077944384 1191 0 0 0 7 4 0 0 20 0 19 0 53807651 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023454624528 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10566] ppid=10561 vsize=13186612 CPUtime=0.11 cores=0,2,4,6
/proc/10563/task/10566/stat : 10566 (java) S 10561 10561 25100 0 -1 1077944384 1989 0 0 0 7 4 0 0 20 0 19 0 53807651 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023453571984 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10567] ppid=10561 vsize=13186612 CPUtime=0.11 cores=0,2,4,6
/proc/10563/task/10567/stat : 10567 (java) S 10561 10561 25100 0 -1 1077944384 370 0 0 0 7 4 0 0 20 0 19 0 53807651 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023452519440 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10568] ppid=10561 vsize=13186612 CPUtime=0.12 cores=0,2,4,6
/proc/10563/task/10568/stat : 10568 (java) S 10561 10561 25100 0 -1 1077944384 2233 0 0 0 7 5 0 0 20 0 19 0 53807651 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023451466896 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10569] ppid=10561 vsize=13186612 CPUtime=0.01 cores=0,2,4,6
/proc/10563/task/10569/stat : 10569 (java) S 10561 10561 25100 0 -1 1077944384 2159 0 0 0 1 0 0 0 20 0 19 0 53807652 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023062468592 140023511325314 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10570] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10570/stat : 10570 (java) S 10561 10561 25100 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 53807653 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023061414880 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10571] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10571/stat : 10571 (java) S 10561 10561 25100 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 53807653 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023060362240 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10572] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10572/stat : 10572 (java) S 10561 10561 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53807655 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023059310800 140023511332763 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10573] ppid=10561 vsize=13186612 CPUtime=3.84 cores=0,2,4,6
/proc/10563/task/10573/stat : 10573 (java) S 10561 10561 25100 0 -1 1077944384 18774 0 0 0 383 1 0 0 20 0 19 0 53807655 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023058258416 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10574] ppid=10561 vsize=13186612 CPUtime=4.03 cores=0,2,4,6
/proc/10563/task/10574/stat : 10574 (java) S 10561 10561 25100 0 -1 1077944384 25262 0 0 0 401 2 0 0 20 0 19 0 53807655 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023057205872 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10575] ppid=10561 vsize=13186612 CPUtime=1.01 cores=0,2,4,6
/proc/10563/task/10575/stat : 10575 (java) S 10561 10561 25100 0 -1 1077944384 12063 0 0 0 99 2 0 0 20 0 19 0 53807656 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023056153328 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10576] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10576/stat : 10576 (java) S 10561 10561 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53807656 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023055101024 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10577] ppid=10561 vsize=13186612 CPUtime=0.04 cores=0,2,4,6
/proc/10563/task/10577/stat : 10577 (java) S 10561 10561 25100 0 -1 1077944384 1317 0 0 0 4 0 0 0 20 0 19 0 53807663 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023054047536 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10615] ppid=10561 vsize=13186612 CPUtime=61.52 cores=0,2,4,6
/proc/10563/task/10615/stat : 10615 (java) R 10561 10561 25100 0 -1 4202560 999 0 0 0 6152 0 0 0 20 0 19 0 53812238 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140022978170264 140023137400932 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10616] ppid=10561 vsize=13186612 CPUtime=61.67 cores=0,2,4,6
/proc/10563/task/10616/stat : 10616 (java) R 10561 10561 25100 0 -1 4202560 1896 0 0 0 6167 0 0 0 20 0 19 0 53812238 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140022975013280 140023137400528 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10617] ppid=10561 vsize=13186612 CPUtime=61.93 cores=0,2,4,6
/proc/10563/task/10617/stat : 10617 (java) R 10561 10561 25100 0 -1 4202560 2695 0 0 0 6190 3 0 0 20 0 19 0 53812238 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140022973961112 140023141510470 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10618] ppid=10561 vsize=13186612 CPUtime=62.14 cores=0,2,4,6
/proc/10563/task/10618/stat : 10618 (java) R 10561 10561 25100 0 -1 4202560 607 0 0 0 6214 0 0 0 20 0 19 0 53812238 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140022977117768 140023137400812 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
Current children cumulated CPU time (s) 427.55
Current children cumulated vsize (KiB) 13196124

[startup+108.301 s]
/proc/loadavg: 8.18 8.37 8.29 5/200 10670
/proc/meminfo: memFree=30837016/32770624 swapFree=0/329496
[pid=10561] ppid=10558 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10561/stat : 10561 (xcsp3-exec) S 10558 10561 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53807642 9740288 345 18446744073709551615 4194304 5098028 140727016442000 140727016440104 140474885165692 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 33148928 140727016448408 140727016448618 140727016448618 140727016452075 0
/proc/10561/statm: 2378 345 289 221 0 87 0
[pid=10563] ppid=10561 vsize=13186612 CPUtime=427.95 cores=0,2,4,6
/proc/10563/stat : 10563 (java) S 10561 10561 25100 0 -1 1077944320 94777 0 0 0 42755 40 0 0 20 0 19 0 53807650 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140723257030912 140023511314167 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
/proc/10563/statm: 3296653 169945 3266 1 0 3284945 0
[pid=10563/tid=10564] ppid=10561 vsize=13186612 CPUtime=1.64 cores=0,2,4,6
/proc/10563/task/10564/stat : 10564 (java) S 10561 10561 25100 0 -1 1077944384 11006 0 0 0 159 5 0 0 20 0 19 0 53807650 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023515554944 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10565] ppid=10561 vsize=13186612 CPUtime=0.11 cores=0,2,4,6
/proc/10563/task/10565/stat : 10565 (java) S 10561 10561 25100 0 -1 1077944384 1191 0 0 0 7 4 0 0 20 0 19 0 53807651 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023454624528 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10566] ppid=10561 vsize=13186612 CPUtime=0.11 cores=0,2,4,6
/proc/10563/task/10566/stat : 10566 (java) S 10561 10561 25100 0 -1 1077944384 1989 0 0 0 7 4 0 0 20 0 19 0 53807651 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023453571984 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10567] ppid=10561 vsize=13186612 CPUtime=0.11 cores=0,2,4,6
/proc/10563/task/10567/stat : 10567 (java) S 10561 10561 25100 0 -1 1077944384 370 0 0 0 7 4 0 0 20 0 19 0 53807651 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023452519440 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10568] ppid=10561 vsize=13186612 CPUtime=0.12 cores=0,2,4,6
/proc/10563/task/10568/stat : 10568 (java) S 10561 10561 25100 0 -1 1077944384 2233 0 0 0 7 5 0 0 20 0 19 0 53807651 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023451466896 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10569] ppid=10561 vsize=13186612 CPUtime=0.01 cores=0,2,4,6
/proc/10563/task/10569/stat : 10569 (java) S 10561 10561 25100 0 -1 1077944384 2159 0 0 0 1 0 0 0 20 0 19 0 53807652 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023062468592 140023511325314 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10570] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10570/stat : 10570 (java) S 10561 10561 25100 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 53807653 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023061414880 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10571] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10571/stat : 10571 (java) S 10561 10561 25100 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 53807653 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023060362240 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10572] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10572/stat : 10572 (java) S 10561 10561 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53807655 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023059310800 140023511332763 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10573] ppid=10561 vsize=13186612 CPUtime=3.84 cores=0,2,4,6
/proc/10563/task/10573/stat : 10573 (java) S 10561 10561 25100 0 -1 1077944384 18774 0 0 0 383 1 0 0 20 0 19 0 53807655 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023058258416 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10574] ppid=10561 vsize=13186612 CPUtime=4.03 cores=0,2,4,6
/proc/10563/task/10574/stat : 10574 (java) S 10561 10561 25100 0 -1 1077944384 25262 0 0 0 401 2 0 0 20 0 19 0 53807655 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023057205872 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10575] ppid=10561 vsize=13186612 CPUtime=1.01 cores=0,2,4,6
/proc/10563/task/10575/stat : 10575 (java) S 10561 10561 25100 0 -1 1077944384 12063 0 0 0 99 2 0 0 20 0 19 0 53807656 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023056153328 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10576] ppid=10561 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10563/task/10576/stat : 10576 (java) S 10561 10561 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53807656 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023055101024 140023511324373 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10577] ppid=10561 vsize=13186612 CPUtime=0.04 cores=0,2,4,6
/proc/10563/task/10577/stat : 10577 (java) S 10561 10561 25100 0 -1 1077944384 1317 0 0 0 4 0 0 0 20 0 19 0 53807663 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140023054047536 140023511325314 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10615] ppid=10561 vsize=13186612 CPUtime=61.62 cores=0,2,4,6
/proc/10563/task/10615/stat : 10615 (java) R 10561 10561 25100 0 -1 4202560 999 0 0 0 6162 0 0 0 20 0 19 0 53812238 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140022978170264 140023140818571 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10616] ppid=10561 vsize=13186612 CPUtime=61.77 cores=0,2,4,6
/proc/10563/task/10616/stat : 10616 (java) R 10561 10561 25100 0 -1 4202560 1896 0 0 0 6177 0 0 0 20 0 19 0 53812238 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140022975013280 140023138338074 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10617] ppid=10561 vsize=13186612 CPUtime=62.03 cores=0,2,4,6
/proc/10563/task/10617/stat : 10617 (java) R 10561 10561 25100 0 -1 4202560 2695 0 0 0 6200 3 0 0 20 0 19 0 53812238 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140022973961112 140023138336264 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
[pid=10563/tid=10618] ppid=10561 vsize=13186612 CPUtime=62.24 cores=0,2,4,6
/proc/10563/task/10618/stat : 10618 (java) R 10561 10561 25100 0 -1 4202560 607 0 0 0 6224 0 0 0 20 0 19 0 53812238 13503090688 169945 18446744073709551615 4194304 4196468 140723257048368 140022977117768 140023138339576 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24739840 140723257049558 140723257049734 140723257049734 140723257053135 0
Current children cumulated CPU time (s) 427.95
Current children cumulated vsize (KiB) 13196124

Child status: 0
Real time (s): 108.371
CPU time (s): 428.153
CPU user time (s): 427.74
CPU system time (s): 0.412525
CPU usage (%): 395.081
Max. virtual memory (cumulated for all children) (KiB): 13196124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 427.74
system time used= 0.412525
maximum resident set size= 679784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95899
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6135
involuntary context switches= 8200

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.54909 second user time and 0.818819 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-07 00:37:57
IDJOB=4246966
IDBENCH=140523
IDSOLVER=2625
FILE ID=node133/4246966-1502059924
RUNJOBID= node133-1502042263-31898
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m2c-s1/OpenStacks-m2c-wbo-15-30-1.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246966-1502059924/watcher-4246966-1502059924 -o /tmp/evaluation-result-4246966-1502059924/solver-4246966-1502059924 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1652079742 HOME/instance-4246966-1502059924.xml

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

MD5SUM BENCH= 42e0d1a2247f38e5f07d6f797d7a9923
RANDOM SEED=1652079742

node133.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.17
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.17
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.17
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.17
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:        30821156 kB
MemAvailable:   31317156 kB
Buffers:          205824 kB
Cached:           581304 kB
SwapCached:            0 kB
Active:          1172200 kB
Inactive:         354772 kB
Active(anon):     739900 kB
Inactive(anon):    24920 kB
Active(file):     432300 kB
Inactive(file):   329852 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8108 kB
Writeback:             8 kB
AnonPages:        738900 kB
Mapped:            52240 kB
Shmem:             25276 kB
Slab:             125992 kB
SReclaimable:      99364 kB
SUnreclaim:        26628 kB
KernelStack:        3600 kB
PageTables:         6764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2151664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    612352 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62016 MiB
End job on node133 at 2017-08-07 00:39:45