Trace number 4404155

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 2019-09-20? 127.703 47.7246

General information on the benchmark

NameBinPacking/BinPacking-tab-sw120/
BinPacking-tab-sw120-75.xml
MD5SUM9cdf82428becd6b5ad716031980a59d2
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.05
Satisfiable
(Un)Satisfiability was proved
Number of variables133
Number of constraints25
Number of domains2
Minimum domain size23
Maximum domain size47
Distribution of domain sizes[{"size":23,"count":1},{"size":47,"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.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404155-1568991863.xml"  -tl '2400s' -p 4
0.13/0.17	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4404155-1568991863.xml, -tl, 2400s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
127.17/47.27	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
127.17/47.27		at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:101)
127.17/47.27		at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61)
127.17/47.27		at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2108)
127.17/47.27		at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2055)
127.17/47.27		at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:317)
127.17/47.27		at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:306)
127.17/47.27		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:167)
127.17/47.27		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527)
127.17/47.27		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510)
127.17/47.27		at org.xcsp.parser.XCallbacks$$Lambda$109/1511785794.accept(Unknown Source)
127.17/47.27		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
127.17/47.27		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
127.17/47.27		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507)
127.17/47.27		at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416)
127.17/47.27		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422)
127.17/47.27		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407)
127.17/47.27		at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297)
127.17/47.27		at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320)
127.17/47.27		at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
127.17/47.27		at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111)
127.17/47.27		at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99)
127.17/47.27		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22)
127.17/47.27	s UNKNOWN
127.17/47.27	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 (4943 MiB free)
  memory of node 1: 16384 MiB (4857 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404155-1568991863/watcher-4404155-1568991863 -o /var/tmp/evaluation-result-4404155-1568991863/solver-4404155-1568991863 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568989944-5358 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 659473948 HOME/instance-4404155-1568991863.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=8868, runsolver pid=8865
Current StackSize limit: 8192 KiB


[startup+0.101776 s]*
/proc/loadavg: 8.40 8.47 7.57 6/235 8884
/proc/meminfo: memFree=10021040/32770624 swapFree=66972260/67108860
[pid=8868] ppid=8865 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8868/stat : 8868 (xcsp3-exec) S 8865 8868 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475128182 115843072 363 33554432000 4194304 5098028 140728475410000 140728475408104 140521108923004 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38764544 140728475415383 140728475415641 140728475415641 140728475418566 0
/proc/8868/statm: 28282 363 304 221 0 87 0
[pid=8870] ppid=8868 vsize=15144776 memory=29008 CPUtime=0.13 cores=0,2,4,6
/proc/8870/stat : 8870 (java) S 8868 8868 5327 0 -1 1077944320 5713 0 0 0 12 1 0 0 20 0 15 0 475128182 15508250624 7252 33554432000 4194304 4196468 140736940296064 140736940278608 140652735696631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
/proc/8870/statm: 3786194 7252 3148 1 0 3748377 0
[pid=8870/tid=8871] ppid=8868 vsize=15144776 memory=7100839852958450802 CPUtime=0.09 cores=0,2,4,6
/proc/8870/task/8871/stat : 8871 (java) R 8868 8868 5327 0 -1 4202560 3618 0 0 0 8 1 0 0 20 0 15 0 475128183 15508250624 7318 33554432000 4194304 4196468 140736940296064 140652739919328 140652735717978 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8872] ppid=8868 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8872/stat : 8872 (java) S 8868 8868 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475128183 15508250624 7318 33554432000 4194304 4196468 140736940296064 140652327594384 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8873] ppid=8868 vsize=15144776 memory=140017967670912 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8873/stat : 8873 (java) S 8868 8868 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475128183 15508250624 7318 33554432000 4194304 4196468 140736940296064 140652326541584 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8874] ppid=8868 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8874/stat : 8874 (java) S 8868 8868 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475128183 15508250624 7318 33554432000 4194304 4196468 140736940296064 140652325489296 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8875] ppid=8868 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8875/stat : 8875 (java) S 8868 8868 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475128184 15508250624 7318 33554432000 4194304 4196468 140736940296064 140652324436496 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8876] ppid=8868 vsize=15144776 memory=140017967670912 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8876/stat : 8876 (java) S 8868 8868 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475128185 15508250624 7318 33554432000 4194304 4196468 140736940296064 140652271532656 140652735707778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8877] ppid=8868 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8877/stat : 8877 (java) S 8868 8868 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475128185 15508250624 7318 33554432000 4194304 4196468 140736940296064 140652270478624 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8878] ppid=8868 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8878/stat : 8878 (java) S 8868 8868 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475128186 15508250624 7318 33554432000 4194304 4196468 140736940296064 140652269426288 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8879] ppid=8868 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8879/stat : 8879 (java) S 8868 8868 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475128188 15508250624 7318 33554432000 4194304 4196468 140736940296064 140652268374608 140652735715227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8880] ppid=8868 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8880/stat : 8880 (java) S 8868 8868 5327 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 475128188 15508250624 7318 33554432000 4194304 4196468 140736940296064 140652267321456 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8881] ppid=8868 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8881/stat : 8881 (java) R 8868 8868 5327 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 475128188 15508250624 7318 33554432000 4194304 4196468 140736940296064 140652266268656 140652735707778 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8882] ppid=8868 vsize=15144776 memory=140017967670912 CPUtime=0.02 cores=0,2,4,6
/proc/8870/task/8882/stat : 8882 (java) R 8868 8868 5327 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 15 0 475128188 15508250624 7318 33554432000 4194304 4196468 140736940296064 140652265216368 140652735708566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8883] ppid=8868 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8883/stat : 8883 (java) S 8868 8868 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475128188 15508250624 7318 33554432000 4194304 4196468 140736940296064 140652264163808 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8884] ppid=8868 vsize=15144776 memory=140017967670912 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8884/stat : 8884 (java) S 8868 8868 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475128188 15508250624 7318 33554432000 4194304 4196468 140736940296064 140652263111600 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30460 KiB

[startup+0.210776 s]*
/proc/loadavg: 8.40 8.47 7.57 7/235 8884
/proc/meminfo: memFree=10008784/32770624 swapFree=66972260/67108860
[pid=8868] ppid=8865 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8868/stat : 8868 (xcsp3-exec) S 8865 8868 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475128182 115843072 363 33554432000 4194304 5098028 140728475410000 140728475408104 140521108923004 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38764544 140728475415383 140728475415641 140728475415641 140728475418566 0
/proc/8868/statm: 28282 363 304 221 0 87 0
[pid=8870] ppid=8868 vsize=15144776 memory=41176 CPUtime=0.34 cores=0,2,4,6
/proc/8870/stat : 8870 (java) S 8868 8868 5327 0 -1 1077944320 9058 0 0 0 31 3 0 0 20 0 15 0 475128182 15508250624 10294 33554432000 4194304 4196468 140736940296064 140736940278608 140652735696631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
/proc/8870/statm: 3786194 10294 3281 1 0 3748377 0
[pid=8870/tid=8871] ppid=8868 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/8870/task/8871/stat : 8871 (java) R 8868 8868 5327 0 -1 4202560 6308 0 0 0 18 2 0 0 20 0 15 0 475128183 15508250624 10294 33554432000 4194304 4196468 140736940296064 140652739931616 140652719777118 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8872] ppid=8868 vsize=15144776 memory=13657 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8872/stat : 8872 (java) S 8868 8868 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475128183 15508250624 10294 33554432000 4194304 4196468 140736940296064 140652327594384 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8873] ppid=8868 vsize=15144776 memory=140017971210572 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8873/stat : 8873 (java) S 8868 8868 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475128183 15508250624 10294 33554432000 4194304 4196468 140736940296064 140652326541584 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8874] ppid=8868 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8874/stat : 8874 (java) S 8868 8868 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475128183 15508250624 10294 33554432000 4194304 4196468 140736940296064 140652325489296 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8875] ppid=8868 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8875/stat : 8875 (java) S 8868 8868 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475128184 15508250624 10294 33554432000 4194304 4196468 140736940296064 140652324436496 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8876] ppid=8868 vsize=15144776 memory=140017967670912 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8876/stat : 8876 (java) S 8868 8868 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475128185 15508250624 10294 33554432000 4194304 4196468 140736940296064 140652271532656 140652735707778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8877] ppid=8868 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8877/stat : 8877 (java) S 8868 8868 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475128185 15508250624 10294 33554432000 4194304 4196468 140736940296064 140652270478624 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8878] ppid=8868 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8878/stat : 8878 (java) S 8868 8868 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475128186 15508250624 10294 33554432000 4194304 4196468 140736940296064 140652269426288 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8879] ppid=8868 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8879/stat : 8879 (java) S 8868 8868 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475128188 15508250624 10294 33554432000 4194304 4196468 140736940296064 140652268374608 140652735715227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8880] ppid=8868 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8870/task/8880/stat : 8880 (java) S 8868 8868 5327 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 15 0 475128188 15508250624 10294 33554432000 4194304 4196468 140736940296064 140652267321456 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8881] ppid=8868 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/8870/task/8881/stat : 8881 (java) S 8868 8868 5327 0 -1 1077944384 228 0 0 0 3 0 0 0 20 0 15 0 475128188 15508250624 10294 33554432000 4194304 4196468 140736940296064 140652266268656 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8882] ppid=8868 vsize=15144776 memory=140017967670912 CPUtime=0.08 cores=0,2,4,6
/proc/8870/task/8882/stat : 8882 (java) R 8868 8868 5327 0 -1 4202560 775 0 0 0 8 0 0 0 20 0 15 0 475128188 15508250624 10294 33554432000 4194304 4196468 140736940296064 140652265216368 140652735717978 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8883] ppid=8868 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8883/stat : 8883 (java) S 8868 8868 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475128188 15508250624 10294 33554432000 4194304 4196468 140736940296064 140652264163808 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8884] ppid=8868 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8884/stat : 8884 (java) S 8868 8868 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475128188 15508250624 10294 33554432000 4194304 4196468 140736940296064 140652263111600 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42628 KiB

[startup+0.315524 s]*
/proc/loadavg: 8.40 8.47 7.57 7/235 8884
/proc/meminfo: memFree=10000284/32770624 swapFree=66972260/67108860
[pid=8868] ppid=8865 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8868/stat : 8868 (xcsp3-exec) S 8865 8868 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475128182 115843072 363 33554432000 4194304 5098028 140728475410000 140728475408104 140521108923004 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38764544 140728475415383 140728475415641 140728475415641 140728475418566 0
/proc/8868/statm: 28282 363 304 221 0 87 0
[pid=8870] ppid=8868 vsize=15149032 memory=51332 CPUtime=0.54 cores=0,2,4,6
/proc/8870/stat : 8870 (java) S 8868 8868 5327 0 -1 1077944320 10622 0 0 0 50 4 0 0 20 0 15 0 475128182 15512608768 12833 33554432000 4194304 4196468 140736940296064 140736940278608 140652735696631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
/proc/8870/statm: 3787258 12833 3353 1 0 3748377 0
[pid=8870/tid=8871] ppid=8868 vsize=15149032 memory=8317482817917895235 CPUtime=0.31 cores=0,2,4,6
/proc/8870/task/8871/stat : 8871 (java) R 8868 8868 5327 0 -1 4202560 7603 0 0 0 28 3 0 0 20 0 15 0 475128183 15512608768 12850 33554432000 4194304 4196468 140736940296064 140652739930416 140652735718557 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8872] ppid=8868 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8872/stat : 8872 (java) S 8868 8868 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475128183 15512608768 12850 33554432000 4194304 4196468 140736940296064 140652327594384 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8873] ppid=8868 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8873/stat : 8873 (java) S 8868 8868 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475128183 15512608768 12850 33554432000 4194304 4196468 140736940296064 140652326541584 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8874] ppid=8868 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8874/stat : 8874 (java) S 8868 8868 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475128183 15512608768 12850 33554432000 4194304 4196468 140736940296064 140652325489296 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8875] ppid=8868 vsize=15149032 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8875/stat : 8875 (java) S 8868 8868 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475128184 15512608768 12850 33554432000 4194304 4196468 140736940296064 140652324436496 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8876] ppid=8868 vsize=15149032 memory=7511822332180604306 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8876/stat : 8876 (java) S 8868 8868 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475128185 15512608768 12850 33554432000 4194304 4196468 140736940296064 140652271532656 140652735707778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8877] ppid=8868 vsize=15149032 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8877/stat : 8877 (java) S 8868 8868 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475128185 15512608768 12850 33554432000 4194304 4196468 140736940296064 140652270478624 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8878] ppid=8868 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8878/stat : 8878 (java) S 8868 8868 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475128186 15512608768 12850 33554432000 4194304 4196468 140736940296064 140652269426288 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8879] ppid=8868 vsize=15149032 memory=7100839852926015589 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8879/stat : 8879 (java) S 8868 8868 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475128188 15512608768 12850 33554432000 4194304 4196468 140736940296064 140652268374608 140652735715227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8880] ppid=8868 vsize=15149032 memory=-8412656567168561567 CPUtime=0.05 cores=0,2,4,6
/proc/8870/task/8880/stat : 8880 (java) S 8868 8868 5327 0 -1 1077944384 552 0 0 0 5 0 0 0 20 0 15 0 475128188 15512608768 12850 33554432000 4194304 4196468 140736940296064 140652267321456 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8881] ppid=8868 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/8870/task/8881/stat : 8881 (java) S 8868 8868 5327 0 -1 1077944384 233 0 0 0 4 0 0 0 20 0 15 0 475128188 15512608768 12850 33554432000 4194304 4196468 140736940296064 140652266268656 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8882] ppid=8868 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8870/task/8882/stat : 8882 (java) S 8868 8868 5327 0 -1 1077944384 930 0 0 0 12 0 0 0 20 0 15 0 475128188 15512608768 12850 33554432000 4194304 4196468 140736940296064 140652265216368 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8883] ppid=8868 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8883/stat : 8883 (java) S 8868 8868 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475128188 15512608768 12850 33554432000 4194304 4196468 140736940296064 140652264163808 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8884] ppid=8868 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8884/stat : 8884 (java) S 8868 8868 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475128188 15512608768 12850 33554432000 4194304 4196468 140736940296064 140652263111600 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52784 KiB

[startup+0.701484 s]
/proc/loadavg: 8.40 8.47 7.57 9/235 8884
/proc/meminfo: memFree=9858776/32770624 swapFree=66972260/67108860
[pid=8868] ppid=8865 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8868/stat : 8868 (xcsp3-exec) S 8865 8868 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475128182 115843072 363 33554432000 4194304 5098028 140728475410000 140728475408104 140521108923004 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38764544 140728475415383 140728475415641 140728475415641 140728475418566 0
/proc/8868/statm: 28282 363 304 221 0 87 0
[pid=8870] ppid=8868 vsize=15149108 memory=300040 CPUtime=1.25 cores=0,2,4,6
/proc/8870/stat : 8870 (java) S 8868 8868 5327 0 -1 1077944320 11671 0 0 0 105 20 0 0 20 0 15 0 475128182 15512686592 75010 33554432000 4194304 4196468 140736940296064 140736940278608 140652735696631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
/proc/8870/statm: 3787277 75010 3430 1 0 3748377 0
[pid=8870/tid=8871] ppid=8868 vsize=15149108 memory=1792880411905 CPUtime=0.62 cores=0,2,4,6
/proc/8870/task/8871/stat : 8871 (java) R 8868 8868 5327 0 -1 4202560 8060 0 0 0 55 7 0 0 20 0 15 0 475128183 15512686592 75010 33554432000 4194304 4196468 140736940296064 140652739931672 140652345916305 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8872] ppid=8868 vsize=15149108 memory=33 CPUtime=0.05 cores=0,2,4,6
/proc/8870/task/8872/stat : 8872 (java) S 8868 8868 5327 0 -1 1077944384 67 0 0 0 3 2 0 0 20 0 15 0 475128183 15512686592 75010 33554432000 4194304 4196468 140736940296064 140652327594384 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8873] ppid=8868 vsize=15149108 memory=-7604262568725289114 CPUtime=0.04 cores=0,2,4,6
/proc/8870/task/8873/stat : 8873 (java) S 8868 8868 5327 0 -1 1077944384 48 0 0 0 2 2 0 0 20 0 15 0 475128183 15512686592 75010 33554432000 4194304 4196468 140736940296064 140652326541584 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8874] ppid=8868 vsize=15149108 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/8870/task/8874/stat : 8874 (java) S 8868 8868 5327 0 -1 1077944384 61 0 0 0 3 3 0 0 20 0 15 0 475128183 15512686592 75010 33554432000 4194304 4196468 140736940296064 140652325489296 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8875] ppid=8868 vsize=15149108 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/8870/task/8875/stat : 8875 (java) S 8868 8868 5327 0 -1 1077944384 70 0 0 0 3 2 0 0 20 0 15 0 475128184 15512686592 75010 33554432000 4194304 4196468 140736940296064 140652324436496 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8876] ppid=8868 vsize=15149108 memory=43120 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8876/stat : 8876 (java) S 8868 8868 5327 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 475128185 15512686592 75010 33554432000 4194304 4196468 140736940296064 140652271532656 140652735707778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8877] ppid=8868 vsize=15149108 memory=992 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8877/stat : 8877 (java) S 8868 8868 5327 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 475128185 15512686592 75010 33554432000 4194304 4196468 140736940296064 140652270478624 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8878] ppid=8868 vsize=15149108 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8878/stat : 8878 (java) S 8868 8868 5327 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 475128186 15512686592 75010 33554432000 4194304 4196468 140736940296064 140652269426288 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8879] ppid=8868 vsize=15149108 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8879/stat : 8879 (java) S 8868 8868 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475128188 15512686592 75010 33554432000 4194304 4196468 140736940296064 140652268374608 140652735715227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8880] ppid=8868 vsize=15149108 memory=11624 CPUtime=0.09 cores=0,2,4,6
/proc/8870/task/8880/stat : 8880 (java) S 8868 8868 5327 0 -1 1077944384 623 0 0 0 9 0 0 0 20 0 15 0 475128188 15512686592 75010 33554432000 4194304 4196468 140736940296064 140652267321456 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8881] ppid=8868 vsize=15149108 memory=740 CPUtime=0.08 cores=0,2,4,6
/proc/8870/task/8881/stat : 8881 (java) S 8868 8868 5327 0 -1 1077944384 268 0 0 0 8 0 0 0 20 0 15 0 475128188 15512686592 75010 33554432000 4194304 4196468 140736940296064 140652266268656 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8882] ppid=8868 vsize=15149108 memory=1056 CPUtime=0.18 cores=0,2,4,6
/proc/8870/task/8882/stat : 8882 (java) S 8868 8868 5327 0 -1 1077944384 1089 0 0 0 18 0 0 0 20 0 15 0 475128188 15512686592 75010 33554432000 4194304 4196468 140736940296064 140652265216368 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8883] ppid=8868 vsize=15149108 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8883/stat : 8883 (java) S 8868 8868 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475128188 15512686592 75010 33554432000 4194304 4196468 140736940296064 140652264163808 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8884] ppid=8868 vsize=15149108 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8884/stat : 8884 (java) S 8868 8868 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475128188 15512686592 75010 33554432000 4194304 4196468 140736940296064 140652263111600 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 15262236 KiB
Current children cumulated memory: 301492 KiB

[startup+1.50102 s]
/proc/loadavg: 8.40 8.47 7.57 8/235 8884
/proc/meminfo: memFree=8969704/32770624 swapFree=66972260/67108860
[pid=8868] ppid=8865 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8868/stat : 8868 (xcsp3-exec) S 8865 8868 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475128182 115843072 363 33554432000 4194304 5098028 140728475410000 140728475408104 140521108923004 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38764544 140728475415383 140728475415641 140728475415641 140728475418566 0
/proc/8868/statm: 28282 363 304 221 0 87 0

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

/proc/8870/task/8878/stat : 8878 (java) S 8868 8868 5327 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 475128186 15514783744 3214932 33554432000 4194304 4196468 140736940296064 140652269426304 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8879] ppid=8868 vsize=15151156 memory=1711 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8879/stat : 8879 (java) S 8868 8868 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475128188 15514783744 3214932 33554432000 4194304 4196468 140736940296064 140652268374608 140652735715227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8880] ppid=8868 vsize=15151156 memory=2114 CPUtime=0.5 cores=0,2,4,6
/proc/8870/task/8880/stat : 8880 (java) S 8868 8868 5327 0 -1 1077944384 3003 0 0 0 50 0 0 0 20 0 15 0 475128188 15514783744 3214932 33554432000 4194304 4196468 140736940296064 140652267321216 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8881] ppid=8868 vsize=15151156 memory=2131 CPUtime=0.5 cores=0,2,4,6
/proc/8870/task/8881/stat : 8881 (java) S 8868 8868 5327 0 -1 1077944384 1576 0 0 0 50 0 0 0 20 0 15 0 475128188 15514783744 3214932 33554432000 4194304 4196468 140736940296064 140652266268704 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8882] ppid=8868 vsize=15151156 memory=1452 CPUtime=0.32 cores=0,2,4,6
/proc/8870/task/8882/stat : 8882 (java) S 8868 8868 5327 0 -1 1077944384 2524 0 0 0 31 1 0 0 20 0 15 0 475128188 15514783744 3214932 33554432000 4194304 4196468 140736940296064 140652265216416 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8883] ppid=8868 vsize=15151156 memory=12859728 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8883/stat : 8883 (java) S 8868 8868 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475128188 15514783744 3214932 33554432000 4194304 4196468 140736940296064 140652264163808 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8884] ppid=8868 vsize=15151156 memory=19336 CPUtime=0.02 cores=0,2,4,6
/proc/8870/task/8884/stat : 8884 (java) S 8868 8868 5327 0 -1 1077944384 332 0 0 0 1 1 0 0 20 0 15 0 475128188 15514783744 3214932 33554432000 4194304 4196468 140736940296064 140652263111600 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
Current children cumulated CPU time: 107.26 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12861180 KiB

[startup+44.8014 s]
/proc/loadavg: 7.02 8.10 7.49 9/235 8887
/proc/meminfo: memFree=309056/32770624 swapFree=66972280/67108860
[pid=8868] ppid=8865 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8868/stat : 8868 (xcsp3-exec) S 8865 8868 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475128182 115843072 363 33554432000 4194304 5098028 140728475410000 140728475408104 140521108923004 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38764544 140728475415383 140728475415641 140728475415641 140728475418566 0
/proc/8868/statm: 28282 363 304 221 0 87 0
[pid=8870] ppid=8868 vsize=15151156 memory=12863744 CPUtime=118.48 cores=0,2,4,6
/proc/8870/stat : 8870 (java) S 8868 8868 5327 0 -1 1077944320 4473523 0 0 0 10126 1722 0 0 20 0 15 0 475128182 15514783744 3215936 33554432000 4194304 4196468 140736940296064 140736940278608 140652735696631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
/proc/8870/statm: 3787789 3215936 3496 1 0 3748889 0
[pid=8870/tid=8871] ppid=8868 vsize=15151156 memory=11624 CPUtime=12.48 cores=0,2,4,6
/proc/8870/task/8871/stat : 8871 (java) S 8868 8868 5327 0 -1 1077944384 71465 0 0 0 1223 25 0 0 20 0 15 0 475128183 15514783744 3215936 33554432000 4194304 4196468 140736940296064 140652739934768 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8872] ppid=8868 vsize=15151156 memory=8112282956445269571 CPUtime=24.36 cores=0,2,4,6
/proc/8870/task/8872/stat : 8872 (java) R 8868 8868 5327 0 -1 4202560 708467 0 0 0 2057 379 0 0 20 0 15 0 475128183 15514783744 3215936 33554432000 4194304 4196468 140736940296064 140652327594272 140652721455006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8873] ppid=8868 vsize=15151156 memory=1056 CPUtime=24.1 cores=0,2,4,6
/proc/8870/task/8873/stat : 8873 (java) R 8868 8868 5327 0 -1 4202560 755597 0 0 0 1993 417 0 0 20 0 15 0 475128183 15514783744 3215936 33554432000 4194304 4196468 140736940296064 140652326541784 140652720647856 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8874] ppid=8868 vsize=15151156 memory=1552 CPUtime=24.35 cores=0,2,4,6
/proc/8870/task/8874/stat : 8874 (java) R 8868 8868 5327 0 -1 4202560 1967441 0 0 0 1963 472 0 0 20 0 15 0 475128183 15514783744 3215936 33554432000 4194304 4196468 140736940296064 140652325489496 140652720647755 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8875] ppid=8868 vsize=15151156 memory=1040 CPUtime=24.2 cores=0,2,4,6
/proc/8870/task/8875/stat : 8875 (java) R 8868 8868 5327 0 -1 4202560 852708 0 0 0 2008 412 0 0 20 0 15 0 475128184 15514783744 3215936 33554432000 4194304 4196468 140736940296064 140652324436696 140652720647861 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8876] ppid=8868 vsize=15151156 memory=3644 CPUtime=7.57 cores=0,2,4,6
/proc/8870/task/8876/stat : 8876 (java) S 8868 8868 5327 0 -1 1077944384 109093 0 0 0 746 11 0 0 20 0 15 0 475128185 15514783744 3215936 33554432000 4194304 4196468 140736940296064 140652271530976 140652735706837 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8877] ppid=8868 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8877/stat : 8877 (java) S 8868 8868 5327 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 475128185 15514783744 3215936 33554432000 4194304 4196468 140736940296064 140652270478688 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8878] ppid=8868 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8878/stat : 8878 (java) S 8868 8868 5327 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 475128186 15514783744 3215936 33554432000 4194304 4196468 140736940296064 140652269426304 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8879] ppid=8868 vsize=15151156 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8879/stat : 8879 (java) S 8868 8868 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475128188 15514783744 3215936 33554432000 4194304 4196468 140736940296064 140652268374608 140652735715227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8880] ppid=8868 vsize=15151156 memory=1200 CPUtime=0.5 cores=0,2,4,6
/proc/8870/task/8880/stat : 8880 (java) S 8868 8868 5327 0 -1 1077944384 3003 0 0 0 50 0 0 0 20 0 15 0 475128188 15514783744 3215936 33554432000 4194304 4196468 140736940296064 140652267321456 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8881] ppid=8868 vsize=15151156 memory=5996 CPUtime=0.5 cores=0,2,4,6
/proc/8870/task/8881/stat : 8881 (java) S 8868 8868 5327 0 -1 1077944384 1576 0 0 0 50 0 0 0 20 0 15 0 475128188 15514783744 3215936 33554432000 4194304 4196468 140736940296064 140652266268656 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8882] ppid=8868 vsize=15151156 memory=924 CPUtime=0.32 cores=0,2,4,6
/proc/8870/task/8882/stat : 8882 (java) S 8868 8868 5327 0 -1 1077944384 2524 0 0 0 31 1 0 0 20 0 15 0 475128188 15514783744 3215936 33554432000 4194304 4196468 140736940296064 140652265216368 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8883] ppid=8868 vsize=15151156 memory=1672 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8883/stat : 8883 (java) S 8868 8868 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475128188 15514783744 3215936 33554432000 4194304 4196468 140736940296064 140652264163808 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8884] ppid=8868 vsize=15151156 memory=780 CPUtime=0.02 cores=0,2,4,6
/proc/8870/task/8884/stat : 8884 (java) S 8868 8868 5327 0 -1 1077944384 332 0 0 0 1 1 0 0 20 0 15 0 475128188 15514783744 3215936 33554432000 4194304 4196468 140736940296064 140652263111600 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
Current children cumulated CPU time: 118.48 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12865196 KiB

[startup+46.4014 s]
/proc/loadavg: 7.02 8.10 7.49 9/235 8887
/proc/meminfo: memFree=309056/32770624 swapFree=66972280/67108860
[pid=8868] ppid=8865 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8868/stat : 8868 (xcsp3-exec) S 8865 8868 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475128182 115843072 363 33554432000 4194304 5098028 140728475410000 140728475408104 140521108923004 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38764544 140728475415383 140728475415641 140728475415641 140728475418566 0
/proc/8868/statm: 28282 363 304 221 0 87 0
[pid=8870] ppid=8868 vsize=15151156 memory=12863836 CPUtime=124.28 cores=0,2,4,6
/proc/8870/stat : 8870 (java) S 8868 8868 5327 0 -1 1077944320 4540696 0 0 0 10699 1729 0 0 20 0 15 0 475128182 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140736940278608 140652735696631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
/proc/8870/statm: 3787789 3215959 3496 1 0 3748889 0
[pid=8870/tid=8871] ppid=8868 vsize=15151156 memory=8112282956445269571 CPUtime=12.48 cores=0,2,4,6
/proc/8870/task/8871/stat : 8871 (java) S 8868 8868 5327 0 -1 1077944384 71465 0 0 0 1223 25 0 0 20 0 15 0 475128183 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652739934768 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8872] ppid=8868 vsize=15151156 memory=6944656575208382560 CPUtime=25.76 cores=0,2,4,6
/proc/8870/task/8872/stat : 8872 (java) R 8868 8868 5327 0 -1 4202560 726310 0 0 0 2194 382 0 0 20 0 15 0 475128183 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652327593968 140652728324839 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8873] ppid=8868 vsize=15151156 memory=1452 CPUtime=25.49 cores=0,2,4,6
/proc/8870/task/8873/stat : 8873 (java) R 8868 8868 5327 0 -1 4202560 762206 0 0 0 2131 418 0 0 20 0 15 0 475128183 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652326541784 140652720394356 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8874] ppid=8868 vsize=15151156 memory=12863744 CPUtime=25.76 cores=0,2,4,6
/proc/8870/task/8874/stat : 8874 (java) R 8868 8868 5327 0 -1 4202560 1980086 0 0 0 2103 473 0 0 20 0 15 0 475128183 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652325489496 140652720681668 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8875] ppid=8868 vsize=15151156 memory=6943526294502006880 CPUtime=25.62 cores=0,2,4,6
/proc/8870/task/8875/stat : 8875 (java) R 8868 8868 5327 0 -1 4202560 860554 0 0 0 2149 413 0 0 20 0 15 0 475128184 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652324436696 140652720394423 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8876] ppid=8868 vsize=15151156 memory=1452 CPUtime=7.74 cores=0,2,4,6
/proc/8870/task/8876/stat : 8876 (java) S 8868 8868 5327 0 -1 1077944384 131282 0 0 0 762 12 0 0 20 0 15 0 475128185 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652271530992 140652735706837 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8877] ppid=8868 vsize=15151156 memory=12859728 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8877/stat : 8877 (java) S 8868 8868 5327 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 475128185 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652270478688 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8878] ppid=8868 vsize=15151156 memory=3612 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8878/stat : 8878 (java) S 8868 8868 5327 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 475128186 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652269426304 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8879] ppid=8868 vsize=15151156 memory=43120 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8879/stat : 8879 (java) S 8868 8868 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475128188 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652268374608 140652735715227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8880] ppid=8868 vsize=15151156 memory=992 CPUtime=0.5 cores=0,2,4,6
/proc/8870/task/8880/stat : 8880 (java) S 8868 8868 5327 0 -1 1077944384 3003 0 0 0 50 0 0 0 20 0 15 0 475128188 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652267321456 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8881] ppid=8868 vsize=15151156 memory=2044 CPUtime=0.5 cores=0,2,4,6
/proc/8870/task/8881/stat : 8881 (java) S 8868 8868 5327 0 -1 1077944384 1576 0 0 0 50 0 0 0 20 0 15 0 475128188 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652266268656 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8882] ppid=8868 vsize=15151156 memory=1432 CPUtime=0.32 cores=0,2,4,6
/proc/8870/task/8882/stat : 8882 (java) S 8868 8868 5327 0 -1 1077944384 2524 0 0 0 31 1 0 0 20 0 15 0 475128188 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652265216368 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8883] ppid=8868 vsize=15151156 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8883/stat : 8883 (java) S 8868 8868 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475128188 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652264163808 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8884] ppid=8868 vsize=15151156 memory=740 CPUtime=0.02 cores=0,2,4,6
/proc/8870/task/8884/stat : 8884 (java) S 8868 8868 5327 0 -1 1077944384 353 0 0 0 1 1 0 0 20 0 15 0 475128188 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652263111600 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
Current children cumulated CPU time: 124.28 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12865288 KiB

[startup+47.2009 s]
/proc/loadavg: 7.02 8.10 7.49 9/235 8887
/proc/meminfo: memFree=309056/32770624 swapFree=66972280/67108860
[pid=8868] ppid=8865 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8868/stat : 8868 (xcsp3-exec) S 8865 8868 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475128182 115843072 363 33554432000 4194304 5098028 140728475410000 140728475408104 140521108923004 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38764544 140728475415383 140728475415641 140728475415641 140728475418566 0
/proc/8868/statm: 28282 363 304 221 0 87 0
[pid=8870] ppid=8868 vsize=15151156 memory=12863836 CPUtime=127.17 cores=0,2,4,6
/proc/8870/stat : 8870 (java) S 8868 8868 5327 0 -1 1077944320 4545561 0 0 0 10988 1729 0 0 20 0 15 0 475128182 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140736940278608 140652735696631 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
/proc/8870/statm: 3787789 3215959 3496 1 0 3748889 0
[pid=8870/tid=8871] ppid=8868 vsize=15151156 memory=2044 CPUtime=12.48 cores=0,2,4,6
/proc/8870/task/8871/stat : 8871 (java) S 8868 8868 5327 0 -1 1077944384 71465 0 0 0 1223 25 0 0 20 0 15 0 475128183 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652739934768 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8872] ppid=8868 vsize=15151156 memory=1432 CPUtime=26.46 cores=0,2,4,6
/proc/8870/task/8872/stat : 8872 (java) S 8868 8868 5327 0 -1 1077944384 726438 0 0 0 2264 382 0 0 20 0 15 0 475128183 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652327594384 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8873] ppid=8868 vsize=15151156 memory=11624 CPUtime=26.19 cores=0,2,4,6
/proc/8870/task/8873/stat : 8873 (java) S 8868 8868 5327 0 -1 1077944384 762207 0 0 0 2201 418 0 0 20 0 15 0 475128183 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652326541584 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8874] ppid=8868 vsize=15151156 memory=740 CPUtime=26.47 cores=0,2,4,6
/proc/8870/task/8874/stat : 8874 (java) S 8868 8868 5327 0 -1 1077944384 1980163 0 0 0 2174 473 0 0 20 0 15 0 475128183 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652325489296 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8875] ppid=8868 vsize=15151156 memory=1056 CPUtime=26.32 cores=0,2,4,6
/proc/8870/task/8875/stat : 8875 (java) S 8868 8868 5327 0 -1 1077944384 860594 0 0 0 2219 413 0 0 20 0 15 0 475128184 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652324436496 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8876] ppid=8868 vsize=15151156 memory=8112282956445269571 CPUtime=7.83 cores=0,2,4,6
/proc/8870/task/8876/stat : 8876 (java) R 8868 8868 5327 0 -1 4202560 135901 0 0 0 771 12 0 0 20 0 15 0 475128185 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652271531216 140652720154234 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8877] ppid=8868 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8877/stat : 8877 (java) S 8868 8868 5327 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 475128185 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652270478688 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8878] ppid=8868 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8878/stat : 8878 (java) S 8868 8868 5327 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 475128186 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652269426304 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8879] ppid=8868 vsize=15151156 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8879/stat : 8879 (java) S 8868 8868 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475128188 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652268374608 140652735715227 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8880] ppid=8868 vsize=15151156 memory=1200 CPUtime=0.5 cores=0,2,4,6
/proc/8870/task/8880/stat : 8880 (java) S 8868 8868 5327 0 -1 1077944384 3003 0 0 0 50 0 0 0 20 0 15 0 475128188 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652267321456 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8881] ppid=8868 vsize=15151156 memory=5996 CPUtime=0.5 cores=0,2,4,6
/proc/8870/task/8881/stat : 8881 (java) S 8868 8868 5327 0 -1 1077944384 1576 0 0 0 50 0 0 0 20 0 15 0 475128188 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652266268656 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8882] ppid=8868 vsize=15151156 memory=1452 CPUtime=0.32 cores=0,2,4,6
/proc/8870/task/8882/stat : 8882 (java) S 8868 8868 5327 0 -1 1077944384 2524 0 0 0 31 1 0 0 20 0 15 0 475128188 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652265216368 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8883] ppid=8868 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8870/task/8883/stat : 8883 (java) S 8868 8868 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475128188 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652264163808 140652735706837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
[pid=8870/tid=8884] ppid=8868 vsize=15151156 memory=12863836 CPUtime=0.02 cores=0,2,4,6
/proc/8870/task/8884/stat : 8884 (java) S 8868 8868 5327 0 -1 1077944384 353 0 0 0 1 1 0 0 20 0 15 0 475128188 15514783744 3215959 33554432000 4194304 4196468 140736940296064 140652263111600 140652735707778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26107904 140736940299227 140736940299402 140736940299402 140736940302287 0
Current children cumulated CPU time: 127.17 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12865288 KiB

[startup+47.6003 s]
/proc/loadavg: 7.02 8.10 7.49 9/235 8887
/proc/meminfo: memFree=309056/32770624 swapFree=66972280/67108860
[pid=8868] ppid=8865 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8868/stat : 8868 (xcsp3-exec) S 8865 8868 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475128182 115843072 363 33554432000 4194304 5098028 140728475410000 140728475408104 140521108923004 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38764544 140728475415383 140728475415641 140728475415641 140728475418566 0
/proc/8868/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

[startup+47.7003 s]
/proc/loadavg: 7.02 8.10 7.49 9/235 8887
/proc/meminfo: memFree=309056/32770624 swapFree=66972280/67108860
[pid=8868] ppid=8865 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8868/stat : 8868 (xcsp3-exec) S 8865 8868 5327 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475128182 115843072 363 33554432000 4194304 5098028 140728475410000 140728475408104 140521108923004 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38764544 140728475415383 140728475415641 140728475415641 140728475418566 0
/proc/8868/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 1
Real time (s): 47.7246
CPU time (s): 127.703
CPU user time (s): 109.959
CPU system time (s): 17.744
CPU usage (%): 267.584
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 12865288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 109.959
system time used= 17.744
maximum resident set size= 12864372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4546364
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14619
involuntary context switches= 3118


# summary of solver processes directly reported to runsolver:
#   pid: 8868
#   total CPU time (s): 127.703
#   total CPU user time (s): 109.959
#   total CPU system time (s): 17.744

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.348487 second user time and 0.498033 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-20 17:03:40
IDJOB=4404155
IDBENCH=138083
IDSOLVER=2864
FILE ID=node117/4404155-1568991863
RUNJOBID= node117-1568989944-5358
PBS_JOBID= 21704646
Free space on /var/tmp= 13408 MiB

SOLVER NAME= choco-solver 2019-09-20
BENCH NAME= XCSP17/BinPacking/BinPacking-tab-sw120/BinPacking-tab-sw120-75.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404155-1568991863/watcher-4404155-1568991863 -o /var/tmp/evaluation-result-4404155-1568991863/solver-4404155-1568991863 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568989944-5358 --watchdog 2560  xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 659473948 HOME/instance-4404155-1568991863.xml

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

MD5SUM BENCH= 9cdf82428becd6b5ad716031980a59d2
RANDOM SEED=659473948

node117.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.75
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.75
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.75
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.75
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:        10037192 kB
MemAvailable:   31115060 kB
Buffers:          136952 kB
Cached:         20846552 kB
SwapCached:        27744 kB
Active:         11192380 kB
Inactive:       10543992 kB
Active(anon):     725196 kB
Inactive(anon):    68756 kB
Active(file):   10467184 kB
Inactive(file): 10475236 kB
Unevictable:      108556 kB
Mlocked:          108556 kB
SwapTotal:      67108860 kB
SwapFree:       66972260 kB
Dirty:            109152 kB
Writeback:             0 kB
AnonPages:        834924 kB
Mapped:            61500 kB
Shmem:             32436 kB
Slab:             592272 kB
SReclaimable:     563908 kB
SUnreclaim:        28364 kB
KernelStack:        3808 kB
PageTables:         7344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2273636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    733184 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 /var/tmp at the end= 13380 MiB
End job on node117 at 2019-09-20 17:04:28