Trace number 4306682

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.7b seq (e747e1e)OPT86 7.48326 3.3671

General information on the benchmark

NameTal/
Tal-02_c18.xml
MD5SUM66ad3cf55c90c9564165fed11cad25f4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark86
Best CPU time to get the best result obtained on this benchmark3.30776
Satisfiable
(Un)Satisfiability was proved
Number of variables298
Number of constraints217
Number of domains9
Minimum domain size1
Maximum domain size42
Distribution of domain sizes[{"size":1,"count":45},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":35},{"size":10,"count":21},{"size":42,"count":47}]
Minimum variable degree0
Maximum variable degree12
Distribution of variable degrees[{"degree":0,"count":128},{"degree":1,"count":45},{"degree":2,"count":37},{"degree":3,"count":7},{"degree":4,"count":8},{"degree":5,"count":19},{"degree":6,"count":15},{"degree":7,"count":11},{"degree":8,"count":11},{"degree":9,"count":8},{"degree":10,"count":5},{"degree":11,"count":3},{"degree":12,"count":1}]
Minimum constraint arity1
Maximum constraint arity9
Distribution of constraint arities[{"arity":1,"count":69},{"arity":2,"count":68},{"arity":3,"count":23},{"arity":4,"count":9},{"arity":5,"count":14},{"arity":6,"count":13},{"arity":7,"count":11},{"arity":8,"count":8},{"arity":9,"count":2}]
Number of extensional constraints36
Number of intensional constraints171
Distribution of constraint types[{"type":"extension","count":36},{"type":"intension","count":171},{"type":"count","count":10}]
Optimization problemYES
Type of objectivemin SUM

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 -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4306682-1534047654.xml"  -tl '2520s' -p 1
0.12/0.17	c Choco e747e1e
0.12/0.18	c [HOME/instance-4306682-1534047654.xml, -tl, 2520s, -p, 1]
0.12/0.22	c simple solver
0.35/0.28	c parse instance...
3.28/1.99	c solve instance...
3.55/2.05	o 90 
3.55/2.05	o 88 
3.55/2.06	o 86 
7.32/3.34	s OPTIMUM FOUND
7.32/3.34	v <instantiation>
7.32/3.34	v 	<list>c[0][0] c[0][1] c[0][2] c[0][3] c[0][4] c[0][5] c[1][0] c[1][1] c[1][2] c[1][3] c[1][4] c[1][5] c[2][0] c[2][1] c[2][2] c[2][3] c[2][4] c[2][5] c[3][0] c[3][1] c[3][2] c[3][3] c[3][4] c[3][5] c[4][0] c[4][1] c[4][2] c[4][3] c[4][4] c[4][5] c[5][0] c[5][1] c[5][2] c[5][3] c[5][4] c[5][5] c[6][0] c[6][1] c[6][2] c[6][3] c[6][4] c[6][5] c[7][0] c[7][1] c[7][2] c[7][3] c[7][4] c[7][5] c[8][0] c[8][1] c[8][2] c[8][3] c[8][4] c[8][5] c[9][0] c[9][1] c[9][2] c[9][3] c[9][4] c[9][5] c[10][0] c[10][1] c[10][2] c[10][3] c[10][4] c[10][5] c[11][0] c[11][1] c[11][2] c[11][3] c[11][4] c[11][5] l[0][0] l[0][1] l[0][2] l[0][3] l[0][4] l[0][5] l[1][0] l[1][1] l[1][2] l[1][3] l[1][4] l[1][5] l[2][0] l[2][1] l[2][2] l[2][3] l[2][4] l[2][5] l[3][0] l[3][1] l[3][2] l[3][3] l[3][4] l[4][0] l[4][1] l[4][2] l[4][3] l[4][4] l[5][0] l[5][1] l[5][2] l[5][3] l[6][0] l[6][1] l[6][2] l[6][3] l[7][0] l[7][1] l[7][2] l[8][0] l[8][1] l[8][2] l[9][0] l[9][1] l[10][0] l[10][1] l[11][0] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[5][0] a[5][1] a[5][2] a[5][3] a[7][0] a[7][1] a[7][2] a[9][0] a[9][1] a[11][0] i[2][0] i[2][1] i[2][2] i[2][3] i[2][4] i[2][5] i[4][0] i[4][1] i[4][2] i[4][3] i[4][4] i[6][0] i[6][1] i[6][2] i[6][3] i[8][0] i[8][1] i[8][2] i[10][0] i[10][1] cnt[0] cnt[1] cnt[2] cnt[3] cnt[4] cnt[5] cnt[6] cnt[7] cnt[8] cnt[9] </list>
7.32/3.34	v 	<values>0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 16 0 16 0 0 0 0 0 0 0 0 0 16 0 4 0 0 0 0 0 0 0 0 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 15 11 13 9 10 12 15 7 2 0 10 12 15 7 2 10 12 0 15 4 3 7 0 15 4 3 7 0 15 4 0 3 15 4 3 0 15 4 0 15 4 0 15 3 15 3 1 1 1 2 0 1 1 1 1 1 2 0 1 2 0 1 1 2 0 1 1 2 0 1 2 4 5 5 0 1 2 3 4 0 1 3 3 0 1 2 0 1 1 1 1 1 1 1 1 1 0 0 </values>
7.32/3.34	v </instantiation>

Verifier Data 

OK	86

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306682-1534047654/watcher-4306682-1534047654 -o /tmp/evaluation-result-4306682-1534047654/solver-4306682-1534047654 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534040134-26256 --watchdog 2580 HOME/xcsp3-exec -seed 2015151053 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306682-1534047654.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB
solver pid=26981, runsolver pid=26978


[startup+0.10012 s]*
/proc/loadavg: 1.94 1.94 1.90 3/218 26997
/proc/meminfo: memFree=7220256/32770624 swapFree=67108792/67108860
[pid=26981] ppid=26978 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (xcsp3-exec) S 26978 26981 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 222328647 115843072 364 33554432000 4194304 5098028 140723681798256 140723681796360 140257701016188 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22208512 140723681805370 140723681805572 140723681805572 140723681808330 0
/proc/26981/statm: 28282 364 306 221 0 87 0
[pid=26983] ppid=26981 vsize=14082940 memory=28720 CPUtime=0.12 cores=0,2,4,6
/proc/26983/stat : 26983 (java) S 26981 26981 24759 0 -1 1077944320 5537 0 0 0 11 1 0 0 20 0 15 0 222328648 14420930560 7180 33554432000 4194304 4196468 140731891983744 140731891966288 140315479547639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
/proc/26983/statm: 3520735 7180 3020 1 0 3483012 0
[pid=26983/tid=26984] ppid=26981 vsize=14082940 memory=8514701219880730790 CPUtime=0.08 cores=0,2,4,6
/proc/26983/task/26984/stat : 26984 (java) R 26981 26981 24759 0 -1 4202560 3542 0 0 0 8 0 0 0 20 0 15 0 222328648 14420930560 7180 33554432000 4194304 4196468 140731891983744 140315483780912 140315479559574 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26985] ppid=26981 vsize=14082940 memory=3472468789600781520 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26985/stat : 26985 (java) S 26981 26981 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222328649 14420930560 7180 33554432000 4194304 4196468 140731891983744 140315442653456 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26986] ppid=26981 vsize=14082940 memory=140660705629824 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26986/stat : 26986 (java) S 26981 26981 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222328649 14420930560 7180 33554432000 4194304 4196468 140731891983744 140315073898896 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26987] ppid=26981 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26987/stat : 26987 (java) S 26981 26981 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222328649 14420930560 7180 33554432000 4194304 4196468 140731891983744 140315072846352 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26988] ppid=26981 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26988/stat : 26988 (java) S 26981 26981 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222328649 14420930560 7180 33554432000 4194304 4196468 140731891983744 140315071793808 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26989] ppid=26981 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26989/stat : 26989 (java) S 26981 26981 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222328650 14420930560 7180 33554432000 4194304 4196468 140731891983744 140314391951856 140315479558786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26990] ppid=26981 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26990/stat : 26990 (java) S 26981 26981 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222328651 14420930560 7180 33554432000 4194304 4196468 140731891983744 140314390898080 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26991] ppid=26981 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26991/stat : 26991 (java) S 26981 26981 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222328651 14420930560 7180 33554432000 4194304 4196468 140731891983744 140314389845488 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26992] ppid=26981 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26992/stat : 26992 (java) S 26981 26981 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222328653 14420930560 7180 33554432000 4194304 4196468 140731891983744 140314388794064 140315479566235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26993] ppid=26981 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26993/stat : 26993 (java) S 26981 26981 24759 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 222328653 14420930560 7180 33554432000 4194304 4196468 140731891983744 140314387740656 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26994] ppid=26981 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26994/stat : 26994 (java) R 26981 26981 24759 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 222328653 14420930560 7180 33554432000 4194304 4196468 140731891983744 140314386688112 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26995] ppid=26981 vsize=14082940 memory=140660705629824 CPUtime=0.01 cores=0,2,4,6
/proc/26983/task/26995/stat : 26995 (java) R 26981 26981 24759 0 -1 4202560 277 0 0 0 1 0 0 0 20 0 15 0 222328653 14420930560 7180 33554432000 4194304 4196468 140731891983744 140314385635568 140315460800208 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26996] ppid=26981 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26996/stat : 26996 (java) S 26981 26981 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222328653 14420930560 7180 33554432000 4194304 4196468 140731891983744 140314384583264 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26997] ppid=26981 vsize=14082940 memory=140660705629824 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26997/stat : 26997 (java) S 26981 26981 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222328654 14420930560 7180 33554432000 4194304 4196468 140731891983744 140314383530800 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30176 KiB

[startup+0.212363 s]*
/proc/loadavg: 1.94 1.94 1.90 5/218 26997
/proc/meminfo: memFree=7208056/32770624 swapFree=67108792/67108860
[pid=26981] ppid=26978 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (xcsp3-exec) S 26978 26981 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 222328647 115843072 364 33554432000 4194304 5098028 140723681798256 140723681796360 140257701016188 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22208512 140723681805370 140723681805572 140723681805572 140723681808330 0
/proc/26981/statm: 28282 364 306 221 0 87 0
[pid=26983] ppid=26981 vsize=14082940 memory=41500 CPUtime=0.35 cores=0,2,4,6
/proc/26983/stat : 26983 (java) S 26981 26981 24759 0 -1 1077944320 8358 0 0 0 33 2 0 0 20 0 15 0 222328648 14420930560 10375 33554432000 4194304 4196468 140731891983744 140731891966288 140315479547639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
/proc/26983/statm: 3520735 10375 3207 1 0 3483012 0
[pid=26983/tid=26984] ppid=26981 vsize=14082940 memory=5854518564242424225 CPUtime=0.2 cores=0,2,4,6
/proc/26983/task/26984/stat : 26984 (java) R 26981 26981 24759 0 -1 4202560 5463 0 0 0 19 1 0 0 20 0 15 0 222328648 14420930560 10375 33554432000 4194304 4196468 140731891983744 140315483782624 140315479569565 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26985] ppid=26981 vsize=14082940 memory=3472468789600781520 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26985/stat : 26985 (java) S 26981 26981 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222328649 14420930560 10375 33554432000 4194304 4196468 140731891983744 140315442653456 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26986] ppid=26981 vsize=14082940 memory=140660705629824 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26986/stat : 26986 (java) S 26981 26981 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222328649 14420930560 10375 33554432000 4194304 4196468 140731891983744 140315073898896 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26987] ppid=26981 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26987/stat : 26987 (java) S 26981 26981 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222328649 14420930560 10375 33554432000 4194304 4196468 140731891983744 140315072846352 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26988] ppid=26981 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26988/stat : 26988 (java) S 26981 26981 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222328649 14420930560 10375 33554432000 4194304 4196468 140731891983744 140315071793808 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26989] ppid=26981 vsize=14082940 memory=140660705629824 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26989/stat : 26989 (java) S 26981 26981 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222328650 14420930560 10375 33554432000 4194304 4196468 140731891983744 140314391951856 140315479558786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26990] ppid=26981 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26990/stat : 26990 (java) S 26981 26981 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222328651 14420930560 10375 33554432000 4194304 4196468 140731891983744 140314390898080 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26991] ppid=26981 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26991/stat : 26991 (java) S 26981 26981 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222328651 14420930560 10375 33554432000 4194304 4196468 140731891983744 140314389845488 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26992] ppid=26981 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26992/stat : 26992 (java) S 26981 26981 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222328653 14420930560 10375 33554432000 4194304 4196468 140731891983744 140314388794064 140315479566235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26993] ppid=26981 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26983/task/26993/stat : 26993 (java) S 26981 26981 24759 0 -1 1077944384 613 0 0 0 2 0 0 0 20 0 15 0 222328653 14420930560 10375 33554432000 4194304 4196468 140731891983744 140314387740656 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26994] ppid=26981 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26983/task/26994/stat : 26994 (java) S 26981 26981 24759 0 -1 1077944384 168 0 0 0 2 0 0 0 20 0 15 0 222328653 14420930560 10375 33554432000 4194304 4196468 140731891983744 140314386688112 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26995] ppid=26981 vsize=14082940 memory=140660705629824 CPUtime=0.08 cores=0,2,4,6
/proc/26983/task/26995/stat : 26995 (java) S 26981 26981 24759 0 -1 1077944384 805 0 0 0 8 0 0 0 20 0 15 0 222328653 14420930560 10375 33554432000 4194304 4196468 140731891983744 140314385635568 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26996] ppid=26981 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26996/stat : 26996 (java) S 26981 26981 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222328653 14420930560 10375 33554432000 4194304 4196468 140731891983744 140314384583264 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26997] ppid=26981 vsize=14082972 memory=140660705629824 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26997/stat : 26997 (java) S 26981 26981 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222328654 14420963328 10375 33554432000 4194304 4196468 140731891983744 140314383530800 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42956 KiB

[startup+0.311395 s]*
/proc/loadavg: 1.94 1.94 1.90 4/218 26997
/proc/meminfo: memFree=7201888/32770624 swapFree=67108792/67108860
[pid=26981] ppid=26978 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (xcsp3-exec) S 26978 26981 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 222328647 115843072 364 33554432000 4194304 5098028 140723681798256 140723681796360 140257701016188 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22208512 140723681805370 140723681805572 140723681805572 140723681808330 0
/proc/26981/statm: 28282 364 306 221 0 87 0
[pid=26983] ppid=26981 vsize=14087196 memory=47908 CPUtime=0.52 cores=0,2,4,6
/proc/26983/stat : 26983 (java) S 26981 26981 24759 0 -1 1077944320 9234 0 0 0 50 2 0 0 20 0 15 0 222328648 14425288704 11977 33554432000 4194304 4196468 140731891983744 140731891966288 140315479547639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
/proc/26983/statm: 3521799 11977 3256 1 0 3483012 0
[pid=26983/tid=26984] ppid=26981 vsize=14087196 memory=-8540663193526752614 CPUtime=0.3 cores=0,2,4,6
/proc/26983/task/26984/stat : 26984 (java) R 26981 26981 24759 0 -1 4202560 6162 0 0 0 28 2 0 0 20 0 15 0 222328648 14425288704 11977 33554432000 4194304 4196468 140731891983744 140315483781424 140315463628126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26985] ppid=26981 vsize=14087196 memory=3472468789600781520 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26985/stat : 26985 (java) S 26981 26981 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222328649 14425288704 11977 33554432000 4194304 4196468 140731891983744 140315442653456 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26986] ppid=26981 vsize=14087196 memory=140660705654583 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26986/stat : 26986 (java) S 26981 26981 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222328649 14425288704 11977 33554432000 4194304 4196468 140731891983744 140315073898896 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26987] ppid=26981 vsize=14087196 memory=140660581733345 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26987/stat : 26987 (java) S 26981 26981 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222328649 14425288704 11977 33554432000 4194304 4196468 140731891983744 140315072846352 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26988] ppid=26981 vsize=14087196 memory=140660581710799 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26988/stat : 26988 (java) S 26981 26981 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222328649 14425288704 11977 33554432000 4194304 4196468 140731891983744 140315071793808 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26989] ppid=26981 vsize=14087196 memory=140660705656080 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26989/stat : 26989 (java) S 26981 26981 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222328650 14425288704 11977 33554432000 4194304 4196468 140731891983744 140314391951856 140315479558786 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26990] ppid=26981 vsize=14087196 memory=140660581720015 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26990/stat : 26990 (java) S 26981 26981 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222328651 14425288704 11977 33554432000 4194304 4196468 140731891983744 140314390898080 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26991] ppid=26981 vsize=14087196 memory=281321163437680 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26991/stat : 26991 (java) S 26981 26981 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222328651 14425288704 11977 33554432000 4194304 4196468 140731891983744 140314389845488 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26992] ppid=26981 vsize=14087196 memory=140660581746870 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26992/stat : 26992 (java) S 26981 26981 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222328653 14425288704 11977 33554432000 4194304 4196468 140731891983744 140314388794064 140315479566235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26993] ppid=26981 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/26983/task/26993/stat : 26993 (java) S 26981 26981 24759 0 -1 1077944384 702 0 0 0 5 0 0 0 20 0 15 0 222328653 14425288704 11977 33554432000 4194304 4196468 140731891983744 140314387740656 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26994] ppid=26981 vsize=14087196 memory=2240 CPUtime=0.04 cores=0,2,4,6
/proc/26983/task/26994/stat : 26994 (java) S 26981 26981 24759 0 -1 1077944384 181 0 0 0 4 0 0 0 20 0 15 0 222328653 14425288704 11977 33554432000 4194304 4196468 140731891983744 140314386688112 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26995] ppid=26981 vsize=14087196 memory=140660705629824 CPUtime=0.13 cores=0,2,4,6
/proc/26983/task/26995/stat : 26995 (java) S 26981 26981 24759 0 -1 1077944384 883 0 0 0 13 0 0 0 20 0 15 0 222328653 14425288704 11977 33554432000 4194304 4196468 140731891983744 140314385635568 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26996] ppid=26981 vsize=14087196 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26996/stat : 26996 (java) S 26981 26981 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222328653 14425288704 11977 33554432000 4194304 4196468 140731891983744 140314384583264 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26997] ppid=26981 vsize=14087196 memory=140660705629824 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26997/stat : 26997 (java) S 26981 26981 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222328654 14425288704 11977 33554432000 4194304 4196468 140731891983744 140314383530800 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49364 KiB

[startup+0.701187 s]
/proc/loadavg: 1.94 1.94 1.90 7/218 26997
/proc/meminfo: memFree=7177692/32770624 swapFree=67108792/67108860
[pid=26981] ppid=26978 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (xcsp3-exec) S 26978 26981 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 222328647 115843072 364 33554432000 4194304 5098028 140723681798256 140723681796360 140257701016188 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22208512 140723681805370 140723681805572 140723681805572 140723681808330 0
/proc/26981/statm: 28282 364 306 221 0 87 0
[pid=26983] ppid=26981 vsize=14089320 memory=89736 CPUtime=1.69 cores=0,2,4,6
/proc/26983/stat : 26983 (java) S 26981 26981 24759 0 -1 1077944320 13540 0 0 0 164 5 0 0 20 0 15 0 222328648 14427463680 21897 33554432000 4194304 4196468 140731891983744 140731891966288 140315479547639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
/proc/26983/statm: 3522330 22409 3360 1 0 3483524 0
[pid=26983/tid=26984] ppid=26981 vsize=14089320 memory=7076 CPUtime=0.67 cores=0,2,4,6
/proc/26983/task/26984/stat : 26984 (java) R 26981 26981 24759 0 -1 4202560 7088 0 0 0 64 3 0 0 20 0 15 0 222328648 14427463680 22434 33554432000 4194304 4196468 140731891983744 140315483785392 140315119186688 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26985] ppid=26981 vsize=14089320 memory=748 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26985/stat : 26985 (java) S 26981 26981 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222328649 14427463680 22434 33554432000 4194304 4196468 140731891983744 140315442653456 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26986] ppid=26981 vsize=14089320 memory=872 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26986/stat : 26986 (java) S 26981 26981 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222328649 14427463680 22434 33554432000 4194304 4196468 140731891983744 140315073898896 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26987] ppid=26981 vsize=14089320 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26987/stat : 26987 (java) S 26981 26981 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222328649 14427463680 22434 33554432000 4194304 4196468 140731891983744 140315072846352 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26988] ppid=26981 vsize=14089320 memory=4639098309541126758 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26988/stat : 26988 (java) S 26981 26981 24759 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222328649 14427463680 22434 33554432000 4194304 4196468 140731891983744 140315071793808 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26989] ppid=26981 vsize=14089320 memory=6082220498143112552 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26989/stat : 26989 (java) S 26981 26981 24759 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222328650 14427463680 22434 33554432000 4194304 4196468 140731891983744 140314391951856 140315479558786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26990] ppid=26981 vsize=14089320 memory=7236547281622689387 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26990/stat : 26990 (java) S 26981 26981 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222328651 14427463680 22434 33554432000 4194304 4196468 140731891983744 140314390898080 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26991] ppid=26981 vsize=14089320 memory=281321163541856 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26991/stat : 26991 (java) S 26981 26981 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222328651 14427463680 22434 33554432000 4194304 4196468 140731891983744 140314389845488 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26992] ppid=26981 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26992/stat : 26992 (java) S 26981 26981 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222328653 14427463680 22434 33554432000 4194304 4196468 140731891983744 140314388794064 140315479566235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26993] ppid=26981 vsize=14089320 memory=1108 CPUtime=0.31 cores=0,2,4,6
/proc/26983/task/26993/stat : 26993 (java) R 26981 26981 24759 0 -1 4202560 1811 0 0 0 31 0 0 0 20 0 15 0 222328653 14427463680 22434 33554432000 4194304 4196468 140731891983744 140314387728896 140315479568986 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26994] ppid=26981 vsize=14089320 memory=15336 CPUtime=0.3 cores=0,2,4,6
/proc/26983/task/26994/stat : 26994 (java) R 26981 26981 24759 0 -1 4202560 1295 0 0 0 30 0 0 0 20 0 15 0 222328653 14427463680 22434 33554432000 4194304 4196468 140731891983744 140314386674928 140315457714120 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26995] ppid=26981 vsize=14089320 memory=15840 CPUtime=0.37 cores=0,2,4,6
/proc/26983/task/26995/stat : 26995 (java) S 26981 26981 24759 0 -1 1077944384 2042 0 0 0 37 0 0 0 20 0 15 0 222328653 14427463680 22434 33554432000 4194304 4196468 140731891983744 140314385635568 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26996] ppid=26981 vsize=14089320 memory=34068 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26996/stat : 26996 (java) S 26981 26981 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222328653 14427463680 22434 33554432000 4194304 4196468 140731891983744 140314384583264 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26997] ppid=26981 vsize=14089320 memory=3304 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26997/stat : 26997 (java) S 26981 26981 24759 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222328654 14427463680 22434 33554432000 4194304 4196468 140731891983744 140314383530800 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 91192 KiB

[startup+1.50138 s]
/proc/loadavg: 1.94 1.94 1.90 3/218 26997
/proc/meminfo: memFree=7112600/32770624 swapFree=67108792/67108860
[pid=26981] ppid=26978 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (xcsp3-exec) S 26978 26981 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 222328647 115843072 364 33554432000 4194304 5098028 140723681798256 140723681796360 140257701016188 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22208512 140723681805370 140723681805572 140723681805572 140723681808330 0
/proc/26981/statm: 28282 364 306 221 0 87 0

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

/proc/26983/task/26985/stat : 26985 (java) R 26981 26981 24759 0 -1 4202560 319 0 0 0 1 0 0 0 20 0 15 0 222328649 14427463680 51374 33554432000 4194304 4196468 140731891983744 140315442650976 140315464569760 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26986] ppid=26981 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26983/task/26986/stat : 26986 (java) R 26981 26981 24759 0 -1 4202560 72 0 0 0 1 0 0 0 20 0 15 0 222328649 14427463680 51374 33554432000 4194304 4196468 140731891983744 140315073898896 140315464575486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26987] ppid=26981 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26983/task/26987/stat : 26987 (java) R 26981 26981 24759 0 -1 4202560 95 0 0 0 1 0 0 0 20 0 15 0 222328649 14427463680 51374 33554432000 4194304 4196468 140731891983744 140315072846352 140315464575486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26988] ppid=26981 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26983/task/26988/stat : 26988 (java) R 26981 26981 24759 0 -1 4202560 320 0 0 0 1 0 0 0 20 0 15 0 222328649 14427463680 51374 33554432000 4194304 4196468 140731891983744 140315071793808 140315472647339 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26989] ppid=26981 vsize=14089320 memory=281321163591040 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26989/stat : 26989 (java) S 26981 26981 24759 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 222328650 14427463680 51374 33554432000 4194304 4196468 140731891983744 140314391950368 140315479557845 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26990] ppid=26981 vsize=14089320 memory=140660581771008 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26990/stat : 26990 (java) S 26981 26981 24759 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222328651 14427463680 51374 33554432000 4194304 4196468 140731891983744 140314390898080 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26991] ppid=26981 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26991/stat : 26991 (java) S 26981 26981 24759 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222328651 14427463680 51374 33554432000 4194304 4196468 140731891983744 140314389845488 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26992] ppid=26981 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26992/stat : 26992 (java) S 26981 26981 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222328653 14427463680 51374 33554432000 4194304 4196468 140731891983744 140314388794064 140315479566235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26993] ppid=26981 vsize=14089320 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/26983/task/26993/stat : 26993 (java) S 26981 26981 24759 0 -1 1077944384 1977 0 0 0 38 0 0 0 20 0 15 0 222328653 14427463680 51374 33554432000 4194304 4196468 140731891983744 140314387740656 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26994] ppid=26981 vsize=14089320 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/26983/task/26994/stat : 26994 (java) S 26981 26981 24759 0 -1 1077944384 1983 0 0 0 46 0 0 0 20 0 15 0 222328653 14427463680 51374 33554432000 4194304 4196468 140731891983744 140314386688112 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26995] ppid=26981 vsize=14089320 memory=4580 CPUtime=0.41 cores=0,2,4,6
/proc/26983/task/26995/stat : 26995 (java) S 26981 26981 24759 0 -1 1077944384 2435 0 0 0 41 0 0 0 20 0 15 0 222328653 14427463680 51374 33554432000 4194304 4196468 140731891983744 140314385635568 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26996] ppid=26981 vsize=14089320 memory=-7737621075815351712 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26996/stat : 26996 (java) S 26981 26981 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222328653 14427463680 51886 33554432000 4194304 4196468 140731891983744 140314384583264 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26997] ppid=26981 vsize=14089320 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26997/stat : 26997 (java) S 26981 26981 24759 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 222328654 14427463680 51886 33554432000 4194304 4196468 140731891983744 140314383530800 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 206952 KiB

[startup+3.11063 s]
/proc/loadavg: 1.94 1.94 1.90 5/218 26997
/proc/meminfo: memFree=6998248/32770624 swapFree=67108792/67108860
[pid=26981] ppid=26978 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (xcsp3-exec) S 26978 26981 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 222328647 115843072 364 33554432000 4194304 5098028 140723681798256 140723681796360 140257701016188 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22208512 140723681805370 140723681805572 140723681805572 140723681808330 0
/proc/26981/statm: 28282 364 306 221 0 87 0
[pid=26983] ppid=26981 vsize=14093148 memory=260188 CPUtime=6.75 cores=0,2,4,6
/proc/26983/stat : 26983 (java) S 26981 26981 24759 0 -1 1077944320 27394 0 0 0 660 15 0 0 20 0 15 0 222328648 14431383552 65047 33554432000 4194304 4196468 140731891983744 140731891966288 140315479547639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
/proc/26983/statm: 3523287 65047 3400 1 0 3484481 0
[pid=26983/tid=26984] ppid=26981 vsize=14093148 memory=249620 CPUtime=3.03 cores=0,2,4,6
/proc/26983/task/26984/stat : 26984 (java) R 26981 26981 24759 0 -1 4202560 8915 0 0 0 298 5 0 0 20 0 15 0 222328648 14431383552 65047 33554432000 4194304 4196468 140731891983744 140315483783504 140315121121936 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26985] ppid=26981 vsize=14093148 memory=1456 CPUtime=0.03 cores=0,2,4,6
/proc/26983/task/26985/stat : 26985 (java) S 26981 26981 24759 0 -1 1077944384 339 0 0 0 2 1 0 0 20 0 15 0 222328649 14431383552 65047 33554432000 4194304 4196468 140731891983744 140315442653456 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26986] ppid=26981 vsize=14093148 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26983/task/26986/stat : 26986 (java) S 26981 26981 24759 0 -1 1077944384 95 0 0 0 2 1 0 0 20 0 15 0 222328649 14431383552 65047 33554432000 4194304 4196468 140731891983744 140315073898896 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26987] ppid=26981 vsize=14093148 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26983/task/26987/stat : 26987 (java) S 26981 26981 24759 0 -1 1077944384 113 0 0 0 2 1 0 0 20 0 15 0 222328649 14431383552 65047 33554432000 4194304 4196468 140731891983744 140315072846352 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26988] ppid=26981 vsize=14093148 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26983/task/26988/stat : 26988 (java) S 26981 26981 24759 0 -1 1077944384 346 0 0 0 2 1 0 0 20 0 15 0 222328649 14431383552 65047 33554432000 4194304 4196468 140731891983744 140315071793808 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26989] ppid=26981 vsize=14093148 memory=281321163228648 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26989/stat : 26989 (java) S 26981 26981 24759 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 222328650 14431383552 65047 33554432000 4194304 4196468 140731891983744 140314391951856 140315479558786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26990] ppid=26981 vsize=14093148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26990/stat : 26990 (java) S 26981 26981 24759 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 222328651 14431383552 65047 33554432000 4194304 4196468 140731891983744 140314390898080 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26991] ppid=26981 vsize=14093148 memory=281321163605376 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26991/stat : 26991 (java) S 26981 26981 24759 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 222328651 14431383552 65047 33554432000 4194304 4196468 140731891983744 140314389845488 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26992] ppid=26981 vsize=14093148 memory=281321163609824 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26992/stat : 26992 (java) S 26981 26981 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222328653 14431383552 65047 33554432000 4194304 4196468 140731891983744 140314388794064 140315479566235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26993] ppid=26981 vsize=14093148 memory=140660581849936 CPUtime=1.44 cores=0,2,4,6
/proc/26983/task/26993/stat : 26993 (java) R 26981 26981 24759 0 -1 4202560 6068 0 0 0 144 0 0 0 20 0 15 0 222328653 14431383552 65047 33554432000 4194304 4196468 140731891983744 140314387740656 140315463104978 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26994] ppid=26981 vsize=14093148 memory=1456 CPUtime=1.45 cores=0,2,4,6
/proc/26983/task/26994/stat : 26994 (java) R 26981 26981 24759 0 -1 4202560 5396 0 0 0 145 0 0 0 20 0 15 0 222328653 14431383552 65047 33554432000 4194304 4196468 140731891983744 140314386688112 140315461068824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26995] ppid=26981 vsize=14093148 memory=249708 CPUtime=0.61 cores=0,2,4,6
/proc/26983/task/26995/stat : 26995 (java) S 26981 26981 24759 0 -1 1077944384 4465 0 0 0 60 1 0 0 20 0 15 0 222328653 14431383552 65047 33554432000 4194304 4196468 140731891983744 140314385635568 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26996] ppid=26981 vsize=14093148 memory=-7737621075815351712 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26996/stat : 26996 (java) S 26981 26981 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222328653 14431383552 65047 33554432000 4194304 4196468 140731891983744 140314384583264 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26997] ppid=26981 vsize=14093148 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26997/stat : 26997 (java) S 26981 26981 24759 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 222328654 14431383552 65047 33554432000 4194304 4196468 140731891983744 140314383530800 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
Current children cumulated CPU time: 6.75 s
Current children cumulated vsize: 14206276 KiB
Current children cumulated memory: 261644 KiB

[startup+3.36706 s]
# the end of solver process 26981 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.31719 s, system=0.166072 s

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

[startup+3.20098 s]
/proc/loadavg: 1.94 1.94 1.90 5/218 26997
/proc/meminfo: memFree=6998248/32770624 swapFree=67108792/67108860
[pid=26981] ppid=26978 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (xcsp3-exec) S 26978 26981 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 222328647 115843072 364 33554432000 4194304 5098028 140723681798256 140723681796360 140257701016188 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22208512 140723681805370 140723681805572 140723681805572 140723681808330 0
/proc/26981/statm: 28282 364 306 221 0 87 0
[pid=26983] ppid=26981 vsize=14093412 memory=269592 CPUtime=7.02 cores=0,2,4,6
/proc/26983/stat : 26983 (java) S 26981 26981 24759 0 -1 1077944320 30624 0 0 0 687 15 0 0 20 0 15 0 222328648 14431653888 67398 33554432000 4194304 4196468 140731891983744 140731891966288 140315479547639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
/proc/26983/statm: 3523353 67398 3400 1 0 3484547 0
[pid=26983/tid=26984] ppid=26981 vsize=14093412 memory=17513 CPUtime=3.12 cores=0,2,4,6
/proc/26983/task/26984/stat : 26984 (java) R 26981 26981 24759 0 -1 4202560 8915 0 0 0 307 5 0 0 20 0 15 0 222328648 14431653888 67398 33554432000 4194304 4196468 140731891983744 140315483783504 140315116523999 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26985] ppid=26981 vsize=14093412 memory=595 CPUtime=0.03 cores=0,2,4,6
/proc/26983/task/26985/stat : 26985 (java) S 26981 26981 24759 0 -1 1077944384 339 0 0 0 2 1 0 0 20 0 15 0 222328649 14431653888 67464 33554432000 4194304 4196468 140731891983744 140315442653456 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26986] ppid=26981 vsize=14093412 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26983/task/26986/stat : 26986 (java) S 26981 26981 24759 0 -1 1077944384 95 0 0 0 2 1 0 0 20 0 15 0 222328649 14431653888 67464 33554432000 4194304 4196468 140731891983744 140315073898896 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26987] ppid=26981 vsize=14093412 memory=281321163446368 CPUtime=0.03 cores=0,2,4,6
/proc/26983/task/26987/stat : 26987 (java) S 26981 26981 24759 0 -1 1077944384 113 0 0 0 2 1 0 0 20 0 15 0 222328649 14431653888 67464 33554432000 4194304 4196468 140731891983744 140315072846352 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26988] ppid=26981 vsize=14093412 memory=264 CPUtime=0.03 cores=0,2,4,6
/proc/26983/task/26988/stat : 26988 (java) S 26981 26981 24759 0 -1 1077944384 346 0 0 0 2 1 0 0 20 0 15 0 222328649 14431653888 67464 33554432000 4194304 4196468 140731891983744 140315071793808 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26989] ppid=26981 vsize=14093412 memory=231876694430434 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26989/stat : 26989 (java) S 26981 26981 24759 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 222328650 14431653888 67464 33554432000 4194304 4196468 140731891983744 140314391951856 140315479558786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26990] ppid=26981 vsize=14093412 memory=7517619802728075835 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26990/stat : 26990 (java) S 26981 26981 24759 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 222328651 14431653888 67464 33554432000 4194304 4196468 140731891983744 140314390898080 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26991] ppid=26981 vsize=14093412 memory=281321163469280 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26991/stat : 26991 (java) S 26981 26981 24759 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 222328651 14431653888 67464 33554432000 4194304 4196468 140731891983744 140314389845488 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26992] ppid=26981 vsize=14093412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26992/stat : 26992 (java) S 26981 26981 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222328653 14431653888 67464 33554432000 4194304 4196468 140731891983744 140314388794064 140315479566235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26993] ppid=26981 vsize=14093412 memory=6944652177228980320 CPUtime=1.53 cores=0,2,4,6
/proc/26983/task/26993/stat : 26993 (java) R 26981 26981 24759 0 -1 4202560 7046 0 0 0 153 0 0 0 20 0 15 0 222328653 14431653888 67464 33554432000 4194304 4196468 140731891983744 140314387726632 140315461069459 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26994] ppid=26981 vsize=14093412 memory=6944656592455359580 CPUtime=1.55 cores=0,2,4,6
/proc/26983/task/26994/stat : 26994 (java) R 26981 26981 24759 0 -1 4202560 7736 0 0 0 154 1 0 0 20 0 15 0 222328653 14431653888 67464 33554432000 4194304 4196468 140731891983744 140314386672632 140315461091362 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26995] ppid=26981 vsize=14093412 memory=281321163485184 CPUtime=0.61 cores=0,2,4,6
/proc/26983/task/26995/stat : 26995 (java) S 26981 26981 24759 0 -1 1077944384 4465 0 0 0 60 1 0 0 20 0 15 0 222328653 14431653888 67530 33554432000 4194304 4196468 140731891983744 140314385635568 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26996] ppid=26981 vsize=14093412 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26996/stat : 26996 (java) S 26981 26981 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222328653 14431653888 67530 33554432000 4194304 4196468 140731891983744 140314384583264 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26997] ppid=26981 vsize=14093412 memory=281321163491936 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26997/stat : 26997 (java) S 26981 26981 24759 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 222328654 14431653888 67530 33554432000 4194304 4196468 140731891983744 140314383530800 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
Current children cumulated CPU time: 7.02 s
Current children cumulated vsize: 14206540 KiB
Current children cumulated memory: 271048 KiB

[startup+3.30081 s]
/proc/loadavg: 1.94 1.94 1.90 5/218 26997
/proc/meminfo: memFree=6998248/32770624 swapFree=67108792/67108860
[pid=26981] ppid=26978 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26981/stat : 26981 (xcsp3-exec) S 26978 26981 24759 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 222328647 115843072 364 33554432000 4194304 5098028 140723681798256 140723681796360 140257701016188 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22208512 140723681805370 140723681805572 140723681805572 140723681808330 0
/proc/26981/statm: 28282 364 306 221 0 87 0
[pid=26983] ppid=26981 vsize=14093416 memory=273980 CPUtime=7.32 cores=0,2,4,6
/proc/26983/stat : 26983 (java) S 26981 26981 24759 0 -1 1077944320 32268 0 0 0 717 15 0 0 20 0 15 0 222328648 14431657984 68495 33554432000 4194304 4196468 140731891983744 140731891966288 140315479547639 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
/proc/26983/statm: 3523354 68495 3400 1 0 3484548 0
[pid=26983/tid=26984] ppid=26981 vsize=14093416 memory=0 CPUtime=3.22 cores=0,2,4,6
/proc/26983/task/26984/stat : 26984 (java) R 26981 26981 24759 0 -1 4202560 8915 0 0 0 317 5 0 0 20 0 15 0 222328648 14431657984 68495 33554432000 4194304 4196468 140731891983744 140315483783976 140315116557611 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26985] ppid=26981 vsize=14093416 memory=260188 CPUtime=0.03 cores=0,2,4,6
/proc/26983/task/26985/stat : 26985 (java) S 26981 26981 24759 0 -1 1077944384 339 0 0 0 2 1 0 0 20 0 15 0 222328649 14431657984 68495 33554432000 4194304 4196468 140731891983744 140315442653456 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26986] ppid=26981 vsize=14093416 memory=249620 CPUtime=0.03 cores=0,2,4,6
/proc/26983/task/26986/stat : 26986 (java) S 26981 26981 24759 0 -1 1077944384 95 0 0 0 2 1 0 0 20 0 15 0 222328649 14431657984 68495 33554432000 4194304 4196468 140731891983744 140315073898896 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26987] ppid=26981 vsize=14093416 memory=1456 CPUtime=0.03 cores=0,2,4,6
/proc/26983/task/26987/stat : 26987 (java) S 26981 26981 24759 0 -1 1077944384 113 0 0 0 2 1 0 0 20 0 15 0 222328649 14431657984 68495 33554432000 4194304 4196468 140731891983744 140315072846352 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26988] ppid=26981 vsize=14093416 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26983/task/26988/stat : 26988 (java) S 26981 26981 24759 0 -1 1077944384 346 0 0 0 2 1 0 0 20 0 15 0 222328649 14431657984 68495 33554432000 4194304 4196468 140731891983744 140315071793808 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26989] ppid=26981 vsize=14093416 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26989/stat : 26989 (java) S 26981 26981 24759 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 222328650 14431657984 68495 33554432000 4194304 4196468 140731891983744 140314391951856 140315479558786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26990] ppid=26981 vsize=14093416 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26990/stat : 26990 (java) S 26981 26981 24759 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 222328651 14431657984 68495 33554432000 4194304 4196468 140731891983744 140314390898080 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26991] ppid=26981 vsize=14093416 memory=281321163605376 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26991/stat : 26991 (java) S 26981 26981 24759 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 222328651 14431657984 68495 33554432000 4194304 4196468 140731891983744 140314389845488 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26992] ppid=26981 vsize=14093416 memory=281321163609824 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26992/stat : 26992 (java) S 26981 26981 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222328653 14431657984 68495 33554432000 4194304 4196468 140731891983744 140314388794064 140315479566235 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26993] ppid=26981 vsize=14093416 memory=140660581849936 CPUtime=1.64 cores=0,2,4,6
/proc/26983/task/26993/stat : 26993 (java) R 26981 26981 24759 0 -1 4202560 7294 0 0 0 163 1 0 0 20 0 15 0 222328653 14431657984 68495 33554432000 4194304 4196468 140731891983744 140314387726536 140315459049343 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26994] ppid=26981 vsize=14093416 memory=1456 CPUtime=1.65 cores=0,2,4,6
/proc/26983/task/26994/stat : 26994 (java) R 26981 26981 24759 0 -1 4202560 9044 0 0 0 164 1 0 0 20 0 15 0 222328653 14431657984 68495 33554432000 4194304 4196468 140731891983744 140314386673848 140315461091827 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26995] ppid=26981 vsize=14093416 memory=249708 CPUtime=0.61 cores=0,2,4,6
/proc/26983/task/26995/stat : 26995 (java) S 26981 26981 24759 0 -1 1077944384 4465 0 0 0 60 1 0 0 20 0 15 0 222328653 14431657984 68495 33554432000 4194304 4196468 140731891983744 140314385635568 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26996] ppid=26981 vsize=14093416 memory=-7737621075815351712 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26996/stat : 26996 (java) S 26981 26981 24759 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222328653 14431657984 68495 33554432000 4194304 4196468 140731891983744 140314384583264 140315479557845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
[pid=26983/tid=26997] ppid=26981 vsize=14093416 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/26983/task/26997/stat : 26997 (java) S 26981 26981 24759 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 222328654 14431657984 68495 33554432000 4194304 4196468 140731891983744 140314383530800 140315479558786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37085184 140731891987590 140731891987761 140731891987761 140731891990479 0
Current children cumulated CPU time: 7.32 s
Current children cumulated vsize: 14206544 KiB
Current children cumulated memory: 275436 KiB

Child status: 0
Real time (s): 3.3671
CPU time (s): 7.48326
CPU user time (s): 7.31719
CPU system time (s): 0.166072
CPU usage (%): 222.246
Max. virtual memory (cumulated for all children) (KiB): 14206544
Max. memory (cumulated for all children) (KiB): 275436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.31719
system time used= 0.166072
maximum resident set size= 274244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32952
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= 2373
involuntary context switches= 51


# summary of solver processes directly reported to runsolver:
#   pid: 26981
#   total CPU time (s): 7.48326
#   total CPU user time (s): 7.31719
#   total CPU system time (s): 0.166072

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.053317 second user time and 0.070543 second system time

The end

Launcher Data 

Begin job on node150 at 2018-08-12 06:20:54
IDJOB=4306682
IDBENCH=141108
IDSOLVER=2787
FILE ID=node150/4306682-1534047654
RUNJOBID= node150-1534040134-26256
PBS_JOBID= 21036968
Free space on /tmp= 34680 MiB

SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e)
BENCH NAME= XCSP18/Tal/Tal-02_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4306682-1534047654/watcher-4306682-1534047654 -o /tmp/evaluation-result-4306682-1534047654/solver-4306682-1534047654 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534040134-26256 --watchdog 2580  HOME/xcsp3-exec -seed 2015151053 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306682-1534047654.xml

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

MD5SUM BENCH= 66ad3cf55c90c9564165fed11cad25f4
RANDOM SEED=2015151053

node150.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.76
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.76
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.76
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.76
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:         7236844 kB
MemAvailable:   29659388 kB
Buffers:          213176 kB
Cached:         22169828 kB
SwapCached:           32 kB
Active:         12102556 kB
Inactive:       12577148 kB
Active(anon):    2246216 kB
Inactive(anon):   103004 kB
Active(file):    9856340 kB
Inactive(file): 12474144 kB
Unevictable:        7736 kB
Mlocked:            7736 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:             22260 kB
Writeback:             0 kB
AnonPages:       2358836 kB
Mapped:            65248 kB
Shmem:             49732 kB
Slab:             548400 kB
SReclaimable:     520520 kB
SUnreclaim:        27880 kB
KernelStack:        3824 kB
PageTables:         9768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3271308 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2283520 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= 34656 MiB
End job on node150 at 2018-08-12 06:20:57