Trace number 4271146

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 38.062199 5.2975602

General information on the benchmark

NameQRandom/QRandom-reg2ext-s1/
reg-s20-p03-c20-d10-n10-l5-30.xml
MD5SUM65e58671dc4199faf26ac203b1450cb4
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 benchmark4.1276598
Satisfiable
(Un)Satisfiability was proved
Number of variables130
Number of constraints100
Number of domains23
Minimum domain size1
Maximum domain size20
Distribution of domain sizes[{"size":1,"count":20},{"size":6,"count":20},{"size":10,"count":10},{"size":20,"count":80}]
Minimum variable degree1
Maximum variable degree14
Distribution of variable degrees[{"degree":1,"count":40},{"degree":2,"count":80},{"degree":6,"count":1},{"degree":7,"count":1},{"degree":8,"count":2},{"degree":11,"count":3},{"degree":12,"count":2},{"degree":14,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":100}]
Number of extensional constraints100
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":100}]
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-4271146-1502718006.xml"  -tl '20160s' -p 8 -x 0
0.12/0.15	c [HOME/instance-4271146-1502718006.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
2.50/0.80	c solve instance...
37.37/5.28	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 (15221 MiB free)
  memory of node 1: 16384 MiB (15535 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271146-1502718006/watcher-4271146-1502718006 -o /tmp/evaluation-result-4271146-1502718006/solver-4271146-1502718006 -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 111718621 HOME/instance-4271146-1502718006.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=12727, runsolver pid=12724
Current StackSize limit: 8192 KiB


[startup+0.107998 s]*
/proc/loadavg: 4.68 5.56 7.05 3/199 12748
/proc/meminfo: memFree=31480260/32770624 swapFree=67108860/67108860
[pid=12727] ppid=12724 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12727/stat : 12727 (xcsp3-exec) S 12724 12727 9724 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104888266 9740288 346 33554432000 4194304 5098028 140723714621536 140723714619640 140154225451644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33148928 140723714630757 140723714630967 140723714630967 140723714633707 0
/proc/12727/statm: 2378 346 289 221 0 87 0
[pid=12729] ppid=12727 vsize=25999808 memory=26684 CPUtime=0.12 cores=0-7
/proc/12729/stat : 12729 (java) S 12727 12727 9724 0 -1 1077944320 5610 0 0 0 10 2 0 0 20 0 20 0 104888266 26623803392 6671 33554432000 4194304 4196468 140727808486256 140727808468800 139626759646967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
/proc/12729/statm: 6499952 6671 2844 1 0 6488269 0
[pid=12729/tid=12730] ppid=12727 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/12729/task/12730/stat : 12730 (java) R 12727 12727 9724 0 -1 4202560 3615 0 0 0 8 1 0 0 20 0 20 0 104888266 26623803392 6671 33554432000 4194304 4196468 140727808486256 139626763872688 139626759658902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12731] ppid=12727 vsize=25999808 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/12729/task/12731/stat : 12731 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888267 26623803392 6671 33554432000 4194304 4196468 140727808486256 139626712267792 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12732] ppid=12727 vsize=25999808 memory=139707751876224 CPUtime=0 cores=0-7
/proc/12729/task/12732/stat : 12732 (java) S 12727 12727 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104888267 26623803392 6671 33554432000 4194304 4196468 140727808486256 139626711215248 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12733] ppid=12727 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12733/stat : 12733 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888267 26623803392 6671 33554432000 4194304 4196468 140727808486256 139626710162192 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12734] ppid=12727 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12734/stat : 12734 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888267 26623803392 6671 33554432000 4194304 4196468 140727808486256 139626709109648 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12735] ppid=12727 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12735/stat : 12735 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888267 26623803392 6671 33554432000 4194304 4196468 140727808486256 139626708056592 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12736] ppid=12727 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12729/task/12736/stat : 12736 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888267 26623803392 6671 33554432000 4194304 4196468 140727808486256 139626707004048 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12737] ppid=12727 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12737/stat : 12737 (java) S 12727 12727 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104888267 26623803392 6671 33554432000 4194304 4196468 140727808486256 139626705950992 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12738] ppid=12727 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12738/stat : 12738 (java) S 12727 12727 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104888267 26623803392 6671 33554432000 4194304 4196468 140727808486256 139626704898448 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12739] ppid=12727 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12739/stat : 12739 (java) S 12727 12727 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104888269 26623803392 6671 33554432000 4194304 4196468 140727808486256 139624963865328 139626759658114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12740] ppid=12727 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12740/stat : 12740 (java) S 12727 12727 9724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104888269 26623803392 6671 33554432000 4194304 4196468 140727808486256 139624962811552 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12741] ppid=12727 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12741/stat : 12741 (java) S 12727 12727 9724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104888270 26623803392 6671 33554432000 4194304 4196468 140727808486256 139624961758448 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12742] ppid=12727 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12742/stat : 12742 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888272 26623803392 6671 33554432000 4194304 4196468 140727808486256 139624960707024 139626759665563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12743] ppid=12727 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12743/stat : 12743 (java) S 12727 12727 9724 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 104888272 26623803392 6671 33554432000 4194304 4196468 140727808486256 139624959654128 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12744] ppid=12727 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12744/stat : 12744 (java) S 12727 12727 9724 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 104888272 26623803392 6671 33554432000 4194304 4196468 140727808486256 139624622057840 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12745] ppid=12727 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12745/stat : 12745 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888272 26623803392 6671 33554432000 4194304 4196468 140727808486256 139624621004784 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12746] ppid=12727 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/12729/task/12746/stat : 12746 (java) R 12727 12727 9724 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 20 0 104888272 26623803392 6671 33554432000 4194304 4196468 140727808486256 139624619952240 139626759658902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12747] ppid=12727 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12747/stat : 12747 (java) S 12727 12727 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104888272 26623803392 6671 33554432000 4194304 4196468 140727808486256 139624618900448 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12748] ppid=12727 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/12729/task/12748/stat : 12748 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888273 26623803392 6671 33554432000 4194304 4196468 140727808486256 139624617847984 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28068 KiB

[startup+0.210341 s]*
/proc/loadavg: 4.68 5.56 7.05 1/199 12748
/proc/meminfo: memFree=31472136/32770624 swapFree=67108860/67108860
[pid=12727] ppid=12724 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12727/stat : 12727 (xcsp3-exec) S 12724 12727 9724 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104888266 9740288 346 33554432000 4194304 5098028 140723714621536 140723714619640 140154225451644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33148928 140723714630757 140723714630967 140723714630967 140723714633707 0
/proc/12727/statm: 2378 346 289 221 0 87 0
[pid=12729] ppid=12727 vsize=26004064 memory=38188 CPUtime=0.33 cores=0-7
/proc/12729/stat : 12729 (java) S 12727 12727 9724 0 -1 1077944320 8154 0 0 0 30 3 0 0 20 0 20 0 104888266 26628161536 9547 33554432000 4194304 4196468 140727808486256 140727808468800 139626759646967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
/proc/12729/statm: 6501016 9547 2994 1 0 6488269 0
[pid=12729/tid=12730] ppid=12727 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/12729/task/12730/stat : 12730 (java) R 12727 12727 9724 0 -1 4202560 5399 0 0 0 17 2 0 0 20 0 20 0 104888266 26628161536 9547 33554432000 4194304 4196468 140727808486256 139626763861328 139626759668893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12731] ppid=12727 vsize=26004064 memory=328 CPUtime=0 cores=0-7
/proc/12729/task/12731/stat : 12731 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888267 26628161536 9547 33554432000 4194304 4196468 140727808486256 139626712267792 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12732] ppid=12727 vsize=26004064 memory=139707752332629 CPUtime=0 cores=0-7
/proc/12729/task/12732/stat : 12732 (java) S 12727 12727 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104888267 26628161536 9547 33554432000 4194304 4196468 140727808486256 139626711215248 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12733] ppid=12727 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12729/task/12733/stat : 12733 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888267 26628161536 9547 33554432000 4194304 4196468 140727808486256 139626710162192 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12734] ppid=12727 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12734/stat : 12734 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888267 26628161536 9547 33554432000 4194304 4196468 140727808486256 139626709109648 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12735] ppid=12727 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12735/stat : 12735 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888267 26628161536 9547 33554432000 4194304 4196468 140727808486256 139626708056592 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12736] ppid=12727 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12729/task/12736/stat : 12736 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888267 26628161536 9547 33554432000 4194304 4196468 140727808486256 139626707004048 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12737] ppid=12727 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12737/stat : 12737 (java) S 12727 12727 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104888267 26628161536 9547 33554432000 4194304 4196468 140727808486256 139626705950992 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12738] ppid=12727 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12738/stat : 12738 (java) S 12727 12727 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104888267 26628161536 9547 33554432000 4194304 4196468 140727808486256 139626704898448 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12739] ppid=12727 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12739/stat : 12739 (java) S 12727 12727 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104888269 26628161536 9547 33554432000 4194304 4196468 140727808486256 139624963865328 139626759658114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12740] ppid=12727 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12740/stat : 12740 (java) S 12727 12727 9724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104888269 26628161536 9547 33554432000 4194304 4196468 140727808486256 139624962811552 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12741] ppid=12727 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12741/stat : 12741 (java) S 12727 12727 9724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104888270 26628161536 9547 33554432000 4194304 4196468 140727808486256 139624961758448 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12742] ppid=12727 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12742/stat : 12742 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888272 26628161536 9547 33554432000 4194304 4196468 140727808486256 139624960707024 139626759665563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12743] ppid=12727 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/12729/task/12743/stat : 12743 (java) S 12727 12727 9724 0 -1 1077944384 434 0 0 0 2 0 0 0 20 0 20 0 104888272 26628161536 9547 33554432000 4194304 4196468 140727808486256 139624959654128 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12744] ppid=12727 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/12729/task/12744/stat : 12744 (java) S 12727 12727 9724 0 -1 1077944384 209 0 0 0 1 0 0 0 20 0 20 0 104888272 26628161536 9547 33554432000 4194304 4196468 140727808486256 139624622057840 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12745] ppid=12727 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/12729/task/12745/stat : 12745 (java) S 12727 12727 9724 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 20 0 104888272 26628161536 9547 33554432000 4194304 4196468 140727808486256 139624621004784 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12746] ppid=12727 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/12729/task/12746/stat : 12746 (java) S 12727 12727 9724 0 -1 1077944384 744 0 0 0 7 0 0 0 20 0 20 0 104888272 26628161536 9547 33554432000 4194304 4196468 140727808486256 139624619952240 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12747] ppid=12727 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12747/stat : 12747 (java) S 12727 12727 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104888272 26628161536 9547 33554432000 4194304 4196468 140727808486256 139624618900448 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12748] ppid=12727 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12729/task/12748/stat : 12748 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888273 26628161536 9547 33554432000 4194304 4196468 140727808486256 139624617847984 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39572 KiB

[startup+0.310274 s]*
/proc/loadavg: 4.68 5.56 7.05 5/199 12748
/proc/meminfo: memFree=31465052/32770624 swapFree=67108860/67108860
[pid=12727] ppid=12724 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12727/stat : 12727 (xcsp3-exec) S 12724 12727 9724 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104888266 9740288 346 33554432000 4194304 5098028 140723714621536 140723714619640 140154225451644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33148928 140723714630757 140723714630967 140723714630967 140723714633707 0
/proc/12727/statm: 2378 346 289 221 0 87 0
[pid=12729] ppid=12727 vsize=26004064 memory=43592 CPUtime=0.5 cores=0-7
/proc/12729/stat : 12729 (java) S 12727 12727 9724 0 -1 1077944320 9071 0 0 0 46 4 0 0 20 0 20 0 104888266 26628161536 10898 33554432000 4194304 4196468 140727808486256 140727808468800 139626759646967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
/proc/12729/statm: 6501016 10898 3110 1 0 6488269 0
[pid=12729/tid=12730] ppid=12727 vsize=26004064 memory=6791534058613427641 CPUtime=0.28 cores=0-7
/proc/12729/task/12730/stat : 12730 (java) R 12727 12727 9724 0 -1 4202560 6088 0 0 0 26 2 0 0 20 0 20 0 104888266 26628161536 10898 33554432000 4194304 4196468 140727808486256 139626763885664 139626759658902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12731] ppid=12727 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12731/stat : 12731 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888267 26628161536 10898 33554432000 4194304 4196468 140727808486256 139626712267792 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12732] ppid=12727 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12732/stat : 12732 (java) S 12727 12727 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104888267 26628161536 10898 33554432000 4194304 4196468 140727808486256 139626711215248 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12733] ppid=12727 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12733/stat : 12733 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888267 26628161536 10898 33554432000 4194304 4196468 140727808486256 139626710162192 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12734] ppid=12727 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12734/stat : 12734 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888267 26628161536 10898 33554432000 4194304 4196468 140727808486256 139626709109648 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12735] ppid=12727 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/12729/task/12735/stat : 12735 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888267 26628161536 10898 33554432000 4194304 4196468 140727808486256 139626708056592 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12736] ppid=12727 vsize=26004064 memory=139707635823535 CPUtime=0 cores=0-7
/proc/12729/task/12736/stat : 12736 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888267 26628161536 10898 33554432000 4194304 4196468 140727808486256 139626707004048 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12737] ppid=12727 vsize=26004064 memory=139707635825840 CPUtime=0 cores=0-7
/proc/12729/task/12737/stat : 12737 (java) S 12727 12727 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104888267 26628161536 10898 33554432000 4194304 4196468 140727808486256 139626705950992 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12738] ppid=12727 vsize=26004064 memory=139707635828144 CPUtime=0 cores=0-7
/proc/12729/task/12738/stat : 12738 (java) S 12727 12727 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104888267 26628161536 10898 33554432000 4194304 4196468 140727808486256 139626704898448 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12739] ppid=12727 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12739/stat : 12739 (java) S 12727 12727 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104888269 26628161536 10898 33554432000 4194304 4196468 140727808486256 139624963865328 139626759658114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12740] ppid=12727 vsize=26004064 memory=279415271663248 CPUtime=0 cores=0-7
/proc/12729/task/12740/stat : 12740 (java) S 12727 12727 9724 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 104888269 26628161536 10898 33554432000 4194304 4196468 140727808486256 139624962811552 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12741] ppid=12727 vsize=26004064 memory=279415271670160 CPUtime=0 cores=0-7
/proc/12729/task/12741/stat : 12741 (java) S 12727 12727 9724 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 104888270 26628161536 10898 33554432000 4194304 4196468 140727808486256 139624961758448 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12742] ppid=12727 vsize=26004064 memory=279415271611440 CPUtime=0 cores=0-7
/proc/12729/task/12742/stat : 12742 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888272 26628161536 10898 33554432000 4194304 4196468 140727808486256 139624960707024 139626759665563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12743] ppid=12727 vsize=26004064 memory=279415271683984 CPUtime=0.02 cores=0-7
/proc/12729/task/12743/stat : 12743 (java) S 12727 12727 9724 0 -1 1077944384 468 0 0 0 2 0 0 0 20 0 20 0 104888272 26628161536 10898 33554432000 4194304 4196468 140727808486256 139624959654128 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12744] ppid=12727 vsize=26004064 memory=279415271690896 CPUtime=0.02 cores=0-7
/proc/12729/task/12744/stat : 12744 (java) R 12727 12727 9724 0 -1 4202560 215 0 0 0 2 0 0 0 20 0 20 0 104888272 26628161536 10898 33554432000 4194304 4196468 140727808486256 139624622057840 139626751888318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12745] ppid=12727 vsize=26004064 memory=279415271688592 CPUtime=0.02 cores=0-7
/proc/12729/task/12745/stat : 12745 (java) S 12727 12727 9724 0 -1 1077944384 127 0 0 0 2 0 0 0 20 0 20 0 104888272 26628161536 10898 33554432000 4194304 4196468 140727808486256 139624621004784 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12746] ppid=12727 vsize=26004064 memory=279415271704752 CPUtime=0.12 cores=0-7
/proc/12729/task/12746/stat : 12746 (java) R 12727 12727 9724 0 -1 4202560 870 0 0 0 12 0 0 0 20 0 20 0 104888272 26628161536 10898 33554432000 4194304 4196468 140727808486256 139624619947920 139626738602546 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12747] ppid=12727 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12747/stat : 12747 (java) S 12727 12727 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 104888272 26628161536 10898 33554432000 4194304 4196468 140727808486256 139624618900448 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12748] ppid=12727 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/12729/task/12748/stat : 12748 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888273 26628161536 10898 33554432000 4194304 4196468 140727808486256 139624617847984 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 44976 KiB

[startup+0.701011 s]
/proc/loadavg: 4.68 5.56 7.05 6/199 12748
/proc/meminfo: memFree=31438936/32770624 swapFree=67108860/67108860
[pid=12727] ppid=12724 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12727/stat : 12727 (xcsp3-exec) S 12724 12727 9724 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104888266 9740288 346 33554432000 4194304 5098028 140723714621536 140723714619640 140154225451644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33148928 140723714630757 140723714630967 140723714630967 140723714633707 0
/proc/12727/statm: 2378 346 289 221 0 87 0
[pid=12729] ppid=12727 vsize=26006188 memory=132460 CPUtime=2.06 cores=0-7
/proc/12729/stat : 12729 (java) S 12727 12727 9724 0 -1 1077944320 13997 0 0 0 199 7 0 0 20 0 20 0 104888266 26630336512 33115 33554432000 4194304 4196468 140727808486256 140727808468800 139626759646967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
/proc/12729/statm: 6501547 33115 3198 1 0 6488781 0
[pid=12729/tid=12730] ppid=12727 vsize=26006188 memory=279415272062640 CPUtime=0.66 cores=0-7
/proc/12729/task/12730/stat : 12730 (java) R 12727 12727 9724 0 -1 4202560 6698 0 0 0 62 4 0 0 20 0 20 0 104888266 26630336512 33115 33554432000 4194304 4196468 140727808486256 139626763883808 139626388237002 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12731] ppid=12727 vsize=26006188 memory=139707636032368 CPUtime=0 cores=0-7
/proc/12729/task/12731/stat : 12731 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888267 26630336512 33115 33554432000 4194304 4196468 140727808486256 139626712267792 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12732] ppid=12727 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12732/stat : 12732 (java) S 12727 12727 9724 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 104888267 26630336512 33115 33554432000 4194304 4196468 140727808486256 139626711215248 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12733] ppid=12727 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/12729/task/12733/stat : 12733 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 104888267 26630336512 33115 33554432000 4194304 4196468 140727808486256 139626710162192 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0

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

[pid=12729/tid=12746] ppid=12727 vsize=26538700 memory=6655300316396806240 CPUtime=0.61 cores=0-7
/proc/12729/task/12746/stat : 12746 (java) S 12727 12727 9724 0 -1 1077944384 2869 0 0 0 60 1 0 0 20 0 28 0 104888272 27175628800 65039 33554432000 4194304 4196468 140727808486256 139624619952240 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12747] ppid=12727 vsize=26538700 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/12729/task/12747/stat : 12747 (java) S 12727 12727 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104888272 27175628800 65039 33554432000 4194304 4196468 140727808486256 139624618900448 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12748] ppid=12727 vsize=26538700 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/12729/task/12748/stat : 12748 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104888273 27175628800 65039 33554432000 4194304 4196468 140727808486256 139624617847984 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12749] ppid=12727 vsize=26538700 memory=6943526294502006880 CPUtime=2.76 cores=0-7
/proc/12729/task/12749/stat : 12749 (java) R 12727 12727 9724 0 -1 4202560 64 0 0 0 276 0 0 0 20 0 28 0 104888347 27175628800 65039 33554432000 4194304 4196468 140727808486256 139624610331928 139626390318910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12750] ppid=12727 vsize=26538700 memory=6943526294502006880 CPUtime=2.61 cores=0-7
/proc/12729/task/12750/stat : 12750 (java) R 12727 12727 9724 0 -1 4202560 70 0 0 0 261 0 0 0 20 0 28 0 104888348 27175628800 65039 33554432000 4194304 4196468 140727808486256 139624609280520 139626389705881 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12751] ppid=12727 vsize=26538700 memory=6943526294502006880 CPUtime=2.68 cores=0-7
/proc/12729/task/12751/stat : 12751 (java) R 12727 12727 9724 0 -1 4202560 86 0 0 0 268 0 0 0 20 0 28 0 104888348 27175628800 65039 33554432000 4194304 4196468 140727808486256 139624608227112 139626389706137 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12752] ppid=12727 vsize=26538700 memory=6943526294502006880 CPUtime=2.68 cores=0-7
/proc/12729/task/12752/stat : 12752 (java) R 12727 12727 9724 0 -1 4202560 38 0 0 0 268 0 0 0 20 0 28 0 104888349 27175628800 65039 33554432000 4194304 4196468 140727808486256 139624607174536 139626389705884 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12753] ppid=12727 vsize=26538700 memory=6944656592455360604 CPUtime=2.96 cores=0-7
/proc/12729/task/12753/stat : 12753 (java) R 12727 12727 9724 0 -1 4202560 42 0 0 0 296 0 0 0 20 0 28 0 104888349 27175628800 65039 33554432000 4194304 4196468 140727808486256 139624606123792 139626389832712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12754] ppid=12727 vsize=26538700 memory=6944656592455097440 CPUtime=2.73 cores=0-7
/proc/12729/task/12754/stat : 12754 (java) R 12727 12727 9724 0 -1 4202560 41 0 0 0 273 0 0 0 20 0 28 0 104888349 27175628800 65039 33554432000 4194304 4196468 140727808486256 139624605068936 139626390318872 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12755] ppid=12727 vsize=26538700 memory=0 CPUtime=2.79 cores=0-7
/proc/12729/task/12755/stat : 12755 (java) R 12727 12727 9724 0 -1 4202560 45 0 0 0 279 0 0 0 20 0 28 0 104888349 27175628800 65039 33554432000 4194304 4196468 140727808486256 139624604019400 139626389705835 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12756] ppid=12727 vsize=26538700 memory=0 CPUtime=2.68 cores=0-7
/proc/12729/task/12756/stat : 12756 (java) R 12727 12727 9724 0 -1 4202560 38 0 0 0 268 0 0 0 20 0 28 0 104888349 27175628800 65039 33554432000 4194304 4196468 140727808486256 139624602966680 139626389705699 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
Current children cumulated CPU time: 27.88 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 261540 KiB

[startup+4.80099 s]
/proc/loadavg: 5.19 5.65 7.07 9/207 12756
/proc/meminfo: memFree=31248476/32770624 swapFree=67108860/67108860
[pid=12727] ppid=12724 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12727/stat : 12727 (xcsp3-exec) S 12724 12727 9724 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104888266 9740288 346 33554432000 4194304 5098028 140723714621536 140723714619640 140154225451644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33148928 140723714630757 140723714630967 140723714630967 140723714633707 0
/proc/12727/statm: 2378 346 289 221 0 87 0
[pid=12729] ppid=12727 vsize=26538700 memory=261132 CPUtime=34.18 cores=0-7
/proc/12729/stat : 12729 (java) S 12727 12727 9724 0 -1 1077944320 32574 0 0 0 3404 14 0 0 20 0 28 0 104888266 27175628800 65283 33554432000 4194304 4196468 140727808486256 140727808468800 139626759646967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
/proc/12729/statm: 6634675 65283 3261 1 0 6621909 0
[pid=12729/tid=12730] ppid=12727 vsize=26538700 memory=0 CPUtime=0.78 cores=0-7
/proc/12729/task/12730/stat : 12730 (java) S 12727 12727 9724 0 -1 1077944384 6799 0 0 0 73 5 0 0 20 0 28 0 104888266 27175628800 65283 33554432000 4194304 4196468 140727808486256 139626763887744 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12731] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12731/stat : 12731 (java) S 12727 12727 9724 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 104888267 27175628800 65283 33554432000 4194304 4196468 140727808486256 139626712267792 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12732] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12732/stat : 12732 (java) S 12727 12727 9724 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 104888267 27175628800 65283 33554432000 4194304 4196468 140727808486256 139626711215248 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12733] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12733/stat : 12733 (java) S 12727 12727 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104888267 27175628800 65283 33554432000 4194304 4196468 140727808486256 139626710162192 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12734] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12734/stat : 12734 (java) S 12727 12727 9724 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 104888267 27175628800 65283 33554432000 4194304 4196468 140727808486256 139626709109648 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12735] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12735/stat : 12735 (java) S 12727 12727 9724 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 104888267 27175628800 65283 33554432000 4194304 4196468 140727808486256 139626708056592 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12736] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12736/stat : 12736 (java) S 12727 12727 9724 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 104888267 27175628800 65283 33554432000 4194304 4196468 140727808486256 139626707004048 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12737] ppid=12727 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/12729/task/12737/stat : 12737 (java) S 12727 12727 9724 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 104888267 27175628800 65283 33554432000 4194304 4196468 140727808486256 139626705950992 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12738] ppid=12727 vsize=26538700 memory=259640 CPUtime=0 cores=0-7
/proc/12729/task/12738/stat : 12738 (java) S 12727 12727 9724 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 104888267 27175628800 65283 33554432000 4194304 4196468 140727808486256 139626704898448 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12739] ppid=12727 vsize=26538700 memory=109538845942686 CPUtime=0 cores=0-7
/proc/12729/task/12739/stat : 12739 (java) S 12727 12727 9724 0 -1 1077944384 376 0 0 0 0 0 0 0 20 0 28 0 104888269 27175628800 65283 33554432000 4194304 4196468 140727808486256 139624963865328 139626759658114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12740] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12740/stat : 12740 (java) S 12727 12727 9724 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 104888269 27175628800 65283 33554432000 4194304 4196468 140727808486256 139624962811616 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12741] ppid=12727 vsize=26538700 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/12729/task/12741/stat : 12741 (java) S 12727 12727 9724 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 104888270 27175628800 65283 33554432000 4194304 4196468 140727808486256 139624961758448 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12742] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12742/stat : 12742 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104888272 27175628800 65283 33554432000 4194304 4196468 140727808486256 139624960707024 139626759665563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12743] ppid=12727 vsize=26538700 memory=0 CPUtime=1.44 cores=0-7
/proc/12729/task/12743/stat : 12743 (java) S 12727 12727 9724 0 -1 1077944384 6685 0 0 0 143 1 0 0 20 0 28 0 104888272 27175628800 65283 33554432000 4194304 4196468 140727808486256 139624959654128 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12744] ppid=12727 vsize=26538700 memory=0 CPUtime=1.59 cores=0-7
/proc/12729/task/12744/stat : 12744 (java) S 12727 12727 9724 0 -1 1077944384 7435 0 0 0 158 1 0 0 20 0 28 0 104888272 27175628800 65283 33554432000 4194304 4196468 140727808486256 139624622057840 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12745] ppid=12727 vsize=26538700 memory=0 CPUtime=1.43 cores=0-7
/proc/12729/task/12745/stat : 12745 (java) S 12727 12727 9724 0 -1 1077944384 6234 0 0 0 142 1 0 0 20 0 28 0 104888272 27175628800 65283 33554432000 4194304 4196468 140727808486256 139624621004784 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12746] ppid=12727 vsize=26538700 memory=0 CPUtime=0.61 cores=0-7
/proc/12729/task/12746/stat : 12746 (java) S 12727 12727 9724 0 -1 1077944384 2871 0 0 0 60 1 0 0 20 0 28 0 104888272 27175628800 65283 33554432000 4194304 4196468 140727808486256 139624619952240 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12747] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12747/stat : 12747 (java) S 12727 12727 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104888272 27175628800 65283 33554432000 4194304 4196468 140727808486256 139624618900448 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12748] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12748/stat : 12748 (java) S 12727 12727 9724 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 28 0 104888273 27175628800 65283 33554432000 4194304 4196468 140727808486256 139624617847984 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12749] ppid=12727 vsize=26538700 memory=0 CPUtime=3.54 cores=0-7
/proc/12729/task/12749/stat : 12749 (java) R 12727 12727 9724 0 -1 4202560 75 0 0 0 354 0 0 0 20 0 28 0 104888347 27175628800 65283 33554432000 4194304 4196468 140727808486256 139624610331504 139626389706553 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12750] ppid=12727 vsize=26538700 memory=1384 CPUtime=3.4 cores=0-7
/proc/12729/task/12750/stat : 12750 (java) R 12727 12727 9724 0 -1 4202560 89 0 0 0 340 0 0 0 20 0 28 0 104888348 27175628800 65283 33554432000 4194304 4196468 140727808486256 139624609280232 139626390077872 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12751] ppid=12727 vsize=26538700 memory=260920 CPUtime=3.46 cores=0-7
/proc/12729/task/12751/stat : 12751 (java) R 12727 12727 9724 0 -1 4202560 141 0 0 0 346 0 0 0 20 0 28 0 104888348 27175628800 65283 33554432000 4194304 4196468 140727808486256 139624608227576 139626391203046 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12752] ppid=12727 vsize=26538700 memory=288230376990837705 CPUtime=3.47 cores=0-7
/proc/12729/task/12752/stat : 12752 (java) R 12727 12727 9724 0 -1 4202560 80 0 0 0 347 0 0 0 20 0 28 0 104888349 27175628800 65283 33554432000 4194304 4196468 140727808486256 139624607174496 139626389706740 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12753] ppid=12727 vsize=26538700 memory=288284497974415808 CPUtime=3.75 cores=0-7
/proc/12729/task/12753/stat : 12753 (java) R 12727 12727 9724 0 -1 4202560 66 0 0 0 375 0 0 0 20 0 28 0 104888349 27175628800 65283 33554432000 4194304 4196468 140727808486256 139624606121344 139626389706566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12754] ppid=12727 vsize=26538700 memory=0 CPUtime=3.51 cores=0-7
/proc/12729/task/12754/stat : 12754 (java) R 12727 12727 9724 0 -1 4202560 95 0 0 0 351 0 0 0 20 0 28 0 104888349 27175628800 65283 33554432000 4194304 4196468 140727808486256 139624605068896 139626389791966 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12755] ppid=12727 vsize=26538700 memory=0 CPUtime=3.57 cores=0-7
/proc/12729/task/12755/stat : 12755 (java) R 12727 12727 9724 0 -1 4202560 85 0 0 0 357 0 0 0 20 0 28 0 104888349 27175628800 65283 33554432000 4194304 4196468 140727808486256 139624604017000 139626389706801 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12756] ppid=12727 vsize=26538700 memory=0 CPUtime=3.46 cores=0-7
/proc/12729/task/12756/stat : 12756 (java) R 12727 12727 9724 0 -1 4202560 166 0 0 0 346 0 0 0 20 0 28 0 104888349 27175628800 65283 33554432000 4194304 4196468 140727808486256 139624602964456 139626390083195 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
Current children cumulated CPU time: 34.18 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 262516 KiB

[startup+5.201 s]
/proc/loadavg: 5.19 5.65 7.07 9/207 12756
/proc/meminfo: memFree=31247696/32770624 swapFree=67108860/67108860
[pid=12727] ppid=12724 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/12727/stat : 12727 (xcsp3-exec) S 12724 12727 9724 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104888266 9740288 346 33554432000 4194304 5098028 140723714621536 140723714619640 140154225451644 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33148928 140723714630757 140723714630967 140723714630967 140723714633707 0
/proc/12727/statm: 2378 346 289 221 0 87 0
[pid=12729] ppid=12727 vsize=26538700 memory=236600 CPUtime=37.37 cores=0-7
/proc/12729/stat : 12729 (java) S 12727 12727 9724 0 -1 1077944320 35354 0 0 0 3721 16 0 0 20 0 28 0 104888266 27175628800 59150 33554432000 4194304 4196468 140727808486256 140727808468800 139626759646967 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
/proc/12729/statm: 6634675 59150 3261 1 0 6621909 0
[pid=12729/tid=12730] ppid=12727 vsize=26538700 memory=0 CPUtime=0.78 cores=0-7
/proc/12729/task/12730/stat : 12730 (java) S 12727 12727 9724 0 -1 1077944384 6799 0 0 0 73 5 0 0 20 0 28 0 104888266 27175628800 59150 33554432000 4194304 4196468 140727808486256 139626763887744 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12731] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12731/stat : 12731 (java) S 12727 12727 9724 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 104888267 27175628800 59150 33554432000 4194304 4196468 140727808486256 139626712267792 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12732] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12732/stat : 12732 (java) S 12727 12727 9724 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 104888267 27175628800 59150 33554432000 4194304 4196468 140727808486256 139626711215248 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12733] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12733/stat : 12733 (java) S 12727 12727 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104888267 27175628800 59150 33554432000 4194304 4196468 140727808486256 139626710162192 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12734] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12734/stat : 12734 (java) S 12727 12727 9724 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 104888267 27175628800 59150 33554432000 4194304 4196468 140727808486256 139626709109648 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12735] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12735/stat : 12735 (java) S 12727 12727 9724 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 104888267 27175628800 59150 33554432000 4194304 4196468 140727808486256 139626708056592 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12736] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12736/stat : 12736 (java) S 12727 12727 9724 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 104888267 27175628800 59150 33554432000 4194304 4196468 140727808486256 139626707004048 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12737] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12737/stat : 12737 (java) S 12727 12727 9724 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 104888267 27175628800 59150 33554432000 4194304 4196468 140727808486256 139626705950992 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12738] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12738/stat : 12738 (java) S 12727 12727 9724 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 104888267 27175628800 59150 33554432000 4194304 4196468 140727808486256 139626704898448 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12739] ppid=12727 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/12729/task/12739/stat : 12739 (java) S 12727 12727 9724 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 28 0 104888269 27175628800 59150 33554432000 4194304 4196468 140727808486256 139624963865328 139626759658114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12740] ppid=12727 vsize=26538700 memory=56 CPUtime=0 cores=0-7
/proc/12729/task/12740/stat : 12740 (java) S 12727 12727 9724 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 104888269 27175628800 59150 33554432000 4194304 4196468 140727808486256 139624962811616 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12741] ppid=12727 vsize=26538700 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/12729/task/12741/stat : 12741 (java) S 12727 12727 9724 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 104888270 27175628800 59150 33554432000 4194304 4196468 140727808486256 139624961758448 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12742] ppid=12727 vsize=26538700 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/12729/task/12742/stat : 12742 (java) S 12727 12727 9724 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 104888272 27175628800 59150 33554432000 4194304 4196468 140727808486256 139624960707024 139626759665563 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12743] ppid=12727 vsize=26538700 memory=6943526294502006880 CPUtime=1.48 cores=0-7
/proc/12729/task/12743/stat : 12743 (java) S 12727 12727 9724 0 -1 1077944384 7570 0 0 0 146 2 0 0 20 0 28 0 104888272 27175628800 59150 33554432000 4194304 4196468 140727808486256 139624959654128 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12744] ppid=12727 vsize=26538700 memory=0 CPUtime=1.59 cores=0-7
/proc/12729/task/12744/stat : 12744 (java) S 12727 12727 9724 0 -1 1077944384 7435 0 0 0 158 1 0 0 20 0 28 0 104888272 27175628800 59150 33554432000 4194304 4196468 140727808486256 139624622057840 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12745] ppid=12727 vsize=26538700 memory=3472592205010612482 CPUtime=1.43 cores=0-7
/proc/12729/task/12745/stat : 12745 (java) S 12727 12727 9724 0 -1 1077944384 6245 0 0 0 142 1 0 0 20 0 28 0 104888272 27175628800 59150 33554432000 4194304 4196468 140727808486256 139624621004784 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12746] ppid=12727 vsize=26538700 memory=0 CPUtime=0.61 cores=0-7
/proc/12729/task/12746/stat : 12746 (java) S 12727 12727 9724 0 -1 1077944384 2871 0 0 0 60 1 0 0 20 0 28 0 104888272 27175628800 59150 33554432000 4194304 4196468 140727808486256 139624619952240 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12747] ppid=12727 vsize=26538700 memory=279415271457008 CPUtime=0 cores=0-7
/proc/12729/task/12747/stat : 12747 (java) S 12727 12727 9724 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 104888272 27175628800 59150 33554432000 4194304 4196468 140727808486256 139624618900448 139626759657173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12748] ppid=12727 vsize=26538700 memory=4420 CPUtime=0 cores=0-7
/proc/12729/task/12748/stat : 12748 (java) S 12727 12727 9724 0 -1 1077944384 1584 0 0 0 0 0 0 0 20 0 28 0 104888273 27175628800 59150 33554432000 4194304 4196468 140727808486256 139624617847984 139626759658114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12749] ppid=12727 vsize=26538700 memory=0 CPUtime=3.94 cores=0-7
/proc/12729/task/12749/stat : 12749 (java) R 12727 12727 9724 0 -1 4202560 98 0 0 0 394 0 0 0 20 0 28 0 104888347 27175628800 59150 33554432000 4194304 4196468 140727808486256 139624610331792 139626390631657 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12750] ppid=12727 vsize=26538700 memory=7649399379953398321 CPUtime=3.79 cores=0-7
/proc/12729/task/12750/stat : 12750 (java) R 12727 12727 9724 0 -1 4202560 133 0 0 0 379 0 0 0 20 0 28 0 104888348 27175628800 59150 33554432000 4194304 4196468 140727808486256 139624609279984 139626389706748 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12751] ppid=12727 vsize=26538700 memory=7517159033909830208 CPUtime=3.85 cores=0-7
/proc/12729/task/12751/stat : 12751 (java) R 12727 12727 9724 0 -1 4202560 172 0 0 0 385 0 0 0 20 0 28 0 104888348 27175628800 59150 33554432000 4194304 4196468 140727808486256 139624608227784 139626389706933 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12752] ppid=12727 vsize=26538700 memory=7380671248541445222 CPUtime=3.86 cores=0-7
/proc/12729/task/12752/stat : 12752 (java) R 12727 12727 9724 0 -1 4202560 116 0 0 0 386 0 0 0 20 0 28 0 104888349 27175628800 59150 33554432000 4194304 4196468 140727808486256 139624607174632 139626389706928 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12753] ppid=12727 vsize=26538700 memory=7597132098393106257 CPUtime=4.15 cores=0-7
/proc/12729/task/12753/stat : 12753 (java) R 12727 12727 9724 0 -1 4202560 72 0 0 0 415 0 0 0 20 0 28 0 104888349 27175628800 59150 33554432000 4194304 4196468 140727808486256 139624606121728 139626389706836 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12754] ppid=12727 vsize=26538700 memory=7451321450569023592 CPUtime=3.91 cores=0-7
/proc/12729/task/12754/stat : 12754 (java) R 12727 12727 9724 0 -1 4202560 117 0 0 0 391 0 0 0 20 0 28 0 104888349 27175628800 59150 33554432000 4194304 4196468 140727808486256 139624605068896 139626389706185 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12755] ppid=12727 vsize=26538700 memory=3977858492804911209 CPUtime=3.94 cores=0-7
/proc/12729/task/12755/stat : 12755 (java) R 12727 12727 9724 0 -1 4202560 102 0 0 0 394 0 0 0 20 0 28 0 104888349 27175628800 59150 33554432000 4194304 4196468 140727808486256 139624604016864 139626389705727 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
[pid=12729/tid=12756] ppid=12727 vsize=26538700 memory=0 CPUtime=3.86 cores=0-7
/proc/12729/task/12756/stat : 12756 (java) R 12727 12727 9724 0 -1 4202560 213 0 0 0 386 0 0 0 20 0 28 0 104888349 27175628800 59150 33554432000 4194304 4196468 140727808486256 139624602963968 139626389706252 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9412608 140727808488594 140727808488771 140727808488771 140727808491471 0
Current children cumulated CPU time: 37.37 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 237984 KiB

Child status: 0
Real time (s): 5.29756
CPU time (s): 38.0622
CPU user time (s): 37.8853
CPU system time (s): 0.176993
CPU usage (%): 718.487
Max. virtual memory (cumulated for all children) (KiB): 26550280
Max. memory (cumulated for all children) (KiB): 262704

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.8853
system time used= 0.176993
maximum resident set size= 261324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37260
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3406
involuntary context switches= 793


# summary of solver processes directly reported to runsolver:
#   pid: 12727
#   total CPU time (s): 38.0622
#   total CPU user time (s): 37.8853
#   total CPU system time (s): 0.176993

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077174 second user time and 0.088868 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-14 15:25:48
IDJOB=4271146
IDBENCH=125701
IDSOLVER=2662
FILE ID=node113/4271146-1502718006
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-reg2ext-s1/reg-s20-p03-c20-d10-n10-l5-30.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-4271146-1502718006/watcher-4271146-1502718006 -o /tmp/evaluation-result-4271146-1502718006/solver-4271146-1502718006 -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 111718621 HOME/instance-4271146-1502718006.xml

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

MD5SUM BENCH= 65e58671dc4199faf26ac203b1450cb4
RANDOM SEED=111718621

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:        31496240 kB
MemAvailable:   31972932 kB
Buffers:          170484 kB
Cached:           581756 kB
SwapCached:            0 kB
Active:           581608 kB
Inactive:         224848 kB
Active(anon):       4528 kB
Inactive(anon):    77668 kB
Active(file):     577080 kB
Inactive(file):   147180 kB
Unevictable:        6588 kB
Mlocked:            6588 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8004 kB
Writeback:             0 kB
AnonPages:        198248 kB
Mapped:            44264 kB
Shmem:             25224 kB
Slab:             163128 kB
SReclaimable:     136532 kB
SUnreclaim:        26596 kB
KernelStack:        3952 kB
PageTables:         4936 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:    143360 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:25:53