Trace number 4393225

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 2019-06-14OPT55 32.4078 8.63377

General information on the benchmark

NameGolombRuler/
GolombRuler-a3v18-nodv-10_c18.xml
MD5SUM769ec0f26c47f1b96bb609b2e4d8d5d6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark55
Best CPU time to get the best result obtained on this benchmark31.0004
Satisfiable
(Un)Satisfiability was proved
Number of variables110
Number of constraints46
Number of domains2
Minimum domain size100
Maximum domain size101
Distribution of domain sizes[{"size":100,"count":45},{"size":101,"count":10}]
Minimum variable degree0
Maximum variable degree10
Distribution of variable degrees[{"degree":0,"count":55},{"degree":2,"count":45},{"degree":9,"count":9},{"degree":10,"count":1}]
Minimum constraint arity3
Maximum constraint arity45
Distribution of constraint arities[{"arity":3,"count":45},{"arity":45,"count":1}]
Number of extensional constraints0
Number of intensional constraints45
Distribution of constraint types[{"type":"intension","count":45},{"type":"allDifferent","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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393225-1568355588.xml"  -tl '2520s' -p 4
0.13/0.17	c Choco e747e1e
0.13/0.17	c [HOME/instance-4393225-1568355588.xml, -tl, 2520s, -p, 4]
0.13/0.21	c 4 solvers in parallel
0.33/0.27	c parse instance...
1.02/0.59	c solve instance...
1.35/0.69	o 80 
1.63/0.70	o 75 
1.63/0.72	o 73 
1.63/0.73	o 72 
1.63/0.76	o 70 
1.63/0.78	o 68 
1.99/0.81	o 66 
1.99/0.82	o 62 
2.78/1.08	o 60 
7.89/2.37	o 55 
32.32/8.62	s OPTIMUM FOUND
32.32/8.62	v <instantiation>
32.32/8.62	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] 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[0][9] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][6] y[5][7] y[5][8] y[5][9] y[6][7] y[6][8] y[6][9] y[7][8] y[7][9] y[8][9] </list>
32.32/8.62	v 	<values>0 1 6 10 23 26 34 41 53 55 1 6 10 23 26 34 41 53 55 5 9 22 25 33 40 52 54 4 17 20 28 35 47 49 13 16 24 31 43 45 3 11 18 30 32 8 15 27 29 7 19 21 12 14 2 </values>
32.32/8.62	v </instantiation>

Verifier Data 

OK	55

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393225-1568355588/watcher-4393225-1568355588 -o /tmp/evaluation-result-4393225-1568355588/solver-4393225-1568355588 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568346919-22074 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 260676123 HOME/instance-4393225-1568355588.xml 

running on 4 cores: 1,3,5,7

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=26994, runsolver pid=26991

[startup+0.100363 s]*
/proc/loadavg: 8.60 8.27 8.42 7/233 27010
/proc/meminfo: memFree=29854340/32770624 swapFree=66940792/67108860
[pid=26994] ppid=26991 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26994/stat : 26994 (xcsp3-exec) S 26991 26994 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411797534 115843072 363 33554432000 4194304 5098028 140732241590144 140732241588248 140628940386940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8888320 140732241593211 140732241593453 140732241593453 140732241596362 0
/proc/26994/statm: 28282 363 304 221 0 87 0
[pid=26996] ppid=26994 vsize=15144768 memory=29376 CPUtime=0.13 cores=1,3,5,7
/proc/26996/stat : 26996 (java) S 26994 26994 22042 0 -1 1077944320 5807 0 0 0 12 1 0 0 20 0 15 0 411797534 15508242432 7344 33554432000 4194304 4196468 140729515351280 140729515333824 140103395917559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
/proc/26996/statm: 3786192 7344 3152 1 0 3748377 0
[pid=26996/tid=26997] ppid=26994 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=1,3,5,7
/proc/26996/task/26997/stat : 26997 (java) R 26994 26994 22042 0 -1 4202560 3671 0 0 0 9 0 0 0 20 0 15 0 411797534 15508242432 7344 33554432000 4194304 4196468 140729515351280 140103400147312 140103395929494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=26998] ppid=26994 vsize=15144768 memory=3472468043227710672 CPUtime=0 cores=1,3,5,7
/proc/26996/task/26998/stat : 26998 (java) S 26994 26994 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411797535 15508242432 7344 33554432000 4194304 4196468 140729515351280 140103323957904 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=26999] ppid=26994 vsize=15144768 memory=139914332558976 CPUtime=0 cores=1,3,5,7
/proc/26996/task/26999/stat : 26999 (java) S 26994 26994 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411797535 15508242432 7344 33554432000 4194304 4196468 140729515351280 140103322905104 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27000] ppid=26994 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27000/stat : 27000 (java) S 26994 26994 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411797535 15508242432 7344 33554432000 4194304 4196468 140729515351280 140103321852304 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27001] ppid=26994 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27001/stat : 27001 (java) S 26994 26994 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411797535 15508242432 7344 33554432000 4194304 4196468 140729515351280 140103320799504 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27002] ppid=26994 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27002/stat : 27002 (java) S 26994 26994 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411797536 15508242432 7344 33554432000 4194304 4196468 140729515351280 140102864493424 140103395928706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27003] ppid=26994 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27003/stat : 27003 (java) S 26994 26994 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411797537 15508242432 7344 33554432000 4194304 4196468 140729515351280 140102863439392 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27004] ppid=26994 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27004/stat : 27004 (java) S 26994 26994 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411797537 15508242432 7344 33554432000 4194304 4196468 140729515351280 140102862386544 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27005] ppid=26994 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27005/stat : 27005 (java) S 26994 26994 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411797539 15508242432 7344 33554432000 4194304 4196468 140729515351280 140102861334864 140103395936155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27006] ppid=26994 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27006/stat : 27006 (java) R 26994 26994 22042 0 -1 4202560 450 0 0 0 0 0 0 0 20 0 15 0 411797539 15508242432 7344 33554432000 4194304 4196468 140729515351280 140102860273728 140103379431584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27007] ppid=26994 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27007/stat : 27007 (java) R 26994 26994 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411797539 15508242432 7344 33554432000 4194304 4196468 140729515351280 140102859229424 140103395928706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27008] ppid=26994 vsize=15144768 memory=139914332558976 CPUtime=0.02 cores=1,3,5,7
/proc/26996/task/27008/stat : 27008 (java) R 26994 26994 22042 0 -1 4202560 380 0 0 0 2 0 0 0 20 0 15 0 411797539 15508242432 7344 33554432000 4194304 4196468 140729515351280 140102858176624 140103374599220 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27009] ppid=26994 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27009/stat : 27009 (java) S 26994 26994 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411797539 15508242432 7344 33554432000 4194304 4196468 140729515351280 140102857124064 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27010] ppid=26994 vsize=15144768 memory=139914332558976 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27010/stat : 27010 (java) S 26994 26994 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411797540 15508242432 7344 33554432000 4194304 4196468 140729515351280 140102856072368 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30828 KiB

[startup+0.210743 s]*
/proc/loadavg: 8.60 8.27 8.42 8/233 27010
/proc/meminfo: memFree=29841844/32770624 swapFree=66940792/67108860
[pid=26994] ppid=26991 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26994/stat : 26994 (xcsp3-exec) S 26991 26994 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411797534 115843072 363 33554432000 4194304 5098028 140732241590144 140732241588248 140628940386940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8888320 140732241593211 140732241593453 140732241593453 140732241596362 0
/proc/26994/statm: 28282 363 304 221 0 87 0
[pid=26996] ppid=26994 vsize=15149024 memory=40500 CPUtime=0.33 cores=1,3,5,7
/proc/26996/stat : 26996 (java) S 26994 26994 22042 0 -1 1077944320 9402 0 0 0 31 2 0 0 20 0 15 0 411797534 15512600576 10125 33554432000 4194304 4196468 140729515351280 140729515333824 140103395917559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
/proc/26996/statm: 3787256 10125 3270 1 0 3748377 0
[pid=26996/tid=26997] ppid=26994 vsize=15149024 memory=5853954506220994978 CPUtime=0.2 cores=1,3,5,7
/proc/26996/task/26997/stat : 26997 (java) R 26994 26994 22042 0 -1 4202560 6702 0 0 0 19 1 0 0 20 0 15 0 411797534 15512600576 10125 33554432000 4194304 4196468 140729515351280 140103400138552 140102851218208 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=26998] ppid=26994 vsize=15149024 memory=3472468043227710672 CPUtime=0 cores=1,3,5,7
/proc/26996/task/26998/stat : 26998 (java) S 26994 26994 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411797535 15512600576 10125 33554432000 4194304 4196468 140729515351280 140103323957904 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=26999] ppid=26994 vsize=15149024 memory=139914332558976 CPUtime=0 cores=1,3,5,7
/proc/26996/task/26999/stat : 26999 (java) S 26994 26994 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411797535 15512600576 10125 33554432000 4194304 4196468 140729515351280 140103322905104 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27000] ppid=26994 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27000/stat : 27000 (java) S 26994 26994 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411797535 15512600576 10125 33554432000 4194304 4196468 140729515351280 140103321852304 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27001] ppid=26994 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27001/stat : 27001 (java) S 26994 26994 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411797535 15512600576 10125 33554432000 4194304 4196468 140729515351280 140103320799504 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27002] ppid=26994 vsize=15149024 memory=139914332558976 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27002/stat : 27002 (java) S 26994 26994 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411797536 15512600576 10125 33554432000 4194304 4196468 140729515351280 140102864493424 140103395928706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27003] ppid=26994 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27003/stat : 27003 (java) S 26994 26994 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411797537 15512600576 10125 33554432000 4194304 4196468 140729515351280 140102863439392 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27004] ppid=26994 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27004/stat : 27004 (java) S 26994 26994 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411797537 15512600576 10125 33554432000 4194304 4196468 140729515351280 140102862386544 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27005] ppid=26994 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27005/stat : 27005 (java) S 26994 26994 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411797539 15512600576 10125 33554432000 4194304 4196468 140729515351280 140102861334864 140103395936155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27006] ppid=26994 vsize=15149024 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26996/task/27006/stat : 27006 (java) S 26994 26994 22042 0 -1 1077944384 474 0 0 0 1 0 0 0 20 0 15 0 411797539 15512600576 10125 33554432000 4194304 4196468 140729515351280 140102860282224 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27007] ppid=26994 vsize=15149024 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26996/task/27007/stat : 27007 (java) S 26994 26994 22042 0 -1 1077944384 131 0 0 0 2 0 0 0 20 0 15 0 411797539 15512600576 10125 33554432000 4194304 4196468 140729515351280 140102859229424 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27008] ppid=26994 vsize=15149024 memory=139914332558976 CPUtime=0.08 cores=1,3,5,7
/proc/26996/task/27008/stat : 27008 (java) S 26994 26994 22042 0 -1 1077944384 788 0 0 0 8 0 0 0 20 0 15 0 411797539 15512600576 10125 33554432000 4194304 4196468 140729515351280 140102858176624 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27009] ppid=26994 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27009/stat : 27009 (java) S 26994 26994 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411797539 15512600576 10125 33554432000 4194304 4196468 140729515351280 140102857124064 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27010] ppid=26994 vsize=15149024 memory=139914332558976 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27010/stat : 27010 (java) S 26994 26994 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411797540 15512600576 10125 33554432000 4194304 4196468 140729515351280 140102856072368 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 41952 KiB

[startup+0.314425 s]*
/proc/loadavg: 8.60 8.27 8.42 6/233 27010
/proc/meminfo: memFree=29833968/32770624 swapFree=66940792/67108860
[pid=26994] ppid=26991 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26994/stat : 26994 (xcsp3-exec) S 26991 26994 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411797534 115843072 363 33554432000 4194304 5098028 140732241590144 140732241588248 140628940386940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8888320 140732241593211 140732241593453 140732241593453 140732241596362 0
/proc/26994/statm: 28282 363 304 221 0 87 0
[pid=26996] ppid=26994 vsize=15149024 memory=50428 CPUtime=0.53 cores=1,3,5,7
/proc/26996/stat : 26996 (java) S 26994 26994 22042 0 -1 1077944320 10981 0 0 0 50 3 0 0 20 0 15 0 411797534 15512600576 12607 33554432000 4194304 4196468 140729515351280 140729515333824 140103395917559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
/proc/26996/statm: 3787256 12607 3366 1 0 3748377 0
[pid=26996/tid=26997] ppid=26994 vsize=15149024 memory=8514701219880992413 CPUtime=0.31 cores=1,3,5,7
/proc/26996/task/26997/stat : 26997 (java) R 26994 26994 22042 0 -1 4202560 7933 0 0 0 29 2 0 0 20 0 15 0 411797534 15512600576 12607 33554432000 4194304 4196468 140729515351280 140103400152888 140103379998046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=26998] ppid=26994 vsize=15149024 memory=3472468043227710672 CPUtime=0 cores=1,3,5,7
/proc/26996/task/26998/stat : 26998 (java) S 26994 26994 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411797535 15512600576 12607 33554432000 4194304 4196468 140729515351280 140103323957904 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=26999] ppid=26994 vsize=15149024 memory=139914332558976 CPUtime=0 cores=1,3,5,7
/proc/26996/task/26999/stat : 26999 (java) S 26994 26994 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411797535 15512600576 12607 33554432000 4194304 4196468 140729515351280 140103322905104 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27000] ppid=26994 vsize=15149024 memory=4 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27000/stat : 27000 (java) S 26994 26994 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411797535 15512600576 12607 33554432000 4194304 4196468 140729515351280 140103321852304 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27001] ppid=26994 vsize=15149024 memory=139914196953119 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27001/stat : 27001 (java) S 26994 26994 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411797535 15512600576 12607 33554432000 4194304 4196468 140729515351280 140103320799504 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27002] ppid=26994 vsize=15149024 memory=279828393867008 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27002/stat : 27002 (java) S 26994 26994 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411797536 15512600576 12607 33554432000 4194304 4196468 140729515351280 140102864493424 140103395928706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27003] ppid=26994 vsize=15149024 memory=139914196930063 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27003/stat : 27003 (java) S 26994 26994 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411797537 15512600576 12607 33554432000 4194304 4196468 140729515351280 140102863439392 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27004] ppid=26994 vsize=15149024 memory=279828529498208 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27004/stat : 27004 (java) S 26994 26994 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411797537 15512600576 12607 33554432000 4194304 4196468 140729515351280 140102862386544 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27005] ppid=26994 vsize=15149024 memory=139914196934671 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27005/stat : 27005 (java) S 26994 26994 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411797539 15512600576 12607 33554432000 4194304 4196468 140729515351280 140102861334864 140103395936155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27006] ppid=26994 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26996/task/27006/stat : 27006 (java) R 26994 26994 22042 0 -1 4202560 552 0 0 0 3 0 0 0 20 0 15 0 411797539 15512600576 12607 33554432000 4194304 4196468 140729515351280 140102860282224 140103388902601 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27007] ppid=26994 vsize=15149024 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/26996/task/27007/stat : 27007 (java) R 26994 26994 22042 0 -1 1077944384 242 0 0 0 5 0 0 0 20 0 15 0 411797539 15512600576 12607 33554432000 4194304 4196468 140729515351280 140102859229424 140103395928706 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27008] ppid=26994 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26996/task/27008/stat : 27008 (java) S 26994 26994 22042 0 -1 1077944384 949 0 0 0 12 0 0 0 20 0 15 0 411797539 15512600576 12607 33554432000 4194304 4196468 140729515351280 140102858176624 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27009] ppid=26994 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27009/stat : 27009 (java) S 26994 26994 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411797539 15512600576 12607 33554432000 4194304 4196468 140729515351280 140102857124064 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27010] ppid=26994 vsize=15149024 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27010/stat : 27010 (java) S 26994 26994 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411797540 15512600576 12607 33554432000 4194304 4196468 140729515351280 140102856072368 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51880 KiB

[startup+0.703124 s]
/proc/loadavg: 8.60 8.27 8.42 7/233 27010
/proc/meminfo: memFree=29816528/32770624 swapFree=66940792/67108860
[pid=26994] ppid=26991 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26994/stat : 26994 (xcsp3-exec) S 26991 26994 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411797534 115843072 363 33554432000 4194304 5098028 140732241590144 140732241588248 140628940386940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8888320 140732241593211 140732241593453 140732241593453 140732241596362 0
/proc/26994/statm: 28282 363 304 221 0 87 0
[pid=26996] ppid=26994 vsize=15417404 memory=90072 CPUtime=1.63 cores=1,3,5,7
/proc/26996/stat : 26996 (java) S 26994 26994 22042 0 -1 1077944320 15355 0 0 0 158 5 0 0 20 0 19 0 411797534 15787421696 22518 33554432000 4194304 4196468 140729515351280 140729515333824 140103395917559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
/proc/26996/statm: 3854351 22518 3456 1 0 3815453 0
[pid=26996/tid=26997] ppid=26994 vsize=15417404 memory=1088 CPUtime=0.57 cores=1,3,5,7
/proc/26996/task/26997/stat : 26997 (java) S 26994 26994 22042 0 -1 1077944384 9228 0 0 0 55 2 0 0 20 0 19 0 411797534 15787421696 22518 33554432000 4194304 4196468 140729515351280 140103400158336 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=26998] ppid=26994 vsize=15417404 memory=988 CPUtime=0 cores=1,3,5,7
/proc/26996/task/26998/stat : 26998 (java) S 26994 26994 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411797535 15787421696 22518 33554432000 4194304 4196468 140729515351280 140103323957904 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=26999] ppid=26994 vsize=15417404 memory=780 CPUtime=0 cores=1,3,5,7
/proc/26996/task/26999/stat : 26999 (java) S 26994 26994 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411797535 15787421696 22518 33554432000 4194304 4196468 140729515351280 140103322905104 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27000] ppid=26994 vsize=15417404 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27000/stat : 27000 (java) S 26994 26994 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411797535 15787421696 23030 33554432000 4194304 4196468 140729515351280 140103321852304 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27001] ppid=26994 vsize=15417404 memory=624 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27001/stat : 27001 (java) S 26994 26994 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 411797535 15787421696 23030 33554432000 4194304 4196468 140729515351280 140103320799504 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27002] ppid=26994 vsize=15417404 memory=3996 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27002/stat : 27002 (java) S 26994 26994 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 411797536 15787421696 23030 33554432000 4194304 4196468 140729515351280 140102864493424 140103395928706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27003] ppid=26994 vsize=15417404 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27003/stat : 27003 (java) S 26994 26994 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 411797537 15787421696 23030 33554432000 4194304 4196468 140729515351280 140102863439392 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27004] ppid=26994 vsize=15417404 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27004/stat : 27004 (java) S 26994 26994 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 411797537 15787421696 23030 33554432000 4194304 4196468 140729515351280 140102862386544 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27005] ppid=26994 vsize=15417404 memory=38428 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27005/stat : 27005 (java) S 26994 26994 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411797539 15787421696 23030 33554432000 4194304 4196468 140729515351280 140102861334864 140103395936155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27006] ppid=26994 vsize=15417404 memory=1988 CPUtime=0.2 cores=1,3,5,7
/proc/26996/task/27006/stat : 27006 (java) R 26994 26994 22042 0 -1 4202560 1330 0 0 0 20 0 0 0 20 0 19 0 411797539 15787421696 23030 33554432000 4194304 4196468 140729515351280 140102860275256 140103377327709 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27007] ppid=26994 vsize=15417404 memory=988 CPUtime=0.27 cores=1,3,5,7
/proc/26996/task/27007/stat : 27007 (java) R 26994 26994 22042 0 -1 4202560 1233 0 0 0 27 0 0 0 20 0 19 0 411797539 15787421696 23030 33554432000 4194304 4196468 140729515351280 140102859215304 140103377461718 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27008] ppid=26994 vsize=15417404 memory=1428 CPUtime=0.38 cores=1,3,5,7
/proc/26996/task/27008/stat : 27008 (java) S 26994 26994 22042 0 -1 1077944384 2012 0 0 0 37 1 0 0 20 0 19 0 411797539 15787421696 23030 33554432000 4194304 4196468 140729515351280 140102858172352 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27009] ppid=26994 vsize=15417404 memory=1772 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27009/stat : 27009 (java) S 26994 26994 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411797539 15787421696 23030 33554432000 4194304 4196468 140729515351280 140102857124064 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27010] ppid=26994 vsize=15417404 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27010/stat : 27010 (java) S 26994 26994 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411797540 15787421696 23030 33554432000 4194304 4196468 140729515351280 140102856072368 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 91524 KiB

[startup+1.50956 s]
/proc/loadavg: 8.60 8.27 8.42 12/237 27046
/proc/meminfo: memFree=29721496/32770624 swapFree=66940792/67108860
[pid=26994] ppid=26991 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26994/stat : 26994 (xcsp3-exec) S 26991 26994 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411797534 115843072 363 33554432000 4194304 5098028 140732241590144 140732241588248 140628940386940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8888320 140732241593211 140732241593453 140732241593453 140732241596362 0
/proc/26994/statm: 28282 363 304 221 0 87 0

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

/proc/26996/task/27010/stat : 27010 (java) S 26994 26994 22042 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 411797540 15857680384 52618 33554432000 4194304 4196468 140729515351280 140102856072368 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27051] ppid=26994 vsize=15486016 memory=1532 CPUtime=3.44 cores=1,3,5,7
/proc/26996/task/27051/stat : 27051 (java) R 26994 26994 22042 0 -1 4202560 84 0 0 0 343 1 0 0 20 0 19 0 411797771 15857680384 52618 33554432000 4194304 4196468 140729515351280 140102846860616 140102995212935 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27052] ppid=26994 vsize=15486016 memory=1088 CPUtime=3.27 cores=1,3,5,7
/proc/26996/task/27052/stat : 27052 (java) R 26994 26994 22042 0 -1 4202560 323 0 0 0 327 0 0 0 20 0 19 0 411797771 15857680384 52618 33554432000 4194304 4196468 140729515351280 140102844758280 140102996576300 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27053] ppid=26994 vsize=15486016 memory=988 CPUtime=2.99 cores=1,3,5,7
/proc/26996/task/27053/stat : 27053 (java) R 26994 26994 22042 0 -1 4202560 293 0 0 0 299 0 0 0 20 0 19 0 411797771 15857680384 52618 33554432000 4194304 4196468 140729515351280 140102845809432 140102995403432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27054] ppid=26994 vsize=15486016 memory=780 CPUtime=3.58 cores=1,3,5,7
/proc/26996/task/27054/stat : 27054 (java) R 26994 26994 22042 0 -1 4202560 124 0 0 0 358 0 0 0 20 0 19 0 411797771 15857680384 52618 33554432000 4194304 4196468 140729515351280 140102843703976 140102997226933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
Current children cumulated CPU time: 23.54 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 211924 KiB

[startup+8.00756 s]*
/proc/loadavg: 8.71 8.30 8.43 9/237 27054
/proc/meminfo: memFree=29668748/32770624 swapFree=66940792/67108860
[pid=26994] ppid=26991 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26994/stat : 26994 (xcsp3-exec) S 26991 26994 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411797534 115843072 363 33554432000 4194304 5098028 140732241590144 140732241588248 140628940386940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8888320 140732241593211 140732241593453 140732241593453 140732241596362 0
/proc/26994/statm: 28282 363 304 221 0 87 0
[pid=26996] ppid=26994 vsize=15486016 memory=214940 CPUtime=29.96 cores=1,3,5,7
/proc/26996/stat : 26996 (java) S 26994 26994 22042 0 -1 1077944320 37000 0 0 0 2985 11 0 0 20 0 19 0 411797534 15857680384 53735 33554432000 4194304 4196468 140729515351280 140729515333824 140103395917559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
/proc/26996/statm: 3871504 53735 3519 1 0 3832606 0
[pid=26996/tid=26997] ppid=26994 vsize=15486016 memory=6791534058613427641 CPUtime=0.58 cores=1,3,5,7
/proc/26996/task/26997/stat : 26997 (java) S 26994 26994 22042 0 -1 1077944384 9307 0 0 0 55 3 0 0 20 0 19 0 411797534 15857680384 53735 33554432000 4194304 4196468 140729515351280 140103400158336 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=26998] ppid=26994 vsize=15486016 memory=279828394468624 CPUtime=0 cores=1,3,5,7
/proc/26996/task/26998/stat : 26998 (java) S 26994 26994 22042 0 -1 1077944384 1246 0 0 0 0 0 0 0 20 0 19 0 411797535 15857680384 53735 33554432000 4194304 4196468 140729515351280 140103323957904 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=26999] ppid=26994 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/26999/stat : 26999 (java) S 26994 26994 22042 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 19 0 411797535 15857680384 53735 33554432000 4194304 4196468 140729515351280 140103322905104 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27000] ppid=26994 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27000/stat : 27000 (java) S 26994 26994 22042 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 19 0 411797535 15857680384 53735 33554432000 4194304 4196468 140729515351280 140103321852304 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27001] ppid=26994 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27001/stat : 27001 (java) S 26994 26994 22042 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 19 0 411797535 15857680384 53735 33554432000 4194304 4196468 140729515351280 140103320799504 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27002] ppid=26994 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27002/stat : 27002 (java) S 26994 26994 22042 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 19 0 411797536 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102864493424 140103395928706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27003] ppid=26994 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27003/stat : 27003 (java) S 26994 26994 22042 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 411797537 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102863439456 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27004] ppid=26994 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27004/stat : 27004 (java) S 26994 26994 22042 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 19 0 411797537 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102862386560 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27005] ppid=26994 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27005/stat : 27005 (java) S 26994 26994 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411797539 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102861334864 140103395936155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27006] ppid=26994 vsize=15486016 memory=0 CPUtime=2.5 cores=1,3,5,7
/proc/26996/task/27006/stat : 27006 (java) S 26994 26994 22042 0 -1 1077944384 9113 0 0 0 250 0 0 0 20 0 19 0 411797539 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102860282224 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27007] ppid=26994 vsize=15486016 memory=3689636878213984303 CPUtime=2.21 cores=1,3,5,7
/proc/26996/task/27007/stat : 27007 (java) S 26994 26994 22042 0 -1 1077944384 6203 0 0 0 221 0 0 0 20 0 19 0 411797539 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102859229424 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27008] ppid=26994 vsize=15486016 memory=3467964542212344992 CPUtime=0.66 cores=1,3,5,7
/proc/26996/task/27008/stat : 27008 (java) S 26994 26994 22042 0 -1 1077944384 5286 0 0 0 65 1 0 0 20 0 19 0 411797539 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102858176624 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27009] ppid=26994 vsize=15486016 memory=3546074740176662579 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27009/stat : 27009 (java) S 26994 26994 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411797539 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102857124064 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27010] ppid=26994 vsize=15486016 memory=3979125406401857971 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27010/stat : 27010 (java) S 26994 26994 22042 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 411797540 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102856072368 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27051] ppid=26994 vsize=15486016 memory=734431132123269433 CPUtime=5.05 cores=1,3,5,7
/proc/26996/task/27051/stat : 27051 (java) R 26994 26994 22042 0 -1 4202560 123 0 0 0 504 1 0 0 20 0 19 0 411797771 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102846861224 140102997227422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27052] ppid=26994 vsize=15486016 memory=5795522811318011568 CPUtime=4.83 cores=1,3,5,7
/proc/26996/task/27052/stat : 27052 (java) R 26994 26994 22042 0 -1 4202560 391 0 0 0 483 0 0 0 20 0 19 0 411797771 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102844756792 140102997228375 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27053] ppid=26994 vsize=15486016 memory=-1 CPUtime=4.59 cores=1,3,5,7
/proc/26996/task/27053/stat : 27053 (java) R 26994 26994 22042 0 -1 4202560 339 0 0 0 459 0 0 0 20 0 19 0 411797771 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102845809528 140102996953159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27054] ppid=26994 vsize=15486016 memory=5866311684350699601 CPUtime=5.15 cores=1,3,5,7
/proc/26996/task/27054/stat : 27054 (java) R 26994 26994 22042 0 -1 4202560 143 0 0 0 515 0 0 0 20 0 19 0 411797771 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102843702896 140102995212219 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
Current children cumulated CPU time: 29.96 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 216392 KiB

[startup+8.40956 s]
/proc/loadavg: 8.71 8.30 8.43 9/237 27054
/proc/meminfo: memFree=29668748/32770624 swapFree=66940792/67108860
[pid=26994] ppid=26991 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26994/stat : 26994 (xcsp3-exec) S 26991 26994 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411797534 115843072 363 33554432000 4194304 5098028 140732241590144 140732241588248 140628940386940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8888320 140732241593211 140732241593453 140732241593453 140732241596362 0
/proc/26994/statm: 28282 363 304 221 0 87 0
[pid=26996] ppid=26994 vsize=15486016 memory=214940 CPUtime=31.52 cores=1,3,5,7
/proc/26996/stat : 26996 (java) S 26994 26994 22042 0 -1 1077944320 37060 0 0 0 3141 11 0 0 20 0 19 0 411797534 15857680384 53735 33554432000 4194304 4196468 140729515351280 140729515333824 140103395917559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
/proc/26996/statm: 3871504 53735 3519 1 0 3832606 0
[pid=26996/tid=26997] ppid=26994 vsize=15486016 memory=-3105663295951302735 CPUtime=0.58 cores=1,3,5,7
/proc/26996/task/26997/stat : 26997 (java) S 26994 26994 22042 0 -1 1077944384 9307 0 0 0 55 3 0 0 20 0 19 0 411797534 15857680384 53735 33554432000 4194304 4196468 140729515351280 140103400158336 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=26998] ppid=26994 vsize=15486016 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26996/task/26998/stat : 26998 (java) S 26994 26994 22042 0 -1 1077944384 1246 0 0 0 0 0 0 0 20 0 19 0 411797535 15857680384 53735 33554432000 4194304 4196468 140729515351280 140103323957904 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=26999] ppid=26994 vsize=15486016 memory=279828394099592 CPUtime=0 cores=1,3,5,7
/proc/26996/task/26999/stat : 26999 (java) S 26994 26994 22042 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 19 0 411797535 15857680384 53735 33554432000 4194304 4196468 140729515351280 140103322905104 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27000] ppid=26994 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27000/stat : 27000 (java) S 26994 26994 22042 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 19 0 411797535 15857680384 53735 33554432000 4194304 4196468 140729515351280 140103321852304 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27001] ppid=26994 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27001/stat : 27001 (java) S 26994 26994 22042 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 19 0 411797535 15857680384 53735 33554432000 4194304 4196468 140729515351280 140103320799504 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27002] ppid=26994 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27002/stat : 27002 (java) S 26994 26994 22042 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 19 0 411797536 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102864493424 140103395928706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27003] ppid=26994 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27003/stat : 27003 (java) S 26994 26994 22042 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 411797537 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102863439456 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27004] ppid=26994 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27004/stat : 27004 (java) S 26994 26994 22042 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 19 0 411797537 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102862386560 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27005] ppid=26994 vsize=15486016 memory=-3039135443232236825 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27005/stat : 27005 (java) S 26994 26994 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411797539 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102861334864 140103395936155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27006] ppid=26994 vsize=15486016 memory=8028674167852916816 CPUtime=2.51 cores=1,3,5,7
/proc/26996/task/27006/stat : 27006 (java) S 26994 26994 22042 0 -1 1077944384 9144 0 0 0 251 0 0 0 20 0 19 0 411797539 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102860282224 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27007] ppid=26994 vsize=15486016 memory=1399103955520229747 CPUtime=2.21 cores=1,3,5,7
/proc/26996/task/27007/stat : 27007 (java) S 26994 26994 22042 0 -1 1077944384 6206 0 0 0 221 0 0 0 20 0 19 0 411797539 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102859229424 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27008] ppid=26994 vsize=15486016 memory=5972 CPUtime=0.66 cores=1,3,5,7
/proc/26996/task/27008/stat : 27008 (java) S 26994 26994 22042 0 -1 1077944384 5295 0 0 0 65 1 0 0 20 0 19 0 411797539 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102858176624 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27009] ppid=26994 vsize=15486016 memory=624 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27009/stat : 27009 (java) S 26994 26994 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411797539 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102857124064 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27010] ppid=26994 vsize=15486016 memory=3996 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27010/stat : 27010 (java) S 26994 26994 22042 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 411797540 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102856072368 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27051] ppid=26994 vsize=15486016 memory=2832 CPUtime=5.44 cores=1,3,5,7
/proc/26996/task/27051/stat : 27051 (java) R 26994 26994 22042 0 -1 4202560 126 0 0 0 543 1 0 0 20 0 19 0 411797771 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102846861224 140102995403520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27052] ppid=26994 vsize=15486016 memory=14012 CPUtime=5.21 cores=1,3,5,7
/proc/26996/task/27052/stat : 27052 (java) R 26994 26994 22042 0 -1 4202560 396 0 0 0 521 0 0 0 20 0 19 0 411797771 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102844756904 140102996801563 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27053] ppid=26994 vsize=15486016 memory=2112 CPUtime=4.98 cores=1,3,5,7
/proc/26996/task/27053/stat : 27053 (java) R 26994 26994 22042 0 -1 4202560 348 0 0 0 498 0 0 0 20 0 19 0 411797771 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102845809464 140102996641270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27054] ppid=26994 vsize=15486016 memory=12040 CPUtime=5.54 cores=1,3,5,7
/proc/26996/task/27054/stat : 27054 (java) R 26994 26994 22042 0 -1 4202560 143 0 0 0 554 0 0 0 20 0 19 0 411797771 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102843705448 140103380256371 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
Current children cumulated CPU time: 31.52 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 216392 KiB

[startup+8.60756 s]
/proc/loadavg: 8.71 8.30 8.43 9/237 27054
/proc/meminfo: memFree=29668748/32770624 swapFree=66940792/67108860
[pid=26994] ppid=26991 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/26994/stat : 26994 (xcsp3-exec) S 26991 26994 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411797534 115843072 363 33554432000 4194304 5098028 140732241590144 140732241588248 140628940386940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 8888320 140732241593211 140732241593453 140732241593453 140732241596362 0
/proc/26994/statm: 28282 363 304 221 0 87 0
[pid=26996] ppid=26994 vsize=15486016 memory=214940 CPUtime=32.32 cores=1,3,5,7
/proc/26996/stat : 26996 (java) S 26994 26994 22042 0 -1 1077944320 37064 0 0 0 3220 12 0 0 20 0 19 0 411797534 15857680384 53735 33554432000 4194304 4196468 140729515351280 140729515333824 140103395917559 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
/proc/26996/statm: 3871504 53735 3519 1 0 3832606 0
[pid=26996/tid=26997] ppid=26994 vsize=15486016 memory=532 CPUtime=0.58 cores=1,3,5,7
/proc/26996/task/26997/stat : 26997 (java) S 26994 26994 22042 0 -1 1077944384 9307 0 0 0 55 3 0 0 20 0 19 0 411797534 15857680384 53735 33554432000 4194304 4196468 140729515351280 140103400158336 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=26998] ppid=26994 vsize=15486016 memory=928 CPUtime=0 cores=1,3,5,7
/proc/26996/task/26998/stat : 26998 (java) S 26994 26994 22042 0 -1 1077944384 1246 0 0 0 0 0 0 0 20 0 19 0 411797535 15857680384 53735 33554432000 4194304 4196468 140729515351280 140103323957904 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=26999] ppid=26994 vsize=15486016 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/26996/task/26999/stat : 26999 (java) S 26994 26994 22042 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 19 0 411797535 15857680384 53735 33554432000 4194304 4196468 140729515351280 140103322905104 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27000] ppid=26994 vsize=15486016 memory=1976 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27000/stat : 27000 (java) S 26994 26994 22042 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 19 0 411797535 15857680384 53735 33554432000 4194304 4196468 140729515351280 140103321852304 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27001] ppid=26994 vsize=15486016 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27001/stat : 27001 (java) S 26994 26994 22042 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 19 0 411797535 15857680384 53735 33554432000 4194304 4196468 140729515351280 140103320799504 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27002] ppid=26994 vsize=15486016 memory=6153431502485415017 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27002/stat : 27002 (java) S 26994 26994 22042 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 19 0 411797536 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102864493424 140103395928706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27003] ppid=26994 vsize=15486016 memory=3976875784034552564 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27003/stat : 27003 (java) S 26994 26994 22042 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 411797537 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102863439456 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27004] ppid=26994 vsize=15486016 memory=255851201876768 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27004/stat : 27004 (java) S 26994 26994 22042 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 19 0 411797537 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102862386560 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27005] ppid=26994 vsize=15486016 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27005/stat : 27005 (java) S 26994 26994 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411797539 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102861334864 140103395936155 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27006] ppid=26994 vsize=15486016 memory=6153431502485415778 CPUtime=2.51 cores=1,3,5,7
/proc/26996/task/27006/stat : 27006 (java) S 26994 26994 22042 0 -1 1077944384 9144 0 0 0 251 0 0 0 20 0 19 0 411797539 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102860282224 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27007] ppid=26994 vsize=15486016 memory=7597685182856913236 CPUtime=2.21 cores=1,3,5,7
/proc/26996/task/27007/stat : 27007 (java) S 26994 26994 22042 0 -1 1077944384 6206 0 0 0 221 0 0 0 20 0 19 0 411797539 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102859229424 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27008] ppid=26994 vsize=15486016 memory=7151829807201800272 CPUtime=0.66 cores=1,3,5,7
/proc/26996/task/27008/stat : 27008 (java) S 26994 26994 22042 0 -1 1077944384 5295 0 0 0 65 1 0 0 20 0 19 0 411797539 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102858176624 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27009] ppid=26994 vsize=15486016 memory=-7028383565733675155 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27009/stat : 27009 (java) S 26994 26994 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411797539 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102857124064 140103395927765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27010] ppid=26994 vsize=15486016 memory=8508281403248053389 CPUtime=0 cores=1,3,5,7
/proc/26996/task/27010/stat : 27010 (java) S 26994 26994 22042 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 411797540 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102856072368 140103395928706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27051] ppid=26994 vsize=15486016 memory=-9181546050914066336 CPUtime=5.64 cores=1,3,5,7
/proc/26996/task/27051/stat : 27051 (java) R 26994 26994 22042 0 -1 4202560 126 0 0 0 563 1 0 0 20 0 19 0 411797771 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102846861272 140102995212324 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27052] ppid=26994 vsize=15486016 memory=7682744562830902035 CPUtime=5.4 cores=1,3,5,7
/proc/26996/task/27052/stat : 27052 (java) R 26994 26994 22042 0 -1 4202560 399 0 0 0 540 0 0 0 20 0 19 0 411797771 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102844756344 140102995403466 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27053] ppid=26994 vsize=15486016 memory=4137287014106042739 CPUtime=5.18 cores=1,3,5,7
/proc/26996/task/27053/stat : 27053 (java) R 26994 26994 22042 0 -1 4202560 349 0 0 0 518 0 0 0 20 0 19 0 411797771 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102845809400 140102995212621 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
[pid=26996/tid=27054] ppid=26994 vsize=15486016 memory=-7595718147998060693 CPUtime=5.74 cores=1,3,5,7
/proc/26996/task/27054/stat : 27054 (java) R 26994 26994 22042 0 -1 4202560 143 0 0 0 574 0 0 0 20 0 19 0 411797771 15857680384 53735 33554432000 4194304 4196468 140729515351280 140102843702832 140102997228405 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29618176 140729515357167 140729515357338 140729515357338 140729515360207 0
Current children cumulated CPU time: 32.32 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 216392 KiB

Child status: 0
Real time (s): 8.63377
CPU time (s): 32.4078
CPU user time (s): 32.2813
CPU system time (s): 0.126547
CPU usage (%): 375.361
Max. virtual memory (cumulated for all children) (KiB): 15599144
Max. memory (cumulated for all children) (KiB): 216392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.2813
system time used= 0.126547
maximum resident set size= 214940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3069
involuntary context switches= 1155


# summary of solver processes directly reported to runsolver:
#   pid: 26994
#   total CPU time (s): 32.4078
#   total CPU user time (s): 32.2813
#   total CPU system time (s): 0.126547

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.08087 second user time and 0.133753 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-13 08:19:11
IDJOB=4393225
IDBENCH=141365
IDSOLVER=2840
FILE ID=node149/4393225-1568355588
RUNJOBID= node149-1568346919-22074
PBS_JOBID= 21701170
Free space on /tmp= 57044 MiB

SOLVER NAME= choco-solver 2019-06-14
BENCH NAME= XCSP18/GolombRuler/GolombRuler-a3v18-nodv-10_c18.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393225-1568355588/watcher-4393225-1568355588 -o /tmp/evaluation-result-4393225-1568355588/solver-4393225-1568355588 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568346919-22074 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 260676123 HOME/instance-4393225-1568355588.xml

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

MD5SUM BENCH= 769ec0f26c47f1b96bb609b2e4d8d5d6
RANDOM SEED=260676123

node149.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.81
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.81
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.81
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.81
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:        29871060 kB
MemAvailable:   30638980 kB
Buffers:          141836 kB
Cached:           922336 kB
SwapCached:        61356 kB
Active:          1678524 kB
Inactive:         664288 kB
Active(anon):    1246012 kB
Inactive(anon):    72344 kB
Active(file):     432512 kB
Inactive(file):   591944 kB
Unevictable:      111276 kB
Mlocked:          111276 kB
SwapTotal:      67108860 kB
SwapFree:       66940792 kB
Dirty:             26128 kB
Writeback:             0 kB
AnonPages:       1222872 kB
Mapped:            56648 kB
Shmem:             31228 kB
Slab:             147680 kB
SReclaimable:     118596 kB
SUnreclaim:        29084 kB
KernelStack:        4064 kB
PageTables:         7652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3413460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1110016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 57020 MiB
End job on node149 at 2019-09-13 08:19:19