Trace number 4270011

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-09)? 167.03799 124.892

General information on the benchmark

NameBinPacking/BinPacking-tab-sw120/
BinPacking-tab-sw120-10.xml
MD5SUM67f07639019614dd1d008c87f8253383
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark254.02699
Satisfiable
(Un)Satisfiability was proved
Number of variables133
Number of constraints25
Number of domains2
Minimum domain size23
Maximum domain size46
Distribution of domain sizes[{"size":23,"count":1},{"size":46,"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.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270011-1502623718.xml"  -tl '264s' -p 1 -x 0
0.09/0.27	c [HOME/instance-4270011-1502623718.xml, -tl, 264s, -p, 1, -x, 0]
0.29/0.33	c simple solver
0.29/0.40	c parse instance...
166.77/123.33	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
166.77/123.33		at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:98)
166.77/123.33		at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61)
166.77/123.33		at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1857)
166.77/123.33		at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1813)
166.77/123.33		at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:313)
166.77/123.33		at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413)
166.77/123.33		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130)
166.77/123.33		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
166.77/123.33		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440)
166.77/123.33		at org.xcsp.parser.XCallbacks$$Lambda$70/1900164709.accept(Unknown Source)
166.77/123.33		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
166.77/123.33		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
166.77/123.33		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
166.77/123.33		at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406)
166.77/123.33		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
166.77/123.33		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
166.77/123.33		at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260)
166.77/123.33		at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
166.77/123.33		at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112)
166.77/123.33		at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99)
166.77/123.33		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23)
166.77/123.33	s UNKNOWN
166.77/123.33	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 (14614 MiB free)
  memory of node 1: 16384 MiB (15174 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270011-1502623718/watcher-4270011-1502623718 -o /tmp/evaluation-result-4270011-1502623718/solver-4270011-1502623718 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502620465-28448 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 929085227 HOME/instance-4270011-1502623718.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Starting watchdog thread
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=30679, runsolver pid=30676
Current StackSize limit: 8192 KiB


[startup+0.100134 s]*
/proc/loadavg: 1.98 1.96 1.92 3/208 30686
/proc/meminfo: memFree=30500020/32770624 swapFree=67108860/67108860
[pid=30679] ppid=30676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30679/stat : 30679 (xcsp3-exec) S 30676 30679 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104283207 9740288 345 18446744073709551615 4194304 5098028 140723487638944 140723487637048 140108517409404 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 40128512 140723487641983 140723487642186 140723487642186 140723487645675 0
/proc/30679/statm: 2378 345 289 221 0 87 0
[pid=30681] ppid=30679 vsize=13441356 memory=17608 CPUtime=0.01 cores=1,3,5,7
/proc/30681/stat : 30681 (java) S 30679 30679 12395 0 -1 1077944320 3657 0 0 0 1 0 0 0 20 0 7 0 104283215 13763948544 4402 18446744073709551615 4194304 4196468 140724017311088 140724017293632 140031268601591 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
/proc/30681/statm: 3360339 4402 1998 1 0 3349836 0
[pid=30681/tid=30682] ppid=30679 vsize=13441356 memory=-6871798056524144002 CPUtime=0.01 cores=1,3,5,7
/proc/30681/task/30682/stat : 30682 (java) R 30679 30679 12395 0 -1 4202560 2420 0 0 0 1 0 0 0 20 0 7 0 104283216 13763948544 4402 18446744073709551615 4194304 4196468 140724017311088 140031272844048 140031251021824 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30683] ppid=30679 vsize=13441356 memory=7451718385970606323 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30683/stat : 30683 (java) S 30679 30679 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 104283216 13763948544 4402 18446744073709551615 4194304 4196468 140724017311088 140031236160528 140031268611797 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30684] ppid=30679 vsize=13441356 memory=140024271943296 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30684/stat : 30684 (java) S 30679 30679 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 104283216 13763948544 4402 18446744073709551615 4194304 4196468 140724017311088 140030867754128 140031268611797 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30685] ppid=30679 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30685/stat : 30685 (java) S 30679 30679 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 104283216 13763948544 4402 18446744073709551615 4194304 4196468 140724017311088 140030866701072 140031268611797 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30686] ppid=30679 vsize=13441356 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30686/stat : 30686 (java) S 30679 30679 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 104283216 13763948544 4402 18446744073709551615 4194304 4196468 140724017311088 140030865648528 140031268611797 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30687] ppid=30679 vsize=13441356 memory=140024271943296 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30687/stat : 30687 (java) S 30679 30679 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 104283218 13763948544 4402 18446744073709551615 4194304 4196468 140724017311088 140030185400560 140031268612738 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 18988 KiB

[startup+0.211062 s]*
/proc/loadavg: 1.98 1.96 1.92 3/217 30695
/proc/meminfo: memFree=30488836/32770624 swapFree=67108860/67108860
[pid=30679] ppid=30676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30679/stat : 30679 (xcsp3-exec) S 30676 30679 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104283207 9740288 345 18446744073709551615 4194304 5098028 140723487638944 140723487637048 140108517409404 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 40128512 140723487641983 140723487642186 140723487642186 140723487645675 0
/proc/30679/statm: 2378 345 289 221 0 87 0
[pid=30681] ppid=30679 vsize=13974352 memory=26856 CPUtime=0.09 cores=1,3,5,7
/proc/30681/stat : 30681 (java) S 30679 30679 12395 0 -1 1077944320 5125 0 0 0 8 1 0 0 20 0 15 0 104283215 14309736448 6714 18446744073709551615 4194304 4196468 140724017311088 140724017293632 140031268601591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
/proc/30681/statm: 3493588 6714 2752 1 0 3482964 0
[pid=30681/tid=30682] ppid=30679 vsize=13974352 memory=-6225219793972203870 CPUtime=0.06 cores=1,3,5,7
/proc/30681/task/30682/stat : 30682 (java) R 30679 30679 12395 0 -1 4202560 3268 0 0 0 6 0 0 0 20 0 15 0 104283216 14309736448 6714 18446744073709551615 4194304 4196468 140724017311088 140031272835008 140031268623517 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30683] ppid=30679 vsize=13974352 memory=3461490628901627529 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30683/stat : 30683 (java) S 30679 30679 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104283216 14309736448 6714 18446744073709551615 4194304 4196468 140724017311088 140031236160528 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30684] ppid=30679 vsize=13974352 memory=140024271943296 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30684/stat : 30684 (java) S 30679 30679 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104283216 14309736448 6714 18446744073709551615 4194304 4196468 140724017311088 140030867754128 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30685] ppid=30679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30685/stat : 30685 (java) S 30679 30679 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104283216 14309736448 6714 18446744073709551615 4194304 4196468 140724017311088 140030866701072 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30686] ppid=30679 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30686/stat : 30686 (java) S 30679 30679 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104283216 14309736448 6714 18446744073709551615 4194304 4196468 140724017311088 140030865648528 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30687] ppid=30679 vsize=13974352 memory=140024271943296 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30687/stat : 30687 (java) S 30679 30679 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104283218 14309736448 6714 18446744073709551615 4194304 4196468 140724017311088 140030185400560 140031268612738 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30688] ppid=30679 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30688/stat : 30688 (java) S 30679 30679 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104283218 14309736448 6714 18446744073709551615 4194304 4196468 140724017311088 140030184346784 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30689] ppid=30679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30689/stat : 30689 (java) S 30679 30679 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104283218 14309736448 6714 18446744073709551615 4194304 4196468 140724017311088 140030183293680 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30690] ppid=30679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30690/stat : 30690 (java) S 30679 30679 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104283221 14309736448 6714 18446744073709551615 4194304 4196468 140724017311088 140030182242256 140031268620187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30691] ppid=30679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30691/stat : 30691 (java) S 30679 30679 12395 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 104283221 14309736448 6714 18446744073709551615 4194304 4196468 140724017311088 140030181190384 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30692] ppid=30679 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30692/stat : 30692 (java) S 30679 30679 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104283221 14309736448 6714 18446744073709551615 4194304 4196468 140724017311088 140030180137840 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30693] ppid=30679 vsize=13974352 memory=140024271943296 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30693/stat : 30693 (java) R 30679 30679 12395 0 -1 4202560 248 0 0 0 0 0 0 0 20 0 15 0 104283221 14309736448 6714 18446744073709551615 4194304 4196468 140724017311088 140030179084784 140031246717288 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30694] ppid=30679 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30694/stat : 30694 (java) S 30679 30679 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104283221 14309736448 6714 18446744073709551615 4194304 4196468 140724017311088 140030178032480 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30695] ppid=30679 vsize=13974352 memory=140024271943296 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30695/stat : 30695 (java) S 30679 30679 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104283226 14309736448 6714 18446744073709551615 4194304 4196468 140724017311088 140030176979504 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28236 KiB

[startup+0.315137 s]*
/proc/loadavg: 1.98 1.96 1.92 5/217 30695
/proc/meminfo: memFree=30472680/32770624 swapFree=67108860/67108860
[pid=30679] ppid=30676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30679/stat : 30679 (xcsp3-exec) S 30676 30679 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104283207 9740288 345 18446744073709551615 4194304 5098028 140723487638944 140723487637048 140108517409404 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 40128512 140723487641983 140723487642186 140723487642186 140723487645675 0
/proc/30679/statm: 2378 345 289 221 0 87 0
[pid=30681] ppid=30679 vsize=13974352 memory=37552 CPUtime=0.29 cores=1,3,5,7
/proc/30681/stat : 30681 (java) S 30679 30679 12395 0 -1 1077944320 8960 0 0 0 26 3 0 0 20 0 15 0 104283215 14309736448 9388 18446744073709551615 4194304 4196468 140724017311088 140724017293632 140031268601591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
/proc/30681/statm: 3493588 9388 2982 1 0 3482964 0
[pid=30681/tid=30682] ppid=30679 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/30681/task/30682/stat : 30682 (java) R 30679 30679 12395 0 -1 4202560 6141 0 0 0 16 2 0 0 20 0 15 0 104283216 14309736448 9388 18446744073709551615 4194304 4196468 140724017311088 140031272839104 140031254669710 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30683] ppid=30679 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30683/stat : 30683 (java) S 30679 30679 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104283216 14309736448 9388 18446744073709551615 4194304 4196468 140724017311088 140031236160528 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30684] ppid=30679 vsize=13974352 memory=8248408006974860141 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30684/stat : 30684 (java) S 30679 30679 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104283216 14309736448 9388 18446744073709551615 4194304 4196468 140724017311088 140030867754128 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30685] ppid=30679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30685/stat : 30685 (java) S 30679 30679 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104283216 14309736448 9388 18446744073709551615 4194304 4196468 140724017311088 140030866701072 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30686] ppid=30679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30686/stat : 30686 (java) S 30679 30679 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104283216 14309736448 9388 18446744073709551615 4194304 4196468 140724017311088 140030865648528 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30687] ppid=30679 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30687/stat : 30687 (java) S 30679 30679 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104283218 14309736448 9388 18446744073709551615 4194304 4196468 140724017311088 140030185400560 140031268612738 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30688] ppid=30679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30688/stat : 30688 (java) S 30679 30679 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104283218 14309736448 9900 18446744073709551615 4194304 4196468 140724017311088 140030184346784 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30689] ppid=30679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30689/stat : 30689 (java) S 30679 30679 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104283218 14309736448 9900 18446744073709551615 4194304 4196468 140724017311088 140030183293680 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30690] ppid=30679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30690/stat : 30690 (java) S 30679 30679 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104283221 14309736448 9900 18446744073709551615 4194304 4196468 140724017311088 140030182242256 140031268620187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30691] ppid=30679 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/30681/task/30691/stat : 30691 (java) S 30679 30679 12395 0 -1 1077944384 477 0 0 0 1 0 0 0 20 0 15 0 104283221 14309736448 9900 18446744073709551615 4194304 4196468 140724017311088 140030181190384 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30692] ppid=30679 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/30681/task/30692/stat : 30692 (java) R 30679 30679 12395 0 -1 4202560 298 0 0 0 2 0 0 0 20 0 15 0 104283221 14309736448 9900 18446744073709551615 4194304 4196468 140724017311088 140030180137840 140031253501098 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30693] ppid=30679 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/30681/task/30693/stat : 30693 (java) R 30679 30679 12395 0 -1 4202560 741 0 0 0 6 0 0 0 20 0 15 0 104283221 14309736448 9900 18446744073709551615 4194304 4196468 140724017311088 140030179084784 140031268622938 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30694] ppid=30679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30694/stat : 30694 (java) S 30679 30679 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104283221 14309736448 9900 18446744073709551615 4194304 4196468 140724017311088 140030178032480 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30695] ppid=30679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30695/stat : 30695 (java) S 30679 30679 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104283226 14309736448 9900 18446744073709551615 4194304 4196468 140724017311088 140030176979504 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38932 KiB

[startup+0.700871 s]
/proc/loadavg: 1.98 1.96 1.92 3/217 30695
/proc/meminfo: memFree=30427420/32770624 swapFree=67108860/67108860
[pid=30679] ppid=30676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30679/stat : 30679 (xcsp3-exec) S 30676 30679 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104283207 9740288 345 18446744073709551615 4194304 5098028 140723487638944 140723487637048 140108517409404 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 40128512 140723487641983 140723487642186 140723487642186 140723487645675 0
/proc/30679/statm: 2378 345 289 221 0 87 0
[pid=30681] ppid=30679 vsize=13978608 memory=285456 CPUtime=1.02 cores=1,3,5,7
/proc/30681/stat : 30681 (java) S 30679 30679 12395 0 -1 1077944320 11145 0 0 0 82 20 0 0 20 0 15 0 104283215 14314094592 71364 18446744073709551615 4194304 4196468 140724017311088 140724017293632 140031268601591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
/proc/30681/statm: 3494652 71364 3099 1 0 3482964 0
[pid=30681/tid=30682] ppid=30679 vsize=13978608 memory=4548 CPUtime=0.48 cores=1,3,5,7
/proc/30681/task/30682/stat : 30682 (java) R 30679 30679 12395 0 -1 4202560 7625 0 0 0 42 6 0 0 20 0 15 0 104283216 14314094592 71364 18446744073709551615 4194304 4196468 140724017311088 140031272840432 140031268623517 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30683] ppid=30679 vsize=13978608 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/30681/task/30683/stat : 30683 (java) S 30679 30679 12395 0 -1 1077944384 64 0 0 0 3 3 0 0 20 0 15 0 104283216 14314094592 71364 18446744073709551615 4194304 4196468 140724017311088 140031236160528 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30684] ppid=30679 vsize=13978608 memory=8320808402720207924 CPUtime=0.06 cores=1,3,5,7
/proc/30681/task/30684/stat : 30684 (java) S 30679 30679 12395 0 -1 1077944384 64 0 0 0 3 3 0 0 20 0 15 0 104283216 14314094592 71364 18446744073709551615 4194304 4196468 140724017311088 140030867754128 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30685] ppid=30679 vsize=13978608 memory=7594284303094145600 CPUtime=0.06 cores=1,3,5,7
/proc/30681/task/30685/stat : 30685 (java) S 30679 30679 12395 0 -1 1077944384 62 0 0 0 3 3 0 0 20 0 15 0 104283216 14314094592 71364 18446744073709551615 4194304 4196468 140724017311088 140030866701072 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30686] ppid=30679 vsize=13978608 memory=5865491479076426066 CPUtime=0.06 cores=1,3,5,7
/proc/30681/task/30686/stat : 30686 (java) S 30679 30679 12395 0 -1 1077944384 67 0 0 0 3 3 0 0 20 0 15 0 104283216 14314094592 71364 18446744073709551615 4194304 4196468 140724017311088 140030865648528 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30687] ppid=30679 vsize=13978608 memory=6935649255759568960 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30687/stat : 30687 (java) S 30679 30679 12395 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 104283218 14314094592 71364 18446744073709551615 4194304 4196468 140724017311088 140030185400560 140031268612738 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30688] ppid=30679 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30688/stat : 30688 (java) S 30679 30679 12395 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 104283218 14314094592 71364 18446744073709551615 4194304 4196468 140724017311088 140030184346784 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30689] ppid=30679 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30689/stat : 30689 (java) S 30679 30679 12395 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 104283218 14314094592 71364 18446744073709551615 4194304 4196468 140724017311088 140030183293680 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30690] ppid=30679 vsize=13978608 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30690/stat : 30690 (java) S 30679 30679 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104283221 14314094592 71364 18446744073709551615 4194304 4196468 140724017311088 140030182242256 140031268620187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30691] ppid=30679 vsize=13978608 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/30681/task/30691/stat : 30691 (java) S 30679 30679 12395 0 -1 1077944384 632 0 0 0 4 0 0 0 20 0 15 0 104283221 14314094592 71364 18446744073709551615 4194304 4196468 140724017311088 140030181190384 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30692] ppid=30679 vsize=13978608 memory=140024121139824 CPUtime=0.06 cores=1,3,5,7
/proc/30681/task/30692/stat : 30692 (java) S 30679 30679 12395 0 -1 1077944384 372 0 0 0 6 0 0 0 20 0 15 0 104283221 14314094592 71364 18446744073709551615 4194304 4196468 140724017311088 140030180137840 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30693] ppid=30679 vsize=13978608 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/30681/task/30693/stat : 30693 (java) S 30679 30679 12395 0 -1 1077944384 877 0 0 0 14 0 0 0 20 0 15 0 104283221 14314094592 71364 18446744073709551615 4194304 4196468 140724017311088 140030179084784 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30694] ppid=30679 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30694/stat : 30694 (java) S 30679 30679 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104283221 14314094592 71364 18446744073709551615 4194304 4196468 140724017311088 140030178032480 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30695] ppid=30679 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30695/stat : 30695 (java) S 30679 30679 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104283226 14314094592 71364 18446744073709551615 4194304 4196468 140724017311088 140030176979504 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
Current children cumulated CPU time: 1.02 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 286836 KiB

[startup+1.50083 s]
/proc/loadavg: 1.98 1.96 1.92 3/217 30695
/proc/meminfo: memFree=29778320/32770624 swapFree=67108860/67108860
[pid=30679] ppid=30676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30679/stat : 30679 (xcsp3-exec) S 30676 30679 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104283207 9740288 345 18446744073709551615 4194304 5098028 140723487638944 140723487637048 140108517409404 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 40128512 140723487641983 140723487642186 140723487642186 140723487645675 0
/proc/30679/statm: 2378 345 289 221 0 87 0
[pid=30681] ppid=30679 vsize=13978684 memory=1146048 CPUtime=2.53 cores=1,3,5,7
/proc/30681/stat : 30681 (java) S 30679 30679 12395 0 -1 1077944320 14800 0 0 0 209 44 0 0 20 0 15 0 104283215 14314172416 286512 18446744073709551615 4194304 4196468 140724017311088 140724017293632 140031268601591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
/proc/30681/statm: 3494671 286512 3189 1 0 3482964 0
[pid=30681/tid=30682] ppid=30679 vsize=13978684 memory=0 CPUtime=1.21 cores=1,3,5,7
/proc/30681/task/30682/stat : 30682 (java) R 30679 30679 12395 0 -1 4202560 8860 0 0 0 104 17 0 0 20 0 15 0 104283216 14314172416 286512 18446744073709551615 4194304 4196468 140724017311088 140031272838528 140030912171836 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30683] ppid=30679 vsize=13978684 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30681/task/30683/stat : 30683 (java) S 30679 30679 12395 0 -1 1077944384 159 0 0 0 6 6 0 0 20 0 15 0 104283216 14314172416 286512 18446744073709551615 4194304 4196468 140724017311088 140031236160528 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30684] ppid=30679 vsize=13978684 memory=280048242549152 CPUtime=0.11 cores=1,3,5,7
/proc/30681/task/30684/stat : 30684 (java) S 30679 30679 12395 0 -1 1077944384 147 0 0 0 6 5 0 0 20 0 15 0 104283216 14314172416 286512 18446744073709551615 4194304 4196468 140724017311088 140030867754128 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30685] ppid=30679 vsize=13978684 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30681/task/30685/stat : 30685 (java) S 30679 30679 12395 0 -1 1077944384 111 0 0 0 6 6 0 0 20 0 15 0 104283216 14314172416 286512 18446744073709551615 4194304 4196468 140724017311088 140030866701072 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30686] ppid=30679 vsize=13978684 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/30681/task/30686/stat : 30686 (java) S 30679 30679 12395 0 -1 1077944384 159 0 0 0 6 6 0 0 20 0 15 0 104283216 14314172416 286512 18446744073709551615 4194304 4196468 140724017311088 140030865648528 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30687] ppid=30679 vsize=13978684 memory=-7880843606118635149 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30687/stat : 30687 (java) S 30679 30679 12395 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 104283218 14314172416 286512 18446744073709551615 4194304 4196468 140724017311088 140030185400560 140031268612738 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30688] ppid=30679 vsize=13978684 memory=-1624781813439352349 CPUtime=0 cores=1,3,5,7

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

/proc/30681/task/30694/stat : 30694 (java) S 30679 30679 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104283221 14316269568 2927679 18446744073709551615 4194304 4196468 140724017311088 140030178032480 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30695] ppid=30679 vsize=13980732 memory=280048242402944 CPUtime=0.06 cores=1,3,5,7
/proc/30681/task/30695/stat : 30695 (java) S 30679 30679 12395 0 -1 1077944384 520 0 0 0 2 4 0 0 20 0 15 0 104283226 14316269568 2927679 18446744073709551615 4194304 4196468 140724017311088 140030176979504 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
Current children cumulated CPU time: 127.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11712096 KiB

[startup+115.202 s]
/proc/loadavg: 2.04 1.96 1.92 3/216 30698
/proc/meminfo: memFree=18560040/32770624 swapFree=67108860/67108860
[pid=30679] ppid=30676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30679/stat : 30679 (xcsp3-exec) S 30676 30679 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104283207 9740288 345 18446744073709551615 4194304 5098028 140723487638944 140723487637048 140108517409404 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 40128512 140723487641983 140723487642186 140723487642186 140723487645675 0
/proc/30679/statm: 2378 345 289 221 0 87 0
[pid=30681] ppid=30679 vsize=13980732 memory=11710968 CPUtime=140.25 cores=1,3,5,7
/proc/30681/stat : 30681 (java) S 30679 30679 12395 0 -1 1077944320 989135 0 0 0 13262 763 0 0 20 0 15 0 104283215 14316269568 2927742 18446744073709551615 4194304 4196468 140724017311088 140724017293632 140031268601591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
/proc/30681/statm: 3495183 2927742 3221 1 0 3483476 0
[pid=30681/tid=30682] ppid=30679 vsize=13980732 memory=3472328296227679313 CPUtime=104.82 cores=1,3,5,7
/proc/30681/task/30682/stat : 30682 (java) S 30679 30679 12395 0 -1 1077944384 95986 0 0 0 10427 55 0 0 20 0 15 0 104283216 14316269568 2927742 18446744073709551615 4194304 4196468 140724017311088 140031272840208 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30683] ppid=30679 vsize=13980732 memory=8099531877818917968 CPUtime=7.98 cores=1,3,5,7
/proc/30681/task/30683/stat : 30683 (java) R 30679 30679 12395 0 -1 4202560 228088 0 0 0 626 172 0 0 20 0 15 0 104283216 14316269568 2927742 18446744073709551615 4194304 4196468 140724017311088 140031236160728 140031253299230 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30684] ppid=30679 vsize=13980732 memory=1380 CPUtime=7.98 cores=1,3,5,7
/proc/30681/task/30684/stat : 30684 (java) R 30679 30679 12395 0 -1 4202560 202416 0 0 0 624 174 0 0 20 0 15 0 104283216 14316269568 2927742 18446744073709551615 4194304 4196468 140724017311088 140030867754128 140031253299204 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30685] ppid=30679 vsize=13980732 memory=1380 CPUtime=7.96 cores=1,3,5,7
/proc/30681/task/30685/stat : 30685 (java) R 30679 30679 12395 0 -1 4202560 216853 0 0 0 619 177 0 0 20 0 15 0 104283216 14316269568 2927742 18446744073709551615 4194304 4196468 140724017311088 140030866700960 140031253552800 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30686] ppid=30679 vsize=13980732 memory=11710716 CPUtime=7.98 cores=1,3,5,7
/proc/30681/task/30686/stat : 30686 (java) R 30679 30679 12395 0 -1 4202560 221557 0 0 0 625 173 0 0 20 0 15 0 104283216 14316269568 2927742 18446744073709551615 4194304 4196468 140724017311088 140030865648528 140031253299204 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30687] ppid=30679 vsize=13980732 memory=2752 CPUtime=2.12 cores=1,3,5,7
/proc/30681/task/30687/stat : 30687 (java) S 30679 30679 12395 0 -1 1077944384 12510 0 0 0 208 4 0 0 20 0 15 0 104283218 14316269568 2927742 18446744073709551615 4194304 4196468 140724017311088 140030185398880 140031268611797 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30688] ppid=30679 vsize=13980732 memory=4060 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30688/stat : 30688 (java) S 30679 30679 12395 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 104283218 14316269568 2927742 18446744073709551615 4194304 4196468 140724017311088 140030184346848 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30689] ppid=30679 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30689/stat : 30689 (java) S 30679 30679 12395 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 104283218 14316269568 2927742 18446744073709551615 4194304 4196468 140724017311088 140030183293696 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30690] ppid=30679 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30690/stat : 30690 (java) S 30679 30679 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104283221 14316269568 2927742 18446744073709551615 4194304 4196468 140724017311088 140030182242256 140031268620187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30691] ppid=30679 vsize=13980732 memory=11710716 CPUtime=0.46 cores=1,3,5,7
/proc/30681/task/30691/stat : 30691 (java) S 30679 30679 12395 0 -1 1077944384 3669 0 0 0 46 0 0 0 20 0 15 0 104283221 14316269568 2927742 18446744073709551615 4194304 4196468 140724017311088 140030181190384 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30692] ppid=30679 vsize=13980732 memory=1728 CPUtime=0.48 cores=1,3,5,7
/proc/30681/task/30692/stat : 30692 (java) S 30679 30679 12395 0 -1 1077944384 3174 0 0 0 48 0 0 0 20 0 15 0 104283221 14316269568 2927742 18446744073709551615 4194304 4196468 140724017311088 140030180137840 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30693] ppid=30679 vsize=13980732 memory=1380 CPUtime=0.31 cores=1,3,5,7
/proc/30681/task/30693/stat : 30693 (java) S 30679 30679 12395 0 -1 1077944384 3015 0 0 0 31 0 0 0 20 0 15 0 104283221 14316269568 2927742 18446744073709551615 4194304 4196468 140724017311088 140030179084784 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30694] ppid=30679 vsize=13980732 memory=11710716 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30694/stat : 30694 (java) S 30679 30679 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104283221 14316269568 2927742 18446744073709551615 4194304 4196468 140724017311088 140030178032480 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30695] ppid=30679 vsize=13980732 memory=3978984353865665072 CPUtime=0.06 cores=1,3,5,7
/proc/30681/task/30695/stat : 30695 (java) S 30679 30679 12395 0 -1 1077944384 520 0 0 0 2 4 0 0 20 0 15 0 104283226 14316269568 2927742 18446744073709551615 4194304 4196468 140724017311088 140030176979504 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
Current children cumulated CPU time: 140.25 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11712348 KiB

[startup+121.602 s]
/proc/loadavg: 2.03 1.96 1.92 3/217 30699
/proc/meminfo: memFree=18558908/32770624 swapFree=67108860/67108860
[pid=30679] ppid=30676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30679/stat : 30679 (xcsp3-exec) S 30676 30679 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104283207 9740288 345 18446744073709551615 4194304 5098028 140723487638944 140723487637048 140108517409404 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 40128512 140723487641983 140723487642186 140723487642186 140723487645675 0
/proc/30679/statm: 2378 345 289 221 0 87 0
[pid=30681] ppid=30679 vsize=13980732 memory=11711868 CPUtime=161.41 cores=1,3,5,7
/proc/30681/stat : 30681 (java) S 30679 30679 12395 0 -1 1077944320 1778791 0 0 0 15343 798 0 0 20 0 15 0 104283215 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140724017293632 140031268601591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
/proc/30681/statm: 3495183 2927967 3221 1 0 3483476 0
[pid=30681/tid=30682] ppid=30679 vsize=13980732 memory=14695184197749125 CPUtime=104.87 cores=1,3,5,7
/proc/30681/task/30682/stat : 30682 (java) S 30679 30679 12395 0 -1 1077944384 96083 0 0 0 10432 55 0 0 20 0 15 0 104283216 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140031272839808 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30683] ppid=30679 vsize=13980732 memory=-8774313645642428999 CPUtime=12.99 cores=1,3,5,7
/proc/30681/task/30683/stat : 30683 (java) R 30679 30679 12395 0 -1 4202560 1005408 0 0 0 1096 203 0 0 20 0 15 0 104283216 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140031236160528 140031253552584 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30684] ppid=30679 vsize=13980732 memory=8387223549236478041 CPUtime=12.92 cores=1,3,5,7
/proc/30681/task/30684/stat : 30684 (java) R 30679 30679 12395 0 -1 4202560 204339 0 0 0 1116 176 0 0 20 0 15 0 104283216 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030867754328 140031253299343 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30685] ppid=30679 vsize=13980732 memory=288287762115986305 CPUtime=12.86 cores=1,3,5,7
/proc/30681/task/30685/stat : 30685 (java) R 30679 30679 12395 0 -1 4202560 217293 0 0 0 1108 178 0 0 20 0 15 0 104283216 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030866701072 140031253552584 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30686] ppid=30679 vsize=13980732 memory=280048242348096 CPUtime=12.95 cores=1,3,5,7
/proc/30681/task/30686/stat : 30686 (java) R 30679 30679 12395 0 -1 4202560 222527 0 0 0 1120 175 0 0 20 0 15 0 104283216 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030865648112 140031261229799 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30687] ppid=30679 vsize=13980732 memory=-8774313645642428999 CPUtime=3.42 cores=1,3,5,7
/proc/30681/task/30687/stat : 30687 (java) S 30679 30679 12395 0 -1 1077944384 21363 0 0 0 338 4 0 0 20 0 15 0 104283218 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030185398880 140031268611797 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30688] ppid=30679 vsize=13980732 memory=11711780 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30688/stat : 30688 (java) S 30679 30679 12395 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 104283218 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030184346848 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30689] ppid=30679 vsize=13980732 memory=644 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30689/stat : 30689 (java) S 30679 30679 12395 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 104283218 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030183293696 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30690] ppid=30679 vsize=13980732 memory=956 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30690/stat : 30690 (java) S 30679 30679 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104283221 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030182242256 140031268620187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30691] ppid=30679 vsize=13980732 memory=2308 CPUtime=0.46 cores=1,3,5,7
/proc/30681/task/30691/stat : 30691 (java) S 30679 30679 12395 0 -1 1077944384 3671 0 0 0 46 0 0 0 20 0 15 0 104283221 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030181190384 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30692] ppid=30679 vsize=13980732 memory=4516 CPUtime=0.48 cores=1,3,5,7
/proc/30681/task/30692/stat : 30692 (java) S 30679 30679 12395 0 -1 1077944384 3179 0 0 0 48 0 0 0 20 0 15 0 104283221 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030180137840 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30693] ppid=30679 vsize=13980732 memory=6724 CPUtime=0.31 cores=1,3,5,7
/proc/30681/task/30693/stat : 30693 (java) S 30679 30679 12395 0 -1 1077944384 3017 0 0 0 31 0 0 0 20 0 15 0 104283221 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030179084784 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30694] ppid=30679 vsize=13980732 memory=8932 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30694/stat : 30694 (java) S 30679 30679 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104283221 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030178032480 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30695] ppid=30679 vsize=13980732 memory=-8774313645642428999 CPUtime=0.07 cores=1,3,5,7
/proc/30681/task/30695/stat : 30695 (java) S 30679 30679 12395 0 -1 1077944384 546 0 0 0 3 4 0 0 20 0 15 0 104283226 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030176979504 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
Current children cumulated CPU time: 161.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11713248 KiB

[startup+123.201 s]
/proc/loadavg: 2.19 2.00 1.93 6/217 30699
/proc/meminfo: memFree=18538072/32770624 swapFree=67108860/67108860
[pid=30679] ppid=30676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30679/stat : 30679 (xcsp3-exec) S 30676 30679 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104283207 9740288 345 18446744073709551615 4194304 5098028 140723487638944 140723487637048 140108517409404 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 40128512 140723487641983 140723487642186 140723487642186 140723487645675 0
/proc/30679/statm: 2378 345 289 221 0 87 0
[pid=30681] ppid=30679 vsize=13980732 memory=11711868 CPUtime=166.67 cores=1,3,5,7
/proc/30681/stat : 30681 (java) S 30679 30679 12395 0 -1 1077944320 1808930 0 0 0 15867 800 0 0 20 0 15 0 104283215 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140724017293632 140031268601591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
/proc/30681/statm: 3495183 2927967 3221 1 0 3483476 0
[pid=30681/tid=30682] ppid=30679 vsize=13980732 memory=11711780 CPUtime=104.87 cores=1,3,5,7
/proc/30681/task/30682/stat : 30682 (java) S 30679 30679 12395 0 -1 1077944384 96083 0 0 0 10432 55 0 0 20 0 15 0 104283216 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140031272839808 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30683] ppid=30679 vsize=13980732 memory=-8774313645642428999 CPUtime=14.22 cores=1,3,5,7
/proc/30681/task/30683/stat : 30683 (java) S 30679 30679 12395 0 -1 1077944384 1030441 0 0 0 1217 205 0 0 20 0 15 0 104283216 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140031236160528 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30684] ppid=30679 vsize=13980732 memory=4612 CPUtime=14.13 cores=1,3,5,7
/proc/30681/task/30684/stat : 30684 (java) S 30679 30679 12395 0 -1 1077944384 206145 0 0 0 1237 176 0 0 20 0 15 0 104283216 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030867754128 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30685] ppid=30679 vsize=13980732 memory=1716 CPUtime=14.09 cores=1,3,5,7
/proc/30681/task/30685/stat : 30685 (java) S 30679 30679 12395 0 -1 1077944384 217432 0 0 0 1231 178 0 0 20 0 15 0 104283216 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030866701072 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30686] ppid=30679 vsize=13980732 memory=9024 CPUtime=14.17 cores=1,3,5,7
/proc/30681/task/30686/stat : 30686 (java) S 30679 30679 12395 0 -1 1077944384 222817 0 0 0 1242 175 0 0 20 0 15 0 104283216 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030865648528 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30687] ppid=30679 vsize=13980732 memory=1436 CPUtime=3.78 cores=1,3,5,7
/proc/30681/task/30687/stat : 30687 (java) R 30679 30679 12395 0 -1 4202560 24232 0 0 0 374 4 0 0 20 0 15 0 104283218 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030185399120 140031253597998 0 0 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30688] ppid=30679 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30688/stat : 30688 (java) S 30679 30679 12395 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 104283218 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030184346848 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30689] ppid=30679 vsize=13980732 memory=3556 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30689/stat : 30689 (java) S 30679 30679 12395 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 104283218 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030183293696 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30690] ppid=30679 vsize=13980732 memory=1326 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30690/stat : 30690 (java) S 30679 30679 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104283221 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030182242256 140031268620187 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30691] ppid=30679 vsize=13980732 memory=480 CPUtime=0.46 cores=1,3,5,7
/proc/30681/task/30691/stat : 30691 (java) S 30679 30679 12395 0 -1 1077944384 3671 0 0 0 46 0 0 0 20 0 15 0 104283221 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030181190384 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30692] ppid=30679 vsize=13980732 memory=153 CPUtime=0.48 cores=1,3,5,7
/proc/30681/task/30692/stat : 30692 (java) S 30679 30679 12395 0 -1 1077944384 3179 0 0 0 48 0 0 0 20 0 15 0 104283221 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030180137840 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30693] ppid=30679 vsize=13980732 memory=11105 CPUtime=0.31 cores=1,3,5,7
/proc/30681/task/30693/stat : 30693 (java) S 30679 30679 12395 0 -1 1077944384 3017 0 0 0 31 0 0 0 20 0 15 0 104283221 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030179084784 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30694] ppid=30679 vsize=13980732 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/30681/task/30694/stat : 30694 (java) S 30679 30679 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104283221 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030178032480 140031268611797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
[pid=30681/tid=30695] ppid=30679 vsize=13980732 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/30681/task/30695/stat : 30695 (java) S 30679 30679 12395 0 -1 1077944384 548 0 0 0 3 4 0 0 20 0 15 0 104283226 14316269568 2927967 18446744073709551615 4194304 4196468 140724017311088 140030176979504 140031268612738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26198016 140724017312183 140724017312358 140724017312358 140724017315791 0
Current children cumulated CPU time: 166.67 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11713248 KiB

[startup+124 s]*
/proc/loadavg: 2.19 2.00 1.93 2/204 30700
/proc/meminfo: memFree=30260148/32770624 swapFree=67108860/67108860
[pid=30679] ppid=30676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30679/stat : 30679 (xcsp3-exec) S 30676 30679 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104283207 9740288 345 18446744073709551615 4194304 5098028 140723487638944 140723487637048 140108517409404 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 40128512 140723487641983 140723487642186 140723487642186 140723487645675 0
/proc/30679/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+124.4 s]
/proc/loadavg: 2.19 2.00 1.93 2/204 30700
/proc/meminfo: memFree=30260148/32770624 swapFree=67108860/67108860
[pid=30679] ppid=30676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30679/stat : 30679 (xcsp3-exec) S 30676 30679 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104283207 9740288 345 18446744073709551615 4194304 5098028 140723487638944 140723487637048 140108517409404 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 40128512 140723487641983 140723487642186 140723487642186 140723487645675 0
/proc/30679/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+124.8 s]
/proc/loadavg: 2.19 2.00 1.93 2/204 30700
/proc/meminfo: memFree=30260148/32770624 swapFree=67108860/67108860
[pid=30679] ppid=30676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/30679/stat : 30679 (xcsp3-exec) S 30676 30679 12395 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 104283207 9740288 345 18446744073709551615 4194304 5098028 140723487638944 140723487637048 140108517409404 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 40128512 140723487641983 140723487642186 140723487642186 140723487645675 0
/proc/30679/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): 124.892
CPU time (s): 167.038
CPU user time (s): 158.817
CPU system time (s): 8.22113
CPU usage (%): 133.746
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 11713248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.817
system time used= 8.22113
maximum resident set size= 11712440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1809669
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43539
involuntary context switches= 607


# summary of solver processes directly reported to runsolver:
#   pid: 30679
#   total CPU time (s): 167.038
#   total CPU user time (s): 158.817
#   total CPU system time (s): 8.22113

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.772402 second user time and 1.37766 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-13 13:14:45
IDJOB=4270011
IDBENCH=138054
IDSOLVER=2661
FILE ID=node135/4270011-1502623718
RUNJOBID= node135-1502620465-28448
PBS_JOBID= 
Free space on /tmp= 61936 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/BinPacking/BinPacking-tab-sw120/BinPacking-tab-sw120-10.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-4270011-1502623718/watcher-4270011-1502623718 -o /tmp/evaluation-result-4270011-1502623718/solver-4270011-1502623718 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502620465-28448 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 929085227 HOME/instance-4270011-1502623718.xml

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

MD5SUM BENCH= 67f07639019614dd1d008c87f8253383
RANDOM SEED=929085227

node135.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.21
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.21
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.21
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.21
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:        30504176 kB
MemAvailable:   31497300 kB
Buffers:          311368 kB
Cached:           978668 kB
SwapCached:            0 kB
Active:          1266792 kB
Inactive:         554328 kB
Active(anon):     531368 kB
Inactive(anon):    41324 kB
Active(file):     735424 kB
Inactive(file):   513004 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             97672 kB
Writeback:             0 kB
AnonPages:        526576 kB
Mapped:            67016 kB
Shmem:             41656 kB
Slab:             148344 kB
SReclaimable:     121064 kB
SUnreclaim:        27280 kB
KernelStack:        3536 kB
PageTables:         6028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1669784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    425984 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61928 MiB
End job on node135 at 2017-08-13 13:16:50