Trace number 4281343

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)OPT44 12.2591 2.0725

General information on the benchmark

NameGolombRuler/GolombRuler-a3-s1/
GolombRuler-09-a3.xml
MD5SUM99cce06e47b950d06ba02df1b2dd4384
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark44
Best CPU time to get the best result obtained on this benchmark4.9514399
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of constraints39
Number of domains2
Minimum domain size500
Maximum domain size501
Distribution of domain sizes[{"size":500,"count":36},{"size":501,"count":9}]
Minimum variable degree0
Maximum variable degree10
Distribution of variable degrees[{"degree":0,"count":45},{"degree":2,"count":36},{"degree":9,"count":7},{"degree":10,"count":2}]
Minimum constraint arity1
Maximum constraint arity36
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":36},{"arity":9,"count":1},{"arity":36,"count":1}]
Number of extensional constraints0
Number of intensional constraints37
Distribution of constraint types[{"type":"intension","count":37},{"type":"allDifferent","count":1},{"type":"ordered","count":1}]
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 -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281343-1503186014.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281343-1503186014.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
0.98/0.58	c solve instance...
1.94/0.75	o 498 
2.62/0.81	o 65 
2.62/0.82	o 61 
2.62/0.83	o 59 
2.62/0.84	o 57 
2.62/0.87	o 53 
2.62/0.89	o 52 
3.23/0.94	o 50 
4.01/1.03	o 49 
4.01/1.05	o 47 
5.50/1.29	o 45 
6.30/1.35	o 44 
11.88/2.05	s OPTIMUM FOUND
11.88/2.05	v <instantiation>
11.88/2.05	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[4][5] y[4][6] y[4][7] y[4][8] y[5][6] y[5][7] y[5][8] y[6][7] y[6][8] y[7][8] </list>
11.88/2.05	v 	<values>0 1 5 12 25 27 35 41 44 1 5 12 25 27 35 41 44 4 11 24 26 34 40 43 7 20 22 30 36 39 13 15 23 29 32 2 10 16 19 8 14 17 6 9 3 </values>
11.88/2.05	v </instantiation>

Verifier Data 

OK	44

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281343-1503186014/watcher-4281343-1503186014 -o /tmp/evaluation-result-4281343-1503186014/solver-4281343-1503186014 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503176127-19634 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 876135955 HOME/instance-4281343-1503186014.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=21988, runsolver pid=21985
Current StackSize limit: 8192 KiB


[startup+0.100135 s]*
/proc/loadavg: 8.18 8.05 8.02 2/199 22009
/proc/meminfo: memFree=27319460/32770624 swapFree=67108860/67108860
[pid=21988] ppid=21985 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21988/stat : 21988 (xcsp3-exec) S 21985 21988 19607 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151689047 9740288 346 33554432000 4194304 5098028 140736252786816 140736252784920 140426316710524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35409920 140736252793963 140736252794172 140736252794172 140736252796907 0
/proc/21988/statm: 2378 346 289 221 0 87 0
[pid=21990] ppid=21988 vsize=25999808 memory=26768 CPUtime=0.11 cores=0-7
/proc/21990/stat : 21990 (java) S 21988 21988 19607 0 -1 1077944320 5633 0 0 0 10 1 0 0 20 0 20 0 151689047 26623803392 6692 33554432000 4194304 4196468 140724833028800 140724833011344 139767151951607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
/proc/21990/statm: 6499952 6692 2845 1 0 6488269 0
[pid=21990/tid=21991] ppid=21988 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/21990/task/21991/stat : 21991 (java) R 21988 21988 19607 0 -1 4202560 3635 0 0 0 8 1 0 0 20 0 20 0 151689047 26623803392 6692 33554432000 4194304 4196468 140724833028800 139767156183520 139766775515168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21992] ppid=21988 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21990/task/21992/stat : 21992 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151689048 26623803392 6692 33554432000 4194304 4196468 140724833028800 139767104571792 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21993] ppid=21988 vsize=25999808 memory=140672410781312 CPUtime=0 cores=0-7
/proc/21990/task/21993/stat : 21993 (java) S 21988 21988 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151689048 26623803392 6692 33554432000 4194304 4196468 140724833028800 139767103518992 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21994] ppid=21988 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21994/stat : 21994 (java) S 21988 21988 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151689048 26623803392 6692 33554432000 4194304 4196468 140724833028800 139767102466704 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21995] ppid=21988 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21995/stat : 21995 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151689048 26623803392 6692 33554432000 4194304 4196468 140724833028800 139767101413904 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21996] ppid=21988 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21996/stat : 21996 (java) S 21988 21988 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151689048 26623803392 6692 33554432000 4194304 4196468 140724833028800 139767100361616 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21997] ppid=21988 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21990/task/21997/stat : 21997 (java) S 21988 21988 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151689048 26623803392 6692 33554432000 4194304 4196468 140724833028800 139767099308816 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21998] ppid=21988 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21998/stat : 21998 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151689048 26623803392 6692 33554432000 4194304 4196468 140724833028800 139767098256528 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21999] ppid=21988 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21999/stat : 21999 (java) S 21988 21988 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151689048 26623803392 6692 33554432000 4194304 4196468 140724833028800 139767097203728 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22000] ppid=21988 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22000/stat : 22000 (java) S 21988 21988 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151689050 26623803392 6692 33554432000 4194304 4196468 140724833028800 139765402093680 139767151962754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22001] ppid=21988 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22001/stat : 22001 (java) S 21988 21988 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151689050 26623803392 6692 33554432000 4194304 4196468 140724833028800 139765401039648 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22002] ppid=21988 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22002/stat : 22002 (java) S 21988 21988 19607 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151689050 26623803392 6692 33554432000 4194304 4196468 140724833028800 139765399987312 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22003] ppid=21988 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22003/stat : 22003 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151689053 26623803392 6692 33554432000 4194304 4196468 140724833028800 139765398935632 139767151970203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22004] ppid=21988 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22004/stat : 22004 (java) S 21988 21988 19607 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 20 0 151689053 26623803392 6692 33554432000 4194304 4196468 140724833028800 139765397883504 139767151962754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22005] ppid=21988 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22005/stat : 22005 (java) S 21988 21988 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151689053 26623803392 6692 33554432000 4194304 4196468 140724833028800 139765396830704 139767151962754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22006] ppid=21988 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22006/stat : 22006 (java) S 21988 21988 19607 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 151689053 26623803392 6692 33554432000 4194304 4196468 140724833028800 139765395778416 139767151962754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22007] ppid=21988 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/21990/task/22007/stat : 22007 (java) S 21988 21988 19607 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 151689053 26623803392 6692 33554432000 4194304 4196468 140724833028800 139765394725616 139767151962754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22008] ppid=21988 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22008/stat : 22008 (java) S 21988 21988 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151689053 26623803392 6692 33554432000 4194304 4196468 140724833028800 139765393672544 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22009] ppid=21988 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21990/task/22009/stat : 22009 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151689053 26623803392 6692 33554432000 4194304 4196468 140724833028800 139765392619824 139767151962754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28152 KiB

[startup+0.210563 s]*
/proc/loadavg: 8.18 8.05 8.02 3/199 22009
/proc/meminfo: memFree=27308684/32770624 swapFree=67108860/67108860
[pid=21988] ppid=21985 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21988/stat : 21988 (xcsp3-exec) S 21985 21988 19607 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151689047 9740288 346 33554432000 4194304 5098028 140736252786816 140736252784920 140426316710524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35409920 140736252793963 140736252794172 140736252794172 140736252796907 0
/proc/21988/statm: 2378 346 289 221 0 87 0
[pid=21990] ppid=21988 vsize=26004064 memory=38964 CPUtime=0.33 cores=0-7
/proc/21990/stat : 21990 (java) S 21988 21988 19607 0 -1 1077944320 8324 0 0 0 30 3 0 0 20 0 20 0 151689047 26628161536 9741 33554432000 4194304 4196468 140724833028800 140724833011344 139767151951607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
/proc/21990/statm: 6501016 9741 3027 1 0 6488269 0
[pid=21990/tid=21991] ppid=21988 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21990/task/21991/stat : 21991 (java) R 21988 21988 19607 0 -1 4202560 5428 0 0 0 18 1 0 0 20 0 20 0 151689047 26628161536 9741 33554432000 4194304 4196468 140724833028800 139767156174432 139767151973533 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21992] ppid=21988 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/21990/task/21992/stat : 21992 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151689048 26628161536 9741 33554432000 4194304 4196468 140724833028800 139767104571792 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21993] ppid=21988 vsize=26004064 memory=288371048562493056 CPUtime=0 cores=0-7
/proc/21990/task/21993/stat : 21993 (java) S 21988 21988 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151689048 26628161536 9741 33554432000 4194304 4196468 140724833028800 139767103518992 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21994] ppid=21988 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21990/task/21994/stat : 21994 (java) S 21988 21988 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151689048 26628161536 9741 33554432000 4194304 4196468 140724833028800 139767102466704 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21995] ppid=21988 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21995/stat : 21995 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151689048 26628161536 9741 33554432000 4194304 4196468 140724833028800 139767101413904 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21996] ppid=21988 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21996/stat : 21996 (java) S 21988 21988 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151689048 26628161536 9741 33554432000 4194304 4196468 140724833028800 139767100361616 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21997] ppid=21988 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21990/task/21997/stat : 21997 (java) S 21988 21988 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151689048 26628161536 9741 33554432000 4194304 4196468 140724833028800 139767099308816 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21998] ppid=21988 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21998/stat : 21998 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151689048 26628161536 9741 33554432000 4194304 4196468 140724833028800 139767098256528 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21999] ppid=21988 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21999/stat : 21999 (java) S 21988 21988 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151689048 26628161536 9741 33554432000 4194304 4196468 140724833028800 139767097203728 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22000] ppid=21988 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22000/stat : 22000 (java) S 21988 21988 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151689050 26628161536 9741 33554432000 4194304 4196468 140724833028800 139765402093680 139767151962754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22001] ppid=21988 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22001/stat : 22001 (java) S 21988 21988 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151689050 26628161536 9741 33554432000 4194304 4196468 140724833028800 139765401039648 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22002] ppid=21988 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22002/stat : 22002 (java) S 21988 21988 19607 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151689050 26628161536 9741 33554432000 4194304 4196468 140724833028800 139765399987312 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22003] ppid=21988 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22003/stat : 22003 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151689053 26628161536 9741 33554432000 4194304 4196468 140724833028800 139765398935632 139767151970203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22004] ppid=21988 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22004/stat : 22004 (java) S 21988 21988 19607 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 20 0 151689053 26628161536 9741 33554432000 4194304 4196468 140724833028800 139765397883504 139767151962754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22005] ppid=21988 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/21990/task/22005/stat : 22005 (java) S 21988 21988 19607 0 -1 1077944384 310 0 0 0 2 0 0 0 20 0 20 0 151689053 26628161536 9741 33554432000 4194304 4196468 140724833028800 139765396830704 139767151962754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22006] ppid=21988 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/21990/task/22006/stat : 22006 (java) S 21988 21988 19607 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 20 0 151689053 26628161536 9741 33554432000 4194304 4196468 140724833028800 139765395778416 139767151962754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22007] ppid=21988 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/21990/task/22007/stat : 22007 (java) R 21988 21988 19607 0 -1 4202560 710 0 0 0 7 0 0 0 20 0 20 0 151689053 26628161536 9741 33554432000 4194304 4196468 140724833028800 139765394725616 139767151963542 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22008] ppid=21988 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22008/stat : 22008 (java) S 21988 21988 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151689053 26628161536 9741 33554432000 4194304 4196468 140724833028800 139765393672544 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22009] ppid=21988 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21990/task/22009/stat : 22009 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151689053 26628161536 9741 33554432000 4194304 4196468 140724833028800 139765392619824 139767151962754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40348 KiB

[startup+0.310328 s]*
/proc/loadavg: 8.18 8.05 8.02 3/199 22009
/proc/meminfo: memFree=27302868/32770624 swapFree=67108860/67108860
[pid=21988] ppid=21985 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21988/stat : 21988 (xcsp3-exec) S 21985 21988 19607 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151689047 9740288 346 33554432000 4194304 5098028 140736252786816 140736252784920 140426316710524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35409920 140736252793963 140736252794172 140736252794172 140736252796907 0
/proc/21988/statm: 2378 346 289 221 0 87 0
[pid=21990] ppid=21988 vsize=26004064 memory=45992 CPUtime=0.5 cores=0-7
/proc/21990/stat : 21990 (java) S 21988 21988 19607 0 -1 1077944320 9234 0 0 0 46 4 0 0 20 0 20 0 151689047 26628161536 11498 33554432000 4194304 4196468 140724833028800 140724833011344 139767151951607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
/proc/21990/statm: 6501016 11498 3080 1 0 6488269 0
[pid=21990/tid=21991] ppid=21988 vsize=26004140 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/21990/task/21991/stat : 21991 (java) R 21988 21988 19607 0 -1 4202560 6208 0 0 0 27 2 0 0 20 0 20 0 151689047 26628239360 11498 33554432000 4194304 4196468 140724833028800 139767156183968 139767151973533 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21992] ppid=21988 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21992/stat : 21992 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151689048 26628239360 11498 33554432000 4194304 4196468 140724833028800 139767104571792 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21993] ppid=21988 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21993/stat : 21993 (java) S 21988 21988 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151689048 26628239360 11498 33554432000 4194304 4196468 140724833028800 139767103518992 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21994] ppid=21988 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21994/stat : 21994 (java) S 21988 21988 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151689048 26628239360 11498 33554432000 4194304 4196468 140724833028800 139767102466704 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21995] ppid=21988 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21995/stat : 21995 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151689048 26628239360 11498 33554432000 4194304 4196468 140724833028800 139767101413904 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21996] ppid=21988 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/21990/task/21996/stat : 21996 (java) S 21988 21988 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151689048 26628239360 11498 33554432000 4194304 4196468 140724833028800 139767100361616 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21997] ppid=21988 vsize=26004140 memory=140672258634671 CPUtime=0 cores=0-7
/proc/21990/task/21997/stat : 21997 (java) S 21988 21988 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151689048 26628239360 11498 33554432000 4194304 4196468 140724833028800 139767099308816 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21998] ppid=21988 vsize=26004140 memory=140672258636976 CPUtime=0 cores=0-7
/proc/21990/task/21998/stat : 21998 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151689048 26628239360 11498 33554432000 4194304 4196468 140724833028800 139767098256528 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21999] ppid=21988 vsize=26004140 memory=140672258639280 CPUtime=0 cores=0-7
/proc/21990/task/21999/stat : 21999 (java) S 21988 21988 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151689048 26628239360 11498 33554432000 4194304 4196468 140724833028800 139767097203728 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22000] ppid=21988 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22000/stat : 22000 (java) S 21988 21988 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151689050 26628239360 11498 33554432000 4194304 4196468 140724833028800 139765402093680 139767151962754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22001] ppid=21988 vsize=26004140 memory=281344517285520 CPUtime=0 cores=0-7
/proc/21990/task/22001/stat : 22001 (java) S 21988 21988 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151689050 26628239360 11498 33554432000 4194304 4196468 140724833028800 139765401039648 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22002] ppid=21988 vsize=26004140 memory=281344517292432 CPUtime=0 cores=0-7
/proc/21990/task/22002/stat : 22002 (java) S 21988 21988 19607 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151689050 26628239360 11498 33554432000 4194304 4196468 140724833028800 139765399987312 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22003] ppid=21988 vsize=26004140 memory=281344517233712 CPUtime=0 cores=0-7
/proc/21990/task/22003/stat : 22003 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151689053 26628239360 11498 33554432000 4194304 4196468 140724833028800 139765398935632 139767151970203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22004] ppid=21988 vsize=26004140 memory=281344517306256 CPUtime=0.01 cores=0-7
/proc/21990/task/22004/stat : 22004 (java) S 21988 21988 19607 0 -1 1077944384 443 0 0 0 1 0 0 0 20 0 20 0 151689053 26628239360 11498 33554432000 4194304 4196468 140724833028800 139765397883504 139767151962754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22005] ppid=21988 vsize=26004140 memory=281344517313168 CPUtime=0.03 cores=0-7
/proc/21990/task/22005/stat : 22005 (java) S 21988 21988 19607 0 -1 1077944384 310 0 0 0 3 0 0 0 20 0 20 0 151689053 26628239360 11498 33554432000 4194304 4196468 140724833028800 139765396830704 139767151962754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22006] ppid=21988 vsize=26004140 memory=281344517310864 CPUtime=0.01 cores=0-7
/proc/21990/task/22006/stat : 22006 (java) S 21988 21988 19607 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 20 0 151689053 26628239360 11498 33554432000 4194304 4196468 140724833028800 139765395778416 139767151962754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22007] ppid=21988 vsize=26004140 memory=281344517327024 CPUtime=0.11 cores=0-7
/proc/21990/task/22007/stat : 22007 (java) S 21988 21988 19607 0 -1 1077944384 779 0 0 0 11 0 0 0 20 0 20 0 151689053 26628239360 11498 33554432000 4194304 4196468 140724833028800 139765394725616 139767151962754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22008] ppid=21988 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22008/stat : 22008 (java) S 21988 21988 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151689053 26628239360 11498 33554432000 4194304 4196468 140724833028800 139765393672544 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22009] ppid=21988 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/21990/task/22009/stat : 22009 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151689053 26628239360 11498 33554432000 4194304 4196468 140724833028800 139765392619824 139767151962754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47376 KiB

[startup+0.701976 s]
/proc/loadavg: 8.18 8.05 8.02 6/199 22009
/proc/meminfo: memFree=27287608/32770624 swapFree=67108860/67108860
[pid=21988] ppid=21985 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21988/stat : 21988 (xcsp3-exec) S 21985 21988 19607 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151689047 9740288 346 33554432000 4194304 5098028 140736252786816 140736252784920 140426316710524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35409920 140736252793963 140736252794172 140736252794172 140736252796907 0
/proc/21988/statm: 2378 346 289 221 0 87 0
[pid=21990] ppid=21988 vsize=26538700 memory=86208 CPUtime=1.94 cores=0-7
/proc/21990/stat : 21990 (java) S 21988 21988 19607 0 -1 1077944320 12025 0 0 0 188 6 0 0 20 0 28 0 151689047 27175628800 21552 33554432000 4194304 4196468 140724833028800 140724833011344 139767151951607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
/proc/21990/statm: 6634675 21552 3200 1 0 6621909 0
[pid=21990/tid=21991] ppid=21988 vsize=26538700 memory=281344517684912 CPUtime=0.56 cores=0-7
/proc/21990/task/21991/stat : 21991 (java) S 21988 21988 19607 0 -1 1077944384 6909 0 0 0 54 2 0 0 20 0 28 0 151689047 27175628800 21552 33554432000 4194304 4196468 140724833028800 139767156192384 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21992] ppid=21988 vsize=26538700 memory=140672258843504 CPUtime=0 cores=0-7
/proc/21990/task/21992/stat : 21992 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151689048 27175628800 21552 33554432000 4194304 4196468 140724833028800 139767104571792 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21993] ppid=21988 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21993/stat : 21993 (java) S 21988 21988 19607 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 151689048 27175628800 21552 33554432000 4194304 4196468 140724833028800 139767103518992 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21994] ppid=21988 vsize=26538700 memory=4620 CPUtime=0 cores=0-7
/proc/21990/task/21994/stat : 21994 (java) S 21988 21988 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151689048 27175628800 21552 33554432000 4194304 4196468 140724833028800 139767102466704 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0

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

[pid=21990/tid=21995] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21995/stat : 21995 (java) S 21988 21988 19607 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 49117 33554432000 4194304 4196468 140724833028800 139767101413904 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21996] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21996/stat : 21996 (java) S 21988 21988 19607 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 49117 33554432000 4194304 4196468 140724833028800 139767100361616 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21997] ppid=21988 vsize=26539728 memory=140676705748607 CPUtime=0 cores=0-7
/proc/21990/task/21997/stat : 21997 (java) S 21988 21988 19607 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 49117 33554432000 4194304 4196468 140724833028800 139767099308816 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21998] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21998/stat : 21998 (java) S 21988 21988 19607 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 49117 33554432000 4194304 4196468 140724833028800 139767098256528 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21999] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21999/stat : 21999 (java) S 21988 21988 19607 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 49117 33554432000 4194304 4196468 140724833028800 139767097203728 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22000] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22000/stat : 22000 (java) S 21988 21988 19607 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 151689050 27176681472 49117 33554432000 4194304 4196468 140724833028800 139765402093680 139767151962754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22001] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22001/stat : 22001 (java) S 21988 21988 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 151689050 27176681472 49117 33554432000 4194304 4196468 140724833028800 139765401039712 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22002] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22002/stat : 22002 (java) S 21988 21988 19607 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 151689050 27176681472 49117 33554432000 4194304 4196468 140724833028800 139765399987312 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22003] ppid=21988 vsize=26539728 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/21990/task/22003/stat : 22003 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151689053 27176681472 49117 33554432000 4194304 4196468 140724833028800 139765398935632 139767151970203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22004] ppid=21988 vsize=26539728 memory=76 CPUtime=0.79 cores=0-7
/proc/21990/task/22004/stat : 22004 (java) R 21988 21988 19607 0 -1 4202560 2709 0 0 0 79 0 0 0 20 0 28 0 151689053 27176681472 49117 33554432000 4194304 4196468 140724833028800 139765397869472 139767137059639 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22005] ppid=21988 vsize=26539728 memory=0 CPUtime=0.68 cores=0-7
/proc/21990/task/22005/stat : 22005 (java) R 21988 21988 19607 0 -1 4202560 1871 0 0 0 67 1 0 0 20 0 28 0 151689053 27176681472 49117 33554432000 4194304 4196468 140724833028800 139765396815472 139767133496127 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22006] ppid=21988 vsize=26539728 memory=207 CPUtime=0.74 cores=0-7
/proc/21990/task/22006/stat : 22006 (java) R 21988 21988 19607 0 -1 4202560 2005 0 0 0 74 0 0 0 20 0 28 0 151689053 27176681472 49117 33554432000 4194304 4196468 140724833028800 139765395766784 139767135435096 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22007] ppid=21988 vsize=26539728 memory=94 CPUtime=0.48 cores=0-7
/proc/21990/task/22007/stat : 22007 (java) S 21988 21988 19607 0 -1 1077944384 2193 0 0 0 47 1 0 0 20 0 28 0 151689053 27176681472 49117 33554432000 4194304 4196468 140724833028800 139765394725616 139767151962754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22008] ppid=21988 vsize=26539728 memory=15992 CPUtime=0 cores=0-7
/proc/21990/task/22008/stat : 22008 (java) S 21988 21988 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151689053 27176681472 49117 33554432000 4194304 4196468 140724833028800 139765393672544 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22009] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22009/stat : 22009 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151689053 27176681472 49117 33554432000 4194304 4196468 140724833028800 139765392619824 139767151962754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
Current children cumulated CPU time: 7.95 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 197852 KiB

[startup+2.07246 s]
# the end of solver process 21988 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=12.1506 s, system=0.108443 s

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

[startup+1.6016 s]
/proc/loadavg: 8.18 8.05 8.02 13/207 22081
/proc/meminfo: memFree=27163016/32770624 swapFree=67108860/67108860
[pid=21988] ppid=21985 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21988/stat : 21988 (xcsp3-exec) S 21985 21988 19607 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151689047 9740288 346 33554432000 4194304 5098028 140736252786816 140736252784920 140426316710524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35409920 140736252793963 140736252794172 140736252794172 140736252796907 0
/proc/21988/statm: 2378 346 289 221 0 87 0
[pid=21990] ppid=21988 vsize=26539728 memory=198440 CPUtime=8.67 cores=0-7
/proc/21990/stat : 21990 (java) S 21988 21988 19607 0 -1 1077944320 19663 0 0 0 857 10 0 0 20 0 28 0 151689047 27176681472 49610 33554432000 4194304 4196468 140724833028800 140724833011344 139767151951607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
/proc/21990/statm: 6634932 49610 3237 1 0 6622166 0
[pid=21990/tid=21991] ppid=21988 vsize=26539728 memory=140672258980384 CPUtime=0.57 cores=0-7
/proc/21990/task/21991/stat : 21991 (java) S 21988 21988 19607 0 -1 1077944384 6911 0 0 0 55 2 0 0 20 0 28 0 151689047 27176681472 49610 33554432000 4194304 4196468 140724833028800 139767156192384 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21992] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21992/stat : 21992 (java) S 21988 21988 19607 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 49610 33554432000 4194304 4196468 140724833028800 139767104571792 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21993] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21993/stat : 21993 (java) S 21988 21988 19607 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 49610 33554432000 4194304 4196468 140724833028800 139767103518992 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21994] ppid=21988 vsize=26539728 memory=57 CPUtime=0 cores=0-7
/proc/21990/task/21994/stat : 21994 (java) S 21988 21988 19607 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 49610 33554432000 4194304 4196468 140724833028800 139767102466704 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21995] ppid=21988 vsize=26539728 memory=140672258807911 CPUtime=0 cores=0-7
/proc/21990/task/21995/stat : 21995 (java) S 21988 21988 19607 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 49610 33554432000 4194304 4196468 140724833028800 139767101413904 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21996] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21996/stat : 21996 (java) S 21988 21988 19607 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 49610 33554432000 4194304 4196468 140724833028800 139767100361616 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21997] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21997/stat : 21997 (java) S 21988 21988 19607 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 49610 33554432000 4194304 4196468 140724833028800 139767099308816 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21998] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21998/stat : 21998 (java) S 21988 21988 19607 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 49610 33554432000 4194304 4196468 140724833028800 139767098256528 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21999] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21999/stat : 21999 (java) S 21988 21988 19607 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 49610 33554432000 4194304 4196468 140724833028800 139767097203728 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22000] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22000/stat : 22000 (java) S 21988 21988 19607 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 151689050 27176681472 49610 33554432000 4194304 4196468 140724833028800 139765402093680 139767151962754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22001] ppid=21988 vsize=26539728 memory=1384 CPUtime=0 cores=0-7
/proc/21990/task/22001/stat : 22001 (java) S 21988 21988 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 151689050 27176681472 49610 33554432000 4194304 4196468 140724833028800 139765401039712 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22002] ppid=21988 vsize=26539728 memory=4140 CPUtime=0 cores=0-7
/proc/21990/task/22002/stat : 22002 (java) S 21988 21988 19607 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 151689050 27176681472 49610 33554432000 4194304 4196468 140724833028800 139765399987312 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22003] ppid=21988 vsize=26539728 memory=42028 CPUtime=0 cores=0-7
/proc/21990/task/22003/stat : 22003 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151689053 27176681472 49610 33554432000 4194304 4196468 140724833028800 139765398935632 139767151970203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22004] ppid=21988 vsize=26539728 memory=1296 CPUtime=0.88 cores=0-7
/proc/21990/task/22004/stat : 22004 (java) R 21988 21988 19607 0 -1 4202560 3185 0 0 0 88 0 0 0 20 0 28 0 151689053 27176681472 49610 33554432000 4194304 4196468 140724833028800 139765397869952 139767133469112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22005] ppid=21988 vsize=26539728 memory=2416 CPUtime=0.75 cores=0-7
/proc/21990/task/22005/stat : 22005 (java) R 21988 21988 19607 0 -1 4202560 1886 0 0 0 74 1 0 0 20 0 28 0 151689053 27176681472 49610 33554432000 4194304 4196468 140724833028800 139765396830832 139767151963542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22006] ppid=21988 vsize=26539728 memory=1728 CPUtime=0.81 cores=0-7
/proc/21990/task/22006/stat : 22006 (java) R 21988 21988 19607 0 -1 4202560 2016 0 0 0 81 0 0 0 20 0 28 0 151689053 27176681472 49610 33554432000 4194304 4196468 140724833028800 139765395764984 139767129175760 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22007] ppid=21988 vsize=26539728 memory=796 CPUtime=0.49 cores=0-7
/proc/21990/task/22007/stat : 22007 (java) R 21988 21988 19607 0 -1 1077944384 2197 0 0 0 48 1 0 0 20 0 28 0 151689053 27176681472 49610 33554432000 4194304 4196468 140724833028800 139765394725616 139767151962754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22008] ppid=21988 vsize=26539728 memory=1716 CPUtime=0 cores=0-7
/proc/21990/task/22008/stat : 22008 (java) S 21988 21988 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151689053 27176681472 49610 33554432000 4194304 4196468 140724833028800 139765393672544 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22009] ppid=21988 vsize=26539728 memory=1956 CPUtime=0 cores=0-7
/proc/21990/task/22009/stat : 22009 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151689053 27176681472 49610 33554432000 4194304 4196468 140724833028800 139765392619824 139767151962754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
Current children cumulated CPU time: 8.67 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 199824 KiB

[startup+2.00088 s]*
/proc/loadavg: 8.18 8.05 8.02 12/207 22113
/proc/meminfo: memFree=27146752/32770624 swapFree=67108860/67108860
[pid=21988] ppid=21985 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/21988/stat : 21988 (xcsp3-exec) S 21985 21988 19607 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151689047 9740288 346 33554432000 4194304 5098028 140736252786816 140736252784920 140426316710524 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35409920 140736252793963 140736252794172 140736252794172 140736252796907 0
/proc/21988/statm: 2378 346 289 221 0 87 0
[pid=21990] ppid=21988 vsize=26539728 memory=201676 CPUtime=11.88 cores=0-7
/proc/21990/stat : 21990 (java) S 21988 21988 19607 0 -1 1077944320 19944 0 0 0 1178 10 0 0 20 0 28 0 151689047 27176681472 50419 33554432000 4194304 4196468 140724833028800 140724833011344 139767151951607 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
/proc/21990/statm: 6634932 50419 3247 1 0 6622166 0
[pid=21990/tid=21991] ppid=21988 vsize=26539728 memory=6791534058613427641 CPUtime=0.57 cores=0-7
/proc/21990/task/21991/stat : 21991 (java) S 21988 21988 19607 0 -1 1077944384 6911 0 0 0 55 2 0 0 20 0 28 0 151689047 27176681472 50419 33554432000 4194304 4196468 140724833028800 139767156192384 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21992] ppid=21988 vsize=26539728 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/21990/task/21992/stat : 21992 (java) S 21988 21988 19607 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 50419 33554432000 4194304 4196468 140724833028800 139767104571792 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21993] ppid=21988 vsize=26539728 memory=-7737605734073691286 CPUtime=0 cores=0-7
/proc/21990/task/21993/stat : 21993 (java) S 21988 21988 19607 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 50419 33554432000 4194304 4196468 140724833028800 139767103518992 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21994] ppid=21988 vsize=26539728 memory=-7025452035942946156 CPUtime=0 cores=0-7
/proc/21990/task/21994/stat : 21994 (java) S 21988 21988 19607 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 50419 33554432000 4194304 4196468 140724833028800 139767102466704 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21995] ppid=21988 vsize=26539728 memory=6944656591801717918 CPUtime=0 cores=0-7
/proc/21990/task/21995/stat : 21995 (java) S 21988 21988 19607 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 50419 33554432000 4194304 4196468 140724833028800 139767101413904 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21996] ppid=21988 vsize=26539728 memory=6944613755328037012 CPUtime=0 cores=0-7
/proc/21990/task/21996/stat : 21996 (java) S 21988 21988 19607 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 50419 33554432000 4194304 4196468 140724833028800 139767100361616 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21997] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21997/stat : 21997 (java) S 21988 21988 19607 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 50419 33554432000 4194304 4196468 140724833028800 139767099308816 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21998] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/21998/stat : 21998 (java) S 21988 21988 19607 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 50419 33554432000 4194304 4196468 140724833028800 139767098256528 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=21999] ppid=21988 vsize=26539728 memory=140672258914165 CPUtime=0 cores=0-7
/proc/21990/task/21999/stat : 21999 (java) S 21988 21988 19607 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 151689048 27176681472 50419 33554432000 4194304 4196468 140724833028800 139767097203728 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22000] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22000/stat : 22000 (java) S 21988 21988 19607 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 151689050 27176681472 50419 33554432000 4194304 4196468 140724833028800 139765402093680 139767151962754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22001] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22001/stat : 22001 (java) S 21988 21988 19607 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 151689050 27176681472 50419 33554432000 4194304 4196468 140724833028800 139765401039712 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22002] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22002/stat : 22002 (java) S 21988 21988 19607 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 151689050 27176681472 50419 33554432000 4194304 4196468 140724833028800 139765399987312 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22003] ppid=21988 vsize=26539728 memory=0 CPUtime=0 cores=0-7
/proc/21990/task/22003/stat : 22003 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151689053 27176681472 50419 33554432000 4194304 4196468 140724833028800 139765398935632 139767151970203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22004] ppid=21988 vsize=26539728 memory=0 CPUtime=1.22 cores=0-7
/proc/21990/task/22004/stat : 22004 (java) R 21988 21988 19607 0 -1 4202560 3231 0 0 0 122 0 0 0 20 0 28 0 151689053 27176681472 50419 33554432000 4194304 4196468 140724833028800 139765397869760 139767135362317 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22005] ppid=21988 vsize=26539728 memory=0 CPUtime=1 cores=0-7
/proc/21990/task/22005/stat : 22005 (java) R 21988 21988 19607 0 -1 4202560 1926 0 0 0 99 1 0 0 20 0 28 0 151689053 27176681472 50419 33554432000 4194304 4196468 140724833028800 139765396812112 139767131184549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22006] ppid=21988 vsize=26539728 memory=6226909729935878762 CPUtime=1.23 cores=0-7
/proc/21990/task/22006/stat : 22006 (java) R 21988 21988 19607 0 -1 4202560 2095 0 0 0 123 0 0 0 20 0 28 0 151689053 27176681472 50419 33554432000 4194304 4196468 140724833028800 139765395770368 139767136872763 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22007] ppid=21988 vsize=26539728 memory=7236547281622689387 CPUtime=0.55 cores=0-7
/proc/21990/task/22007/stat : 22007 (java) R 21988 21988 19607 0 -1 1077944384 2306 0 0 0 54 1 0 0 20 0 28 0 151689053 27176681472 50419 33554432000 4194304 4196468 140724833028800 139765394725616 139767151962754 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22008] ppid=21988 vsize=26539728 memory=7805115717600635746 CPUtime=0 cores=0-7
/proc/21990/task/22008/stat : 22008 (java) S 21988 21988 19607 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151689053 27176681472 50931 33554432000 4194304 4196468 140724833028800 139765393672544 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22009] ppid=21988 vsize=26539728 memory=7380106142448641391 CPUtime=0 cores=0-7
/proc/21990/task/22009/stat : 22009 (java) S 21988 21988 19607 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151689053 27176681472 50931 33554432000 4194304 4196468 140724833028800 139765392619824 139767151962754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22106] ppid=21988 vsize=26539728 memory=0 CPUtime=0.48 cores=0-7
/proc/21990/task/22106/stat : 22106 (java) S 21988 21988 19607 0 -1 1077944384 18 0 0 0 48 0 0 0 20 0 28 0 151689183 27176681472 50931 33554432000 4194304 4196468 140724833028800 139765378292464 139767151961813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22107] ppid=21988 vsize=26539728 memory=0 CPUtime=0.53 cores=0-7
/proc/21990/task/22107/stat : 22107 (java) R 21988 21988 19607 0 -1 4202560 17 0 0 0 53 0 0 0 20 0 28 0 151689183 27176681472 50931 33554432000 4194304 4196468 140724833028800 139765380400424 139766780785362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22108] ppid=21988 vsize=26539728 memory=0 CPUtime=0.4 cores=0-7
/proc/21990/task/22108/stat : 22108 (java) R 21988 21988 19607 0 -1 4202560 18 0 0 0 40 0 0 0 20 0 28 0 151689183 27176681472 50931 33554432000 4194304 4196468 140724833028800 139765381449248 139766780620540 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22109] ppid=21988 vsize=26539728 memory=0 CPUtime=0.57 cores=0-7
/proc/21990/task/22109/stat : 22109 (java) R 21988 21988 19607 0 -1 4202560 20 0 0 0 57 0 0 0 20 0 28 0 151689183 27176681472 50931 33554432000 4194304 4196468 140724833028800 139765377240864 139767138019600 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22110] ppid=21988 vsize=26539728 memory=0 CPUtime=0.33 cores=0-7
/proc/21990/task/22110/stat : 22110 (java) R 21988 21988 19607 0 -1 1077944384 19 0 0 0 33 0 0 0 20 0 28 0 151689183 27176681472 50931 33554432000 4194304 4196468 140724833028800 139765379346816 139767151961813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22111] ppid=21988 vsize=26539728 memory=0 CPUtime=0.41 cores=0-7
/proc/21990/task/22111/stat : 22111 (java) R 21988 21988 19607 0 -1 4202560 17 0 0 0 41 0 0 0 20 0 28 0 151689183 27176681472 50931 33554432000 4194304 4196468 140724833028800 139765383557432 139766781079151 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22112] ppid=21988 vsize=26539728 memory=0 CPUtime=0.3 cores=0-7
/proc/21990/task/22112/stat : 22112 (java) R 21988 21988 19607 0 -1 4202560 17 0 0 0 30 0 0 0 20 0 28 0 151689183 27176681472 50931 33554432000 4194304 4196468 140724833028800 139765382505640 139766779784241 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
[pid=21990/tid=22113] ppid=21988 vsize=26539728 memory=0 CPUtime=0.5 cores=0-7
/proc/21990/task/22113/stat : 22113 (java) R 21988 21988 19607 0 -1 4202560 20 0 0 0 50 0 0 0 20 0 28 0 151689183 27176681472 50931 33554432000 4194304 4196468 140724833028800 139765384609160 139766779784334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37654528 140724833031320 140724833031496 140724833031496 140724833034191 0
Current children cumulated CPU time: 11.88 s
Current children cumulated vsize: 26549240 KiB
Current children cumulated memory: 203060 KiB

Child status: 0
Real time (s): 2.0725
CPU time (s): 12.2591
CPU user time (s): 12.1506
CPU system time (s): 0.108443
CPU usage (%): 591.512
Max. virtual memory (cumulated for all children) (KiB): 26549240
Max. memory (cumulated for all children) (KiB): 203060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.1506
system time used= 0.108443
maximum resident set size= 204800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20527
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= 4360
involuntary context switches= 422


# summary of solver processes directly reported to runsolver:
#   pid: 21988
#   total CPU time (s): 12.2591
#   total CPU user time (s): 12.1506
#   total CPU system time (s): 0.108443

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042194 second user time and 0.063291 second system time

The end

Launcher Data 

Begin job on node106 at 2017-08-20 01:25:54
IDJOB=4281343
IDBENCH=126225
IDSOLVER=2676
FILE ID=node106/4281343-1503186014
RUNJOBID= node106-1503176127-19634
PBS_JOBID= 20630846
Free space on /tmp= 61820 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a3-s1/GolombRuler-09-a3.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281343-1503186014/watcher-4281343-1503186014 -o /tmp/evaluation-result-4281343-1503186014/solver-4281343-1503186014 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1503176127-19634 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 876135955 HOME/instance-4281343-1503186014.xml

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

MD5SUM BENCH= 99cce06e47b950d06ba02df1b2dd4384
RANDOM SEED=876135955

node106.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.86
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.86
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.86
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.86
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:        27336828 kB
MemAvailable:   31969372 kB
Buffers:          240176 kB
Cached:          4684696 kB
SwapCached:            0 kB
Active:          1072724 kB
Inactive:        3910100 kB
Active(anon):      14052 kB
Inactive(anon):    80012 kB
Active(file):    1058672 kB
Inactive(file):  3830088 kB
Unevictable:        7764 kB
Mlocked:            7764 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7608 kB
Writeback:             0 kB
AnonPages:         64736 kB
Mapped:            51520 kB
Shmem:             33420 kB
Slab:             146128 kB
SReclaimable:     119240 kB
SUnreclaim:        26888 kB
KernelStack:        3200 kB
PageTables:         4732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     336040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61812 MiB
End job on node106 at 2017-08-20 01:25:56