Trace number 4394265

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-06-14OPT2 7.00867 2.06731

General information on the benchmark

NameOpd/Opd-sum-small/
Opd-10-031-009.xml
MD5SUMc781bc55b7ee4c4bb57d86a03397642c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark3.78622
Satisfiable
(Un)Satisfiability was proved
Number of variables311
Number of constraints56
Number of domains2
Minimum domain size2
Maximum domain size30
Distribution of domain sizes[{"size":2,"count":310},{"size":30,"count":1}]
Minimum variable degree11
Maximum variable degree46
Distribution of variable degrees[{"degree":11,"count":310},{"degree":46,"count":1}]
Minimum constraint arity31
Maximum constraint arity310
Distribution of constraint arities[{"arity":31,"count":10},{"arity":63,"count":45},{"arity":310,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":55}]
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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394265-1568328655.xml"  -tl '2400s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4394265-1568328655.xml, -tl, 2400s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.29	c parse instance...
1.37/0.65	c solve instance...
4.86/1.52	o 9 
4.86/1.58	o 8 
5.23/1.64	o 7 
5.62/1.70	o 6 
5.62/1.75	o 5 
6.03/1.80	o 4 
6.03/1.88	o 3 
6.85/2.05	o 2 
6.85/2.06	s OPTIMUM FOUND
6.85/2.06	v <instantiation>
6.85/2.06	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[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[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[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[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[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[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[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[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[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] </list>
6.85/2.06	v 	<values>2 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 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 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 </values>
6.85/2.06	v </instantiation>

Verifier Data 

OK	2

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394265-1568328655/watcher-4394265-1568328655 -o /tmp/evaluation-result-4394265-1568328655/solver-4394265-1568328655 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19559 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1830304697 HOME/instance-4394265-1568328655.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.105115 s]*
/proc/loadavg: 8.76 7.73 5.01 6/234 21003
/proc/meminfo: memFree=18823092/32770624 swapFree=66939824/67108860
[pid=20987] ppid=20984 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20987/stat : 20987 (xcsp3-exec) S 20984 20987 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408780386 115843072 363 33554432000 4194304 5098028 140723412524064 140723412522168 140567920669308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29499392 140723412525946 140723412526189 140723412526189 140723412529098 0
/proc/20987/statm: 28282 363 305 221 0 87 0
[pid=20989] ppid=20987 vsize=15144768 memory=29644 CPUtime=0.13 cores=0,2,4,6
/proc/20989/stat : 20989 (java) S 20987 20987 19528 0 -1 1077944320 5857 0 0 0 12 1 0 0 20 0 15 0 408780386 15508242432 7411 33554432000 4194304 4196468 140724090210208 140724090192752 140424504389367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
/proc/20989/statm: 3786192 7411 3180 1 0 3748377 0
[pid=20989/tid=20990] ppid=20987 vsize=15144768 memory=7100839878644302962 CPUtime=0.1 cores=0,2,4,6
/proc/20989/task/20990/stat : 20990 (java) R 20987 20987 19528 0 -1 4202560 3736 0 0 0 9 1 0 0 20 0 15 0 408780387 15508242432 7411 33554432000 4194304 4196468 140724090210208 140424508620512 140424504401302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20991] ppid=20987 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408780387 15508242432 7411 33554432000 4194304 4196468 140724090210208 140424432429584 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20992] ppid=20987 vsize=15144768 memory=140714162968192 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408780387 15508242432 7411 33554432000 4194304 4196468 140724090210208 140424431377040 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20993] ppid=20987 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408780387 15508242432 7411 33554432000 4194304 4196468 140724090210208 140424430323984 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20994] ppid=20987 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20994/stat : 20994 (java) S 20987 20987 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408780387 15508242432 7411 33554432000 4194304 4196468 140724090210208 140424429271440 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20995] ppid=20987 vsize=15144768 memory=140714162968192 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20995/stat : 20995 (java) S 20987 20987 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408780389 15508242432 7411 33554432000 4194304 4196468 140724090210208 140423972936432 140424504400514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20996] ppid=20987 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20996/stat : 20996 (java) S 20987 20987 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408780389 15508242432 7411 33554432000 4194304 4196468 140724090210208 140423971882656 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20997] ppid=20987 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20997/stat : 20997 (java) S 20987 20987 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408780389 15508242432 7411 33554432000 4194304 4196468 140724090210208 140423970829552 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20998] ppid=20987 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20998/stat : 20998 (java) S 20987 20987 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408780392 15508242432 7411 33554432000 4194304 4196468 140724090210208 140423969778128 140424504407963 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20999] ppid=20987 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20999/stat : 20999 (java) R 20987 20987 19528 0 -1 4202560 292 0 0 0 0 0 0 0 20 0 15 0 408780392 15508242432 7411 33554432000 4194304 4196468 140724090210208 140423968716736 140424504410714 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21000] ppid=20987 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20989/task/21000/stat : 21000 (java) R 20987 20987 19528 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 15 0 408780392 15508242432 7411 33554432000 4194304 4196468 140724090210208 140423967672688 140424504400514 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21001] ppid=20987 vsize=15144768 memory=140714162968192 CPUtime=0.02 cores=0,2,4,6
/proc/20989/task/21001/stat : 21001 (java) R 20987 20987 19528 0 -1 4202560 367 0 0 0 2 0 0 0 20 0 15 0 408780392 15508242432 7411 33554432000 4194304 4196468 140724090210208 140423966619632 140424504401302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21002] ppid=20987 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20989/task/21002/stat : 21002 (java) S 20987 20987 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408780392 15508242432 7411 33554432000 4194304 4196468 140724090210208 140423965567328 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21003] ppid=20987 vsize=15144768 memory=140714162968192 CPUtime=0 cores=0,2,4,6
/proc/20989/task/21003/stat : 21003 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408780392 15508242432 7411 33554432000 4194304 4196468 140724090210208 140423964515376 140424504400514 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31096 KiB

[startup+0.210851 s]*
/proc/loadavg: 8.76 7.73 5.01 6/234 21003
/proc/meminfo: memFree=18810408/32770624 swapFree=66939824/67108860
[pid=20987] ppid=20984 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20987/stat : 20987 (xcsp3-exec) S 20984 20987 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408780386 115843072 363 33554432000 4194304 5098028 140723412524064 140723412522168 140567920669308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29499392 140723412525946 140723412526189 140723412526189 140723412529098 0
/proc/20987/statm: 28282 363 305 221 0 87 0
[pid=20989] ppid=20987 vsize=15144768 memory=41004 CPUtime=0.34 cores=0,2,4,6
/proc/20989/stat : 20989 (java) S 20987 20987 19528 0 -1 1077944320 9435 0 0 0 31 3 0 0 20 0 15 0 408780386 15508242432 10251 33554432000 4194304 4196468 140724090210208 140724090192752 140424504389367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
/proc/20989/statm: 3786192 10251 3319 1 0 3748377 0
[pid=20989/tid=20990] ppid=20987 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/20989/task/20990/stat : 20990 (java) R 20987 20987 19528 0 -1 4202560 6625 0 0 0 17 2 0 0 20 0 15 0 408780387 15508242432 10251 33554432000 4194304 4196468 140724090210208 140424508620608 140424504401302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20991] ppid=20987 vsize=15144768 memory=11079 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408780387 15508242432 10251 33554432000 4194304 4196468 140724090210208 140424432429584 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20992] ppid=20987 vsize=15144768 memory=3832618504109162528 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408780387 15508242432 10251 33554432000 4194304 4196468 140724090210208 140424431377040 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20993] ppid=20987 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408780387 15508242432 10251 33554432000 4194304 4196468 140724090210208 140424430323984 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20994] ppid=20987 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20994/stat : 20994 (java) S 20987 20987 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408780387 15508242432 10251 33554432000 4194304 4196468 140724090210208 140424429271440 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20995] ppid=20987 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20995/stat : 20995 (java) S 20987 20987 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408780389 15508242432 10251 33554432000 4194304 4196468 140724090210208 140423972936432 140424504400514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20996] ppid=20987 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20996/stat : 20996 (java) S 20987 20987 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408780389 15508242432 10251 33554432000 4194304 4196468 140724090210208 140423971882656 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20997] ppid=20987 vsize=15144768 memory=140714162968192 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20997/stat : 20997 (java) S 20987 20987 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408780389 15508242432 10251 33554432000 4194304 4196468 140724090210208 140423970829552 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20998] ppid=20987 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20998/stat : 20998 (java) S 20987 20987 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408780392 15508242432 10251 33554432000 4194304 4196468 140724090210208 140423969778128 140424504407963 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20999] ppid=20987 vsize=15144768 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20989/task/20999/stat : 20999 (java) R 20987 20987 19528 0 -1 4202560 329 0 0 0 1 0 0 0 20 0 15 0 408780392 15508242432 10251 33554432000 4194304 4196468 140724090210208 140423968725232 140424504400514 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21000] ppid=20987 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/20989/task/21000/stat : 21000 (java) S 20987 20987 19528 0 -1 1077944384 401 0 0 0 3 0 0 0 20 0 15 0 408780392 15508242432 10251 33554432000 4194304 4196468 140724090210208 140423967672688 140424504400514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21001] ppid=20987 vsize=15144768 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20989/task/21001/stat : 21001 (java) R 20987 20987 19528 0 -1 4202560 774 0 0 0 8 0 0 0 20 0 15 0 408780392 15508242432 10251 33554432000 4194304 4196468 140724090210208 140423966619440 140424490084376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21002] ppid=20987 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20989/task/21002/stat : 21002 (java) S 20987 20987 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408780392 15508242432 10251 33554432000 4194304 4196468 140724090210208 140423965567328 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21003] ppid=20987 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20989/task/21003/stat : 21003 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408780392 15508242432 10251 33554432000 4194304 4196468 140724090210208 140423964515376 140424504400514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42456 KiB

[startup+0.310675 s]*
/proc/loadavg: 8.76 7.73 5.01 7/234 21003
/proc/meminfo: memFree=18804840/32770624 swapFree=66939824/67108860
[pid=20987] ppid=20984 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20987/stat : 20987 (xcsp3-exec) S 20984 20987 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408780386 115843072 363 33554432000 4194304 5098028 140723412524064 140723412522168 140567920669308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29499392 140723412525946 140723412526189 140723412526189 140723412529098 0
/proc/20987/statm: 28282 363 305 221 0 87 0
[pid=20989] ppid=20987 vsize=15149024 memory=49832 CPUtime=0.53 cores=0,2,4,6
/proc/20989/stat : 20989 (java) S 20987 20987 19528 0 -1 1077944320 10794 0 0 0 49 4 0 0 20 0 15 0 408780386 15512600576 12458 33554432000 4194304 4196468 140724090210208 140724090192752 140424504389367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
/proc/20989/statm: 3787256 12458 3359 1 0 3748377 0
[pid=20989/tid=20990] ppid=20987 vsize=15149024 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/20989/task/20990/stat : 20990 (java) R 20987 20987 19528 0 -1 4202560 7745 0 0 0 27 3 0 0 20 0 15 0 408780387 15512600576 12458 33554432000 4194304 4196468 140724090210208 140424508620480 140424488469854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20991] ppid=20987 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408780387 15512600576 12458 33554432000 4194304 4196468 140724090210208 140424432429584 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20992] ppid=20987 vsize=15149024 memory=3834029173232631840 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408780387 15512600576 12458 33554432000 4194304 4196468 140724090210208 140424431377040 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20993] ppid=20987 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408780387 15512600576 12458 33554432000 4194304 4196468 140724090210208 140424430323984 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20994] ppid=20987 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20994/stat : 20994 (java) S 20987 20987 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408780387 15512600576 12458 33554432000 4194304 4196468 140724090210208 140424429271440 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20995] ppid=20987 vsize=15149024 memory=140714162968192 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20995/stat : 20995 (java) S 20987 20987 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408780389 15512600576 12458 33554432000 4194304 4196468 140724090210208 140423972936432 140424504400514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20996] ppid=20987 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20996/stat : 20996 (java) S 20987 20987 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408780389 15512600576 12458 33554432000 4194304 4196468 140724090210208 140423971882656 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20997] ppid=20987 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20997/stat : 20997 (java) S 20987 20987 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408780389 15512600576 12458 33554432000 4194304 4196468 140724090210208 140423970829552 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20998] ppid=20987 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20998/stat : 20998 (java) S 20987 20987 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408780392 15512600576 12458 33554432000 4194304 4196468 140724090210208 140423969778128 140424504407963 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20999] ppid=20987 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20989/task/20999/stat : 20999 (java) R 20987 20987 19528 0 -1 4202560 460 0 0 0 3 0 0 0 20 0 15 0 408780392 15512600576 12458 33554432000 4194304 4196468 140724090210208 140423968715152 140424504410714 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21000] ppid=20987 vsize=15149024 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/20989/task/21000/stat : 21000 (java) S 20987 20987 19528 0 -1 1077944384 416 0 0 0 5 0 0 0 20 0 15 0 408780392 15512600576 12524 33554432000 4194304 4196468 140724090210208 140423967672688 140424504400514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21001] ppid=20987 vsize=15149024 memory=140714162968192 CPUtime=0.12 cores=0,2,4,6
/proc/20989/task/21001/stat : 21001 (java) S 20987 20987 19528 0 -1 1077944384 871 0 0 0 12 0 0 0 20 0 15 0 408780392 15512600576 12524 33554432000 4194304 4196468 140724090210208 140423966619632 140424504400514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21002] ppid=20987 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20989/task/21002/stat : 21002 (java) S 20987 20987 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408780392 15512600576 12524 33554432000 4194304 4196468 140724090210208 140423965567328 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21003] ppid=20987 vsize=15149024 memory=140714162968192 CPUtime=0 cores=0,2,4,6
/proc/20989/task/21003/stat : 21003 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408780392 15512600576 12524 33554432000 4194304 4196468 140724090210208 140423964515376 140424504400514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51284 KiB

[startup+0.701051 s]
/proc/loadavg: 8.76 7.73 5.01 8/234 21003
/proc/meminfo: memFree=18786156/32770624 swapFree=66939824/67108860
[pid=20987] ppid=20984 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20987/stat : 20987 (xcsp3-exec) S 20984 20987 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408780386 115843072 363 33554432000 4194304 5098028 140723412524064 140723412522168 140567920669308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29499392 140723412525946 140723412526189 140723412526189 140723412529098 0
/proc/20987/statm: 28282 363 305 221 0 87 0
[pid=20989] ppid=20987 vsize=15417404 memory=100104 CPUtime=1.69 cores=0,2,4,6
/proc/20989/stat : 20989 (java) S 20987 20987 19528 0 -1 1077944320 14657 0 0 0 163 6 0 0 20 0 19 0 408780386 15787421696 25026 33554432000 4194304 4196468 140724090210208 140724090192752 140424504389367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
/proc/20989/statm: 3854351 25026 3459 1 0 3815453 0
[pid=20989/tid=20990] ppid=20987 vsize=15417404 memory=2116 CPUtime=0.64 cores=0,2,4,6
/proc/20989/task/20990/stat : 20990 (java) S 20987 20987 19528 0 -1 1077944384 9237 0 0 0 59 5 0 0 20 0 19 0 408780387 15787421696 25026 33554432000 4194304 4196468 140724090210208 140424508630144 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20991] ppid=20987 vsize=15417404 memory=520 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408780387 15787421696 25026 33554432000 4194304 4196468 140724090210208 140424432429584 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20992] ppid=20987 vsize=15417404 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408780387 15787421696 25026 33554432000 4194304 4196468 140724090210208 140424431377040 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20993] ppid=20987 vsize=15417404 memory=924 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408780387 15787421696 25026 33554432000 4194304 4196468 140724090210208 140424430323984 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20994] ppid=20987 vsize=15417404 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20994/stat : 20994 (java) S 20987 20987 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408780387 15787421696 25026 33554432000 4194304 4196468 140724090210208 140424429271440 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20995] ppid=20987 vsize=15417404 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20995/stat : 20995 (java) S 20987 20987 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 408780389 15787421696 25026 33554432000 4194304 4196468 140724090210208 140423972936432 140424504400514 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20996] ppid=20987 vsize=15417404 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20996/stat : 20996 (java) S 20987 20987 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408780389 15787421696 25026 33554432000 4194304 4196468 140724090210208 140423971882656 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20997] ppid=20987 vsize=15417404 memory=804 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20997/stat : 20997 (java) S 20987 20987 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408780389 15787421696 25026 33554432000 4194304 4196468 140724090210208 140423970829552 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20998] ppid=20987 vsize=15417404 memory=7086240636179272035 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20998/stat : 20998 (java) S 20987 20987 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408780392 15787421696 25026 33554432000 4194304 4196468 140724090210208 140423969778128 140424504407963 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20999] ppid=20987 vsize=15417404 memory=7453282923444726100 CPUtime=0.3 cores=0,2,4,6
/proc/20989/task/20999/stat : 20999 (java) R 20987 20987 19528 0 -1 4202560 943 0 0 0 30 0 0 0 20 0 19 0 408780392 15787421696 25026 33554432000 4194304 4196468 140724090210208 140423968724992 140424487885636 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21000] ppid=20987 vsize=15417404 memory=5792825802846453857 CPUtime=0.29 cores=0,2,4,6
/proc/20989/task/21000/stat : 21000 (java) R 20987 20987 19528 0 -1 4202560 1272 0 0 0 29 0 0 0 20 0 19 0 408780392 15787421696 25026 33554432000 4194304 4196468 140724090210208 140423967658656 140424485563411 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21001] ppid=20987 vsize=15417404 memory=8514726395715219869 CPUtime=0.36 cores=0,2,4,6
/proc/20989/task/21001/stat : 21001 (java) R 20987 20987 19528 0 -1 1077944384 1761 0 0 0 36 0 0 0 20 0 19 0 408780392 15787421696 25026 33554432000 4194304 4196468 140724090210208 140423966615504 140424504399573 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21002] ppid=20987 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20989/task/21002/stat : 21002 (java) S 20987 20987 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408780392 15787421696 25026 33554432000 4194304 4196468 140724090210208 140423965567328 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21003] ppid=20987 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20989/task/21003/stat : 21003 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408780392 15787421696 25026 33554432000 4194304 4196468 140724090210208 140423964515376 140424504400514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 101556 KiB

[startup+1.50305 s]
/proc/loadavg: 8.76 7.73 5.01 12/238 21007
/proc/meminfo: memFree=18731880/32770624 swapFree=66939824/67108860
[pid=20987] ppid=20984 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20987/stat : 20987 (xcsp3-exec) S 20984 20987 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408780386 115843072 363 33554432000 4194304 5098028 140723412524064 140723412522168 140567920669308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29499392 140723412525946 140723412526189 140723412526189 140723412529098 0
/proc/20987/statm: 28282 363 305 221 0 87 0
[pid=20989] ppid=20987 vsize=15417404 memory=198244 CPUtime=4.86 cores=0,2,4,6
/proc/20989/stat : 20989 (java) S 20987 20987 19528 0 -1 1077944320 15876 0 0 0 476 10 0 0 20 0 19 0 408780386 15787421696 49561 33554432000 4194304 4196468 140724090210208 140724090192752 140424504389367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
/proc/20989/statm: 3854351 49561 3499 1 0 3815453 0
[pid=20989/tid=20990] ppid=20987 vsize=15417404 memory=22787 CPUtime=0.64 cores=0,2,4,6
/proc/20989/task/20990/stat : 20990 (java) S 20987 20987 19528 0 -1 1077944384 9237 0 0 0 59 5 0 0 20 0 19 0 408780387 15787421696 49561 33554432000 4194304 4196468 140724090210208 140424508630144 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20991] ppid=20987 vsize=15417404 memory=1399094042734925955 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (java) S 20987 20987 19528 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 408780387 15787421696 49561 33554432000 4194304 4196468 140724090210208 140424432429584 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20992] ppid=20987 vsize=15417404 memory=-7737605734073681312 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (java) S 20987 20987 19528 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 408780387 15787421696 49561 33554432000 4194304 4196468 140724090210208 140424431377040 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20993] ppid=20987 vsize=15417404 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (java) S 20987 20987 19528 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 408780387 15787421696 49561 33554432000 4194304 4196468 140724090210208 140424430323984 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20994] ppid=20987 vsize=15417404 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20994/stat : 20994 (java) S 20987 20987 19528 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 19 0 408780387 15787421696 49561 33554432000 4194304 4196468 140724090210208 140424429271440 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20995] ppid=20987 vsize=15417404 memory=-7025452035940392864 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20995/stat : 20995 (java) S 20987 20987 19528 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 408780389 15787421696 49561 33554432000 4194304 4196468 140724090210208 140423972936432 140424504400514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20996] ppid=20987 vsize=15417404 memory=-9001734043636558696 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20996/stat : 20996 (java) S 20987 20987 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408780389 15787421696 49561 33554432000 4194304 4196468 140724090210208 140423971882656 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20997] ppid=20987 vsize=15417404 memory=-7457052372387209120 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20997/stat : 20997 (java) S 20987 20987 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408780389 15787421696 49561 33554432000 4194304 4196468 140724090210208 140423970829552 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20998] ppid=20987 vsize=15417404 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20998/stat : 20998 (java) S 20987 20987 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408780392 15787421696 49561 33554432000 4194304 4196468 140724090210208 140423969778128 140424504407963 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20999] ppid=20987 vsize=15417404 memory=-7025452035940392864 CPUtime=0.75 cores=0,2,4,6
/proc/20989/task/20999/stat : 20999 (java) R 20987 20987 19528 0 -1 4202560 1427 0 0 0 75 0 0 0 20 0 19 0 408780392 15787421696 49561 33554432000 4194304 4196468 140724090210208 140423968725528 140424487875609 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21000] ppid=20987 vsize=15417404 memory=-9001734043636558696 CPUtime=0.8 cores=0,2,4,6
/proc/20989/task/21000/stat : 21000 (java) R 20987 20987 19528 0 -1 4202560 1404 0 0 0 80 0 0 0 20 0 19 0 408780392 15787421696 49561 33554432000 4194304 4196468 140724090210208 140423967672984 140424483645073 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21001] ppid=20987 vsize=15417404 memory=-7457052372387209120 CPUtime=0.52 cores=0,2,4,6
/proc/20989/task/21001/stat : 21001 (java) R 20987 20987 19528 0 -1 1077944384 2095 0 0 0 52 0 0 0 20 0 19 0 408780392 15787421696 49561 33554432000 4194304 4196468 140724090210208 140423966619632 140424504400514 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21002] ppid=20987 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20989/task/21002/stat : 21002 (java) S 20987 20987 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408780392 15787421696 49561 33554432000 4194304 4196468 140724090210208 140423965567328 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21003] ppid=20987 vsize=15417404 memory=-2023959437020729679 CPUtime=0 cores=0,2,4,6
/proc/20989/task/21003/stat : 21003 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408780392 15787421696 49561 33554432000 4194304 4196468 140724090210208 140423964515376 140424504400514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21004] ppid=20987 vsize=15417404 memory=-2026666227646606628 CPUtime=0.59 cores=0,2,4,6
/proc/20989/task/21004/stat : 21004 (java) R 20987 20987 19528 0 -1 4202560 57 0 0 0 59 0 0 0 20 0 19 0 408780453 15787421696 49561 33554432000 4194304 4196468 140724090210208 140423957401104 140424112114039 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21005] ppid=20987 vsize=15417404 memory=-3040564339240289162 CPUtime=0.47 cores=0,2,4,6
/proc/20989/task/21005/stat : 21005 (java) R 20987 20987 19528 0 -1 4202560 105 0 0 0 46 1 0 0 20 0 19 0 408780453 15787421696 49561 33554432000 4194304 4196468 140724090210208 140423886524696 140424112115199 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21006] ppid=20987 vsize=15417404 memory=6944656591801717918 CPUtime=0.54 cores=0,2,4,6
/proc/20989/task/21006/stat : 21006 (java) R 20987 20987 19528 0 -1 4202560 37 0 0 0 54 0 0 0 20 0 19 0 408780453 15787421696 49561 33554432000 4194304 4196468 140724090210208 140423885472312 140424112114034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21007] ppid=20987 vsize=15417404 memory=6944656592452807316 CPUtime=0.42 cores=0,2,4,6
/proc/20989/task/21007/stat : 21007 (java) R 20987 20987 19528 0 -1 4202560 41 0 0 0 42 0 0 0 20 0 19 0 408780453 15787421696 49561 33554432000 4194304 4196468 140724090210208 140423884420424 140424111848913 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
Current children cumulated CPU time: 4.86 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 199696 KiB

[startup+2.06724 s]
# the end of solver process 20987 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.88531 s, system=0.12335 s

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

[startup+1.60105 s]
/proc/loadavg: 8.76 7.73 5.01 12/238 21007
/proc/meminfo: memFree=18731880/32770624 swapFree=66939824/67108860
[pid=20987] ppid=20984 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20987/stat : 20987 (xcsp3-exec) S 20984 20987 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408780386 115843072 363 33554432000 4194304 5098028 140723412524064 140723412522168 140567920669308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29499392 140723412525946 140723412526189 140723412526189 140723412529098 0
/proc/20987/statm: 28282 363 305 221 0 87 0
[pid=20989] ppid=20987 vsize=15419460 memory=198628 CPUtime=5.23 cores=0,2,4,6
/proc/20989/stat : 20989 (java) S 20987 20987 19528 0 -1 1077944320 16046 0 0 0 513 10 0 0 20 0 19 0 408780386 15789527040 49657 33554432000 4194304 4196468 140724090210208 140724090192752 140424504389367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
/proc/20989/statm: 3854865 49657 3505 1 0 3815967 0
[pid=20989/tid=20990] ppid=20987 vsize=15419460 memory=7739835539004874857 CPUtime=0.65 cores=0,2,4,6
/proc/20989/task/20990/stat : 20990 (java) S 20987 20987 19528 0 -1 1077944384 9239 0 0 0 60 5 0 0 20 0 19 0 408780387 15789527040 49657 33554432000 4194304 4196468 140724090210208 140424508630144 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20991] ppid=20987 vsize=15419460 memory=7164214818282828133 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (java) S 20987 20987 19528 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 408780387 15789527040 49657 33554432000 4194304 4196468 140724090210208 140424432429584 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20992] ppid=20987 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (java) S 20987 20987 19528 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 408780387 15789527040 49657 33554432000 4194304 4196468 140724090210208 140424431377040 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20993] ppid=20987 vsize=15419460 memory=55 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (java) S 20987 20987 19528 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 19 0 408780387 15789527040 49657 33554432000 4194304 4196468 140724090210208 140424430323984 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20994] ppid=20987 vsize=15419460 memory=140714000546152 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20994/stat : 20994 (java) S 20987 20987 19528 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 19 0 408780387 15789527040 49657 33554432000 4194304 4196468 140724090210208 140424429271440 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20995] ppid=20987 vsize=15419460 memory=140714000548489 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20995/stat : 20995 (java) S 20987 20987 19528 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 408780389 15789527040 49657 33554432000 4194304 4196468 140724090210208 140423972936432 140424504400514 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20996] ppid=20987 vsize=15419460 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20996/stat : 20996 (java) S 20987 20987 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408780389 15789527040 49657 33554432000 4194304 4196468 140724090210208 140423971882656 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20997] ppid=20987 vsize=15419460 memory=38224 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20997/stat : 20997 (java) S 20987 20987 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408780389 15789527040 49657 33554432000 4194304 4196468 140724090210208 140423970829552 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20998] ppid=20987 vsize=15419460 memory=988 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20998/stat : 20998 (java) S 20987 20987 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408780392 15789527040 49657 33554432000 4194304 4196468 140724090210208 140423969778128 140424504407963 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20999] ppid=20987 vsize=15419460 memory=2008 CPUtime=0.84 cores=0,2,4,6
/proc/20989/task/20999/stat : 20999 (java) R 20987 20987 19528 0 -1 4202560 1436 0 0 0 84 0 0 0 20 0 19 0 408780392 15789527040 49657 33554432000 4194304 4196468 140724090210208 140423968706832 140424485088809 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21000] ppid=20987 vsize=15419460 memory=1436 CPUtime=0.89 cores=0,2,4,6
/proc/20989/task/21000/stat : 21000 (java) R 20987 20987 19528 0 -1 1077944384 1430 0 0 0 89 0 0 0 20 0 19 0 408780392 15789527040 49657 33554432000 4194304 4196468 140724090210208 140423967652176 140424504399573 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21001] ppid=20987 vsize=15419460 memory=4164 CPUtime=0.53 cores=0,2,4,6
/proc/20989/task/21001/stat : 21001 (java) R 20987 20987 19528 0 -1 4202560 2110 0 0 0 53 0 0 0 20 0 19 0 408780392 15789527040 49657 33554432000 4194304 4196468 140724090210208 140423966619552 140424504401302 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21002] ppid=20987 vsize=15419460 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/20989/task/21002/stat : 21002 (java) S 20987 20987 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408780392 15789527040 49657 33554432000 4194304 4196468 140724090210208 140423965567328 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21003] ppid=20987 vsize=15419460 memory=1608 CPUtime=0 cores=0,2,4,6
/proc/20989/task/21003/stat : 21003 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408780392 15789527040 49657 33554432000 4194304 4196468 140724090210208 140423964515376 140424504400514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
Current children cumulated CPU time: 5.23 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 200080 KiB

[startup+2.0007 s]*
/proc/loadavg: 8.76 7.73 5.01 11/238 21035
/proc/meminfo: memFree=18634572/32770624 swapFree=66939824/67108860
[pid=20987] ppid=20984 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/20987/stat : 20987 (xcsp3-exec) S 20984 20987 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408780386 115843072 363 33554432000 4194304 5098028 140723412524064 140723412522168 140567920669308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29499392 140723412525946 140723412526189 140723412526189 140723412529098 0
/proc/20987/statm: 28282 363 305 221 0 87 0
[pid=20989] ppid=20987 vsize=15419460 memory=217848 CPUtime=6.85 cores=0,2,4,6
/proc/20989/stat : 20989 (java) S 20987 20987 19528 0 -1 1077944320 16711 0 0 0 674 11 0 0 20 0 19 0 408780386 15789527040 54462 33554432000 4194304 4196468 140724090210208 140724090192752 140424504389367 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
/proc/20989/statm: 3854865 54462 3507 1 0 3815967 0
[pid=20989/tid=20990] ppid=20987 vsize=15419460 memory=7883960649037381690 CPUtime=0.65 cores=0,2,4,6
/proc/20989/task/20990/stat : 20990 (java) S 20987 20987 19528 0 -1 1077944384 9240 0 0 0 60 5 0 0 20 0 19 0 408780387 15789527040 54462 33554432000 4194304 4196468 140724090210208 140424508630144 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20991] ppid=20987 vsize=15419460 memory=10535 CPUtime=0.01 cores=0,2,4,6
/proc/20989/task/20991/stat : 20991 (java) S 20987 20987 19528 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 19 0 408780387 15789527040 54462 33554432000 4194304 4196468 140724090210208 140424432429584 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20992] ppid=20987 vsize=15419460 memory=3544528842120418976 CPUtime=0.02 cores=0,2,4,6
/proc/20989/task/20992/stat : 20992 (java) S 20987 20987 19528 0 -1 1077944384 26 0 0 0 2 0 0 0 20 0 19 0 408780387 15789527040 54462 33554432000 4194304 4196468 140724090210208 140424431377040 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20993] ppid=20987 vsize=15419460 memory=6943526294502006880 CPUtime=0.02 cores=0,2,4,6
/proc/20989/task/20993/stat : 20993 (java) S 20987 20987 19528 0 -1 1077944384 33 0 0 0 2 0 0 0 20 0 19 0 408780387 15789527040 54462 33554432000 4194304 4196468 140724090210208 140424430323984 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20994] ppid=20987 vsize=15419460 memory=3472328279047811119 CPUtime=0.01 cores=0,2,4,6
/proc/20989/task/20994/stat : 20994 (java) S 20987 20987 19528 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 19 0 408780387 15789527040 54462 33554432000 4194304 4196468 140724090210208 140424429271440 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20995] ppid=20987 vsize=15419460 memory=3472469010323539632 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20995/stat : 20995 (java) S 20987 20987 19528 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 408780389 15789527040 54462 33554432000 4194304 4196468 140724090210208 140423972936432 140424504400514 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20996] ppid=20987 vsize=15419460 memory=8389772264424737328 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20996/stat : 20996 (java) S 20987 20987 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408780389 15789527040 54462 33554432000 4194304 4196468 140724090210208 140423971882720 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20997] ppid=20987 vsize=15419460 memory=281428000844896 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20997/stat : 20997 (java) S 20987 20987 19528 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 408780389 15789527040 54462 33554432000 4194304 4196468 140724090210208 140423970829568 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20998] ppid=20987 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20989/task/20998/stat : 20998 (java) S 20987 20987 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408780392 15789527040 54462 33554432000 4194304 4196468 140724090210208 140423969778128 140424504407963 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=20999] ppid=20987 vsize=15419460 memory=0 CPUtime=1.02 cores=0,2,4,6
/proc/20989/task/20999/stat : 20999 (java) R 20987 20987 19528 0 -1 4202560 1468 0 0 0 102 0 0 0 20 0 19 0 408780392 15789527040 54462 33554432000 4194304 4196468 140724090210208 140423968725528 140424490453480 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21000] ppid=20987 vsize=15419460 memory=140714000431631 CPUtime=1.12 cores=0,2,4,6
/proc/20989/task/21000/stat : 21000 (java) R 20987 20987 19528 0 -1 4202560 1529 0 0 0 112 0 0 0 20 0 19 0 408780392 15789527040 54462 33554432000 4194304 4196468 140724090210208 140423967672608 140424488295478 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21001] ppid=20987 vsize=15419460 memory=140714162968200 CPUtime=0.56 cores=0,2,4,6
/proc/20989/task/21001/stat : 21001 (java) S 20987 20987 19528 0 -1 1077944384 2153 0 0 0 56 0 0 0 20 0 19 0 408780392 15789527040 54462 33554432000 4194304 4196468 140724090210208 140423966619632 140424504400514 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21002] ppid=20987 vsize=15419460 memory=140714000431631 CPUtime=0 cores=0,2,4,6
/proc/20989/task/21002/stat : 21002 (java) S 20987 20987 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408780392 15789527040 54462 33554432000 4194304 4196468 140724090210208 140423965567328 140424504399573 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21003] ppid=20987 vsize=15419460 memory=4206468019030941792 CPUtime=0 cores=0,2,4,6
/proc/20989/task/21003/stat : 21003 (java) S 20987 20987 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408780392 15789527040 54462 33554432000 4194304 4196468 140724090210208 140423964515376 140424504400514 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21032] ppid=20987 vsize=15419460 memory=-7533228491584937888 CPUtime=0.12 cores=0,2,4,6
/proc/20989/task/21032/stat : 21032 (java) R 20987 20987 19528 0 -1 4202560 17 0 0 0 12 0 0 0 20 0 19 0 408780574 15789527040 54462 33554432000 4194304 4196468 140724090210208 140423882315000 140424112421264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21033] ppid=20987 vsize=15419460 memory=-9001733975035308135 CPUtime=0.07 cores=0,2,4,6
/proc/20989/task/21033/stat : 21033 (java) R 20987 20987 19528 0 -1 4202560 17 0 0 0 7 0 0 0 20 0 19 0 408780574 15789527040 54462 33554432000 4194304 4196468 140724090210208 140423886524072 140424112194855 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21034] ppid=20987 vsize=15419460 memory=-6586667735541663136 CPUtime=0.13 cores=0,2,4,6
/proc/20989/task/21034/stat : 21034 (java) R 20987 20987 19528 0 -1 4202560 17 0 0 0 13 0 0 0 20 0 19 0 408780574 15789527040 54462 33554432000 4194304 4196468 140724090210208 140423885471960 140424111848736 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
[pid=20989/tid=21035] ppid=20987 vsize=15419460 memory=-7385037615208631145 CPUtime=0.11 cores=0,2,4,6
/proc/20989/task/21035/stat : 21035 (java) R 20987 20987 19528 0 -1 4202560 17 0 0 0 11 0 0 0 20 0 19 0 408780574 15789527040 54462 33554432000 4194304 4196468 140724090210208 140423957403544 140424111601115 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29794304 140724090217455 140724090217626 140724090217626 140724090220495 0
Current children cumulated CPU time: 6.85 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 219300 KiB

Child status: 0
Real time (s): 2.06731
CPU time (s): 7.00867
CPU user time (s): 6.88531
CPU system time (s): 0.12335
CPU usage (%): 339.024
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 219300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.88532
system time used= 0.12335
maximum resident set size= 218888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17373
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2033
involuntary context switches= 278


# summary of solver processes directly reported to runsolver:
#   pid: 20987
#   total CPU time (s): 7.00867
#   total CPU user time (s): 6.88531
#   total CPU system time (s): 0.12335

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042412 second user time and 0.06456 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-13 00:50:15
IDJOB=4394265
IDBENCH=122975
IDSOLVER=2842
FILE ID=node119/4394265-1568328655
RUNJOBID= node119-1568327905-19559
PBS_JOBID= 21701152
Free space on /tmp= 57244 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP17/Opd/Opd-sum-small/Opd-10-031-009.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394265-1568328655/watcher-4394265-1568328655 -o /tmp/evaluation-result-4394265-1568328655/solver-4394265-1568328655 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19559 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1830304697 HOME/instance-4394265-1568328655.xml

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

MD5SUM BENCH= c781bc55b7ee4c4bb57d86a03397642c
RANDOM SEED=1830304697

node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        18839084 kB
MemAvailable:   28317152 kB
Buffers:          168308 kB
Cached:          9526836 kB
SwapCached:        61084 kB
Active:          5780400 kB
Inactive:        7461200 kB
Active(anon):    3485076 kB
Inactive(anon):   102672 kB
Active(file):    2295324 kB
Inactive(file):  7358528 kB
Unevictable:      107484 kB
Mlocked:          107484 kB
SwapTotal:      67108860 kB
SwapFree:       66939824 kB
Dirty:             26452 kB
Writeback:             4 kB
AnonPages:       3594504 kB
Mapped:            56536 kB
Shmem:             32808 kB
Slab:             281996 kB
SReclaimable:     252676 kB
SUnreclaim:        29320 kB
KernelStack:        3872 kB
PageTables:        12408 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5441488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3495936 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 57220 MiB
End job on node119 at 2019-09-13 00:50:17