Trace number 4399813

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 2019-09-16 parallelOPT3 25.9211 3.8699

General information on the benchmark

NameOpd/Opd-sum-large/
Opd-15-035-010.xml
MD5SUMb4ffb396ba331e6a6f6e6b1bc4ae482f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark6.18633
Satisfiable
(Un)Satisfiability was proved
Number of variables526
Number of constraints121
Number of domains2
Minimum domain size2
Maximum domain size33
Distribution of domain sizes[{"size":2,"count":525},{"size":33,"count":1}]
Minimum variable degree16
Maximum variable degree106
Distribution of variable degrees[{"degree":16,"count":525},{"degree":106,"count":1}]
Minimum constraint arity35
Maximum constraint arity525
Distribution of constraint arities[{"arity":35,"count":15},{"arity":71,"count":105},{"arity":525,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":120}]
Optimization problemYES
Type of objectivemin VAR

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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399813-1568702555.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.19	c [HOME/instance-4399813-1568702555.xml, -tl, 20160s, -p, 8]
0.33/0.23	c 8 solvers in parallel
0.33/0.29	c parse instance...
2.15/0.86	c solve instance...
11.32/2.04	o 6 
12.78/2.24	o 5 
13.54/2.32	o 4 
25.52/3.85	o 3 
25.52/3.86	s OPTIMUM FOUND
25.52/3.86	v <instantiation>
25.52/3.86	v 	<list>z 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[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] 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[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] 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[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] 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[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] 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[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] 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[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] 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[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] 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[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] 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[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] 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[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] 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[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] 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[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] 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[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] 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[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] 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[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] </list>
25.52/3.86	v 	<values>3 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 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 </values>
25.52/3.86	v </instantiation>

Verifier Data 

OK	3

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399813-1568702555/watcher-4399813-1568702555 -o /tmp/evaluation-result-4399813-1568702555/solver-4399813-1568702555 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568702487-27624 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 284686823 HOME/instance-4399813-1568702555.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=27738, runsolver pid=27735


[startup+0.100108 s]*
/proc/loadavg: 1.13 1.05 1.64 3/212 27759
/proc/meminfo: memFree=30899208/32770624 swapFree=66922436/67108860
[pid=27738] ppid=27735 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/27738/stat : 27738 (xcsp3-exec) S 27735 27738 27597 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446193341 115843072 364 33554432000 4194304 5098028 140721013241408 140721013239512 140222955811452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22818816 140721013248886 140721013249129 140721013249129 140721013252042 0
/proc/27738/statm: 28282 364 305 221 0 87 0
[pid=27740] ppid=27738 vsize=28227396 memory=30224 CPUtime=0.12 cores=0-7
/proc/27740/stat : 27740 (java) S 27738 27738 27597 0 -1 1077944320 6026 0 0 0 11 1 0 0 20 0 20 0 446193341 28904853504 7556 33554432000 4194304 4196468 140730928938080 140730928920624 140354938449655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
/proc/27740/statm: 7056849 7556 3120 1 0 7019032 0
[pid=27740/tid=27741] ppid=27738 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/27740/task/27741/stat : 27741 (java) R 27738 27738 27597 0 -1 4202560 3936 0 0 0 8 1 0 0 20 0 20 0 446193341 28904853504 7556 33554432000 4194304 4196468 140730928938080 140354942670464 140354938461590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27742] ppid=27738 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/27740/task/27742/stat : 27742 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193342 28904853504 7556 33554432000 4194304 4196468 140730928938080 140354489539216 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27743] ppid=27738 vsize=28227396 memory=139684714604160 CPUtime=0 cores=0-7
/proc/27740/task/27743/stat : 27743 (java) S 27738 27738 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446193342 28904853504 7556 33554432000 4194304 4196468 140730928938080 140354488486416 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27744] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27744/stat : 27744 (java) S 27738 27738 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446193342 28904853504 7556 33554432000 4194304 4196468 140730928938080 140354487433616 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27745] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27745/stat : 27745 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193342 28904853504 7556 33554432000 4194304 4196468 140730928938080 140354486380816 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27746] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27746/stat : 27746 (java) S 27738 27738 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446193342 28904853504 7556 33554432000 4194304 4196468 140730928938080 140354485329040 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27747] ppid=27738 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27740/task/27747/stat : 27747 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193342 28904853504 7556 33554432000 4194304 4196468 140730928938080 140354484276240 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27748] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27748/stat : 27748 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193342 28904853504 7556 33554432000 4194304 4196468 140730928938080 140354483223440 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27749] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27749/stat : 27749 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193342 28904853504 7556 33554432000 4194304 4196468 140730928938080 140354482170640 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27750] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27750/stat : 27750 (java) S 27738 27738 27597 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 446193344 28904853504 7556 33554432000 4194304 4196468 140730928938080 140354439502192 140354938460802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27751] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27751/stat : 27751 (java) S 27738 27738 27597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446193344 28904853504 7556 33554432000 4194304 4196468 140730928938080 140354438448160 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27752] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27752/stat : 27752 (java) S 27738 27738 27597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446193345 28904853504 7556 33554432000 4194304 4196468 140730928938080 140354437395312 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27753] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27753/stat : 27753 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193347 28904853504 7556 33554432000 4194304 4196468 140730928938080 140354436343632 140354938468251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27754] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27754/stat : 27754 (java) S 27738 27738 27597 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 446193347 28904853504 7556 33554432000 4194304 4196468 140730928938080 140354435292016 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27755] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27755/stat : 27755 (java) S 27738 27738 27597 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 446193347 28904853504 7556 33554432000 4194304 4196468 140730928938080 140354434239216 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27756] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27756/stat : 27756 (java) S 27738 27738 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446193347 28904853504 7556 33554432000 4194304 4196468 140730928938080 140354433186416 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27757] ppid=27738 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/27740/task/27757/stat : 27757 (java) R 27738 27738 27597 0 -1 4202560 357 0 0 0 1 0 0 0 20 0 20 0 446193347 28904853504 7556 33554432000 4194304 4196468 140730928938080 140354432133616 140354917083551 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27758] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27758/stat : 27758 (java) S 27738 27738 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446193347 28904853504 7556 33554432000 4194304 4196468 140730928938080 140353912040032 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27759] ppid=27738 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27740/task/27759/stat : 27759 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193348 28904853504 7556 33554432000 4194304 4196468 140730928938080 140353910987312 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31680 KiB

[startup+0.21019 s]*
/proc/loadavg: 1.13 1.05 1.64 3/212 27759
/proc/meminfo: memFree=30887076/32770624 swapFree=66922436/67108860
[pid=27738] ppid=27735 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/27738/stat : 27738 (xcsp3-exec) S 27735 27738 27597 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446193341 115843072 364 33554432000 4194304 5098028 140721013241408 140721013239512 140222955811452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22818816 140721013248886 140721013249129 140721013249129 140721013252042 0
/proc/27738/statm: 28282 364 305 221 0 87 0
[pid=27740] ppid=27738 vsize=28227396 memory=41056 CPUtime=0.33 cores=0-7
/proc/27740/stat : 27740 (java) S 27738 27738 27597 0 -1 1077944320 9571 0 0 0 30 3 0 0 20 0 20 0 446193341 28904853504 10264 33554432000 4194304 4196468 140730928938080 140730928920624 140354938449655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
/proc/27740/statm: 7056849 10264 3219 1 0 7019032 0
[pid=27740/tid=27741] ppid=27738 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/27740/task/27741/stat : 27741 (java) R 27738 27738 27597 0 -1 4202560 6741 0 0 0 17 2 0 0 20 0 20 0 446193341 28904853504 10264 33554432000 4194304 4196468 140730928938080 140354942679376 140354938471581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27742] ppid=27738 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/27740/task/27742/stat : 27742 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193342 28904853504 10264 33554432000 4194304 4196468 140730928938080 140354489539216 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27743] ppid=27738 vsize=28227396 memory=139684717591564 CPUtime=0 cores=0-7
/proc/27740/task/27743/stat : 27743 (java) S 27738 27738 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446193342 28904853504 10264 33554432000 4194304 4196468 140730928938080 140354488486416 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27744] ppid=27738 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27740/task/27744/stat : 27744 (java) S 27738 27738 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446193342 28904853504 10264 33554432000 4194304 4196468 140730928938080 140354487433616 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27745] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27745/stat : 27745 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193342 28904853504 10264 33554432000 4194304 4196468 140730928938080 140354486380816 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27746] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27746/stat : 27746 (java) S 27738 27738 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446193342 28904853504 10264 33554432000 4194304 4196468 140730928938080 140354485329040 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27747] ppid=27738 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27740/task/27747/stat : 27747 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193342 28904853504 10264 33554432000 4194304 4196468 140730928938080 140354484276240 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27748] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27748/stat : 27748 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193342 28904853504 10264 33554432000 4194304 4196468 140730928938080 140354483223440 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27749] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27749/stat : 27749 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193342 28904853504 10264 33554432000 4194304 4196468 140730928938080 140354482170640 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27750] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27750/stat : 27750 (java) S 27738 27738 27597 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 446193344 28904853504 10264 33554432000 4194304 4196468 140730928938080 140354439502192 140354938460802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27751] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27751/stat : 27751 (java) S 27738 27738 27597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446193344 28904853504 10264 33554432000 4194304 4196468 140730928938080 140354438448160 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27752] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27752/stat : 27752 (java) S 27738 27738 27597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446193345 28904853504 10264 33554432000 4194304 4196468 140730928938080 140354437395312 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27753] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27753/stat : 27753 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193347 28904853504 10264 33554432000 4194304 4196468 140730928938080 140354436343632 140354938468251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27754] ppid=27738 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/27740/task/27754/stat : 27754 (java) S 27738 27738 27597 0 -1 1077944384 527 0 0 0 2 0 0 0 20 0 20 0 446193347 28904853504 10264 33554432000 4194304 4196468 140730928938080 140354435292016 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27755] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27755/stat : 27755 (java) S 27738 27738 27597 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 446193347 28904853504 10264 33554432000 4194304 4196468 140730928938080 140354434239216 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27756] ppid=27738 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/27740/task/27756/stat : 27756 (java) S 27738 27738 27597 0 -1 1077944384 97 0 0 0 2 0 0 0 20 0 20 0 446193347 28904853504 10264 33554432000 4194304 4196468 140730928938080 140354433186416 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27757] ppid=27738 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/27740/task/27757/stat : 27757 (java) R 27738 27738 27597 0 -1 4202560 770 0 0 0 7 0 0 0 20 0 20 0 446193347 28904853504 10264 33554432000 4194304 4196468 140730928938080 140354432133616 140354930686782 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27758] ppid=27738 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27758/stat : 27758 (java) S 27738 27738 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446193347 28904853504 10264 33554432000 4194304 4196468 140730928938080 140353912040032 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27759] ppid=27738 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27740/task/27759/stat : 27759 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193348 28904853504 10264 33554432000 4194304 4196468 140730928938080 140353910987312 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42512 KiB

[startup+0.309611 s]*
/proc/loadavg: 1.13 1.05 1.64 3/212 27759
/proc/meminfo: memFree=30883448/32770624 swapFree=66922436/67108860
[pid=27738] ppid=27735 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/27738/stat : 27738 (xcsp3-exec) S 27735 27738 27597 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446193341 115843072 364 33554432000 4194304 5098028 140721013241408 140721013239512 140222955811452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22818816 140721013248886 140721013249129 140721013249129 140721013252042 0
/proc/27738/statm: 28282 364 305 221 0 87 0
[pid=27740] ppid=27738 vsize=28231652 memory=49596 CPUtime=0.52 cores=0-7
/proc/27740/stat : 27740 (java) S 27738 27738 27597 0 -1 1077944320 10731 0 0 0 48 4 0 0 20 0 20 0 446193341 28909211648 12399 33554432000 4194304 4196468 140730928938080 140730928920624 140354938449655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
/proc/27740/statm: 7057913 12399 3351 1 0 7019032 0
[pid=27740/tid=27741] ppid=27738 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/27740/task/27741/stat : 27741 (java) R 27738 27738 27597 0 -1 4202560 7758 0 0 0 26 3 0 0 20 0 20 0 446193341 28909211648 12399 33554432000 4194304 4196468 140730928938080 140354942680768 140354922530142 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27742] ppid=27738 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27742/stat : 27742 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193342 28909211648 12399 33554432000 4194304 4196468 140730928938080 140354489539216 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27743] ppid=27738 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27743/stat : 27743 (java) S 27738 27738 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446193342 28909211648 12399 33554432000 4194304 4196468 140730928938080 140354488486416 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27744] ppid=27738 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27744/stat : 27744 (java) S 27738 27738 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446193342 28909211648 12399 33554432000 4194304 4196468 140730928938080 140354487433616 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27745] ppid=27738 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27745/stat : 27745 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193342 28909211648 12399 33554432000 4194304 4196468 140730928938080 140354486380816 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27746] ppid=27738 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27746/stat : 27746 (java) S 27738 27738 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446193342 28909211648 12399 33554432000 4194304 4196468 140730928938080 140354485329040 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27747] ppid=27738 vsize=28231652 memory=139684617480879 CPUtime=0 cores=0-7
/proc/27740/task/27747/stat : 27747 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193342 28909211648 12399 33554432000 4194304 4196468 140730928938080 140354484276240 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27748] ppid=27738 vsize=28231652 memory=139684617483184 CPUtime=0 cores=0-7
/proc/27740/task/27748/stat : 27748 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193342 28909211648 12399 33554432000 4194304 4196468 140730928938080 140354483223440 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27749] ppid=27738 vsize=28231652 memory=139684617485488 CPUtime=0 cores=0-7
/proc/27740/task/27749/stat : 27749 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193342 28909211648 12399 33554432000 4194304 4196468 140730928938080 140354482170640 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27750] ppid=27738 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27750/stat : 27750 (java) S 27738 27738 27597 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 446193344 28909211648 12399 33554432000 4194304 4196468 140730928938080 140354439502192 140354938460802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27751] ppid=27738 vsize=28231652 memory=279369234984848 CPUtime=0 cores=0-7
/proc/27740/task/27751/stat : 27751 (java) S 27738 27738 27597 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446193344 28909211648 12399 33554432000 4194304 4196468 140730928938080 140354438448160 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27752] ppid=27738 vsize=28231652 memory=279369234982544 CPUtime=0 cores=0-7
/proc/27740/task/27752/stat : 27752 (java) S 27738 27738 27597 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446193345 28909211648 12399 33554432000 4194304 4196468 140730928938080 140354437395312 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27753] ppid=27738 vsize=28231652 memory=279369234989456 CPUtime=0 cores=0-7
/proc/27740/task/27753/stat : 27753 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193347 28909211648 12399 33554432000 4194304 4196468 140730928938080 140354436343632 140354938468251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27754] ppid=27738 vsize=28231652 memory=279369234930736 CPUtime=0.03 cores=0-7
/proc/27740/task/27754/stat : 27754 (java) R 27738 27738 27597 0 -1 4202560 589 0 0 0 3 0 0 0 20 0 20 0 446193347 28909211648 12399 33554432000 4194304 4196468 140730928938080 140354435282400 140354921948586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27755] ppid=27738 vsize=28231652 memory=279369235003280 CPUtime=0.01 cores=0-7
/proc/27740/task/27755/stat : 27755 (java) S 27738 27738 27597 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 20 0 446193347 28909211648 12399 33554432000 4194304 4196468 140730928938080 140354434239216 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27756] ppid=27738 vsize=28231652 memory=279369235010192 CPUtime=0.03 cores=0-7
/proc/27740/task/27756/stat : 27756 (java) R 27738 27738 27597 0 -1 1077944384 103 0 0 0 3 0 0 0 20 0 20 0 446193347 28909211648 12399 33554432000 4194304 4196468 140730928938080 140354433186416 140354938460802 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27757] ppid=27738 vsize=28231652 memory=279369235007888 CPUtime=0.12 cores=0-7
/proc/27740/task/27757/stat : 27757 (java) R 27738 27738 27597 0 -1 4202560 845 0 0 0 12 0 0 0 20 0 20 0 446193347 28909211648 12399 33554432000 4194304 4196468 140730928938080 140354432133616 140354917407503 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27758] ppid=27738 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27758/stat : 27758 (java) S 27738 27738 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446193347 28909211648 12399 33554432000 4194304 4196468 140730928938080 140353912040032 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27759] ppid=27738 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/27740/task/27759/stat : 27759 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193348 28909211648 12399 33554432000 4194304 4196468 140730928938080 140353910987312 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51052 KiB

[startup+0.700876 s]
/proc/loadavg: 1.13 1.05 1.64 6/212 27759
/proc/meminfo: memFree=30867668/32770624 swapFree=66922436/67108860
[pid=27738] ppid=27735 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/27738/stat : 27738 (xcsp3-exec) S 27735 27738 27597 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446193341 115843072 364 33554432000 4194304 5098028 140721013241408 140721013239512 140222955811452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22818816 140721013248886 140721013249129 140721013249129 140721013252042 0
/proc/27738/statm: 28282 364 305 221 0 87 0
[pid=27740] ppid=27738 vsize=28233776 memory=103004 CPUtime=1.81 cores=0-7
/proc/27740/stat : 27740 (java) S 27738 27738 27597 0 -1 1077944320 14854 0 0 0 175 6 0 0 20 0 20 0 446193341 28911386624 25751 33554432000 4194304 4196468 140730928938080 140730928920624 140354938449655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
/proc/27740/statm: 7058444 25751 3461 1 0 7019544 0
[pid=27740/tid=27741] ppid=27738 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/27740/task/27741/stat : 27741 (java) R 27738 27738 27597 0 -1 4202560 9384 0 0 0 63 5 0 0 20 0 20 0 446193341 28911386624 25751 33554432000 4194304 4196468 140730928938080 140354942684400 140354579246823 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27742] ppid=27738 vsize=28233776 memory=139684617692016 CPUtime=0 cores=0-7
/proc/27740/task/27742/stat : 27742 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446193342 28911386624 25751 33554432000 4194304 4196468 140730928938080 140354489539216 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27743] ppid=27738 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27743/stat : 27743 (java) S 27738 27738 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446193342 28911386624 25751 33554432000 4194304 4196468 140730928938080 140354488486416 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27744] ppid=27738 vsize=28233776 memory=1560 CPUtime=0 cores=0-7
/proc/27740/task/27744/stat : 27744 (java) S 27738 27738 27597 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446193342 28911386624 25751 33554432000 4194304 4196468 140730928938080 140354487433616 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0

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

[pid=27740/tid=27757] ppid=27738 vsize=28768336 memory=1000 CPUtime=0.67 cores=0-7
/proc/27740/task/27757/stat : 27757 (java) D 27738 27738 27597 0 -1 4202560 2535 0 0 0 67 0 0 0 20 0 28 0 446193347 29458776064 102894 33554432000 4194304 4196468 140730928938080 140354432133536 140354918373791 0 4 0 16800975 18446744072100220037 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27758] ppid=27738 vsize=28768336 memory=1560 CPUtime=0 cores=0-7
/proc/27740/task/27758/stat : 27758 (java) S 27738 27738 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446193347 29458776064 102894 33554432000 4194304 4196468 140730928938080 140353912040032 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27759] ppid=27738 vsize=28768336 memory=1172 CPUtime=0 cores=0-7
/proc/27740/task/27759/stat : 27759 (java) D 27738 27738 27597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 28 0 446193348 29458776064 102894 33554432000 4194304 4196468 140730928938080 140353910987232 140354923305742 0 4 0 16800975 18446744072100220037 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27784] ppid=27738 vsize=28768336 memory=0 CPUtime=0.81 cores=0-7
/proc/27740/task/27784/stat : 27784 (java) R 27738 27738 27597 0 -1 4202560 17 0 0 0 81 0 0 0 20 0 28 0 446193574 29458776064 102894 33554432000 4194304 4196468 140730928938080 140353897556728 140354581678828 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27785] ppid=27738 vsize=28768336 memory=0 CPUtime=0.85 cores=0-7
/proc/27740/task/27785/stat : 27785 (java) R 27738 27738 27597 0 -1 4202560 17 0 0 0 85 0 0 0 20 0 28 0 446193574 29458776064 102894 33554432000 4194304 4196468 140730928938080 140353900715624 140354581678808 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27786] ppid=27738 vsize=28768336 memory=139684617533040 CPUtime=0.75 cores=0-7
/proc/27740/task/27786/stat : 27786 (java) R 27738 27738 27597 0 -1 4202560 16 0 0 0 75 0 0 0 20 0 28 0 446193574 29458776064 102894 33554432000 4194304 4196468 140730928938080 140353898611304 140354582012122 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27787] ppid=27738 vsize=28768336 memory=13100 CPUtime=0.77 cores=0-7
/proc/27740/task/27787/stat : 27787 (java) R 27738 27738 27597 0 -1 4202560 67 0 0 0 76 1 0 0 20 0 28 0 446193574 29458776064 102894 33554432000 4194304 4196468 140730928938080 140353901769560 140354582437743 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27788] ppid=27738 vsize=28768336 memory=279369234997136 CPUtime=0.84 cores=0-7
/proc/27740/task/27788/stat : 27788 (java) R 27738 27738 27597 0 -1 4202560 17 0 0 0 84 0 0 0 20 0 28 0 446193574 29458776064 102894 33554432000 4194304 4196468 140730928938080 140353896506248 140354582097379 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27789] ppid=27738 vsize=28768336 memory=279369234779664 CPUtime=0.77 cores=0-7
/proc/27740/task/27789/stat : 27789 (java) R 27738 27738 27597 0 -1 4202560 18 0 0 0 77 0 0 0 20 0 28 0 446193574 29458776064 102894 33554432000 4194304 4196468 140730928938080 140353895455208 140354583187924 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27790] ppid=27738 vsize=28768336 memory=279369234779504 CPUtime=0.8 cores=0-7
/proc/27740/task/27790/stat : 27790 (java) R 27738 27738 27597 0 -1 4202560 17 0 0 0 80 0 0 0 20 0 28 0 446193574 29458776064 102894 33554432000 4194304 4196468 140730928938080 140353040535392 140354582098237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27791] ppid=27738 vsize=28768336 memory=279369234779376 CPUtime=0.75 cores=0-7
/proc/27740/task/27791/stat : 27791 (java) R 27738 27738 27597 0 -1 4202560 17 0 0 0 75 0 0 0 20 0 28 0 446193575 29458776064 102894 33554432000 4194304 4196468 140730928938080 140353899664712 140354581403248 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
Current children cumulated CPU time: 20.68 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 413032 KiB

[startup+3.60403 s]
/proc/loadavg: 1.13 1.05 1.64 10/220 27791
/proc/meminfo: memFree=30519104/32770624 swapFree=66922436/67108860
[pid=27738] ppid=27735 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/27738/stat : 27738 (xcsp3-exec) S 27735 27738 27597 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446193341 115843072 364 33554432000 4194304 5098028 140721013241408 140721013239512 140222955811452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22818816 140721013248886 140721013249129 140721013249129 140721013252042 0
/proc/27738/statm: 28282 364 305 221 0 87 0
[pid=27740] ppid=27738 vsize=28768336 memory=433784 CPUtime=23.88 cores=0-7
/proc/27740/stat : 27740 (java) S 27738 27738 27597 0 -1 1077944320 21109 0 0 0 2341 47 0 0 20 0 28 0 446193341 29458776064 108446 33554432000 4194304 4196468 140730928938080 140730928920624 140354938449655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
/proc/27740/statm: 7192084 108446 3532 1 0 7153184 0
[pid=27740/tid=27741] ppid=27738 vsize=28768336 memory=7020098427247815271 CPUtime=0.87 cores=0-7
/proc/27740/task/27741/stat : 27741 (java) S 27738 27738 27597 0 -1 1077944384 9529 0 0 0 81 6 0 0 20 0 28 0 446193341 29458776064 108446 33554432000 4194304 4196468 140730928938080 140354942690432 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27742] ppid=27738 vsize=28768336 memory=7809642415577653866 CPUtime=0.12 cores=0-7
/proc/27740/task/27742/stat : 27742 (java) R 27738 27738 27597 0 -1 4202560 137 0 0 0 8 4 0 0 20 0 28 0 446193342 29458776064 108446 33554432000 4194304 4196468 140730928938080 140354489539216 140354920075600 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27743] ppid=27738 vsize=28768336 memory=-1088251628401078322 CPUtime=0.09 cores=0-7
/proc/27740/task/27743/stat : 27743 (java) R 27738 27738 27597 0 -1 4202560 201 0 0 0 6 3 0 0 20 0 28 0 446193342 29458776064 108446 33554432000 4194304 4196468 140730928938080 140354488486416 140354923477074 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27744] ppid=27738 vsize=28768336 memory=7809642415577653866 CPUtime=0.12 cores=0-7
/proc/27740/task/27744/stat : 27744 (java) R 27738 27738 27597 0 -1 4202560 141 0 0 0 8 4 0 0 20 0 28 0 446193342 29458776064 108446 33554432000 4194304 4196468 140730928938080 140354487433616 140354931077863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27745] ppid=27738 vsize=28768336 memory=7809642415577653866 CPUtime=0.12 cores=0-7
/proc/27740/task/27745/stat : 27745 (java) R 27738 27738 27597 0 -1 4202560 133 0 0 0 8 4 0 0 20 0 28 0 446193342 29458776064 108446 33554432000 4194304 4196468 140730928938080 140354486380816 140354931077863 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27746] ppid=27738 vsize=28768336 memory=0 CPUtime=0.11 cores=0-7
/proc/27740/task/27746/stat : 27746 (java) R 27738 27738 27597 0 -1 4202560 160 0 0 0 8 3 0 0 20 0 28 0 446193342 29458776064 108446 33554432000 4194304 4196468 140730928938080 140354485329040 140354931077863 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27747] ppid=27738 vsize=28768336 memory=90 CPUtime=0.09 cores=0-7
/proc/27740/task/27747/stat : 27747 (java) R 27738 27738 27597 0 -1 4202560 151 0 0 0 6 3 0 0 20 0 28 0 446193342 29458776064 108446 33554432000 4194304 4196468 140730928938080 140354484276240 140354923473899 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27748] ppid=27738 vsize=28768336 memory=95 CPUtime=0.11 cores=0-7
/proc/27740/task/27748/stat : 27748 (java) R 27738 27738 27597 0 -1 4202560 145 0 0 0 8 3 0 0 20 0 28 0 446193342 29458776064 108446 33554432000 4194304 4196468 140730928938080 140354483223440 140354931077863 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27749] ppid=27738 vsize=28768336 memory=85 CPUtime=0.11 cores=0-7
/proc/27740/task/27749/stat : 27749 (java) R 27738 27738 27597 0 -1 4202560 132 0 0 0 8 3 0 0 20 0 28 0 446193342 29458776064 108446 33554432000 4194304 4196468 140730928938080 140354482170760 140354931077863 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27750] ppid=27738 vsize=28768336 memory=87 CPUtime=0 cores=0-7
/proc/27740/task/27750/stat : 27750 (java) S 27738 27738 27597 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 28 0 446193344 29458776064 108446 33554432000 4194304 4196468 140730928938080 140354439500704 140354938459861 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27751] ppid=27738 vsize=28768336 memory=94 CPUtime=0 cores=0-7
/proc/27740/task/27751/stat : 27751 (java) S 27738 27738 27597 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 446193344 29458776064 108446 33554432000 4194304 4196468 140730928938080 140354438448224 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27752] ppid=27738 vsize=28768336 memory=87 CPUtime=0 cores=0-7
/proc/27740/task/27752/stat : 27752 (java) S 27738 27738 27597 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 446193345 29458776064 108446 33554432000 4194304 4196468 140730928938080 140354437395312 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27753] ppid=27738 vsize=28768336 memory=91 CPUtime=0 cores=0-7
/proc/27740/task/27753/stat : 27753 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446193347 29458776064 108446 33554432000 4194304 4196468 140730928938080 140354436343632 140354938468251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27754] ppid=27738 vsize=28768336 memory=85 CPUtime=1.33 cores=0-7
/proc/27740/task/27754/stat : 27754 (java) S 27738 27738 27597 0 -1 1077944384 2019 0 0 0 133 0 0 0 20 0 28 0 446193347 29458776064 108446 33554432000 4194304 4196468 140730928938080 140354435292016 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27755] ppid=27738 vsize=28768336 memory=0 CPUtime=1.18 cores=0-7
/proc/27740/task/27755/stat : 27755 (java) S 27738 27738 27597 0 -1 1077944384 1517 0 0 0 118 0 0 0 20 0 28 0 446193347 29458776064 108446 33554432000 4194304 4196468 140730928938080 140354434224208 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27756] ppid=27738 vsize=28768336 memory=16737 CPUtime=1.18 cores=0-7
/proc/27740/task/27756/stat : 27756 (java) S 27738 27738 27597 0 -1 1077944384 1787 0 0 0 118 0 0 0 20 0 28 0 446193347 29458776064 108446 33554432000 4194304 4196468 140730928938080 140354433186416 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27757] ppid=27738 vsize=28768336 memory=1445 CPUtime=0.69 cores=0-7
/proc/27740/task/27757/stat : 27757 (java) S 27738 27738 27597 0 -1 1077944384 2549 0 0 0 68 1 0 0 20 0 28 0 446193347 29458776064 108446 33554432000 4194304 4196468 140730928938080 140354432133616 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27758] ppid=27738 vsize=28768336 memory=17 CPUtime=0 cores=0-7
/proc/27740/task/27758/stat : 27758 (java) S 27738 27738 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446193347 29458776064 108446 33554432000 4194304 4196468 140730928938080 140353912040032 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27759] ppid=27738 vsize=28768336 memory=161 CPUtime=0 cores=0-7
/proc/27740/task/27759/stat : 27759 (java) S 27738 27738 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446193348 29458776064 108446 33554432000 4194304 4196468 140730928938080 140353910987312 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27784] ppid=27738 vsize=28768336 memory=329 CPUtime=1.18 cores=0-7
/proc/27740/task/27784/stat : 27784 (java) S 27738 27738 27597 0 -1 1077944384 19 0 0 0 118 0 0 0 20 0 28 0 446193574 29458776064 108446 33554432000 4194304 4196468 140730928938080 140353897557072 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27785] ppid=27738 vsize=28768336 memory=2196 CPUtime=1.23 cores=0-7
/proc/27740/task/27785/stat : 27785 (java) S 27738 27738 27597 0 -1 1077944384 21 0 0 0 123 0 0 0 20 0 28 0 446193574 29458776064 108446 33554432000 4194304 4196468 140730928938080 140353900715984 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27786] ppid=27738 vsize=28768336 memory=384 CPUtime=1.13 cores=0-7
/proc/27740/task/27786/stat : 27786 (java) S 27738 27738 27597 0 -1 1077944384 17 0 0 0 113 0 0 0 20 0 28 0 446193574 29458776064 108446 33554432000 4194304 4196468 140730928938080 140353898611168 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27787] ppid=27738 vsize=28768336 memory=12 CPUtime=1.12 cores=0-7
/proc/27740/task/27787/stat : 27787 (java) S 27738 27738 27597 0 -1 1077944384 183 0 0 0 107 5 0 0 20 0 28 0 446193574 29458776064 108446 33554432000 4194304 4196468 140730928938080 140353901771728 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27788] ppid=27738 vsize=28768336 memory=139684617914655 CPUtime=1.23 cores=0-7
/proc/27740/task/27788/stat : 27788 (java) S 27738 27738 27597 0 -1 1077944384 23 0 0 0 123 0 0 0 20 0 28 0 446193574 29458776064 108446 33554432000 4194304 4196468 140730928938080 140353896505664 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27789] ppid=27738 vsize=28768336 memory=279369234798624 CPUtime=1.15 cores=0-7
/proc/27740/task/27789/stat : 27789 (java) S 27738 27738 27597 0 -1 1077944384 21 0 0 0 115 0 0 0 20 0 28 0 446193574 29458776064 108446 33554432000 4194304 4196468 140730928938080 140353895452896 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27790] ppid=27738 vsize=28768336 memory=0 CPUtime=1.19 cores=0-7
/proc/27740/task/27790/stat : 27790 (java) S 27738 27738 27597 0 -1 1077944384 18 0 0 0 117 2 0 0 20 0 28 0 446193574 29458776064 108446 33554432000 4194304 4196468 140730928938080 140353040535392 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27791] ppid=27738 vsize=28768336 memory=0 CPUtime=1.06 cores=0-7
/proc/27740/task/27791/stat : 27791 (java) S 27738 27738 27597 0 -1 1077944384 21 0 0 0 106 0 0 0 20 0 28 0 446193575 29458776064 108446 33554432000 4194304 4196468 140730928938080 140353899663328 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
Current children cumulated CPU time: 23.88 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 435240 KiB

[startup+3.81162 s]
/proc/loadavg: 1.13 1.05 1.64 10/220 27791
/proc/meminfo: memFree=30519104/32770624 swapFree=66922436/67108860
[pid=27738] ppid=27735 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/27738/stat : 27738 (xcsp3-exec) S 27735 27738 27597 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446193341 115843072 364 33554432000 4194304 5098028 140721013241408 140721013239512 140222955811452 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22818816 140721013248886 140721013249129 140721013249129 140721013252042 0
/proc/27738/statm: 28282 364 305 221 0 87 0
[pid=27740] ppid=27738 vsize=28768336 memory=433840 CPUtime=25.52 cores=0-7
/proc/27740/stat : 27740 (java) S 27738 27738 27597 0 -1 1077944320 21124 0 0 0 2505 47 0 0 20 0 28 0 446193341 29458776064 108460 33554432000 4194304 4196468 140730928938080 140730928920624 140354938449655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
/proc/27740/statm: 7192084 108460 3532 1 0 7153184 0
[pid=27740/tid=27741] ppid=27738 vsize=28768336 memory=6944656592387989600 CPUtime=0.87 cores=0-7
/proc/27740/task/27741/stat : 27741 (java) S 27738 27738 27597 0 -1 1077944384 9529 0 0 0 81 6 0 0 20 0 28 0 446193341 29458776064 108460 33554432000 4194304 4196468 140730928938080 140354942690432 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27742] ppid=27738 vsize=28768336 memory=6944656592387989600 CPUtime=0.12 cores=0-7
/proc/27740/task/27742/stat : 27742 (java) S 27738 27738 27597 0 -1 1077944384 137 0 0 0 8 4 0 0 20 0 28 0 446193342 29458776064 108460 33554432000 4194304 4196468 140730928938080 140354489539216 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27743] ppid=27738 vsize=28768336 memory=6943526294502006880 CPUtime=0.09 cores=0-7
/proc/27740/task/27743/stat : 27743 (java) S 27738 27738 27597 0 -1 1077944384 201 0 0 0 6 3 0 0 20 0 28 0 446193342 29458776064 108460 33554432000 4194304 4196468 140730928938080 140354488486416 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27744] ppid=27738 vsize=28768336 memory=6944656592387989600 CPUtime=0.12 cores=0-7
/proc/27740/task/27744/stat : 27744 (java) S 27738 27738 27597 0 -1 1077944384 141 0 0 0 8 4 0 0 20 0 28 0 446193342 29458776064 108460 33554432000 4194304 4196468 140730928938080 140354487433616 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27745] ppid=27738 vsize=28768336 memory=6944656575208382560 CPUtime=0.12 cores=0-7
/proc/27740/task/27745/stat : 27745 (java) S 27738 27738 27597 0 -1 1077944384 135 0 0 0 8 4 0 0 20 0 28 0 446193342 29458776064 108460 33554432000 4194304 4196468 140730928938080 140354486380816 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27746] ppid=27738 vsize=28768336 memory=6656426216303648864 CPUtime=0.11 cores=0-7
/proc/27740/task/27746/stat : 27746 (java) S 27738 27738 27597 0 -1 1077944384 160 0 0 0 8 3 0 0 20 0 28 0 446193342 29458776064 108460 33554432000 4194304 4196468 140730928938080 140354485329040 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27747] ppid=27738 vsize=28768336 memory=24564 CPUtime=0.09 cores=0-7
/proc/27740/task/27747/stat : 27747 (java) S 27738 27738 27597 0 -1 1077944384 151 0 0 0 6 3 0 0 20 0 28 0 446193342 29458776064 108460 33554432000 4194304 4196468 140730928938080 140354484276240 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27748] ppid=27738 vsize=28768336 memory=0 CPUtime=0.11 cores=0-7
/proc/27740/task/27748/stat : 27748 (java) S 27738 27738 27597 0 -1 1077944384 146 0 0 0 8 3 0 0 20 0 28 0 446193342 29458776064 108460 33554432000 4194304 4196468 140730928938080 140354483223440 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27749] ppid=27738 vsize=28768336 memory=0 CPUtime=0.11 cores=0-7
/proc/27740/task/27749/stat : 27749 (java) S 27738 27738 27597 0 -1 1077944384 133 0 0 0 8 3 0 0 20 0 28 0 446193342 29458776064 108460 33554432000 4194304 4196468 140730928938080 140354482170640 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27750] ppid=27738 vsize=28768336 memory=139684617694064 CPUtime=0.01 cores=0-7
/proc/27740/task/27750/stat : 27750 (java) S 27738 27738 27597 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 28 0 446193344 29458776064 108460 33554432000 4194304 4196468 140730928938080 140354439502192 140354938460802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27751] ppid=27738 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27751/stat : 27751 (java) S 27738 27738 27597 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 446193344 29458776064 108460 33554432000 4194304 4196468 140730928938080 140354438448224 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27752] ppid=27738 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27752/stat : 27752 (java) S 27738 27738 27597 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 446193345 29458776064 108460 33554432000 4194304 4196468 140730928938080 140354437395312 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27753] ppid=27738 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27753/stat : 27753 (java) S 27738 27738 27597 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446193347 29458776064 108460 33554432000 4194304 4196468 140730928938080 140354436343632 140354938468251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27754] ppid=27738 vsize=28768336 memory=0 CPUtime=1.33 cores=0-7
/proc/27740/task/27754/stat : 27754 (java) S 27738 27738 27597 0 -1 1077944384 2019 0 0 0 133 0 0 0 20 0 28 0 446193347 29458776064 108460 33554432000 4194304 4196468 140730928938080 140354435292016 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 24 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27755] ppid=27738 vsize=28768336 memory=2241 CPUtime=1.18 cores=0-7
/proc/27740/task/27755/stat : 27755 (java) S 27738 27738 27597 0 -1 1077944384 1528 0 0 0 118 0 0 0 20 0 28 0 446193347 29458776064 108460 33554432000 4194304 4196468 140730928938080 140354434239216 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 28 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27756] ppid=27738 vsize=28768336 memory=2244 CPUtime=1.19 cores=0-7
/proc/27740/task/27756/stat : 27756 (java) S 27738 27738 27597 0 -1 1077944384 1787 0 0 0 119 0 0 0 20 0 28 0 446193347 29458776064 108460 33554432000 4194304 4196468 140730928938080 140354433186416 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 29 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27757] ppid=27738 vsize=28768336 memory=0 CPUtime=0.69 cores=0-7
/proc/27740/task/27757/stat : 27757 (java) S 27738 27738 27597 0 -1 1077944384 2549 0 0 0 68 1 0 0 20 0 28 0 446193347 29458776064 108460 33554432000 4194304 4196468 140730928938080 140354432133616 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27758] ppid=27738 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27758/stat : 27758 (java) S 27738 27738 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446193347 29458776064 108460 33554432000 4194304 4196468 140730928938080 140353912040032 140354938459861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27759] ppid=27738 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/27740/task/27759/stat : 27759 (java) S 27738 27738 27597 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446193348 29458776064 108460 33554432000 4194304 4196468 140730928938080 140353910987312 140354938460802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27784] ppid=27738 vsize=28768336 memory=0 CPUtime=1.39 cores=0-7
/proc/27740/task/27784/stat : 27784 (java) R 27738 27738 27597 0 -1 4202560 19 0 0 0 139 0 0 0 20 0 28 0 446193574 29458776064 108460 33554432000 4194304 4196468 140730928938080 140353897557208 140354581617470 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27785] ppid=27738 vsize=28768336 memory=0 CPUtime=1.43 cores=0-7
/proc/27740/task/27785/stat : 27785 (java) R 27738 27738 27597 0 -1 4202560 21 0 0 0 143 0 0 0 20 0 28 0 446193574 29458776064 108460 33554432000 4194304 4196468 140730928938080 140353900715984 140354581679215 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27786] ppid=27738 vsize=28768336 memory=0 CPUtime=1.33 cores=0-7
/proc/27740/task/27786/stat : 27786 (java) R 27738 27738 27597 0 -1 4202560 17 0 0 0 133 0 0 0 20 0 28 0 446193574 29458776064 108460 33554432000 4194304 4196468 140730928938080 140353898611304 140354582295416 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27787] ppid=27738 vsize=28768336 memory=0 CPUtime=1.32 cores=0-7
/proc/27740/task/27787/stat : 27787 (java) R 27738 27738 27597 0 -1 4202560 183 0 0 0 127 5 0 0 20 0 28 0 446193574 29458776064 108460 33554432000 4194304 4196468 140730928938080 140353901769816 140354582437774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27788] ppid=27738 vsize=28768336 memory=0 CPUtime=1.43 cores=0-7
/proc/27740/task/27788/stat : 27788 (java) R 27738 27738 27597 0 -1 4202560 23 0 0 0 143 0 0 0 20 0 28 0 446193574 29458776064 108460 33554432000 4194304 4196468 140730928938080 140353896505552 140354581403253 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27789] ppid=27738 vsize=28768336 memory=0 CPUtime=1.36 cores=0-7
/proc/27740/task/27789/stat : 27789 (java) R 27738 27738 27597 0 -1 4202560 21 0 0 0 136 0 0 0 20 0 28 0 446193574 29458776064 108460 33554432000 4194304 4196468 140730928938080 140353895453032 140354583101074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27790] ppid=27738 vsize=28768336 memory=0 CPUtime=1.4 cores=0-7
/proc/27740/task/27790/stat : 27790 (java) R 27738 27738 27597 0 -1 4202560 18 0 0 0 138 2 0 0 20 0 28 0 446193574 29458776064 108460 33554432000 4194304 4196468 140730928938080 140353040535528 140354581986868 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
[pid=27740/tid=27791] ppid=27738 vsize=28768336 memory=0 CPUtime=1.26 cores=0-7
/proc/27740/task/27791/stat : 27791 (java) R 27738 27738 27597 0 -1 4202560 21 0 0 0 126 0 0 0 20 0 28 0 446193575 29458776064 108460 33554432000 4194304 4196468 140730928938080 140353899662424 140354581403248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35815424 140730928940010 140730928940182 140730928940182 140730928943055 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 435296 KiB

Child status: 0
Real time (s): 3.8699
CPU time (s): 25.9211
CPU user time (s): 25.4338
CPU system time (s): 0.487228
CPU usage (%): 669.811
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 435296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.4338
system time used= 0.487228
maximum resident set size= 435036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21842
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3842
involuntary context switches= 601


# summary of solver processes directly reported to runsolver:
#   pid: 27738
#   total CPU time (s): 25.9211
#   total CPU user time (s): 25.4338
#   total CPU system time (s): 0.487228

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047578 second user time and 0.085424 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-17 08:41:53
IDJOB=4399813
IDBENCH=122936
IDSOLVER=2854
FILE ID=node141/4399813-1568702555
RUNJOBID= node141-1568702487-27624
PBS_JOBID= 21703919
Free space on /tmp= 58544 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-15-035-010.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399813-1568702555/watcher-4399813-1568702555 -o /tmp/evaluation-result-4399813-1568702555/solver-4399813-1568702555 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node141-1568702487-27624 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 284686823 HOME/instance-4399813-1568702555.xml

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

MD5SUM BENCH= b4ffb396ba331e6a6f6e6b1bc4ae482f
RANDOM SEED=284686823

node141.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	: 5332.93
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	: 5332.93
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	: 5332.93
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	: 5332.93
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:        30917892 kB
MemAvailable:   31828860 kB
Buffers:          229880 kB
Cached:           977692 kB
SwapCached:        77736 kB
Active:           563392 kB
Inactive:         725828 kB
Active(anon):      10076 kB
Inactive(anon):   114804 kB
Active(file):     553316 kB
Inactive(file):   611024 kB
Unevictable:      109460 kB
Mlocked:          109460 kB
SwapTotal:      67108860 kB
SwapFree:       66922436 kB
Dirty:             26388 kB
Writeback:             0 kB
AnonPages:        118952 kB
Mapped:            42544 kB
Shmem:             34616 kB
Slab:             155216 kB
SReclaimable:     124928 kB
SUnreclaim:        30288 kB
KernelStack:        3632 kB
PageTables:         5948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     73728 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 58516 MiB
End job on node141 at 2019-09-17 08:41:57