Trace number 4399651

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 NameAnswerCPU timeWall clock time
choco-solver 2019-09-16 parallelUNSAT 3217.87 406.751

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-fpga/
Pb-chnl10-15.xml
MD5SUM0275487dddce0dcf34d0f76368ca0063
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark62.4225
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints50
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":300}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":300}]
Minimum constraint arity10
Maximum constraint arity15
Distribution of constraint arities[{"arity":10,"count":30},{"arity":15,"count":20}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":50}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399651-1568711111.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399651-1568711111.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
1.02/0.60	c solve instance...
3217.57/406.73	s UNSATISFIABLE

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399651-1568711111/watcher-4399651-1568711111 -o /tmp/evaluation-result-4399651-1568711111/solver-4399651-1568711111 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568710964-23678 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2020790368 HOME/instance-4399651-1568711111.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=24171, runsolver pid=24168

[startup+0.100144 s]*
/proc/loadavg: 5.77 7.14 7.80 2/213 24192
/proc/meminfo: memFree=31082544/32770624 swapFree=66988912/67108860
[pid=24171] ppid=24168 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24171/stat : 24171 (xcsp3-exec) S 24168 24171 23651 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447378893 115843072 364 33554432000 4194304 5098028 140730721126256 140730721124360 139841045668476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11702272 140730721133429 140730721133673 140730721133673 140730721136586 0
/proc/24171/statm: 28282 364 305 221 0 87 0
[pid=24173] ppid=24171 vsize=28227396 memory=28972 CPUtime=0.12 cores=0-7
/proc/24173/stat : 24173 (java) S 24171 24171 23651 0 -1 1077944320 5710 0 0 0 11 1 0 0 20 0 20 0 447378893 28904853504 7243 33554432000 4194304 4196468 140726232429952 140726232412496 140421397094135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
/proc/24173/statm: 7056849 7243 3122 1 0 7019032 0
[pid=24173/tid=24174] ppid=24171 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/24173/task/24174/stat : 24174 (java) R 24171 24171 23651 0 -1 4202560 3635 0 0 0 8 1 0 0 20 0 20 0 447378894 28904853504 7243 33554432000 4194304 4196468 140726232429952 140421401327024 140421397115482 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24175] ppid=24171 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/24173/task/24175/stat : 24175 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447378894 28904853504 7243 33554432000 4194304 4196468 140726232429952 140421349714448 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24176] ppid=24171 vsize=28227396 memory=139719862183552 CPUtime=0 cores=0-7
/proc/24173/task/24176/stat : 24176 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447378894 28904853504 7243 33554432000 4194304 4196468 140726232429952 140421348661904 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24177] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24177/stat : 24177 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447378894 28904853504 7243 33554432000 4194304 4196468 140726232429952 140421347608848 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24178] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24178/stat : 24178 (java) S 24171 24171 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447378894 28904853504 7243 33554432000 4194304 4196468 140726232429952 140421346556304 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24179] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24179/stat : 24179 (java) S 24171 24171 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447378894 28904853504 7243 33554432000 4194304 4196468 140726232429952 140421345504272 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24180] ppid=24171 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24173/task/24180/stat : 24180 (java) S 24171 24171 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447378895 28904853504 7243 33554432000 4194304 4196468 140726232429952 140421344451728 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24181] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24181/stat : 24181 (java) S 24171 24171 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447378895 28904853504 7243 33554432000 4194304 4196468 140726232429952 140421343398672 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24182] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24182/stat : 24182 (java) S 24171 24171 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447378895 28904853504 7243 33554432000 4194304 4196468 140726232429952 140421342346128 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24183] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24183/stat : 24183 (java) S 24171 24171 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447378896 28904853504 7243 33554432000 4194304 4196468 140726232429952 140420580399344 140421397105282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24184] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24184/stat : 24184 (java) S 24171 24171 23651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447378896 28904853504 7243 33554432000 4194304 4196468 140726232429952 140420579345568 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24185] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24185/stat : 24185 (java) S 24171 24171 23651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447378897 28904853504 7243 33554432000 4194304 4196468 140726232429952 140420578292464 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24186] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24186/stat : 24186 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447378899 28904853504 7243 33554432000 4194304 4196468 140726232429952 140420577241040 140421397112731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24187] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24187/stat : 24187 (java) S 24171 24171 23651 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 447378899 28904853504 7243 33554432000 4194304 4196468 140726232429952 140420576189168 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24188] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24188/stat : 24188 (java) S 24171 24171 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447378899 28904853504 7243 33554432000 4194304 4196468 140726232429952 140420575136624 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24189] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24189/stat : 24189 (java) R 24171 24171 23651 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 447378899 28904853504 7243 33554432000 4194304 4196468 140726232429952 140420574083568 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24190] ppid=24171 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/24173/task/24190/stat : 24190 (java) R 24171 24171 23651 0 -1 4202560 341 0 0 0 2 0 0 0 20 0 20 0 447378899 28904853504 7243 33554432000 4194304 4196468 140726232429952 140420573031024 140421397115482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24191] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24191/stat : 24191 (java) S 24171 24171 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447378899 28904853504 7243 33554432000 4194304 4196468 140726232429952 140420571978208 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24192] ppid=24171 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24173/task/24192/stat : 24192 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447378900 28904853504 7243 33554432000 4194304 4196468 140726232429952 140420570925744 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30428 KiB

[startup+0.210244 s]*
/proc/loadavg: 5.77 7.14 7.80 2/213 24192
/proc/meminfo: memFree=31068348/32770624 swapFree=66988912/67108860
[pid=24171] ppid=24168 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24171/stat : 24171 (xcsp3-exec) S 24168 24171 23651 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447378893 115843072 364 33554432000 4194304 5098028 140730721126256 140730721124360 139841045668476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11702272 140730721133429 140730721133673 140730721133673 140730721136586 0
/proc/24171/statm: 28282 364 305 221 0 87 0
[pid=24173] ppid=24171 vsize=28227396 memory=41144 CPUtime=0.34 cores=0-7
/proc/24173/stat : 24173 (java) S 24171 24171 23651 0 -1 1077944320 9530 0 0 0 31 3 0 0 20 0 20 0 447378893 28904853504 10286 33554432000 4194304 4196468 140726232429952 140726232412496 140421397094135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
/proc/24173/statm: 7056849 10286 3298 1 0 7019032 0
[pid=24173/tid=24174] ppid=24171 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/24173/task/24174/stat : 24174 (java) R 24171 24171 23651 0 -1 4202560 6658 0 0 0 18 2 0 0 20 0 20 0 447378894 28904853504 10286 33554432000 4194304 4196468 140726232429952 140421401326048 140421376670471 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24175] ppid=24171 vsize=28227396 memory=330 CPUtime=0 cores=0-7
/proc/24173/task/24175/stat : 24175 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447378894 28904853504 10286 33554432000 4194304 4196468 140726232429952 140421349714448 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24176] ppid=24171 vsize=28227396 memory=139719862203779 CPUtime=0 cores=0-7
/proc/24173/task/24176/stat : 24176 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447378894 28904853504 10286 33554432000 4194304 4196468 140726232429952 140421348661904 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24177] ppid=24171 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24173/task/24177/stat : 24177 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447378894 28904853504 10286 33554432000 4194304 4196468 140726232429952 140421347608848 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24178] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24178/stat : 24178 (java) S 24171 24171 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447378894 28904853504 10286 33554432000 4194304 4196468 140726232429952 140421346556304 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24179] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24179/stat : 24179 (java) S 24171 24171 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447378894 28904853504 10286 33554432000 4194304 4196468 140726232429952 140421345504272 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24180] ppid=24171 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24173/task/24180/stat : 24180 (java) S 24171 24171 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447378895 28904853504 10286 33554432000 4194304 4196468 140726232429952 140421344451728 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24181] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24181/stat : 24181 (java) S 24171 24171 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447378895 28904853504 10286 33554432000 4194304 4196468 140726232429952 140421343398672 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24182] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24182/stat : 24182 (java) S 24171 24171 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447378895 28904853504 10286 33554432000 4194304 4196468 140726232429952 140421342346128 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24183] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24183/stat : 24183 (java) S 24171 24171 23651 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447378896 28904853504 10286 33554432000 4194304 4196468 140726232429952 140420580399344 140421397105282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24184] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24184/stat : 24184 (java) S 24171 24171 23651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447378896 28904853504 10286 33554432000 4194304 4196468 140726232429952 140420579345568 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24185] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24185/stat : 24185 (java) S 24171 24171 23651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447378897 28904853504 10286 33554432000 4194304 4196468 140726232429952 140420578292464 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24186] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24186/stat : 24186 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447378899 28904853504 10286 33554432000 4194304 4196468 140726232429952 140420577241040 140421397112731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24187] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24187/stat : 24187 (java) S 24171 24171 23651 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 20 0 447378899 28904853504 10286 33554432000 4194304 4196468 140726232429952 140420576189168 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24188] ppid=24171 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/24173/task/24188/stat : 24188 (java) R 24171 24171 23651 0 -1 1077944384 291 0 0 0 2 0 0 0 20 0 20 0 447378899 28904853504 10286 33554432000 4194304 4196468 140726232429952 140420575136624 140421397105282 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24189] ppid=24171 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/24173/task/24189/stat : 24189 (java) S 24171 24171 23651 0 -1 1077944384 217 0 0 0 2 0 0 0 20 0 20 0 447378899 28904853504 10286 33554432000 4194304 4196468 140726232429952 140420574083568 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24190] ppid=24171 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/24173/task/24190/stat : 24190 (java) S 24171 24171 23651 0 -1 1077944384 715 0 0 0 7 0 0 0 20 0 20 0 447378899 28904853504 10286 33554432000 4194304 4196468 140726232429952 140420573031024 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24191] ppid=24171 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24191/stat : 24191 (java) S 24171 24171 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447378899 28904853504 10286 33554432000 4194304 4196468 140726232429952 140420571978208 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24192] ppid=24171 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/24173/task/24192/stat : 24192 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447378900 28904853504 10286 33554432000 4194304 4196468 140726232429952 140420570925744 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42600 KiB

[startup+0.309451 s]*
/proc/loadavg: 5.77 7.14 7.80 3/213 24192
/proc/meminfo: memFree=31061588/32770624 swapFree=66988912/67108860
[pid=24171] ppid=24168 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24171/stat : 24171 (xcsp3-exec) S 24168 24171 23651 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447378893 115843072 364 33554432000 4194304 5098028 140730721126256 140730721124360 139841045668476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11702272 140730721133429 140730721133673 140730721133673 140730721136586 0
/proc/24171/statm: 28282 364 305 221 0 87 0
[pid=24173] ppid=24171 vsize=28231652 memory=50084 CPUtime=0.53 cores=0-7
/proc/24173/stat : 24173 (java) S 24171 24171 23651 0 -1 1077944320 10854 0 0 0 49 4 0 0 20 0 20 0 447378893 28909211648 12521 33554432000 4194304 4196468 140726232429952 140726232412496 140421397094135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
/proc/24173/statm: 7057913 12521 3349 1 0 7019032 0
[pid=24173/tid=24174] ppid=24171 vsize=28231652 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/24173/task/24174/stat : 24174 (java) R 24171 24171 23651 0 -1 4202560 7772 0 0 0 27 3 0 0 20 0 20 0 447378894 28909211648 12521 33554432000 4194304 4196468 140726232429952 140421401325248 140421381174622 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24175] ppid=24171 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24175/stat : 24175 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447378894 28909211648 12521 33554432000 4194304 4196468 140726232429952 140421349714448 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24176] ppid=24171 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24176/stat : 24176 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447378894 28909211648 12521 33554432000 4194304 4196468 140726232429952 140421348661904 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24177] ppid=24171 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24177/stat : 24177 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447378894 28909211648 12521 33554432000 4194304 4196468 140726232429952 140421347608848 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24178] ppid=24171 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24178/stat : 24178 (java) S 24171 24171 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447378894 28909211648 12521 33554432000 4194304 4196468 140726232429952 140421346556304 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24179] ppid=24171 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24179/stat : 24179 (java) S 24171 24171 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447378894 28909211648 12521 33554432000 4194304 4196468 140726232429952 140421345504272 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24180] ppid=24171 vsize=28231652 memory=139719715416751 CPUtime=0 cores=0-7
/proc/24173/task/24180/stat : 24180 (java) S 24171 24171 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447378895 28909211648 12521 33554432000 4194304 4196468 140726232429952 140421344451728 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24181] ppid=24171 vsize=28231652 memory=139719715419056 CPUtime=0 cores=0-7
/proc/24173/task/24181/stat : 24181 (java) S 24171 24171 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447378895 28909211648 12521 33554432000 4194304 4196468 140726232429952 140421343398672 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24182] ppid=24171 vsize=28231652 memory=139719715421360 CPUtime=0 cores=0-7
/proc/24173/task/24182/stat : 24182 (java) S 24171 24171 23651 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447378895 28909211648 12521 33554432000 4194304 4196468 140726232429952 140421342346128 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24183] ppid=24171 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24183/stat : 24183 (java) S 24171 24171 23651 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447378896 28909211648 12521 33554432000 4194304 4196468 140726232429952 140420580399344 140421397105282 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24184] ppid=24171 vsize=28231652 memory=279439430856592 CPUtime=0 cores=0-7
/proc/24173/task/24184/stat : 24184 (java) S 24171 24171 23651 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447378896 28909211648 12521 33554432000 4194304 4196468 140726232429952 140420579345568 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24185] ppid=24171 vsize=28231652 memory=279439430854288 CPUtime=0 cores=0-7
/proc/24173/task/24185/stat : 24185 (java) S 24171 24171 23651 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447378897 28909211648 12521 33554432000 4194304 4196468 140726232429952 140420578292464 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24186] ppid=24171 vsize=28231652 memory=279439430861200 CPUtime=0 cores=0-7
/proc/24173/task/24186/stat : 24186 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447378899 28909211648 12521 33554432000 4194304 4196468 140726232429952 140420577241040 140421397112731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24187] ppid=24171 vsize=28231652 memory=279439430802480 CPUtime=0.01 cores=0-7
/proc/24173/task/24187/stat : 24187 (java) S 24171 24171 23651 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 20 0 447378899 28909211648 12521 33554432000 4194304 4196468 140726232429952 140420576189168 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24188] ppid=24171 vsize=28231652 memory=279439430875024 CPUtime=0.04 cores=0-7
/proc/24173/task/24188/stat : 24188 (java) R 24171 24171 23651 0 -1 4202560 385 0 0 0 4 0 0 0 20 0 20 0 447378899 28909211648 12521 33554432000 4194304 4196468 140726232429952 140420575127008 140421381491142 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24189] ppid=24171 vsize=28231652 memory=279439430881936 CPUtime=0.03 cores=0-7
/proc/24173/task/24189/stat : 24189 (java) S 24171 24171 23651 0 -1 1077944384 225 0 0 0 3 0 0 0 20 0 20 0 447378899 28909211648 12521 33554432000 4194304 4196468 140726232429952 140420574083568 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24190] ppid=24171 vsize=28231652 memory=279439430879632 CPUtime=0.13 cores=0-7
/proc/24173/task/24190/stat : 24190 (java) S 24171 24171 23651 0 -1 1077944384 812 0 0 0 13 0 0 0 20 0 20 0 447378899 28909211648 12521 33554432000 4194304 4196468 140726232429952 140420573031024 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24191] ppid=24171 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24191/stat : 24191 (java) S 24171 24171 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447378899 28909211648 12521 33554432000 4194304 4196468 140726232429952 140420571978208 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24192] ppid=24171 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/24173/task/24192/stat : 24192 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447378900 28909211648 12521 33554432000 4194304 4196468 140726232429952 140420570925744 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51540 KiB

[startup+0.701774 s]
/proc/loadavg: 5.77 7.14 7.80 6/213 24192
/proc/meminfo: memFree=31047708/32770624 swapFree=66988912/67108860
[pid=24171] ppid=24168 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24171/stat : 24171 (xcsp3-exec) S 24168 24171 23651 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447378893 115843072 364 33554432000 4194304 5098028 140730721126256 140730721124360 139841045668476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11702272 140730721133429 140730721133673 140730721133673 140730721136586 0
/proc/24171/statm: 28282 364 305 221 0 87 0
[pid=24173] ppid=24171 vsize=28766288 memory=93700 CPUtime=1.99 cores=0-7
/proc/24173/stat : 24173 (java) S 24171 24171 23651 0 -1 1077944320 14868 0 0 0 193 6 0 0 20 0 28 0 447378893 29456678912 23425 33554432000 4194304 4196468 140726232429952 140726232412496 140421397094135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
/proc/24173/statm: 7191572 23425 3461 1 0 7152672 0
[pid=24173/tid=24174] ppid=24171 vsize=28766288 memory=0 CPUtime=0.59 cores=0-7
/proc/24173/task/24174/stat : 24174 (java) S 24171 24171 23651 0 -1 1077944384 9128 0 0 0 55 4 0 0 20 0 28 0 447378894 29456678912 23425 33554432000 4194304 4196468 140726232429952 140421401334912 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24175] ppid=24171 vsize=28766288 memory=139719715627888 CPUtime=0 cores=0-7
/proc/24173/task/24175/stat : 24175 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447378894 29456678912 23425 33554432000 4194304 4196468 140726232429952 140421349714448 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24176] ppid=24171 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/24173/task/24176/stat : 24176 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447378894 29456678912 23425 33554432000 4194304 4196468 140726232429952 140421348661904 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24177] ppid=24171 vsize=28766288 memory=772 CPUtime=0 cores=0-7
/proc/24173/task/24177/stat : 24177 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447378894 29456678912 23425 33554432000 4194304 4196468 140726232429952 140421347608848 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0

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

[pid=24173/tid=24190] ppid=24171 vsize=28766288 memory=1060 CPUtime=0.54 cores=0-7
/proc/24173/task/24190/stat : 24190 (java) S 24171 24171 23651 0 -1 1077944384 4725 0 0 0 53 1 0 0 20 0 28 0 447378899 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420573031024 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24191] ppid=24171 vsize=28766288 memory=740 CPUtime=0 cores=0-7
/proc/24173/task/24191/stat : 24191 (java) S 24171 24171 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447378899 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420571978208 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24192] ppid=24171 vsize=28766288 memory=1228 CPUtime=0.09 cores=0-7
/proc/24173/task/24192/stat : 24192 (java) S 24171 24171 23651 0 -1 1077944384 1363 0 0 0 6 3 0 0 20 0 28 0 447378900 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420570925744 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24193] ppid=24171 vsize=28766288 memory=9520 CPUtime=398.94 cores=0-7
/proc/24173/task/24193/stat : 24193 (java) R 24171 24171 23651 0 -1 4202560 7304 0 0 0 39868 26 0 0 20 0 28 0 447378954 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420561709216 140421026137006 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24194] ppid=24171 vsize=28766288 memory=4028 CPUtime=399.06 cores=0-7
/proc/24173/task/24194/stat : 24194 (java) R 24171 24171 23651 0 -1 4202560 7869 0 0 0 39876 30 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420560657872 140421024256821 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24195] ppid=24171 vsize=28766288 memory=2832 CPUtime=399.52 cores=0-7
/proc/24173/task/24195/stat : 24195 (java) R 24171 24171 23651 0 -1 4202560 10484 0 0 0 39922 30 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420559606032 140421026039805 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24196] ppid=24171 vsize=28766288 memory=1540 CPUtime=398.81 cores=0-7
/proc/24173/task/24196/stat : 24196 (java) R 24171 24171 23651 0 -1 4202560 37856 0 0 0 39847 34 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420558549600 140421024278524 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24197] ppid=24171 vsize=28766288 memory=1696 CPUtime=398.32 cores=0-7
/proc/24173/task/24197/stat : 24197 (java) R 24171 24171 23651 0 -1 4202560 40377 0 0 0 39805 27 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420557499104 140421383162260 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24198] ppid=24171 vsize=28766288 memory=6032 CPUtime=398.53 cores=0-7
/proc/24173/task/24198/stat : 24198 (java) R 24171 24171 23651 0 -1 4202560 30931 0 0 0 39828 25 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420556443856 140421025362194 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24199] ppid=24171 vsize=28766288 memory=772 CPUtime=399.19 cores=0-7
/proc/24173/task/24199/stat : 24199 (java) R 24171 24171 23651 0 -1 4202560 7837 0 0 0 39893 26 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420555394832 140421024277626 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24200] ppid=24171 vsize=28766288 memory=952 CPUtime=398.68 cores=0-7
/proc/24173/task/24200/stat : 24200 (java) R 24171 24171 23651 0 -1 4202560 57006 0 0 0 39827 41 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420554338920 140421025167660 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
Current children cumulated CPU time: 3215.18 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1258720 KiB

[startup+406.602 s]
/proc/loadavg: 8.62 8.01 7.95 9/220 24232
/proc/meminfo: memFree=29851032/32770624 swapFree=66988916/67108860
[pid=24171] ppid=24168 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24171/stat : 24171 (xcsp3-exec) S 24168 24171 23651 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447378893 115843072 364 33554432000 4194304 5098028 140730721126256 140730721124360 139841045668476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11702272 140730721133429 140730721133673 140730721133673 140730721136586 0
/proc/24171/statm: 28282 364 305 221 0 87 0
[pid=24173] ppid=24171 vsize=28766288 memory=1257264 CPUtime=3216.78 cores=0-7
/proc/24173/stat : 24173 (java) S 24171 24171 23651 0 -1 1077944320 355476 0 0 0 321256 422 0 0 20 0 28 0 447378893 29456678912 314316 33554432000 4194304 4196468 140726232429952 140726232412496 140421397094135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
/proc/24173/statm: 7191572 314316 3525 1 0 7152672 0
[pid=24173/tid=24174] ppid=24171 vsize=28766288 memory=1250076 CPUtime=0.59 cores=0-7
/proc/24173/task/24174/stat : 24174 (java) S 24171 24171 23651 0 -1 1077944384 9128 0 0 0 55 4 0 0 20 0 28 0 447378894 29456678912 314316 33554432000 4194304 4196468 140726232429952 140421401334912 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24175] ppid=24171 vsize=28766288 memory=1736 CPUtime=2.29 cores=0-7
/proc/24173/task/24175/stat : 24175 (java) S 24171 24171 23651 0 -1 1077944384 8265 0 0 0 213 16 0 0 20 0 28 0 447378894 29456678912 314316 33554432000 4194304 4196468 140726232429952 140421349714448 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24176] ppid=24171 vsize=28766288 memory=1398722017469774279 CPUtime=2.35 cores=0-7
/proc/24173/task/24176/stat : 24176 (java) S 24171 24171 23651 0 -1 1077944384 8587 0 0 0 216 19 0 0 20 0 28 0 447378894 29456678912 314316 33554432000 4194304 4196468 140726232429952 140421348661904 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24177] ppid=24171 vsize=28766288 memory=4126316290023845779 CPUtime=2.33 cores=0-7
/proc/24173/task/24177/stat : 24177 (java) S 24171 24171 23651 0 -1 1077944384 8002 0 0 0 215 18 0 0 20 0 28 0 447378894 29456678912 314316 33554432000 4194304 4196468 140726232429952 140421347608848 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24178] ppid=24171 vsize=28766288 memory=2116 CPUtime=2.32 cores=0-7
/proc/24173/task/24178/stat : 24178 (java) S 24171 24171 23651 0 -1 1077944384 9294 0 0 0 213 19 0 0 20 0 28 0 447378894 29456678912 314316 33554432000 4194304 4196468 140726232429952 140421346556304 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24179] ppid=24171 vsize=28766288 memory=12028 CPUtime=2.33 cores=0-7
/proc/24173/task/24179/stat : 24179 (java) S 24171 24171 23651 0 -1 1077944384 6120 0 0 0 215 18 0 0 20 0 28 0 447378894 29456678912 314316 33554432000 4194304 4196468 140726232429952 140421345504272 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24180] ppid=24171 vsize=28766288 memory=1214256 CPUtime=2.32 cores=0-7
/proc/24173/task/24180/stat : 24180 (java) S 24171 24171 23651 0 -1 1077944384 7449 0 0 0 214 18 0 0 20 0 28 0 447378895 29456678912 314316 33554432000 4194304 4196468 140726232429952 140421344451728 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24181] ppid=24171 vsize=28766288 memory=2004 CPUtime=2.34 cores=0-7
/proc/24173/task/24181/stat : 24181 (java) S 24171 24171 23651 0 -1 1077944384 7945 0 0 0 215 19 0 0 20 0 28 0 447378895 29456678912 314316 33554432000 4194304 4196468 140726232429952 140421343398672 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24182] ppid=24171 vsize=28766288 memory=1212 CPUtime=2.35 cores=0-7
/proc/24173/task/24182/stat : 24182 (java) S 24171 24171 23651 0 -1 1077944384 10520 0 0 0 216 19 0 0 20 0 28 0 447378895 29456678912 314316 33554432000 4194304 4196468 140726232429952 140421342346128 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24183] ppid=24171 vsize=28766288 memory=1060 CPUtime=1 cores=0-7
/proc/24173/task/24183/stat : 24183 (java) S 24171 24171 23651 0 -1 1077944384 47502 0 0 0 76 24 0 0 20 0 28 0 447378896 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420580399344 140421397105282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24184] ppid=24171 vsize=28766288 memory=740 CPUtime=0 cores=0-7
/proc/24173/task/24184/stat : 24184 (java) S 24171 24171 23651 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 447378896 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420579345632 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24185] ppid=24171 vsize=28766288 memory=1228 CPUtime=0 cores=0-7
/proc/24173/task/24185/stat : 24185 (java) S 24171 24171 23651 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 447378897 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420578292480 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24186] ppid=24171 vsize=28766288 memory=9520 CPUtime=0 cores=0-7
/proc/24173/task/24186/stat : 24186 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447378899 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420577241040 140421397112731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24187] ppid=24171 vsize=28766288 memory=4028 CPUtime=0.89 cores=0-7
/proc/24173/task/24187/stat : 24187 (java) S 24171 24171 23651 0 -1 1077944384 6299 0 0 0 86 3 0 0 20 0 28 0 447378899 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420576189168 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24188] ppid=24171 vsize=28766288 memory=1265388 CPUtime=1.1 cores=0-7
/proc/24173/task/24188/stat : 24188 (java) S 24171 24171 23651 0 -1 1077944384 8268 0 0 0 108 2 0 0 20 0 28 0 447378899 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420575136624 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24189] ppid=24171 vsize=28766288 memory=1984 CPUtime=1.09 cores=0-7
/proc/24173/task/24189/stat : 24189 (java) S 24171 24171 23651 0 -1 1077944384 10970 0 0 0 106 3 0 0 20 0 28 0 447378899 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420574083568 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24190] ppid=24171 vsize=28766288 memory=2404 CPUtime=0.54 cores=0-7
/proc/24173/task/24190/stat : 24190 (java) S 24171 24171 23651 0 -1 1077944384 4725 0 0 0 53 1 0 0 20 0 28 0 447378899 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420573031024 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24191] ppid=24171 vsize=28766288 memory=1440 CPUtime=0 cores=0-7
/proc/24173/task/24191/stat : 24191 (java) S 24171 24171 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447378899 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420571978208 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24192] ppid=24171 vsize=28766288 memory=800 CPUtime=0.09 cores=0-7
/proc/24173/task/24192/stat : 24192 (java) S 24171 24171 23651 0 -1 1077944384 1363 0 0 0 6 3 0 0 20 0 28 0 447378900 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420570925744 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24193] ppid=24171 vsize=28766288 memory=1764 CPUtime=399.14 cores=0-7
/proc/24173/task/24193/stat : 24193 (java) R 24171 24171 23651 0 -1 4202560 7304 0 0 0 39888 26 0 0 20 0 28 0 447378954 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420561709408 140421024278552 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24194] ppid=24171 vsize=28766288 memory=111628 CPUtime=399.26 cores=0-7
/proc/24173/task/24194/stat : 24194 (java) R 24171 24171 23651 0 -1 4202560 7869 0 0 0 39896 30 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420560658064 140421024279425 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24195] ppid=24171 vsize=28766288 memory=804 CPUtime=399.72 cores=0-7
/proc/24173/task/24195/stat : 24195 (java) R 24171 24171 23651 0 -1 4202560 10484 0 0 0 39942 30 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420559606496 140421024279479 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24196] ppid=24171 vsize=28766288 memory=4096 CPUtime=399.01 cores=0-7
/proc/24173/task/24196/stat : 24196 (java) R 24171 24171 23651 0 -1 4202560 37856 0 0 0 39867 34 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420558553440 140421025284074 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24197] ppid=24171 vsize=28766288 memory=1808 CPUtime=398.52 cores=0-7
/proc/24173/task/24197/stat : 24197 (java) R 24171 24171 23651 0 -1 4202560 40377 0 0 0 39825 27 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420557500464 140421025360473 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24198] ppid=24171 vsize=28766288 memory=4126316290023845779 CPUtime=398.73 cores=0-7
/proc/24173/task/24198/stat : 24198 (java) R 24171 24171 23651 0 -1 4202560 30931 0 0 0 39848 25 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420556447840 140421025359354 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24199] ppid=24171 vsize=28766288 memory=288230583166042425 CPUtime=399.39 cores=0-7
/proc/24173/task/24199/stat : 24199 (java) R 24171 24171 23651 0 -1 4202560 7837 0 0 0 39913 26 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420555394928 140421024257240 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24200] ppid=24171 vsize=28766288 memory=16099282004477816 CPUtime=398.88 cores=0-7
/proc/24173/task/24200/stat : 24200 (java) R 24171 24171 23651 0 -1 4202560 57006 0 0 0 39847 41 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420554342808 140421025360495 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
Current children cumulated CPU time: 3216.78 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1258720 KiB

[startup+406.702 s]
/proc/loadavg: 8.62 8.01 7.95 9/220 24232
/proc/meminfo: memFree=29851032/32770624 swapFree=66988916/67108860
[pid=24171] ppid=24168 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/24171/stat : 24171 (xcsp3-exec) S 24168 24171 23651 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447378893 115843072 364 33554432000 4194304 5098028 140730721126256 140730721124360 139841045668476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11702272 140730721133429 140730721133673 140730721133673 140730721136586 0
/proc/24171/statm: 28282 364 305 221 0 87 0
[pid=24173] ppid=24171 vsize=28766288 memory=1257264 CPUtime=3217.57 cores=0-7
/proc/24173/stat : 24173 (java) S 24171 24171 23651 0 -1 1077944320 355476 0 0 0 321335 422 0 0 20 0 28 0 447378893 29456678912 314316 33554432000 4194304 4196468 140726232429952 140726232412496 140421397094135 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
/proc/24173/statm: 7191572 314316 3525 1 0 7152672 0
[pid=24173/tid=24174] ppid=24171 vsize=28766288 memory=1258292 CPUtime=0.59 cores=0-7
/proc/24173/task/24174/stat : 24174 (java) S 24171 24171 23651 0 -1 1077944384 9128 0 0 0 55 4 0 0 20 0 28 0 447378894 29456678912 314316 33554432000 4194304 4196468 140726232429952 140421401334912 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24175] ppid=24171 vsize=28766288 memory=1258264 CPUtime=2.29 cores=0-7
/proc/24173/task/24175/stat : 24175 (java) S 24171 24171 23651 0 -1 1077944384 8265 0 0 0 213 16 0 0 20 0 28 0 447378894 29456678912 314316 33554432000 4194304 4196468 140726232429952 140421349714448 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24176] ppid=24171 vsize=28766288 memory=1261340 CPUtime=2.35 cores=0-7
/proc/24173/task/24176/stat : 24176 (java) S 24171 24171 23651 0 -1 1077944384 8587 0 0 0 216 19 0 0 20 0 28 0 447378894 29456678912 314316 33554432000 4194304 4196468 140726232429952 140421348661904 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24177] ppid=24171 vsize=28766288 memory=1261800 CPUtime=2.33 cores=0-7
/proc/24173/task/24177/stat : 24177 (java) S 24171 24171 23651 0 -1 1077944384 8002 0 0 0 215 18 0 0 20 0 28 0 447378894 29456678912 314316 33554432000 4194304 4196468 140726232429952 140421347608848 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24178] ppid=24171 vsize=28766288 memory=1215780 CPUtime=2.32 cores=0-7
/proc/24173/task/24178/stat : 24178 (java) S 24171 24171 23651 0 -1 1077944384 9294 0 0 0 213 19 0 0 20 0 28 0 447378894 29456678912 314316 33554432000 4194304 4196468 140726232429952 140421346556304 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24179] ppid=24171 vsize=28766288 memory=1257264 CPUtime=2.33 cores=0-7
/proc/24173/task/24179/stat : 24179 (java) S 24171 24171 23651 0 -1 1077944384 6120 0 0 0 215 18 0 0 20 0 28 0 447378894 29456678912 314316 33554432000 4194304 4196468 140726232429952 140421345504272 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24180] ppid=24171 vsize=28766288 memory=1456 CPUtime=2.32 cores=0-7
/proc/24173/task/24180/stat : 24180 (java) S 24171 24171 23651 0 -1 1077944384 7449 0 0 0 214 18 0 0 20 0 28 0 447378895 29456678912 314316 33554432000 4194304 4196468 140726232429952 140421344451728 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24181] ppid=24171 vsize=28766288 memory=139719716254047 CPUtime=2.34 cores=0-7
/proc/24173/task/24181/stat : 24181 (java) S 24171 24171 23651 0 -1 1077944384 7945 0 0 0 215 19 0 0 20 0 28 0 447378895 29456678912 314316 33554432000 4194304 4196468 140726232429952 140421343398672 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24182] ppid=24171 vsize=28766288 memory=14008 CPUtime=2.35 cores=0-7
/proc/24173/task/24182/stat : 24182 (java) S 24171 24171 23651 0 -1 1077944384 10520 0 0 0 216 19 0 0 20 0 28 0 447378895 29456678912 314316 33554432000 4194304 4196468 140726232429952 140421342346128 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24183] ppid=24171 vsize=28766288 memory=1456 CPUtime=1 cores=0-7
/proc/24173/task/24183/stat : 24183 (java) S 24171 24171 23651 0 -1 1077944384 47502 0 0 0 76 24 0 0 20 0 28 0 447378896 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420580399344 140421397105282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24184] ppid=24171 vsize=28766288 memory=1262880 CPUtime=0 cores=0-7
/proc/24173/task/24184/stat : 24184 (java) S 24171 24171 23651 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 447378896 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420579345632 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24185] ppid=24171 vsize=28766288 memory=1456 CPUtime=0 cores=0-7
/proc/24173/task/24185/stat : 24185 (java) S 24171 24171 23651 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 447378897 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420578292480 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24186] ppid=24171 vsize=28766288 memory=1175896 CPUtime=0 cores=0-7
/proc/24173/task/24186/stat : 24186 (java) S 24171 24171 23651 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447378899 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420577241040 140421397112731 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24187] ppid=24171 vsize=28766288 memory=33 CPUtime=0.89 cores=0-7
/proc/24173/task/24187/stat : 24187 (java) S 24171 24171 23651 0 -1 1077944384 6299 0 0 0 86 3 0 0 20 0 28 0 447378899 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420576189168 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24188] ppid=24171 vsize=28766288 memory=279439430991864 CPUtime=1.1 cores=0-7
/proc/24173/task/24188/stat : 24188 (java) S 24171 24171 23651 0 -1 1077944384 8268 0 0 0 108 2 0 0 20 0 28 0 447378899 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420575136624 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24189] ppid=24171 vsize=28766288 memory=1456 CPUtime=1.09 cores=0-7
/proc/24173/task/24189/stat : 24189 (java) S 24171 24171 23651 0 -1 1077944384 10970 0 0 0 106 3 0 0 20 0 28 0 447378899 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420574083568 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24190] ppid=24171 vsize=28766288 memory=992248 CPUtime=0.54 cores=0-7
/proc/24173/task/24190/stat : 24190 (java) S 24171 24171 23651 0 -1 1077944384 4725 0 0 0 53 1 0 0 20 0 28 0 447378899 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420573031024 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24191] ppid=24171 vsize=28766288 memory=1456 CPUtime=0 cores=0-7
/proc/24173/task/24191/stat : 24191 (java) S 24171 24171 23651 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447378899 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420571978208 140421397104341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24192] ppid=24171 vsize=28766288 memory=1178492 CPUtime=0.09 cores=0-7
/proc/24173/task/24192/stat : 24192 (java) S 24171 24171 23651 0 -1 1077944384 1363 0 0 0 6 3 0 0 20 0 28 0 447378900 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420570925744 140421397105282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24193] ppid=24171 vsize=28766288 memory=21236 CPUtime=399.24 cores=0-7
/proc/24173/task/24193/stat : 24193 (java) R 24171 24171 23651 0 -1 4202560 7304 0 0 0 39898 26 0 0 20 0 28 0 447378954 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420561709408 140421026039807 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24194] ppid=24171 vsize=28766288 memory=2116 CPUtime=399.36 cores=0-7
/proc/24173/task/24194/stat : 24194 (java) R 24171 24171 23651 0 -1 4202560 7869 0 0 0 39906 30 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420560657984 140421024278309 0 4 0 16800975 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24195] ppid=24171 vsize=28766288 memory=1456 CPUtime=399.82 cores=0-7
/proc/24173/task/24195/stat : 24195 (java) R 24171 24171 23651 0 -1 4202560 10484 0 0 0 39952 30 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420559606496 140421024257220 0 4 0 16800975 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24196] ppid=24171 vsize=28766288 memory=1211696 CPUtime=399.11 cores=0-7
/proc/24173/task/24196/stat : 24196 (java) R 24171 24171 23651 0 -1 4202560 37856 0 0 0 39877 34 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420558553440 140421025284062 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24197] ppid=24171 vsize=28766288 memory=1266928 CPUtime=398.62 cores=0-7
/proc/24173/task/24197/stat : 24197 (java) R 24171 24171 23651 0 -1 4202560 40377 0 0 0 39835 27 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420557500560 140421025358555 0 4 0 16800975 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24198] ppid=24171 vsize=28766288 memory=1456 CPUtime=398.83 cores=0-7
/proc/24173/task/24198/stat : 24198 (java) R 24171 24171 23651 0 -1 4202560 30931 0 0 0 39858 25 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420556447840 140421025359146 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24199] ppid=24171 vsize=28766288 memory=279439433100992 CPUtime=399.49 cores=0-7
/proc/24173/task/24199/stat : 24199 (java) R 24171 24171 23651 0 -1 4202560 7837 0 0 0 39923 26 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420555394928 140421024277983 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
[pid=24173/tid=24200] ppid=24171 vsize=28766288 memory=-6079701587068175508 CPUtime=398.98 cores=0-7
/proc/24173/task/24200/stat : 24200 (java) R 24171 24171 23651 0 -1 4202560 57006 0 0 0 39857 41 0 0 20 0 28 0 447378955 29456678912 314316 33554432000 4194304 4196468 140726232429952 140420554342808 140421025360475 0 4 0 16800975 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 35487744 140726232437738 140726232437910 140726232437910 140726232440783 0
Current children cumulated CPU time: 3217.57 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1258720 KiB

Child status: 0
Real time (s): 406.751
CPU time (s): 3217.87
CPU user time (s): 3213.63
CPU system time (s): 4.24013
CPU usage (%): 791.113
Max. virtual memory (cumulated for all children) (KiB): 28881144
Max. memory (cumulated for all children) (KiB): 1268900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3213.63
system time used= 4.24013
maximum resident set size= 1269500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356260
page faults= 0
swaps= 0
block input operations= 0
block output operations= 856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 289704
involuntary context switches= 31877


# summary of solver processes directly reported to runsolver:
#   pid: 24171
#   total CPU time (s): 3217.87
#   total CPU user time (s): 3213.63
#   total CPU system time (s): 4.24013

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.38634 second user time and 4.97891 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-17 11:04:33
IDJOB=4399651
IDBENCH=134718
IDSOLVER=2854
FILE ID=node126/4399651-1568711111
RUNJOBID= node126-1568710964-23678
PBS_JOBID= 21703921
Free space on /tmp= 55708 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-fpga/Pb-chnl10-15.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-4399651-1568711111/watcher-4399651-1568711111 -o /tmp/evaluation-result-4399651-1568711111/solver-4399651-1568711111 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1568710964-23678 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2020790368 HOME/instance-4399651-1568711111.xml

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

MD5SUM BENCH= 0275487dddce0dcf34d0f76368ca0063
RANDOM SEED=2020790368

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31098904 kB
MemAvailable:   31888236 kB
Buffers:           76232 kB
Cached:           979048 kB
SwapCached:         8396 kB
Active:           629892 kB
Inactive:         437872 kB
Active(anon):      22328 kB
Inactive(anon):    23824 kB
Active(file):     607564 kB
Inactive(file):   414048 kB
Unevictable:      107788 kB
Mlocked:          107788 kB
SwapTotal:      67108860 kB
SwapFree:       66988912 kB
Dirty:             26100 kB
Writeback:             0 kB
AnonPages:        112912 kB
Mapped:            42788 kB
Shmem:             25272 kB
Slab:             197220 kB
SReclaimable:     167108 kB
SUnreclaim:        30112 kB
KernelStack:        3456 kB
PageTables:         5524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505912 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:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 55680 MiB
End job on node126 at 2019-09-17 11:11:20