Trace number 4394580

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-14 parallelOPT2 1947.39 245.527

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-08-10.xml
MD5SUM23e84b7c24701222a8a18862c478c748
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark18.5291
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of constraints1261
Number of domains1
Minimum domain size80
Maximum domain size80
Distribution of domain sizes[{"size":80,"count":80}]
Minimum variable degree65
Maximum variable degree65
Distribution of variable degrees[{"degree":65,"count":80}]
Minimum constraint arity4
Maximum constraint arity80
Distribution of constraint arities[{"arity":4,"count":1260},{"arity":80,"count":1}]
Number of extensional constraints0
Number of intensional constraints1260
Distribution of constraint types[{"type":"intension","count":1260},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394580-1568446049.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394580-1568446049.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
7.58/2.05	c solve instance...
9.93/2.40	o 7 
10.66/2.50	o 6 
11.45/2.65	o 5 
310.07/40.15	o 4 
312.28/40.45	o 3 
1945.92/245.35	o 2 
1946.69/245.48	s OPTIMUM FOUND
1946.69/245.48	v <instantiation>
1946.69/245.48	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] </list>
1946.69/245.48	v 	<values>0 0 0 1 1 1 2 2 2 2 0 1 1 0 1 2 0 0 1 2 0 1 2 2 2 1 1 1 0 2 0 2 2 1 0 0 1 2 1 1 1 1 0 2 0 2 0 2 0 1 1 2 0 2 1 0 1 0 2 0 1 2 1 1 2 2 2 1 0 0 2 0 2 0 1 0 2 1 0 1 </values>
1946.69/245.48	v </instantiation>

Verifier Data 

OK	2

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14406 MiB free)
  memory of node 1: 16384 MiB (15134 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394580-1568446049/watcher-4394580-1568446049 -o /tmp/evaluation-result-4394580-1568446049/solver-4394580-1568446049 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568446007-1004 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1337014279 HOME/instance-4394580-1568446049.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=1023, runsolver pid=1020
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.100844 s]*
/proc/loadavg: 8.52 8.54 8.39 2/215 1044
/proc/meminfo: memFree=30232464/32770624 swapFree=66916688/67108860
[pid=1023] ppid=1020 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1023/stat : 1023 (xcsp3-exec) S 1020 1023 977 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420855416 115843072 364 33554432000 4194304 5098028 140736481106960 140736481105064 139977083667068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33157120 140736481108853 140736481109097 140736481109097 140736481112010 0
/proc/1023/statm: 28282 364 306 221 0 87 0
[pid=1025] ppid=1023 vsize=28227388 memory=29924 CPUtime=0.12 cores=0-7
/proc/1025/stat : 1025 (java) S 1023 1023 977 0 -1 1077944320 5959 0 0 0 11 1 0 0 20 0 20 0 420855417 28904845312 7481 33554432000 4194304 4196468 140733806169680 140733806152224 140388399783671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
/proc/1025/statm: 7056847 7481 3118 1 0 7019032 0
[pid=1025/tid=1026] ppid=1023 vsize=28227388 memory=8390339637985935414 CPUtime=0.09 cores=0-7
/proc/1025/task/1026/stat : 1026 (java) R 1023 1023 977 0 -1 4202560 3864 0 0 0 8 1 0 0 20 0 20 0 420855417 28904845312 7481 33554432000 4194304 4196468 140733806169680 140388404018896 140388383827301 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1027] ppid=1023 vsize=28227388 memory=288230609019731991 CPUtime=0 cores=0-7
/proc/1025/task/1027/stat : 1027 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28904845312 7481 33554432000 4194304 4196468 140733806169680 140388352404496 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1028] ppid=1023 vsize=28227388 memory=3473316299691665056 CPUtime=0 cores=0-7
/proc/1025/task/1028/stat : 1028 (java) S 1023 1023 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420855418 28904845312 7481 33554432000 4194304 4196468 140733806169680 140388351351952 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1029] ppid=1023 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1025/task/1029/stat : 1029 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28904845312 7481 33554432000 4194304 4196468 140733806169680 140388350298896 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1030] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1030/stat : 1030 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28904845312 7481 33554432000 4194304 4196468 140733806169680 140388349246352 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1031] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1031/stat : 1031 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28904845312 7481 33554432000 4194304 4196468 140733806169680 140388348193296 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1032] ppid=1023 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1025/task/1032/stat : 1032 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28904845312 7481 33554432000 4194304 4196468 140733806169680 140388347140752 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1033] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1033/stat : 1033 (java) S 1023 1023 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420855418 28904845312 7481 33554432000 4194304 4196468 140733806169680 140388346087696 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1034] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1034/stat : 1034 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28904845312 7481 33554432000 4194304 4196468 140733806169680 140388345035152 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1035] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1035/stat : 1035 (java) S 1023 1023 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420855419 28904845312 7481 33554432000 4194304 4196468 140733806169680 140387065301744 140388399794818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1036] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1036/stat : 1036 (java) S 1023 1023 977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420855420 28904845312 7481 33554432000 4194304 4196468 140733806169680 140387064247968 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1037] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1037/stat : 1037 (java) S 1023 1023 977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420855420 28904845312 7481 33554432000 4194304 4196468 140733806169680 140387063194864 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1038] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1038/stat : 1038 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855422 28904845312 7481 33554432000 4194304 4196468 140733806169680 140387062143440 140388399802267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1039] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1039/stat : 1039 (java) R 1023 1023 977 0 -1 4202560 304 0 0 0 0 0 0 0 20 0 20 0 420855422 28904845312 7481 33554432000 4194304 4196468 140733806169680 140387061090544 140388392768713 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1040] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1040/stat : 1040 (java) S 1023 1023 977 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 420855422 28904845312 7481 33554432000 4194304 4196468 140733806169680 140387060038000 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1041] ppid=1023 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1025/task/1041/stat : 1041 (java) S 1023 1023 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420855422 28904845312 7481 33554432000 4194304 4196468 140733806169680 140387058984944 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1042] ppid=1023 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/1025/task/1042/stat : 1042 (java) R 1023 1023 977 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 20 0 420855422 28904845312 7481 33554432000 4194304 4196468 140733806169680 140387057932400 140388378410048 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1043] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1043/stat : 1043 (java) S 1023 1023 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420855423 28904845312 7481 33554432000 4194304 4196468 140733806169680 140387056880608 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1044] ppid=1023 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1025/task/1044/stat : 1044 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855423 28904845312 7481 33554432000 4194304 4196468 140733806169680 140387055828144 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31380 KiB

[startup+0.210715 s]*
/proc/loadavg: 8.52 8.54 8.39 3/215 1044
/proc/meminfo: memFree=30220192/32770624 swapFree=66916688/67108860
[pid=1023] ppid=1020 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1023/stat : 1023 (xcsp3-exec) S 1020 1023 977 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420855416 115843072 364 33554432000 4194304 5098028 140736481106960 140736481105064 139977083667068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33157120 140736481108853 140736481109097 140736481109097 140736481112010 0
/proc/1023/statm: 28282 364 306 221 0 87 0
[pid=1025] ppid=1023 vsize=28227388 memory=41084 CPUtime=0.33 cores=0-7
/proc/1025/stat : 1025 (java) S 1023 1023 977 0 -1 1077944320 9520 0 0 0 30 3 0 0 20 0 20 0 420855417 28904845312 10271 33554432000 4194304 4196468 140733806169680 140733806152224 140388399783671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
/proc/1025/statm: 7056847 10271 3300 1 0 7019032 0
[pid=1025/tid=1026] ppid=1023 vsize=28227388 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/1025/task/1026/stat : 1026 (java) R 1023 1023 977 0 -1 4202560 6667 0 0 0 17 2 0 0 20 0 20 0 420855417 28904845312 10271 33554432000 4194304 4196468 140733806169680 140388404020736 140388383864158 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1027] ppid=1023 vsize=28227388 memory=288230609019731991 CPUtime=0 cores=0-7
/proc/1025/task/1027/stat : 1027 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28904845312 10271 33554432000 4194304 4196468 140733806169680 140388352404496 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1028] ppid=1023 vsize=28227388 memory=3473316299691665056 CPUtime=0 cores=0-7
/proc/1025/task/1028/stat : 1028 (java) S 1023 1023 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420855418 28904845312 10271 33554432000 4194304 4196468 140733806169680 140388351351952 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1029] ppid=1023 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1025/task/1029/stat : 1029 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28904845312 10271 33554432000 4194304 4196468 140733806169680 140388350298896 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1030] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1030/stat : 1030 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28904845312 10271 33554432000 4194304 4196468 140733806169680 140388349246352 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1031] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1031/stat : 1031 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28904845312 10271 33554432000 4194304 4196468 140733806169680 140388348193296 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1032] ppid=1023 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1025/task/1032/stat : 1032 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28904845312 10271 33554432000 4194304 4196468 140733806169680 140388347140752 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1033] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1033/stat : 1033 (java) S 1023 1023 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420855418 28904845312 10271 33554432000 4194304 4196468 140733806169680 140388346087696 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1034] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1034/stat : 1034 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28904845312 10271 33554432000 4194304 4196468 140733806169680 140388345035152 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1035] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1035/stat : 1035 (java) S 1023 1023 977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420855419 28904845312 10271 33554432000 4194304 4196468 140733806169680 140387065301744 140388399794818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1036] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1036/stat : 1036 (java) S 1023 1023 977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420855420 28904845312 10271 33554432000 4194304 4196468 140733806169680 140387064247968 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1037] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1037/stat : 1037 (java) S 1023 1023 977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420855420 28904845312 10271 33554432000 4194304 4196468 140733806169680 140387063194864 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1038] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1038/stat : 1038 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855422 28904845312 10271 33554432000 4194304 4196468 140733806169680 140387062143440 140388399802267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1039] ppid=1023 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/1025/task/1039/stat : 1039 (java) S 1023 1023 977 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 20 0 420855422 28904845312 10271 33554432000 4194304 4196468 140733806169680 140387061090544 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1040] ppid=1023 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/1025/task/1040/stat : 1040 (java) S 1023 1023 977 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 20 0 420855422 28904845312 10271 33554432000 4194304 4196468 140733806169680 140387060038000 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1041] ppid=1023 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/1025/task/1041/stat : 1041 (java) S 1023 1023 977 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 20 0 420855422 28904845312 10271 33554432000 4194304 4196468 140733806169680 140387058984944 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1042] ppid=1023 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/1025/task/1042/stat : 1042 (java) S 1023 1023 977 0 -1 1077944384 757 0 0 0 8 0 0 0 20 0 20 0 420855422 28904845312 10271 33554432000 4194304 4196468 140733806169680 140387057932400 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1043] ppid=1023 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1043/stat : 1043 (java) S 1023 1023 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420855423 28904845312 10271 33554432000 4194304 4196468 140733806169680 140387056880608 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1044] ppid=1023 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/1025/task/1044/stat : 1044 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855423 28904845312 10271 33554432000 4194304 4196468 140733806169680 140387055828144 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42540 KiB

[startup+0.31058 s]*
/proc/loadavg: 8.52 8.54 8.39 3/215 1044
/proc/meminfo: memFree=30213788/32770624 swapFree=66916688/67108860
[pid=1023] ppid=1020 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1023/stat : 1023 (xcsp3-exec) S 1020 1023 977 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420855416 115843072 364 33554432000 4194304 5098028 140736481106960 140736481105064 139977083667068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33157120 140736481108853 140736481109097 140736481109097 140736481112010 0
/proc/1023/statm: 28282 364 306 221 0 87 0
[pid=1025] ppid=1023 vsize=28231644 memory=50132 CPUtime=0.52 cores=0-7
/proc/1025/stat : 1025 (java) S 1023 1023 977 0 -1 1077944320 10885 0 0 0 48 4 0 0 20 0 20 0 420855417 28909203456 12533 33554432000 4194304 4196468 140733806169680 140733806152224 140388399783671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
/proc/1025/statm: 7057911 12533 3354 1 0 7019032 0
[pid=1025/tid=1026] ppid=1023 vsize=28231644 memory=44292 CPUtime=0.3 cores=0-7
/proc/1025/task/1026/stat : 1026 (java) R 1023 1023 977 0 -1 4202560 7850 0 0 0 27 3 0 0 20 0 20 0 420855417 28909203456 12598 33554432000 4194304 4196468 140733806169680 140388404017456 140388383864158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1027] ppid=1023 vsize=28231644 memory=35 CPUtime=0 cores=0-7
/proc/1025/task/1027/stat : 1027 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28909203456 12598 33554432000 4194304 4196468 140733806169680 140388352404496 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1028] ppid=1023 vsize=28231644 memory=140258510300480 CPUtime=0 cores=0-7
/proc/1025/task/1028/stat : 1028 (java) S 1023 1023 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420855418 28909203456 12598 33554432000 4194304 4196468 140733806169680 140388351351952 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1029] ppid=1023 vsize=28231644 memory=35 CPUtime=0 cores=0-7
/proc/1025/task/1029/stat : 1029 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28909203456 12605 33554432000 4194304 4196468 140733806169680 140388350298896 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1030] ppid=1023 vsize=28231644 memory=53476 CPUtime=0 cores=0-7
/proc/1025/task/1030/stat : 1030 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28909203456 12605 33554432000 4194304 4196468 140733806169680 140388349246352 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1031] ppid=1023 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1031/stat : 1031 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28909203456 12605 33554432000 4194304 4196468 140733806169680 140388348193296 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1032] ppid=1023 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1032/stat : 1032 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28909203456 12605 33554432000 4194304 4196468 140733806169680 140388347140752 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1033] ppid=1023 vsize=28231644 memory=3905522683445772320 CPUtime=0 cores=0-7
/proc/1025/task/1033/stat : 1033 (java) S 1023 1023 977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420855418 28909203456 12605 33554432000 4194304 4196468 140733806169680 140388346087696 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1034] ppid=1023 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1034/stat : 1034 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28909203456 12605 33554432000 4194304 4196468 140733806169680 140388345035152 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1035] ppid=1023 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1035/stat : 1035 (java) S 1023 1023 977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420855419 28909203456 12605 33554432000 4194304 4196468 140733806169680 140387065301744 140388399794818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1036] ppid=1023 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1036/stat : 1036 (java) S 1023 1023 977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420855420 28909203456 12605 33554432000 4194304 4196468 140733806169680 140387064247968 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1037] ppid=1023 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1037/stat : 1037 (java) S 1023 1023 977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420855420 28909203456 12605 33554432000 4194304 4196468 140733806169680 140387063194864 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1038] ppid=1023 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1038/stat : 1038 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855422 28909203456 12605 33554432000 4194304 4196468 140733806169680 140387062143440 140388399802267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1039] ppid=1023 vsize=28231644 memory=0 CPUtime=0.02 cores=0-7
/proc/1025/task/1039/stat : 1039 (java) S 1023 1023 977 0 -1 1077944384 456 0 0 0 2 0 0 0 20 0 20 0 420855422 28909203456 12605 33554432000 4194304 4196468 140733806169680 140387061090544 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1040] ppid=1023 vsize=28231644 memory=0 CPUtime=0.01 cores=0-7
/proc/1025/task/1040/stat : 1040 (java) S 1023 1023 977 0 -1 1077944384 164 0 0 0 1 0 0 0 20 0 20 0 420855422 28909203456 12605 33554432000 4194304 4196468 140733806169680 140387060038000 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1041] ppid=1023 vsize=28231644 memory=0 CPUtime=0.04 cores=0-7
/proc/1025/task/1041/stat : 1041 (java) S 1023 1023 977 0 -1 1077944384 296 0 0 0 4 0 0 0 20 0 20 0 420855422 28909203456 12605 33554432000 4194304 4196468 140733806169680 140387058984944 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1042] ppid=1023 vsize=28231644 memory=0 CPUtime=0.12 cores=0-7
/proc/1025/task/1042/stat : 1042 (java) S 1023 1023 977 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 20 0 420855422 28909203456 12605 33554432000 4194304 4196468 140733806169680 140387057932400 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1043] ppid=1023 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/1025/task/1043/stat : 1043 (java) S 1023 1023 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420855423 28909203456 12605 33554432000 4194304 4196468 140733806169680 140387056880608 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1044] ppid=1023 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/1025/task/1044/stat : 1044 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855423 28909203456 12605 33554432000 4194304 4196468 140733806169680 140387055828144 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51588 KiB

[startup+0.700951 s]
/proc/loadavg: 8.52 8.54 8.39 6/215 1044
/proc/meminfo: memFree=30186472/32770624 swapFree=66916688/67108860
[pid=1023] ppid=1020 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1023/stat : 1023 (xcsp3-exec) S 1020 1023 977 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420855416 115843072 364 33554432000 4194304 5098028 140736481106960 140736481105064 139977083667068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33157120 140736481108853 140736481109097 140736481109097 140736481112010 0
/proc/1023/statm: 28282 364 306 221 0 87 0
[pid=1025] ppid=1023 vsize=28233768 memory=99064 CPUtime=1.96 cores=0-7
/proc/1025/stat : 1025 (java) S 1023 1023 977 0 -1 1077944320 15940 0 0 0 189 7 0 0 20 0 20 0 420855417 28911378432 24766 33554432000 4194304 4196468 140733806169680 140733806152224 140388399783671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
/proc/1025/statm: 7058442 24766 3455 1 0 7019544 0
[pid=1025/tid=1026] ppid=1023 vsize=28233768 memory=4100 CPUtime=0.67 cores=0-7
/proc/1025/task/1026/stat : 1026 (java) R 1023 1023 977 0 -1 4202560 9219 0 0 0 63 4 0 0 20 0 20 0 420855417 28911378432 24766 33554432000 4194304 4196468 140733806169680 140388404020864 140388005647623 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1027] ppid=1023 vsize=28233768 memory=3628 CPUtime=0 cores=0-7
/proc/1025/task/1027/stat : 1027 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28911378432 24766 33554432000 4194304 4196468 140733806169680 140388352404496 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1028] ppid=1023 vsize=28233768 memory=40432 CPUtime=0 cores=0-7
/proc/1025/task/1028/stat : 1028 (java) S 1023 1023 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420855418 28911378432 24766 33554432000 4194304 4196468 140733806169680 140388351351952 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1029] ppid=1023 vsize=28233768 memory=992 CPUtime=0 cores=0-7
/proc/1025/task/1029/stat : 1029 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420855418 28911378432 24766 33554432000 4194304 4196468 140733806169680 140388350298896 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0

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

[pid=1025/tid=1039] ppid=1023 vsize=28768328 memory=920 CPUtime=5.23 cores=0-7
/proc/1025/task/1039/stat : 1039 (java) S 1023 1023 977 0 -1 1077944384 26062 0 0 0 518 5 0 0 20 0 28 0 420855422 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140387061090544 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1040] ppid=1023 vsize=28768328 memory=1456 CPUtime=5.85 cores=0-7
/proc/1025/task/1040/stat : 1040 (java) S 1023 1023 977 0 -1 1077944384 29340 0 0 0 579 6 0 0 20 0 28 0 420855422 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140387060038000 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1041] ppid=1023 vsize=28768328 memory=5638336 CPUtime=5.28 cores=0-7
/proc/1025/task/1041/stat : 1041 (java) S 1023 1023 977 0 -1 1077944384 34424 0 0 0 522 6 0 0 20 0 28 0 420855422 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140387058984944 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1042] ppid=1023 vsize=28768328 memory=288230376990848211 CPUtime=1.29 cores=0-7
/proc/1025/task/1042/stat : 1042 (java) S 1023 1023 977 0 -1 1077944384 17485 0 0 0 125 4 0 0 20 0 28 0 420855422 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140387057932400 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1043] ppid=1023 vsize=28768328 memory=288291090735625021 CPUtime=0 cores=0-7
/proc/1025/task/1043/stat : 1043 (java) S 1023 1023 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420855423 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140387056880608 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1044] ppid=1023 vsize=28768328 memory=288291090735625021 CPUtime=0.1 cores=0-7
/proc/1025/task/1044/stat : 1044 (java) S 1023 1023 977 0 -1 1077944384 2996 0 0 0 4 6 0 0 20 0 28 0 420855423 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140387055828144 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1089] ppid=1023 vsize=28768328 memory=0 CPUtime=202.99 cores=0-7
/proc/1025/task/1089/stat : 1089 (java) R 1023 1023 977 0 -1 4202560 1160 0 0 0 20299 0 0 0 20 0 28 0 420859462 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140386973490280 140388010529296 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1090] ppid=1023 vsize=28768328 memory=0 CPUtime=203.01 cores=0-7
/proc/1025/task/1090/stat : 1090 (java) R 1023 1023 977 0 -1 4202560 1423 0 0 0 20300 1 0 0 20 0 28 0 420859462 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140386970333216 140388011607577 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1091] ppid=1023 vsize=28768328 memory=0 CPUtime=202.58 cores=0-7
/proc/1025/task/1091/stat : 1091 (java) R 1023 1023 977 0 -1 4202560 14214 0 0 0 20204 54 0 0 20 0 28 0 420859462 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140386975596536 140388012549817 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1092] ppid=1023 vsize=28768328 memory=8112282956445269571 CPUtime=202.82 cores=0-7
/proc/1025/task/1092/stat : 1092 (java) R 1023 1023 977 0 -1 4202560 22137 0 0 0 20164 118 0 0 20 0 28 0 420859462 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140386976649320 140388010713616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1094] ppid=1023 vsize=28768328 memory=1296 CPUtime=200.36 cores=0-7
/proc/1025/task/1094/stat : 1094 (java) R 1023 1023 977 0 -1 4202560 2378 0 0 0 20032 4 0 0 20 0 28 0 420859462 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140386972438216 140388010207679 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1095] ppid=1023 vsize=28768328 memory=620 CPUtime=203.34 cores=0-7
/proc/1025/task/1095/stat : 1095 (java) R 1023 1023 977 0 -1 4202560 2176 0 0 0 20328 6 0 0 20 0 28 0 420859462 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140386969280264 140388010741468 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1096] ppid=1023 vsize=28768328 memory=4000 CPUtime=202.3 cores=0-7
/proc/1025/task/1096/stat : 1096 (java) R 1023 1023 977 0 -1 4202560 2910 0 0 0 20215 15 0 0 20 0 28 0 420859462 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140386974544152 140388012549755 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1097] ppid=1023 vsize=28768328 memory=2828 CPUtime=203.65 cores=0-7
/proc/1025/task/1097/stat : 1097 (java) R 1023 1023 977 0 -1 4202560 1394 0 0 0 20365 0 0 0 20 0 28 0 420859462 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140386971387160 140388011607619 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
Current children cumulated CPU time: 1941.94 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 5639792 KiB

[startup+245.202 s]
/proc/loadavg: 8.75 8.53 8.42 10/225 1118
/proc/meminfo: memFree=24615448/32770624 swapFree=66916688/67108860
[pid=1023] ppid=1020 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1023/stat : 1023 (xcsp3-exec) S 1020 1023 977 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420855416 115843072 364 33554432000 4194304 5098028 140736481106960 140736481105064 139977083667068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33157120 140736481108853 140736481109097 140736481109097 140736481112010 0
/proc/1023/statm: 28282 364 306 221 0 87 0
[pid=1025] ppid=1023 vsize=28768328 memory=5638336 CPUtime=1945.12 cores=0-7
/proc/1025/stat : 1025 (java) S 1023 1023 977 0 -1 1077944320 199901 0 0 0 194156 356 0 0 20 0 28 0 420855417 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140733806152224 140388399783671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
/proc/1025/statm: 7192082 1409584 3539 1 0 7153184 0
[pid=1025/tid=1026] ppid=1023 vsize=28768328 memory=1296 CPUtime=2 cores=0-7
/proc/1025/task/1026/stat : 1026 (java) S 1023 1023 977 0 -1 1077944384 9781 0 0 0 192 8 0 0 20 0 28 0 420855417 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140388404024448 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1027] ppid=1023 vsize=28768328 memory=620 CPUtime=0.33 cores=0-7
/proc/1025/task/1027/stat : 1027 (java) S 1023 1023 977 0 -1 1077944384 1955 0 0 0 22 11 0 0 20 0 28 0 420855418 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140388352404496 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1028] ppid=1023 vsize=28768328 memory=4000 CPUtime=0.34 cores=0-7
/proc/1025/task/1028/stat : 1028 (java) S 1023 1023 977 0 -1 1077944384 1990 0 0 0 23 11 0 0 20 0 28 0 420855418 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140388351351952 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1029] ppid=1023 vsize=28768328 memory=1398720917958146503 CPUtime=0.35 cores=0-7
/proc/1025/task/1029/stat : 1029 (java) S 1023 1023 977 0 -1 1077944384 648 0 0 0 23 12 0 0 20 0 28 0 420855418 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140388350298896 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1030] ppid=1023 vsize=28768328 memory=5589616 CPUtime=0.37 cores=0-7
/proc/1025/task/1030/stat : 1030 (java) S 1023 1023 977 0 -1 1077944384 1233 0 0 0 26 11 0 0 20 0 28 0 420855418 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140388349246352 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1031] ppid=1023 vsize=28768328 memory=40440 CPUtime=0.35 cores=0-7
/proc/1025/task/1031/stat : 1031 (java) S 1023 1023 977 0 -1 1077944384 1254 0 0 0 23 12 0 0 20 0 28 0 420855418 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140388348193296 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1032] ppid=1023 vsize=28768328 memory=992 CPUtime=0.36 cores=0-7
/proc/1025/task/1032/stat : 1032 (java) S 1023 1023 977 0 -1 1077944384 572 0 0 0 24 12 0 0 20 0 28 0 420855418 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140388347140752 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1033] ppid=1023 vsize=28768328 memory=2044 CPUtime=0.32 cores=0-7
/proc/1025/task/1033/stat : 1033 (java) S 1023 1023 977 0 -1 1077944384 1428 0 0 0 22 10 0 0 20 0 28 0 420855418 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140388346087696 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1034] ppid=1023 vsize=28768328 memory=1296 CPUtime=0.35 cores=0-7
/proc/1025/task/1034/stat : 1034 (java) S 1023 1023 977 0 -1 1077944384 1924 0 0 0 24 11 0 0 20 0 28 0 420855418 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140388345035152 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1035] ppid=1023 vsize=28768328 memory=620 CPUtime=0.05 cores=0-7
/proc/1025/task/1035/stat : 1035 (java) S 1023 1023 977 0 -1 1077944384 4883 0 0 0 4 1 0 0 20 0 28 0 420855419 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140387065301744 140388399794818 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1036] ppid=1023 vsize=28768328 memory=288230574492221466 CPUtime=0 cores=0-7
/proc/1025/task/1036/stat : 1036 (java) S 1023 1023 977 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 420855420 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140387064248032 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1037] ppid=1023 vsize=28768328 memory=288230596050944315 CPUtime=0 cores=0-7
/proc/1025/task/1037/stat : 1037 (java) S 1023 1023 977 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 420855420 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140387063194880 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1038] ppid=1023 vsize=28768328 memory=13565981444277528 CPUtime=0 cores=0-7
/proc/1025/task/1038/stat : 1038 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420855422 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140387062143440 140388399802267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1039] ppid=1023 vsize=28768328 memory=301741373374332954 CPUtime=5.23 cores=0-7
/proc/1025/task/1039/stat : 1039 (java) S 1023 1023 977 0 -1 1077944384 26062 0 0 0 518 5 0 0 20 0 28 0 420855422 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140387061090544 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1040] ppid=1023 vsize=28768328 memory=288230596050944315 CPUtime=5.85 cores=0-7
/proc/1025/task/1040/stat : 1040 (java) S 1023 1023 977 0 -1 1077944384 29340 0 0 0 579 6 0 0 20 0 28 0 420855422 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140387060038000 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1041] ppid=1023 vsize=28768328 memory=13565981444277528 CPUtime=5.28 cores=0-7
/proc/1025/task/1041/stat : 1041 (java) S 1023 1023 977 0 -1 1077944384 34424 0 0 0 522 6 0 0 20 0 28 0 420855422 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140387058984944 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1042] ppid=1023 vsize=28768328 memory=1456 CPUtime=1.29 cores=0-7
/proc/1025/task/1042/stat : 1042 (java) S 1023 1023 977 0 -1 1077944384 17485 0 0 0 125 4 0 0 20 0 28 0 420855422 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140387057932400 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1043] ppid=1023 vsize=28768328 memory=5638336 CPUtime=0 cores=0-7
/proc/1025/task/1043/stat : 1043 (java) S 1023 1023 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420855423 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140387056880608 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1044] ppid=1023 vsize=28768328 memory=792 CPUtime=0.1 cores=0-7
/proc/1025/task/1044/stat : 1044 (java) S 1023 1023 977 0 -1 1077944384 2996 0 0 0 4 6 0 0 20 0 28 0 420855423 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140387055828144 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1089] ppid=1023 vsize=28768328 memory=1640 CPUtime=203.39 cores=0-7
/proc/1025/task/1089/stat : 1089 (java) R 1023 1023 977 0 -1 4202560 1160 0 0 0 20339 0 0 0 20 0 28 0 420859462 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140386973490280 140388012318139 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1090] ppid=1023 vsize=28768328 memory=4100 CPUtime=203.41 cores=0-7
/proc/1025/task/1090/stat : 1090 (java) R 1023 1023 977 0 -1 4202560 1423 0 0 0 20340 1 0 0 20 0 28 0 420859462 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140386970333216 140388010881106 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1091] ppid=1023 vsize=28768328 memory=1398720917958146503 CPUtime=202.98 cores=0-7
/proc/1025/task/1091/stat : 1091 (java) R 1023 1023 977 0 -1 4202560 14227 0 0 0 20244 54 0 0 20 0 28 0 420859462 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140386975596536 140388012549755 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1092] ppid=1023 vsize=28768328 memory=1296 CPUtime=203.22 cores=0-7
/proc/1025/task/1092/stat : 1092 (java) R 1023 1023 977 0 -1 4202560 22145 0 0 0 20204 118 0 0 20 0 28 0 420859462 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140386976649320 140388010207660 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1094] ppid=1023 vsize=28768328 memory=620 CPUtime=200.74 cores=0-7
/proc/1025/task/1094/stat : 1094 (java) R 1023 1023 977 0 -1 4202560 2378 0 0 0 20070 4 0 0 20 0 28 0 420859462 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140386972438216 140388010207660 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1095] ppid=1023 vsize=28768328 memory=33 CPUtime=203.74 cores=0-7
/proc/1025/task/1095/stat : 1095 (java) R 1023 1023 977 0 -1 4202560 2178 0 0 0 20368 6 0 0 20 0 28 0 420859462 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140386969280264 140388010741468 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1096] ppid=1023 vsize=28768328 memory=302867290511376678 CPUtime=202.7 cores=0-7
/proc/1025/task/1096/stat : 1096 (java) R 1023 1023 977 0 -1 4202560 2911 0 0 0 20255 15 0 0 20 0 28 0 420859462 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140386974544152 140388003321179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1097] ppid=1023 vsize=28768328 memory=288286658359723177 CPUtime=204.05 cores=0-7
/proc/1025/task/1097/stat : 1097 (java) R 1023 1023 977 0 -1 4202560 1394 0 0 0 20405 0 0 0 20 0 28 0 420859462 29458767872 1409584 33554432000 4194304 4196468 140733806169680 140386971387160 140388011607577 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
Current children cumulated CPU time: 1945.12 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 5639792 KiB

[startup+245.402 s]
/proc/loadavg: 8.75 8.53 8.42 10/225 1118
/proc/meminfo: memFree=24615448/32770624 swapFree=66916688/67108860
[pid=1023] ppid=1020 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1023/stat : 1023 (xcsp3-exec) S 1020 1023 977 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420855416 115843072 364 33554432000 4194304 5098028 140736481106960 140736481105064 139977083667068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33157120 140736481108853 140736481109097 140736481109097 140736481112010 0
/proc/1023/statm: 28282 364 306 221 0 87 0
[pid=1025] ppid=1023 vsize=28768328 memory=5637852 CPUtime=1946.69 cores=0-7
/proc/1025/stat : 1025 (java) S 1023 1023 977 0 -1 1077944320 201058 0 0 0 194312 357 0 0 20 0 28 0 420855417 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140733806152224 140388399783671 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
/proc/1025/statm: 7192082 1409463 3539 1 0 7153184 0
[pid=1025/tid=1026] ppid=1023 vsize=28768328 memory=288286658359723177 CPUtime=2.01 cores=0-7
/proc/1025/task/1026/stat : 1026 (java) S 1023 1023 977 0 -1 1077944384 9979 0 0 0 193 8 0 0 20 0 28 0 420855417 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140388404024448 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1027] ppid=1023 vsize=28768328 memory=7085376496678228560 CPUtime=0.33 cores=0-7
/proc/1025/task/1027/stat : 1027 (java) S 1023 1023 977 0 -1 1077944384 1955 0 0 0 22 11 0 0 20 0 28 0 420855418 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140388352404496 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1028] ppid=1023 vsize=28768328 memory=7079773316970468688 CPUtime=0.34 cores=0-7
/proc/1025/task/1028/stat : 1028 (java) S 1023 1023 977 0 -1 1077944384 1990 0 0 0 23 11 0 0 20 0 28 0 420855418 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140388351351952 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1029] ppid=1023 vsize=28768328 memory=7230339404226122866 CPUtime=0.35 cores=0-7
/proc/1025/task/1029/stat : 1029 (java) S 1023 1023 977 0 -1 1077944384 648 0 0 0 23 12 0 0 20 0 28 0 420855418 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140388350298896 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1030] ppid=1023 vsize=28768328 memory=6941850578382246224 CPUtime=0.37 cores=0-7
/proc/1025/task/1030/stat : 1030 (java) S 1023 1023 977 0 -1 1077944384 1233 0 0 0 26 11 0 0 20 0 28 0 420855418 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140388349246352 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1031] ppid=1023 vsize=28768328 memory=7300704858441859178 CPUtime=0.35 cores=0-7
/proc/1025/task/1031/stat : 1031 (java) S 1023 1023 977 0 -1 1077944384 1254 0 0 0 23 12 0 0 20 0 28 0 420855418 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140388348193296 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1032] ppid=1023 vsize=28768328 memory=7007709048888709485 CPUtime=0.36 cores=0-7
/proc/1025/task/1032/stat : 1032 (java) S 1023 1023 977 0 -1 1077944384 572 0 0 0 24 12 0 0 20 0 28 0 420855418 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140388347140752 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1033] ppid=1023 vsize=28768328 memory=6440519447014887504 CPUtime=0.32 cores=0-7
/proc/1025/task/1033/stat : 1033 (java) S 1023 1023 977 0 -1 1077944384 1428 0 0 0 22 10 0 0 20 0 28 0 420855418 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140388346087696 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1034] ppid=1023 vsize=28768328 memory=4640205496291190612 CPUtime=0.35 cores=0-7
/proc/1025/task/1034/stat : 1034 (java) S 1023 1023 977 0 -1 1077944384 1924 0 0 0 24 11 0 0 20 0 28 0 420855418 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140388345035152 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1035] ppid=1023 vsize=28768328 memory=7589500302099899456 CPUtime=0.05 cores=0-7
/proc/1025/task/1035/stat : 1035 (java) S 1023 1023 977 0 -1 1077944384 4891 0 0 0 4 1 0 0 20 0 28 0 420855419 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140387065301744 140388399794818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1036] ppid=1023 vsize=28768328 memory=3628 CPUtime=0 cores=0-7
/proc/1025/task/1036/stat : 1036 (java) S 1023 1023 977 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 420855420 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140387064248032 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1037] ppid=1023 vsize=28768328 memory=40440 CPUtime=0 cores=0-7
/proc/1025/task/1037/stat : 1037 (java) S 1023 1023 977 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 420855420 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140387063194880 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1038] ppid=1023 vsize=28768328 memory=792 CPUtime=0 cores=0-7
/proc/1025/task/1038/stat : 1038 (java) S 1023 1023 977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420855422 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140387062143440 140388399802267 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1039] ppid=1023 vsize=28768328 memory=1640 CPUtime=5.23 cores=0-7
/proc/1025/task/1039/stat : 1039 (java) S 1023 1023 977 0 -1 1077944384 26062 0 0 0 518 5 0 0 20 0 28 0 420855422 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140387061090544 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1040] ppid=1023 vsize=28768328 memory=4100 CPUtime=5.85 cores=0-7
/proc/1025/task/1040/stat : 1040 (java) S 1023 1023 977 0 -1 1077944384 29340 0 0 0 579 6 0 0 20 0 28 0 420855422 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140387060038000 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1041] ppid=1023 vsize=28768328 memory=1398720917958146503 CPUtime=5.28 cores=0-7
/proc/1025/task/1041/stat : 1041 (java) S 1023 1023 977 0 -1 1077944384 34424 0 0 0 522 6 0 0 20 0 28 0 420855422 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140387058984944 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1042] ppid=1023 vsize=28768328 memory=1398720917958146503 CPUtime=1.29 cores=0-7
/proc/1025/task/1042/stat : 1042 (java) S 1023 1023 977 0 -1 1077944384 17913 0 0 0 125 4 0 0 20 0 28 0 420855422 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140387057932400 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1043] ppid=1023 vsize=28768328 memory=7306924718394205794 CPUtime=0 cores=0-7
/proc/1025/task/1043/stat : 1043 (java) S 1023 1023 977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420855423 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140387056880608 140388399793877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
[pid=1025/tid=1044] ppid=1023 vsize=28768328 memory=7450474860587804774 CPUtime=0.1 cores=0-7
/proc/1025/task/1044/stat : 1044 (java) S 1023 1023 977 0 -1 1077944384 2996 0 0 0 4 6 0 0 20 0 28 0 420855423 29458767872 1409463 33554432000 4194304 4196468 140733806169680 140387055828144 140388399794818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18350080 140733806171114 140733806171286 140733806171286 140733806174159 0
Current children cumulated CPU time: 1946.69 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 5639308 KiB

[startup+245.501 s]
/proc/loadavg: 8.75 8.53 8.42 10/225 1118
/proc/meminfo: memFree=24615448/32770624 swapFree=66916688/67108860
[pid=1023] ppid=1020 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/1023/stat : 1023 (xcsp3-exec) S 1020 1023 977 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420855416 115843072 364 33554432000 4194304 5098028 140736481106960 140736481105064 139977083667068 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33157120 140736481108853 140736481109097 140736481109097 140736481112010 0
/proc/1023/statm: 28282 364 306 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

Child status: 0
Real time (s): 245.527
CPU time (s): 1947.39
CPU user time (s): 1943.78
CPU system time (s): 3.60754
CPU usage (%): 793.149
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 5639792

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1943.78
system time used= 3.60754
maximum resident set size= 5638844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202203
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13350
involuntary context switches= 26062


# summary of solver processes directly reported to runsolver:
#   pid: 1023
#   total CPU time (s): 1947.39
#   total CPU user time (s): 1943.78
#   total CPU system time (s): 3.60754

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.13885 second user time and 3.00416 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-14 09:26:47
IDJOB=4394580
IDBENCH=139745
IDSOLVER=2843
FILE ID=node134/4394580-1568446049
RUNJOBID= node134-1568446007-1004
PBS_JOBID= 21702351
Free space on /tmp= 59576 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-08-10.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4394580-1568446049/watcher-4394580-1568446049 -o /tmp/evaluation-result-4394580-1568446049/solver-4394580-1568446049 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568446007-1004 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1337014279 HOME/instance-4394580-1568446049.xml

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

MD5SUM BENCH= 23e84b7c24701222a8a18862c478c748
RANDOM SEED=1337014279

node134.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:        30250836 kB
MemAvailable:   31795580 kB
Buffers:          202788 kB
Cached:          1608900 kB
SwapCached:        90612 kB
Active:           503192 kB
Inactive:        1399928 kB
Active(anon):      24256 kB
Inactive(anon):   106920 kB
Active(file):     478936 kB
Inactive(file):  1293008 kB
Unevictable:      111160 kB
Mlocked:          111160 kB
SwapTotal:      67108860 kB
SwapFree:       66916688 kB
Dirty:             26004 kB
Writeback:             0 kB
AnonPages:        113072 kB
Mapped:            43840 kB
Shmem:             31132 kB
Slab:             206900 kB
SReclaimable:     177272 kB
SUnreclaim:        29628 kB
KernelStack:        3344 kB
PageTables:         5636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59552 MiB
End job on node134 at 2019-09-14 09:30:53