Trace number 4281773

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 NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 seq (2017-08-18)? 149.041 102.225

General information on the benchmark

NameBinPacking/BinPacking-tab-sw120/
BinPacking-tab-sw120-41.xml
MD5SUMa372e06032e8b52aa9c97452ff274801
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark2400.14
Satisfiable
(Un)Satisfiability was proved
Number of variables133
Number of constraints25
Number of domains2
Minimum domain size23
Maximum domain size45
Distribution of domain sizes[{"size":23,"count":1},{"size":45,"count":132}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":110},{"degree":4,"count":22}]
Minimum constraint arity6
Maximum constraint arity132
Distribution of constraint arities[{"arity":6,"count":22},{"arity":23,"count":1},{"arity":132,"count":2}]
Number of extensional constraints22
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":22},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.06	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281773-1503156838.xml"  -tl '2520s' -p 1 -x 0
0.12/0.26	c [HOME/instance-4281773-1503156838.xml, -tl, 2520s, -p, 1, -x, 0]
0.31/0.32	c simple solver
0.31/0.39	c parse instance...
148.92/102.15	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
148.92/102.15		at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:98)
148.92/102.15		at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61)
148.92/102.15		at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1867)
148.92/102.15		at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1823)
148.92/102.15		at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:313)
148.92/102.15		at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413)
148.92/102.15		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130)
148.92/102.15		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
148.92/102.15		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440)
148.92/102.15		at org.xcsp.parser.XCallbacks$$Lambda$70/1900164709.accept(Unknown Source)
148.92/102.15		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
148.92/102.15		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
148.92/102.15		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
148.92/102.15		at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406)
148.92/102.15		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
148.92/102.15		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
148.92/102.15		at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260)
148.92/102.15		at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
148.92/102.15		at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112)
148.92/102.15		at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99)
148.92/102.15		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23)
148.92/102.15	s UNKNOWN
148.92/102.15	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 (8702 MiB free)
  memory of node 1: 16384 MiB (14485 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281773-1503156838/watcher-4281773-1503156838 -o /tmp/evaluation-result-4281773-1503156838/solver-4281773-1503156838 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503095795-8622 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1953201683 HOME/instance-4281773-1503156838.xml 

running on 4 cores: 1,3,5,7

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=22812, runsolver pid=22809

[startup+0.100134 s]*
/proc/loadavg: 2.37 2.11 1.90 3/206 22822
/proc/meminfo: memFree=23735960/32770624 swapFree=67108860/67108860
[pid=22812] ppid=22809 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22812/stat : 22812 (xcsp3-exec) S 22809 22812 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117904305 9740288 344 18446744073709551615 4194304 5098028 140735408069600 140735408067704 139821233324668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 39952384 140735408071032 140735408071237 140735408071237 140735408074731 0
/proc/22812/statm: 2378 344 289 221 0 87 0
[pid=22814] ppid=22812 vsize=13574484 memory=18352 CPUtime=0.03 cores=1,3,5,7
/proc/22814/stat : 22814 (java) S 22812 22812 8563 0 -1 1077944320 3962 0 0 0 3 0 0 0 20 0 9 0 117904312 13900271616 4588 18446744073709551615 4194304 4196468 140732585714176 140732585696720 139738479009527 0 0 1 16800970 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
/proc/22814/statm: 3393621 4588 2104 1 0 3383118 0
[pid=22814/tid=22815] ppid=22812 vsize=13574484 memory=-8713483618642983523 CPUtime=0.03 cores=1,3,5,7
/proc/22814/task/22815/stat : 22815 (java) R 22812 22812 8563 0 -1 4202560 2665 0 0 0 3 0 0 0 20 0 9 0 117904312 13900271616 4588 18446744073709551615 4194304 4196468 140732585714176 139738483244624 139738471687541 0 4 1 16800970 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22816] ppid=22812 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22816/stat : 22816 (java) S 22812 22812 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 117904313 13900271616 4588 18446744073709551615 4194304 4196468 140732585714176 139738439907728 139738479019733 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22817] ppid=22812 vsize=13574484 memory=139716277032576 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22817/stat : 22817 (java) S 22812 22812 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 117904313 13900271616 4588 18446744073709551615 4194304 4196468 140732585714176 139738078439696 139738479019733 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22818] ppid=22812 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22818/stat : 22818 (java) S 22812 22812 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 117904313 13900271616 4588 18446744073709551615 4194304 4196468 140732585714176 139738077387408 139738479019733 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22819] ppid=22812 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22819/stat : 22819 (java) S 22812 22812 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 117904313 13900271616 4588 18446744073709551615 4194304 4196468 140732585714176 139738076334608 139738479019733 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22820] ppid=22812 vsize=13574484 memory=139716277032576 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22820/stat : 22820 (java) S 22812 22812 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 117904314 13900271616 4588 18446744073709551615 4194304 4196468 140732585714176 139737597172336 139738479020674 0 0 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22821] ppid=22812 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22821/stat : 22821 (java) S 22812 22812 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 117904315 13900271616 4588 18446744073709551615 4194304 4196468 140732585714176 139737596118304 139738479019733 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22822] ppid=22812 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22822/stat : 22822 (java) S 22812 22812 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 117904315 13900271616 4588 18446744073709551615 4194304 4196468 140732585714176 139737595065968 139738479019733 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19728 KiB

[startup+0.216356 s]*
/proc/loadavg: 2.37 2.11 1.90 3/212 22828
/proc/meminfo: memFree=23729116/32770624 swapFree=67108860/67108860
[pid=22812] ppid=22809 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22812/stat : 22812 (xcsp3-exec) S 22809 22812 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117904305 9740288 344 18446744073709551615 4194304 5098028 140735408069600 140735408067704 139821233324668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 39952384 140735408071032 140735408071237 140735408071237 140735408074731 0
/proc/22812/statm: 2378 344 289 221 0 87 0
[pid=22814] ppid=22812 vsize=13974352 memory=27676 CPUtime=0.12 cores=1,3,5,7
/proc/22814/stat : 22814 (java) S 22812 22812 8563 0 -1 1077944320 5379 0 0 0 11 1 0 0 20 0 15 0 117904312 14309736448 6919 18446744073709551615 4194304 4196468 140732585714176 140732585696720 139738479009527 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
/proc/22814/statm: 3493588 6919 2837 1 0 3482964 0
[pid=22814/tid=22815] ppid=22812 vsize=13974352 memory=-6871798056524144002 CPUtime=0.08 cores=1,3,5,7
/proc/22814/task/22815/stat : 22815 (java) R 22812 22812 8563 0 -1 4202560 3369 0 0 0 8 0 0 0 20 0 15 0 117904312 14309736448 6919 18446744073709551615 4194304 4196468 140732585714176 139738483242800 139738479031453 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22816] ppid=22812 vsize=13974352 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22816/stat : 22816 (java) S 22812 22812 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117904313 14309736448 6919 18446744073709551615 4194304 4196468 140732585714176 139738439907728 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22817] ppid=22812 vsize=13974352 memory=139716277032576 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22817/stat : 22817 (java) S 22812 22812 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904313 14309736448 6919 18446744073709551615 4194304 4196468 140732585714176 139738078439696 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22818] ppid=22812 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22818/stat : 22818 (java) S 22812 22812 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904313 14309736448 6919 18446744073709551615 4194304 4196468 140732585714176 139738077387408 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22819] ppid=22812 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22819/stat : 22819 (java) S 22812 22812 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117904313 14309736448 6919 18446744073709551615 4194304 4196468 140732585714176 139738076334608 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22820] ppid=22812 vsize=13974352 memory=139716277032576 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22820/stat : 22820 (java) S 22812 22812 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117904314 14309736448 6919 18446744073709551615 4194304 4196468 140732585714176 139737597172336 139738479020674 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22821] ppid=22812 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22821/stat : 22821 (java) S 22812 22812 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117904315 14309736448 6919 18446744073709551615 4194304 4196468 140732585714176 139737596118304 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22822] ppid=22812 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22822/stat : 22822 (java) S 22812 22812 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117904315 14309736448 6919 18446744073709551615 4194304 4196468 140732585714176 139737595065968 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22823] ppid=22812 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22823/stat : 22823 (java) S 22812 22812 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904317 14309736448 6919 18446744073709551615 4194304 4196468 140732585714176 139737594014288 139738479028123 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22824] ppid=22812 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22824/stat : 22824 (java) S 22812 22812 8563 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 117904317 14309736448 6919 18446744073709551615 4194304 4196468 140732585714176 139737592961136 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22825] ppid=22812 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22825/stat : 22825 (java) R 22812 22812 8563 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 117904317 14309736448 6919 18446744073709551615 4194304 4196468 140732585714176 139737591908336 139738479020674 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22826] ppid=22812 vsize=13974352 memory=139716277032576 CPUtime=0.01 cores=1,3,5,7
/proc/22814/task/22826/stat : 22826 (java) S 22812 22812 8563 0 -1 1077944384 273 0 0 0 1 0 0 0 20 0 15 0 117904317 14309736448 6919 18446744073709551615 4194304 4196468 140732585714176 139737590856048 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22827] ppid=22812 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22827/stat : 22827 (java) S 22812 22812 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904317 14309736448 6919 18446744073709551615 4194304 4196468 140732585714176 139737589803488 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22828] ppid=22812 vsize=13974352 memory=139716277032576 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22828/stat : 22828 (java) S 22812 22812 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904323 14309736448 6919 18446744073709551615 4194304 4196468 140732585714176 139737588751280 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29052 KiB

[startup+0.310541 s]*
/proc/loadavg: 2.37 2.11 1.90 5/212 22828
/proc/meminfo: memFree=23717440/32770624 swapFree=67108860/67108860
[pid=22812] ppid=22809 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22812/stat : 22812 (xcsp3-exec) S 22809 22812 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117904305 9740288 344 18446744073709551615 4194304 5098028 140735408069600 140735408067704 139821233324668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 39952384 140735408071032 140735408071237 140735408071237 140735408074731 0
/proc/22812/statm: 2378 344 289 221 0 87 0
[pid=22814] ppid=22812 vsize=13974352 memory=39744 CPUtime=0.31 cores=1,3,5,7
/proc/22814/stat : 22814 (java) S 22812 22812 8563 0 -1 1077944320 9097 0 0 0 29 2 0 0 20 0 15 0 117904312 14309736448 9936 18446744073709551615 4194304 4196468 140732585714176 140732585696720 139738479009527 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
/proc/22814/statm: 3493588 9936 3005 1 0 3482964 0
[pid=22814/tid=22815] ppid=22812 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/22814/task/22815/stat : 22815 (java) R 22812 22812 8563 0 -1 4202560 6264 0 0 0 16 2 0 0 20 0 15 0 117904312 14309736448 9936 18446744073709551615 4194304 4196468 140732585714176 139738483243504 139738463090014 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22816] ppid=22812 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22816/stat : 22816 (java) S 22812 22812 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117904313 14309736448 9936 18446744073709551615 4194304 4196468 140732585714176 139738439907728 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22817] ppid=22812 vsize=13974352 memory=-8187100386482147110 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22817/stat : 22817 (java) S 22812 22812 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904313 14309736448 9936 18446744073709551615 4194304 4196468 140732585714176 139738078439696 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22818] ppid=22812 vsize=13974352 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22818/stat : 22818 (java) S 22812 22812 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904313 14309736448 9936 18446744073709551615 4194304 4196468 140732585714176 139738077387408 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22819] ppid=22812 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22819/stat : 22819 (java) S 22812 22812 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117904313 14309736448 9936 18446744073709551615 4194304 4196468 140732585714176 139738076334608 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22820] ppid=22812 vsize=13974352 memory=139716277039569 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22820/stat : 22820 (java) S 22812 22812 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117904314 14309736448 9936 18446744073709551615 4194304 4196468 140732585714176 139737597172336 139738479020674 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22821] ppid=22812 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22821/stat : 22821 (java) S 22812 22812 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117904315 14309736448 9936 18446744073709551615 4194304 4196468 140732585714176 139737596118304 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22822] ppid=22812 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22822/stat : 22822 (java) S 22812 22812 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117904315 14309736448 9936 18446744073709551615 4194304 4196468 140732585714176 139737595065968 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22823] ppid=22812 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22823/stat : 22823 (java) S 22812 22812 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904317 14309736448 9936 18446744073709551615 4194304 4196468 140732585714176 139737594014288 139738479028123 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22824] ppid=22812 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22814/task/22824/stat : 22824 (java) R 22812 22812 8563 0 -1 4202560 402 0 0 0 2 0 0 0 20 0 15 0 117904317 14309736448 9936 18446744073709551615 4194304 4196468 140732585714176 139737592961136 139738479020674 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22825] ppid=22812 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22814/task/22825/stat : 22825 (java) S 22812 22812 8563 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 15 0 117904317 14309736448 9936 18446744073709551615 4194304 4196468 140732585714176 139737591908336 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22826] ppid=22812 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/22814/task/22826/stat : 22826 (java) R 22812 22812 8563 0 -1 4202560 735 0 0 0 6 0 0 0 20 0 15 0 117904317 14309736448 9936 18446744073709551615 4194304 4196468 140732585714176 139737590856048 139738479021462 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22827] ppid=22812 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22827/stat : 22827 (java) S 22812 22812 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904317 14309736448 9936 18446744073709551615 4194304 4196468 140732585714176 139737589803488 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22828] ppid=22812 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22828/stat : 22828 (java) S 22812 22812 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904323 14309736448 9936 18446744073709551615 4194304 4196468 140732585714176 139737588751280 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41120 KiB

[startup+0.701055 s]
/proc/loadavg: 2.37 2.11 1.90 3/212 22828
/proc/meminfo: memFree=23663836/32770624 swapFree=67108860/67108860
[pid=22812] ppid=22809 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22812/stat : 22812 (xcsp3-exec) S 22809 22812 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117904305 9740288 344 18446744073709551615 4194304 5098028 140735408069600 140735408067704 139821233324668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 39952384 140735408071032 140735408071237 140735408071237 140735408074731 0
/proc/22812/statm: 2378 344 289 221 0 87 0
[pid=22814] ppid=22812 vsize=13978608 memory=285948 CPUtime=1.05 cores=1,3,5,7
/proc/22814/stat : 22814 (java) S 22812 22812 8563 0 -1 1077944320 11227 0 0 0 82 23 0 0 20 0 15 0 117904312 14314094592 71487 18446744073709551615 4194304 4196468 140732585714176 140732585696720 139738479009527 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
/proc/22814/statm: 3494652 71487 3119 1 0 3482964 0
[pid=22814/tid=22815] ppid=22812 vsize=13978608 memory=5938676076658386518 CPUtime=0.49 cores=1,3,5,7
/proc/22814/task/22815/stat : 22815 (java) R 22812 22812 8563 0 -1 4202560 7605 0 0 0 43 6 0 0 20 0 15 0 117904312 14314094592 71487 18446744073709551615 4194304 4196468 140732585714176 139738483248368 139738479031453 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22816] ppid=22812 vsize=13978608 memory=7449330234657166691 CPUtime=0.06 cores=1,3,5,7
/proc/22814/task/22816/stat : 22816 (java) S 22812 22812 8563 0 -1 1077944384 65 0 0 0 2 4 0 0 20 0 15 0 117904313 14314094592 71487 18446744073709551615 4194304 4196468 140732585714176 139738439907728 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22817] ppid=22812 vsize=13978608 memory=6370158481492960344 CPUtime=0.06 cores=1,3,5,7
/proc/22814/task/22817/stat : 22817 (java) S 22812 22812 8563 0 -1 1077944384 65 0 0 0 3 3 0 0 20 0 15 0 117904313 14314094592 71487 18446744073709551615 4194304 4196468 140732585714176 139738078439696 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22818] ppid=22812 vsize=13978608 memory=-8629894644521537641 CPUtime=0.05 cores=1,3,5,7
/proc/22814/task/22818/stat : 22818 (java) S 22812 22812 8563 0 -1 1077944384 60 0 0 0 2 3 0 0 20 0 15 0 117904313 14314094592 71487 18446744073709551615 4194304 4196468 140732585714176 139738077387408 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22819] ppid=22812 vsize=13978608 memory=6655300316396806240 CPUtime=0.05 cores=1,3,5,7
/proc/22814/task/22819/stat : 22819 (java) S 22812 22812 8563 0 -1 1077944384 68 0 0 0 2 3 0 0 20 0 15 0 117904313 14314094592 71487 18446744073709551615 4194304 4196468 140732585714176 139738076334608 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22820] ppid=22812 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22820/stat : 22820 (java) S 22812 22812 8563 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 117904314 14314094592 71487 18446744073709551615 4194304 4196468 140732585714176 139737597172336 139738479020674 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22821] ppid=22812 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22821/stat : 22821 (java) S 22812 22812 8563 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 117904315 14314094592 71487 18446744073709551615 4194304 4196468 140732585714176 139737596118304 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22822] ppid=22812 vsize=13978608 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22822/stat : 22822 (java) S 22812 22812 8563 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 117904315 14314094592 71487 18446744073709551615 4194304 4196468 140732585714176 139737595065968 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22823] ppid=22812 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22823/stat : 22823 (java) S 22812 22812 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904317 14314094592 71487 18446744073709551615 4194304 4196468 140732585714176 139737594014288 139738479028123 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22824] ppid=22812 vsize=13978608 memory=139716158562928 CPUtime=0.05 cores=1,3,5,7
/proc/22814/task/22824/stat : 22824 (java) S 22812 22812 8563 0 -1 1077944384 476 0 0 0 5 0 0 0 20 0 15 0 117904317 14314094592 71487 18446744073709551615 4194304 4196468 140732585714176 139737592961136 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22825] ppid=22812 vsize=13978608 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/22814/task/22825/stat : 22825 (java) S 22812 22812 8563 0 -1 1077944384 612 0 0 0 6 0 0 0 20 0 15 0 117904317 14314094592 71487 18446744073709551615 4194304 4196468 140732585714176 139737591908336 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22826] ppid=22812 vsize=13978608 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/22814/task/22826/stat : 22826 (java) S 22812 22812 8563 0 -1 1077944384 894 0 0 0 14 0 0 0 20 0 15 0 117904317 14314094592 71487 18446744073709551615 4194304 4196468 140732585714176 139737590856048 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22827] ppid=22812 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22827/stat : 22827 (java) S 22812 22812 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904317 14314094592 71487 18446744073709551615 4194304 4196468 140732585714176 139737589803488 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22828] ppid=22812 vsize=13978608 memory=7809523229951467568 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22828/stat : 22828 (java) S 22812 22812 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117904323 14314094592 71487 18446744073709551615 4194304 4196468 140732585714176 139737588751280 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 287324 KiB

[startup+1.50177 s]
/proc/loadavg: 2.37 2.11 1.90 3/212 22828
/proc/meminfo: memFree=22827268/32770624 swapFree=67108860/67108860
[pid=22812] ppid=22809 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22812/stat : 22812 (xcsp3-exec) S 22809 22812 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117904305 9740288 344 18446744073709551615 4194304 5098028 140735408069600 140735408067704 139821233324668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 39952384 140735408071032 140735408071237 140735408071237 140735408074731 0
/proc/22812/statm: 2378 344 289 221 0 87 0
[pid=22814] ppid=22812 vsize=13978684 memory=1135552 CPUtime=2.87 cores=1,3,5,7
/proc/22814/stat : 22814 (java) S 22812 22812 8563 0 -1 1077944320 14890 0 0 0 251 36 0 0 20 0 15 0 117904312 14314172416 283888 18446744073709551615 4194304 4196468 140732585714176 140732585696720 139738479009527 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
/proc/22814/statm: 3494671 283888 3203 1 0 3482964 0
[pid=22814/tid=22815] ppid=22812 vsize=13978684 memory=-8774313645642428999 CPUtime=1.1 cores=1,3,5,7
/proc/22814/task/22815/stat : 22815 (java) R 22812 22812 8563 0 -1 4202560 8857 0 0 0 92 18 0 0 20 0 15 0 117904312 14314172416 283888 18446744073709551615 4194304 4196468 140732585714176 139738483247312 139738122713261 0 4 1 16800974 0 0 0 -1 7 0 0 5 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22816] ppid=22812 vsize=13978684 memory=8316178437708805999 CPUtime=0.23 cores=1,3,5,7
/proc/22814/task/22816/stat : 22816 (java) S 22812 22812 8563 0 -1 1077944384 71 0 0 0 19 4 0 0 20 0 15 0 117904313 14314172416 283888 18446744073709551615 4194304 4196468 140732585714176 139738439907728 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22817] ppid=22812 vsize=13978684 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/22814/task/22817/stat : 22817 (java) S 22812 22812 8563 0 -1 1077944384 108 0 0 0 19 4 0 0 20 0 15 0 117904313 14314172416 283888 18446744073709551615 4194304 4196468 140732585714176 139738078439696 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22818] ppid=22812 vsize=13978684 memory=-1161699032755691870 CPUtime=0.23 cores=1,3,5,7
/proc/22814/task/22818/stat : 22818 (java) S 22812 22812 8563 0 -1 1077944384 116 0 0 0 19 4 0 0 20 0 15 0 117904313 14314172416 283888 18446744073709551615 4194304 4196468 140732585714176 139738077387408 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22819] ppid=22812 vsize=13978684 memory=6943526294502006880 CPUtime=0.23 cores=1,3,5,7

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

/proc/22814/task/22817/stat : 22817 (java) R 22812 22812 8563 0 -1 4202560 36645 0 0 0 968 327 0 0 20 0 15 0 117904313 14316269568 2931180 18446744073709551615 4194304 4196468 140732585714176 139738078439280 139738471637735 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22818] ppid=22812 vsize=13980732 memory=960 CPUtime=12.85 cores=1,3,5,7
/proc/22814/task/22818/stat : 22818 (java) R 22812 22812 8563 0 -1 4202560 36062 0 0 0 988 297 0 0 20 0 15 0 117904313 14316269568 2931180 18446744073709551615 4194304 4196468 140732585714176 139738077387408 139738462186111 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22819] ppid=22812 vsize=13980732 memory=1376 CPUtime=12.92 cores=1,3,5,7
/proc/22814/task/22819/stat : 22819 (java) R 22812 22812 8563 0 -1 4202560 36942 0 0 0 974 318 0 0 20 0 15 0 117904313 14316269568 2931180 18446744073709551615 4194304 4196468 140732585714176 139738076334808 139738460605985 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22820] ppid=22812 vsize=13980732 memory=10789348 CPUtime=2.21 cores=1,3,5,7
/proc/22814/task/22820/stat : 22820 (java) S 22812 22812 8563 0 -1 1077944384 17497 0 0 0 218 3 0 0 20 0 15 0 117904314 14316269568 2931180 18446744073709551615 4194304 4196468 140732585714176 139737597170656 139738479019733 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22821] ppid=22812 vsize=13980732 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22821/stat : 22821 (java) S 22812 22812 8563 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 117904315 14316269568 2931180 18446744073709551615 4194304 4196468 140732585714176 139737596118368 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22822] ppid=22812 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22822/stat : 22822 (java) S 22812 22812 8563 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 117904315 14316269568 2931180 18446744073709551615 4194304 4196468 140732585714176 139737595065984 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22823] ppid=22812 vsize=13980732 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22823/stat : 22823 (java) S 22812 22812 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904317 14316269568 2931180 18446744073709551615 4194304 4196468 140732585714176 139737594014288 139738479028123 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22824] ppid=22812 vsize=13980732 memory=279432317954320 CPUtime=0.47 cores=1,3,5,7
/proc/22814/task/22824/stat : 22824 (java) S 22812 22812 8563 0 -1 1077944384 3416 0 0 0 46 1 0 0 20 0 15 0 117904317 14316269568 2931180 18446744073709551615 4194304 4196468 140732585714176 139737592961136 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22825] ppid=22812 vsize=13980732 memory=35688 CPUtime=0.48 cores=1,3,5,7
/proc/22814/task/22825/stat : 22825 (java) S 22812 22812 8563 0 -1 1077944384 3619 0 0 0 48 0 0 0 20 0 15 0 117904317 14316269568 2931180 18446744073709551615 4194304 4196468 140732585714176 139737591908336 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22826] ppid=22812 vsize=13980732 memory=-8774313645642428999 CPUtime=0.31 cores=1,3,5,7
/proc/22814/task/22826/stat : 22826 (java) S 22812 22812 8563 0 -1 1077944384 2720 0 0 0 31 0 0 0 20 0 15 0 117904317 14316269568 2931180 18446744073709551615 4194304 4196468 140732585714176 139737590856048 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22827] ppid=22812 vsize=13980732 memory=63620 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22827/stat : 22827 (java) S 22812 22812 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904317 14316269568 2931180 18446744073709551615 4194304 4196468 140732585714176 139737589803488 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22828] ppid=22812 vsize=13980732 memory=1292 CPUtime=0.06 cores=1,3,5,7
/proc/22814/task/22828/stat : 22828 (java) S 22812 22812 8563 0 -1 1077944384 235 0 0 0 3 3 0 0 20 0 15 0 117904323 14316269568 2931180 18446744073709551615 4194304 4196468 140732585714176 139737588751280 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
Current children cumulated CPU time: 139.12 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11726096 KiB

[startup+100.801 s]
/proc/loadavg: 2.22 2.13 1.93 6/214 22845
/proc/meminfo: memFree=12006896/32770624 swapFree=67108860/67108860
[pid=22812] ppid=22809 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22812/stat : 22812 (xcsp3-exec) S 22809 22812 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117904305 9740288 344 18446744073709551615 4194304 5098028 140735408069600 140735408067704 139821233324668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 39952384 140735408071032 140735408071237 140735408071237 140735408074731 0
/proc/22812/statm: 2378 344 289 221 0 87 0
[pid=22814] ppid=22812 vsize=13980732 memory=11724824 CPUtime=145.06 cores=1,3,5,7
/proc/22814/stat : 22814 (java) S 22812 22812 8563 0 -1 1077944320 296040 0 0 0 13274 1232 0 0 20 0 15 0 117904312 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 140732585696720 139738479009527 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
/proc/22814/statm: 3495183 2931206 3220 1 0 3483476 0
[pid=22814/tid=22815] ppid=22812 vsize=13980732 memory=-8774313645642428999 CPUtime=83.83 cores=1,3,5,7
/proc/22814/task/22815/stat : 22815 (java) S 22812 22812 8563 0 -1 1077944384 17520 0 0 0 8360 23 0 0 20 0 15 0 117904312 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139738483247744 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22816] ppid=22812 vsize=13980732 memory=1376 CPUtime=14.41 cores=1,3,5,7
/proc/22814/task/22816/stat : 22816 (java) R 22812 22812 8563 0 -1 4202560 36782 0 0 0 1191 250 0 0 20 0 15 0 117904313 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139738439907536 139738471637735 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22817] ppid=22812 vsize=13980732 memory=10756564 CPUtime=14.42 cores=1,3,5,7
/proc/22814/task/22817/stat : 22817 (java) R 22812 22812 8563 0 -1 4202560 139398 0 0 0 1111 331 0 0 20 0 15 0 117904313 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139738078439584 139738472112513 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22818] ppid=22812 vsize=13980732 memory=1376 CPUtime=14.29 cores=1,3,5,7
/proc/22814/task/22818/stat : 22818 (java) R 22812 22812 8563 0 -1 4202560 36237 0 0 0 1131 298 0 0 20 0 15 0 117904313 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139738077387216 139738471637735 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22819] ppid=22812 vsize=13980732 memory=11724824 CPUtime=14.37 cores=1,3,5,7
/proc/22814/task/22819/stat : 22819 (java) R 22812 22812 8563 0 -1 4202560 37264 0 0 0 1118 319 0 0 20 0 15 0 117904313 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139738076334416 139738471637735 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22820] ppid=22812 vsize=13980732 memory=1376 CPUtime=2.33 cores=1,3,5,7
/proc/22814/task/22820/stat : 22820 (java) S 22812 22812 8563 0 -1 1077944384 17499 0 0 0 230 3 0 0 20 0 15 0 117904314 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737597170896 139738479019733 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22821] ppid=22812 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22821/stat : 22821 (java) S 22812 22812 8563 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 117904315 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737596118368 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22822] ppid=22812 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22822/stat : 22822 (java) S 22812 22812 8563 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 117904315 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737595065984 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22823] ppid=22812 vsize=13980732 memory=15536310592997909 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22823/stat : 22823 (java) S 22812 22812 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904317 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737594014288 139738479028123 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22824] ppid=22812 vsize=13980732 memory=1240 CPUtime=0.47 cores=1,3,5,7
/proc/22814/task/22824/stat : 22824 (java) S 22812 22812 8563 0 -1 1077944384 3416 0 0 0 46 1 0 0 20 0 15 0 117904317 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737592961136 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22825] ppid=22812 vsize=13980732 memory=1376 CPUtime=0.48 cores=1,3,5,7
/proc/22814/task/22825/stat : 22825 (java) S 22812 22812 8563 0 -1 1077944384 3619 0 0 0 48 0 0 0 20 0 15 0 117904317 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737591908336 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22826] ppid=22812 vsize=13980732 memory=11699752 CPUtime=0.31 cores=1,3,5,7
/proc/22814/task/22826/stat : 22826 (java) S 22812 22812 8563 0 -1 1077944384 2720 0 0 0 31 0 0 0 20 0 15 0 117904317 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737590856048 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22827] ppid=22812 vsize=13980732 memory=6944656592455359536 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22827/stat : 22827 (java) S 22812 22812 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904317 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737589803488 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22828] ppid=22812 vsize=13980732 memory=6944656592455097440 CPUtime=0.06 cores=1,3,5,7
/proc/22814/task/22828/stat : 22828 (java) S 22812 22812 8563 0 -1 1077944384 235 0 0 0 3 3 0 0 20 0 15 0 117904323 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737588751280 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
Current children cumulated CPU time: 145.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11726200 KiB

[startup+101.602 s]
/proc/loadavg: 2.22 2.13 1.93 6/214 22845
/proc/meminfo: memFree=12006896/32770624 swapFree=67108860/67108860
[pid=22812] ppid=22809 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22812/stat : 22812 (xcsp3-exec) S 22809 22812 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117904305 9740288 344 18446744073709551615 4194304 5098028 140735408069600 140735408067704 139821233324668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 39952384 140735408071032 140735408071237 140735408071237 140735408074731 0
/proc/22812/statm: 2378 344 289 221 0 87 0
[pid=22814] ppid=22812 vsize=13980732 memory=11724824 CPUtime=148.17 cores=1,3,5,7
/proc/22814/stat : 22814 (java) S 22812 22812 8563 0 -1 1077944320 297054 0 0 0 13583 1234 0 0 20 0 15 0 117904312 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 140732585696720 139738479009527 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
/proc/22814/statm: 3495183 2931206 3220 1 0 3483476 0
[pid=22814/tid=22815] ppid=22812 vsize=13980732 memory=-8774313645642428999 CPUtime=83.83 cores=1,3,5,7
/proc/22814/task/22815/stat : 22815 (java) S 22812 22812 8563 0 -1 1077944384 17520 0 0 0 8360 23 0 0 20 0 15 0 117904312 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139738483247744 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22816] ppid=22812 vsize=13980732 memory=11724824 CPUtime=15.19 cores=1,3,5,7
/proc/22814/task/22816/stat : 22816 (java) R 22812 22812 8563 0 -1 4202560 36782 0 0 0 1268 251 0 0 20 0 15 0 117904313 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139738439907536 139738471637735 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22817] ppid=22812 vsize=13980732 memory=1624 CPUtime=15.21 cores=1,3,5,7
/proc/22814/task/22817/stat : 22817 (java) R 22812 22812 8563 0 -1 4202560 140412 0 0 0 1190 331 0 0 20 0 15 0 117904313 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139738078439584 139738463709358 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22818] ppid=22812 vsize=13980732 memory=928 CPUtime=15.06 cores=1,3,5,7
/proc/22814/task/22818/stat : 22818 (java) R 22812 22812 8563 0 -1 4202560 36237 0 0 0 1208 298 0 0 20 0 15 0 117904313 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139738077387216 139738471637735 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22819] ppid=22812 vsize=13980732 memory=-8774313645642428999 CPUtime=15.14 cores=1,3,5,7
/proc/22814/task/22819/stat : 22819 (java) R 22812 22812 8563 0 -1 4202560 37264 0 0 0 1195 319 0 0 20 0 15 0 117904313 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139738076334416 139738471637735 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22820] ppid=22812 vsize=13980732 memory=840 CPUtime=2.33 cores=1,3,5,7
/proc/22814/task/22820/stat : 22820 (java) S 22812 22812 8563 0 -1 1077944384 17499 0 0 0 230 3 0 0 20 0 15 0 117904314 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737597170896 139738479019733 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22821] ppid=22812 vsize=13980732 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22821/stat : 22821 (java) S 22812 22812 8563 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 117904315 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737596118368 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22822] ppid=22812 vsize=13980732 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22822/stat : 22822 (java) S 22812 22812 8563 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 117904315 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737595065984 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22823] ppid=22812 vsize=13980732 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22823/stat : 22823 (java) S 22812 22812 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904317 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737594014288 139738479028123 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22824] ppid=22812 vsize=13980732 memory=1228 CPUtime=0.47 cores=1,3,5,7
/proc/22814/task/22824/stat : 22824 (java) S 22812 22812 8563 0 -1 1077944384 3416 0 0 0 46 1 0 0 20 0 15 0 117904317 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737592961136 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22825] ppid=22812 vsize=13980732 memory=796 CPUtime=0.48 cores=1,3,5,7
/proc/22814/task/22825/stat : 22825 (java) S 22812 22812 8563 0 -1 1077944384 3619 0 0 0 48 0 0 0 20 0 15 0 117904317 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737591908336 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22826] ppid=22812 vsize=13980732 memory=5788 CPUtime=0.31 cores=1,3,5,7
/proc/22814/task/22826/stat : 22826 (java) S 22812 22812 8563 0 -1 1077944384 2720 0 0 0 31 0 0 0 20 0 15 0 117904317 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737590856048 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22827] ppid=22812 vsize=13980732 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22827/stat : 22827 (java) S 22812 22812 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904317 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737589803488 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22828] ppid=22812 vsize=13980732 memory=4616 CPUtime=0.06 cores=1,3,5,7
/proc/22814/task/22828/stat : 22828 (java) S 22812 22812 8563 0 -1 1077944384 235 0 0 0 3 3 0 0 20 0 15 0 117904323 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737588751280 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
Current children cumulated CPU time: 148.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11726200 KiB

[startup+102.001 s]*
/proc/loadavg: 2.22 2.13 1.93 3/214 22845
/proc/meminfo: memFree=12006896/32770624 swapFree=67108860/67108860
[pid=22812] ppid=22809 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22812/stat : 22812 (xcsp3-exec) S 22809 22812 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117904305 9740288 344 18446744073709551615 4194304 5098028 140735408069600 140735408067704 139821233324668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 39952384 140735408071032 140735408071237 140735408071237 140735408074731 0
/proc/22812/statm: 2378 344 289 221 0 87 0
[pid=22814] ppid=22812 vsize=13980732 memory=11724824 CPUtime=148.82 cores=1,3,5,7
/proc/22814/stat : 22814 (java) S 22812 22812 8563 0 -1 1077944320 297518 0 0 0 13648 1234 0 0 20 0 15 0 117904312 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 140732585696720 139738479009527 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
/proc/22814/statm: 3495183 2931206 3220 1 0 3483476 0
[pid=22814/tid=22815] ppid=22812 vsize=13980732 memory=7311146985107750967 CPUtime=83.83 cores=1,3,5,7
/proc/22814/task/22815/stat : 22815 (java) S 22812 22812 8563 0 -1 1077944384 17520 0 0 0 8360 23 0 0 20 0 15 0 117904312 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139738483247744 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22816] ppid=22812 vsize=13980732 memory=12619 CPUtime=15.27 cores=1,3,5,7
/proc/22814/task/22816/stat : 22816 (java) S 22812 22812 8563 0 -1 1077944384 36782 0 0 0 1276 251 0 0 20 0 15 0 117904313 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139738439907728 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22817] ppid=22812 vsize=13980732 memory=4049777592110405280 CPUtime=15.29 cores=1,3,5,7
/proc/22814/task/22817/stat : 22817 (java) S 22812 22812 8563 0 -1 1077944384 140876 0 0 0 1198 331 0 0 20 0 15 0 117904313 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139738078439696 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22818] ppid=22812 vsize=13980732 memory=6944613755395144096 CPUtime=15.14 cores=1,3,5,7
/proc/22814/task/22818/stat : 22818 (java) S 22812 22812 8563 0 -1 1077944384 36237 0 0 0 1216 298 0 0 20 0 15 0 117904313 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139738077387408 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22819] ppid=22812 vsize=13980732 memory=7451578361701216303 CPUtime=15.22 cores=1,3,5,7
/proc/22814/task/22819/stat : 22819 (java) S 22812 22812 8563 0 -1 1077944384 37264 0 0 0 1203 319 0 0 20 0 15 0 117904313 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139738076334608 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22820] ppid=22812 vsize=13980732 memory=4210286632746686858 CPUtime=2.65 cores=1,3,5,7
/proc/22814/task/22820/stat : 22820 (java) R 22812 22812 8563 0 -1 4202560 17499 0 0 0 262 3 0 0 20 0 15 0 117904314 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737597170896 139738464005931 0 0 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22821] ppid=22812 vsize=13980732 memory=8387746942428580400 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22821/stat : 22821 (java) S 22812 22812 8563 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 117904315 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737596118368 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22822] ppid=22812 vsize=13980732 memory=-7522837583045027981 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22822/stat : 22822 (java) S 22812 22812 8563 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 117904315 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737595065984 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22823] ppid=22812 vsize=13980732 memory=279432318595232 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22823/stat : 22823 (java) S 22812 22812 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904317 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737594014288 139738479028123 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22824] ppid=22812 vsize=13980732 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/22814/task/22824/stat : 22824 (java) S 22812 22812 8563 0 -1 1077944384 3416 0 0 0 46 1 0 0 20 0 15 0 117904317 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737592961136 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22825] ppid=22812 vsize=13980732 memory=-1 CPUtime=0.48 cores=1,3,5,7
/proc/22814/task/22825/stat : 22825 (java) S 22812 22812 8563 0 -1 1077944384 3619 0 0 0 48 0 0 0 20 0 15 0 117904317 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737591908336 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22826] ppid=22812 vsize=13980732 memory=3978564435991131824 CPUtime=0.31 cores=1,3,5,7
/proc/22814/task/22826/stat : 22826 (java) S 22812 22812 8563 0 -1 1077944384 2720 0 0 0 31 0 0 0 20 0 15 0 117904317 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737590856048 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22827] ppid=22812 vsize=13980732 memory=3467824627879784479 CPUtime=0 cores=1,3,5,7
/proc/22814/task/22827/stat : 22827 (java) S 22812 22812 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117904317 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737589803488 139738479019733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
[pid=22814/tid=22828] ppid=22812 vsize=13980732 memory=3618559057419438519 CPUtime=0.06 cores=1,3,5,7
/proc/22814/task/22828/stat : 22828 (java) S 22812 22812 8563 0 -1 1077944384 235 0 0 0 3 3 0 0 20 0 15 0 117904323 14316269568 2931206 18446744073709551615 4194304 4196468 140732585714176 139737588751280 139738479020674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28340224 140732585722289 140732585722465 140732585722465 140732585725903 0
Current children cumulated CPU time: 148.82 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11726200 KiB

[startup+102.219 s]
/proc/loadavg: 2.22 2.13 1.93 3/214 22845
/proc/meminfo: memFree=12006896/32770624 swapFree=67108860/67108860
[pid=22812] ppid=22809 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/22812/stat : 22812 (xcsp3-exec) S 22809 22812 8563 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117904305 9740288 344 18446744073709551615 4194304 5098028 140735408069600 140735408067704 139821233324668 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 39952384 140735408071032 140735408071237 140735408071237 140735408074731 0
/proc/22812/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1376 KiB

Child status: 1
Real time (s): 102.225
CPU time (s): 149.041
CPU user time (s): 136.63
CPU system time (s): 12.4112
CPU usage (%): 145.797
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 11726224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 136.63
system time used= 12.4112
maximum resident set size= 11725136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 298587
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9845
involuntary context switches= 626


# summary of solver processes directly reported to runsolver:
#   pid: 22812
#   total CPU time (s): 149.041
#   total CPU user time (s): 136.63
#   total CPU system time (s): 12.4112

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.654127 second user time and 1.14876 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-19 17:19:50
IDJOB=4281773
IDBENCH=138075
IDSOLVER=2677
FILE ID=node125/4281773-1503156838
RUNJOBID= node125-1503095795-8622
PBS_JOBID= 
Free space on /tmp= 61904 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/BinPacking/BinPacking-tab-sw120/BinPacking-tab-sw120-41.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-4281773-1503156838/watcher-4281773-1503156838 -o /tmp/evaluation-result-4281773-1503156838/solver-4281773-1503156838 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503095795-8622 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1953201683 HOME/instance-4281773-1503156838.xml

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

MD5SUM BENCH= a372e06032e8b52aa9c97452ff274801
RANDOM SEED=1953201683

node125.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.07
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.07
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.07
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.07
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:        23745464 kB
MemAvailable:   25025584 kB
Buffers:          326392 kB
Cached:          1260440 kB
SwapCached:            0 kB
Active:          7898920 kB
Inactive:         677844 kB
Active(anon):    6990232 kB
Inactive(anon):    49484 kB
Active(file):     908688 kB
Inactive(file):   628360 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             92048 kB
Writeback:             0 kB
AnonPages:       6989584 kB
Mapped:            73868 kB
Shmem:             49828 kB
Slab:             144288 kB
SReclaimable:     117816 kB
SUnreclaim:        26472 kB
KernelStack:        3456 kB
PageTables:        18896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    8703792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6846464 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61896 MiB
End job on node125 at 2017-08-19 17:21:33