Trace number 4280933

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-18)UNSAT 88.0868 45.200298

General information on the benchmark

NameQRandom/QRandom-bdd-18-21-2/
bdd-18-21-2-133-78-06.xml
MD5SUMc11db23a97f48af6ae936ba62121dffc
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 benchmark13.1703
Satisfiable
(Un)Satisfiability was proved
Number of variables21
Number of constraints133
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":21}]
Minimum variable degree106
Maximum variable degree123
Distribution of variable degrees[{"degree":106,"count":1},{"degree":107,"count":1},{"degree":108,"count":1},{"degree":111,"count":2},{"degree":112,"count":4},{"degree":113,"count":2},{"degree":114,"count":1},{"degree":116,"count":1},{"degree":117,"count":4},{"degree":118,"count":2},{"degree":120,"count":1},{"degree":123,"count":1}]
Minimum constraint arity18
Maximum constraint arity18
Distribution of constraint arities[{"arity":18,"count":133}]
Number of extensional constraints133
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":133}]
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-4280933-1503135531.xml"  -tl '20160s' -p 8 -x 0
0.13/0.14	c [HOME/instance-4280933-1503135531.xml, -tl, 20160s, -p, 8, -x, 0]
0.13/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
47.92/40.13	c solve instance...
87.49/45.18	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 (10800 MiB free)
  memory of node 1: 16384 MiB (10081 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280933-1503135531/watcher-4280933-1503135531 -o /tmp/evaluation-result-4280933-1503135531/solver-4280933-1503135531 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503132049-19687 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1238629109 HOME/instance-4280933-1503135531.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=21530, runsolver pid=21527
Current StackSize limit: 8192 KiB


[startup+0.109715 s]*
/proc/loadavg: 3.27 6.77 7.72 2/200 21551
/proc/meminfo: memFree=21367244/32770624 swapFree=67108860/67108860
[pid=21530] ppid=21527 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21530/stat : 21530 (xcsp3-exec) S 21527 21530 19660 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146633813 9740288 345 33554432000 4194304 5098028 140722858769728 140722858767832 140676908630652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13242368 140722858771556 140722858771767 140722858771767 140722858774507 0
/proc/21530/statm: 2378 345 289 221 0 87 0
[pid=21532] ppid=21530 vsize=25999808 memory=27200 CPUtime=0.13 cores=0-7
/proc/21532/stat : 21532 (java) S 21530 21530 19660 0 -1 1077944320 5589 0 0 0 12 1 0 0 20 0 20 0 146633813 26623803392 6800 33554432000 4194304 4196468 140722658630368 140722658612912 140103732965111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
/proc/21532/statm: 6499952 6800 2914 1 0 6488269 0
[pid=21532/tid=21533] ppid=21530 vsize=25999808 memory=4134930498285298233 CPUtime=0.1 cores=0-7
/proc/21532/task/21533/stat : 21533 (java) R 21530 21530 19660 0 -1 4202560 3513 0 0 0 9 1 0 0 20 0 20 0 146633813 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103737194704 140103732977046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21534] ppid=21530 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21534/stat : 21534 (java) S 21530 21530 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146633814 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103655545488 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21535] ppid=21530 vsize=25999808 memory=140503919785600 CPUtime=0 cores=0-7
/proc/21532/task/21535/stat : 21535 (java) S 21530 21530 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146633814 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103654492688 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21536] ppid=21530 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21536/stat : 21536 (java) S 21530 21530 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146633814 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103653439888 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21537] ppid=21530 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21537/stat : 21537 (java) S 21530 21530 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146633814 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103652387088 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21538] ppid=21530 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21538/stat : 21538 (java) S 21530 21530 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146633814 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103651335312 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21539] ppid=21530 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21532/task/21539/stat : 21539 (java) S 21530 21530 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146633814 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103650282512 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21540] ppid=21530 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21540/stat : 21540 (java) S 21530 21530 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146633814 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103649229712 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21541] ppid=21530 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21541/stat : 21541 (java) S 21530 21530 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146633814 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103648176912 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21542] ppid=21530 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21542/stat : 21542 (java) S 21530 21530 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146633815 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103128205680 140103732976258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21543] ppid=21530 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21543/stat : 21543 (java) S 21530 21530 19660 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146633816 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103127151648 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21544] ppid=21530 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21544/stat : 21544 (java) S 21530 21530 19660 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146633816 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103126098800 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21545] ppid=21530 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21545/stat : 21545 (java) S 21530 21530 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146633819 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103125047120 140103732983707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21546] ppid=21530 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21546/stat : 21546 (java) S 21530 21530 19660 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 20 0 146633819 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103123995504 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21547] ppid=21530 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21547/stat : 21547 (java) S 21530 21530 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146633819 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103122942704 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21548] ppid=21530 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21548/stat : 21548 (java) S 21530 21530 19660 0 -1 1077944384 266 0 0 0 0 0 0 0 20 0 20 0 146633819 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103121889904 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21549] ppid=21530 vsize=25999808 memory=0 CPUtime=0.02 cores=0-7
/proc/21532/task/21549/stat : 21549 (java) R 21530 21530 19660 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 20 0 146633819 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103120837104 140103711910816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21550] ppid=21530 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21550/stat : 21550 (java) S 21530 21530 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146633819 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103119784544 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21551] ppid=21530 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/21532/task/21551/stat : 21551 (java) S 21530 21530 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146633819 26623803392 6800 33554432000 4194304 4196468 140722658630368 140103118731824 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28580 KiB

[startup+0.210475 s]*
/proc/loadavg: 3.27 6.77 7.72 3/200 21551
/proc/meminfo: memFree=21356152/32770624 swapFree=67108860/67108860
[pid=21530] ppid=21527 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21530/stat : 21530 (xcsp3-exec) S 21527 21530 19660 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146633813 9740288 345 33554432000 4194304 5098028 140722858769728 140722858767832 140676908630652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13242368 140722858771556 140722858771767 140722858771767 140722858774507 0
/proc/21530/statm: 2378 345 289 221 0 87 0
[pid=21532] ppid=21530 vsize=26004064 memory=38604 CPUtime=0.32 cores=0-7
/proc/21532/stat : 21532 (java) S 21530 21530 19660 0 -1 1077944320 8332 0 0 0 30 2 0 0 20 0 20 0 146633813 26628161536 9651 33554432000 4194304 4196468 140722658630368 140722658612912 140103732965111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
/proc/21532/statm: 6501016 9651 3018 1 0 6488269 0
[pid=21532/tid=21533] ppid=21530 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/21532/task/21533/stat : 21533 (java) R 21530 21530 19660 0 -1 4202560 5408 0 0 0 18 1 0 0 20 0 20 0 146633813 26628161536 9651 33554432000 4194304 4196468 140722658630368 140103737186104 140103712934512 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21534] ppid=21530 vsize=26004064 memory=330 CPUtime=0 cores=0-7
/proc/21532/task/21534/stat : 21534 (java) S 21530 21530 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146633814 26628161536 9651 33554432000 4194304 4196468 140722658630368 140103655545488 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21535] ppid=21530 vsize=26004064 memory=140503920769574 CPUtime=0 cores=0-7
/proc/21532/task/21535/stat : 21535 (java) S 21530 21530 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146633814 26628161536 9651 33554432000 4194304 4196468 140722658630368 140103654492688 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21536] ppid=21530 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21532/task/21536/stat : 21536 (java) S 21530 21530 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146633814 26628161536 9651 33554432000 4194304 4196468 140722658630368 140103653439888 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21537] ppid=21530 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21537/stat : 21537 (java) S 21530 21530 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146633814 26628161536 9651 33554432000 4194304 4196468 140722658630368 140103652387088 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21538] ppid=21530 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21538/stat : 21538 (java) S 21530 21530 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146633814 26628161536 9651 33554432000 4194304 4196468 140722658630368 140103651335312 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21539] ppid=21530 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21532/task/21539/stat : 21539 (java) S 21530 21530 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146633814 26628161536 9651 33554432000 4194304 4196468 140722658630368 140103650282512 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21540] ppid=21530 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21540/stat : 21540 (java) S 21530 21530 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146633814 26628161536 9651 33554432000 4194304 4196468 140722658630368 140103649229712 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21541] ppid=21530 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21541/stat : 21541 (java) S 21530 21530 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146633814 26628161536 9716 33554432000 4194304 4196468 140722658630368 140103648176912 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21542] ppid=21530 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21542/stat : 21542 (java) S 21530 21530 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146633815 26628161536 9716 33554432000 4194304 4196468 140722658630368 140103128205680 140103732976258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21543] ppid=21530 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21543/stat : 21543 (java) S 21530 21530 19660 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146633816 26628161536 9716 33554432000 4194304 4196468 140722658630368 140103127151648 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21544] ppid=21530 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21544/stat : 21544 (java) S 21530 21530 19660 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146633816 26628161536 9716 33554432000 4194304 4196468 140722658630368 140103126098800 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21545] ppid=21530 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21545/stat : 21545 (java) S 21530 21530 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146633819 26628161536 9716 33554432000 4194304 4196468 140722658630368 140103125047120 140103732983707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21546] ppid=21530 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21532/task/21546/stat : 21546 (java) S 21530 21530 19660 0 -1 1077944384 196 0 0 0 1 0 0 0 20 0 20 0 146633819 26628161536 9716 33554432000 4194304 4196468 140722658630368 140103123995504 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21547] ppid=21530 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/21532/task/21547/stat : 21547 (java) S 21530 21530 19660 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 20 0 146633819 26628161536 9716 33554432000 4194304 4196468 140722658630368 140103122942704 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21548] ppid=21530 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/21532/task/21548/stat : 21548 (java) S 21530 21530 19660 0 -1 1077944384 390 0 0 0 1 0 0 0 20 0 20 0 146633819 26628161536 9716 33554432000 4194304 4196468 140722658630368 140103121889904 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21549] ppid=21530 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/21532/task/21549/stat : 21549 (java) R 21530 21530 19660 0 -1 4202560 793 0 0 0 7 0 0 0 20 0 20 0 146633819 26628161536 9716 33554432000 4194304 4196468 140722658630368 140103120837104 140103725202238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21550] ppid=21530 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21550/stat : 21550 (java) S 21530 21530 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146633819 26628161536 9716 33554432000 4194304 4196468 140722658630368 140103119784544 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21551] ppid=21530 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21532/task/21551/stat : 21551 (java) S 21530 21530 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146633819 26628161536 9716 33554432000 4194304 4196468 140722658630368 140103118731824 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39984 KiB

[startup+0.316805 s]*
/proc/loadavg: 3.27 6.77 7.72 3/200 21551
/proc/meminfo: memFree=21349700/32770624 swapFree=67108860/67108860
[pid=21530] ppid=21527 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21530/stat : 21530 (xcsp3-exec) S 21527 21530 19660 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146633813 9740288 345 33554432000 4194304 5098028 140722858769728 140722858767832 140676908630652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13242368 140722858771556 140722858771767 140722858771767 140722858774507 0
/proc/21530/statm: 2378 345 289 221 0 87 0
[pid=21532] ppid=21530 vsize=26004064 memory=46336 CPUtime=0.51 cores=0-7
/proc/21532/stat : 21532 (java) S 21530 21530 19660 0 -1 1077944320 9278 0 0 0 48 3 0 0 20 0 20 0 146633813 26628161536 11584 33554432000 4194304 4196468 140722658630368 140722658612912 140103732965111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
/proc/21532/statm: 6501016 11584 3110 1 0 6488269 0
[pid=21532/tid=21533] ppid=21530 vsize=26004064 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/21532/task/21533/stat : 21533 (java) R 21530 21530 19660 0 -1 4202560 6067 0 0 0 28 2 0 0 20 0 20 0 146633813 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103737199168 140103732987037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21534] ppid=21530 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21534/stat : 21534 (java) S 21530 21530 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146633814 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103655545488 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21535] ppid=21530 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21535/stat : 21535 (java) S 21530 21530 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146633814 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103654492688 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21536] ppid=21530 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21536/stat : 21536 (java) S 21530 21530 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146633814 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103653439888 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21537] ppid=21530 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21537/stat : 21537 (java) S 21530 21530 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146633814 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103652387088 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21538] ppid=21530 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/21532/task/21538/stat : 21538 (java) S 21530 21530 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146633814 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103651335312 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21539] ppid=21530 vsize=26004064 memory=140503815386031 CPUtime=0 cores=0-7
/proc/21532/task/21539/stat : 21539 (java) S 21530 21530 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146633814 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103650282512 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21540] ppid=21530 vsize=26004064 memory=140503815388336 CPUtime=0 cores=0-7
/proc/21532/task/21540/stat : 21540 (java) S 21530 21530 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146633814 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103649229712 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21541] ppid=21530 vsize=26004064 memory=140503815390640 CPUtime=0 cores=0-7
/proc/21532/task/21541/stat : 21541 (java) S 21530 21530 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146633814 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103648176912 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21542] ppid=21530 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21542/stat : 21542 (java) S 21530 21530 19660 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 146633815 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103128205680 140103732976258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21543] ppid=21530 vsize=26004064 memory=281007630788240 CPUtime=0 cores=0-7
/proc/21532/task/21543/stat : 21543 (java) S 21530 21530 19660 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 146633816 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103127151648 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21544] ppid=21530 vsize=26004064 memory=281007630795152 CPUtime=0 cores=0-7
/proc/21532/task/21544/stat : 21544 (java) S 21530 21530 19660 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 146633816 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103126098800 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21545] ppid=21530 vsize=26004064 memory=281007630736432 CPUtime=0 cores=0-7
/proc/21532/task/21545/stat : 21545 (java) S 21530 21530 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146633819 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103125047120 140103732983707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21546] ppid=21530 vsize=26004064 memory=281007630808976 CPUtime=0.02 cores=0-7
/proc/21532/task/21546/stat : 21546 (java) S 21530 21530 19660 0 -1 1077944384 341 0 0 0 2 0 0 0 20 0 20 0 146633819 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103123995504 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21547] ppid=21530 vsize=26004064 memory=281007630815888 CPUtime=0.02 cores=0-7
/proc/21532/task/21547/stat : 21547 (java) R 21530 21530 19660 0 -1 4202560 260 0 0 0 2 0 0 0 20 0 20 0 146633819 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103122942704 140103713665408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21548] ppid=21530 vsize=26004064 memory=281007630813584 CPUtime=0.03 cores=0-7
/proc/21532/task/21548/stat : 21548 (java) R 21530 21530 19660 0 -1 4202560 416 0 0 0 3 0 0 0 20 0 20 0 146633819 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103121889904 140103714508834 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21549] ppid=21530 vsize=26004064 memory=281007630829744 CPUtime=0.12 cores=0-7
/proc/21532/task/21549/stat : 21549 (java) S 21530 21530 19660 0 -1 1077944384 886 0 0 0 12 0 0 0 20 0 20 0 146633819 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103120837104 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21550] ppid=21530 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21550/stat : 21550 (java) S 21530 21530 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 146633819 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103119784544 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21551] ppid=21530 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/21532/task/21551/stat : 21551 (java) S 21530 21530 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 146633819 26628161536 11584 33554432000 4194304 4196468 140722658630368 140103118731824 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47716 KiB

[startup+0.700961 s]
/proc/loadavg: 3.27 6.77 7.72 5/200 21551
/proc/meminfo: memFree=21289204/32770624 swapFree=67108860/67108860
[pid=21530] ppid=21527 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21530/stat : 21530 (xcsp3-exec) S 21527 21530 19660 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146633813 9740288 345 33554432000 4194304 5098028 140722858769728 140722858767832 140676908630652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13242368 140722858771556 140722858771767 140722858771767 140722858774507 0
/proc/21530/statm: 2378 345 289 221 0 87 0
[pid=21532] ppid=21530 vsize=26004140 memory=206664 CPUtime=1.61 cores=0-7
/proc/21532/stat : 21532 (java) S 21530 21530 19660 0 -1 1077944320 13164 0 0 0 152 9 0 0 20 0 20 0 146633813 26628239360 51666 33554432000 4194304 4196468 140722658630368 140722658612912 140103732965111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
/proc/21532/statm: 6501035 51666 3199 1 0 6488269 0
[pid=21532/tid=21533] ppid=21530 vsize=26004140 memory=281007631187632 CPUtime=0.66 cores=0-7
/proc/21532/task/21533/stat : 21533 (java) R 21530 21530 19660 0 -1 4202560 6451 0 0 0 62 4 0 0 20 0 20 0 146633813 26628239360 51666 33554432000 4194304 4196468 140722658630368 140103737184688 140103326401294 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21534] ppid=21530 vsize=26004140 memory=140503815594864 CPUtime=0 cores=0-7
/proc/21532/task/21534/stat : 21534 (java) S 21530 21530 19660 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 146633814 26628239360 51666 33554432000 4194304 4196468 140722658630368 140103655545488 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21535] ppid=21530 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/21532/task/21535/stat : 21535 (java) S 21530 21530 19660 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 146633814 26628239360 51666 33554432000 4194304 4196468 140722658630368 140103654492688 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21536] ppid=21530 vsize=26004140 memory=8736 CPUtime=0 cores=0-7
/proc/21532/task/21536/stat : 21536 (java) S 21530 21530 19660 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 146633814 26628239360 51666 33554432000 4194304 4196468 140722658630368 140103653439888 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0

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

[pid=21532/tid=21549] ppid=21530 vsize=26538700 memory=1952 CPUtime=0.59 cores=0-7
/proc/21532/task/21549/stat : 21549 (java) S 21530 21530 19660 0 -1 1077944384 5743 0 0 0 58 1 0 0 20 0 28 0 146633819 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103120837104 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21550] ppid=21530 vsize=26538700 memory=8736 CPUtime=0 cores=0-7
/proc/21532/task/21550/stat : 21550 (java) S 21530 21530 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146633819 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103119784544 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21551] ppid=21530 vsize=26538700 memory=4620 CPUtime=0.01 cores=0-7
/proc/21532/task/21551/stat : 21551 (java) S 21530 21530 19660 0 -1 1077944384 198 0 0 0 0 1 0 0 20 0 28 0 146633819 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103118731824 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21553] ppid=21530 vsize=26538700 memory=2208 CPUtime=4.24 cores=0-7
/proc/21532/task/21553/stat : 21553 (java) R 21530 21530 19660 0 -1 4202560 1074 0 0 0 423 1 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103111215960 140103332206484 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21554] ppid=21530 vsize=26538700 memory=8052 CPUtime=4.31 cores=0-7
/proc/21532/task/21554/stat : 21554 (java) R 21530 21530 19660 0 -1 4202560 201 0 0 0 431 0 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103110164376 140103332130108 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21555] ppid=21530 vsize=26538700 memory=844 CPUtime=4.37 cores=0-7
/proc/21532/task/21555/stat : 21555 (java) R 21530 21530 19660 0 -1 4202560 376 0 0 0 437 0 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140101850485528 140103332130090 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21556] ppid=21530 vsize=26538700 memory=1696 CPUtime=4.43 cores=0-7
/proc/21532/task/21556/stat : 21556 (java) R 21530 21530 19660 0 -1 4202560 733 0 0 0 441 2 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140101849432608 140103332130090 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21557] ppid=21530 vsize=26538700 memory=920 CPUtime=4.16 cores=0-7
/proc/21532/task/21557/stat : 21557 (java) R 21530 21530 19660 0 -1 4202560 371 0 0 0 414 2 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140101848379928 140103332180213 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21558] ppid=21530 vsize=26538700 memory=4384 CPUtime=4.5 cores=0-7
/proc/21532/task/21558/stat : 21558 (java) R 21530 21530 19660 0 -1 4202560 216 0 0 0 447 3 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140101847327176 140103332179757 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21559] ppid=21530 vsize=26538700 memory=4108 CPUtime=4.36 cores=0-7
/proc/21532/task/21559/stat : 21559 (java) R 21530 21530 19660 0 -1 4202560 404 0 0 0 433 3 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140101846274760 140103332178961 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21560] ppid=21530 vsize=26538700 memory=1152 CPUtime=4.57 cores=0-7
/proc/21532/task/21560/stat : 21560 (java) R 21530 21530 19660 0 -1 4202560 353 0 0 0 457 0 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140101845221392 140103332179857 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
Current children cumulated CPU time: 85.02 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1473840 KiB

[startup+45.0017 s]*
/proc/loadavg: 2.31 6.08 7.45 9/207 21560
/proc/meminfo: memFree=19921408/32770624 swapFree=67108860/67108860
[pid=21530] ppid=21527 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21530/stat : 21530 (xcsp3-exec) S 21527 21530 19660 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146633813 9740288 345 33554432000 4194304 5098028 140722858769728 140722858767832 140676908630652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13242368 140722858771556 140722858771767 140722858771767 140722858774507 0
/proc/21530/statm: 2378 345 289 221 0 87 0
[pid=21532] ppid=21530 vsize=26538700 memory=1472460 CPUtime=86.7 cores=0-7
/proc/21532/stat : 21532 (java) S 21530 21530 19660 0 -1 1077944320 50998 0 0 0 8497 173 0 0 20 0 28 0 146633813 27175628800 368115 33554432000 4194304 4196468 140722658630368 140722658612912 140103732965111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
/proc/21532/statm: 6634675 368115 3277 1 0 6621909 0
[pid=21532/tid=21533] ppid=21530 vsize=26538700 memory=932 CPUtime=38.07 cores=0-7
/proc/21532/task/21533/stat : 21533 (java) S 21530 21530 19660 0 -1 1077944384 11644 0 0 0 3795 12 0 0 20 0 28 0 146633813 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103737205888 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21534] ppid=21530 vsize=26538700 memory=1572 CPUtime=0.8 cores=0-7
/proc/21532/task/21534/stat : 21534 (java) S 21530 21530 19660 0 -1 1077944384 749 0 0 0 65 15 0 0 20 0 28 0 146633814 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103655545488 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21535] ppid=21530 vsize=26538700 memory=2244 CPUtime=0.79 cores=0-7
/proc/21532/task/21535/stat : 21535 (java) S 21530 21530 19660 0 -1 1077944384 702 0 0 0 65 14 0 0 20 0 28 0 146633814 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103654492688 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21536] ppid=21530 vsize=26538700 memory=6791534058613427641 CPUtime=0.81 cores=0-7
/proc/21532/task/21536/stat : 21536 (java) S 21530 21530 19660 0 -1 1077944384 707 0 0 0 66 15 0 0 20 0 28 0 146633814 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103653439888 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21537] ppid=21530 vsize=26538700 memory=0 CPUtime=0.79 cores=0-7
/proc/21532/task/21537/stat : 21537 (java) S 21530 21530 19660 0 -1 1077944384 931 0 0 0 63 16 0 0 20 0 28 0 146633814 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103652387088 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21538] ppid=21530 vsize=26538700 memory=6944656575208382560 CPUtime=0.8 cores=0-7
/proc/21532/task/21538/stat : 21538 (java) S 21530 21530 19660 0 -1 1077944384 937 0 0 0 61 19 0 0 20 0 28 0 146633814 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103651335312 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21539] ppid=21530 vsize=26538700 memory=6655300316396806240 CPUtime=0.82 cores=0-7
/proc/21532/task/21539/stat : 21539 (java) S 21530 21530 19660 0 -1 1077944384 1003 0 0 0 62 20 0 0 20 0 28 0 146633814 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103650282512 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21540] ppid=21530 vsize=26538700 memory=6656426216303648864 CPUtime=0.82 cores=0-7
/proc/21532/task/21540/stat : 21540 (java) S 21530 21530 19660 0 -1 1077944384 1218 0 0 0 66 16 0 0 20 0 28 0 146633814 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103649229712 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21541] ppid=21530 vsize=26538700 memory=6944652177228980320 CPUtime=0.79 cores=0-7
/proc/21532/task/21541/stat : 21541 (java) S 21530 21530 19660 0 -1 1077944384 1110 0 0 0 61 18 0 0 20 0 28 0 146633814 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103648176912 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21542] ppid=21530 vsize=26538700 memory=0 CPUtime=1.2 cores=0-7
/proc/21532/task/21542/stat : 21542 (java) S 21530 21530 19660 0 -1 1077944384 2737 0 0 0 119 1 0 0 20 0 28 0 146633815 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103128205680 140103732976258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21543] ppid=21530 vsize=26538700 memory=-7025452035940392864 CPUtime=0 cores=0-7
/proc/21532/task/21543/stat : 21543 (java) S 21530 21530 19660 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 146633816 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103127151712 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21544] ppid=21530 vsize=26538700 memory=302304349248553316 CPUtime=0 cores=0-7
/proc/21532/task/21544/stat : 21544 (java) S 21530 21530 19660 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 146633816 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103126098816 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21545] ppid=21530 vsize=26538700 memory=281007632311104 CPUtime=0 cores=0-7
/proc/21532/task/21545/stat : 21545 (java) S 21530 21530 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146633819 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103125047120 140103732983707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21546] ppid=21530 vsize=26538700 memory=3540022725735038592 CPUtime=1.09 cores=0-7
/proc/21532/task/21546/stat : 21546 (java) S 21530 21530 19660 0 -1 1077944384 5096 0 0 0 108 1 0 0 20 0 28 0 146633819 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103123995504 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21547] ppid=21530 vsize=26538700 memory=1732 CPUtime=1.01 cores=0-7
/proc/21532/task/21547/stat : 21547 (java) S 21530 21530 19660 0 -1 1077944384 4274 0 0 0 100 1 0 0 20 0 28 0 146633819 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103122942704 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21548] ppid=21530 vsize=26538700 memory=1224 CPUtime=1.47 cores=0-7
/proc/21532/task/21548/stat : 21548 (java) S 21530 21530 19660 0 -1 1077944384 8553 0 0 0 145 2 0 0 20 0 28 0 146633819 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103121889904 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21549] ppid=21530 vsize=26538700 memory=12136 CPUtime=0.59 cores=0-7
/proc/21532/task/21549/stat : 21549 (java) S 21530 21530 19660 0 -1 1077944384 5743 0 0 0 58 1 0 0 20 0 28 0 146633819 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103120837104 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21550] ppid=21530 vsize=26538700 memory=5792 CPUtime=0 cores=0-7
/proc/21532/task/21550/stat : 21550 (java) S 21530 21530 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146633819 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103119784544 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21551] ppid=21530 vsize=26538700 memory=796 CPUtime=0.01 cores=0-7
/proc/21532/task/21551/stat : 21551 (java) S 21530 21530 19660 0 -1 1077944384 220 0 0 0 0 1 0 0 20 0 28 0 146633819 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103118731824 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21553] ppid=21530 vsize=26538700 memory=84 CPUtime=4.45 cores=0-7
/proc/21532/task/21553/stat : 21553 (java) R 21530 21530 19660 0 -1 4202560 1105 0 0 0 444 1 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103111215960 140103332130026 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21554] ppid=21530 vsize=26538700 memory=1399103955520229747 CPUtime=4.52 cores=0-7
/proc/21532/task/21554/stat : 21554 (java) R 21530 21530 19660 0 -1 4202560 255 0 0 0 452 0 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103110164376 140103332129655 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21555] ppid=21530 vsize=26538700 memory=7752549240514114323 CPUtime=4.57 cores=0-7
/proc/21532/task/21555/stat : 21555 (java) R 21530 21530 19660 0 -1 4202560 420 0 0 0 457 0 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140101850485528 140103332129945 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21556] ppid=21530 vsize=26538700 memory=8292148140386801351 CPUtime=4.64 cores=0-7
/proc/21532/task/21556/stat : 21556 (java) R 21530 21530 19660 0 -1 4202560 790 0 0 0 462 2 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140101849432608 140103332179857 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21557] ppid=21530 vsize=26538700 memory=8028676333680759155 CPUtime=4.37 cores=0-7
/proc/21532/task/21557/stat : 21557 (java) R 21530 21530 19660 0 -1 4202560 390 0 0 0 435 2 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140101848379928 140103332129962 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21558] ppid=21530 vsize=26538700 memory=8475934422144292502 CPUtime=4.71 cores=0-7
/proc/21532/task/21558/stat : 21558 (java) R 21530 21530 19660 0 -1 4202560 245 0 0 0 468 3 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140101847327176 140103332062247 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21559] ppid=21530 vsize=26538700 memory=6944656592455360569 CPUtime=4.57 cores=0-7
/proc/21532/task/21559/stat : 21559 (java) R 21530 21530 19660 0 -1 4202560 427 0 0 0 454 3 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140101846274760 140103332130222 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21560] ppid=21530 vsize=26538700 memory=4137290303932963203 CPUtime=4.78 cores=0-7
/proc/21532/task/21560/stat : 21560 (java) R 21530 21530 19660 0 -1 4202560 392 0 0 0 478 0 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140101845221392 140103332130108 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
Current children cumulated CPU time: 86.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1473840 KiB

[startup+45.1107 s]
/proc/loadavg: 2.31 6.08 7.45 9/207 21560
/proc/meminfo: memFree=19921408/32770624 swapFree=67108860/67108860
[pid=21530] ppid=21527 vsize=9512 memory=1380 CPUtime=0 cores=0-7
/proc/21530/stat : 21530 (xcsp3-exec) S 21527 21530 19660 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 146633813 9740288 345 33554432000 4194304 5098028 140722858769728 140722858767832 140676908630652 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 13242368 140722858771556 140722858771767 140722858771767 140722858774507 0
/proc/21530/statm: 2378 345 289 221 0 87 0
[pid=21532] ppid=21530 vsize=26538700 memory=1472460 CPUtime=87.49 cores=0-7
/proc/21532/stat : 21532 (java) S 21530 21530 19660 0 -1 1077944320 51151 0 0 0 8576 173 0 0 20 0 28 0 146633813 27175628800 368115 33554432000 4194304 4196468 140722658630368 140722658612912 140103732965111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
/proc/21532/statm: 6634675 368115 3277 1 0 6621909 0
[pid=21532/tid=21533] ppid=21530 vsize=26538700 memory=1472456 CPUtime=38.07 cores=0-7
/proc/21532/task/21533/stat : 21533 (java) S 21530 21530 19660 0 -1 1077944384 11644 0 0 0 3795 12 0 0 20 0 28 0 146633813 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103737205888 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21534] ppid=21530 vsize=26538700 memory=-9001734013606258791 CPUtime=0.8 cores=0-7
/proc/21532/task/21534/stat : 21534 (java) S 21530 21530 19660 0 -1 1077944384 749 0 0 0 65 15 0 0 20 0 28 0 146633814 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103655545488 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21535] ppid=21530 vsize=26538700 memory=281007631848592 CPUtime=0.79 cores=0-7
/proc/21532/task/21535/stat : 21535 (java) S 21530 21530 19660 0 -1 1077944384 702 0 0 0 65 14 0 0 20 0 28 0 146633814 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103654492688 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21536] ppid=21530 vsize=26538700 memory=288230574492221466 CPUtime=0.81 cores=0-7
/proc/21532/task/21536/stat : 21536 (java) S 21530 21530 19660 0 -1 1077944384 707 0 0 0 66 15 0 0 20 0 28 0 146633814 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103653439888 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21537] ppid=21530 vsize=26538700 memory=316659594451747127 CPUtime=0.79 cores=0-7
/proc/21532/task/21537/stat : 21537 (java) S 21530 21530 19660 0 -1 1077944384 931 0 0 0 63 16 0 0 20 0 28 0 146633814 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103652387088 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21538] ppid=21530 vsize=26538700 memory=1380 CPUtime=0.8 cores=0-7
/proc/21532/task/21538/stat : 21538 (java) S 21530 21530 19660 0 -1 1077944384 937 0 0 0 61 19 0 0 20 0 28 0 146633814 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103651335312 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21539] ppid=21530 vsize=26538700 memory=1472252 CPUtime=0.82 cores=0-7
/proc/21532/task/21539/stat : 21539 (java) S 21530 21530 19660 0 -1 1077944384 1003 0 0 0 62 20 0 0 20 0 28 0 146633814 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103650282512 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21540] ppid=21530 vsize=26538700 memory=56 CPUtime=0.82 cores=0-7
/proc/21532/task/21540/stat : 21540 (java) S 21530 21530 19660 0 -1 1077944384 1218 0 0 0 66 16 0 0 20 0 28 0 146633814 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103649229712 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21541] ppid=21530 vsize=26538700 memory=6944656592452807320 CPUtime=0.79 cores=0-7
/proc/21532/task/21541/stat : 21541 (java) S 21530 21530 19660 0 -1 1077944384 1110 0 0 0 61 18 0 0 20 0 28 0 146633814 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103648176912 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21542] ppid=21530 vsize=26538700 memory=7594030397313673066 CPUtime=1.2 cores=0-7
/proc/21532/task/21542/stat : 21542 (java) S 21530 21530 19660 0 -1 1077944384 2737 0 0 0 119 1 0 0 20 0 28 0 146633815 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103128205680 140103732976258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21543] ppid=21530 vsize=26538700 memory=1380 CPUtime=0 cores=0-7
/proc/21532/task/21543/stat : 21543 (java) S 21530 21530 19660 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 146633816 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103127151712 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21544] ppid=21530 vsize=26538700 memory=980452 CPUtime=0 cores=0-7
/proc/21532/task/21544/stat : 21544 (java) S 21530 21530 19660 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 146633816 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103126098816 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21545] ppid=21530 vsize=26538700 memory=4144 CPUtime=0 cores=0-7
/proc/21532/task/21545/stat : 21545 (java) S 21530 21530 19660 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 146633819 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103125047120 140103732983707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21546] ppid=21530 vsize=26538700 memory=1380 CPUtime=1.09 cores=0-7
/proc/21532/task/21546/stat : 21546 (java) S 21530 21530 19660 0 -1 1077944384 5096 0 0 0 108 1 0 0 20 0 28 0 146633819 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103123995504 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21547] ppid=21530 vsize=26538700 memory=1380 CPUtime=1.01 cores=0-7
/proc/21532/task/21547/stat : 21547 (java) S 21530 21530 19660 0 -1 1077944384 4274 0 0 0 100 1 0 0 20 0 28 0 146633819 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103122942704 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21548] ppid=21530 vsize=26538700 memory=1380 CPUtime=1.47 cores=0-7
/proc/21532/task/21548/stat : 21548 (java) S 21530 21530 19660 0 -1 1077944384 8553 0 0 0 145 2 0 0 20 0 28 0 146633819 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103121889904 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21549] ppid=21530 vsize=26538700 memory=4144 CPUtime=0.59 cores=0-7
/proc/21532/task/21549/stat : 21549 (java) S 21530 21530 19660 0 -1 1077944384 5743 0 0 0 58 1 0 0 20 0 28 0 146633819 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103120837104 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21550] ppid=21530 vsize=26538700 memory=41104 CPUtime=0 cores=0-7
/proc/21532/task/21550/stat : 21550 (java) S 21530 21530 19660 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 146633819 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103119784544 140103732975317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21551] ppid=21530 vsize=26538700 memory=1296 CPUtime=0.01 cores=0-7
/proc/21532/task/21551/stat : 21551 (java) S 21530 21530 19660 0 -1 1077944384 220 0 0 0 0 1 0 0 20 0 28 0 146633819 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103118731824 140103732976258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21553] ppid=21530 vsize=26538700 memory=2408 CPUtime=4.55 cores=0-7
/proc/21532/task/21553/stat : 21553 (java) R 21530 21530 19660 0 -1 4202560 1107 0 0 0 454 1 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103111215960 140103332130067 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21554] ppid=21530 vsize=26538700 memory=8052 CPUtime=4.62 cores=0-7
/proc/21532/task/21554/stat : 21554 (java) R 21530 21530 19660 0 -1 4202560 255 0 0 0 462 0 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140103110164376 140103332130090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21555] ppid=21530 vsize=26538700 memory=844 CPUtime=4.67 cores=0-7
/proc/21532/task/21555/stat : 21555 (java) R 21530 21530 19660 0 -1 4202560 542 0 0 0 467 0 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140101850485528 140103332062465 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21556] ppid=21530 vsize=26538700 memory=1696 CPUtime=4.74 cores=0-7
/proc/21532/task/21556/stat : 21556 (java) R 21530 21530 19660 0 -1 4202560 790 0 0 0 472 2 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140101849432608 140103332130293 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21557] ppid=21530 vsize=26538700 memory=1380 CPUtime=4.47 cores=0-7
/proc/21532/task/21557/stat : 21557 (java) R 21530 21530 19660 0 -1 4202560 390 0 0 0 445 2 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140101848379928 140103332130026 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21558] ppid=21530 vsize=26538700 memory=50 CPUtime=4.82 cores=0-7
/proc/21532/task/21558/stat : 21558 (java) R 21530 21530 19660 0 -1 4202560 246 0 0 0 478 4 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140101847327176 140103332130185 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21559] ppid=21530 vsize=26538700 memory=49 CPUtime=4.67 cores=0-7
/proc/21532/task/21559/stat : 21559 (java) R 21530 21530 19660 0 -1 4202560 427 0 0 0 464 3 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140101846274760 140103332180136 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
[pid=21532/tid=21560] ppid=21530 vsize=26538700 memory=1380 CPUtime=4.88 cores=0-7
/proc/21532/task/21560/stat : 21560 (java) R 21530 21530 19660 0 -1 4202560 420 0 0 0 488 0 0 0 20 0 28 0 146637827 27175628800 368115 33554432000 4194304 4196468 140722658630368 140101845221392 140103332130222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32165888 140722658632850 140722658633027 140722658633027 140722658635727 0
Current children cumulated CPU time: 87.49 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1473840 KiB

Child status: 0
Real time (s): 45.2003
CPU time (s): 88.0868
CPU user time (s): 86.3381
CPU system time (s): 1.74871
CPU usage (%): 194.881
Max. virtual memory (cumulated for all children) (KiB): 26549896
Max. memory (cumulated for all children) (KiB): 1474396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.3381
system time used= 1.74871
maximum resident set size= 1481700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53053
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5648
involuntary context switches= 926


# summary of solver processes directly reported to runsolver:
#   pid: 21530
#   total CPU time (s): 88.0868
#   total CPU user time (s): 86.3381
#   total CPU system time (s): 1.74871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.376144 second user time and 0.512174 second system time

The end

Launcher Data 

Begin job on node149 at 2017-08-19 11:24:31
IDJOB=4280933
IDBENCH=125996
IDSOLVER=2675
FILE ID=node149/4280933-1503135531
RUNJOBID= node149-1503132049-19687
PBS_JOBID= 20630788
Free space on /tmp= 61768 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-06.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-4280933-1503135531/watcher-4280933-1503135531 -o /tmp/evaluation-result-4280933-1503135531/solver-4280933-1503135531 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1503132049-19687 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1238629109 HOME/instance-4280933-1503135531.xml

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

MD5SUM BENCH= c11db23a97f48af6ae936ba62121dffc
RANDOM SEED=1238629109

node149.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.43
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.43
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.43
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.43
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:        21383264 kB
MemAvailable:   31949176 kB
Buffers:          346292 kB
Cached:         10490572 kB
SwapCached:            0 kB
Active:          2165616 kB
Inactive:        8726672 kB
Active(anon):      58260 kB
Inactive(anon):    33128 kB
Active(file):    2107356 kB
Inactive(file):  8693544 kB
Unevictable:        7912 kB
Mlocked:            7912 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             10144 kB
Writeback:            12 kB
AnonPages:         62308 kB
Mapped:            51028 kB
Shmem:             33416 kB
Slab:             188472 kB
SReclaimable:     161696 kB
SUnreclaim:        26776 kB
KernelStack:        3200 kB
PageTables:         4788 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333576 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       97664 kB
DirectMap2M:    33447936 kB

Free space on /tmp at the end= 61760 MiB
End job on node149 at 2017-08-19 11:25:16