Trace number 4404589

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-20 parallelOPT3 44.02 6.19535

General information on the benchmark

NameOpd/Opd-sum-large/
Opd-16-035-010.xml
MD5SUM03e72fbe3dfec80e6807e25b52393289
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 benchmark3.72706
Satisfiable
(Un)Satisfiability was proved
Number of variables561
Number of constraints137
Number of domains2
Minimum domain size2
Maximum domain size33
Distribution of domain sizes[{"size":2,"count":560},{"size":33,"count":1}]
Minimum variable degree17
Maximum variable degree121
Distribution of variable degrees[{"degree":17,"count":560},{"degree":121,"count":1}]
Minimum constraint arity35
Maximum constraint arity560
Distribution of constraint arities[{"arity":35,"count":16},{"arity":71,"count":120},{"arity":560,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":136}]
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-4404589-1568996347.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404589-1568996347.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
2.61/0.94	c solve instance...
9.47/1.86	o 7 
10.24/2.01	o 6 
11.01/2.10	o 5 
24.30/3.75	o 4 
43.46/6.18	o 3 
43.46/6.18	s OPTIMUM FOUND
43.46/6.18	v <instantiation>
43.46/6.18	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] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] </list>
43.46/6.18	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 0 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 </values>
43.46/6.18	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 (7355 MiB free)
  memory of node 1: 16384 MiB (8924 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404589-1568996347/watcher-4404589-1568996347 -o /var/tmp/evaluation-result-4404589-1568996347/solver-4404589-1568996347 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1568994386-6070 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 497734333 HOME/instance-4404589-1568996347.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
solver pid=7286, runsolver pid=7283
Current StackSize limit: 8192 KiB


[startup+0.10016 s]*
/proc/loadavg: 8.78 8.60 8.37 3/217 7307
/proc/meminfo: memFree=16652680/32770624 swapFree=67001908/67108860
[pid=7286] ppid=7283 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7286/stat : 7286 (xcsp3-exec) S 7283 7286 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475874249 115843072 362 33554432000 4194304 5098028 140732287173280 140732287171384 140612576850556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39170048 140732287181650 140732287181909 140732287181909 140732287184838 0
/proc/7286/statm: 28282 362 304 221 0 87 0
[pid=7288] ppid=7286 vsize=28227396 memory=30072 CPUtime=0.12 cores=0-7
/proc/7288/stat : 7288 (java) S 7286 7286 6043 0 -1 1077944320 5986 0 0 0 11 1 0 0 20 0 20 0 475874249 28904853504 7518 33554432000 4194304 4196468 140734018340496 140734018323040 140304490991351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
/proc/7288/statm: 7056849 7518 3122 1 0 7019032 0
[pid=7288/tid=7289] ppid=7286 vsize=28227396 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/7288/task/7289/stat : 7289 (java) R 7286 7286 6043 0 -1 4202560 3905 0 0 0 8 0 0 0 20 0 20 0 475874250 28904853504 7518 33554432000 4194304 4196468 140734018340496 140304495227696 140304491013277 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7290] ppid=7286 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/7288/task/7290/stat : 7290 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874250 28904853504 7518 33554432000 4194304 4196468 140734018340496 140304443612304 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7291] ppid=7286 vsize=28227396 memory=140495310890624 CPUtime=0 cores=0-7
/proc/7288/task/7291/stat : 7291 (java) S 7286 7286 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475874250 28904853504 7518 33554432000 4194304 4196468 140734018340496 140304442559504 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7292] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7292/stat : 7292 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874250 28904853504 7518 33554432000 4194304 4196468 140734018340496 140304441506704 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7293] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7293/stat : 7293 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874250 28904853504 7518 33554432000 4194304 4196468 140734018340496 140304440453904 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7294] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7294/stat : 7294 (java) S 7286 7286 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475874250 28904853504 7518 33554432000 4194304 4196468 140734018340496 140304439401104 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7295] ppid=7286 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7288/task/7295/stat : 7295 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874251 28904853504 7518 33554432000 4194304 4196468 140734018340496 140304438348304 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7296] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7296/stat : 7296 (java) S 7286 7286 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475874251 28904853504 7518 33554432000 4194304 4196468 140734018340496 140304437295504 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7297] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7297/stat : 7297 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874251 28904853504 7518 33554432000 4194304 4196468 140734018340496 140304436242704 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7298] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7298/stat : 7298 (java) S 7286 7286 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475874252 28904853504 7518 33554432000 4194304 4196468 140734018340496 140302752918384 140304491002498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7299] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7299/stat : 7299 (java) S 7286 7286 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475874252 28904853504 7518 33554432000 4194304 4196468 140734018340496 140302751864352 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7300] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7300/stat : 7300 (java) S 7286 7286 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475874253 28904853504 7518 33554432000 4194304 4196468 140734018340496 140302750811504 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7301] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7301/stat : 7301 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874255 28904853504 7518 33554432000 4194304 4196468 140734018340496 140302749759824 140304491009947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7302] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7302/stat : 7302 (java) S 7286 7286 6043 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 20 0 475874255 28904853504 7518 33554432000 4194304 4196468 140734018340496 140302748707184 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7303] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7303/stat : 7303 (java) S 7286 7286 6043 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 475874255 28904853504 7518 33554432000 4194304 4196468 140734018340496 140302747654384 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7304] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7304/stat : 7304 (java) S 7286 7286 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475874255 28904853504 7518 33554432000 4194304 4196468 140734018340496 140302746601584 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7305] ppid=7286 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/7288/task/7305/stat : 7305 (java) R 7286 7286 6043 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 20 0 475874255 28904853504 7518 33554432000 4194304 4196468 140734018340496 140302745548784 140304491012698 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7306] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7306/stat : 7306 (java) S 7286 7286 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475874255 28904853504 7518 33554432000 4194304 4196468 140734018340496 140302744497248 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7307] ppid=7286 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7288/task/7307/stat : 7307 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874256 28904853504 7518 33554432000 4194304 4196468 140734018340496 140302743444528 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31520 KiB

[startup+0.210208 s]*
/proc/loadavg: 8.78 8.60 8.37 2/217 7307
/proc/meminfo: memFree=16640144/32770624 swapFree=67001908/67108860
[pid=7286] ppid=7283 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7286/stat : 7286 (xcsp3-exec) S 7283 7286 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475874249 115843072 362 33554432000 4194304 5098028 140732287173280 140732287171384 140612576850556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39170048 140732287181650 140732287181909 140732287181909 140732287184838 0
/proc/7286/statm: 28282 362 304 221 0 87 0
[pid=7288] ppid=7286 vsize=28227396 memory=41060 CPUtime=0.33 cores=0-7
/proc/7288/stat : 7288 (java) S 7286 7286 6043 0 -1 1077944320 9500 0 0 0 30 3 0 0 20 0 20 0 475874249 28904853504 10265 33554432000 4194304 4196468 140734018340496 140734018323040 140304490991351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
/proc/7288/statm: 7056849 10265 3288 1 0 7019032 0
[pid=7288/tid=7289] ppid=7286 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/7288/task/7289/stat : 7289 (java) R 7286 7286 6043 0 -1 4202560 6693 0 0 0 18 2 0 0 20 0 20 0 475874250 28904853504 10265 33554432000 4194304 4196468 140734018340496 140304495224080 140304491003286 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7290] ppid=7286 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/7288/task/7290/stat : 7290 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874250 28904853504 10265 33554432000 4194304 4196468 140734018340496 140304443612304 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7291] ppid=7286 vsize=28227396 memory=140495310898167 CPUtime=0 cores=0-7
/proc/7288/task/7291/stat : 7291 (java) S 7286 7286 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475874250 28904853504 10265 33554432000 4194304 4196468 140734018340496 140304442559504 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7292] ppid=7286 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7288/task/7292/stat : 7292 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874250 28904853504 10265 33554432000 4194304 4196468 140734018340496 140304441506704 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7293] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7293/stat : 7293 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874250 28904853504 10265 33554432000 4194304 4196468 140734018340496 140304440453904 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7294] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7294/stat : 7294 (java) S 7286 7286 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475874250 28904853504 10265 33554432000 4194304 4196468 140734018340496 140304439401104 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7295] ppid=7286 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7288/task/7295/stat : 7295 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874251 28904853504 10265 33554432000 4194304 4196468 140734018340496 140304438348304 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7296] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7296/stat : 7296 (java) S 7286 7286 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475874251 28904853504 10265 33554432000 4194304 4196468 140734018340496 140304437295504 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7297] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7297/stat : 7297 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874251 28904853504 10265 33554432000 4194304 4196468 140734018340496 140304436242704 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7298] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7298/stat : 7298 (java) S 7286 7286 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475874252 28904853504 10265 33554432000 4194304 4196468 140734018340496 140302752918384 140304491002498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7299] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7299/stat : 7299 (java) S 7286 7286 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475874252 28904853504 10265 33554432000 4194304 4196468 140734018340496 140302751864352 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7300] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7300/stat : 7300 (java) S 7286 7286 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475874253 28904853504 10265 33554432000 4194304 4196468 140734018340496 140302750811504 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7301] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7301/stat : 7301 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874255 28904853504 10265 33554432000 4194304 4196468 140734018340496 140302749759824 140304491009947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7302] ppid=7286 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/7288/task/7302/stat : 7302 (java) S 7286 7286 6043 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 20 0 475874255 28904853504 10265 33554432000 4194304 4196468 140734018340496 140302748707184 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7303] ppid=7286 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/7288/task/7303/stat : 7303 (java) S 7286 7286 6043 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 20 0 475874255 28904853504 10265 33554432000 4194304 4196468 140734018340496 140302747654384 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7304] ppid=7286 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7288/task/7304/stat : 7304 (java) S 7286 7286 6043 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 20 0 475874255 28904853504 10265 33554432000 4194304 4196468 140734018340496 140302746601584 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7305] ppid=7286 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/7288/task/7305/stat : 7305 (java) R 7286 7286 6043 0 -1 4202560 747 0 0 0 7 0 0 0 20 0 20 0 475874255 28904853504 10265 33554432000 4194304 4196468 140734018340496 140302745548592 140304470129633 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7306] ppid=7286 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7306/stat : 7306 (java) S 7286 7286 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475874255 28904853504 10265 33554432000 4194304 4196468 140734018340496 140302744497248 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7307] ppid=7286 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7288/task/7307/stat : 7307 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874256 28904853504 10265 33554432000 4194304 4196468 140734018340496 140302743444528 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42508 KiB

[startup+0.309815 s]*
/proc/loadavg: 8.78 8.60 8.37 3/217 7307
/proc/meminfo: memFree=16633364/32770624 swapFree=67001908/67108860
[pid=7286] ppid=7283 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7286/stat : 7286 (xcsp3-exec) S 7283 7286 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475874249 115843072 362 33554432000 4194304 5098028 140732287173280 140732287171384 140612576850556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39170048 140732287181650 140732287181909 140732287181909 140732287184838 0
/proc/7286/statm: 28282 362 304 221 0 87 0
[pid=7288] ppid=7286 vsize=28231652 memory=49448 CPUtime=0.51 cores=0-7
/proc/7288/stat : 7288 (java) S 7286 7286 6043 0 -1 1077944320 10843 0 0 0 47 4 0 0 20 0 20 0 475874249 28909211648 12362 33554432000 4194304 4196468 140734018340496 140734018323040 140304490991351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
/proc/7288/statm: 7057913 12362 3342 1 0 7019032 0
[pid=7288/tid=7289] ppid=7286 vsize=28231652 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7288/task/7289/stat : 7289 (java) R 7286 7286 6043 0 -1 4202560 7892 0 0 0 27 2 0 0 20 0 20 0 475874250 28909211648 12362 33554432000 4194304 4196468 140734018340496 140304495222464 140304475071838 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7290] ppid=7286 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7290/stat : 7290 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874250 28909211648 12362 33554432000 4194304 4196468 140734018340496 140304443612304 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7291] ppid=7286 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7291/stat : 7291 (java) S 7286 7286 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475874250 28909211648 12362 33554432000 4194304 4196468 140734018340496 140304442559504 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7292] ppid=7286 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7292/stat : 7292 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874250 28909211648 12362 33554432000 4194304 4196468 140734018340496 140304441506704 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7293] ppid=7286 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7293/stat : 7293 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874250 28909211648 12362 33554432000 4194304 4196468 140734018340496 140304440453904 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7294] ppid=7286 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/7288/task/7294/stat : 7294 (java) S 7286 7286 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475874250 28909211648 12362 33554432000 4194304 4196468 140734018340496 140304439401104 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7295] ppid=7286 vsize=28231652 memory=140495158342575 CPUtime=0 cores=0-7
/proc/7288/task/7295/stat : 7295 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874251 28909211648 12362 33554432000 4194304 4196468 140734018340496 140304438348304 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7296] ppid=7286 vsize=28231652 memory=140495158344880 CPUtime=0 cores=0-7
/proc/7288/task/7296/stat : 7296 (java) S 7286 7286 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475874251 28909211648 12362 33554432000 4194304 4196468 140734018340496 140304437295504 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7297] ppid=7286 vsize=28231652 memory=140495158347184 CPUtime=0 cores=0-7
/proc/7288/task/7297/stat : 7297 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874251 28909211648 12362 33554432000 4194304 4196468 140734018340496 140304436242704 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7298] ppid=7286 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7298/stat : 7298 (java) S 7286 7286 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475874252 28909211648 12362 33554432000 4194304 4196468 140734018340496 140302752918384 140304491002498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7299] ppid=7286 vsize=28231652 memory=280990316701328 CPUtime=0 cores=0-7
/proc/7288/task/7299/stat : 7299 (java) S 7286 7286 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475874252 28909211648 12362 33554432000 4194304 4196468 140734018340496 140302751864352 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7300] ppid=7286 vsize=28231652 memory=280990316708240 CPUtime=0 cores=0-7
/proc/7288/task/7300/stat : 7300 (java) S 7286 7286 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475874253 28909211648 12362 33554432000 4194304 4196468 140734018340496 140302750811504 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7301] ppid=7286 vsize=28231652 memory=280990316649520 CPUtime=0 cores=0-7
/proc/7288/task/7301/stat : 7301 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874255 28909211648 12362 33554432000 4194304 4196468 140734018340496 140302749759824 140304491009947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7302] ppid=7286 vsize=28231652 memory=280990316722064 CPUtime=0.01 cores=0-7
/proc/7288/task/7302/stat : 7302 (java) S 7286 7286 6043 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 20 0 475874255 28909211648 12362 33554432000 4194304 4196468 140734018340496 140302748707184 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7303] ppid=7286 vsize=28231652 memory=280990316728976 CPUtime=0.03 cores=0-7
/proc/7288/task/7303/stat : 7303 (java) S 7286 7286 6043 0 -1 1077944384 267 0 0 0 3 0 0 0 20 0 20 0 475874255 28909211648 12362 33554432000 4194304 4196468 140734018340496 140302747654384 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7304] ppid=7286 vsize=28231652 memory=280990316726672 CPUtime=0.02 cores=0-7
/proc/7288/task/7304/stat : 7304 (java) S 7286 7286 6043 0 -1 1077944384 87 0 0 0 2 0 0 0 20 0 20 0 475874255 28909211648 12362 33554432000 4194304 4196468 140734018340496 140302746601584 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7305] ppid=7286 vsize=28231652 memory=280990316742832 CPUtime=0.13 cores=0-7
/proc/7288/task/7305/stat : 7305 (java) S 7286 7286 6043 0 -1 1077944384 840 0 0 0 13 0 0 0 20 0 20 0 475874255 28909211648 12362 33554432000 4194304 4196468 140734018340496 140302745548784 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7306] ppid=7286 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7306/stat : 7306 (java) S 7286 7286 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475874255 28909211648 12390 33554432000 4194304 4196468 140734018340496 140302744497248 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7307] ppid=7286 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/7288/task/7307/stat : 7307 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874256 28909211648 12390 33554432000 4194304 4196468 140734018340496 140302743444528 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50896 KiB

[startup+0.700924 s]
/proc/loadavg: 8.78 8.60 8.37 5/217 7307
/proc/meminfo: memFree=16619036/32770624 swapFree=67001908/67108860
[pid=7286] ppid=7283 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7286/stat : 7286 (xcsp3-exec) S 7283 7286 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475874249 115843072 362 33554432000 4194304 5098028 140732287173280 140732287171384 140612576850556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39170048 140732287181650 140732287181909 140732287181909 140732287184838 0
/proc/7286/statm: 28282 362 304 221 0 87 0
[pid=7288] ppid=7286 vsize=28233776 memory=104616 CPUtime=1.8 cores=0-7
/proc/7288/stat : 7288 (java) S 7286 7286 6043 0 -1 1077944320 14774 0 0 0 174 6 0 0 20 0 20 0 475874249 28911386624 26154 33554432000 4194304 4196468 140734018340496 140734018323040 140304490991351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
/proc/7288/statm: 7058444 26154 3460 1 0 7019544 0
[pid=7288/tid=7289] ppid=7286 vsize=28233776 memory=280990317100720 CPUtime=0.68 cores=0-7
/proc/7288/task/7289/stat : 7289 (java) R 7286 7286 6043 0 -1 4202560 9312 0 0 0 64 4 0 0 20 0 20 0 475874250 28911386624 26154 33554432000 4194304 4196468 140734018340496 140304495224800 140304116426198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7290] ppid=7286 vsize=28233776 memory=140495158551408 CPUtime=0 cores=0-7
/proc/7288/task/7290/stat : 7290 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874250 28911386624 26154 33554432000 4194304 4196468 140734018340496 140304443612304 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7291] ppid=7286 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7291/stat : 7291 (java) S 7286 7286 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475874250 28911386624 26154 33554432000 4194304 4196468 140734018340496 140304442559504 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7292] ppid=7286 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/7288/task/7292/stat : 7292 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475874250 28911386624 26154 33554432000 4194304 4196468 140734018340496 140304441506704 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0

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

[pid=7288/tid=7305] ppid=7286 vsize=28768336 memory=6944656592455097440 CPUtime=0.72 cores=0-7
/proc/7288/task/7305/stat : 7305 (java) S 7286 7286 6043 0 -1 1077944384 2958 0 0 0 72 0 0 0 20 0 28 0 475874255 29458776064 171774 33554432000 4194304 4196468 140734018340496 140302745548784 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7306] ppid=7286 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7306/stat : 7306 (java) S 7286 7286 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475874255 29458776064 171774 33554432000 4194304 4196468 140734018340496 140302744497248 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7307] ppid=7286 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7307/stat : 7307 (java) S 7286 7286 6043 0 -1 1077944384 519 0 0 0 0 0 0 0 20 0 28 0 475874256 29458776064 171774 33554432000 4194304 4196468 140734018340496 140302743444528 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7340] ppid=7286 vsize=28768336 memory=0 CPUtime=1.77 cores=0-7
/proc/7288/task/7340/stat : 7340 (java) R 7286 7286 6043 0 -1 4202560 72 0 0 0 177 0 0 0 20 0 28 0 475874625 29458776064 171774 33554432000 4194304 4196468 140734018340496 140302728146056 140304122856938 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7341] ppid=7286 vsize=28768336 memory=0 CPUtime=1.81 cores=0-7
/proc/7288/task/7341/stat : 7341 (java) R 7286 7286 6043 0 -1 4202560 64 0 0 0 181 0 0 0 20 0 28 0 475874625 29458776064 171774 33554432000 4194304 4196468 140734018340496 140302727094600 140304122857037 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7342] ppid=7286 vsize=28768336 memory=0 CPUtime=1.77 cores=0-7
/proc/7288/task/7342/stat : 7342 (java) R 7286 7286 6043 0 -1 4202560 148 0 0 0 177 0 0 0 20 0 28 0 475874625 29458776064 171774 33554432000 4194304 4196468 140734018340496 140302734462720 140304123893101 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7343] ppid=7286 vsize=28768336 memory=123 CPUtime=1.81 cores=0-7
/proc/7288/task/7343/stat : 7343 (java) R 7286 7286 6043 0 -1 4202560 890 0 0 0 177 4 0 0 20 0 28 0 475874625 29458776064 171774 33554432000 4194304 4196468 140734018340496 140302733412736 140304123151608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7344] ppid=7286 vsize=28768336 memory=14008 CPUtime=1.81 cores=0-7
/proc/7288/task/7344/stat : 7344 (java) R 7286 7286 6043 0 -1 4202560 117 0 0 0 181 0 0 0 20 0 28 0 475874625 29458776064 171774 33554432000 4194304 4196468 140734018340496 140302730251744 140304122436465 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7345] ppid=7286 vsize=28768336 memory=12024 CPUtime=1.79 cores=0-7
/proc/7288/task/7345/stat : 7345 (java) R 7286 7286 6043 0 -1 4202560 89 0 0 0 179 0 0 0 20 0 28 0 475874625 29458776064 171774 33554432000 4194304 4196468 140734018340496 140302729199224 140304122857037 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7346] ppid=7286 vsize=28768336 memory=2116 CPUtime=1.77 cores=0-7
/proc/7288/task/7346/stat : 7346 (java) R 7286 7286 6043 0 -1 4202560 297 0 0 0 177 0 0 0 20 0 28 0 475874625 29458776064 171774 33554432000 4194304 4196468 140734018340496 140302732358112 140304124433236 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7347] ppid=7286 vsize=28768336 memory=29356 CPUtime=1.77 cores=0-7
/proc/7288/task/7347/stat : 7347 (java) R 7286 7286 6043 0 -1 4202560 101 0 0 0 177 0 0 0 20 0 28 0 475874625 29458776064 171774 33554432000 4194304 4196468 140734018340496 140302731305128 140304122457842 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
Current children cumulated CPU time: 39.39 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 688544 KiB

[startup+6.00166 s]*
/proc/loadavg: 8.72 8.59 8.37 9/225 7347
/proc/meminfo: memFree=15994860/32770624 swapFree=67001908/67108860
[pid=7286] ppid=7283 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7286/stat : 7286 (xcsp3-exec) S 7283 7286 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475874249 115843072 362 33554432000 4194304 5098028 140732287173280 140732287171384 140612576850556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39170048 140732287181650 140732287181909 140732287181909 140732287184838 0
/proc/7286/statm: 28282 362 304 221 0 87 0
[pid=7288] ppid=7286 vsize=28768336 memory=687164 CPUtime=42.65 cores=0-7
/proc/7288/stat : 7288 (java) S 7286 7286 6043 0 -1 1077944320 29068 0 0 0 4214 51 0 0 20 0 28 0 475874249 29458776064 171791 33554432000 4194304 4196468 140734018340496 140734018323040 140304490991351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
/proc/7288/statm: 7192084 171791 3532 1 0 7153184 0
[pid=7288/tid=7289] ppid=7286 vsize=28768336 memory=8112282956445269571 CPUtime=0.88 cores=0-7
/proc/7288/task/7289/stat : 7289 (java) S 7286 7286 6043 0 -1 1077944384 9475 0 0 0 83 5 0 0 20 0 28 0 475874250 29458776064 171791 33554432000 4194304 4196468 140734018340496 140304495232128 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7290] ppid=7286 vsize=28768336 memory=0 CPUtime=0.15 cores=0-7
/proc/7288/task/7290/stat : 7290 (java) S 7286 7286 6043 0 -1 1077944384 217 0 0 0 11 4 0 0 20 0 28 0 475874250 29458776064 171791 33554432000 4194304 4196468 140734018340496 140304443612304 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7291] ppid=7286 vsize=28768336 memory=0 CPUtime=0.12 cores=0-7
/proc/7288/task/7291/stat : 7291 (java) S 7286 7286 6043 0 -1 1077944384 1001 0 0 0 9 3 0 0 20 0 28 0 475874250 29458776064 171791 33554432000 4194304 4196468 140734018340496 140304442559504 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7292] ppid=7286 vsize=28768336 memory=0 CPUtime=0.12 cores=0-7
/proc/7288/task/7292/stat : 7292 (java) S 7286 7286 6043 0 -1 1077944384 248 0 0 0 9 3 0 0 20 0 28 0 475874250 29458776064 171791 33554432000 4194304 4196468 140734018340496 140304441506704 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7293] ppid=7286 vsize=28768336 memory=-1 CPUtime=0.09 cores=0-7
/proc/7288/task/7293/stat : 7293 (java) S 7286 7286 6043 0 -1 1077944384 112 0 0 0 6 3 0 0 20 0 28 0 475874250 29458776064 171791 33554432000 4194304 4196468 140734018340496 140304440453904 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7294] ppid=7286 vsize=28768336 memory=-1 CPUtime=0.08 cores=0-7
/proc/7288/task/7294/stat : 7294 (java) S 7286 7286 6043 0 -1 1077944384 235 0 0 0 6 2 0 0 20 0 28 0 475874250 29458776064 171791 33554432000 4194304 4196468 140734018340496 140304439401104 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7295] ppid=7286 vsize=28768336 memory=-1 CPUtime=0.1 cores=0-7
/proc/7288/task/7295/stat : 7295 (java) S 7286 7286 6043 0 -1 1077944384 127 0 0 0 8 2 0 0 20 0 28 0 475874251 29458776064 171791 33554432000 4194304 4196468 140734018340496 140304438348304 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7296] ppid=7286 vsize=28768336 memory=0 CPUtime=0.16 cores=0-7
/proc/7288/task/7296/stat : 7296 (java) S 7286 7286 6043 0 -1 1077944384 418 0 0 0 14 2 0 0 20 0 28 0 475874251 29458776064 171791 33554432000 4194304 4196468 140734018340496 140304437295504 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7297] ppid=7286 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/7288/task/7297/stat : 7297 (java) S 7286 7286 6043 0 -1 1077944384 231 0 0 0 7 2 0 0 20 0 28 0 475874251 29458776064 171791 33554432000 4194304 4196468 140734018340496 140304436242704 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7298] ppid=7286 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/7288/task/7298/stat : 7298 (java) S 7286 7286 6043 0 -1 1077944384 737 0 0 0 1 0 0 0 20 0 28 0 475874252 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302752918384 140304491002498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7299] ppid=7286 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7299/stat : 7299 (java) S 7286 7286 6043 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 475874252 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302751864416 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7300] ppid=7286 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7300/stat : 7300 (java) S 7286 7286 6043 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475874253 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302750811504 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7301] ppid=7286 vsize=28768336 memory=385 CPUtime=0 cores=0-7
/proc/7288/task/7301/stat : 7301 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475874255 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302749759824 140304491009947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7302] ppid=7286 vsize=28768336 memory=0 CPUtime=1.26 cores=0-7
/proc/7288/task/7302/stat : 7302 (java) S 7286 7286 6043 0 -1 1077944384 2769 0 0 0 125 1 0 0 20 0 28 0 475874255 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302748707184 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7303] ppid=7286 vsize=28768336 memory=0 CPUtime=1.36 cores=0-7
/proc/7288/task/7303/stat : 7303 (java) R 7286 7286 6043 0 -1 1077944384 3214 0 0 0 135 1 0 0 20 0 28 0 475874255 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302747654384 140304491002498 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7304] ppid=7286 vsize=28768336 memory=0 CPUtime=1.18 cores=0-7
/proc/7288/task/7304/stat : 7304 (java) S 7286 7286 6043 0 -1 1077944384 2693 0 0 0 117 1 0 0 20 0 28 0 475874255 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302746601584 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7305] ppid=7286 vsize=28768336 memory=0 CPUtime=0.72 cores=0-7
/proc/7288/task/7305/stat : 7305 (java) S 7286 7286 6043 0 -1 1077944384 2958 0 0 0 72 0 0 0 20 0 28 0 475874255 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302745548784 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7306] ppid=7286 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7306/stat : 7306 (java) S 7286 7286 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475874255 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302744497248 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7307] ppid=7286 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7307/stat : 7307 (java) S 7286 7286 6043 0 -1 1077944384 519 0 0 0 0 0 0 0 20 0 28 0 475874256 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302743444528 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7340] ppid=7286 vsize=28768336 memory=0 CPUtime=2.17 cores=0-7
/proc/7288/task/7340/stat : 7340 (java) R 7286 7286 6043 0 -1 4202560 72 0 0 0 217 0 0 0 20 0 28 0 475874625 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302728146056 140304122858377 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7341] ppid=7286 vsize=28768336 memory=0 CPUtime=2.22 cores=0-7
/proc/7288/task/7341/stat : 7341 (java) R 7286 7286 6043 0 -1 4202560 64 0 0 0 222 0 0 0 20 0 28 0 475874625 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302727094600 140304122457832 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7342] ppid=7286 vsize=28768336 memory=0 CPUtime=2.18 cores=0-7
/proc/7288/task/7342/stat : 7342 (java) R 7286 7286 6043 0 -1 4202560 148 0 0 0 218 0 0 0 20 0 28 0 475874625 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302734462720 140304122458611 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7343] ppid=7286 vsize=28768336 memory=0 CPUtime=2.21 cores=0-7
/proc/7288/task/7343/stat : 7343 (java) R 7286 7286 6043 0 -1 4202560 950 0 0 0 217 4 0 0 20 0 28 0 475874625 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302733412736 140304122657040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7344] ppid=7286 vsize=28768336 memory=0 CPUtime=2.2 cores=0-7
/proc/7288/task/7344/stat : 7344 (java) R 7286 7286 6043 0 -1 4202560 117 0 0 0 220 0 0 0 20 0 28 0 475874625 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302730251744 140304124136494 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7345] ppid=7286 vsize=28768336 memory=0 CPUtime=2.19 cores=0-7
/proc/7288/task/7345/stat : 7345 (java) R 7286 7286 6043 0 -1 4202560 89 0 0 0 219 0 0 0 20 0 28 0 475874625 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302729199224 140304122856679 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7346] ppid=7286 vsize=28768336 memory=0 CPUtime=2.18 cores=0-7
/proc/7288/task/7346/stat : 7346 (java) R 7286 7286 6043 0 -1 4202560 309 0 0 0 218 0 0 0 20 0 28 0 475874625 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302732358248 140304122436582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7347] ppid=7286 vsize=28768336 memory=0 CPUtime=2.16 cores=0-7
/proc/7288/task/7347/stat : 7347 (java) R 7286 7286 6043 0 -1 4202560 101 0 0 0 216 0 0 0 20 0 28 0 475874625 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302731305128 140304122856528 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
Current children cumulated CPU time: 42.65 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 688612 KiB

[startup+6.11167 s]
/proc/loadavg: 8.72 8.59 8.37 9/225 7347
/proc/meminfo: memFree=15994860/32770624 swapFree=67001908/67108860
[pid=7286] ppid=7283 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/7286/stat : 7286 (xcsp3-exec) S 7283 7286 6043 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475874249 115843072 362 33554432000 4194304 5098028 140732287173280 140732287171384 140612576850556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39170048 140732287181650 140732287181909 140732287181909 140732287184838 0
/proc/7286/statm: 28282 362 304 221 0 87 0
[pid=7288] ppid=7286 vsize=28768336 memory=687164 CPUtime=43.46 cores=0-7
/proc/7288/stat : 7288 (java) S 7286 7286 6043 0 -1 1077944320 29082 0 0 0 4295 51 0 0 20 0 28 0 475874249 29458776064 171791 33554432000 4194304 4196468 140734018340496 140734018323040 140304490991351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
/proc/7288/statm: 7192084 171791 3532 1 0 7153184 0
[pid=7288/tid=7289] ppid=7286 vsize=28768336 memory=54668 CPUtime=0.88 cores=0-7
/proc/7288/task/7289/stat : 7289 (java) S 7286 7286 6043 0 -1 1077944384 9475 0 0 0 83 5 0 0 20 0 28 0 475874250 29458776064 171791 33554432000 4194304 4196468 140734018340496 140304495232128 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7290] ppid=7286 vsize=28768336 memory=686896 CPUtime=0.15 cores=0-7
/proc/7288/task/7290/stat : 7290 (java) S 7286 7286 6043 0 -1 1077944384 217 0 0 0 11 4 0 0 20 0 28 0 475874250 29458776064 171791 33554432000 4194304 4196468 140734018340496 140304443612304 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7291] ppid=7286 vsize=28768336 memory=516452 CPUtime=0.12 cores=0-7
/proc/7288/task/7291/stat : 7291 (java) S 7286 7286 6043 0 -1 1077944384 1001 0 0 0 9 3 0 0 20 0 28 0 475874250 29458776064 171791 33554432000 4194304 4196468 140734018340496 140304442559504 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7292] ppid=7286 vsize=28768336 memory=988 CPUtime=0.12 cores=0-7
/proc/7288/task/7292/stat : 7292 (java) S 7286 7286 6043 0 -1 1077944384 248 0 0 0 9 3 0 0 20 0 28 0 475874250 29458776064 171791 33554432000 4194304 4196468 140734018340496 140304441506704 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7293] ppid=7286 vsize=28768336 memory=1448 CPUtime=0.09 cores=0-7
/proc/7288/task/7293/stat : 7293 (java) S 7286 7286 6043 0 -1 1077944384 112 0 0 0 6 3 0 0 20 0 28 0 475874250 29458776064 171791 33554432000 4194304 4196468 140734018340496 140304440453904 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7294] ppid=7286 vsize=28768336 memory=280990317082304 CPUtime=0.08 cores=0-7
/proc/7288/task/7294/stat : 7294 (java) S 7286 7286 6043 0 -1 1077944384 235 0 0 0 6 2 0 0 20 0 28 0 475874250 29458776064 171791 33554432000 4194304 4196468 140734018340496 140304439401104 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7295] ppid=7286 vsize=28768336 memory=171785806952741 CPUtime=0.1 cores=0-7
/proc/7288/task/7295/stat : 7295 (java) S 7286 7286 6043 0 -1 1077944384 127 0 0 0 8 2 0 0 20 0 28 0 475874251 29458776064 171791 33554432000 4194304 4196468 140734018340496 140304438348304 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7296] ppid=7286 vsize=28768336 memory=171785806952742 CPUtime=0.16 cores=0-7
/proc/7288/task/7296/stat : 7296 (java) S 7286 7286 6043 0 -1 1077944384 418 0 0 0 14 2 0 0 20 0 28 0 475874251 29458776064 171791 33554432000 4194304 4196468 140734018340496 140304437295504 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7297] ppid=7286 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7
/proc/7288/task/7297/stat : 7297 (java) S 7286 7286 6043 0 -1 1077944384 231 0 0 0 7 2 0 0 20 0 28 0 475874251 29458776064 171791 33554432000 4194304 4196468 140734018340496 140304436242704 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7298] ppid=7286 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/7288/task/7298/stat : 7298 (java) S 7286 7286 6043 0 -1 1077944384 737 0 0 0 1 0 0 0 20 0 28 0 475874252 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302752918384 140304491002498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7299] ppid=7286 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7299/stat : 7299 (java) S 7286 7286 6043 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 475874252 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302751864416 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7300] ppid=7286 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/7288/task/7300/stat : 7300 (java) S 7286 7286 6043 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 475874253 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302750811504 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7301] ppid=7286 vsize=28768336 memory=56 CPUtime=0 cores=0-7
/proc/7288/task/7301/stat : 7301 (java) S 7286 7286 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475874255 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302749759824 140304491009947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7302] ppid=7286 vsize=28768336 memory=-6520476220923696542 CPUtime=1.26 cores=0-7
/proc/7288/task/7302/stat : 7302 (java) S 7286 7286 6043 0 -1 1077944384 2769 0 0 0 125 1 0 0 20 0 28 0 475874255 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302748707184 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7303] ppid=7286 vsize=28768336 memory=4137287014106042739 CPUtime=1.36 cores=0-7
/proc/7288/task/7303/stat : 7303 (java) S 7286 7286 6043 0 -1 1077944384 3214 0 0 0 135 1 0 0 20 0 28 0 475874255 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302747654384 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7304] ppid=7286 vsize=28768336 memory=6655300316396806240 CPUtime=1.18 cores=0-7
/proc/7288/task/7304/stat : 7304 (java) S 7286 7286 6043 0 -1 1077944384 2693 0 0 0 117 1 0 0 20 0 28 0 475874255 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302746601584 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7305] ppid=7286 vsize=28768336 memory=56 CPUtime=0.72 cores=0-7
/proc/7288/task/7305/stat : 7305 (java) S 7286 7286 6043 0 -1 1077944384 2958 0 0 0 72 0 0 0 20 0 28 0 475874255 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302745548784 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7306] ppid=7286 vsize=28768336 memory=13807 CPUtime=0 cores=0-7
/proc/7288/task/7306/stat : 7306 (java) S 7286 7286 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475874255 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302744497248 140304491001557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7307] ppid=7286 vsize=28768336 memory=20604 CPUtime=0 cores=0-7
/proc/7288/task/7307/stat : 7307 (java) S 7286 7286 6043 0 -1 1077944384 519 0 0 0 0 0 0 0 20 0 28 0 475874256 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302743444528 140304491002498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7340] ppid=7286 vsize=28768336 memory=0 CPUtime=2.26 cores=0-7
/proc/7288/task/7340/stat : 7340 (java) R 7286 7286 6043 0 -1 4202560 72 0 0 0 226 0 0 0 20 0 28 0 475874625 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302728146056 140304122856496 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7341] ppid=7286 vsize=28768336 memory=1448 CPUtime=2.32 cores=0-7
/proc/7288/task/7341/stat : 7341 (java) R 7286 7286 6043 0 -1 4202560 64 0 0 0 232 0 0 0 20 0 28 0 475874625 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302727094600 140304122413826 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7342] ppid=7286 vsize=28768336 memory=8 CPUtime=2.28 cores=0-7
/proc/7288/task/7342/stat : 7342 (java) R 7286 7286 6043 0 -1 4202560 148 0 0 0 228 0 0 0 20 0 28 0 475874625 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302734462720 140304122858507 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7343] ppid=7286 vsize=28768336 memory=6 CPUtime=2.31 cores=0-7
/proc/7288/task/7343/stat : 7343 (java) R 7286 7286 6043 0 -1 4202560 963 0 0 0 227 4 0 0 20 0 28 0 475874625 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302733412736 140304123228240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7344] ppid=7286 vsize=28768336 memory=4 CPUtime=2.3 cores=0-7
/proc/7288/task/7344/stat : 7344 (java) R 7286 7286 6043 0 -1 4202560 117 0 0 0 230 0 0 0 20 0 28 0 475874625 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302730251744 140304122436764 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7345] ppid=7286 vsize=28768336 memory=1448 CPUtime=2.29 cores=0-7
/proc/7288/task/7345/stat : 7345 (java) R 7286 7286 6043 0 -1 4202560 89 0 0 0 229 0 0 0 20 0 28 0 475874625 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302729199224 140304122856861 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7346] ppid=7286 vsize=28768336 memory=445792 CPUtime=2.28 cores=0-7
/proc/7288/task/7346/stat : 7346 (java) R 7286 7286 6043 0 -1 4202560 309 0 0 0 228 0 0 0 20 0 28 0 475874625 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302732358248 140304124433502 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
[pid=7288/tid=7347] ppid=7286 vsize=28768336 memory=0 CPUtime=2.26 cores=0-7
/proc/7288/task/7347/stat : 7347 (java) R 7286 7286 6043 0 -1 4202560 101 0 0 0 226 0 0 0 20 0 28 0 475874625 29458776064 171791 33554432000 4194304 4196468 140734018340496 140302731305128 140304122857926 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24715264 140734018347990 140734018348166 140734018348166 140734018351055 0
Current children cumulated CPU time: 43.46 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 688612 KiB

Child status: 0
Real time (s): 6.19535
CPU time (s): 44.02
CPU user time (s): 43.4954
CPU system time (s): 0.524668
CPU usage (%): 710.533
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 688612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.4954
system time used= 0.524668
maximum resident set size= 687436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30531
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= 4323
involuntary context switches= 1051


# summary of solver processes directly reported to runsolver:
#   pid: 7286
#   total CPU time (s): 44.02
#   total CPU user time (s): 43.4954
#   total CPU system time (s): 0.524668

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.078221 second user time and 0.113476 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-20 18:18:27
IDJOB=4404589
IDBENCH=122947
IDSOLVER=2865
FILE ID=node133/4404589-1568996347
RUNJOBID= node133-1568994386-6070
PBS_JOBID= 21704723
Free space on /var/tmp= 13488 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-16-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 /var/tmp/evaluation-result-4404589-1568996347/watcher-4404589-1568996347 -o /var/tmp/evaluation-result-4404589-1568996347/solver-4404589-1568996347 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1568994386-6070 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 497734333 HOME/instance-4404589-1568996347.xml

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

MD5SUM BENCH= 03e72fbe3dfec80e6807e25b52393289
RANDOM SEED=497734333

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.18
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.18
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.18
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.18
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:        16670024 kB
MemAvailable:   31849532 kB
Buffers:          118252 kB
Cached:         14974624 kB
SwapCached:         5376 kB
Active:          7526160 kB
Inactive:        7572108 kB
Active(anon):       1680 kB
Inactive(anon):    50296 kB
Active(file):    7524480 kB
Inactive(file):  7521812 kB
Unevictable:      111416 kB
Mlocked:          111416 kB
SwapTotal:      67108860 kB
SwapFree:       67001908 kB
Dirty:             26480 kB
Writeback:             0 kB
AnonPages:        112804 kB
Mapped:            51236 kB
Shmem:             37744 kB
Slab:             590924 kB
SReclaimable:     561676 kB
SUnreclaim:        29248 kB
KernelStack:        3520 kB
PageTables:         5840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13464 MiB
End job on node133 at 2019-09-20 18:18:33