Trace number 4254939

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 5a (2017-07-26)? 162.13901 123.21

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.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254939-1501623323.xml"  -tl '264s' -p 1 -x 3
0.00/0.28	c [HOME/instance-4254939-1501623323.xml, -tl, 264s, -p, 1, -x, 3]
0.00/0.34	c simple solver
0.00/0.41	c parse instance...
161.91/123.02	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
161.91/123.02		at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:98)
161.91/123.02		at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61)
161.91/123.02		at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1857)
161.91/123.02		at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:1813)
161.91/123.02		at org.chocosolver.parser.xcsp.XCSPParser.buildCtrExtension(XCSPParser.java:313)
161.91/123.02		at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:413)
161.91/123.02		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:130)
161.91/123.02		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:457)
161.91/123.02		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$346(XCallbacks.java:440)
161.91/123.02		at org.xcsp.parser.XCallbacks$$Lambda$70/1900164709.accept(Unknown Source)
161.91/123.02		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
161.91/123.02		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
161.91/123.02		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:437)
161.91/123.02		at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1406)
161.91/123.02		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:368)
161.91/123.02		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:353)
161.91/123.02		at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:260)
161.91/123.02		at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
161.91/123.02		at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:112)
161.91/123.02		at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99)
161.91/123.02		at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:23)
161.91/123.02	s UNKNOWN
161.91/123.02	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254939-1501623323/watcher-4254939-1501623323 -o /tmp/evaluation-result-4254939-1501623323/solver-4254939-1501623323 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10853 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 391115336 HOME/instance-4254939-1501623323.xml 

pid=16490
running on 4 cores: 0,2,4,6

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.83 1.77 1.80 3/196 16493
/proc/meminfo: memFree=31122300/32770624 swapFree=0/195396
[pid=16493] ppid=16490 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/16493/stat : 16493 (runsolver) D 16490 16493 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10955466 24240128 106 18446744073709551615 4194304 4338465 140732644554464 140732644552104 139910073389783 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 18927616 140732644556893 140732644557382 140732644557382 140732644560842 0
/proc/16493/statm: 5918 106 53 36 0 2156 0

[startup+0.100175 s]
/proc/loadavg: 1.83 1.77 1.80 3/196 16493
/proc/meminfo: memFree=31122300/32770624 swapFree=0/195396
[pid=16493] ppid=16490 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/16493/stat : 16493 (runsolver) D 16490 16493 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10955466 24240128 106 18446744073709551615 4194304 4338465 140732644554464 140732644552104 139910073389783 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 18927616 140732644556893 140732644557382 140732644557382 140732644560842 0
/proc/16493/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200331 s]
/proc/loadavg: 1.83 1.77 1.80 3/196 16493
/proc/meminfo: memFree=31122300/32770624 swapFree=0/195396
[pid=16493] ppid=16490 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16493/stat : 16493 (xcsp3-exec) S 16490 16493 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10955466 9740288 344 18446744073709551615 4194304 5098028 140720384146208 140720384144312 140547008516732 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 35954688 140720384147868 140720384148071 140720384148071 140720384151531 0
/proc/16493/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300241 s]
/proc/loadavg: 1.83 1.77 1.80 3/196 16493
/proc/meminfo: memFree=31122300/32770624 swapFree=0/195396
[pid=16493] ppid=16490 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16493/stat : 16493 (xcsp3-exec) S 16490 16493 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10955466 9740288 344 18446744073709551615 4194304 5098028 140720384146208 140720384144312 140547008516732 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 35954688 140720384147868 140720384148071 140720384148071 140720384151531 0
/proc/16493/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700312 s]
/proc/loadavg: 1.83 1.77 1.80 3/196 16493
/proc/meminfo: memFree=31122300/32770624 swapFree=0/195396
[pid=16493] ppid=16490 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16493/stat : 16493 (xcsp3-exec) S 16490 16493 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10955466 9740288 344 18446744073709551615 4194304 5098028 140720384146208 140720384144312 140547008516732 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 35954688 140720384147868 140720384148071 140720384148071 140720384151531 0
/proc/16493/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.5007 s]
/proc/loadavg: 1.83 1.77 1.80 3/212 16509
/proc/meminfo: memFree=30157252/32770624 swapFree=0/195516
[pid=16493] ppid=16490 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16493/stat : 16493 (xcsp3-exec) S 16490 16493 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10955466 9740288 344 18446744073709551615 4194304 5098028 140720384146208 140720384144312 140547008516732 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 35954688 140720384147868 140720384148071 140720384148071 140720384151531 0
/proc/16493/statm: 2378 344 289 221 0 87 0
[pid=16495] ppid=16493 vsize=13978684 CPUtime=2.5 cores=0,2,4,6
/proc/16495/stat : 16495 (java) S 16493 16493 5091 0 -1 1077944320 14326 0 0 0 207 43 0 0 20 0 15 0 10955477 14314172416 286545 18446744073709551615 4194304 4196468 140734514777792 140734514760336 140629803929335 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
/proc/16495/statm: 3494671 286545 3181 1 0 3482972 0
[pid=16495/tid=16496] ppid=16493 vsize=13978684 CPUtime=1.21 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (java) R 16493 16493 5091 0 -1 4202560 8366 0 0 0 105 16 0 0 20 0 15 0 10955477 14314172416 286545 18446744073709551615 4194304 4196468 140734514777792 140629808165600 140629395854169 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16497] ppid=16493 vsize=13978684 CPUtime=0.12 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (java) S 16493 16493 5091 0 -1 1077944384 162 0 0 0 6 6 0 0 20 0 15 0 10955478 14314172416 286545 18446744073709551615 4194304 4196468 140734514777792 140629723343120 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16498] ppid=16493 vsize=13978684 CPUtime=0.12 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (java) S 16493 16493 5091 0 -1 1077944384 151 0 0 0 6 6 0 0 20 0 15 0 10955478 14314172416 286545 18446744073709551615 4194304 4196468 140734514777792 140629722290576 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16499] ppid=16493 vsize=13978684 CPUtime=0.11 cores=0,2,4,6
/proc/16495/task/16499/stat : 16499 (java) S 16493 16493 5091 0 -1 1077944384 154 0 0 0 5 6 0 0 20 0 15 0 10955478 14314172416 286545 18446744073709551615 4194304 4196468 140734514777792 140629721238032 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16500] ppid=16493 vsize=13978684 CPUtime=0.12 cores=0,2,4,6
/proc/16495/task/16500/stat : 16500 (java) S 16493 16493 5091 0 -1 1077944384 115 0 0 0 6 6 0 0 20 0 15 0 10955478 14314172416 286545 18446744073709551615 4194304 4196468 140734514777792 140629720185488 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16501] ppid=16493 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16501/stat : 16501 (java) S 16493 16493 5091 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 10955479 14314172416 286545 18446744073709551615 4194304 4196468 140734514777792 140629282122224 140629803940482 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16502] ppid=16493 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16502/stat : 16502 (java) S 16493 16493 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10955480 14314172416 286545 18446744073709551615 4194304 4196468 140734514777792 140629281068512 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16503] ppid=16493 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16503/stat : 16503 (java) S 16493 16493 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10955480 14314172416 286545 18446744073709551615 4194304 4196468 140734514777792 140629280015872 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16504] ppid=16493 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16504/stat : 16504 (java) S 16493 16493 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10955482 14314172416 286545 18446744073709551615 4194304 4196468 140734514777792 140629278964432 140629803947931 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16505] ppid=16493 vsize=13978684 CPUtime=0.27 cores=0,2,4,6
/proc/16495/task/16505/stat : 16505 (java) S 16493 16493 5091 0 -1 1077944384 1397 0 0 0 27 0 0 0 20 0 15 0 10955482 14314172416 286545 18446744073709551615 4194304 4196468 140734514777792 140629277911024 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16506] ppid=16493 vsize=13978684 CPUtime=0.27 cores=0,2,4,6
/proc/16495/task/16506/stat : 16506 (java) S 16493 16493 5091 0 -1 1077944384 1326 0 0 0 27 0 0 0 20 0 15 0 10955482 14314172416 286545 18446744073709551615 4194304 4196468 140734514777792 140629276858480 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16507] ppid=16493 vsize=13978684 CPUtime=0.22 cores=0,2,4,6
/proc/16495/task/16507/stat : 16507 (java) S 16493 16493 5091 0 -1 1077944384 1148 0 0 0 22 0 0 0 20 0 15 0 10955482 14314172416 286545 18446744073709551615 4194304 4196468 140734514777792 140629275805936 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16508] ppid=16493 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16508/stat : 16508 (java) S 16493 16493 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10955482 14314172416 286545 18446744073709551615 4194304 4196468 140734514777792 140629274753632 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16509] ppid=16493 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16509/stat : 16509 (java) S 16493 16493 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10955487 14314172416 286545 18446744073709551615 4194304 4196468 140734514777792 140629273701168 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 13988196

[startup+3.10068 s]
/proc/loadavg: 1.83 1.77 1.80 3/212 16509
/proc/meminfo: memFree=29712976/32770624 swapFree=0/195516
[pid=16493] ppid=16490 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16493/stat : 16493 (xcsp3-exec) S 16490 16493 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10955466 9740288 344 18446744073709551615 4194304 5098028 140720384146208 140720384144312 140547008516732 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 35954688 140720384147868 140720384148071 140720384148071 140720384151531 0
/proc/16493/statm: 2378 344 289 221 0 87 0
[pid=16495] ppid=16493 vsize=13978684 CPUtime=4.31 cores=0,2,4,6
/proc/16495/stat : 16495 (java) S 16493 16493 5091 0 -1 1077944320 16802 0 0 0 377 54 0 0 20 0 15 0 10955477 14314172416 377016 18446744073709551615 4194304 4196468 140734514777792 140734514760336 140629803929335 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
/proc/16495/statm: 3494671 377016 3181 1 0 3482972 0
[pid=16495/tid=16496] ppid=16493 vsize=13978684 CPUtime=2.73 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (java) R 16493 16493 5091 0 -1 4202560 9911 0 0 0 253 20 0 0 20 0 15 0 10955477 14314172416 377016 18446744073709551615 4194304 4196468 140734514777792 140629808167168 140629395854111 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16497] ppid=16493 vsize=13978684 CPUtime=0.18 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (java) S 16493 16493 5091 0 -1 1077944384 298 0 0 0 11 7 0 0 20 0 15 0 10955478 14314172416 377016 18446744073709551615 4194304 4196468 140734514777792 140629723343120 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16498] ppid=16493 vsize=13978684 CPUtime=0.19 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (java) S 16493 16493 5091 0 -1 1077944384 295 0 0 0 11 8 0 0 20 0 15 0 10955478 14314172416 377016 18446744073709551615 4194304 4196468 140734514777792 140629722290576 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16499] ppid=16493 vsize=13978684 CPUtime=0.18 cores=0,2,4,6
/proc/16495/task/16499/stat : 16499 (java) S 16493 16493 5091 0 -1 1077944384 259 0 0 0 11 7 0 0 20 0 15 0 10955478 14314172416 377016 18446744073709551615 4194304 4196468 140734514777792 140629721238032 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16500] ppid=16493 vsize=13978684 CPUtime=0.18 cores=0,2,4,6
/proc/16495/task/16500/stat : 16500 (java) S 16493 16493 5091 0 -1 1077944384 262 0 0 0 11 7 0 0 20 0 15 0 10955478 14314172416 377016 18446744073709551615 4194304 4196468 140734514777792 140629720185488 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16501] ppid=16493 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16501/stat : 16501 (java) S 16493 16493 5091 0 -1 1077944384 588 0 0 0 0 0 0 0 20 0 15 0 10955479 14314172416 377016 18446744073709551615 4194304 4196468 140734514777792 140629282122224 140629803940482 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16502] ppid=16493 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16502/stat : 16502 (java) S 16493 16493 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10955480 14314172416 377016 18446744073709551615 4194304 4196468 140734514777792 140629281068512 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16503] ppid=16493 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16503/stat : 16503 (java) S 16493 16493 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10955480 14314172416 377016 18446744073709551615 4194304 4196468 140734514777792 140629280015872 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16504] ppid=16493 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16504/stat : 16504 (java) S 16493 16493 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10955482 14314172416 377016 18446744073709551615 4194304 4196468 140734514777792 140629278964432 140629803947931 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16505] ppid=16493 vsize=13978684 CPUtime=0.27 cores=0,2,4,6
/proc/16495/task/16505/stat : 16505 (java) S 16493 16493 5091 0 -1 1077944384 1397 0 0 0 27 0 0 0 20 0 15 0 10955482 14314172416 377016 18446744073709551615 4194304 4196468 140734514777792 140629277911024 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16506] ppid=16493 vsize=13978684 CPUtime=0.27 cores=0,2,4,6
/proc/16495/task/16506/stat : 16506 (java) S 16493 16493 5091 0 -1 1077944384 1326 0 0 0 27 0 0 0 20 0 15 0 10955482 14314172416 377016 18446744073709551615 4194304 4196468 140734514777792 140629276858480 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16507] ppid=16493 vsize=13978684 CPUtime=0.22 cores=0,2,4,6
/proc/16495/task/16507/stat : 16507 (java) S 16493 16493 5091 0 -1 1077944384 1148 0 0 0 22 0 0 0 20 0 15 0 10955482 14314172416 377016 18446744073709551615 4194304 4196468 140734514777792 140629275805936 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16508] ppid=16493 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16508/stat : 16508 (java) S 16493 16493 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10955482 14314172416 377016 18446744073709551615 4194304 4196468 140734514777792 140629274753632 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16509] ppid=16493 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16509/stat : 16509 (java) S 16493 16493 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10955487 14314172416 377016 18446744073709551615 4194304 4196468 140734514777792 140629273701168 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 13988196

[startup+6.30069 s]
/proc/loadavg: 1.85 1.78 1.80 3/212 16509
/proc/meminfo: memFree=29043052/32770624 swapFree=0/195524
[pid=16493] ppid=16490 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16493/stat : 16493 (xcsp3-exec) S 16490 16493 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10955466 9740288 344 18446744073709551615 4194304 5098028 140720384146208 140720384144312 140547008516732 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 35954688 140720384147868 140720384148071 140720384148071 140720384151531 0
/proc/16493/statm: 2378 344 289 221 0 87 0
[pid=16495] ppid=16493 vsize=13978684 CPUtime=7.92 cores=0,2,4,6
/proc/16495/stat : 16495 (java) S 16493 16493 5091 0 -1 1077944320 21055 0 0 0 701 91 0 0 20 0 15 0 10955477 14314172416 684489 18446744073709551615 4194304 4196468 140734514777792 140734514760336 140629803929335 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
/proc/16495/statm: 3494671 684489 3181 1 0 3482972 0
[pid=16495/tid=16496] ppid=16493 vsize=13978684 CPUtime=5.79 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (java) R 16493 16493 5091 0 -1 4202560 10979 0 0 0 538 41 0 0 20 0 15 0 10955477 14314172416 684489 18446744073709551615 4194304 4196468 140734514777792 140629808167168 140629395853216 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16497] ppid=16493 vsize=13978684 CPUtime=0.33 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (java) S 16493 16493 5091 0 -1 1077944384 1295 0 0 0 21 12 0 0 20 0 15 0 10955478 14314172416 684489 18446744073709551615 4194304 4196468 140734514777792 140629723343120 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16498] ppid=16493 vsize=13978684 CPUtime=0.33 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (java) S 16493 16493 5091 0 -1 1077944384 620 0 0 0 21 12 0 0 20 0 15 0 10955478 14314172416 684489 18446744073709551615 4194304 4196468 140734514777792 140629722290576 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16499] ppid=16493 vsize=13978684 CPUtime=0.32 cores=0,2,4,6
/proc/16495/task/16499/stat : 16499 (java) S 16493 16493 5091 0 -1 1077944384 575 0 0 0 21 11 0 0 20 0 15 0 10955478 14314172416 684489 18446744073709551615 4194304 4196468 140734514777792 140629721238032 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16500] ppid=16493 vsize=13978684 CPUtime=0.32 cores=0,2,4,6
/proc/16495/task/16500/stat : 16500 (java) S 16493 16493 5091 0 -1 1077944384 766 0 0 0 21 11 0 0 20 0 15 0 10955478 14314172416 684489 18446744073709551615 4194304 4196468 140734514777792 140629720185488 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16501] ppid=16493 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16501/stat : 16501 (java) S 16493 16493 5091 0 -1 1077944384 1336 0 0 0 0 0 0 0 20 0 15 0 10955479 14314172416 684489 18446744073709551615 4194304 4196468 140734514777792 140629282122224 140629803940482 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16502] ppid=16493 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16502/stat : 16502 (java) S 16493 16493 5091 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10955480 14314172416 684489 18446744073709551615 4194304 4196468 140734514777792 140629281068512 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16503] ppid=16493 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16503/stat : 16503 (java) S 16493 16493 5091 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 10955480 14314172416 684489 18446744073709551615 4194304 4196468 140734514777792 140629280015872 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16504] ppid=16493 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16504/stat : 16504 (java) S 16493 16493 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10955482 14314172416 684489 18446744073709551615 4194304 4196468 140734514777792 140629278964432 140629803947931 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16505] ppid=16493 vsize=13978684 CPUtime=0.27 cores=0,2,4,6
/proc/16495/task/16505/stat : 16505 (java) S 16493 16493 5091 0 -1 1077944384 1397 0 0 0 27 0 0 0 20 0 15 0 10955482 14314172416 684489 18446744073709551615 4194304 4196468 140734514777792 140629277911024 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16506] ppid=16493 vsize=13978684 CPUtime=0.27 cores=0,2,4,6
/proc/16495/task/16506/stat : 16506 (java) S 16493 16493 5091 0 -1 1077944384 1326 0 0 0 27 0 0 0 20 0 15 0 10955482 14314172416 684489 18446744073709551615 4194304 4196468 140734514777792 140629276858480 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16507] ppid=16493 vsize=13978684 CPUtime=0.22 cores=0,2,4,6
/proc/16495/task/16507/stat : 16507 (java) S 16493 16493 5091 0 -1 1077944384 1151 0 0 0 22 0 0 0 20 0 15 0 10955482 14314172416 684489 18446744073709551615 4194304 4196468 140734514777792 140629275805936 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16508] ppid=16493 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16508/stat : 16508 (java) S 16493 16493 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10955482 14314172416 684489 18446744073709551615 4194304 4196468 140734514777792 140629274753632 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16509] ppid=16493 vsize=13978684 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16509/stat : 16509 (java) S 16493 16493 5091 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 15 0 10955487 14314172416 684489 18446744073709551615 4194304 4196468 140734514777792 140629273701168 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
Current children cumulated CPU time (s) 7.92
Current children cumulated vsize (KiB) 13988196

[startup+12.7007 s]
/proc/loadavg: 1.86 1.78 1.80 3/212 16509
/proc/meminfo: memFree=28243904/32770624 swapFree=0/195536
[pid=16493] ppid=16490 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16493/stat : 16493 (xcsp3-exec) S 16490 16493 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10955466 9740288 344 18446744073709551615 4194304 5098028 140720384146208 140720384144312 140547008516732 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 35954688 140720384147868 140720384148071 140720384148071 140720384151531 0
/proc/16493/statm: 2378 344 289 221 0 87 0
[pid=16495] ppid=16493 vsize=13978684 CPUtime=14.48 cores=0,2,4,6
/proc/16495/stat : 16495 (java) S 16493 16493 5091 0 -1 1077944320 25181 0 0 0 1354 94 0 0 20 0 15 0 10955477 14314172416 714872 18446744073709551615 4194304 4196468 140734514777792 140734514760336 140629803929335 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
/proc/16495/statm: 3494671 714872 3190 1 0 3482972 0
[pid=16495/tid=16496] ppid=16493 vsize=13978684 CPUtime=12.19 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (java) R 16493 16493 5091 0 -1 4202560 13682 0 0 0 1176 43 0 0 20 0 15 0 10955477 14314172416 714872 18446744073709551615 4194304 4196468 140734514777792 140629808168352 140629396124049 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16497] ppid=16493 vsize=13978684 CPUtime=0.33 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (java) S 16493 16493 5091 0 -1 1077944384 1295 0 0 0 21 12 0 0 20 0 15 0 10955478 14314172416 714872 18446744073709551615 4194304 4196468 140734514777792 140629723343120 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16498] ppid=16493 vsize=13978684 CPUtime=0.33 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (java) S 16493 16493 5091 0 -1 1077944384 620 0 0 0 21 12 0 0 20 0 15 0 10955478 14314172416 714872 18446744073709551615 4194304 4196468 140734514777792 140629722290576 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0

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

[pid=16495] ppid=16493 vsize=13980732 CPUtime=146.53 cores=0,2,4,6
/proc/16495/stat : 16495 (java) S 16493 16493 5091 0 -1 1077944320 832746 0 0 0 13850 803 0 0 20 0 15 0 10955477 14316269568 2932210 18446744073709551615 4194304 4196468 140734514777792 140734514760336 140629803929335 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
/proc/16495/statm: 3495183 2932210 3211 1 0 3483484 0
[pid=16495/tid=16496] ppid=16493 vsize=13980732 CPUtime=106.9 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (java) S 16493 16493 5091 0 -1 1077944384 95603 0 0 0 10631 59 0 0 20 0 15 0 10955477 14316269568 2932210 18446744073709551615 4194304 4196468 140734514777792 140629808167552 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16497] ppid=16493 vsize=13980732 CPUtime=9.06 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (java) R 16493 16493 5091 0 -1 4202560 180711 0 0 0 709 197 0 0 20 0 15 0 10955478 14316269568 2932210 18446744073709551615 4194304 4196468 140734514777792 140629723343016 140629796557543 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16498] ppid=16493 vsize=13980732 CPUtime=9.02 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (java) R 16493 16493 5091 0 -1 4202560 179835 0 0 0 726 176 0 0 20 0 15 0 10955478 14316269568 2932210 18446744073709551615 4194304 4196468 140734514777792 140629722290160 140629796557543 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16499] ppid=16493 vsize=13980732 CPUtime=9.01 cores=0,2,4,6
/proc/16495/task/16499/stat : 16499 (java) R 16493 16493 5091 0 -1 4202560 173445 0 0 0 721 180 0 0 20 0 15 0 10955478 14316269568 2932210 18446744073709551615 4194304 4196468 140734514777792 140629721237616 140629796557543 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16500] ppid=16493 vsize=13980732 CPUtime=9.02 cores=0,2,4,6
/proc/16495/task/16500/stat : 16500 (java) R 16493 16493 5091 0 -1 4202560 180226 0 0 0 722 180 0 0 20 0 15 0 10955478 14316269568 2932210 18446744073709551615 4194304 4196468 140734514777792 140629720185688 140629788914631 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16501] ppid=16493 vsize=13980732 CPUtime=2.16 cores=0,2,4,6
/proc/16495/task/16501/stat : 16501 (java) S 16493 16493 5091 0 -1 1077944384 11748 0 0 0 212 4 0 0 20 0 15 0 10955479 14316269568 2932210 18446744073709551615 4194304 4196468 140734514777792 140629282120544 140629803939541 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16502] ppid=16493 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16502/stat : 16502 (java) S 16493 16493 5091 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 10955480 14316269568 2932210 18446744073709551615 4194304 4196468 140734514777792 140629281068512 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16503] ppid=16493 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16503/stat : 16503 (java) S 16493 16493 5091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 10955480 14316269568 2932210 18446744073709551615 4194304 4196468 140734514777792 140629280015872 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16504] ppid=16493 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16504/stat : 16504 (java) S 16493 16493 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10955482 14316269568 2932210 18446744073709551615 4194304 4196468 140734514777792 140629278964432 140629803947931 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16505] ppid=16493 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/16495/task/16505/stat : 16505 (java) S 16493 16493 5091 0 -1 1077944384 3507 0 0 0 48 0 0 0 20 0 15 0 10955482 14316269568 2932210 18446744073709551615 4194304 4196468 140734514777792 140629277911024 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16506] ppid=16493 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/16495/task/16506/stat : 16506 (java) S 16493 16493 5091 0 -1 1077944384 2783 0 0 0 42 0 0 0 20 0 15 0 10955482 14316269568 2932210 18446744073709551615 4194304 4196468 140734514777792 140629276858480 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16507] ppid=16493 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/16495/task/16507/stat : 16507 (java) S 16493 16493 5091 0 -1 1077944384 3116 0 0 0 30 0 0 0 20 0 15 0 10955482 14316269568 2932210 18446744073709551615 4194304 4196468 140734514777792 140629275805936 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16508] ppid=16493 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16508/stat : 16508 (java) S 16493 16493 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10955482 14316269568 2932210 18446744073709551615 4194304 4196468 140734514777792 140629274753632 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16509] ppid=16493 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/16495/task/16509/stat : 16509 (java) S 16493 16493 5091 0 -1 1077944384 427 0 0 0 3 3 0 0 20 0 15 0 10955487 14316269568 2932210 18446744073709551615 4194304 4196468 140734514777792 140629273701168 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
Current children cumulated CPU time (s) 146.53
Current children cumulated vsize (KiB) 13990244

[startup+121.601 s]
/proc/loadavg: 2.10 1.90 1.85 5/212 16513
/proc/meminfo: memFree=19350604/32770624 swapFree=0/195608
[pid=16493] ppid=16490 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16493/stat : 16493 (xcsp3-exec) S 16490 16493 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10955466 9740288 344 18446744073709551615 4194304 5098028 140720384146208 140720384144312 140547008516732 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 35954688 140720384147868 140720384148071 140720384148071 140720384151531 0
/proc/16493/statm: 2378 344 289 221 0 87 0
[pid=16495] ppid=16493 vsize=13980732 CPUtime=158.04 cores=0,2,4,6
/proc/16495/stat : 16495 (java) S 16493 16493 5091 0 -1 1077944320 1323308 0 0 0 14979 825 0 0 20 0 15 0 10955477 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140734514760336 140629803929335 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
/proc/16495/statm: 3495183 2932219 3211 1 0 3483484 0
[pid=16495/tid=16496] ppid=16493 vsize=13980732 CPUtime=106.91 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (java) S 16493 16493 5091 0 -1 1077944384 95605 0 0 0 10632 59 0 0 20 0 15 0 10955477 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629808167552 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16497] ppid=16493 vsize=13980732 CPUtime=11.87 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (java) R 16493 16493 5091 0 -1 4202560 659778 0 0 0 970 217 0 0 20 0 15 0 10955478 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629723343320 140629788629979 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16498] ppid=16493 vsize=13980732 CPUtime=11.81 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (java) R 16493 16493 5091 0 -1 4202560 180813 0 0 0 1005 176 0 0 20 0 15 0 10955478 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629722290384 140629796557543 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16499] ppid=16493 vsize=13980732 CPUtime=11.77 cores=0,2,4,6
/proc/16495/task/16499/stat : 16499 (java) R 16493 16493 5091 0 -1 4202560 173791 0 0 0 997 180 0 0 20 0 15 0 10955478 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629721238152 140629796557543 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16500] ppid=16493 vsize=13980732 CPUtime=11.79 cores=0,2,4,6
/proc/16495/task/16500/stat : 16500 (java) R 16493 16493 5091 0 -1 4202560 180524 0 0 0 998 181 0 0 20 0 15 0 10955478 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629720185608 140629796557543 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16501] ppid=16493 vsize=13980732 CPUtime=2.52 cores=0,2,4,6
/proc/16495/task/16501/stat : 16501 (java) S 16493 16493 5091 0 -1 1077944384 21600 0 0 0 247 5 0 0 20 0 15 0 10955479 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629282120784 140629803939541 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16502] ppid=16493 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16502/stat : 16502 (java) S 16493 16493 5091 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 10955480 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629281068512 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16503] ppid=16493 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16503/stat : 16503 (java) S 16493 16493 5091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 10955480 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629280015872 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16504] ppid=16493 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16504/stat : 16504 (java) S 16493 16493 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10955482 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629278964432 140629803947931 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16505] ppid=16493 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/16495/task/16505/stat : 16505 (java) S 16493 16493 5091 0 -1 1077944384 3507 0 0 0 48 0 0 0 20 0 15 0 10955482 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629277911024 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16506] ppid=16493 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/16495/task/16506/stat : 16506 (java) S 16493 16493 5091 0 -1 1077944384 2783 0 0 0 42 0 0 0 20 0 15 0 10955482 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629276858480 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16507] ppid=16493 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/16495/task/16507/stat : 16507 (java) S 16493 16493 5091 0 -1 1077944384 3116 0 0 0 30 0 0 0 20 0 15 0 10955482 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629275805936 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16508] ppid=16493 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16508/stat : 16508 (java) S 16493 16493 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10955482 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629274753632 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16509] ppid=16493 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/16495/task/16509/stat : 16509 (java) S 16493 16493 5091 0 -1 1077944384 446 0 0 0 3 3 0 0 20 0 15 0 10955487 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629273701168 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
Current children cumulated CPU time (s) 158.04
Current children cumulated vsize (KiB) 13990244

[startup+122.401 s]
/proc/loadavg: 2.10 1.90 1.85 6/212 16513
/proc/meminfo: memFree=19350604/32770624 swapFree=0/195608
[pid=16493] ppid=16490 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16493/stat : 16493 (xcsp3-exec) S 16490 16493 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10955466 9740288 344 18446744073709551615 4194304 5098028 140720384146208 140720384144312 140547008516732 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 35954688 140720384147868 140720384148071 140720384148071 140720384151531 0
/proc/16493/statm: 2378 344 289 221 0 87 0
[pid=16495] ppid=16493 vsize=13980732 CPUtime=161.15 cores=0,2,4,6
/proc/16495/stat : 16495 (java) S 16493 16493 5091 0 -1 1077944320 1490979 0 0 0 15282 833 0 0 20 0 15 0 10955477 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140734514760336 140629803929335 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
/proc/16495/statm: 3495183 2932219 3211 1 0 3483484 0
[pid=16495/tid=16496] ppid=16493 vsize=13980732 CPUtime=106.91 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (java) S 16493 16493 5091 0 -1 1077944384 95605 0 0 0 10632 59 0 0 20 0 15 0 10955477 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629808167552 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16497] ppid=16493 vsize=13980732 CPUtime=12.67 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (java) R 16493 16493 5091 0 -1 4202560 827449 0 0 0 1044 223 0 0 20 0 15 0 10955478 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629723343320 140629797032307 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16498] ppid=16493 vsize=13980732 CPUtime=12.59 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (java) R 16493 16493 5091 0 -1 4202560 180813 0 0 0 1082 177 0 0 20 0 15 0 10955478 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629722290384 140629796557543 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16499] ppid=16493 vsize=13980732 CPUtime=12.54 cores=0,2,4,6
/proc/16495/task/16499/stat : 16499 (java) R 16493 16493 5091 0 -1 4202560 173791 0 0 0 1073 181 0 0 20 0 15 0 10955478 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629721238152 140629796557543 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16500] ppid=16493 vsize=13980732 CPUtime=12.57 cores=0,2,4,6
/proc/16495/task/16500/stat : 16500 (java) R 16493 16493 5091 0 -1 4202560 180524 0 0 0 1075 182 0 0 20 0 15 0 10955478 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629720185296 140629796557543 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16501] ppid=16493 vsize=13980732 CPUtime=2.52 cores=0,2,4,6
/proc/16495/task/16501/stat : 16501 (java) S 16493 16493 5091 0 -1 1077944384 21600 0 0 0 247 5 0 0 20 0 15 0 10955479 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629282120784 140629803939541 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16502] ppid=16493 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16502/stat : 16502 (java) S 16493 16493 5091 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 10955480 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629281068512 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16503] ppid=16493 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16503/stat : 16503 (java) S 16493 16493 5091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 10955480 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629280015872 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16504] ppid=16493 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16504/stat : 16504 (java) S 16493 16493 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10955482 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629278964432 140629803947931 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16505] ppid=16493 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/16495/task/16505/stat : 16505 (java) S 16493 16493 5091 0 -1 1077944384 3507 0 0 0 48 0 0 0 20 0 15 0 10955482 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629277911024 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16506] ppid=16493 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/16495/task/16506/stat : 16506 (java) S 16493 16493 5091 0 -1 1077944384 2783 0 0 0 42 0 0 0 20 0 15 0 10955482 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629276858480 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16507] ppid=16493 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/16495/task/16507/stat : 16507 (java) S 16493 16493 5091 0 -1 1077944384 3116 0 0 0 30 0 0 0 20 0 15 0 10955482 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629275805936 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16508] ppid=16493 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16508/stat : 16508 (java) S 16493 16493 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10955482 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629274753632 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16509] ppid=16493 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/16495/task/16509/stat : 16509 (java) S 16493 16493 5091 0 -1 1077944384 446 0 0 0 3 3 0 0 20 0 15 0 10955487 14316269568 2932219 18446744073709551615 4194304 4196468 140734514777792 140629273701168 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
Current children cumulated CPU time (s) 161.15
Current children cumulated vsize (KiB) 13990244

[startup+122.801 s]
/proc/loadavg: 2.10 1.90 1.85 6/212 16513
/proc/meminfo: memFree=19350604/32770624 swapFree=0/195608
[pid=16493] ppid=16490 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16493/stat : 16493 (xcsp3-exec) S 16490 16493 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10955466 9740288 344 18446744073709551615 4194304 5098028 140720384146208 140720384144312 140547008516732 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 35954688 140720384147868 140720384148071 140720384148071 140720384151531 0
/proc/16493/statm: 2378 344 289 221 0 87 0
[pid=16495] ppid=16493 vsize=13980732 CPUtime=161.71 cores=0,2,4,6
/proc/16495/stat : 16495 (java) S 16493 16493 5091 0 -1 1077944320 1492705 0 0 0 15338 833 0 0 20 0 15 0 10955477 14316269568 2932222 18446744073709551615 4194304 4196468 140734514777792 140734514760336 140629803929335 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
/proc/16495/statm: 3495183 2932222 3211 1 0 3483484 0
[pid=16495/tid=16496] ppid=16493 vsize=13980732 CPUtime=106.91 cores=0,2,4,6
/proc/16495/task/16496/stat : 16496 (java) S 16493 16493 5091 0 -1 1077944384 95605 0 0 0 10632 59 0 0 20 0 15 0 10955477 14316269568 2932222 18446744073709551615 4194304 4196468 140734514777792 140629808167552 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16497] ppid=16493 vsize=13980732 CPUtime=12.72 cores=0,2,4,6
/proc/16495/task/16497/stat : 16497 (java) S 16493 16493 5091 0 -1 1077944384 827449 0 0 0 1049 223 0 0 20 0 15 0 10955478 14316269568 2932222 18446744073709551615 4194304 4196468 140734514777792 140629723343120 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16498] ppid=16493 vsize=13980732 CPUtime=12.65 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (java) S 16493 16493 5091 0 -1 1077944384 180813 0 0 0 1088 177 0 0 20 0 15 0 10955478 14316269568 2932222 18446744073709551615 4194304 4196468 140734514777792 140629722290576 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16499] ppid=16493 vsize=13980732 CPUtime=12.59 cores=0,2,4,6
/proc/16495/task/16499/stat : 16499 (java) S 16493 16493 5091 0 -1 1077944384 173791 0 0 0 1078 181 0 0 20 0 15 0 10955478 14316269568 2932222 18446744073709551615 4194304 4196468 140734514777792 140629721238032 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16500] ppid=16493 vsize=13980732 CPUtime=12.62 cores=0,2,4,6
/proc/16495/task/16500/stat : 16500 (java) S 16493 16493 5091 0 -1 1077944384 180524 0 0 0 1080 182 0 0 20 0 15 0 10955478 14316269568 2932222 18446744073709551615 4194304 4196468 140734514777792 140629720185488 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16501] ppid=16493 vsize=13980732 CPUtime=2.86 cores=0,2,4,6
/proc/16495/task/16501/stat : 16501 (java) R 16493 16493 5091 0 -1 4202560 23314 0 0 0 281 5 0 0 20 0 15 0 10955479 14316269568 2932222 18446744073709551615 4194304 4196468 140734514777792 140629282120672 140629788386905 0 0 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16502] ppid=16493 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16502/stat : 16502 (java) S 16493 16493 5091 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 10955480 14316269568 2932222 18446744073709551615 4194304 4196468 140734514777792 140629281068512 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16503] ppid=16493 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16503/stat : 16503 (java) S 16493 16493 5091 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 10955480 14316269568 2932222 18446744073709551615 4194304 4196468 140734514777792 140629280015872 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16504] ppid=16493 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16504/stat : 16504 (java) S 16493 16493 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10955482 14316269568 2932222 18446744073709551615 4194304 4196468 140734514777792 140629278964432 140629803947931 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16505] ppid=16493 vsize=13980732 CPUtime=0.48 cores=0,2,4,6
/proc/16495/task/16505/stat : 16505 (java) S 16493 16493 5091 0 -1 1077944384 3514 0 0 0 48 0 0 0 20 0 15 0 10955482 14316269568 2932222 18446744073709551615 4194304 4196468 140734514777792 140629277910784 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16506] ppid=16493 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/16495/task/16506/stat : 16506 (java) S 16493 16493 5091 0 -1 1077944384 2786 0 0 0 42 0 0 0 20 0 15 0 10955482 14316269568 2932222 18446744073709551615 4194304 4196468 140734514777792 140629276858528 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16507] ppid=16493 vsize=13980732 CPUtime=0.3 cores=0,2,4,6
/proc/16495/task/16507/stat : 16507 (java) S 16493 16493 5091 0 -1 1077944384 3118 0 0 0 30 0 0 0 20 0 15 0 10955482 14316269568 2932222 18446744073709551615 4194304 4196468 140734514777792 140629275805984 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16508] ppid=16493 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/16495/task/16508/stat : 16508 (java) S 16493 16493 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10955482 14316269568 2932222 18446744073709551615 4194304 4196468 140734514777792 140629274753632 140629803939541 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
[pid=16495/tid=16509] ppid=16493 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/16495/task/16509/stat : 16509 (java) S 16493 16493 5091 0 -1 1077944384 446 0 0 0 4 3 0 0 20 0 15 0 10955487 14316269568 2932222 18446744073709551615 4194304 4196468 140734514777792 140629273701168 140629803940482 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38850560 140734514782676 140734514782851 140734514782851 140734514786255 0
Current children cumulated CPU time (s) 161.71
Current children cumulated vsize (KiB) 13990244

[startup+123.2 s]
/proc/loadavg: 2.18 1.92 1.85 3/199 16514
/proc/meminfo: memFree=29903456/32770624 swapFree=0/195608
[pid=16493] ppid=16490 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/16493/stat : 16493 (xcsp3-exec) S 16490 16493 5091 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10955466 9740288 344 18446744073709551615 4194304 5098028 140720384146208 140720384144312 140547008516732 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 35954688 140720384147868 140720384148071 140720384148071 140720384151531 0
/proc/16493/statm: 2378 344 289 221 0 87 0
[pid=16495] ppid=16493 vsize=0 CPUtime=162.12 cores=0,2,4,6
/proc/16495/stat : 16495 (java) Z 16493 16493 5091 0 -1 4227084 1492891 0 0 0 15361 851 0 0 20 0 2 0 10955477 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/16495/statm: 0 0 0 0 0 0 0
[pid=16495/tid=16498] ppid=16493 vsize=0 CPUtime=12.82 cores=0,2,4,6
/proc/16495/task/16498/stat : 16498 (java) R 16493 16493 5091 0 -1 4203588 180813 0 0 0 1088 194 0 0 20 0 2 0 10955478 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 9512

Child status: 1
Real time (s): 123.21
CPU time (s): 162.139
CPU user time (s): 153.619
CPU system time (s): 8.52006
CPU usage (%): 131.595
Max. virtual memory (cumulated for all children) (KiB): 13990244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 153.619
system time used= 8.52006
maximum resident set size= 11729172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1493412
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36461
involuntary context switches= 615

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.574707 second user time and 0.855152 second system time

The end

Launcher Data 

Begin job on node129 at 2017-08-01 23:21:24
IDJOB=4254939
IDBENCH=138054
IDSOLVER=2637
FILE ID=node129/4254939-1501623323
RUNJOBID= node129-1501617179-10853
PBS_JOBID= 
Free space on /tmp= 61680 MiB

SOLVER NAME= choco-solver 5a
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-4254939-1501623323/watcher-4254939-1501623323 -o /tmp/evaluation-result-4254939-1501623323/solver-4254939-1501623323 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501617179-10853 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 391115336 HOME/instance-4254939-1501623323.xml

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

MD5SUM BENCH= 67f07639019614dd1d008c87f8253383
RANDOM SEED=391115336

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
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.57
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.53
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.57
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.53
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.57
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.53
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31122828 kB
MemAvailable:   31289792 kB
Buffers:           99084 kB
Cached:           351576 kB
SwapCached:            0 kB
Active:          1040988 kB
Inactive:         203668 kB
Active(anon):     794892 kB
Inactive(anon):     8532 kB
Active(file):     246096 kB
Inactive(file):   195136 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             97284 kB
Writeback:             4 kB
AnonPages:        793820 kB
Mapped:            42272 kB
Shmem:              8872 kB
Slab:             108068 kB
SReclaimable:      83132 kB
SUnreclaim:        24936 kB
KernelStack:        3456 kB
PageTables:         6528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2138532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    692224 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61672 MiB
End job on node129 at 2017-08-01 23:23:27