Trace number 4406800

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-24 parallelSAT 1429.33 208.162

General information on the benchmark

NameQRandom/QRandom-mdd-7-25-5/
mdd-7-25-5-56-09.xml
MD5SUMe7714f1bdc5f54a36db8d66dbea9ce0a
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 benchmark120.316
Satisfiable
(Un)Satisfiability was proved
Number of variables25
Number of constraints56
Number of domains1
Minimum domain size5
Maximum domain size5
Distribution of domain sizes[{"size":5,"count":25}]
Minimum variable degree8
Maximum variable degree25
Distribution of variable degrees[{"degree":8,"count":1},{"degree":9,"count":2},{"degree":12,"count":2},{"degree":13,"count":2},{"degree":14,"count":2},{"degree":15,"count":5},{"degree":16,"count":2},{"degree":17,"count":2},{"degree":18,"count":1},{"degree":19,"count":3},{"degree":22,"count":1},{"degree":25,"count":2}]
Minimum constraint arity7
Maximum constraint arity7
Distribution of constraint arities[{"arity":7,"count":56}]
Number of extensional constraints56
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":56}]
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-4406800-1569348037.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4406800-1569348037.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
81.91/39.15	c solve instance...
1429.25/208.11	s SATISFIABLE
1429.25/208.11	v <instantiation>
1429.25/208.11	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] x[24] </list>
1429.25/208.11	v 	<values>4 0 0 2 0 4 0 3 0 3 3 4 0 1 1 4 0 1 0 4 1 4 4 1 3 </values>
1429.25/208.11	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 (12253 MiB free)
  memory of node 1: 16384 MiB (12557 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406800-1569348037/watcher-4406800-1569348037 -o /tmp/evaluation-result-4406800-1569348037/solver-4406800-1569348037 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569347859-30352 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1017574808 HOME/instance-4406800-1569348037.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
solver pid=30660, runsolver pid=30657
Current StackSize limit: 8192 KiB


[startup+0.100134 s]*
/proc/loadavg: 4.56 6.59 7.48 2/211 30681
/proc/meminfo: memFree=25389480/32770624 swapFree=66975640/67108860
[pid=30660] ppid=30657 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30660/stat : 30660 (xcsp3-exec) S 30657 30660 30325 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511070552 115843072 363 33554432000 4194304 5098028 140732231328400 140732231326504 140553851568764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15114240 140732231332725 140732231332969 140732231332969 140732231335882 0
/proc/30660/statm: 28282 363 304 221 0 87 0
[pid=30662] ppid=30660 vsize=28227396 memory=29660 CPUtime=0.12 cores=0-7
/proc/30662/stat : 30662 (java) S 30660 30660 30325 0 -1 1077944320 5897 0 0 0 11 1 0 0 20 0 20 0 511070552 28904853504 7415 33554432000 4194304 4196468 140736333300192 140736333282736 140276302421751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
/proc/30662/statm: 7056849 7415 3125 1 0 7019032 0
[pid=30662/tid=30663] ppid=30660 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/30662/task/30663/stat : 30663 (java) R 30660 30660 30325 0 -1 4202560 3842 0 0 0 8 1 0 0 20 0 20 0 511070552 28904853504 7415 33554432000 4194304 4196468 140736333300192 140276306654000 140275930507107 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30664] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30664/stat : 30664 (java) S 30660 30660 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 7415 33554432000 4194304 4196468 140736333300192 140276255041936 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30665] ppid=30660 vsize=28227396 memory=139980023850624 CPUtime=0 cores=0-7
/proc/30662/task/30665/stat : 30665 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 7415 33554432000 4194304 4196468 140736333300192 140276253989136 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30666] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30666/stat : 30666 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 7415 33554432000 4194304 4196468 140736333300192 140276252936848 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30667] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30667/stat : 30667 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 7415 33554432000 4194304 4196468 140736333300192 140276251884048 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30668] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30668/stat : 30668 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 7415 33554432000 4194304 4196468 140736333300192 140276250831760 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30669] ppid=30660 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30662/task/30669/stat : 30669 (java) S 30660 30660 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275848436496 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30670] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30670/stat : 30670 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275847384208 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30671] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30671/stat : 30671 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275846331408 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30672] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30672/stat : 30672 (java) S 30660 30660 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511070555 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275284580464 140276302432898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30673] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30673/stat : 30673 (java) S 30660 30660 30325 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511070555 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275283526432 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30674] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30674/stat : 30674 (java) S 30660 30660 30325 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511070555 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275282474096 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30675] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30675/stat : 30675 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070558 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275281422416 140276302440347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30676] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30676/stat : 30676 (java) S 30660 30660 30325 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 511070558 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275280370288 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30677] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30677/stat : 30677 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511070558 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275279317488 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30678] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30678/stat : 30678 (java) S 30660 30660 30325 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 511070558 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275278265200 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30679] ppid=30660 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30662/task/30679/stat : 30679 (java) R 30660 30660 30325 0 -1 4202560 316 0 0 0 1 0 0 0 20 0 20 0 511070558 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275277212400 140276281440542 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30680] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30680/stat : 30680 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511070558 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275276159328 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30681] ppid=30660 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30662/task/30681/stat : 30681 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070558 28904853504 7415 33554432000 4194304 4196468 140736333300192 140275275106608 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31112 KiB

[startup+0.210599 s]*
/proc/loadavg: 4.56 6.59 7.48 2/211 30681
/proc/meminfo: memFree=25376360/32770624 swapFree=66975640/67108860
[pid=30660] ppid=30657 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30660/stat : 30660 (xcsp3-exec) S 30657 30660 30325 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511070552 115843072 363 33554432000 4194304 5098028 140732231328400 140732231326504 140553851568764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15114240 140732231332725 140732231332969 140732231332969 140732231335882 0
/proc/30660/statm: 28282 363 304 221 0 87 0
[pid=30662] ppid=30660 vsize=28227396 memory=41364 CPUtime=0.34 cores=0-7
/proc/30662/stat : 30662 (java) S 30660 30660 30325 0 -1 1077944320 9519 0 0 0 30 4 0 0 20 0 20 0 511070552 28904853504 10341 33554432000 4194304 4196468 140736333300192 140736333282736 140276302421751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
/proc/30662/statm: 7056849 10341 3308 1 0 7019032 0
[pid=30662/tid=30663] ppid=30660 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30662/task/30663/stat : 30663 (java) R 30660 30660 30325 0 -1 4202560 6673 0 0 0 17 2 0 0 20 0 20 0 511070552 28904853504 10341 33554432000 4194304 4196468 140736333300192 140276306651184 140276302433686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30664] ppid=30660 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/30662/task/30664/stat : 30664 (java) S 30660 30660 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 10341 33554432000 4194304 4196468 140736333300192 140276255041936 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30665] ppid=30660 vsize=28227396 memory=3906786385844823712 CPUtime=0 cores=0-7
/proc/30662/task/30665/stat : 30665 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 10341 33554432000 4194304 4196468 140736333300192 140276253989136 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30666] ppid=30660 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30662/task/30666/stat : 30666 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 10341 33554432000 4194304 4196468 140736333300192 140276252936848 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30667] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30667/stat : 30667 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 10341 33554432000 4194304 4196468 140736333300192 140276251884048 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30668] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30668/stat : 30668 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 10341 33554432000 4194304 4196468 140736333300192 140276250831760 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30669] ppid=30660 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30662/task/30669/stat : 30669 (java) S 30660 30660 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275848436496 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30670] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30670/stat : 30670 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275847384208 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30671] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30671/stat : 30671 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275846331408 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30672] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30672/stat : 30672 (java) S 30660 30660 30325 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511070555 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275284580464 140276302432898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30673] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30673/stat : 30673 (java) S 30660 30660 30325 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511070555 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275283526432 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30674] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30674/stat : 30674 (java) S 30660 30660 30325 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511070555 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275282474096 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30675] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30675/stat : 30675 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070558 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275281422416 140276302440347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30676] ppid=30660 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30662/task/30676/stat : 30676 (java) S 30660 30660 30325 0 -1 1077944384 409 0 0 0 1 0 0 0 20 0 20 0 511070558 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275280370288 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30677] ppid=30660 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/30662/task/30677/stat : 30677 (java) S 30660 30660 30325 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 20 0 511070558 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275279317488 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30678] ppid=30660 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/30662/task/30678/stat : 30678 (java) S 30660 30660 30325 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 20 0 511070558 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275278265200 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30679] ppid=30660 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/30662/task/30679/stat : 30679 (java) R 30660 30660 30325 0 -1 4202560 739 0 0 0 7 0 0 0 20 0 20 0 511070558 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275277212400 140276302443098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30680] ppid=30660 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30680/stat : 30680 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511070558 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275276159328 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30681] ppid=30660 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30662/task/30681/stat : 30681 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070558 28904853504 10341 33554432000 4194304 4196468 140736333300192 140275275106608 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42816 KiB

[startup+0.31047 s]*
/proc/loadavg: 4.56 6.59 7.48 6/211 30681
/proc/meminfo: memFree=25369168/32770624 swapFree=66975640/67108860
[pid=30660] ppid=30657 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30660/stat : 30660 (xcsp3-exec) S 30657 30660 30325 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511070552 115843072 363 33554432000 4194304 5098028 140732231328400 140732231326504 140553851568764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15114240 140732231332725 140732231332969 140732231332969 140732231335882 0
/proc/30660/statm: 28282 363 304 221 0 87 0
[pid=30662] ppid=30660 vsize=28231652 memory=49952 CPUtime=0.52 cores=0-7
/proc/30662/stat : 30662 (java) S 30660 30660 30325 0 -1 1077944320 10886 0 0 0 48 4 0 0 20 0 20 0 511070552 28909211648 12488 33554432000 4194304 4196468 140736333300192 140736333282736 140276302421751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
/proc/30662/statm: 7057913 12488 3343 1 0 7019032 0
[pid=30662/tid=30663] ppid=30660 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/30662/task/30663/stat : 30663 (java) R 30660 30660 30325 0 -1 4202560 7788 0 0 0 26 3 0 0 20 0 20 0 511070552 28909211648 12520 33554432000 4194304 4196468 140736333300192 140276306652864 140276302443677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30664] ppid=30660 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30664/stat : 30664 (java) S 30660 30660 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511070553 28909211648 12520 33554432000 4194304 4196468 140736333300192 140276255041936 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30665] ppid=30660 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30665/stat : 30665 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28909211648 12520 33554432000 4194304 4196468 140736333300192 140276253989136 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30666] ppid=30660 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30666/stat : 30666 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28909211648 12520 33554432000 4194304 4196468 140736333300192 140276252936848 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30667] ppid=30660 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30667/stat : 30667 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511070553 28909211648 12520 33554432000 4194304 4196468 140736333300192 140276251884048 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30668] ppid=30660 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/30662/task/30668/stat : 30668 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28909211648 12520 33554432000 4194304 4196468 140736333300192 140276250831760 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30669] ppid=30660 vsize=28231652 memory=139979896484783 CPUtime=0 cores=0-7
/proc/30662/task/30669/stat : 30669 (java) S 30660 30660 30325 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511070553 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275848436496 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30670] ppid=30660 vsize=28231652 memory=139979896487088 CPUtime=0 cores=0-7
/proc/30662/task/30670/stat : 30670 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275847384208 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30671] ppid=30660 vsize=28231652 memory=139979896489392 CPUtime=0 cores=0-7
/proc/30662/task/30671/stat : 30671 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070553 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275846331408 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30672] ppid=30660 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30672/stat : 30672 (java) S 30660 30660 30325 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511070555 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275284580464 140276302432898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30673] ppid=30660 vsize=28231652 memory=279959792985744 CPUtime=0 cores=0-7
/proc/30662/task/30673/stat : 30673 (java) S 30660 30660 30325 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511070555 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275283526432 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30674] ppid=30660 vsize=28231652 memory=279959792992656 CPUtime=0 cores=0-7
/proc/30662/task/30674/stat : 30674 (java) S 30660 30660 30325 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511070555 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275282474096 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30675] ppid=30660 vsize=28231652 memory=279959792933936 CPUtime=0 cores=0-7
/proc/30662/task/30675/stat : 30675 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070558 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275281422416 140276302440347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30676] ppid=30660 vsize=28231652 memory=279959793006480 CPUtime=0.03 cores=0-7
/proc/30662/task/30676/stat : 30676 (java) R 30660 30660 30325 0 -1 4202560 520 0 0 0 3 0 0 0 20 0 20 0 511070558 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275280361744 140276283967265 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30677] ppid=30660 vsize=28231652 memory=279959793013392 CPUtime=0.03 cores=0-7
/proc/30662/task/30677/stat : 30677 (java) S 30660 30660 30325 0 -1 1077944384 122 0 0 0 3 0 0 0 20 0 20 0 511070558 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275279317488 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30678] ppid=30660 vsize=28231652 memory=279959793011088 CPUtime=0.02 cores=0-7
/proc/30662/task/30678/stat : 30678 (java) S 30660 30660 30325 0 -1 1077944384 306 0 0 0 2 0 0 0 20 0 20 0 511070558 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275278265200 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30679] ppid=30660 vsize=28231652 memory=279959793027248 CPUtime=0.12 cores=0-7
/proc/30662/task/30679/stat : 30679 (java) S 30660 30660 30325 0 -1 1077944384 841 0 0 0 12 0 0 0 20 0 20 0 511070558 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275277212400 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30680] ppid=30660 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30680/stat : 30680 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511070558 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275276159328 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30681] ppid=30660 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/30662/task/30681/stat : 30681 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511070558 28909211648 12520 33554432000 4194304 4196468 140736333300192 140275275106608 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51404 KiB

[startup+0.700992 s]
/proc/loadavg: 4.56 6.59 7.48 6/211 30681
/proc/meminfo: memFree=25291100/32770624 swapFree=66975640/67108860
[pid=30660] ppid=30657 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30660/stat : 30660 (xcsp3-exec) S 30657 30660 30325 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511070552 115843072 363 33554432000 4194304 5098028 140732231328400 140732231326504 140553851568764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15114240 140732231332725 140732231332969 140732231332969 140732231335882 0
/proc/30660/statm: 28282 363 304 221 0 87 0
[pid=30662] ppid=30660 vsize=28233776 memory=255916 CPUtime=1.79 cores=0-7
/proc/30662/stat : 30662 (java) S 30660 30660 30325 0 -1 1077944320 14543 0 0 0 159 20 0 0 20 0 20 0 511070552 28911386624 63979 33554432000 4194304 4196468 140736333300192 140736333282736 140276302421751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
/proc/30662/statm: 7058444 63979 3457 1 0 7019544 0
[pid=30662/tid=30663] ppid=30660 vsize=28233776 memory=279959793385136 CPUtime=0.64 cores=0-7
/proc/30662/task/30663/stat : 30663 (java) R 30660 30660 30325 0 -1 4202560 8317 0 0 0 59 5 0 0 20 0 20 0 511070552 28911386624 63979 33554432000 4194304 4196468 140736333300192 140276306658032 140275933719294 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30664] ppid=30660 vsize=28233776 memory=139979896693616 CPUtime=0.02 cores=0-7
/proc/30662/task/30664/stat : 30664 (java) S 30660 30660 30325 0 -1 1077944384 43 0 0 0 0 2 0 0 20 0 20 0 511070553 28911386624 63979 33554432000 4194304 4196468 140736333300192 140276255041936 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30665] ppid=30660 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30665/stat : 30665 (java) S 30660 30660 30325 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 511070553 28911386624 63979 33554432000 4194304 4196468 140736333300192 140276253989136 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30666] ppid=30660 vsize=28233776 memory=2832 CPUtime=0.02 cores=0-7
/proc/30662/task/30666/stat : 30666 (java) S 30660 30660 30325 0 -1 1077944384 38 0 0 0 0 2 0 0 20 0 20 0 511070553 28911386624 63979 33554432000 4194304 4196468 140736333300192 140276252936848 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0

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

[pid=30662/tid=30679] ppid=30660 vsize=28766288 memory=6791534058613427641 CPUtime=0.69 cores=0-7
/proc/30662/task/30679/stat : 30679 (java) S 30660 30660 30325 0 -1 1077944384 8888 0 0 0 67 2 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275277212400 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30680] ppid=30660 vsize=28766288 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/30662/task/30680/stat : 30680 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275276159328 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30681] ppid=30660 vsize=28766288 memory=0 CPUtime=0.07 cores=0-7
/proc/30662/task/30681/stat : 30681 (java) S 30660 30660 30325 0 -1 1077944384 1693 0 0 0 3 4 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275275106608 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30692] ppid=30660 vsize=28766288 memory=0 CPUtime=167.41 cores=0-7
/proc/30662/task/30692/stat : 30692 (java) R 30660 30660 30325 0 -1 4202560 1841 0 0 0 16737 4 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275265887176 140275936688060 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30693] ppid=30660 vsize=28766288 memory=290827423556305186 CPUtime=167.76 cores=0-7
/proc/30662/task/30693/stat : 30693 (java) R 30660 30660 30325 0 -1 4202560 1643 0 0 0 16772 4 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275264835264 140275936631071 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30694] ppid=30660 vsize=28766288 memory=1452 CPUtime=166.69 cores=0-7
/proc/30662/task/30694/stat : 30694 (java) R 30660 30660 30325 0 -1 4202560 5636 0 0 0 16647 22 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275263787672 140275936686729 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30695] ppid=30660 vsize=28766288 memory=7034436 CPUtime=167.36 cores=0-7
/proc/30662/task/30695/stat : 30695 (java) R 30660 30660 30325 0 -1 4202560 2122 0 0 0 16726 10 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275262734872 140275936685766 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30696] ppid=30660 vsize=28766288 memory=6791534058613427641 CPUtime=167.62 cores=0-7
/proc/30662/task/30696/stat : 30696 (java) R 30660 30660 30325 0 -1 4202560 2458 0 0 0 16754 8 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275261682584 140275936688072 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30697] ppid=30660 vsize=28766288 memory=12040 CPUtime=166.61 cores=0-7
/proc/30662/task/30697/stat : 30697 (java) R 30660 30660 30325 0 -1 4202560 2752 0 0 0 16646 15 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275260627752 140275936686697 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30698] ppid=30660 vsize=28766288 memory=33528 CPUtime=166 cores=0-7
/proc/30662/task/30698/stat : 30698 (java) R 30660 30660 30325 0 -1 4202560 1126 0 0 0 16597 3 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275259576472 140275936685272 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30699] ppid=30660 vsize=28766288 memory=2120 CPUtime=167.71 cores=0-7
/proc/30662/task/30699/stat : 30699 (java) R 30660 30660 30325 0 -1 4202560 3261 0 0 0 16768 3 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275258519544 140275936631325 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
Current children cumulated CPU time: 1425.19 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 8092428 KiB

[startup+208.002 s]*
/proc/loadavg: 7.87 6.92 7.39 9/222 30734
/proc/meminfo: memFree=17313472/32770624 swapFree=66975644/67108860
[pid=30660] ppid=30657 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30660/stat : 30660 (xcsp3-exec) S 30657 30660 30325 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511070552 115843072 363 33554432000 4194304 5098028 140732231328400 140732231326504 140553851568764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15114240 140732231332725 140732231332969 140732231332969 140732231335882 0
/proc/30660/statm: 28282 363 304 221 0 87 0
[pid=30662] ppid=30660 vsize=28766288 memory=8090976 CPUtime=1428.45 cores=0-7
/proc/30662/stat : 30662 (java) S 30660 30660 30325 0 -1 1077944320 151633 0 0 0 141371 1474 0 0 20 0 28 0 511070552 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140736333282736 140276302421751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
/proc/30662/statm: 7191572 2022744 3526 1 0 7152672 0
[pid=30662/tid=30663] ppid=30660 vsize=28766288 memory=6791534058613427641 CPUtime=31.54 cores=0-7
/proc/30662/task/30663/stat : 30663 (java) S 30660 30660 30325 0 -1 1077944384 26387 0 0 0 3080 74 0 0 20 0 28 0 511070552 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276306662528 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30664] ppid=30660 vsize=28766288 memory=4126316290023845779 CPUtime=6.14 cores=0-7
/proc/30662/task/30664/stat : 30664 (java) S 30660 30660 30325 0 -1 1077944384 6823 0 0 0 448 166 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276255041936 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30665] ppid=30660 vsize=28766288 memory=2004 CPUtime=6.19 cores=0-7
/proc/30662/task/30665/stat : 30665 (java) S 30660 30660 30325 0 -1 1077944384 6876 0 0 0 464 155 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276253989136 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30666] ppid=30660 vsize=28766288 memory=1376 CPUtime=6.11 cores=0-7
/proc/30662/task/30666/stat : 30666 (java) S 30660 30660 30325 0 -1 1077944384 6095 0 0 0 442 169 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276252936848 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30667] ppid=30660 vsize=28766288 memory=1060 CPUtime=6.19 cores=0-7
/proc/30662/task/30667/stat : 30667 (java) S 30660 30660 30325 0 -1 1077944384 6784 0 0 0 460 159 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276251884048 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30668] ppid=30660 vsize=28766288 memory=1452 CPUtime=6.2 cores=0-7
/proc/30662/task/30668/stat : 30668 (java) S 30660 30660 30325 0 -1 1077944384 6047 0 0 0 458 162 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276250831760 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30669] ppid=30660 vsize=28766288 memory=8090976 CPUtime=6.22 cores=0-7
/proc/30662/task/30669/stat : 30669 (java) S 30660 30660 30325 0 -1 1077944384 6018 0 0 0 450 172 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275848436496 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30670] ppid=30660 vsize=28766288 memory=8090976 CPUtime=6.23 cores=0-7
/proc/30662/task/30670/stat : 30670 (java) S 30660 30660 30325 0 -1 1077944384 4953 0 0 0 457 166 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275847384208 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30671] ppid=30660 vsize=28766288 memory=139979896587055 CPUtime=6.24 cores=0-7
/proc/30662/task/30671/stat : 30671 (java) S 30660 30660 30325 0 -1 1077944384 10665 0 0 0 464 160 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275846331408 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30672] ppid=30660 vsize=28766288 memory=7234303152781525078 CPUtime=1.67 cores=0-7
/proc/30662/task/30672/stat : 30672 (java) S 30660 30660 30325 0 -1 1077944384 9089 0 0 0 164 3 0 0 20 0 28 0 511070555 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275284580464 140276302432898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30673] ppid=30660 vsize=28766288 memory=288293255379157923 CPUtime=0 cores=0-7
/proc/30662/task/30673/stat : 30673 (java) S 30660 30660 30325 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 511070555 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275283526496 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30674] ppid=30660 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30674/stat : 30674 (java) S 30660 30660 30325 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 28 0 511070555 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275282474112 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30675] ppid=30660 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30675/stat : 30675 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275281422416 140276302440347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30676] ppid=30660 vsize=28766288 memory=0 CPUtime=1.28 cores=0-7
/proc/30662/task/30676/stat : 30676 (java) S 30660 30660 30325 0 -1 1077944384 8691 0 0 0 126 2 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275280370288 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30677] ppid=30660 vsize=28766288 memory=0 CPUtime=1.66 cores=0-7
/proc/30662/task/30677/stat : 30677 (java) S 30660 30660 30325 0 -1 1077944384 12214 0 0 0 164 2 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275279317488 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30678] ppid=30660 vsize=28766288 memory=0 CPUtime=1.36 cores=0-7
/proc/30662/task/30678/stat : 30678 (java) S 30660 30660 30325 0 -1 1077944384 8151 0 0 0 134 2 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275278265200 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30679] ppid=30660 vsize=28766288 memory=6791534058613427641 CPUtime=0.69 cores=0-7
/proc/30662/task/30679/stat : 30679 (java) S 30660 30660 30325 0 -1 1077944384 8888 0 0 0 67 2 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275277212400 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30680] ppid=30660 vsize=28766288 memory=928 CPUtime=0 cores=0-7
/proc/30662/task/30680/stat : 30680 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275276159328 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30681] ppid=30660 vsize=28766288 memory=1640 CPUtime=0.07 cores=0-7
/proc/30662/task/30681/stat : 30681 (java) S 30660 30660 30325 0 -1 1077944384 1693 0 0 0 3 4 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275275106608 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30692] ppid=30660 vsize=28766288 memory=1980 CPUtime=167.82 cores=0-7
/proc/30662/task/30692/stat : 30692 (java) R 30660 30660 30325 0 -1 4202560 1841 0 0 0 16778 4 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275265887176 140275936686734 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30693] ppid=30660 vsize=28766288 memory=2572 CPUtime=168.17 cores=0-7
/proc/30662/task/30693/stat : 30693 (java) R 30660 30660 30325 0 -1 4202560 1643 0 0 0 16813 4 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275264835264 140275936687910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30694] ppid=30660 vsize=28766288 memory=884 CPUtime=167.1 cores=0-7
/proc/30662/task/30694/stat : 30694 (java) R 30660 30660 30325 0 -1 4202560 5636 0 0 0 16688 22 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275263787672 140275936307035 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30695] ppid=30660 vsize=28766288 memory=1432 CPUtime=167.77 cores=0-7
/proc/30662/task/30695/stat : 30695 (java) R 30660 30660 30325 0 -1 4202560 2122 0 0 0 16767 10 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275262734872 140275936528074 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30696] ppid=30660 vsize=28766288 memory=1764 CPUtime=168.03 cores=0-7
/proc/30662/task/30696/stat : 30696 (java) R 30660 30660 30325 0 -1 4202560 2458 0 0 0 16795 8 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275261682584 140275936687910 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30697] ppid=30660 vsize=28766288 memory=111632 CPUtime=167.02 cores=0-7
/proc/30662/task/30697/stat : 30697 (java) R 30660 30660 30325 0 -1 4202560 2752 0 0 0 16687 15 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275260627752 140275936686678 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30698] ppid=30660 vsize=28766288 memory=804 CPUtime=166.4 cores=0-7
/proc/30662/task/30698/stat : 30698 (java) R 30660 30660 30325 0 -1 4202560 1126 0 0 0 16637 3 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275259576472 140275936747724 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30699] ppid=30660 vsize=28766288 memory=6791534058613427641 CPUtime=168.12 cores=0-7
/proc/30662/task/30699/stat : 30699 (java) R 30660 30660 30325 0 -1 4202560 3261 0 0 0 16809 3 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275258519544 140275936333953 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
Current children cumulated CPU time: 1428.45 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 8092428 KiB

[startup+208.112 s]
/proc/loadavg: 7.87 6.92 7.39 9/222 30734
/proc/meminfo: memFree=17313472/32770624 swapFree=66975644/67108860
[pid=30660] ppid=30657 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/30660/stat : 30660 (xcsp3-exec) S 30657 30660 30325 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511070552 115843072 363 33554432000 4194304 5098028 140732231328400 140732231326504 140553851568764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15114240 140732231332725 140732231332969 140732231332969 140732231335882 0
/proc/30660/statm: 28282 363 304 221 0 87 0
[pid=30662] ppid=30660 vsize=28766288 memory=8090976 CPUtime=1429.25 cores=0-7
/proc/30662/stat : 30662 (java) S 30660 30660 30325 0 -1 1077944320 151633 0 0 0 141451 1474 0 0 20 0 28 0 511070552 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140736333282736 140276302421751 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
/proc/30662/statm: 7191572 2022744 3526 1 0 7152672 0
[pid=30662/tid=30663] ppid=30660 vsize=28766288 memory=1452 CPUtime=31.54 cores=0-7
/proc/30662/task/30663/stat : 30663 (java) S 30660 30660 30325 0 -1 1077944384 26387 0 0 0 3080 74 0 0 20 0 28 0 511070552 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276306662528 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30664] ppid=30660 vsize=28766288 memory=8090976 CPUtime=6.14 cores=0-7
/proc/30662/task/30664/stat : 30664 (java) S 30660 30660 30325 0 -1 1077944384 6823 0 0 0 448 166 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276255041936 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30665] ppid=30660 vsize=28766288 memory=8090976 CPUtime=6.19 cores=0-7
/proc/30662/task/30665/stat : 30665 (java) S 30660 30660 30325 0 -1 1077944384 6876 0 0 0 464 155 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276253989136 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30666] ppid=30660 vsize=28766288 memory=1452 CPUtime=6.11 cores=0-7
/proc/30662/task/30666/stat : 30666 (java) S 30660 30660 30325 0 -1 1077944384 6095 0 0 0 442 169 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276252936848 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30667] ppid=30660 vsize=28766288 memory=11 CPUtime=6.19 cores=0-7
/proc/30662/task/30667/stat : 30667 (java) S 30660 30660 30325 0 -1 1077944384 6784 0 0 0 460 159 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276251884048 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30668] ppid=30660 vsize=28766288 memory=5233 CPUtime=6.2 cores=0-7
/proc/30662/task/30668/stat : 30668 (java) S 30660 30660 30325 0 -1 1077944384 6047 0 0 0 458 162 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140276250831760 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30669] ppid=30660 vsize=28766288 memory=8090976 CPUtime=6.22 cores=0-7
/proc/30662/task/30669/stat : 30669 (java) S 30660 30660 30325 0 -1 1077944384 6018 0 0 0 450 172 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275848436496 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30670] ppid=30660 vsize=28766288 memory=716 CPUtime=6.23 cores=0-7
/proc/30662/task/30670/stat : 30670 (java) S 30660 30660 30325 0 -1 1077944384 4953 0 0 0 457 166 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275847384208 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30671] ppid=30660 vsize=28766288 memory=0 CPUtime=6.24 cores=0-7
/proc/30662/task/30671/stat : 30671 (java) S 30660 30660 30325 0 -1 1077944384 10665 0 0 0 464 160 0 0 20 0 28 0 511070553 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275846331408 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30672] ppid=30660 vsize=28766288 memory=0 CPUtime=1.67 cores=0-7
/proc/30662/task/30672/stat : 30672 (java) S 30660 30660 30325 0 -1 1077944384 9089 0 0 0 164 3 0 0 20 0 28 0 511070555 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275284580464 140276302432898 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30673] ppid=30660 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30673/stat : 30673 (java) S 30660 30660 30325 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 511070555 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275283526496 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30674] ppid=30660 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/30662/task/30674/stat : 30674 (java) S 30660 30660 30325 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 28 0 511070555 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275282474112 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30675] ppid=30660 vsize=28766288 memory=620 CPUtime=0 cores=0-7
/proc/30662/task/30675/stat : 30675 (java) S 30660 30660 30325 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275281422416 140276302440347 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30676] ppid=30660 vsize=28766288 memory=622 CPUtime=1.28 cores=0-7
/proc/30662/task/30676/stat : 30676 (java) S 30660 30660 30325 0 -1 1077944384 8691 0 0 0 126 2 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275280370288 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30677] ppid=30660 vsize=28766288 memory=1452 CPUtime=1.66 cores=0-7
/proc/30662/task/30677/stat : 30677 (java) S 30660 30660 30325 0 -1 1077944384 12214 0 0 0 164 2 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275279317488 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30678] ppid=30660 vsize=28766288 memory=3620 CPUtime=1.36 cores=0-7
/proc/30662/task/30678/stat : 30678 (java) S 30660 30660 30325 0 -1 1077944384 8151 0 0 0 134 2 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275278265200 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30679] ppid=30660 vsize=28766288 memory=16426 CPUtime=0.69 cores=0-7
/proc/30662/task/30679/stat : 30679 (java) S 30660 30660 30325 0 -1 1077944384 8888 0 0 0 67 2 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275277212400 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30680] ppid=30660 vsize=28766288 memory=16452 CPUtime=0 cores=0-7
/proc/30662/task/30680/stat : 30680 (java) S 30660 30660 30325 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275276159328 140276302431957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30681] ppid=30660 vsize=28766288 memory=8090972 CPUtime=0.07 cores=0-7
/proc/30662/task/30681/stat : 30681 (java) S 30660 30660 30325 0 -1 1077944384 1693 0 0 0 3 4 0 0 20 0 28 0 511070558 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275275106608 140276302432898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30692] ppid=30660 vsize=28766288 memory=804 CPUtime=167.92 cores=0-7
/proc/30662/task/30692/stat : 30692 (java) R 30660 30660 30325 0 -1 4202560 1841 0 0 0 16788 4 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275265887176 140275936631191 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30693] ppid=30660 vsize=28766288 memory=1724 CPUtime=168.27 cores=0-7
/proc/30662/task/30693/stat : 30693 (java) R 30660 30660 30325 0 -1 4202560 1643 0 0 0 16823 4 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275264835264 140275936687948 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30694] ppid=30660 vsize=28766288 memory=3620 CPUtime=167.2 cores=0-7
/proc/30662/task/30694/stat : 30694 (java) R 30660 30660 30325 0 -1 4202560 5636 0 0 0 16698 22 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275263787672 140275937629816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30695] ppid=30660 vsize=28766288 memory=63912 CPUtime=167.87 cores=0-7
/proc/30662/task/30695/stat : 30695 (java) R 30660 30660 30325 0 -1 4202560 2122 0 0 0 16777 10 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275262734872 140275936631271 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30696] ppid=30660 vsize=28766288 memory=984 CPUtime=168.13 cores=0-7
/proc/30662/task/30696/stat : 30696 (java) R 30660 30660 30325 0 -1 4202560 2458 0 0 0 16805 8 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275261682584 140275936686181 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30697] ppid=30660 vsize=28766288 memory=4126316290023845779 CPUtime=167.12 cores=0-7
/proc/30662/task/30697/stat : 30697 (java) R 30660 30660 30325 0 -1 4202560 2752 0 0 0 16697 15 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275260627752 140275936685267 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30698] ppid=30660 vsize=28766288 memory=8090976 CPUtime=166.49 cores=0-7
/proc/30662/task/30698/stat : 30698 (java) R 30660 30660 30325 0 -1 4202560 1126 0 0 0 16646 3 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275259576472 140275936803236 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
[pid=30662/tid=30699] ppid=30660 vsize=28766288 memory=3636 CPUtime=168.22 cores=0-7
/proc/30662/task/30699/stat : 30699 (java) R 30660 30660 30325 0 -1 4202560 3261 0 0 0 16819 3 0 0 20 0 28 0 511074469 29456678912 2022744 33554432000 4194304 4196468 140736333300192 140275258519544 140275936308224 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 23285760 140736333308906 140736333309078 140736333309078 140736333311951 0
Current children cumulated CPU time: 1429.25 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 8092428 KiB

Child status: 0
Real time (s): 208.162
CPU time (s): 1429.33
CPU user time (s): 1414.54
CPU system time (s): 14.7895
CPU usage (%): 686.643
Max. virtual memory (cumulated for all children) (KiB): 28881244
Max. memory (cumulated for all children) (KiB): 8092428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1414.54
system time used= 14.7895
maximum resident set size= 8091112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154105
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11798
involuntary context switches= 16687


# summary of solver processes directly reported to runsolver:
#   pid: 30660
#   total CPU time (s): 1429.33
#   total CPU user time (s): 1414.54
#   total CPU system time (s): 14.7895

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.92504 second user time and 2.21241 second system time

The end

Launcher Data

Begin job on node125 at 2019-09-24 19:59:55
IDJOB=4406800
IDBENCH=126097
IDSOLVER=2871
FILE ID=node125/4406800-1569348037
RUNJOBID= node125-1569347859-30352
PBS_JOBID= 21705077
Free space on /tmp= 4224 MiB

SOLVER NAME= choco-solver 2019-09-24 parallel
BENCH NAME= XCSP17/QRandom/QRandom-mdd-7-25-5/mdd-7-25-5-56-09.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-4406800-1569348037/watcher-4406800-1569348037 -o /tmp/evaluation-result-4406800-1569348037/solver-4406800-1569348037 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569347859-30352 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1017574808 HOME/instance-4406800-1569348037.xml

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

MD5SUM BENCH= e7714f1bdc5f54a36db8d66dbea9ce0a
RANDOM SEED=1017574808

node125.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.29
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.29
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.29
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.29
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:        25405440 kB
MemAvailable:   31814864 kB
Buffers:          121628 kB
Cached:          6349108 kB
SwapCached:        29856 kB
Active:          3237524 kB
Inactive:        3267556 kB
Active(anon):       4152 kB
Inactive(anon):    85896 kB
Active(file):    3233372 kB
Inactive(file):  3181660 kB
Unevictable:      107880 kB
Mlocked:          107880 kB
SwapTotal:      67108860 kB
SwapFree:       66975640 kB
Dirty:             59000 kB
Writeback:             0 kB
AnonPages:        114108 kB
Mapped:            56368 kB
Shmem:             47476 kB
Slab:             452520 kB
SReclaimable:     422852 kB
SUnreclaim:        29668 kB
KernelStack:        3440 kB
PageTables:         5484 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     513988 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:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 4196 MiB
End job on node125 at 2019-09-24 20:03:23