Trace number 4271122

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 4.0.5 par (2017-08-09)UNSAT 251.284 77.533096

General information on the benchmark

NameQRandom/
QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-16.xml
MD5SUM2a6706ebf1a04474da396dd8277f6c47
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 benchmark24.489901
Satisfiable
(Un)Satisfiability was proved
Number of variables21
Number of constraints2713
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":21}]
Minimum variable degree1854
Maximum variable degree1979
Distribution of variable degrees[{"degree":1854,"count":1},{"degree":1899,"count":1},{"degree":1906,"count":1},{"degree":1917,"count":1},{"degree":1920,"count":1},{"degree":1924,"count":2},{"degree":1928,"count":1},{"degree":1938,"count":1},{"degree":1941,"count":1},{"degree":1943,"count":1},{"degree":1945,"count":1},{"degree":1948,"count":1},{"degree":1950,"count":1},{"degree":1955,"count":1},{"degree":1961,"count":2},{"degree":1962,"count":2},{"degree":1978,"count":1},{"degree":1979,"count":1}]
Minimum constraint arity15
Maximum constraint arity15
Distribution of constraint arities[{"arity":15,"count":2713}]
Number of extensional constraints2713
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":2713}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271122-1502718089.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271122-1502718089.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
76.48/54.61	c solve instance...
251.22/77.51	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 (15213 MiB free)
  memory of node 1: 16384 MiB (15542 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271122-1502718089/watcher-4271122-1502718089 -o /tmp/evaluation-result-4271122-1502718089/solver-4271122-1502718089 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502709332-9751 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2099641945 HOME/instance-4271122-1502718089.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=13142, runsolver pid=13139
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 7.53 6.34 7.20 3/199 13163
/proc/meminfo: memFree=31479544/32770624 swapFree=67108860/67108860
[pid=13142] ppid=13139 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13142/stat : 13142 (xcsp3-exec) S 13139 13142 9724 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104896531 9740288 346 33554432000 4194304 5098028 140726396060160 140726396058264 139910288896636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28975104 140726396064868 140726396065079 140726396065079 140726396067819 0
/proc/13142/statm: 2378 346 289 221 0 87 0
[pid=13144] ppid=13142 vsize=25999808 memory=26368 CPUtime=0.12 cores=0-7
/proc/13144/stat : 13144 (java) S 13142 13142 9724 0 -1 1077944320 5486 0 0 0 11 1 0 0 20 0 20 0 104896531 26623803392 6592 33554432000 4194304 4196468 140726168902576 140726168885120 139976882994935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
/proc/13144/statm: 6499952 6592 2847 1 0 6488269 0
[pid=13144/tid=13145] ppid=13142 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/13144/task/13145/stat : 13145 (java) R 13142 13142 9724 0 -1 4202560 3489 0 0 0 9 0 0 0 20 0 20 0 104896531 26623803392 6592 33554432000 4194304 4196468 140726168902576 139976887226592 139976883006870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13146] ppid=13142 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13144/task/13146/stat : 13146 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896532 26623803392 6592 33554432000 4194304 4196468 140726168902576 139976835615888 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13147] ppid=13142 vsize=25999808 memory=140174337582720 CPUtime=0 cores=0-7
/proc/13144/task/13147/stat : 13147 (java) S 13142 13142 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104896532 26623803392 6592 33554432000 4194304 4196468 140726168902576 139976834563088 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13148] ppid=13142 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13148/stat : 13148 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896532 26623803392 6592 33554432000 4194304 4196468 140726168902576 139976833510288 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13149] ppid=13142 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13149/stat : 13149 (java) S 13142 13142 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104896532 26623803392 6592 33554432000 4194304 4196468 140726168902576 139976832457488 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13150] ppid=13142 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13150/stat : 13150 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896532 26623803392 6592 33554432000 4194304 4196468 140726168902576 139976831404688 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13151] ppid=13142 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13144/task/13151/stat : 13151 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896532 26623803392 6592 33554432000 4194304 4196468 140726168902576 139976830351888 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13152] ppid=13142 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13152/stat : 13152 (java) S 13142 13142 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104896532 26623803392 6592 33554432000 4194304 4196468 140726168902576 139976829299088 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13153] ppid=13142 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13153/stat : 13153 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896532 26623803392 6592 33554432000 4194304 4196468 140726168902576 139976828246288 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13154] ppid=13142 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13154/stat : 13154 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896533 26623803392 6592 33554432000 4194304 4196468 140726168902576 139975670131568 139976883006082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13155] ppid=13142 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13155/stat : 13155 (java) S 13142 13142 9724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104896534 26623803392 6592 33554432000 4194304 4196468 140726168902576 139975332980256 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13156] ppid=13142 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13156/stat : 13156 (java) S 13142 13142 9724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104896534 26623803392 6592 33554432000 4194304 4196468 140726168902576 139975331927408 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13157] ppid=13142 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13157/stat : 13157 (java) S 13142 13142 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104896536 26623803392 6592 33554432000 4194304 4196468 140726168902576 139975330875728 139976883013531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13158] ppid=13142 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13158/stat : 13158 (java) S 13142 13142 9724 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 104896536 26623803392 6592 33554432000 4194304 4196468 140726168902576 139975329823088 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13159] ppid=13142 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13159/stat : 13159 (java) S 13142 13142 9724 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 104896536 26623803392 6592 33554432000 4194304 4196468 140726168902576 139975328770288 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13160] ppid=13142 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13160/stat : 13160 (java) S 13142 13142 9724 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 104896536 26623803392 6592 33554432000 4194304 4196468 140726168902576 139975327717488 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13161] ppid=13142 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/13144/task/13161/stat : 13161 (java) R 13142 13142 9724 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 20 0 104896536 26623803392 6592 33554432000 4194304 4196468 140726168902576 139975326664688 139976867160540 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13162] ppid=13142 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13162/stat : 13162 (java) S 13142 13142 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104896537 26623803392 6592 33554432000 4194304 4196468 140726168902576 139975325613152 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13163] ppid=13142 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/13144/task/13163/stat : 13163 (java) S 13142 13142 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104896537 26623803392 6592 33554432000 4194304 4196468 140726168902576 139975324560432 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27752 KiB

[startup+0.210475 s]*
/proc/loadavg: 7.53 6.34 7.20 2/199 13163
/proc/meminfo: memFree=31467620/32770624 swapFree=67108860/67108860
[pid=13142] ppid=13139 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13142/stat : 13142 (xcsp3-exec) S 13139 13142 9724 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104896531 9740288 346 33554432000 4194304 5098028 140726396060160 140726396058264 139910288896636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28975104 140726396064868 140726396065079 140726396065079 140726396067819 0
/proc/13142/statm: 2378 346 289 221 0 87 0
[pid=13144] ppid=13142 vsize=26004064 memory=38564 CPUtime=0.33 cores=0-7
/proc/13144/stat : 13144 (java) S 13142 13142 9724 0 -1 1077944320 8323 0 0 0 30 3 0 0 20 0 20 0 104896531 26628161536 9641 33554432000 4194304 4196468 140726168902576 140726168885120 139976882994935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
/proc/13144/statm: 6501016 9641 2999 1 0 6488269 0
[pid=13144/tid=13145] ppid=13142 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/13144/task/13145/stat : 13145 (java) R 13142 13142 9724 0 -1 4202560 5399 0 0 0 18 1 0 0 20 0 20 0 104896531 26628161536 9641 33554432000 4194304 4196468 140726168902576 139976887215928 139976867075422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13146] ppid=13142 vsize=26004064 memory=328 CPUtime=0 cores=0-7
/proc/13144/task/13146/stat : 13146 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896532 26628161536 9641 33554432000 4194304 4196468 140726168902576 139976835615888 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13147] ppid=13142 vsize=26004064 memory=140174338039125 CPUtime=0 cores=0-7
/proc/13144/task/13147/stat : 13147 (java) S 13142 13142 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104896532 26628161536 9641 33554432000 4194304 4196468 140726168902576 139976834563088 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13148] ppid=13142 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13144/task/13148/stat : 13148 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896532 26628161536 9641 33554432000 4194304 4196468 140726168902576 139976833510288 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13149] ppid=13142 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13149/stat : 13149 (java) S 13142 13142 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104896532 26628161536 9641 33554432000 4194304 4196468 140726168902576 139976832457488 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13150] ppid=13142 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13150/stat : 13150 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896532 26628161536 9641 33554432000 4194304 4196468 140726168902576 139976831404688 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13151] ppid=13142 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13144/task/13151/stat : 13151 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896532 26628161536 9641 33554432000 4194304 4196468 140726168902576 139976830351888 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13152] ppid=13142 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13152/stat : 13152 (java) S 13142 13142 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104896532 26628161536 9641 33554432000 4194304 4196468 140726168902576 139976829299088 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13153] ppid=13142 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13153/stat : 13153 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896532 26628161536 9641 33554432000 4194304 4196468 140726168902576 139976828246288 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13154] ppid=13142 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13154/stat : 13154 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896533 26628161536 9641 33554432000 4194304 4196468 140726168902576 139975670131568 139976883006082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13155] ppid=13142 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13155/stat : 13155 (java) S 13142 13142 9724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104896534 26628161536 9641 33554432000 4194304 4196468 140726168902576 139975332980256 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13156] ppid=13142 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13156/stat : 13156 (java) S 13142 13142 9724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104896534 26628161536 9641 33554432000 4194304 4196468 140726168902576 139975331927408 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13157] ppid=13142 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13157/stat : 13157 (java) S 13142 13142 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104896536 26628161536 9641 33554432000 4194304 4196468 140726168902576 139975330875728 139976883013531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13158] ppid=13142 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/13144/task/13158/stat : 13158 (java) S 13142 13142 9724 0 -1 1077944384 528 0 0 0 1 0 0 0 20 0 20 0 104896536 26628161536 9641 33554432000 4194304 4196468 140726168902576 139975329823088 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13159] ppid=13142 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13159/stat : 13159 (java) S 13142 13142 9724 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 20 0 104896536 26628161536 9641 33554432000 4194304 4196468 140726168902576 139975328770288 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13160] ppid=13142 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/13144/task/13160/stat : 13160 (java) S 13142 13142 9724 0 -1 1077944384 121 0 0 0 1 0 0 0 20 0 20 0 104896536 26628161536 9641 33554432000 4194304 4196468 140726168902576 139975327717488 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13161] ppid=13142 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/13144/task/13161/stat : 13161 (java) R 13142 13142 9724 0 -1 4202560 788 0 0 0 7 0 0 0 20 0 20 0 104896536 26628161536 9641 33554432000 4194304 4196468 140726168902576 139975326664688 139976862115044 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13162] ppid=13142 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13162/stat : 13162 (java) S 13142 13142 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104896537 26628161536 9641 33554432000 4194304 4196468 140726168902576 139975325613152 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13163] ppid=13142 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13144/task/13163/stat : 13163 (java) S 13142 13142 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104896537 26628161536 9641 33554432000 4194304 4196468 140726168902576 139975324560432 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39948 KiB

[startup+0.310397 s]*
/proc/loadavg: 7.53 6.34 7.20 3/199 13163
/proc/meminfo: memFree=31461044/32770624 swapFree=67108860/67108860
[pid=13142] ppid=13139 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13142/stat : 13142 (xcsp3-exec) S 13139 13142 9724 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104896531 9740288 346 33554432000 4194304 5098028 140726396060160 140726396058264 139910288896636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28975104 140726396064868 140726396065079 140726396065079 140726396067819 0
/proc/13142/statm: 2378 346 289 221 0 87 0
[pid=13144] ppid=13142 vsize=26004064 memory=45764 CPUtime=0.5 cores=0-7
/proc/13144/stat : 13144 (java) S 13142 13142 9724 0 -1 1077944320 9157 0 0 0 46 4 0 0 20 0 20 0 104896531 26628161536 11441 33554432000 4194304 4196468 140726168902576 140726168885120 139976882994935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
/proc/13144/statm: 6501016 11441 3075 1 0 6488269 0
[pid=13144/tid=13145] ppid=13142 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13144/task/13145/stat : 13145 (java) R 13142 13142 9724 0 -1 4202560 6058 0 0 0 27 2 0 0 20 0 20 0 104896531 26628161536 11441 33554432000 4194304 4196468 140726168902576 139976887233392 139976883006870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13146] ppid=13142 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13146/stat : 13146 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896532 26628161536 11441 33554432000 4194304 4196468 140726168902576 139976835615888 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13147] ppid=13142 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13147/stat : 13147 (java) S 13142 13142 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104896532 26628161536 11441 33554432000 4194304 4196468 140726168902576 139976834563088 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13148] ppid=13142 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13148/stat : 13148 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896532 26628161536 11441 33554432000 4194304 4196468 140726168902576 139976833510288 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13149] ppid=13142 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13149/stat : 13149 (java) S 13142 13142 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104896532 26628161536 11441 33554432000 4194304 4196468 140726168902576 139976832457488 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13150] ppid=13142 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/13144/task/13150/stat : 13150 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896532 26628161536 11441 33554432000 4194304 4196468 140726168902576 139976831404688 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13151] ppid=13142 vsize=26004064 memory=140174176646063 CPUtime=0 cores=0-7
/proc/13144/task/13151/stat : 13151 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896532 26628161536 11441 33554432000 4194304 4196468 140726168902576 139976830351888 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13152] ppid=13142 vsize=26004064 memory=140174176648368 CPUtime=0 cores=0-7
/proc/13144/task/13152/stat : 13152 (java) S 13142 13142 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104896532 26628161536 11441 33554432000 4194304 4196468 140726168902576 139976829299088 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13153] ppid=13142 vsize=26004064 memory=140174176650672 CPUtime=0 cores=0-7
/proc/13144/task/13153/stat : 13153 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896532 26628161536 11441 33554432000 4194304 4196468 140726168902576 139976828246288 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13154] ppid=13142 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13154/stat : 13154 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896533 26628161536 11441 33554432000 4194304 4196468 140726168902576 139975670131568 139976883006082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13155] ppid=13142 vsize=26004064 memory=280348353308304 CPUtime=0 cores=0-7
/proc/13144/task/13155/stat : 13155 (java) S 13142 13142 9724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104896534 26628161536 11441 33554432000 4194304 4196468 140726168902576 139975332980256 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13156] ppid=13142 vsize=26004064 memory=280348353315216 CPUtime=0 cores=0-7
/proc/13144/task/13156/stat : 13156 (java) S 13142 13142 9724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104896534 26628161536 11441 33554432000 4194304 4196468 140726168902576 139975331927408 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13157] ppid=13142 vsize=26004064 memory=280348353256496 CPUtime=0 cores=0-7
/proc/13144/task/13157/stat : 13157 (java) S 13142 13142 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104896536 26628161536 11441 33554432000 4194304 4196468 140726168902576 139975330875728 139976883013531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13158] ppid=13142 vsize=26004064 memory=280348353329040 CPUtime=0.01 cores=0-7
/proc/13144/task/13158/stat : 13158 (java) R 13142 13142 9724 0 -1 4202560 534 0 0 0 1 0 0 0 20 0 20 0 104896536 26628161536 11441 33554432000 4194304 4196468 140726168902576 139975329823088 139976883006870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13159] ppid=13142 vsize=26004064 memory=280348353335952 CPUtime=0.01 cores=0-7
/proc/13144/task/13159/stat : 13159 (java) S 13142 13142 9724 0 -1 1077944384 197 0 0 0 1 0 0 0 20 0 20 0 104896536 26628161536 11441 33554432000 4194304 4196468 140726168902576 139975328770288 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13160] ppid=13142 vsize=26004064 memory=280348353333648 CPUtime=0.02 cores=0-7
/proc/13144/task/13160/stat : 13160 (java) S 13142 13142 9724 0 -1 1077944384 143 0 0 0 2 0 0 0 20 0 20 0 104896536 26628161536 11441 33554432000 4194304 4196468 140726168902576 139975327717488 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13161] ppid=13142 vsize=26004064 memory=280348353349808 CPUtime=0.12 cores=0-7
/proc/13144/task/13161/stat : 13161 (java) R 13142 13142 9724 0 -1 4202560 915 0 0 0 12 0 0 0 20 0 20 0 104896536 26628161536 11441 33554432000 4194304 4196468 140726168902576 139975326661056 139976867038565 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13162] ppid=13142 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13162/stat : 13162 (java) S 13142 13142 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104896537 26628161536 11441 33554432000 4194304 4196468 140726168902576 139975325613152 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13163] ppid=13142 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/13144/task/13163/stat : 13163 (java) S 13142 13142 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104896537 26628161536 11441 33554432000 4194304 4196468 140726168902576 139975324560432 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47148 KiB

[startup+0.701024 s]
/proc/loadavg: 7.53 6.34 7.20 5/199 13163
/proc/meminfo: memFree=31433012/32770624 swapFree=67108860/67108860
[pid=13142] ppid=13139 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13142/stat : 13142 (xcsp3-exec) S 13139 13142 9724 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104896531 9740288 346 33554432000 4194304 5098028 140726396060160 140726396058264 139910288896636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28975104 140726396064868 140726396065079 140726396065079 140726396067819 0
/proc/13142/statm: 2378 346 289 221 0 87 0
[pid=13144] ppid=13142 vsize=26004140 memory=105952 CPUtime=1.93 cores=0-7
/proc/13144/stat : 13144 (java) S 13142 13142 9724 0 -1 1077944320 13438 0 0 0 186 7 0 0 20 0 20 0 104896531 26628239360 26488 33554432000 4194304 4196468 140726168902576 140726168885120 139976882994935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
/proc/13144/statm: 6501035 26488 3199 1 0 6488269 0
[pid=13144/tid=13145] ppid=13142 vsize=26004140 memory=280348353707696 CPUtime=0.67 cores=0-7
/proc/13144/task/13145/stat : 13145 (java) R 13142 13142 9724 0 -1 4202560 6431 0 0 0 64 3 0 0 20 0 20 0 104896531 26628239360 26488 33554432000 4194304 4196468 140726168902576 139976887229376 139976494733216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13146] ppid=13142 vsize=26004140 memory=140174176854896 CPUtime=0 cores=0-7
/proc/13144/task/13146/stat : 13146 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896532 26628239360 26488 33554432000 4194304 4196468 140726168902576 139976835615888 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13147] ppid=13142 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13147/stat : 13147 (java) S 13142 13142 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104896532 26628239360 26488 33554432000 4194304 4196468 140726168902576 139976834563088 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13148] ppid=13142 vsize=26004140 memory=4612 CPUtime=0 cores=0-7
/proc/13144/task/13148/stat : 13148 (java) S 13142 13142 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104896532 26628239360 26488 33554432000 4194304 4196468 140726168902576 139976833510288 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0

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

[pid=13144/tid=13161] ppid=13142 vsize=26538700 memory=1236 CPUtime=0.67 cores=0-7
/proc/13144/task/13161/stat : 13161 (java) S 13142 13142 9724 0 -1 1077944384 6644 0 0 0 66 1 0 0 20 0 28 0 104896536 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975326664688 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13162] ppid=13142 vsize=26538700 memory=932 CPUtime=0 cores=0-7
/proc/13144/task/13162/stat : 13162 (java) S 13142 13142 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104896537 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975325613152 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13163] ppid=13142 vsize=26538700 memory=1568 CPUtime=0.02 cores=0-7
/proc/13144/task/13163/stat : 13163 (java) S 13142 13142 9724 0 -1 1077944384 1249 0 0 0 1 1 0 0 20 0 28 0 104896537 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975324560432 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13165] ppid=13142 vsize=26538700 memory=2240 CPUtime=18.36 cores=0-7
/proc/13144/task/13165/stat : 13165 (java) R 13142 13142 9724 0 -1 4202560 1959 0 0 0 1831 5 0 0 20 0 28 0 104901996 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975317044576 139976497031784 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13166] ppid=13142 vsize=26538700 memory=4124 CPUtime=18.62 cores=0-7
/proc/13144/task/13166/stat : 13166 (java) R 13142 13142 9724 0 -1 4202560 1106 0 0 0 1857 5 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975315992920 139976497058776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13167] ppid=13142 vsize=26538700 memory=2196 CPUtime=18.52 cores=0-7
/proc/13144/task/13167/stat : 13167 (java) R 13142 13142 9724 0 -1 4202560 2255 0 0 0 1849 3 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975314939560 139976497059978 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13168] ppid=13142 vsize=26538700 memory=6764 CPUtime=18.44 cores=0-7
/proc/13144/task/13168/stat : 13168 (java) R 13142 13142 9724 0 -1 4202560 2158 0 0 0 1842 2 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975313887184 139976497059978 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13169] ppid=13142 vsize=26538700 memory=840 CPUtime=18.29 cores=0-7
/proc/13144/task/13169/stat : 13169 (java) R 13142 13142 9724 0 -1 4202560 2334 0 0 0 1827 2 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975312834376 139976497031784 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13170] ppid=13142 vsize=26538700 memory=1692 CPUtime=18.53 cores=0-7
/proc/13144/task/13170/stat : 13170 (java) R 13142 13142 9724 0 -1 4202560 1152 0 0 0 1852 1 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975311781312 139976497031801 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13171] ppid=13142 vsize=26538700 memory=916 CPUtime=18.44 cores=0-7
/proc/13144/task/13171/stat : 13171 (java) R 13142 13142 9724 0 -1 4202560 1019 0 0 0 1840 4 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975310729808 139976497551024 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13172] ppid=13142 vsize=26538700 memory=4472 CPUtime=18.54 cores=0-7
/proc/13144/task/13172/stat : 13172 (java) R 13142 13142 9724 0 -1 4202560 1027 0 0 0 1848 6 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975309677144 139976497059625 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
Current children cumulated CPU time: 248.83 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3062928 KiB

[startup+77.4021 s]
/proc/loadavg: 4.61 5.54 6.84 9/207 13172
/proc/meminfo: memFree=28443080/32770624 swapFree=67108860/67108860
[pid=13142] ppid=13139 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13142/stat : 13142 (xcsp3-exec) S 13139 13142 9724 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104896531 9740288 346 33554432000 4194304 5098028 140726396060160 140726396058264 139910288896636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28975104 140726396064868 140726396065079 140726396065079 140726396067819 0
/proc/13142/statm: 2378 346 289 221 0 87 0
[pid=13144] ppid=13142 vsize=26538700 memory=3061544 CPUtime=250.43 cores=0-7
/proc/13144/stat : 13144 (java) S 13142 13142 9724 0 -1 1077944320 97746 0 0 0 24399 644 0 0 20 0 28 0 104896531 27175628800 765386 33554432000 4194304 4196468 140726168902576 140726168885120 139976882994935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
/proc/13144/statm: 6634675 765386 3289 1 0 6621909 0
[pid=13144/tid=13145] ppid=13142 vsize=26538700 memory=3240 CPUtime=51.43 cores=0-7
/proc/13144/task/13145/stat : 13145 (java) S 13142 13142 9724 0 -1 1077944384 11902 0 0 0 5130 13 0 0 20 0 28 0 104896531 27175628800 765386 33554432000 4194304 4196468 140726168902576 139976887235712 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13146] ppid=13142 vsize=26538700 memory=6791534058613427641 CPUtime=5.4 cores=0-7
/proc/13144/task/13146/stat : 13146 (java) S 13142 13142 9724 0 -1 1077944384 2726 0 0 0 466 74 0 0 20 0 28 0 104896532 27175628800 765386 33554432000 4194304 4196468 140726168902576 139976835615888 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13147] ppid=13142 vsize=26538700 memory=2484744 CPUtime=5.4 cores=0-7
/proc/13144/task/13147/stat : 13147 (java) S 13142 13142 9724 0 -1 1077944384 3155 0 0 0 469 71 0 0 20 0 28 0 104896532 27175628800 765386 33554432000 4194304 4196468 140726168902576 139976834563088 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13148] ppid=13142 vsize=26538700 memory=6791534058613427641 CPUtime=5.38 cores=0-7
/proc/13144/task/13148/stat : 13148 (java) S 13142 13142 9724 0 -1 1077944384 3134 0 0 0 467 71 0 0 20 0 28 0 104896532 27175628800 765386 33554432000 4194304 4196468 140726168902576 139976833510288 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13149] ppid=13142 vsize=26538700 memory=4872558044660077418 CPUtime=5.34 cores=0-7
/proc/13144/task/13149/stat : 13149 (java) S 13142 13142 9724 0 -1 1077944384 3509 0 0 0 462 72 0 0 20 0 28 0 104896532 27175628800 765386 33554432000 4194304 4196468 140726168902576 139976832457488 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13150] ppid=13142 vsize=26538700 memory=960 CPUtime=5.4 cores=0-7
/proc/13144/task/13150/stat : 13150 (java) S 13142 13142 9724 0 -1 1077944384 2511 0 0 0 465 75 0 0 20 0 28 0 104896532 27175628800 765386 33554432000 4194304 4196468 140726168902576 139976831404688 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13151] ppid=13142 vsize=26538700 memory=4388 CPUtime=5.39 cores=0-7
/proc/13144/task/13151/stat : 13151 (java) S 13142 13142 9724 0 -1 1077944384 2435 0 0 0 465 74 0 0 20 0 28 0 104896532 27175628800 765386 33554432000 4194304 4196468 140726168902576 139976830351888 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13152] ppid=13142 vsize=26538700 memory=1236 CPUtime=5.39 cores=0-7
/proc/13144/task/13152/stat : 13152 (java) S 13142 13142 9724 0 -1 1077944384 2365 0 0 0 465 74 0 0 20 0 28 0 104896532 27175628800 765386 33554432000 4194304 4196468 140726168902576 139976829299088 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13153] ppid=13142 vsize=26538700 memory=932 CPUtime=5.39 cores=0-7
/proc/13144/task/13153/stat : 13153 (java) S 13142 13142 9724 0 -1 1077944384 2966 0 0 0 469 70 0 0 20 0 28 0 104896532 27175628800 765386 33554432000 4194304 4196468 140726168902576 139976828246288 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13154] ppid=13142 vsize=26538700 memory=1568 CPUtime=1.41 cores=0-7
/proc/13144/task/13154/stat : 13154 (java) S 13142 13142 9724 0 -1 1077944384 10318 0 0 0 139 2 0 0 20 0 28 0 104896533 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975670131568 139976883006082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13155] ppid=13142 vsize=26538700 memory=2240 CPUtime=0 cores=0-7
/proc/13144/task/13155/stat : 13155 (java) S 13142 13142 9724 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 104896534 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975332980320 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13156] ppid=13142 vsize=26538700 memory=4124 CPUtime=0 cores=0-7
/proc/13144/task/13156/stat : 13156 (java) S 13142 13142 9724 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 28 0 104896534 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975331927424 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13157] ppid=13142 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/13144/task/13157/stat : 13157 (java) S 13142 13142 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104896536 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975330875728 139976883013531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13158] ppid=13142 vsize=26538700 memory=3058580 CPUtime=1.49 cores=0-7
/proc/13144/task/13158/stat : 13158 (java) S 13142 13142 9724 0 -1 1077944384 10521 0 0 0 146 3 0 0 20 0 28 0 104896536 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975329823088 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13159] ppid=13142 vsize=26538700 memory=15825482151102897 CPUtime=1.3 cores=0-7
/proc/13144/task/13159/stat : 13159 (java) S 13142 13142 9724 0 -1 1077944384 9078 0 0 0 127 3 0 0 20 0 28 0 104896536 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975328770288 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13160] ppid=13142 vsize=26538700 memory=0 CPUtime=1.44 cores=0-7
/proc/13144/task/13160/stat : 13160 (java) S 13142 13142 9724 0 -1 1077944384 10757 0 0 0 142 2 0 0 20 0 28 0 104896536 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975327717488 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13161] ppid=13142 vsize=26538700 memory=0 CPUtime=0.67 cores=0-7
/proc/13144/task/13161/stat : 13161 (java) S 13142 13142 9724 0 -1 1077944384 6644 0 0 0 66 1 0 0 20 0 28 0 104896536 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975326664688 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13162] ppid=13142 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/13144/task/13162/stat : 13162 (java) S 13142 13142 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104896537 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975325613152 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13163] ppid=13142 vsize=26538700 memory=0 CPUtime=0.02 cores=0-7
/proc/13144/task/13163/stat : 13163 (java) S 13142 13142 9724 0 -1 1077944384 1249 0 0 0 1 1 0 0 20 0 28 0 104896537 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975324560432 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13165] ppid=13142 vsize=26538700 memory=0 CPUtime=18.56 cores=0-7
/proc/13144/task/13165/stat : 13165 (java) R 13142 13142 9724 0 -1 4202560 1959 0 0 0 1851 5 0 0 20 0 28 0 104901996 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975317044576 139976497031784 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13166] ppid=13142 vsize=26538700 memory=0 CPUtime=18.82 cores=0-7
/proc/13144/task/13166/stat : 13166 (java) R 13142 13142 9724 0 -1 4202560 1106 0 0 0 1877 5 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975315992920 139976497058776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13167] ppid=13142 vsize=26538700 memory=0 CPUtime=18.72 cores=0-7
/proc/13144/task/13167/stat : 13167 (java) R 13142 13142 9724 0 -1 4202560 2256 0 0 0 1869 3 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975314939560 139976497031784 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13168] ppid=13142 vsize=26538700 memory=0 CPUtime=18.64 cores=0-7
/proc/13144/task/13168/stat : 13168 (java) R 13142 13142 9724 0 -1 4202560 2158 0 0 0 1862 2 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975313887320 139976496999626 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13169] ppid=13142 vsize=26538700 memory=2484608 CPUtime=18.49 cores=0-7
/proc/13144/task/13169/stat : 13169 (java) R 13142 13142 9724 0 -1 4202560 2334 0 0 0 1847 2 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975312834376 139976497031784 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13170] ppid=13142 vsize=26538700 memory=1384 CPUtime=18.73 cores=0-7
/proc/13144/task/13170/stat : 13170 (java) R 13142 13142 9724 0 -1 4202560 1152 0 0 0 1872 1 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975311781312 139976497058984 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13171] ppid=13142 vsize=26538700 memory=2484292 CPUtime=18.64 cores=0-7
/proc/13144/task/13171/stat : 13171 (java) R 13142 13142 9724 0 -1 4202560 1020 0 0 0 1860 4 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975310729808 139976496999626 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13172] ppid=13142 vsize=26538700 memory=1948 CPUtime=18.74 cores=0-7
/proc/13144/task/13172/stat : 13172 (java) R 13142 13142 9724 0 -1 4202560 1027 0 0 0 1868 6 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975309677144 139976497059625 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
Current children cumulated CPU time: 250.43 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3062928 KiB

[startup+77.5021 s]
/proc/loadavg: 4.61 5.54 6.84 9/207 13172
/proc/meminfo: memFree=28443080/32770624 swapFree=67108860/67108860
[pid=13142] ppid=13139 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/13142/stat : 13142 (xcsp3-exec) S 13139 13142 9724 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104896531 9740288 346 33554432000 4194304 5098028 140726396060160 140726396058264 139910288896636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28975104 140726396064868 140726396065079 140726396065079 140726396067819 0
/proc/13142/statm: 2378 346 289 221 0 87 0
[pid=13144] ppid=13142 vsize=26538700 memory=3061544 CPUtime=251.22 cores=0-7
/proc/13144/stat : 13144 (java) S 13142 13142 9724 0 -1 1077944320 98214 0 0 0 24478 644 0 0 20 0 28 0 104896531 27175628800 765386 33554432000 4194304 4196468 140726168902576 140726168885120 139976882994935 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
/proc/13144/statm: 6634675 765386 3289 1 0 6621909 0
[pid=13144/tid=13145] ppid=13142 vsize=26538700 memory=3061544 CPUtime=51.43 cores=0-7
/proc/13144/task/13145/stat : 13145 (java) S 13142 13142 9724 0 -1 1077944384 11902 0 0 0 5130 13 0 0 20 0 28 0 104896531 27175628800 765386 33554432000 4194304 4196468 140726168902576 139976887235712 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13146] ppid=13142 vsize=26538700 memory=1384 CPUtime=5.4 cores=0-7
/proc/13144/task/13146/stat : 13146 (java) S 13142 13142 9724 0 -1 1077944384 2726 0 0 0 466 74 0 0 20 0 28 0 104896532 27175628800 765386 33554432000 4194304 4196468 140726168902576 139976835615888 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13147] ppid=13142 vsize=26538700 memory=0 CPUtime=5.4 cores=0-7
/proc/13144/task/13147/stat : 13147 (java) S 13142 13142 9724 0 -1 1077944384 3155 0 0 0 469 71 0 0 20 0 28 0 104896532 27175628800 765386 33554432000 4194304 4196468 140726168902576 139976834563088 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13148] ppid=13142 vsize=26538700 memory=1384 CPUtime=5.38 cores=0-7
/proc/13144/task/13148/stat : 13148 (java) S 13142 13142 9724 0 -1 1077944384 3134 0 0 0 467 71 0 0 20 0 28 0 104896532 27175628800 765386 33554432000 4194304 4196468 140726168902576 139976833510288 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13149] ppid=13142 vsize=26538700 memory=2484384 CPUtime=5.34 cores=0-7
/proc/13144/task/13149/stat : 13149 (java) S 13142 13142 9724 0 -1 1077944384 3509 0 0 0 462 72 0 0 20 0 28 0 104896532 27175628800 765386 33554432000 4194304 4196468 140726168902576 139976832457488 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13150] ppid=13142 vsize=26538700 memory=4100 CPUtime=5.4 cores=0-7
/proc/13144/task/13150/stat : 13150 (java) S 13142 13142 9724 0 -1 1077944384 2511 0 0 0 465 75 0 0 20 0 28 0 104896532 27175628800 765386 33554432000 4194304 4196468 140726168902576 139976831404688 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13151] ppid=13142 vsize=26538700 memory=29812 CPUtime=5.39 cores=0-7
/proc/13144/task/13151/stat : 13151 (java) S 13142 13142 9724 0 -1 1077944384 2435 0 0 0 465 74 0 0 20 0 28 0 104896532 27175628800 765386 33554432000 4194304 4196468 140726168902576 139976830351888 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13152] ppid=13142 vsize=26538700 memory=113112258733790 CPUtime=5.39 cores=0-7
/proc/13144/task/13152/stat : 13152 (java) S 13142 13142 9724 0 -1 1077944384 2365 0 0 0 465 74 0 0 20 0 28 0 104896532 27175628800 765386 33554432000 4194304 4196468 140726168902576 139976829299088 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13153] ppid=13142 vsize=26538700 memory=6944656592455097440 CPUtime=5.39 cores=0-7
/proc/13144/task/13153/stat : 13153 (java) S 13142 13142 9724 0 -1 1077944384 2966 0 0 0 469 70 0 0 20 0 28 0 104896532 27175628800 765386 33554432000 4194304 4196468 140726168902576 139976828246288 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13154] ppid=13142 vsize=26538700 memory=100 CPUtime=1.41 cores=0-7
/proc/13144/task/13154/stat : 13154 (java) S 13142 13142 9724 0 -1 1077944384 10318 0 0 0 139 2 0 0 20 0 28 0 104896533 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975670131568 139976883006082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13155] ppid=13142 vsize=26538700 memory=99 CPUtime=0 cores=0-7
/proc/13144/task/13155/stat : 13155 (java) S 13142 13142 9724 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 104896534 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975332980320 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13156] ppid=13142 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/13144/task/13156/stat : 13156 (java) S 13142 13142 9724 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 28 0 104896534 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975331927424 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13157] ppid=13142 vsize=26538700 memory=2484328 CPUtime=0 cores=0-7
/proc/13144/task/13157/stat : 13157 (java) S 13142 13142 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104896536 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975330875728 139976883013531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13158] ppid=13142 vsize=26538700 memory=0 CPUtime=1.49 cores=0-7
/proc/13144/task/13158/stat : 13158 (java) S 13142 13142 9724 0 -1 1077944384 10521 0 0 0 146 3 0 0 20 0 28 0 104896536 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975329823088 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13159] ppid=13142 vsize=26538700 memory=5530 CPUtime=1.3 cores=0-7
/proc/13144/task/13159/stat : 13159 (java) S 13142 13142 9724 0 -1 1077944384 9078 0 0 0 127 3 0 0 20 0 28 0 104896536 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975328770288 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13160] ppid=13142 vsize=26538700 memory=16720 CPUtime=1.44 cores=0-7
/proc/13144/task/13160/stat : 13160 (java) S 13142 13142 9724 0 -1 1077944384 10757 0 0 0 142 2 0 0 20 0 28 0 104896536 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975327717488 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13161] ppid=13142 vsize=26538700 memory=0 CPUtime=0.67 cores=0-7
/proc/13144/task/13161/stat : 13161 (java) S 13142 13142 9724 0 -1 1077944384 6644 0 0 0 66 1 0 0 20 0 28 0 104896536 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975326664688 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13162] ppid=13142 vsize=26538700 memory=1822 CPUtime=0 cores=0-7
/proc/13144/task/13162/stat : 13162 (java) S 13142 13142 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104896537 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975325613152 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13163] ppid=13142 vsize=26538700 memory=1814 CPUtime=0.02 cores=0-7
/proc/13144/task/13163/stat : 13163 (java) S 13142 13142 9724 0 -1 1077944384 1269 0 0 0 1 1 0 0 20 0 28 0 104896537 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975324560432 139976883006082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13165] ppid=13142 vsize=26538700 memory=1800 CPUtime=18.66 cores=0-7
/proc/13144/task/13165/stat : 13165 (java) R 13142 13142 9724 0 -1 4202560 1971 0 0 0 1861 5 0 0 20 0 28 0 104901996 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975317044576 139976497031761 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13166] ppid=13142 vsize=26538700 memory=140174176920152 CPUtime=18.92 cores=0-7
/proc/13144/task/13166/stat : 13166 (java) S 13142 13142 9724 0 -1 1077944384 1183 0 0 0 1887 5 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975315997904 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13167] ppid=13142 vsize=26538700 memory=-1161699032756083295 CPUtime=18.82 cores=0-7
/proc/13144/task/13167/stat : 13167 (java) R 13142 13142 9724 0 -1 4202560 2330 0 0 0 1879 3 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975314939560 139976497032328 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13168] ppid=13142 vsize=26538700 memory=8693530193817532584 CPUtime=18.74 cores=0-7
/proc/13144/task/13168/stat : 13168 (java) S 13142 13142 9724 0 -1 1077944384 2173 0 0 0 1872 2 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975313892304 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13169] ppid=13142 vsize=26538700 memory=0 CPUtime=18.58 cores=0-7
/proc/13144/task/13169/stat : 13169 (java) R 13142 13142 9724 0 -1 4202560 2346 0 0 0 1856 2 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975312834376 139976497031784 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13170] ppid=13142 vsize=26538700 memory=6299802978650451056 CPUtime=18.83 cores=0-7
/proc/13144/task/13170/stat : 13170 (java) R 13142 13142 9724 0 -1 4202560 1168 0 0 0 1882 1 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975311781312 139976497031801 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13171] ppid=13142 vsize=26538700 memory=1384 CPUtime=18.74 cores=0-7
/proc/13144/task/13171/stat : 13171 (java) R 13142 13142 9724 0 -1 4202560 1044 0 0 0 1870 4 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975310729944 139976497031615 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
[pid=13144/tid=13172] ppid=13142 vsize=26538700 memory=4100 CPUtime=18.84 cores=0-7
/proc/13144/task/13172/stat : 13172 (java) S 13142 13142 9724 0 -1 1077944384 1245 0 0 0 1878 6 0 0 20 0 28 0 104902019 27175628800 765386 33554432000 4194304 4196468 140726168902576 139975309682128 139976883005141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16220160 140726168904850 140726168905027 140726168905027 140726168907727 0
Current children cumulated CPU time: 251.22 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 3062928 KiB

Child status: 0
Real time (s): 77.5331
CPU time (s): 251.284
CPU user time (s): 244.806
CPU system time (s): 6.47809
CPU usage (%): 324.099
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 3062928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.806
system time used= 6.47809
maximum resident set size= 3061580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100095
page faults= 0
swaps= 0
block input operations= 0
block output operations= 280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8754
involuntary context switches= 2662


# summary of solver processes directly reported to runsolver:
#   pid: 13142
#   total CPU time (s): 251.284
#   total CPU user time (s): 244.806
#   total CPU system time (s): 6.47809

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.537253 second user time and 0.93723 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-14 15:27:10
IDJOB=4271122
IDBENCH=125874
IDSOLVER=2662
FILE ID=node113/4271122-1502718089
RUNJOBID= node113-1502709332-9751
PBS_JOBID= 20629021
Free space on /tmp= 61788 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QRandom/QRandom-bdd-15-21-2/bdd-15-21-2-2713-79-16.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4271122-1502718089/watcher-4271122-1502718089 -o /tmp/evaluation-result-4271122-1502718089/solver-4271122-1502718089 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502709332-9751 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 2099641945 HOME/instance-4271122-1502718089.xml

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

MD5SUM BENCH= 2a6706ebf1a04474da396dd8277f6c47
RANDOM SEED=2099641945

node113.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.89
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.89
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.89
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.89
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:        31494984 kB
MemAvailable:   31972136 kB
Buffers:          170604 kB
Cached:           581536 kB
SwapCached:            0 kB
Active:           581640 kB
Inactive:         225212 kB
Active(anon):       4528 kB
Inactive(anon):    77668 kB
Active(file):     577112 kB
Inactive(file):   147544 kB
Unevictable:        6588 kB
Mlocked:            6588 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8060 kB
Writeback:             0 kB
AnonPages:         73052 kB
Mapped:            44388 kB
Shmem:             25224 kB
Slab:             163336 kB
SReclaimable:     136660 kB
SUnreclaim:        26676 kB
KernelStack:        3520 kB
PageTables:         5184 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61780 MiB
End job on node113 at 2017-08-14 15:28:28