Trace number 4282595

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 seq (2017-08-18)? 1367.13 410.82199

General information on the benchmark

NameSuperSolutions/SuperSolutions-Queens-s1/
SuperQueens-02.xml
MD5SUM80353dd8c937a5bb459a24b290639269
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of constraints14950
Number of domains1
Minimum domain size100
Maximum domain size100
Distribution of domain sizes[{"size":100,"count":200}]
Minimum variable degree100
Maximum variable degree199
Distribution of variable degrees[{"degree":100,"count":100},{"degree":199,"count":100}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":14950}]
Number of extensional constraints0
Number of intensional constraints14950
Distribution of constraint types[{"type":"intension","count":14950}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282595-1503157628.xml"  -tl '2520s' -p 1 -x 0
0.07/0.29	c [HOME/instance-4282595-1503157628.xml, -tl, 2520s, -p, 1, -x, 0]
0.25/0.35	c simple solver
0.25/0.41	c parse instance...
1345.16/405.07	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
1345.16/405.07		at org.chocosolver.solver.constraints.extension.TuplesFactory.generateTuples(TuplesFactory.java:88)
1345.16/405.07		at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:148)
1345.16/405.07		at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112)
1345.16/405.07		at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:394)
1345.16/405.07		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:127)
1345.16/405.07		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
1345.16/405.07		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440)
1345.16/405.07		at org.xcsp.parser.XCallbacks$$Lambda$52/1668627309.accept(Unknown Source)
1345.16/405.07		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
1345.16/405.07		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
1345.16/405.07		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
1345.16/405.07		at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406)
1345.16/405.07		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
1345.16/405.07		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
1345.16/405.07		at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260)
1345.16/405.07		at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
1345.16/405.07		at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112)
1345.16/405.07		at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99)
1345.16/405.07		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23)
1367.00/410.77	s UNKNOWN
1367.00/410.77	c Unexpected resolution interruption!

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 (15344 MiB free)
  memory of node 1: 16384 MiB (14821 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282595-1503157628/watcher-4282595-1503157628 -o /tmp/evaluation-result-4282595-1503157628/solver-4282595-1503157628 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17350 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1889614765 HOME/instance-4282595-1503157628.xml 

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

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

solver pid=28958, runsolver pid=28955

[startup+0.100163 s]*
/proc/loadavg: 2.16 2.07 2.06 2/196 28959
/proc/meminfo: memFree=30889400/32770624 swapFree=67108860/67108860
[pid=28958] ppid=28955 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28958/stat : 28958 (xcsp3-exec) S 28955 28958 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14171953 9740288 345 18446744073709551615 4194304 5098028 140727822251152 140727822249256 140467406549628 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 11055104 140727822254457 140727822254662 140727822254662 140727822258155 0
/proc/28958/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

[startup+0.209386 s]*
/proc/loadavg: 2.16 2.07 2.06 3/211 28974
/proc/meminfo: memFree=30878888/32770624 swapFree=67108860/67108860
[pid=28958] ppid=28955 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28958/stat : 28958 (xcsp3-exec) S 28955 28958 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14171953 9740288 345 18446744073709551615 4194304 5098028 140727822251152 140727822249256 140467406549628 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 11055104 140727822254457 140727822254662 140727822254662 140727822258155 0
/proc/28958/statm: 2378 345 289 221 0 87 0
[pid=28960] ppid=28958 vsize=13974352 memory=22100 CPUtime=0.07 cores=0,2,4,6
/proc/28960/stat : 28960 (java) S 28958 28958 17292 0 -1 1077944320 4966 0 0 0 6 1 0 0 20 0 15 0 14171964 14309736448 5525 18446744073709551615 4194304 4196468 140726356834752 140726356817296 140067375271671 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
/proc/28960/statm: 3493588 5525 2724 1 0 3482964 0
[pid=28960/tid=28961] ppid=28958 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=0,2,4,6
/proc/28960/task/28961/stat : 28961 (java) R 28958 28958 17292 0 -1 4202560 3121 0 0 0 5 0 0 0 20 0 15 0 14171964 14309736448 5525 18446744073709551615 4194304 4196468 140726356834752 140067379497360 140067375293597 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28962] ppid=28958 vsize=13974352 memory=10613 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28962/stat : 28962 (java) S 28958 28958 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14171965 14309736448 5525 18446744073709551615 4194304 4196468 140726356834752 140067340553360 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28963] ppid=28958 vsize=13974352 memory=140591264563702 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28963/stat : 28963 (java) S 28958 28958 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14171965 14309736448 5525 18446744073709551615 4194304 4196468 140726356834752 140066974600208 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28964] ppid=28958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28964/stat : 28964 (java) S 28958 28958 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14171965 14309736448 5525 18446744073709551615 4194304 4196468 140726356834752 140066973547408 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28965] ppid=28958 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28965/stat : 28965 (java) S 28958 28958 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14171965 14309736448 5525 18446744073709551615 4194304 4196468 140726356834752 140066972494608 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28966] ppid=28958 vsize=13974352 memory=140591264536192 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28966/stat : 28966 (java) S 28958 28958 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14171966 14309736448 5525 18446744073709551615 4194304 4196468 140726356834752 140066853681520 140067375282818 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28967] ppid=28958 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28967/stat : 28967 (java) S 28958 28958 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14171967 14309736448 5525 18446744073709551615 4194304 4196468 140726356834752 140066852627488 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28968] ppid=28958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28968/stat : 28968 (java) S 28958 28958 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14171967 14309736448 5525 18446744073709551615 4194304 4196468 140726356834752 140066851574640 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28969] ppid=28958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28969/stat : 28969 (java) S 28958 28958 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14171969 14309736448 5525 18446744073709551615 4194304 4196468 140726356834752 140066850522960 140067375290267 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28970] ppid=28958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28970/stat : 28970 (java) S 28958 28958 17292 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 14171969 14309736448 5525 18446744073709551615 4194304 4196468 140726356834752 140066849471344 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28971] ppid=28958 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28971/stat : 28971 (java) R 28958 28958 17292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 15 0 14171969 14309736448 5525 18446744073709551615 4194304 4196468 140726356834752 140066848418544 140067375282818 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28972] ppid=28958 vsize=13974352 memory=140591264536192 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28972/stat : 28972 (java) R 28958 28958 17292 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 14171969 14309736448 5525 18446744073709551615 4194304 4196468 140726356834752 140066847365744 140067375282818 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28973] ppid=28958 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28973/stat : 28973 (java) S 28958 28958 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14171969 14309736448 5525 18446744073709551615 4194304 4196468 140726356834752 140066846313184 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28974] ppid=28958 vsize=13974352 memory=140591264536192 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28974/stat : 28974 (java) S 28958 28958 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14171974 14309736448 5525 18446744073709551615 4194304 4196468 140726356834752 140066845260464 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 23480 KiB

[startup+0.310143 s]*
/proc/loadavg: 2.16 2.07 2.06 3/211 28974
/proc/meminfo: memFree=30862880/32770624 swapFree=67108860/67108860
[pid=28958] ppid=28955 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28958/stat : 28958 (xcsp3-exec) S 28955 28958 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14171953 9740288 345 18446744073709551615 4194304 5098028 140727822251152 140727822249256 140467406549628 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 11055104 140727822254457 140727822254662 140727822254662 140727822258155 0
/proc/28958/statm: 2378 345 289 221 0 87 0
[pid=28960] ppid=28958 vsize=13974352 memory=36960 CPUtime=0.25 cores=0,2,4,6
/proc/28960/stat : 28960 (java) S 28958 28958 17292 0 -1 1077944320 8848 0 0 0 23 2 0 0 20 0 15 0 14171964 14309736448 9240 18446744073709551615 4194304 4196468 140726356834752 140726356817296 140067375271671 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
/proc/28960/statm: 3493588 9240 2974 1 0 3482964 0
[pid=28960/tid=28961] ppid=28958 vsize=13974352 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/28960/task/28961/stat : 28961 (java) R 28958 28958 17292 0 -1 4202560 6034 0 0 0 14 1 0 0 20 0 15 0 14171964 14309736448 9240 18446744073709551615 4194304 4196468 140726356834752 140067379494048 140067359352158 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28962] ppid=28958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28962/stat : 28962 (java) S 28958 28958 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14171965 14309736448 9240 18446744073709551615 4194304 4196468 140726356834752 140067340553360 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28963] ppid=28958 vsize=13974352 memory=140591264536192 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28963/stat : 28963 (java) S 28958 28958 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14171965 14309736448 9240 18446744073709551615 4194304 4196468 140726356834752 140066974600208 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28964] ppid=28958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28964/stat : 28964 (java) S 28958 28958 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14171965 14309736448 9240 18446744073709551615 4194304 4196468 140726356834752 140066973547408 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28965] ppid=28958 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28965/stat : 28965 (java) S 28958 28958 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14171965 14309736448 9240 18446744073709551615 4194304 4196468 140726356834752 140066972494608 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28966] ppid=28958 vsize=13974352 memory=140591264536192 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28966/stat : 28966 (java) S 28958 28958 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14171966 14309736448 9240 18446744073709551615 4194304 4196468 140726356834752 140066853681520 140067375282818 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28967] ppid=28958 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28967/stat : 28967 (java) S 28958 28958 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14171967 14309736448 9240 18446744073709551615 4194304 4196468 140726356834752 140066852627488 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28968] ppid=28958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28968/stat : 28968 (java) S 28958 28958 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14171967 14309736448 9240 18446744073709551615 4194304 4196468 140726356834752 140066851574640 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28969] ppid=28958 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28969/stat : 28969 (java) S 28958 28958 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14171969 14309736448 9240 18446744073709551615 4194304 4196468 140726356834752 140066850522960 140067375290267 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28970] ppid=28958 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28960/task/28970/stat : 28970 (java) S 28958 28958 17292 0 -1 1077944384 588 0 0 0 2 0 0 0 20 0 15 0 14171969 14309736448 9240 18446744073709551615 4194304 4196468 140726356834752 140066849471344 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28971] ppid=28958 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/28960/task/28971/stat : 28971 (java) S 28958 28958 17292 0 -1 1077944384 184 0 0 0 1 0 0 0 20 0 15 0 14171969 14309736448 9240 18446744073709551615 4194304 4196468 140726356834752 140066848418544 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28972] ppid=28958 vsize=13974352 memory=140591264536192 CPUtime=0.05 cores=0,2,4,6
/proc/28960/task/28972/stat : 28972 (java) S 28958 28958 17292 0 -1 1077944384 739 0 0 0 5 0 0 0 20 0 15 0 14171969 14309736448 9240 18446744073709551615 4194304 4196468 140726356834752 140066847365744 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28973] ppid=28958 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28973/stat : 28973 (java) S 28958 28958 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14171969 14309736448 9240 18446744073709551615 4194304 4196468 140726356834752 140066846313184 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28974] ppid=28958 vsize=13974352 memory=140591264536192 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28974/stat : 28974 (java) S 28958 28958 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14171974 14309736448 9240 18446744073709551615 4194304 4196468 140726356834752 140066845260464 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38340 KiB

[startup+0.700928 s]
/proc/loadavg: 2.16 2.07 2.06 5/211 28974
/proc/meminfo: memFree=30844336/32770624 swapFree=67108860/67108860
[pid=28958] ppid=28955 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28958/stat : 28958 (xcsp3-exec) S 28955 28958 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14171953 9740288 345 18446744073709551615 4194304 5098028 140727822251152 140727822249256 140467406549628 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 11055104 140727822254457 140727822254662 140727822254662 140727822258155 0
/proc/28958/statm: 2378 345 289 221 0 87 0
[pid=28960] ppid=28958 vsize=13978684 memory=82688 CPUtime=1.32 cores=0,2,4,6
/proc/28960/stat : 28960 (java) S 28958 28958 17292 0 -1 1077944320 13349 0 0 0 128 4 0 0 20 0 15 0 14171964 14314172416 20672 18446744073709551615 4194304 4196468 140726356834752 140726356817296 140067375271671 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
/proc/28960/statm: 3494671 20672 3164 1 0 3482964 0
[pid=28960/tid=28961] ppid=28958 vsize=13978684 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/28960/task/28961/stat : 28961 (java) R 28958 28958 17292 0 -1 4202560 7832 0 0 0 50 3 0 0 20 0 15 0 14171964 14314172416 20672 18446744073709551615 4194304 4196468 140726356834752 140067379505672 140067019577039 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28962] ppid=28958 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28962/stat : 28962 (java) S 28958 28958 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14171965 14314172416 20672 18446744073709551615 4194304 4196468 140726356834752 140067340553360 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28963] ppid=28958 vsize=13978684 memory=6442776838909482599 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28963/stat : 28963 (java) S 28958 28958 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14171965 14314172416 20672 18446744073709551615 4194304 4196468 140726356834752 140066974600208 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28964] ppid=28958 vsize=13978684 memory=5865469479800824941 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28964/stat : 28964 (java) S 28958 28958 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14171965 14314172416 20672 18446744073709551615 4194304 4196468 140726356834752 140066973547408 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28965] ppid=28958 vsize=13978684 memory=4638778398332698720 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28965/stat : 28965 (java) S 28958 28958 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 14171965 14314172416 20672 18446744073709551615 4194304 4196468 140726356834752 140066972494608 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28966] ppid=28958 vsize=13978684 memory=-9033795734659767669 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28966/stat : 28966 (java) S 28958 28958 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14171966 14314172416 20672 18446744073709551615 4194304 4196468 140726356834752 140066853681520 140067375282818 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28967] ppid=28958 vsize=13978684 memory=-9109213556524817781 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28967/stat : 28967 (java) S 28958 28958 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14171967 14314172416 20737 18446744073709551615 4194304 4196468 140726356834752 140066852627488 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28968] ppid=28958 vsize=13978684 memory=-7739291840220455296 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28968/stat : 28968 (java) S 28958 28958 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14171967 14314172416 20737 18446744073709551615 4194304 4196468 140726356834752 140066851574640 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28969] ppid=28958 vsize=13978684 memory=8329294824090543255 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28969/stat : 28969 (java) S 28958 28958 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14171969 14314172416 20737 18446744073709551615 4194304 4196468 140726356834752 140066850522960 140067375290267 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28970] ppid=28958 vsize=13978684 memory=7077805514658193553 CPUtime=0.25 cores=0,2,4,6
/proc/28960/task/28970/stat : 28970 (java) R 28958 28958 17292 0 -1 4202560 1482 0 0 0 25 0 0 0 20 0 15 0 14171969 14314172416 20737 18446744073709551615 4194304 4196468 140726356834752 140066849460016 140067355971968 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28971] ppid=28958 vsize=13978684 memory=59096 CPUtime=0.24 cores=0,2,4,6
/proc/28960/task/28971/stat : 28971 (java) R 28958 28958 17292 0 -1 4202560 1171 0 0 0 24 0 0 0 20 0 15 0 14171969 14314172416 20737 18446744073709551615 4194304 4196468 140726356834752 140066848409872 140067356794589 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28972] ppid=28958 vsize=13978684 memory=-8774313645642428999 CPUtime=0.27 cores=0,2,4,6
/proc/28960/task/28972/stat : 28972 (java) S 28958 28958 17292 0 -1 1077944384 1567 0 0 0 27 0 0 0 20 0 15 0 14171969 14314172416 20737 18446744073709551615 4194304 4196468 140726356834752 140066847365744 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28973] ppid=28958 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28973/stat : 28973 (java) S 28958 28958 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14171969 14314172416 20737 18446744073709551615 4194304 4196468 140726356834752 140066846313184 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28974] ppid=28958 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28974/stat : 28974 (java) S 28958 28958 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14171974 14314172416 20737 18446744073709551615 4194304 4196468 140726356834752 140066845260464 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
Current children cumulated CPU time: 1.32 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 84068 KiB

[startup+1.50092 s]
/proc/loadavg: 2.16 2.07 2.06 5/211 28974
/proc/meminfo: memFree=30709612/32770624 swapFree=67108860/67108860
[pid=28958] ppid=28955 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28958/stat : 28958 (xcsp3-exec) S 28955 28958 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14171953 9740288 345 18446744073709551615 4194304 5098028 140727822251152 140727822249256 140467406549628 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 11055104 140727822254457 140727822254662 140727822254662 140727822258155 0
/proc/28958/statm: 2378 345 289 221 0 87 0
[pid=28960] ppid=28958 vsize=13980732 memory=194592 CPUtime=3.25 cores=0,2,4,6
/proc/28960/stat : 28960 (java) S 28958 28958 17292 0 -1 1077944320 15365 0 0 0 317 8 0 0 20 0 15 0 14171964 14316269568 48648 18446744073709551615 4194304 4196468 140726356834752 140726356817296 140067375271671 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
/proc/28960/statm: 3495183 48648 3203 1 0 3483476 0
[pid=28960/tid=28961] ppid=28958 vsize=13980732 memory=-8774313645642428999 CPUtime=1.3 cores=0,2,4,6
/proc/28960/task/28961/stat : 28961 (java) R 28958 28958 17292 0 -1 4202560 8573 0 0 0 125 5 0 0 20 0 15 0 14171964 14316269568 48648 18446744073709551615 4194304 4196468 140726356834752 140067379509800 140067016209226 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28962] ppid=28958 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28962/stat : 28962 (java) S 28958 28958 17292 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 14171965 14316269568 48648 18446744073709551615 4194304 4196468 140726356834752 140067340553360 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28963] ppid=28958 vsize=13980732 memory=4211126566224413273 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28963/stat : 28963 (java) S 28958 28958 17292 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 14171965 14316269568 48648 18446744073709551615 4194304 4196468 140726356834752 140066974600208 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28964] ppid=28958 vsize=13980732 memory=281182248365360 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28964/stat : 28964 (java) S 28958 28958 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 14171965 14316269568 48648 18446744073709551615 4194304 4196468 140726356834752 140066973547408 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28965] ppid=28958 vsize=13980732 memory=281182248365424 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28965/stat : 28965 (java) S 28958 28958 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14171965 14316269568 48648 18446744073709551615 4194304 4196468 140726356834752 140066972494608 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28966] ppid=28958 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28966/stat : 28966 (java) S 28958 28958 17292 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 14171966 14316269568 48648 18446744073709551615 4194304 4196468 140726356834752 140066853681520 140067375282818 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28967] ppid=28958 vsize=13980732 memory=8546823402028195750 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28967/stat : 28967 (java) S 28958 28958 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 14171967 14316269568 48648 18446744073709551615 4194304 4196468 140726356834752 140066852627488 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28968] ppid=28958 vsize=13980732 memory=-7606742951091920751 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28968/stat : 28968 (java) S 28958 28958 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 14171967 14316269568 48648 18446744073709551615 4194304 4196468 140726356834752 140066851574640 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28969] ppid=28958 vsize=13980732 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28969/stat : 28969 (java) S 28958 28958 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14171969 14316269568 48648 18446744073709551615 4194304 4196468 140726356834752 140066850522960 140067375290267 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28970] ppid=28958 vsize=13980732 memory=-3761991693426146123 CPUtime=0.75 cores=0,2,4,6
/proc/28960/task/28970/stat : 28970 (java) S 28958 28958 17292 0 -1 1077944384 2193 0 0 0 75 0 0 0 20 0 15 0 14171969 14316269568 48648 18446744073709551615 4194304 4196468 140726356834752 140066849471344 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28971] ppid=28958 vsize=13980732 memory=-5874771483550381248 CPUtime=0.76 cores=0,2,4,6
/proc/28960/task/28971/stat : 28971 (java) S 28958 28958 17292 0 -1 1077944384 1320 0 0 0 76 0 0 0 20 0 15 0 14171969 14316269568 48648 18446744073709551615 4194304 4196468 140726356834752 140066848418544 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28972] ppid=28958 vsize=13980732 memory=14181982013714 CPUtime=0.36 cores=0,2,4,6
/proc/28960/task/28972/stat : 28972 (java) S 28958 28958 17292 0 -1 1077944384 1809 0 0 0 36 0 0 0 20 0 15 0 14171969 14316269568 48648 18446744073709551615 4194304 4196468 140726356834752 140066847365744 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28973] ppid=28958 vsize=13980732 memory=10872 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28973/stat : 28973 (java) S 28958 28958 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 14171969 14316269568 48648 18446744073709551615 4194304 4196468 140726356834752 140066846313184 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28974] ppid=28958 vsize=13980732 memory=26234 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28974/stat : 28974 (java) S 28958 28958 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 14171974 14316269568 48648 18446744073709551615 4194304 4196468 140726356834752 140066845260464 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0

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

/proc/28960/task/28967/stat : 28967 (java) S 28958 28958 17292 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 14171967 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066852627552 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28968] ppid=28958 vsize=14047296 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28968/stat : 28968 (java) S 28958 28958 17292 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 14171967 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066851574656 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28969] ppid=28958 vsize=14047296 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28969/stat : 28969 (java) S 28958 28958 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14171969 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066850522960 140067375290267 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28970] ppid=28958 vsize=14047296 memory=8700 CPUtime=1.15 cores=0,2,4,6
/proc/28960/task/28970/stat : 28970 (java) S 28958 28958 17292 0 -1 1077944384 4706 0 0 0 115 0 0 0 20 0 16 0 14171969 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066849471344 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28971] ppid=28958 vsize=14047296 memory=792 CPUtime=2.46 cores=0,2,4,6
/proc/28960/task/28971/stat : 28971 (java) S 28958 28958 17292 0 -1 1077944384 9195 0 0 0 245 1 0 0 20 0 16 0 14171969 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066848418544 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28972] ppid=28958 vsize=14047296 memory=1200 CPUtime=0.51 cores=0,2,4,6
/proc/28960/task/28972/stat : 28972 (java) S 28958 28958 17292 0 -1 1077944384 3291 0 0 0 51 0 0 0 20 0 16 0 14171969 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066847365744 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28973] ppid=28958 vsize=14047296 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28973/stat : 28973 (java) S 28958 28958 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14171969 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066846313184 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28974] ppid=28958 vsize=14047296 memory=1380 CPUtime=0.36 cores=0,2,4,6
/proc/28960/task/28974/stat : 28974 (java) S 28958 28958 17292 0 -1 1077944384 434 0 0 0 18 18 0 0 20 0 16 0 14171974 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066845260464 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=29064] ppid=28958 vsize=14047296 memory=10894608 CPUtime=0 cores=0,2,4,6
/proc/28960/task/29064/stat : 29064 (java) S 28958 28958 17292 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 14212461 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066837253440 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
Current children cumulated CPU time: 1350.51 s
Current children cumulated vsize: 14056808 KiB
Current children cumulated memory: 10895988 KiB

[startup+408.001 s]*
/proc/loadavg: 4.97 3.87 2.84 6/212 29064
/proc/meminfo: memFree=19093940/32770624 swapFree=67108860/67108860
[pid=28958] ppid=28955 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28958/stat : 28958 (xcsp3-exec) S 28955 28958 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14171953 9740288 345 18446744073709551615 4194304 5098028 140727822251152 140727822249256 140467406549628 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 11055104 140727822254457 140727822254662 140727822254662 140727822258155 0
/proc/28958/statm: 2378 345 289 221 0 87 0
[pid=28960] ppid=28958 vsize=14047296 memory=10894608 CPUtime=1356.79 cores=0,2,4,6
/proc/28960/stat : 28960 (java) S 28958 28958 17292 0 -1 1077944320 188521 0 0 0 134757 922 0 0 20 0 16 0 14171964 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140726356817296 140067375271671 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
/proc/28960/statm: 3511824 2723652 3246 1 0 3500117 0
[pid=28960/tid=28961] ppid=28958 vsize=14047296 memory=-8774313645642428999 CPUtime=80.94 cores=0,2,4,6
/proc/28960/task/28961/stat : 28961 (java) S 28958 28958 17292 0 -1 1077944384 13448 0 0 0 8083 11 0 0 20 0 16 0 14171964 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140067379512352 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28962] ppid=28958 vsize=14047296 memory=8257237230052613020 CPUtime=315.29 cores=0,2,4,6
/proc/28960/task/28962/stat : 28962 (java) R 28958 28958 17292 0 -1 4202560 23038 0 0 0 31280 249 0 0 20 0 16 0 14171965 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140067340553168 140067367899879 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28963] ppid=28958 vsize=14047296 memory=-7173504570860347296 CPUtime=315.73 cores=0,2,4,6
/proc/28960/task/28963/stat : 28963 (java) R 28958 28958 17292 0 -1 4202560 22923 0 0 0 31368 205 0 0 20 0 16 0 14171965 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066974600016 140067367899879 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28964] ppid=28958 vsize=14047296 memory=-7522837415797432224 CPUtime=315.06 cores=0,2,4,6
/proc/28960/task/28964/stat : 28964 (java) R 28958 28958 17292 0 -1 4202560 20525 0 0 0 31295 211 0 0 20 0 16 0 14171965 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066973547528 140067367899879 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28965] ppid=28958 vsize=14047296 memory=1399101730491701635 CPUtime=315.38 cores=0,2,4,6
/proc/28960/task/28965/stat : 28965 (java) R 28958 28958 17292 0 -1 4202560 19928 0 0 0 31305 233 0 0 20 0 16 0 14171965 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066972494496 140067360268075 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28966] ppid=28958 vsize=14047296 memory=8257237230052613020 CPUtime=9.77 cores=0,2,4,6
/proc/28960/task/28966/stat : 28966 (java) S 28958 28958 17292 0 -1 1077944384 69689 0 0 0 972 5 0 0 20 0 16 0 14171966 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066853680064 140067375281877 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28967] ppid=28958 vsize=14047296 memory=-7173504570860347296 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28967/stat : 28967 (java) S 28958 28958 17292 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 14171967 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066852627552 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28968] ppid=28958 vsize=14047296 memory=-7522837415797432224 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28968/stat : 28968 (java) S 28958 28958 17292 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 14171967 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066851574656 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28969] ppid=28958 vsize=14047296 memory=1399101730491701635 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28969/stat : 28969 (java) S 28958 28958 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14171969 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066850522960 140067375290267 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28970] ppid=28958 vsize=14047296 memory=6944656592452807326 CPUtime=1.15 cores=0,2,4,6
/proc/28960/task/28970/stat : 28970 (java) S 28958 28958 17292 0 -1 1077944384 4706 0 0 0 115 0 0 0 20 0 16 0 14171969 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066849471344 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28971] ppid=28958 vsize=14047296 memory=6944656425123485561 CPUtime=2.46 cores=0,2,4,6
/proc/28960/task/28971/stat : 28971 (java) S 28958 28958 17292 0 -1 1077944384 9195 0 0 0 245 1 0 0 20 0 16 0 14171969 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066848418544 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28972] ppid=28958 vsize=14047296 memory=-8774313645642428999 CPUtime=0.51 cores=0,2,4,6
/proc/28960/task/28972/stat : 28972 (java) S 28958 28958 17292 0 -1 1077944384 3291 0 0 0 51 0 0 0 20 0 16 0 14171969 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066847365744 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28973] ppid=28958 vsize=14047296 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28973/stat : 28973 (java) S 28958 28958 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14171969 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066846313184 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28974] ppid=28958 vsize=14047296 memory=3068 CPUtime=0.36 cores=0,2,4,6
/proc/28960/task/28974/stat : 28974 (java) S 28958 28958 17292 0 -1 1077944384 434 0 0 0 18 18 0 0 20 0 16 0 14171974 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066845260464 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=29064] ppid=28958 vsize=14047296 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28960/task/29064/stat : 29064 (java) S 28958 28958 17292 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 14212461 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066837253440 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
Current children cumulated CPU time: 1356.79 s
Current children cumulated vsize: 14056808 KiB
Current children cumulated memory: 10895988 KiB

[startup+409.601 s]
/proc/loadavg: 4.89 3.87 2.85 4/212 29064
/proc/meminfo: memFree=19093940/32770624 swapFree=67108860/67108860
[pid=28958] ppid=28955 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28958/stat : 28958 (xcsp3-exec) S 28955 28958 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14171953 9740288 345 18446744073709551615 4194304 5098028 140727822251152 140727822249256 140467406549628 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 11055104 140727822254457 140727822254662 140727822254662 140727822258155 0
/proc/28958/statm: 2378 345 289 221 0 87 0
[pid=28960] ppid=28958 vsize=14047296 memory=10894608 CPUtime=1362.96 cores=0,2,4,6
/proc/28960/stat : 28960 (java) S 28958 28958 17292 0 -1 1077944320 189506 0 0 0 135371 925 0 0 20 0 16 0 14171964 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140726356817296 140067375271671 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
/proc/28960/statm: 3511824 2723652 3246 1 0 3500117 0
[pid=28960/tid=28961] ppid=28958 vsize=14047296 memory=6944652177228980320 CPUtime=80.94 cores=0,2,4,6
/proc/28960/task/28961/stat : 28961 (java) S 28958 28958 17292 0 -1 1077944384 13448 0 0 0 8083 11 0 0 20 0 16 0 14171964 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140067379512352 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28962] ppid=28958 vsize=14047296 memory=1380 CPUtime=316.82 cores=0,2,4,6
/proc/28960/task/28962/stat : 28962 (java) R 28958 28958 17292 0 -1 4202560 23045 0 0 0 31432 250 0 0 20 0 16 0 14171965 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140067340553480 140067367899879 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28963] ppid=28958 vsize=14047296 memory=10894608 CPUtime=317.27 cores=0,2,4,6
/proc/28960/task/28963/stat : 28963 (java) R 28958 28958 17292 0 -1 4202560 22934 0 0 0 31521 206 0 0 20 0 16 0 14171965 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066974600328 140067367899879 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28964] ppid=28958 vsize=14047296 memory=7216 CPUtime=316.58 cores=0,2,4,6
/proc/28960/task/28964/stat : 28964 (java) R 28958 28958 17292 0 -1 4202560 20532 0 0 0 31446 212 0 0 20 0 16 0 14171965 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066973547216 140067367899879 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28965] ppid=28958 vsize=14047296 memory=281178288639243 CPUtime=316.98 cores=0,2,4,6
/proc/28960/task/28965/stat : 28965 (java) R 28958 28958 17292 0 -1 4202560 20873 0 0 0 31464 234 0 0 20 0 16 0 14171965 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066972494496 140067360261307 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28966] ppid=28958 vsize=14047296 memory=6943526294502006880 CPUtime=9.77 cores=0,2,4,6
/proc/28960/task/28966/stat : 28966 (java) S 28958 28958 17292 0 -1 1077944384 69689 0 0 0 972 5 0 0 20 0 16 0 14171966 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066853680064 140067375281877 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28967] ppid=28958 vsize=14047296 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28967/stat : 28967 (java) S 28958 28958 17292 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 14171967 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066852627552 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28968] ppid=28958 vsize=14047296 memory=281182248282368 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28968/stat : 28968 (java) S 28958 28958 17292 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 14171967 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066851574656 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28969] ppid=28958 vsize=14047296 memory=4026532099 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28969/stat : 28969 (java) S 28958 28958 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14171969 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066850522960 140067375290267 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28970] ppid=28958 vsize=14047296 memory=12526 CPUtime=1.15 cores=0,2,4,6
/proc/28960/task/28970/stat : 28970 (java) S 28958 28958 17292 0 -1 1077944384 4706 0 0 0 115 0 0 0 20 0 16 0 14171969 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066849471344 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28971] ppid=28958 vsize=14047296 memory=164 CPUtime=2.46 cores=0,2,4,6
/proc/28960/task/28971/stat : 28971 (java) S 28958 28958 17292 0 -1 1077944384 9195 0 0 0 245 1 0 0 20 0 16 0 14171969 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066848418544 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28972] ppid=28958 vsize=14047296 memory=5848281064138790526 CPUtime=0.51 cores=0,2,4,6
/proc/28960/task/28972/stat : 28972 (java) S 28958 28958 17292 0 -1 1077944384 3291 0 0 0 51 0 0 0 20 0 16 0 14171969 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066847365744 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28973] ppid=28958 vsize=14047296 memory=6944656592452205148 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28973/stat : 28973 (java) S 28958 28958 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14171969 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066846313184 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28974] ppid=28958 vsize=14047296 memory=636 CPUtime=0.37 cores=0,2,4,6
/proc/28960/task/28974/stat : 28974 (java) S 28958 28958 17292 0 -1 1077944384 449 0 0 0 18 19 0 0 20 0 16 0 14171974 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066845260464 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=29064] ppid=28958 vsize=14047296 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/28960/task/29064/stat : 29064 (java) S 28958 28958 17292 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 14212461 14384431104 2723652 18446744073709551615 4194304 4196468 140726356834752 140066837253440 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
Current children cumulated CPU time: 1362.96 s
Current children cumulated vsize: 14056808 KiB
Current children cumulated memory: 10895988 KiB

[startup+410.401 s]
/proc/loadavg: 4.89 3.87 2.85 6/212 29064
/proc/meminfo: memFree=19091768/32770624 swapFree=67108860/67108860
[pid=28958] ppid=28955 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28958/stat : 28958 (xcsp3-exec) S 28955 28958 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14171953 9740288 345 18446744073709551615 4194304 5098028 140727822251152 140727822249256 140467406549628 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 11055104 140727822254457 140727822254662 140727822254662 140727822258155 0
/proc/28958/statm: 2378 345 289 221 0 87 0
[pid=28960] ppid=28958 vsize=14047296 memory=10894620 CPUtime=1366.05 cores=0,2,4,6
/proc/28960/stat : 28960 (java) S 28958 28958 17292 0 -1 1077944320 189866 0 0 0 135680 925 0 0 20 0 16 0 14171964 14384431104 2723655 18446744073709551615 4194304 4196468 140726356834752 140726356817296 140067375271671 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
/proc/28960/statm: 3511824 2723655 3246 1 0 3500117 0
[pid=28960/tid=28961] ppid=28958 vsize=14047296 memory=1292 CPUtime=80.94 cores=0,2,4,6
/proc/28960/task/28961/stat : 28961 (java) S 28958 28958 17292 0 -1 1077944384 13448 0 0 0 8083 11 0 0 20 0 16 0 14171964 14384431104 2723655 18446744073709551615 4194304 4196468 140726356834752 140067379512352 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28962] ppid=28958 vsize=14047296 memory=-8774313645642428999 CPUtime=317.57 cores=0,2,4,6
/proc/28960/task/28962/stat : 28962 (java) R 28958 28958 17292 0 -1 4202560 23045 0 0 0 31507 250 0 0 20 0 16 0 14171965 14384431104 2723655 18446744073709551615 4194304 4196468 140726356834752 140067340553480 140067367899879 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28963] ppid=28958 vsize=14047296 memory=8700 CPUtime=318.04 cores=0,2,4,6
/proc/28960/task/28963/stat : 28963 (java) R 28958 28958 17292 0 -1 4202560 22934 0 0 0 31598 206 0 0 20 0 16 0 14171965 14384431104 2723655 18446744073709551615 4194304 4196468 140726356834752 140066974600016 140067367899879 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28964] ppid=28958 vsize=14047296 memory=792 CPUtime=317.35 cores=0,2,4,6
/proc/28960/task/28964/stat : 28964 (java) R 28958 28958 17292 0 -1 4202560 20532 0 0 0 31523 212 0 0 20 0 16 0 14171965 14384431104 2723655 18446744073709551615 4194304 4196468 140726356834752 140066973547216 140067367899879 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28965] ppid=28958 vsize=14047296 memory=1200 CPUtime=317.78 cores=0,2,4,6
/proc/28960/task/28965/stat : 28965 (java) R 28958 28958 17292 0 -1 4202560 21213 0 0 0 31544 234 0 0 20 0 16 0 14171965 14384431104 2723655 18446744073709551615 4194304 4196468 140726356834752 140066972494496 140067368368132 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28966] ppid=28958 vsize=14047296 memory=-3622645143214314312 CPUtime=9.77 cores=0,2,4,6
/proc/28960/task/28966/stat : 28966 (java) S 28958 28958 17292 0 -1 1077944384 69689 0 0 0 972 5 0 0 20 0 16 0 14171966 14384431104 2723655 18446744073709551615 4194304 4196468 140726356834752 140066853680064 140067375281877 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28967] ppid=28958 vsize=14047296 memory=10894416 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28967/stat : 28967 (java) S 28958 28958 17292 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 16 0 14171967 14384431104 2723655 18446744073709551615 4194304 4196468 140726356834752 140066852627552 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28968] ppid=28958 vsize=14047296 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28968/stat : 28968 (java) S 28958 28958 17292 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 16 0 14171967 14384431104 2723655 18446744073709551615 4194304 4196468 140726356834752 140066851574656 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28969] ppid=28958 vsize=14047296 memory=10894388 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28969/stat : 28969 (java) S 28958 28958 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14171969 14384431104 2723655 18446744073709551615 4194304 4196468 140726356834752 140066850522960 140067375290267 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28970] ppid=28958 vsize=14047296 memory=281182248097592 CPUtime=1.15 cores=0,2,4,6
/proc/28960/task/28970/stat : 28970 (java) S 28958 28958 17292 0 -1 1077944384 4709 0 0 0 115 0 0 0 20 0 16 0 14171969 14384431104 2723655 18446744073709551615 4194304 4196468 140726356834752 140066849471392 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28971] ppid=28958 vsize=14047296 memory=-9001734013606258791 CPUtime=2.46 cores=0,2,4,6
/proc/28960/task/28971/stat : 28971 (java) S 28958 28958 17292 0 -1 1077944384 9205 0 0 0 245 1 0 0 20 0 16 0 14171969 14384431104 2723655 18446744073709551615 4194304 4196468 140726356834752 140066848418304 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28972] ppid=28958 vsize=14047296 memory=-7385037615359298921 CPUtime=0.51 cores=0,2,4,6
/proc/28960/task/28972/stat : 28972 (java) S 28958 28958 17292 0 -1 1077944384 3294 0 0 0 51 0 0 0 20 0 16 0 14171969 14384431104 2723655 18446744073709551615 4194304 4196468 140726356834752 140066847365792 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28973] ppid=28958 vsize=14047296 memory=1399101730491701635 CPUtime=0 cores=0,2,4,6
/proc/28960/task/28973/stat : 28973 (java) S 28958 28958 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14171969 14384431104 2723655 18446744073709551615 4194304 4196468 140726356834752 140066846313184 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=28974] ppid=28958 vsize=14047296 memory=-8774313645642428999 CPUtime=0.37 cores=0,2,4,6
/proc/28960/task/28974/stat : 28974 (java) S 28958 28958 17292 0 -1 1077944384 453 0 0 0 18 19 0 0 20 0 16 0 14171974 14384431104 2723655 18446744073709551615 4194304 4196468 140726356834752 140066845260464 140067375282818 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
[pid=28960/tid=29064] ppid=28958 vsize=14047296 memory=7216 CPUtime=0 cores=0,2,4,6
/proc/28960/task/29064/stat : 29064 (java) S 28958 28958 17292 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 16 0 14212461 14384431104 2723655 18446744073709551615 4194304 4196468 140726356834752 140066837253440 140067375281877 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10395648 140726356840882 140726356841058 140726356841058 140726356844495 0
Current children cumulated CPU time: 1366.05 s
Current children cumulated vsize: 14056808 KiB
Current children cumulated memory: 10896000 KiB

[startup+410.801 s]
/proc/loadavg: 4.89 3.87 2.85 6/212 29064
/proc/meminfo: memFree=19091768/32770624 swapFree=67108860/67108860
[pid=28958] ppid=28955 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/28958/stat : 28958 (xcsp3-exec) S 28955 28958 17292 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 14171953 9740288 345 18446744073709551615 4194304 5098028 140727822251152 140727822249256 140467406549628 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 11055104 140727822254457 140727822254662 140727822254662 140727822258155 0
/proc/28958/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB

Child status: 1
Real time (s): 410.822
CPU time (s): 1367.13
CPU user time (s): 1357.82
CPU system time (s): 9.31086
CPU usage (%): 332.781
Max. virtual memory (cumulated for all children) (KiB): 14056808
Max. memory (cumulated for all children) (KiB): 10896008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1357.82
system time used= 9.31086
maximum resident set size= 10894984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195599
page faults= 0
swaps= 0
block input operations= 0
block output operations= 552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15319
involuntary context switches= 12292


# summary of solver processes directly reported to runsolver:
#   pid: 28958
#   total CPU time (s): 1367.13
#   total CPU user time (s): 1357.82
#   total CPU system time (s): 9.31086

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.66509 second user time and 4.09485 second system time

The end

Launcher Data 

Begin job on node129 at 2017-08-19 17:33:11
IDJOB=4282595
IDBENCH=138396
IDSOLVER=2677
FILE ID=node129/4282595-1503157628
RUNJOBID= node129-1503095823-17350
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Queens-s1/SuperQueens-02.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4282595-1503157628/watcher-4282595-1503157628 -o /tmp/evaluation-result-4282595-1503157628/solver-4282595-1503157628 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17350 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1889614765 HOME/instance-4282595-1503157628.xml

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

MD5SUM BENCH= 80353dd8c937a5bb459a24b290639269
RANDOM SEED=1889614765

node129.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.73
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.73
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.73
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.73
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:        30889600 kB
MemAvailable:   31143776 kB
Buffers:          179820 kB
Cached:           364360 kB
SwapCached:            0 kB
Active:          1105272 kB
Inactive:         368532 kB
Active(anon):     929896 kB
Inactive(anon):    16748 kB
Active(file):     175376 kB
Inactive(file):   351784 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8792 kB
Writeback:             0 kB
AnonPages:        980104 kB
Mapped:            44408 kB
Shmem:             17060 kB
Slab:             110560 kB
SReclaimable:      85704 kB
SUnreclaim:        24856 kB
KernelStack:        3760 kB
PageTables:         6344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1794992 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    917504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 62000 MiB
End job on node129 at 2017-08-19 17:40:02