Trace number 4393720

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-06-14 parallelSAT 3755.38 474.508

General information on the benchmark

NameRandom/Random-RB-3-24-24f/
rand-3-24-24-76-632f-49.xml
MD5SUMeb1071698302cc934647f3ac3e5db9c3
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark410.687
Satisfiable
(Un)Satisfiability was proved
Number of variables24
Number of constraints73
Number of domains1
Minimum domain size24
Maximum domain size24
Distribution of domain sizes[{"size":24,"count":24}]
Minimum variable degree5
Maximum variable degree15
Distribution of variable degrees[{"degree":5,"count":2},{"degree":6,"count":3},{"degree":7,"count":2},{"degree":8,"count":4},{"degree":9,"count":3},{"degree":10,"count":3},{"degree":11,"count":3},{"degree":12,"count":1},{"degree":13,"count":1},{"degree":15,"count":2}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":73}]
Number of extensional constraints73
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":73}]
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-4393720-1568420204.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4393720-1568420204.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
9.36/4.66	c solve instance...
3754.81/474.47	s SATISFIABLE
3754.81/474.47	v <instantiation>
3754.81/474.47	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] </list>
3754.81/474.47	v 	<values>18 3 17 22 0 19 9 17 15 7 2 18 7 4 4 2 13 18 9 11 6 23 14 22 </values>
3754.81/474.47	v </instantiation>

Verifier Data 

OK

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393720-1568420204/watcher-4393720-1568420204 -o /tmp/evaluation-result-4393720-1568420204/solver-4393720-1568420204 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568417633-3009 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1430245330 HOME/instance-4393720-1568420204.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=3337, runsolver pid=3334

[startup+0.100113 s]*
/proc/loadavg: 8.48 8.43 7.84 2/216 3358
/proc/meminfo: memFree=31659632/32770624 swapFree=67009544/67108860
[pid=3337] ppid=3334 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3337/stat : 3337 (xcsp3-exec) S 3334 3337 2982 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417943157 115843072 363 33554432000 4194304 5098028 140722397291552 140722397289656 139968508297852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19546112 140722397295477 140722397295721 140722397295721 140722397298634 0
/proc/3337/statm: 28282 363 304 221 0 87 0
[pid=3339] ppid=3337 vsize=28227388 memory=29176 CPUtime=0.12 cores=0-7
/proc/3339/stat : 3339 (java) S 3337 3337 2982 0 -1 1077944320 5696 0 0 0 11 1 0 0 20 0 20 0 417943157 28904845312 7294 33554432000 4194304 4196468 140727845889856 140727845872400 139654602522359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
/proc/3339/statm: 7056847 7294 3143 1 0 7019032 0
[pid=3339/tid=3340] ppid=3337 vsize=28227388 memory=-7024592270288534718 CPUtime=0.08 cores=0-7
/proc/3339/task/3340/stat : 3340 (java) R 3337 3337 2982 0 -1 4202560 3618 0 0 0 8 0 0 0 20 0 20 0 417943157 28904845312 7294 33554432000 4194304 4196468 140727845889856 139654606755136 139654587795342 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3341] ppid=3337 vsize=28227388 memory=6735269665564437106 CPUtime=0 cores=0-7
/proc/3339/task/3341/stat : 3341 (java) S 3337 3337 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417943158 28904845312 7294 33554432000 4194304 4196468 140727845889856 139654555142928 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3342] ppid=3337 vsize=28227388 memory=139757820786304 CPUtime=0 cores=0-7
/proc/3339/task/3342/stat : 3342 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28904845312 7294 33554432000 4194304 4196468 140727845889856 139654554090384 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3343] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3343/stat : 3343 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28904845312 7294 33554432000 4194304 4196468 140727845889856 139654151920656 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3344] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3344/stat : 3344 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28904845312 7294 33554432000 4194304 4196468 140727845889856 139654150868112 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3345] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3345/stat : 3345 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28904845312 7294 33554432000 4194304 4196468 140727845889856 139654149814544 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3346] ppid=3337 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3339/task/3346/stat : 3346 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28904845312 7294 33554432000 4194304 4196468 140727845889856 139654148762000 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3347] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3347/stat : 3347 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28904845312 7294 33554432000 4194304 4196468 140727845889856 139654147709456 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3348] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3348/stat : 3348 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28904845312 7294 33554432000 4194304 4196468 140727845889856 139654146656912 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3349] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3349/stat : 3349 (java) S 3337 3337 2982 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 417943160 28904845312 7294 33554432000 4194304 4196468 140727845889856 139653651773936 139654602533506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3350] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3350/stat : 3350 (java) S 3337 3337 2982 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417943160 28904845312 7294 33554432000 4194304 4196468 140727845889856 139653650720160 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3351] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3351/stat : 3351 (java) S 3337 3337 2982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417943160 28904845312 7294 33554432000 4194304 4196468 140727845889856 139653649667568 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3352] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3352/stat : 3352 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943163 28904845312 7294 33554432000 4194304 4196468 140727845889856 139653648616144 139654602540955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3353] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3353/stat : 3353 (java) S 3337 3337 2982 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 20 0 417943163 28904845312 7294 33554432000 4194304 4196468 140727845889856 139653647562736 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3354] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3354/stat : 3354 (java) S 3337 3337 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417943163 28904845312 7294 33554432000 4194304 4196468 140727845889856 139653646510192 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3355] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3355/stat : 3355 (java) S 3337 3337 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417943163 28904845312 7294 33554432000 4194304 4196468 140727845889856 139653645457648 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3356] ppid=3337 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/3339/task/3356/stat : 3356 (java) S 3337 3337 2982 0 -1 1077944384 340 0 0 0 2 0 0 0 20 0 20 0 417943163 28904845312 7294 33554432000 4194304 4196468 140727845889856 139653644405104 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3357] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3357/stat : 3357 (java) S 3337 3337 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417943163 28904845312 7294 33554432000 4194304 4196468 140727845889856 139653643352800 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3358] ppid=3337 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3339/task/3358/stat : 3358 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943163 28904845312 7294 33554432000 4194304 4196468 140727845889856 139653642300336 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30628 KiB

[startup+0.210403 s]*
/proc/loadavg: 8.48 8.43 7.84 2/216 3358
/proc/meminfo: memFree=31647312/32770624 swapFree=67009544/67108860
[pid=3337] ppid=3334 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3337/stat : 3337 (xcsp3-exec) S 3334 3337 2982 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417943157 115843072 363 33554432000 4194304 5098028 140722397291552 140722397289656 139968508297852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19546112 140722397295477 140722397295721 140722397295721 140722397298634 0
/proc/3337/statm: 28282 363 304 221 0 87 0
[pid=3339] ppid=3337 vsize=28227388 memory=40808 CPUtime=0.33 cores=0-7
/proc/3339/stat : 3339 (java) S 3337 3337 2982 0 -1 1077944320 9489 0 0 0 31 2 0 0 20 0 20 0 417943157 28904845312 10202 33554432000 4194304 4196468 140727845889856 140727845872400 139654602522359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
/proc/3339/statm: 7056847 10202 3228 1 0 7019032 0
[pid=3339/tid=3340] ppid=3337 vsize=28227388 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/3339/task/3340/stat : 3340 (java) R 3337 3337 2982 0 -1 4202560 6642 0 0 0 18 1 0 0 20 0 20 0 417943157 28904845312 10202 33554432000 4194304 4196468 140727845889856 139654606752080 139654586602846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3341] ppid=3337 vsize=28227388 memory=288230609019731991 CPUtime=0 cores=0-7
/proc/3339/task/3341/stat : 3341 (java) S 3337 3337 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417943158 28904845312 10202 33554432000 4194304 4196468 140727845889856 139654555142928 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3342] ppid=3337 vsize=28227388 memory=139757820803648 CPUtime=0 cores=0-7
/proc/3339/task/3342/stat : 3342 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28904845312 10202 33554432000 4194304 4196468 140727845889856 139654554090384 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3343] ppid=3337 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3339/task/3343/stat : 3343 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28904845312 10202 33554432000 4194304 4196468 140727845889856 139654151920656 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3344] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3344/stat : 3344 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28904845312 10202 33554432000 4194304 4196468 140727845889856 139654150868112 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3345] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3345/stat : 3345 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28904845312 10202 33554432000 4194304 4196468 140727845889856 139654149814544 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3346] ppid=3337 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3339/task/3346/stat : 3346 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28904845312 10202 33554432000 4194304 4196468 140727845889856 139654148762000 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3347] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3347/stat : 3347 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28904845312 10202 33554432000 4194304 4196468 140727845889856 139654147709456 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3348] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3348/stat : 3348 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28904845312 10202 33554432000 4194304 4196468 140727845889856 139654146656912 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3349] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3349/stat : 3349 (java) S 3337 3337 2982 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 417943160 28904845312 10202 33554432000 4194304 4196468 140727845889856 139653651773936 139654602533506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3350] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3350/stat : 3350 (java) S 3337 3337 2982 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417943160 28904845312 10202 33554432000 4194304 4196468 140727845889856 139653650720160 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3351] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3351/stat : 3351 (java) S 3337 3337 2982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417943160 28904845312 10202 33554432000 4194304 4196468 140727845889856 139653649667568 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3352] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3352/stat : 3352 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943163 28904845312 10202 33554432000 4194304 4196468 140727845889856 139653648616144 139654602540955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3353] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3353/stat : 3353 (java) S 3337 3337 2982 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 20 0 417943163 28904845312 10202 33554432000 4194304 4196468 140727845889856 139653647562736 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3354] ppid=3337 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/3339/task/3354/stat : 3354 (java) S 3337 3337 2982 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 20 0 417943163 28904845312 10202 33554432000 4194304 4196468 140727845889856 139653646510192 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3355] ppid=3337 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/3339/task/3355/stat : 3355 (java) S 3337 3337 2982 0 -1 1077944384 91 0 0 0 1 0 0 0 20 0 20 0 417943163 28904845312 10202 33554432000 4194304 4196468 140727845889856 139653645457648 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3356] ppid=3337 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/3339/task/3356/stat : 3356 (java) R 3337 3337 2982 0 -1 4202560 762 0 0 0 7 0 0 0 20 0 20 0 417943163 28904845312 10202 33554432000 4194304 4196468 140727845889856 139653644405104 139654602543706 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3357] ppid=3337 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3357/stat : 3357 (java) S 3337 3337 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417943163 28904845312 10202 33554432000 4194304 4196468 140727845889856 139653643352800 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3358] ppid=3337 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/3339/task/3358/stat : 3358 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943163 28904845312 10202 33554432000 4194304 4196468 140727845889856 139653642300336 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42260 KiB

[startup+0.309704 s]*
/proc/loadavg: 8.48 8.43 7.84 3/216 3358
/proc/meminfo: memFree=31641728/32770624 swapFree=67009544/67108860
[pid=3337] ppid=3334 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3337/stat : 3337 (xcsp3-exec) S 3334 3337 2982 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417943157 115843072 363 33554432000 4194304 5098028 140722397291552 140722397289656 139968508297852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19546112 140722397295477 140722397295721 140722397295721 140722397298634 0
/proc/3337/statm: 28282 363 304 221 0 87 0
[pid=3339] ppid=3337 vsize=28231644 memory=49780 CPUtime=0.52 cores=0-7
/proc/3339/stat : 3339 (java) S 3337 3337 2982 0 -1 1077944320 10824 0 0 0 49 3 0 0 20 0 20 0 417943157 28909203456 12445 33554432000 4194304 4196468 140727845889856 140727845872400 139654602522359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
/proc/3339/statm: 7057911 12445 3301 1 0 7019032 0
[pid=3339/tid=3340] ppid=3337 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/3339/task/3340/stat : 3340 (java) R 3337 3337 2982 0 -1 4202560 7746 0 0 0 27 2 0 0 20 0 20 0 417943157 28909203456 12483 33554432000 4194304 4196468 140727845889856 139654606754688 139654586602846 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3341] ppid=3337 vsize=28231644 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/3339/task/3341/stat : 3341 (java) S 3337 3337 2982 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417943158 28909203456 12483 33554432000 4194304 4196468 140727845889856 139654555142928 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3342] ppid=3337 vsize=28231644 memory=2120 CPUtime=0 cores=0-7
/proc/3339/task/3342/stat : 3342 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28909203456 12483 33554432000 4194304 4196468 140727845889856 139654554090384 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3343] ppid=3337 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3343/stat : 3343 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28909203456 12483 33554432000 4194304 4196468 140727845889856 139654151920656 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3344] ppid=3337 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3344/stat : 3344 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28909203456 12483 33554432000 4194304 4196468 140727845889856 139654150868112 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3345] ppid=3337 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3345/stat : 3345 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28909203456 12483 33554432000 4194304 4196468 140727845889856 139654149814544 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3346] ppid=3337 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3346/stat : 3346 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28909203456 12483 33554432000 4194304 4196468 140727845889856 139654148762000 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3347] ppid=3337 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3347/stat : 3347 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28909203456 12483 33554432000 4194304 4196468 140727845889856 139654147709456 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3348] ppid=3337 vsize=28231644 memory=2244 CPUtime=0 cores=0-7
/proc/3339/task/3348/stat : 3348 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943158 28909203456 12483 33554432000 4194304 4196468 140727845889856 139654146656912 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3349] ppid=3337 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3349/stat : 3349 (java) S 3337 3337 2982 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 417943160 28909203456 12483 33554432000 4194304 4196468 140727845889856 139653651773936 139654602533506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3350] ppid=3337 vsize=28231644 memory=139757699036111 CPUtime=0 cores=0-7
/proc/3339/task/3350/stat : 3350 (java) S 3337 3337 2982 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417943160 28909203456 12483 33554432000 4194304 4196468 140727845889856 139653650720160 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3351] ppid=3337 vsize=28231644 memory=279515398074512 CPUtime=0 cores=0-7
/proc/3339/task/3351/stat : 3351 (java) S 3337 3337 2982 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417943160 28909203456 12483 33554432000 4194304 4196468 140727845889856 139653649667568 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3352] ppid=3337 vsize=28231644 memory=279515398090640 CPUtime=0 cores=0-7
/proc/3339/task/3352/stat : 3352 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943163 28909203456 12483 33554432000 4194304 4196468 140727845889856 139653648616144 139654602540955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3353] ppid=3337 vsize=28231644 memory=279515398088336 CPUtime=0.02 cores=0-7
/proc/3339/task/3353/stat : 3353 (java) R 3337 3337 2982 0 -1 4202560 556 0 0 0 2 0 0 0 20 0 20 0 417943163 28909203456 12483 33554432000 4194304 4196468 140727845889856 139653647548816 139654588577356 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3354] ppid=3337 vsize=28231644 memory=279515398095248 CPUtime=0.03 cores=0-7
/proc/3339/task/3354/stat : 3354 (java) S 3337 3337 2982 0 -1 1077944384 263 0 0 0 3 0 0 0 20 0 20 0 417943163 28909203456 12483 33554432000 4194304 4196468 140727845889856 139653646510192 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3355] ppid=3337 vsize=28231644 memory=279515398036528 CPUtime=0.02 cores=0-7
/proc/3339/task/3355/stat : 3355 (java) S 3337 3337 2982 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 20 0 417943163 28909203456 12483 33554432000 4194304 4196468 140727845889856 139653645457648 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3356] ppid=3337 vsize=28231644 memory=279515398109072 CPUtime=0.12 cores=0-7
/proc/3339/task/3356/stat : 3356 (java) S 3337 3337 2982 0 -1 1077944384 863 0 0 0 12 0 0 0 20 0 20 0 417943163 28909203456 12483 33554432000 4194304 4196468 140727845889856 139653644405104 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3357] ppid=3337 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3357/stat : 3357 (java) S 3337 3337 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417943163 28909203456 12483 33554432000 4194304 4196468 140727845889856 139653643352800 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3358] ppid=3337 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/3339/task/3358/stat : 3358 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417943163 28909203456 12483 33554432000 4194304 4196468 140727845889856 139653642300336 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51232 KiB

[startup+0.700966 s]
/proc/loadavg: 8.48 8.43 7.84 5/216 3358
/proc/meminfo: memFree=31609224/32770624 swapFree=67009544/67108860
[pid=3337] ppid=3334 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3337/stat : 3337 (xcsp3-exec) S 3334 3337 2982 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417943157 115843072 363 33554432000 4194304 5098028 140722397291552 140722397289656 139968508297852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19546112 140722397295477 140722397295721 140722397295721 140722397298634 0
/proc/3337/statm: 28282 363 304 221 0 87 0
[pid=3339] ppid=3337 vsize=28231720 memory=195808 CPUtime=1.74 cores=0-7
/proc/3339/stat : 3339 (java) S 3337 3337 2982 0 -1 1077944320 14592 0 0 0 167 7 0 0 20 0 20 0 417943157 28909281280 48952 33554432000 4194304 4196468 140727845889856 140727845872400 139654602522359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
/proc/3339/statm: 7057930 48952 3459 1 0 7019032 0
[pid=3339/tid=3340] ppid=3337 vsize=28231720 memory=4580 CPUtime=0.67 cores=0-7
/proc/3339/task/3340/stat : 3340 (java) R 3337 3337 2982 0 -1 4202560 8354 0 0 0 63 4 0 0 20 0 20 0 417943157 28909281280 48952 33554432000 4194304 4196468 140727845889856 139654606759744 139654602534294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3341] ppid=3337 vsize=28231720 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3341/stat : 3341 (java) S 3337 3337 2982 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 417943158 28909281280 48952 33554432000 4194304 4196468 140727845889856 139654555142928 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3342] ppid=3337 vsize=28231720 memory=0 CPUtime=0 cores=0-7
/proc/3339/task/3342/stat : 3342 (java) S 3337 3337 2982 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 417943158 28909281280 48952 33554432000 4194304 4196468 140727845889856 139654554090384 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3343] ppid=3337 vsize=28231720 memory=14008 CPUtime=0 cores=0-7
/proc/3339/task/3343/stat : 3343 (java) S 3337 3337 2982 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 417943158 28909281280 48952 33554432000 4194304 4196468 140727845889856 139654151920656 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0

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

[pid=3339/tid=3361] ppid=3337 vsize=28768328 memory=1452 CPUtime=466.06 cores=0-7
/proc/3339/task/3361/stat : 3361 (java) R 3337 3337 2982 0 -1 4202560 48989 0 0 0 46451 155 0 0 20 0 28 0 417943627 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653630986088 139654240384636 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3362] ppid=3337 vsize=28768328 memory=8388352 CPUtime=465.31 cores=0-7
/proc/3339/task/3362/stat : 3362 (java) R 3337 3337 2982 0 -1 4202560 7395 0 0 0 46487 44 0 0 20 0 28 0 417943627 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653629931384 139654240340791 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3363] ppid=3337 vsize=28768328 memory=1436 CPUtime=467.23 cores=0-7
/proc/3339/task/3363/stat : 3363 (java) R 3337 3337 2982 0 -1 4202560 5583 0 0 0 46705 18 0 0 20 0 28 0 417943627 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653628878984 139654240382087 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3364] ppid=3337 vsize=28768328 memory=1980 CPUtime=464.3 cores=0-7
/proc/3339/task/3364/stat : 3364 (java) R 3337 3337 2982 0 -1 4202560 4723 0 0 0 46399 31 0 0 20 0 28 0 417943627 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653627826312 139654240005362 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3365] ppid=3337 vsize=28768328 memory=2452 CPUtime=466.16 cores=0-7
/proc/3339/task/3365/stat : 3365 (java) R 3337 3337 2982 0 -1 4202560 9744 0 0 0 46537 79 0 0 20 0 28 0 417943627 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653626776288 139654240383577 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3366] ppid=3337 vsize=28768328 memory=2832 CPUtime=467.45 cores=0-7
/proc/3339/task/3366/stat : 3366 (java) R 3337 3337 2982 0 -1 4202560 1704 0 0 0 46742 3 0 0 20 0 28 0 417943627 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653625720976 139654240340769 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
Current children cumulated CPU time: 3748.43 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 8389804 KiB

[startup+474.001 s]*
/proc/loadavg: 8.48 8.46 8.07 9/225 3402
/proc/meminfo: memFree=23282252/32770624 swapFree=67009548/67108860
[pid=3337] ppid=3334 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3337/stat : 3337 (xcsp3-exec) S 3334 3337 2982 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417943157 115843072 363 33554432000 4194304 5098028 140722397291552 140722397289656 139968508297852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19546112 140722397295477 140722397295721 140722397295721 140722397298634 0
/proc/3337/statm: 28282 363 304 221 0 87 0
[pid=3339] ppid=3337 vsize=28768328 memory=8388352 CPUtime=3751.68 cores=0-7
/proc/3339/stat : 3339 (java) S 3337 3337 2982 0 -1 1077944320 178404 0 0 0 374511 657 0 0 20 0 28 0 417943157 29458767872 2097088 33554432000 4194304 4196468 140727845889856 140727845872400 139654602522359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
/proc/3339/statm: 7192082 2097088 3531 1 0 7153184 0
[pid=3339/tid=3340] ppid=3337 vsize=28768328 memory=1398722017469774279 CPUtime=4.18 cores=0-7
/proc/3339/task/3340/stat : 3340 (java) S 3337 3337 2982 0 -1 1077944384 10477 0 0 0 399 19 0 0 20 0 28 0 417943157 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139654606763136 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3341] ppid=3337 vsize=28768328 memory=4872558044660077418 CPUtime=1.12 cores=0-7
/proc/3339/task/3341/stat : 3341 (java) S 3337 3337 2982 0 -1 1077944384 1565 0 0 0 77 35 0 0 20 0 28 0 417943158 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139654555142928 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3342] ppid=3337 vsize=28768328 memory=7223888600023985970 CPUtime=1.11 cores=0-7
/proc/3339/task/3342/stat : 3342 (java) S 3337 3337 2982 0 -1 1077944384 2295 0 0 0 77 34 0 0 20 0 28 0 417943158 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139654554090384 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3343] ppid=3337 vsize=28768328 memory=591438548543956782 CPUtime=1.13 cores=0-7
/proc/3339/task/3343/stat : 3343 (java) S 3337 3337 2982 0 -1 1077944384 2218 0 0 0 77 36 0 0 20 0 28 0 417943158 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139654151920656 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3344] ppid=3337 vsize=28768328 memory=288289965400654547 CPUtime=1.13 cores=0-7
/proc/3339/task/3344/stat : 3344 (java) S 3337 3337 2982 0 -1 1077944384 2075 0 0 0 80 33 0 0 20 0 28 0 417943158 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139654150868112 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3345] ppid=3337 vsize=28768328 memory=928 CPUtime=1.14 cores=0-7
/proc/3339/task/3345/stat : 3345 (java) S 3337 3337 2982 0 -1 1077944384 2373 0 0 0 78 36 0 0 20 0 28 0 417943158 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139654149814544 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3346] ppid=3337 vsize=28768328 memory=1616 CPUtime=1.11 cores=0-7
/proc/3339/task/3346/stat : 3346 (java) S 3337 3337 2982 0 -1 1077944384 1449 0 0 0 78 33 0 0 20 0 28 0 417943158 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139654148762000 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3347] ppid=3337 vsize=28768328 memory=8112282956445269571 CPUtime=1.13 cores=0-7
/proc/3339/task/3347/stat : 3347 (java) S 3337 3337 2982 0 -1 1077944384 1656 0 0 0 78 35 0 0 20 0 28 0 417943158 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139654147709456 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3348] ppid=3337 vsize=28768328 memory=8388352 CPUtime=1.13 cores=0-7
/proc/3339/task/3348/stat : 3348 (java) S 3337 3337 2982 0 -1 1077944384 2375 0 0 0 79 34 0 0 20 0 28 0 417943158 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139654146656912 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3349] ppid=3337 vsize=28768328 memory=1980 CPUtime=0.13 cores=0-7
/proc/3339/task/3349/stat : 3349 (java) S 3337 3337 2982 0 -1 1077944384 9329 0 0 0 11 2 0 0 20 0 28 0 417943160 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653651773936 139654602533506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3350] ppid=3337 vsize=28768328 memory=2452 CPUtime=0 cores=0-7
/proc/3339/task/3350/stat : 3350 (java) S 3337 3337 2982 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 417943160 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653650720224 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3351] ppid=3337 vsize=28768328 memory=1764 CPUtime=0 cores=0-7
/proc/3339/task/3351/stat : 3351 (java) S 3337 3337 2982 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 417943160 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653649667584 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3352] ppid=3337 vsize=28768328 memory=279515399462528 CPUtime=0 cores=0-7
/proc/3339/task/3352/stat : 3352 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417943163 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653648616144 139654602540955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3353] ppid=3337 vsize=28768328 memory=288230574492221466 CPUtime=1.87 cores=0-7
/proc/3339/task/3353/stat : 3353 (java) S 3337 3337 2982 0 -1 1077944384 13044 0 0 0 183 4 0 0 20 0 28 0 417943163 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653647562736 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3354] ppid=3337 vsize=28768328 memory=288230596050944315 CPUtime=2.75 cores=0-7
/proc/3339/task/3354/stat : 3354 (java) S 3337 3337 2982 0 -1 1077944384 19461 0 0 0 272 3 0 0 20 0 28 0 417943163 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653646510192 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3355] ppid=3337 vsize=28768328 memory=14413709221038509 CPUtime=2.2 cores=0-7
/proc/3339/task/3355/stat : 3355 (java) S 3337 3337 2982 0 -1 1077944384 12816 0 0 0 216 4 0 0 20 0 28 0 417943163 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653645457648 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3356] ppid=3337 vsize=28768328 memory=924 CPUtime=1.03 cores=0-7
/proc/3339/task/3356/stat : 3356 (java) S 3337 3337 2982 0 -1 1077944384 13153 0 0 0 100 3 0 0 20 0 28 0 417943163 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653644405104 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3357] ppid=3337 vsize=28768328 memory=1452 CPUtime=0 cores=0-7
/proc/3339/task/3357/stat : 3357 (java) S 3337 3337 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417943163 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653643352800 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3358] ppid=3337 vsize=28768328 memory=7623352 CPUtime=0.2 cores=0-7
/proc/3339/task/3358/stat : 3358 (java) S 3337 3337 2982 0 -1 1077944384 1487 0 0 0 12 8 0 0 20 0 28 0 417943163 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653642300336 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3359] ppid=3337 vsize=28768328 memory=7988 CPUtime=467.79 cores=0-7
/proc/3339/task/3359/stat : 3359 (java) R 3337 3337 2982 0 -1 4202560 1479 0 0 0 46777 2 0 0 20 0 28 0 417943627 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653633088936 139654240383834 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3360] ppid=3337 vsize=28768328 memory=1452 CPUtime=463.38 cores=0-7
/proc/3339/task/3360/stat : 3360 (java) R 3337 3337 2982 0 -1 4202560 1632 0 0 0 46334 4 0 0 20 0 28 0 417943627 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653632038152 139654240382247 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3361] ppid=3337 vsize=28768328 memory=8388352 CPUtime=466.47 cores=0-7
/proc/3339/task/3361/stat : 3361 (java) R 3337 3337 2982 0 -1 4202560 49020 0 0 0 46492 155 0 0 20 0 28 0 417943627 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653630986088 139654242620580 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3362] ppid=3337 vsize=28768328 memory=3484 CPUtime=465.72 cores=0-7
/proc/3339/task/3362/stat : 3362 (java) R 3337 3337 2982 0 -1 4202560 7408 0 0 0 46528 44 0 0 20 0 28 0 417943627 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653629931384 139654240381804 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3363] ppid=3337 vsize=28768328 memory=17728 CPUtime=467.63 cores=0-7
/proc/3339/task/3363/stat : 3363 (java) R 3337 3337 2982 0 -1 4202560 5585 0 0 0 46745 18 0 0 20 0 28 0 417943627 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653628878984 139654240383548 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3364] ppid=3337 vsize=28768328 memory=984 CPUtime=464.69 cores=0-7
/proc/3339/task/3364/stat : 3364 (java) R 3337 3337 2982 0 -1 4202560 4735 0 0 0 46438 31 0 0 20 0 28 0 417943627 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653627826312 139654240321707 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3365] ppid=3337 vsize=28768328 memory=1948 CPUtime=466.57 cores=0-7
/proc/3339/task/3365/stat : 3365 (java) R 3337 3337 2982 0 -1 4202560 9746 0 0 0 46578 79 0 0 20 0 28 0 417943627 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653626776288 139654240382341 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3366] ppid=3337 vsize=28768328 memory=1296 CPUtime=467.86 cores=0-7
/proc/3339/task/3366/stat : 3366 (java) R 3337 3337 2982 0 -1 4202560 1704 0 0 0 46783 3 0 0 20 0 28 0 417943627 29458767872 2097088 33554432000 4194304 4196468 140727845889856 139653625720976 139654240383470 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
Current children cumulated CPU time: 3751.68 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 8389804 KiB

[startup+474.401 s]
/proc/loadavg: 8.48 8.46 8.07 9/225 3402
/proc/meminfo: memFree=23282252/32770624 swapFree=67009548/67108860
[pid=3337] ppid=3334 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3337/stat : 3337 (xcsp3-exec) S 3334 3337 2982 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417943157 115843072 363 33554432000 4194304 5098028 140722397291552 140722397289656 139968508297852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19546112 140722397295477 140722397295721 140722397295721 140722397298634 0
/proc/3337/statm: 28282 363 304 221 0 87 0
[pid=3339] ppid=3337 vsize=28768328 memory=8390400 CPUtime=3754.81 cores=0-7
/proc/3339/stat : 3339 (java) S 3337 3337 2982 0 -1 1077944320 178440 0 0 0 374824 657 0 0 20 0 28 0 417943157 29458767872 2097600 33554432000 4194304 4196468 140727845889856 140727845872400 139654602522359 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
/proc/3339/statm: 7192082 2097600 3531 1 0 7153184 0
[pid=3339/tid=3340] ppid=3337 vsize=28768328 memory=2452 CPUtime=4.18 cores=0-7
/proc/3339/task/3340/stat : 3340 (java) S 3337 3337 2982 0 -1 1077944384 10477 0 0 0 399 19 0 0 20 0 28 0 417943157 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139654606763136 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3341] ppid=3337 vsize=28768328 memory=1764 CPUtime=1.12 cores=0-7
/proc/3339/task/3341/stat : 3341 (java) S 3337 3337 2982 0 -1 1077944384 1565 0 0 0 77 35 0 0 20 0 28 0 417943158 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139654555142928 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3342] ppid=3337 vsize=28768328 memory=7988 CPUtime=1.11 cores=0-7
/proc/3339/task/3342/stat : 3342 (java) S 3337 3337 2982 0 -1 1077944384 2295 0 0 0 77 34 0 0 20 0 28 0 417943158 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139654554090384 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3343] ppid=3337 vsize=28768328 memory=1584 CPUtime=1.13 cores=0-7
/proc/3339/task/3343/stat : 3343 (java) S 3337 3337 2982 0 -1 1077944384 2218 0 0 0 77 36 0 0 20 0 28 0 417943158 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139654151920656 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3344] ppid=3337 vsize=28768328 memory=14008 CPUtime=1.13 cores=0-7
/proc/3339/task/3344/stat : 3344 (java) S 3337 3337 2982 0 -1 1077944384 2075 0 0 0 80 33 0 0 20 0 28 0 417943158 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139654150868112 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3345] ppid=3337 vsize=28768328 memory=6112 CPUtime=1.14 cores=0-7
/proc/3339/task/3345/stat : 3345 (java) S 3337 3337 2982 0 -1 1077944384 2373 0 0 0 78 36 0 0 20 0 28 0 417943158 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139654149814544 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3346] ppid=3337 vsize=28768328 memory=13948 CPUtime=1.11 cores=0-7
/proc/3339/task/3346/stat : 3346 (java) S 3337 3337 2982 0 -1 1077944384 1449 0 0 0 78 33 0 0 20 0 28 0 417943158 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139654148762000 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3347] ppid=3337 vsize=28768328 memory=2120 CPUtime=1.13 cores=0-7
/proc/3339/task/3347/stat : 3347 (java) S 3337 3337 2982 0 -1 1077944384 1656 0 0 0 78 35 0 0 20 0 28 0 417943158 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139654147709456 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3348] ppid=3337 vsize=28768328 memory=520 CPUtime=1.13 cores=0-7
/proc/3339/task/3348/stat : 3348 (java) S 3337 3337 2982 0 -1 1077944384 2375 0 0 0 79 34 0 0 20 0 28 0 417943158 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139654146656912 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3349] ppid=3337 vsize=28768328 memory=1560 CPUtime=0.13 cores=0-7
/proc/3339/task/3349/stat : 3349 (java) S 3337 3337 2982 0 -1 1077944384 9329 0 0 0 11 2 0 0 20 0 28 0 417943160 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139653651773936 139654602533506 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3350] ppid=3337 vsize=28768328 memory=928 CPUtime=0 cores=0-7
/proc/3339/task/3350/stat : 3350 (java) S 3337 3337 2982 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 417943160 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139653650720224 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3351] ppid=3337 vsize=28768328 memory=1616 CPUtime=0 cores=0-7
/proc/3339/task/3351/stat : 3351 (java) S 3337 3337 2982 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 417943160 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139653649667584 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3352] ppid=3337 vsize=28768328 memory=1296 CPUtime=0 cores=0-7
/proc/3339/task/3352/stat : 3352 (java) S 3337 3337 2982 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417943163 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139653648616144 139654602540955 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3353] ppid=3337 vsize=28768328 memory=732 CPUtime=1.87 cores=0-7
/proc/3339/task/3353/stat : 3353 (java) S 3337 3337 2982 0 -1 1077944384 13044 0 0 0 183 4 0 0 20 0 28 0 417943163 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139653647562736 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3354] ppid=3337 vsize=28768328 memory=1052 CPUtime=2.75 cores=0-7
/proc/3339/task/3354/stat : 3354 (java) S 3337 3337 2982 0 -1 1077944384 19461 0 0 0 272 3 0 0 20 0 28 0 417943163 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139653646510192 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3355] ppid=3337 vsize=28768328 memory=776 CPUtime=2.2 cores=0-7
/proc/3339/task/3355/stat : 3355 (java) S 3337 3337 2982 0 -1 1077944384 12816 0 0 0 216 4 0 0 20 0 28 0 417943163 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139653645457648 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3356] ppid=3337 vsize=28768328 memory=4004 CPUtime=1.03 cores=0-7
/proc/3339/task/3356/stat : 3356 (java) S 3337 3337 2982 0 -1 1077944384 13153 0 0 0 100 3 0 0 20 0 28 0 417943163 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139653644405104 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3357] ppid=3337 vsize=28768328 memory=8388352 CPUtime=0 cores=0-7
/proc/3339/task/3357/stat : 3357 (java) S 3337 3337 2982 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417943163 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139653643352800 139654602532565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3358] ppid=3337 vsize=28768328 memory=1052 CPUtime=0.2 cores=0-7
/proc/3339/task/3358/stat : 3358 (java) S 3337 3337 2982 0 -1 1077944384 1487 0 0 0 12 8 0 0 20 0 28 0 417943163 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139653642300336 139654602533506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3359] ppid=3337 vsize=28768328 memory=776 CPUtime=468.18 cores=0-7
/proc/3339/task/3359/stat : 3359 (java) R 3337 3337 2982 0 -1 4202560 1479 0 0 0 46816 2 0 0 20 0 28 0 417943627 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139653633088936 139654240383064 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3360] ppid=3337 vsize=28768328 memory=4004 CPUtime=463.77 cores=0-7
/proc/3339/task/3360/stat : 3360 (java) R 3337 3337 2982 0 -1 4202560 1633 0 0 0 46373 4 0 0 20 0 28 0 417943627 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139653632038152 139654240340869 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3361] ppid=3337 vsize=28768328 memory=2832 CPUtime=466.86 cores=0-7
/proc/3339/task/3361/stat : 3361 (java) R 3337 3337 2982 0 -1 4202560 49048 0 0 0 46531 155 0 0 20 0 28 0 417943627 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139653630986088 139654242091218 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3362] ppid=3337 vsize=28768328 memory=8500 CPUtime=466.11 cores=0-7
/proc/3339/task/3362/stat : 3362 (java) R 3337 3337 2982 0 -1 4202560 7411 0 0 0 46567 44 0 0 20 0 28 0 417943627 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139653629931384 139654240341098 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3363] ppid=3337 vsize=28768328 memory=1696 CPUtime=468.03 cores=0-7
/proc/3339/task/3363/stat : 3363 (java) R 3337 3337 2982 0 -1 4202560 5587 0 0 0 46785 18 0 0 20 0 28 0 417943627 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139653628878984 139654240340994 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3364] ppid=3337 vsize=28768328 memory=8112282956445269571 CPUtime=465.08 cores=0-7
/proc/3339/task/3364/stat : 3364 (java) R 3337 3337 2982 0 -1 4202560 4737 0 0 0 46477 31 0 0 20 0 28 0 417943627 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139653627826312 139654240381857 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3365] ppid=3337 vsize=28768328 memory=1412 CPUtime=466.96 cores=0-7
/proc/3339/task/3365/stat : 3365 (java) R 3337 3337 2982 0 -1 4202560 9746 0 0 0 46617 79 0 0 20 0 28 0 417943627 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139653626776288 139654240340588 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
[pid=3339/tid=3366] ppid=3337 vsize=28768328 memory=3828 CPUtime=468.25 cores=0-7
/proc/3339/task/3366/stat : 3366 (java) R 3337 3337 2982 0 -1 4202560 1704 0 0 0 46822 3 0 0 20 0 28 0 417943627 29458767872 2097600 33554432000 4194304 4196468 140727845889856 139653625720976 139654240382489 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 33632256 140727845893098 140727845893270 140727845893270 140727845896143 0
Current children cumulated CPU time: 3754.81 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 8391852 KiB

[startup+474.501 s]
/proc/loadavg: 8.48 8.46 8.07 9/225 3402
/proc/meminfo: memFree=23282252/32770624 swapFree=67009548/67108860
[pid=3337] ppid=3334 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/3337/stat : 3337 (xcsp3-exec) S 3334 3337 2982 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417943157 115843072 363 33554432000 4194304 5098028 140722397291552 140722397289656 139968508297852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19546112 140722397295477 140722397295721 140722397295721 140722397298634 0
/proc/3337/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 474.508
CPU time (s): 3755.38
CPU user time (s): 3748.76
CPU system time (s): 6.61687
CPU usage (%): 791.425
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 8391852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3748.76
system time used= 6.61687
maximum resident set size= 8390640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181015
page faults= 0
swaps= 0
block input operations= 0
block output operations= 680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16747
involuntary context switches= 46439


# summary of solver processes directly reported to runsolver:
#   pid: 3337
#   total CPU time (s): 3755.38
#   total CPU user time (s): 3748.76
#   total CPU system time (s): 6.61687

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.95354 second user time and 6.00474 second system time

The end

Launcher Data 

Begin job on node132 at 2019-09-14 02:15:55
IDJOB=4393720
IDBENCH=121537
IDSOLVER=2841
FILE ID=node132/4393720-1568420204
RUNJOBID= node132-1568417633-3009
PBS_JOBID= 21702279
Free space on /tmp= 61620 MiB

SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Random/Random-RB-3-24-24f/rand-3-24-24-76-632f-49.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-4393720-1568420204/watcher-4393720-1568420204 -o /tmp/evaluation-result-4393720-1568420204/solver-4393720-1568420204 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568417633-3009 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1430245330 HOME/instance-4393720-1568420204.xml

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

MD5SUM BENCH= eb1071698302cc934647f3ac3e5db9c3
RANDOM SEED=1430245330

node132.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.95
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.95
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.95
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.95
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:        31676264 kB
MemAvailable:   31919328 kB
Buffers:           59516 kB
Cached:           463548 kB
SwapCached:         6292 kB
Active:           389632 kB
Inactive:         139660 kB
Active(anon):       3300 kB
Inactive(anon):    31280 kB
Active(file):     386332 kB
Inactive(file):   108380 kB
Unevictable:      109584 kB
Mlocked:          109584 kB
SwapTotal:      67108860 kB
SwapFree:       67009544 kB
Dirty:             29048 kB
Writeback:             0 kB
AnonPages:        112036 kB
Mapped:            30476 kB
Shmem:             19392 kB
Slab:             157144 kB
SReclaimable:     128376 kB
SUnreclaim:        28768 kB
KernelStack:        3504 kB
PageTables:         5960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     474036 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:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61596 MiB
End job on node132 at 2019-09-14 02:23:50