Trace number 4403348

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-20UNSAT 18.4527 7.33074

General information on the benchmark

NameMaxCSP/MaxCSP-maxclique-s1/
MaxCSP-brock-800-2.xml
MD5SUMd3fd8a9b2a45f8a480e4f2dd6498e338
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 benchmark1.22127
Satisfiable
(Un)Satisfiability was proved
Number of variables801
Number of constraints112234
Number of domains2
Minimum domain size1
Maximum domain size2
Distribution of domain sizes[{"size":1,"count":1},{"size":2,"count":800}]
Minimum variable degree234
Maximum variable degree800
Distribution of variable degrees[{"degree":234,"count":1},{"degree":246,"count":3},{"degree":248,"count":2},{"degree":249,"count":1},{"degree":250,"count":6},{"degree":251,"count":1},{"degree":252,"count":1},{"degree":253,"count":6},{"degree":254,"count":8},{"degree":255,"count":5},{"degree":256,"count":1},{"degree":257,"count":6},{"degree":258,"count":11},{"degree":259,"count":11},{"degree":260,"count":7},{"degree":261,"count":15},{"degree":262,"count":9},{"degree":263,"count":14},{"degree":264,"count":8},{"degree":265,"count":11},{"degree":266,"count":9},{"degree":267,"count":11},{"degree":268,"count":12},{"degree":269,"count":15},{"degree":270,"count":15},"...",{"degree":294,"count":8}, {"degree":295,"count":8}, {"degree":296,"count":14}, {"degree":297,"count":12}, {"degree":298,"count":8}, {"degree":299,"count":14}, {"degree":300,"count":7}, {"degree":301,"count":5}, {"degree":302,"count":10}, {"degree":303,"count":4}, {"degree":304,"count":7}, {"degree":305,"count":7}, {"degree":306,"count":3}, {"degree":307,"count":3}, {"degree":308,"count":1}, {"degree":309,"count":1}, {"degree":310,"count":2}, {"degree":311,"count":3}, {"degree":312,"count":2}, {"degree":313,"count":1}, {"degree":314,"count":1}, {"degree":315,"count":1}, {"degree":316,"count":1}, {"degree":328,"count":1}, {"degree":800,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":112234}]
Number of extensional constraints112234
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":112234}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403348-1568988152.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4403348-1568988152.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
17.06/6.96	c solve instance...
18.39/7.31	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 (3007 MiB free)
  memory of node 1: 16384 MiB (2755 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403348-1568988152/watcher-4403348-1568988152 -o /tmp/evaluation-result-4403348-1568988152/solver-4403348-1568988152 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568983762-7721 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 186491106 HOME/instance-4403348-1568988152.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=8417, runsolver pid=8414

[startup+0.101156 s]*
/proc/loadavg: 7.51 3.97 2.14 7/233 8433
/proc/meminfo: memFree=5886328/32770624 swapFree=66986244/67108860
[pid=8417] ppid=8414 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8417/stat : 8417 (xcsp3-exec) S 8414 8417 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475072049 115843072 363 33554432000 4194304 5098028 140734036089872 140734036087976 140644760642172 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40189952 140734036095867 140734036096109 140734036096109 140734036099018 0
/proc/8417/statm: 28282 363 304 221 0 87 0
[pid=8419] ppid=8417 vsize=15144776 memory=28928 CPUtime=0.13 cores=0,2,4,6
/proc/8419/stat : 8419 (java) S 8417 8417 7690 0 -1 1077944320 5709 0 0 0 12 1 0 0 20 0 15 0 475072049 15508250624 7232 33554432000 4194304 4196468 140722496925776 140722496908320 140503271526135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
/proc/8419/statm: 3786194 7232 3142 1 0 3748377 0
[pid=8419/tid=8420] ppid=8417 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=0,2,4,6
/proc/8419/task/8420/stat : 8420 (java) R 8417 8417 7690 0 -1 4202560 3588 0 0 0 8 1 0 0 20 0 15 0 475072049 15508250624 7232 33554432000 4194304 4196468 140722496925776 140503275760272 140503263763262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8421] ppid=8417 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8421/stat : 8421 (java) S 8417 8417 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072050 15508250624 7232 33554432000 4194304 4196468 140722496925776 140503224146704 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8422] ppid=8417 vsize=15144776 memory=140692713842304 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8422/stat : 8422 (java) S 8417 8417 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072050 15508250624 7232 33554432000 4194304 4196468 140722496925776 140503223094160 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8423] ppid=8417 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8423/stat : 8423 (java) S 8417 8417 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072050 15508250624 7232 33554432000 4194304 4196468 140722496925776 140503222041616 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8424] ppid=8417 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8424/stat : 8424 (java) S 8417 8417 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072050 15508250624 7232 33554432000 4194304 4196468 140722496925776 140503220989072 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8425] ppid=8417 vsize=15144776 memory=140692713842304 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8425/stat : 8425 (java) S 8417 8417 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072051 15508250624 7232 33554432000 4194304 4196468 140722496925776 140502739437552 140503271537282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8426] ppid=8417 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8426/stat : 8426 (java) S 8417 8417 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475072052 15508250624 7232 33554432000 4194304 4196468 140722496925776 140502738383776 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8427] ppid=8417 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8427/stat : 8427 (java) S 8417 8417 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475072052 15508250624 7232 33554432000 4194304 4196468 140722496925776 140502737331184 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8428] ppid=8417 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8428/stat : 8428 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072054 15508250624 7232 33554432000 4194304 4196468 140722496925776 140502736279760 140503271544731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8429] ppid=8417 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8429/stat : 8429 (java) S 8417 8417 7690 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 15 0 475072054 15508250624 7232 33554432000 4194304 4196468 140722496925776 140502735227376 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8430] ppid=8417 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8430/stat : 8430 (java) S 8417 8417 7690 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 475072054 15508250624 7232 33554432000 4194304 4196468 140722496925776 140502734174832 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8431] ppid=8417 vsize=15144776 memory=140692713842304 CPUtime=0.02 cores=0,2,4,6
/proc/8419/task/8431/stat : 8431 (java) R 8417 8417 7690 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 475072054 15508250624 7232 33554432000 4194304 4196468 140722496925776 140502733122288 140503256052881 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8432] ppid=8417 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8432/stat : 8432 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072055 15508250624 7232 33554432000 4194304 4196468 140722496925776 140502732069984 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8433] ppid=8417 vsize=15144776 memory=140692713842304 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8433/stat : 8433 (java) S 8417 8417 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072055 15508250624 7232 33554432000 4194304 4196468 140722496925776 140502731016496 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30380 KiB

[startup+0.210769 s]*
/proc/loadavg: 7.51 3.97 2.14 8/233 8433
/proc/meminfo: memFree=5873384/32770624 swapFree=66986244/67108860
[pid=8417] ppid=8414 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8417/stat : 8417 (xcsp3-exec) S 8414 8417 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475072049 115843072 363 33554432000 4194304 5098028 140734036089872 140734036087976 140644760642172 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40189952 140734036095867 140734036096109 140734036096109 140734036099018 0
/proc/8417/statm: 28282 363 304 221 0 87 0
[pid=8419] ppid=8417 vsize=15144776 memory=40900 CPUtime=0.34 cores=0,2,4,6
/proc/8419/stat : 8419 (java) S 8417 8417 7690 0 -1 1077944320 9440 0 0 0 31 3 0 0 20 0 15 0 475072049 15508250624 10225 33554432000 4194304 4196468 140722496925776 140722496908320 140503271526135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
/proc/8419/statm: 3786194 10225 3306 1 0 3748377 0
[pid=8419/tid=8420] ppid=8417 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/8419/task/8420/stat : 8420 (java) R 8417 8417 7690 0 -1 4202560 6613 0 0 0 18 2 0 0 20 0 15 0 475072049 15508250624 10225 33554432000 4194304 4196468 140722496925776 140503275764448 140503264204149 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8421] ppid=8417 vsize=15144776 memory=1898699 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8421/stat : 8421 (java) S 8417 8417 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072050 15508250624 10225 33554432000 4194304 4196468 140722496925776 140503224146704 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8422] ppid=8417 vsize=15144776 memory=3384122 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8422/stat : 8422 (java) S 8417 8417 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072050 15508250624 10225 33554432000 4194304 4196468 140722496925776 140503223094160 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8423] ppid=8417 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8423/stat : 8423 (java) S 8417 8417 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072050 15508250624 10225 33554432000 4194304 4196468 140722496925776 140503222041616 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8424] ppid=8417 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8424/stat : 8424 (java) S 8417 8417 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072050 15508250624 10225 33554432000 4194304 4196468 140722496925776 140503220989072 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8425] ppid=8417 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8425/stat : 8425 (java) S 8417 8417 7690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475072051 15508250624 10225 33554432000 4194304 4196468 140722496925776 140502739437552 140503271537282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8426] ppid=8417 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8426/stat : 8426 (java) S 8417 8417 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475072052 15508250624 10225 33554432000 4194304 4196468 140722496925776 140502738383776 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8427] ppid=8417 vsize=15144776 memory=140692713842304 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8427/stat : 8427 (java) S 8417 8417 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475072052 15508250624 10225 33554432000 4194304 4196468 140722496925776 140502737331184 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8428] ppid=8417 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8428/stat : 8428 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072054 15508250624 10225 33554432000 4194304 4196468 140722496925776 140502736279760 140503271544731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8429] ppid=8417 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8419/task/8429/stat : 8429 (java) S 8417 8417 7690 0 -1 1077944384 403 0 0 0 2 0 0 0 20 0 15 0 475072054 15508250624 10225 33554432000 4194304 4196468 140722496925776 140502735227376 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8430] ppid=8417 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8419/task/8430/stat : 8430 (java) S 8417 8417 7690 0 -1 1077944384 342 0 0 0 2 0 0 0 20 0 15 0 475072054 15508250624 10225 33554432000 4194304 4196468 140722496925776 140502734174832 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8431] ppid=8417 vsize=15144776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/8419/task/8431/stat : 8431 (java) S 8417 8417 7690 0 -1 1077944384 779 0 0 0 8 0 0 0 20 0 15 0 475072054 15508250624 10225 33554432000 4194304 4196468 140722496925776 140502733122288 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8432] ppid=8417 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8432/stat : 8432 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072055 15508250624 10225 33554432000 4194304 4196468 140722496925776 140502732069984 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8433] ppid=8417 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8433/stat : 8433 (java) S 8417 8417 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072055 15508250624 10225 33554432000 4194304 4196468 140722496925776 140502731016496 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42352 KiB

[startup+0.310652 s]*
/proc/loadavg: 7.51 3.97 2.14 6/233 8433
/proc/meminfo: memFree=5865628/32770624 swapFree=66986244/67108860
[pid=8417] ppid=8414 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8417/stat : 8417 (xcsp3-exec) S 8414 8417 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475072049 115843072 363 33554432000 4194304 5098028 140734036089872 140734036087976 140644760642172 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40189952 140734036095867 140734036096109 140734036096109 140734036099018 0
/proc/8417/statm: 28282 363 304 221 0 87 0
[pid=8419] ppid=8417 vsize=15149032 memory=49852 CPUtime=0.52 cores=0,2,4,6
/proc/8419/stat : 8419 (java) S 8417 8417 7690 0 -1 1077944320 10804 0 0 0 48 4 0 0 20 0 15 0 475072049 15512608768 12463 33554432000 4194304 4196468 140722496925776 140722496908320 140503271526135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
/proc/8419/statm: 3787258 12463 3341 1 0 3748377 0
[pid=8419/tid=8420] ppid=8417 vsize=15149032 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/8419/task/8420/stat : 8420 (java) R 8417 8417 7690 0 -1 4202560 7820 0 0 0 27 3 0 0 20 0 15 0 475072049 15512608768 12463 33554432000 4194304 4196468 140722496925776 140503275757248 140503255606622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8421] ppid=8417 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8421/stat : 8421 (java) S 8417 8417 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072050 15512608768 12463 33554432000 4194304 4196468 140722496925776 140503224146704 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8422] ppid=8417 vsize=15149032 memory=14128961566500879 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8422/stat : 8422 (java) S 8417 8417 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072050 15512608768 12463 33554432000 4194304 4196468 140722496925776 140503223094160 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8423] ppid=8417 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8423/stat : 8423 (java) S 8417 8417 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072050 15512608768 12463 33554432000 4194304 4196468 140722496925776 140503222041616 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8424] ppid=8417 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8424/stat : 8424 (java) S 8417 8417 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072050 15512608768 12463 33554432000 4194304 4196468 140722496925776 140503220989072 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8425] ppid=8417 vsize=15149032 memory=140692713842304 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8425/stat : 8425 (java) S 8417 8417 7690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475072051 15512608768 12463 33554432000 4194304 4196468 140722496925776 140502739437552 140503271537282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8426] ppid=8417 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8426/stat : 8426 (java) S 8417 8417 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475072052 15512608768 12463 33554432000 4194304 4196468 140722496925776 140502738383776 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8427] ppid=8417 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8427/stat : 8427 (java) S 8417 8417 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475072052 15512608768 12463 33554432000 4194304 4196468 140722496925776 140502737331184 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8428] ppid=8417 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8428/stat : 8428 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072054 15512608768 12463 33554432000 4194304 4196468 140722496925776 140502736279760 140503271544731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8429] ppid=8417 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8419/task/8429/stat : 8429 (java) S 8417 8417 7690 0 -1 1077944384 438 0 0 0 3 0 0 0 20 0 15 0 475072054 15512608768 12463 33554432000 4194304 4196468 140722496925776 140502735227376 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8430] ppid=8417 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/8419/task/8430/stat : 8430 (java) S 8417 8417 7690 0 -1 1077944384 361 0 0 0 3 0 0 0 20 0 15 0 475072054 15512608768 12463 33554432000 4194304 4196468 140722496925776 140502734174832 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8431] ppid=8417 vsize=15149032 memory=140692713842304 CPUtime=0.12 cores=0,2,4,6
/proc/8419/task/8431/stat : 8431 (java) S 8417 8417 7690 0 -1 1077944384 891 0 0 0 12 0 0 0 20 0 15 0 475072054 15512608768 12463 33554432000 4194304 4196468 140722496925776 140502733122288 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8432] ppid=8417 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8432/stat : 8432 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072055 15512608768 12463 33554432000 4194304 4196468 140722496925776 140502732069984 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8433] ppid=8417 vsize=15149032 memory=140692713842304 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8433/stat : 8433 (java) S 8417 8417 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072055 15512608768 12463 33554432000 4194304 4196468 140722496925776 140502731016496 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51304 KiB

[startup+0.706461 s]
/proc/loadavg: 7.51 3.97 2.14 8/233 8433
/proc/meminfo: memFree=5834916/32770624 swapFree=66986244/67108860
[pid=8417] ppid=8414 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8417/stat : 8417 (xcsp3-exec) S 8414 8417 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475072049 115843072 363 33554432000 4194304 5098028 140734036089872 140734036087976 140644760642172 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40189952 140734036095867 140734036096109 140734036096109 140734036099018 0
/proc/8417/statm: 28282 363 304 221 0 87 0
[pid=8419] ppid=8417 vsize=15151156 memory=115004 CPUtime=1.64 cores=0,2,4,6
/proc/8419/stat : 8419 (java) S 8417 8417 7690 0 -1 1077944320 13773 0 0 0 159 5 0 0 20 0 15 0 475072049 15514783744 28751 33554432000 4194304 4196468 140722496925776 140722496908320 140503271526135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
/proc/8419/statm: 3787789 28751 3428 1 0 3748889 0
[pid=8419/tid=8420] ppid=8417 vsize=15151156 memory=2120 CPUtime=0.68 cores=0,2,4,6
/proc/8419/task/8420/stat : 8420 (java) R 8417 8417 7690 0 -1 4202560 8277 0 0 0 65 3 0 0 20 0 15 0 475072049 15514783744 28751 33554432000 4194304 4196468 140722496925776 140503275762976 140502896327439 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8421] ppid=8417 vsize=15151156 memory=532 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8421/stat : 8421 (java) S 8417 8417 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072050 15514783744 28751 33554432000 4194304 4196468 140722496925776 140503224146704 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8422] ppid=8417 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8422/stat : 8422 (java) S 8417 8417 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072050 15514783744 28751 33554432000 4194304 4196468 140722496925776 140503223094160 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8423] ppid=8417 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8423/stat : 8423 (java) S 8417 8417 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475072050 15514783744 28751 33554432000 4194304 4196468 140722496925776 140503222041616 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8424] ppid=8417 vsize=15151156 memory=1680 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8424/stat : 8424 (java) S 8417 8417 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072050 15514783744 28751 33554432000 4194304 4196468 140722496925776 140503220989072 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8425] ppid=8417 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8425/stat : 8425 (java) S 8417 8417 7690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475072051 15514783744 28751 33554432000 4194304 4196468 140722496925776 140502739437552 140503271537282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8426] ppid=8417 vsize=15151156 memory=912 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8426/stat : 8426 (java) S 8417 8417 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475072052 15514783744 28751 33554432000 4194304 4196468 140722496925776 140502738383776 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8427] ppid=8417 vsize=15151156 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8427/stat : 8427 (java) S 8417 8417 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475072052 15514783744 28751 33554432000 4194304 4196468 140722496925776 140502737331184 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8428] ppid=8417 vsize=15151156 memory=7086240636095582563 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8428/stat : 8428 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072054 15514783744 28751 33554432000 4194304 4196468 140722496925776 140502736279760 140503271544731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8429] ppid=8417 vsize=15151156 memory=7453282923444726100 CPUtime=0.31 cores=0,2,4,6
/proc/8419/task/8429/stat : 8429 (java) R 8417 8417 7690 0 -1 4202560 1458 0 0 0 31 0 0 0 20 0 15 0 475072054 15514783744 28751 33554432000 4194304 4196468 140722496925776 140502735227376 140503255417859 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8430] ppid=8417 vsize=15151156 memory=4639059877604708710 CPUtime=0.32 cores=0,2,4,6
/proc/8419/task/8430/stat : 8430 (java) R 8417 8417 7690 0 -1 4202560 1002 0 0 0 32 0 0 0 20 0 15 0 475072054 15514783744 28751 33554432000 4194304 4196468 140722496925776 140502734173232 140503255012153 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8431] ppid=8417 vsize=15151156 memory=8514726395715219869 CPUtime=0.29 cores=0,2,4,6
/proc/8419/task/8431/stat : 8431 (java) R 8417 8417 7690 0 -1 4202560 1728 0 0 0 29 0 0 0 20 0 15 0 475072054 15514783744 28751 33554432000 4194304 4196468 140722496925776 140502733119224 140503250234513 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8432] ppid=8417 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8432/stat : 8432 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072055 15514783744 28751 33554432000 4194304 4196468 140722496925776 140502732069984 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8433] ppid=8417 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8433/stat : 8433 (java) S 8417 8417 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475072055 15514783744 28751 33554432000 4194304 4196468 140722496925776 140502731016496 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 116456 KiB

[startup+1.50148 s]
/proc/loadavg: 7.51 3.97 2.14 8/233 8433
/proc/meminfo: memFree=5677480/32770624 swapFree=66986244/67108860
[pid=8417] ppid=8414 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8417/stat : 8417 (xcsp3-exec) S 8414 8417 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475072049 115843072 363 33554432000 4194304 5098028 140734036089872 140734036087976 140644760642172 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40189952 140734036095867 140734036096109 140734036096109 140734036099018 0
/proc/8417/statm: 28282 363 304 221 0 87 0

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

/proc/8419/task/8425/stat : 8425 (java) S 8417 8417 7690 0 -1 1077944384 1675 0 0 0 11 0 0 0 20 0 15 0 475072051 15514783744 413877 33554432000 4194304 4196468 140722496925776 140502739437552 140503271537282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8426] ppid=8417 vsize=15151156 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8426/stat : 8426 (java) S 8417 8417 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475072052 15514783744 413877 33554432000 4194304 4196468 140722496925776 140502738383840 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8427] ppid=8417 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8427/stat : 8427 (java) S 8417 8417 7690 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 475072052 15514783744 413877 33554432000 4194304 4196468 140722496925776 140502737331200 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8428] ppid=8417 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8428/stat : 8428 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072054 15514783744 413877 33554432000 4194304 4196468 140722496925776 140502736279760 140503271544731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8429] ppid=8417 vsize=15151156 memory=0 CPUtime=2.2 cores=0,2,4,6
/proc/8419/task/8429/stat : 8429 (java) S 8417 8417 7690 0 -1 1077944384 3965 0 0 0 219 1 0 0 20 0 15 0 475072054 15514783744 413877 33554432000 4194304 4196468 140722496925776 140502735227376 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8430] ppid=8417 vsize=15151156 memory=0 CPUtime=2.22 cores=0,2,4,6
/proc/8419/task/8430/stat : 8430 (java) S 8417 8417 7690 0 -1 1077944384 3927 0 0 0 221 1 0 0 20 0 15 0 475072054 15514783744 413877 33554432000 4194304 4196468 140722496925776 140502734174832 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8431] ppid=8417 vsize=15151156 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/8419/task/8431/stat : 8431 (java) S 8417 8417 7690 0 -1 1077944384 2183 0 0 0 52 0 0 0 20 0 15 0 475072054 15514783744 413877 33554432000 4194304 4196468 140722496925776 140502733122288 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8432] ppid=8417 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8432/stat : 8432 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072055 15514783744 413877 33554432000 4194304 4196468 140722496925776 140502732069984 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8433] ppid=8417 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8433/stat : 8433 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072055 15514783744 413877 33554432000 4194304 4196468 140722496925776 140502731016496 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
Current children cumulated CPU time: 16.04 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1656960 KiB

[startup+6.80069 s]
/proc/loadavg: 7.38 4.01 2.16 6/233 8433
/proc/meminfo: memFree=4254848/32770624 swapFree=66986244/67108860
[pid=8417] ppid=8414 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8417/stat : 8417 (xcsp3-exec) S 8414 8417 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475072049 115843072 363 33554432000 4194304 5098028 140734036089872 140734036087976 140644760642172 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40189952 140734036095867 140734036096109 140734036096109 140734036099018 0
/proc/8417/statm: 28282 363 304 221 0 87 0
[pid=8419] ppid=8417 vsize=15151156 memory=1828608 CPUtime=16.95 cores=0,2,4,6
/proc/8419/stat : 8419 (java) S 8417 8417 7690 0 -1 1077944320 27828 0 0 0 1580 115 0 0 20 0 15 0 475072049 15514783744 457152 33554432000 4194304 4196468 140722496925776 140722496908320 140503271526135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
/proc/8419/statm: 3787789 457152 3517 1 0 3748889 0
[pid=8419/tid=8420] ppid=8417 vsize=15151156 memory=8112282956445269571 CPUtime=4.86 cores=0,2,4,6
/proc/8419/task/8420/stat : 8420 (java) S 8417 8417 7690 0 -1 1077944384 10236 0 0 0 470 16 0 0 20 0 15 0 475072049 15514783744 457152 33554432000 4194304 4196468 140722496925776 140503275765040 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8421] ppid=8417 vsize=15151156 memory=7306623572533858924 CPUtime=1.75 cores=0,2,4,6
/proc/8419/task/8421/stat : 8421 (java) R 8417 8417 7690 0 -1 4202560 653 0 0 0 152 23 0 0 20 0 15 0 475072050 15514783744 457152 33554432000 4194304 4196468 140722496925776 140503224146704 140503253152080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8422] ppid=8417 vsize=15151156 memory=7524499455612380759 CPUtime=1.71 cores=0,2,4,6
/proc/8419/task/8422/stat : 8422 (java) R 8417 8417 7690 0 -1 4202560 1308 0 0 0 149 22 0 0 20 0 15 0 475072050 15514783744 457152 33554432000 4194304 4196468 140722496925776 140503223094360 140503256553043 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8423] ppid=8417 vsize=15151156 memory=7164212597466879328 CPUtime=1.75 cores=0,2,4,6
/proc/8419/task/8423/stat : 8423 (java) R 8417 8417 7690 0 -1 4202560 1778 0 0 0 153 22 0 0 20 0 15 0 475072050 15514783744 457152 33554432000 4194304 4196468 140722496925776 140503222041816 140503256548256 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8424] ppid=8417 vsize=15151156 memory=7233744609251648597 CPUtime=1.73 cores=0,2,4,6
/proc/8419/task/8424/stat : 8424 (java) R 8417 8417 7690 0 -1 4202560 802 0 0 0 149 24 0 0 20 0 15 0 475072050 15514783744 457152 33554432000 4194304 4196468 140722496925776 140503220989272 140503256553230 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8425] ppid=8417 vsize=15151156 memory=7164212597466879328 CPUtime=0.11 cores=0,2,4,6
/proc/8419/task/8425/stat : 8425 (java) S 8417 8417 7690 0 -1 1077944384 1675 0 0 0 11 0 0 0 20 0 15 0 475072051 15514783744 457152 33554432000 4194304 4196468 140722496925776 140502739436064 140503271536341 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8426] ppid=8417 vsize=15151156 memory=7233744609251648597 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8426/stat : 8426 (java) S 8417 8417 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475072052 15514783744 457152 33554432000 4194304 4196468 140722496925776 140502738383840 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8427] ppid=8417 vsize=15151156 memory=7233744609251648853 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8427/stat : 8427 (java) S 8417 8417 7690 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 475072052 15514783744 457152 33554432000 4194304 4196468 140722496925776 140502737331200 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8428] ppid=8417 vsize=15151156 memory=7810476970976106342 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8428/stat : 8428 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072054 15514783744 457152 33554432000 4194304 4196468 140722496925776 140502736279760 140503271544731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8429] ppid=8417 vsize=15151156 memory=7810476970976106342 CPUtime=2.2 cores=0,2,4,6
/proc/8419/task/8429/stat : 8429 (java) S 8417 8417 7690 0 -1 1077944384 3965 0 0 0 219 1 0 0 20 0 15 0 475072054 15514783744 457152 33554432000 4194304 4196468 140722496925776 140502735227376 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8430] ppid=8417 vsize=15151156 memory=7812729831764092503 CPUtime=2.22 cores=0,2,4,6
/proc/8419/task/8430/stat : 8430 (java) S 8417 8417 7690 0 -1 1077944384 3927 0 0 0 221 1 0 0 20 0 15 0 475072054 15514783744 457152 33554432000 4194304 4196468 140722496925776 140502734174832 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8431] ppid=8417 vsize=15151156 memory=7233744609251649621 CPUtime=0.52 cores=0,2,4,6
/proc/8419/task/8431/stat : 8431 (java) S 8417 8417 7690 0 -1 1077944384 2183 0 0 0 52 0 0 0 20 0 15 0 475072054 15514783744 457152 33554432000 4194304 4196468 140722496925776 140502733122288 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8432] ppid=8417 vsize=15151156 memory=164 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8432/stat : 8432 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072055 15514783744 457152 33554432000 4194304 4196468 140722496925776 140502732069984 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8433] ppid=8417 vsize=15151156 memory=5450874560983370026 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8433/stat : 8433 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475072055 15514783744 457152 33554432000 4194304 4196468 140722496925776 140502731016496 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
Current children cumulated CPU time: 16.95 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1830060 KiB

[startup+7.20081 s]
/proc/loadavg: 7.38 4.01 2.16 12/237 8437
/proc/meminfo: memFree=4078124/32770624 swapFree=66986244/67108860
[pid=8417] ppid=8414 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8417/stat : 8417 (xcsp3-exec) S 8414 8417 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475072049 115843072 363 33554432000 4194304 5098028 140734036089872 140734036087976 140644760642172 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40189952 140734036095867 140734036096109 140734036096109 140734036099018 0
/proc/8417/statm: 28282 363 304 221 0 87 0
[pid=8419] ppid=8417 vsize=15417412 memory=1831820 CPUtime=17.99 cores=0,2,4,6
/proc/8419/stat : 8419 (java) S 8417 8417 7690 0 -1 1077944320 30528 0 0 0 1683 116 0 0 20 0 19 0 475072049 15787429888 457955 33554432000 4194304 4196468 140722496925776 140722496908320 140503271526135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
/proc/8419/statm: 3854353 457955 3526 1 0 3815453 0
[pid=8419/tid=8420] ppid=8417 vsize=15417412 memory=0 CPUtime=5.05 cores=0,2,4,6
/proc/8419/task/8420/stat : 8420 (java) S 8417 8417 7690 0 -1 1077944384 10524 0 0 0 489 16 0 0 20 0 19 0 475072049 15787429888 457955 33554432000 4194304 4196468 140722496925776 140503275766912 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8421] ppid=8417 vsize=15417412 memory=8112282956445269571 CPUtime=1.76 cores=0,2,4,6
/proc/8419/task/8421/stat : 8421 (java) S 8417 8417 7690 0 -1 1077944384 656 0 0 0 152 24 0 0 20 0 19 0 475072050 15787429888 457955 33554432000 4194304 4196468 140722496925776 140503224146704 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8422] ppid=8417 vsize=15417412 memory=7447098239291580518 CPUtime=1.71 cores=0,2,4,6
/proc/8419/task/8422/stat : 8422 (java) S 8417 8417 7690 0 -1 1077944384 1312 0 0 0 149 22 0 0 20 0 19 0 475072050 15787429888 457955 33554432000 4194304 4196468 140722496925776 140503223094160 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8423] ppid=8417 vsize=15417412 memory=7447098239291580518 CPUtime=1.75 cores=0,2,4,6
/proc/8419/task/8423/stat : 8423 (java) S 8417 8417 7690 0 -1 1077944384 1781 0 0 0 153 22 0 0 20 0 19 0 475072050 15787429888 457955 33554432000 4194304 4196468 140722496925776 140503222041616 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8424] ppid=8417 vsize=15417412 memory=7447098239291580518 CPUtime=1.74 cores=0,2,4,6
/proc/8419/task/8424/stat : 8424 (java) S 8417 8417 7690 0 -1 1077944384 805 0 0 0 149 25 0 0 20 0 19 0 475072050 15787429888 457955 33554432000 4194304 4196468 140722496925776 140503220989072 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8425] ppid=8417 vsize=15417412 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/8419/task/8425/stat : 8425 (java) S 8417 8417 7690 0 -1 1077944384 1706 0 0 0 11 0 0 0 20 0 19 0 475072051 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502739437552 140503271537282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8426] ppid=8417 vsize=15417412 memory=6442509666560796265 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8426/stat : 8426 (java) S 8417 8417 7690 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475072052 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502738383840 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8427] ppid=8417 vsize=15417412 memory=6442509666560796265 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8427/stat : 8427 (java) S 8417 8417 7690 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 475072052 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502737331200 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8428] ppid=8417 vsize=15417412 memory=7447098239291580518 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8428/stat : 8428 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475072054 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502736279760 140503271544731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8429] ppid=8417 vsize=15417412 memory=7014751519583655528 CPUtime=2.32 cores=0,2,4,6
/proc/8419/task/8429/stat : 8429 (java) R 8417 8417 7690 0 -1 4202560 4563 0 0 0 231 1 0 0 20 0 19 0 475072054 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502735227376 140503255919602 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8430] ppid=8417 vsize=15417412 memory=7594871429202798444 CPUtime=2.37 cores=0,2,4,6
/proc/8419/task/8430/stat : 8430 (java) R 8417 8417 7690 0 -1 4202560 4730 0 0 0 236 1 0 0 20 0 19 0 475072054 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502734166952 140503256651134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8431] ppid=8417 vsize=15417412 memory=7090467171845366636 CPUtime=0.57 cores=0,2,4,6
/proc/8419/task/8431/stat : 8431 (java) R 8417 8417 7690 0 -1 4202560 2990 0 0 0 56 1 0 0 20 0 19 0 475072054 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502733122288 140503271547482 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8432] ppid=8417 vsize=15417412 memory=4639074098508484692 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8432/stat : 8432 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475072055 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502732069984 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8433] ppid=8417 vsize=15417412 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8433/stat : 8433 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475072055 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502731016496 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8434] ppid=8417 vsize=15417412 memory=288230621803970871 CPUtime=0.09 cores=0,2,4,6
/proc/8419/task/8434/stat : 8434 (java) R 8417 8417 7690 0 -1 4202560 49 0 0 0 9 0 0 0 20 0 19 0 475072748 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502722036648 140502899968807 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8435] ppid=8417 vsize=15417412 memory=14697383221004840 CPUtime=0.14 cores=0,2,4,6
/proc/8419/task/8435/stat : 8435 (java) R 8417 8417 7690 0 -1 4202560 40 0 0 0 14 0 0 0 20 0 19 0 475072748 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502720982552 140503251493119 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8436] ppid=8417 vsize=15417412 memory=2120 CPUtime=0.16 cores=0,2,4,6
/proc/8419/task/8436/stat : 8436 (java) R 8417 8417 7690 0 -1 4202560 35 0 0 0 16 0 0 0 20 0 19 0 475072748 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502719932520 140502899992999 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8437] ppid=8417 vsize=15417412 memory=532 CPUtime=0.12 cores=0,2,4,6
/proc/8419/task/8437/stat : 8437 (java) R 8417 8417 7690 0 -1 4202560 30 0 0 0 12 0 0 0 20 0 19 0 475072748 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502718880280 140502899992970 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
Current children cumulated CPU time: 17.99 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1833272 KiB

[startup+7.30146 s]
/proc/loadavg: 7.38 4.01 2.16 12/237 8437
/proc/meminfo: memFree=4078124/32770624 swapFree=66986244/67108860
[pid=8417] ppid=8414 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8417/stat : 8417 (xcsp3-exec) S 8414 8417 7690 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475072049 115843072 363 33554432000 4194304 5098028 140734036089872 140734036087976 140644760642172 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40189952 140734036095867 140734036096109 140734036096109 140734036099018 0
/proc/8417/statm: 28282 363 304 221 0 87 0
[pid=8419] ppid=8417 vsize=15417412 memory=1831820 CPUtime=18.39 cores=0,2,4,6
/proc/8419/stat : 8419 (java) S 8417 8417 7690 0 -1 1077944320 30595 0 0 0 1723 116 0 0 20 0 19 0 475072049 15787429888 457955 33554432000 4194304 4196468 140722496925776 140722496908320 140503271526135 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
/proc/8419/statm: 3854353 457955 3526 1 0 3815453 0
[pid=8419/tid=8420] ppid=8417 vsize=15417412 memory=0 CPUtime=5.05 cores=0,2,4,6
/proc/8419/task/8420/stat : 8420 (java) S 8417 8417 7690 0 -1 1077944384 10524 0 0 0 489 16 0 0 20 0 19 0 475072049 15787429888 457955 33554432000 4194304 4196468 140722496925776 140503275766912 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8421] ppid=8417 vsize=15417412 memory=0 CPUtime=1.76 cores=0,2,4,6
/proc/8419/task/8421/stat : 8421 (java) S 8417 8417 7690 0 -1 1077944384 656 0 0 0 152 24 0 0 20 0 19 0 475072050 15787429888 457955 33554432000 4194304 4196468 140722496925776 140503224146704 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8422] ppid=8417 vsize=15417412 memory=1831176 CPUtime=1.71 cores=0,2,4,6
/proc/8419/task/8422/stat : 8422 (java) S 8417 8417 7690 0 -1 1077944384 1312 0 0 0 149 22 0 0 20 0 19 0 475072050 15787429888 457955 33554432000 4194304 4196468 140722496925776 140503223094160 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8423] ppid=8417 vsize=15417412 memory=5787213827113576551 CPUtime=1.75 cores=0,2,4,6
/proc/8419/task/8423/stat : 8423 (java) S 8417 8417 7690 0 -1 1077944384 1781 0 0 0 153 22 0 0 20 0 19 0 475072050 15787429888 457955 33554432000 4194304 4196468 140722496925776 140503222041616 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8424] ppid=8417 vsize=15417412 memory=1452 CPUtime=1.74 cores=0,2,4,6
/proc/8419/task/8424/stat : 8424 (java) S 8417 8417 7690 0 -1 1077944384 805 0 0 0 149 25 0 0 20 0 19 0 475072050 15787429888 457955 33554432000 4194304 4196468 140722496925776 140503220989072 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8425] ppid=8417 vsize=15417412 memory=1655508 CPUtime=0.11 cores=0,2,4,6
/proc/8419/task/8425/stat : 8425 (java) S 8417 8417 7690 0 -1 1077944384 1706 0 0 0 11 0 0 0 20 0 19 0 475072051 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502739437552 140503271537282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8426] ppid=8417 vsize=15417412 memory=1727552 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8426/stat : 8426 (java) S 8417 8417 7690 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475072052 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502738383840 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8427] ppid=8417 vsize=15417412 memory=468984 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8427/stat : 8427 (java) S 8417 8417 7690 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 475072052 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502737331200 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8428] ppid=8417 vsize=15417412 memory=4465 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8428/stat : 8428 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475072054 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502736279760 140503271544731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8429] ppid=8417 vsize=15417412 memory=4420 CPUtime=2.34 cores=0,2,4,6
/proc/8419/task/8429/stat : 8429 (java) S 8417 8417 7690 0 -1 1077944384 4606 0 0 0 233 1 0 0 20 0 19 0 475072054 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502735227376 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8430] ppid=8417 vsize=15417412 memory=3616 CPUtime=2.4 cores=0,2,4,6
/proc/8419/task/8430/stat : 8430 (java) R 8417 8417 7690 0 -1 4202560 4740 0 0 0 239 1 0 0 20 0 19 0 475072054 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502734174832 140503254937030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8431] ppid=8417 vsize=15417412 memory=55 CPUtime=0.58 cores=0,2,4,6
/proc/8419/task/8431/stat : 8431 (java) R 8417 8417 7690 0 -1 1077944384 2999 0 0 0 57 1 0 0 20 0 19 0 475072054 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502733122288 140503271537282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8432] ppid=8417 vsize=15417412 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8432/stat : 8432 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475072055 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502732069984 140503271536341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8433] ppid=8417 vsize=15417412 memory=1 CPUtime=0 cores=0,2,4,6
/proc/8419/task/8433/stat : 8433 (java) S 8417 8417 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475072055 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502731016496 140503271537282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8434] ppid=8417 vsize=15417412 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/8419/task/8434/stat : 8434 (java) R 8417 8417 7690 0 -1 4202560 49 0 0 0 17 0 0 0 20 0 19 0 475072748 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502722036648 140502900109840 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8435] ppid=8417 vsize=15417412 memory=56 CPUtime=0.21 cores=0,2,4,6
/proc/8419/task/8435/stat : 8435 (java) R 8417 8417 7690 0 -1 4202560 40 0 0 0 21 0 0 0 20 0 19 0 475072748 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502720986328 140502892692749 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8436] ppid=8417 vsize=15417412 memory=4 CPUtime=0.24 cores=0,2,4,6
/proc/8419/task/8436/stat : 8436 (java) R 8417 8417 7690 0 -1 4202560 35 0 0 0 24 0 0 0 20 0 19 0 475072748 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502719933616 140502892682961 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
[pid=8419/tid=8437] ppid=8417 vsize=15417412 memory=1452 CPUtime=0.22 cores=0,2,4,6
/proc/8419/task/8437/stat : 8437 (java) R 8417 8417 7690 0 -1 4202560 35 0 0 0 22 0 0 0 20 0 19 0 475072748 15787429888 457955 33554432000 4194304 4196468 140722496925776 140502718878416 140503255569765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18202624 140722496934895 140722496935066 140722496935066 140722496937935 0
Current children cumulated CPU time: 18.39 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1833272 KiB

Child status: 0
Real time (s): 7.33074
CPU time (s): 18.4527
CPU user time (s): 17.2685
CPU system time (s): 1.18425
CPU usage (%): 251.717
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1833272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.2685
system time used= 1.18425
maximum resident set size= 1832828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31196
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2560
involuntary context switches= 277


# summary of solver processes directly reported to runsolver:
#   pid: 8417
#   total CPU time (s): 18.4527
#   total CPU user time (s): 17.2685
#   total CPU system time (s): 1.18425

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.084128 second user time and 0.10516 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-20 14:52:11
IDJOB=4403348
IDBENCH=119345
IDSOLVER=2863
FILE ID=node104/4403348-1568988152
RUNJOBID= node104-1568983762-7721
PBS_JOBID= 21704640
Free space on /tmp= 9556 MiB

SOLVER NAME= choco-solver 2019-09-20
BENCH NAME= XCSP17/MaxCSP/MaxCSP-maxclique-s1/MaxCSP-brock-800-2.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4403348-1568988152/watcher-4403348-1568988152 -o /tmp/evaluation-result-4403348-1568988152/solver-4403348-1568988152 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568983762-7721 --watchdog 2580  xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 186491106 HOME/instance-4403348-1568988152.xml

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

MD5SUM BENCH= d3fd8a9b2a45f8a480e4f2dd6498e338
RANDOM SEED=186491106

node104.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	: 5334.09
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	: 5334.09
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	: 5334.09
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	: 5334.09
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:         5902288 kB
MemAvailable:   31572268 kB
Buffers:          131112 kB
Cached:         25445436 kB
SwapCached:        22656 kB
Active:         13033384 kB
Inactive:       12828924 kB
Active(anon):     263108 kB
Inactive(anon):    71700 kB
Active(file):   12770276 kB
Inactive(file): 12757224 kB
Unevictable:      109712 kB
Mlocked:          109712 kB
SwapTotal:      67108860 kB
SwapFree:       66986244 kB
Dirty:             29872 kB
Writeback:             0 kB
AnonPages:        369836 kB
Mapped:            65352 kB
Shmem:             40708 kB
Slab:             600068 kB
SReclaimable:     570940 kB
SUnreclaim:        29128 kB
KernelStack:        3920 kB
PageTables:         6728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1389784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    303104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 9532 MiB
End job on node104 at 2019-09-20 14:52:18