Trace number 4299171

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
Solver of Xavier Schul & Yvhan Smal 2018-04-28? 74.6964 26.3244

General information on the benchmark

NameCrosswordDesign/
CrosswordDesign-08-4-rom_c18.xml
MD5SUMd2036c1580b702d26a2ba71e1295e02d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables256
Number of constraints64
Number of domains5
Minimum domain size2
Maximum domain size62899
Distribution of domain sizes[{"size":2,"count":16},{"size":9,"count":112},{"size":27,"count":64},{"size":62899,"count":64}]
Minimum variable degree1
Maximum variable degree8
Distribution of variable degrees[{"degree":1,"count":80},{"degree":2,"count":112},{"degree":8,"count":64}]
Minimum constraint arity11
Maximum constraint arity12
Distribution of constraint arities[{"arity":11,"count":16},{"arity":12,"count":48}]
Number of extensional constraints64
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":64}]
Optimization problemYES
Type of objectivemax SUM

Solver Data 

0.13/0.13	c version: 2018-04-11
0.13/0.13	c seed: 1811631
0.13/0.13	c timeout: -1
0.13/0.13	c memlimit: -1
0.13/0.13	c nbcore: -1
74.55/26.23	Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
74.55/26.23		at java.util.Arrays.copyOf(Arrays.java:3308)
74.55/26.23		at java.util.BitSet.ensureCapacity(BitSet.java:337)
74.55/26.23		at java.util.BitSet.expandTo(BitSet.java:352)
74.55/26.23		at java.util.BitSet.set(BitSet.java:447)
74.55/26.23		at minicp.engine.constraints.ShortTableCT.<init>(ShortTableCT.java:61)
74.55/26.23		at xcsp3.XCSP3.buildCtrExtension(XCSP3.java:140)
74.55/26.29		at org.xcsp.parser.loaders.CtrLoaderInteger.extension(CtrLoaderInteger.java:306)
74.55/26.29		at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:167)
74.55/26.29		at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527)
74.55/26.29		at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510)
74.55/26.29		at org.xcsp.parser.XCallbacks$$Lambda$86/788117692.accept(Unknown Source)
74.55/26.29		at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
74.55/26.29		at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
74.55/26.29		at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507)
74.55/26.29		at org.xcsp.parser.XCallbacks.loadGroup(XCallbacks.java:462)
74.55/26.29		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422)
74.55/26.29		at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407)
74.55/26.29		at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297)
74.55/26.29		at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320)
74.55/26.29		at xcsp3.XCSP3.<init>(XCSP3.java:72)
74.55/26.29		at xcsp3.CompetitionApp.runSolver(CompetitionApp.java:63)
74.55/26.29		at xcsp3.CompetitionApp.main(CompetitionApp.java:51)
74.55/26.29	s UNKNOWN

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299171-1532790984/watcher-4299171-1532790984 -o /tmp/evaluation-result-4299171-1532790984/solver-4299171-1532790984 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532776007-24589 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299171-1532790984.xml 

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

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

solver pid=27456, runsolver pid=27453

[startup+0.10017 s]*
/proc/loadavg: 2.21 1.58 1.44 3/215 27471
/proc/meminfo: memFree=18489124/32770624 swapFree=67108688/67108860
[pid=27456] ppid=27453 vsize=10661052 memory=28380 CPUtime=0.13 cores=1,3,5,7
/proc/27456/stat : 27456 (java) S 27453 27456 24557 0 -1 1077944320 4988 0 0 0 12 1 0 0 20 0 15 0 96661244 10916917248 7095 33554432000 4194304 4196468 140727551255584 140727551238128 140162497314551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
/proc/27456/statm: 2665263 7095 2864 1 0 2627263 0
[pid=27456/tid=27458] ppid=27453 vsize=10661052 memory=-8197568871503662464 CPUtime=0.09 cores=1,3,5,7
/proc/27456/task/27458/stat : 27458 (java) R 27453 27456 24557 0 -1 4202560 2862 0 0 0 9 0 0 0 20 0 15 0 96661245 10916917248 7095 33554432000 4194304 4196468 140727551255584 140162501535712 140162497335898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27459] ppid=27453 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27459/stat : 27459 (java) S 27453 27456 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96661245 10916917248 7095 33554432000 4194304 4196468 140727551255584 140162434006160 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27460] ppid=27453 vsize=10661052 memory=140552481457792 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27460/stat : 27460 (java) S 27453 27456 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96661246 10916917248 7095 33554432000 4194304 4196468 140727551255584 140162103110672 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27461] ppid=27453 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27461/stat : 27461 (java) S 27453 27456 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96661246 10916917248 7095 33554432000 4194304 4196468 140727551255584 140162102057872 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27462] ppid=27453 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27462/stat : 27462 (java) S 27453 27456 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96661246 10916917248 7095 33554432000 4194304 4196468 140727551255584 140162101005072 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27463] ppid=27453 vsize=10661052 memory=140552481457792 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27463/stat : 27463 (java) S 27453 27456 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96661247 10916917248 7161 33554432000 4194304 4196468 140727551255584 140161533639024 140162497325698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27464] ppid=27453 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27464/stat : 27464 (java) S 27453 27456 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96661247 10916917248 7161 33554432000 4194304 4196468 140727551255584 140161532584992 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27465] ppid=27453 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27465/stat : 27465 (java) S 27453 27456 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96661248 10916917248 7161 33554432000 4194304 4196468 140727551255584 140161531532144 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27466] ppid=27453 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27466/stat : 27466 (java) S 27453 27456 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96661250 10916917248 7161 33554432000 4194304 4196468 140727551255584 140161530480464 140162497333147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27467] ppid=27453 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27467/stat : 27467 (java) S 27453 27456 24557 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 96661250 10916917248 7161 33554432000 4194304 4196468 140727551255584 140161529428848 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27468] ppid=27453 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27468/stat : 27468 (java) R 27453 27456 24557 0 -1 4202560 145 0 0 0 0 0 0 0 20 0 15 0 96661250 10916917248 7161 33554432000 4194304 4196468 140727551255584 140161528367552 140162480813128 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27469] ppid=27453 vsize=10661052 memory=140552481457792 CPUtime=0.02 cores=1,3,5,7
/proc/27456/task/27469/stat : 27469 (java) R 27453 27456 24557 0 -1 4202560 333 0 0 0 2 0 0 0 20 0 15 0 96661250 10916917248 7161 33554432000 4194304 4196468 140727551255584 140161527323248 140162481863588 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27470] ppid=27453 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27470/stat : 27470 (java) S 27453 27456 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96661250 10916917248 7161 33554432000 4194304 4196468 140727551255584 140161526270688 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27471] ppid=27453 vsize=10661052 memory=140552481457792 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27471/stat : 27471 (java) S 27453 27456 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96661250 10916917248 7161 33554432000 4194304 4196468 140727551255584 140161525217968 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 28380 KiB

[startup+0.214393 s]*
/proc/loadavg: 2.21 1.58 1.44 4/215 27471
/proc/meminfo: memFree=18478016/32770624 swapFree=67108688/67108860
[pid=27456] ppid=27453 vsize=10661052 memory=42624 CPUtime=0.36 cores=1,3,5,7
/proc/27456/stat : 27456 (java) S 27453 27456 24557 0 -1 1077944320 7672 0 0 0 34 2 0 0 20 0 15 0 96661244 10916917248 10656 33554432000 4194304 4196468 140727551255584 140727551238128 140162497314551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
/proc/27456/statm: 2665263 10656 3005 1 0 2627263 0
[pid=27456/tid=27458] ppid=27453 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/27456/task/27458/stat : 27458 (java) R 27453 27456 24557 0 -1 4202560 4626 0 0 0 19 1 0 0 20 0 15 0 96661245 10916917248 10656 33554432000 4194304 4196468 140727551255584 140162501545792 140162497336477 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27459] ppid=27453 vsize=10661052 memory=343 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27459/stat : 27459 (java) S 27453 27456 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96661245 10916917248 10656 33554432000 4194304 4196468 140727551255584 140162434006160 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27460] ppid=27453 vsize=10661052 memory=140552482003820 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27460/stat : 27460 (java) S 27453 27456 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96661246 10916917248 10656 33554432000 4194304 4196468 140727551255584 140162103110672 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27461] ppid=27453 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27461/stat : 27461 (java) S 27453 27456 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96661246 10916917248 10656 33554432000 4194304 4196468 140727551255584 140162102057872 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27462] ppid=27453 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27462/stat : 27462 (java) S 27453 27456 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96661246 10916917248 10656 33554432000 4194304 4196468 140727551255584 140162101005072 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27463] ppid=27453 vsize=10661052 memory=140552481457792 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27463/stat : 27463 (java) S 27453 27456 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96661247 10916917248 10656 33554432000 4194304 4196468 140727551255584 140161533639024 140162497325698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27464] ppid=27453 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27464/stat : 27464 (java) S 27453 27456 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96661247 10916917248 10656 33554432000 4194304 4196468 140727551255584 140161532584992 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27465] ppid=27453 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27465/stat : 27465 (java) S 27453 27456 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96661248 10916917248 10656 33554432000 4194304 4196468 140727551255584 140161531532144 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27466] ppid=27453 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27466/stat : 27466 (java) S 27453 27456 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96661250 10916917248 10656 33554432000 4194304 4196468 140727551255584 140161530480464 140162497333147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27467] ppid=27453 vsize=10661052 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27456/task/27467/stat : 27467 (java) R 27453 27456 24557 0 -1 4202560 599 0 0 0 3 0 0 0 20 0 15 0 96661250 10916917248 10656 33554432000 4194304 4196468 140727551255584 140161529428848 140162476977383 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27468] ppid=27453 vsize=10661052 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/27456/task/27468/stat : 27468 (java) R 27453 27456 24557 0 -1 4202560 282 0 0 0 3 0 0 0 20 0 15 0 96661250 10916917248 10656 33554432000 4194304 4196468 140727551255584 140161528376048 140162474656416 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27469] ppid=27453 vsize=10661052 memory=140552481457792 CPUtime=0.08 cores=1,3,5,7
/proc/27456/task/27469/stat : 27469 (java) R 27453 27456 24557 0 -1 1077944384 798 0 0 0 8 0 0 0 20 0 15 0 96661250 10916917248 10656 33554432000 4194304 4196468 140727551255584 140161527323248 140162497325698 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27470] ppid=27453 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27470/stat : 27470 (java) S 27453 27456 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96661250 10916917248 10656 33554432000 4194304 4196468 140727551255584 140161526270688 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27471] ppid=27453 vsize=10661052 memory=140552481457792 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27471/stat : 27471 (java) S 27453 27456 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96661250 10916917248 10656 33554432000 4194304 4196468 140727551255584 140161525217968 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 42624 KiB

[startup+0.310485 s]*
/proc/loadavg: 2.21 1.58 1.44 4/215 27471
/proc/meminfo: memFree=18454064/32770624 swapFree=67108688/67108860
[pid=27456] ppid=27453 vsize=10661128 memory=63568 CPUtime=0.55 cores=1,3,5,7
/proc/27456/stat : 27456 (java) S 27453 27456 24557 0 -1 1077944320 8292 0 0 0 52 3 0 0 20 0 15 0 96661244 10916995072 15892 33554432000 4194304 4196468 140727551255584 140727551238128 140162497314551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
/proc/27456/statm: 2665282 15892 3051 1 0 2627263 0
[pid=27456/tid=27458] ppid=27453 vsize=10661128 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/27456/task/27458/stat : 27458 (java) R 27453 27456 24557 0 -1 4202560 4911 0 0 0 28 2 0 0 20 0 15 0 96661245 10916995072 15892 33554432000 4194304 4196468 140727551255584 140162501548880 140162497326486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27459] ppid=27453 vsize=10661128 memory=4294979917 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27459/stat : 27459 (java) S 27453 27456 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96661245 10916995072 15892 33554432000 4194304 4196468 140727551255584 140162434006160 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27460] ppid=27453 vsize=10661128 memory=140552481997870 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27460/stat : 27460 (java) S 27453 27456 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96661246 10916995072 15892 33554432000 4194304 4196468 140727551255584 140162103110672 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27461] ppid=27453 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27461/stat : 27461 (java) S 27453 27456 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96661246 10916995072 15892 33554432000 4194304 4196468 140727551255584 140162102057872 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27462] ppid=27453 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27462/stat : 27462 (java) S 27453 27456 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96661246 10916995072 15892 33554432000 4194304 4196468 140727551255584 140162101005072 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27463] ppid=27453 vsize=10661128 memory=140552481457792 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27463/stat : 27463 (java) S 27453 27456 24557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96661247 10916995072 15892 33554432000 4194304 4196468 140727551255584 140161533639024 140162497325698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27464] ppid=27453 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27464/stat : 27464 (java) S 27453 27456 24557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96661247 10916995072 15892 33554432000 4194304 4196468 140727551255584 140161532584992 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27465] ppid=27453 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27465/stat : 27465 (java) S 27453 27456 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96661248 10916995072 15892 33554432000 4194304 4196468 140727551255584 140161531532144 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27466] ppid=27453 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27466/stat : 27466 (java) S 27453 27456 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96661250 10916995072 15892 33554432000 4194304 4196468 140727551255584 140161530480464 140162497333147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27467] ppid=27453 vsize=10661128 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27456/task/27467/stat : 27467 (java) S 27453 27456 24557 0 -1 1077944384 609 0 0 0 5 0 0 0 20 0 15 0 96661250 10916995072 15892 33554432000 4194304 4196468 140727551255584 140161529428848 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27468] ppid=27453 vsize=10661128 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/27456/task/27468/stat : 27468 (java) S 27453 27456 24557 0 -1 1077944384 464 0 0 0 5 0 0 0 20 0 15 0 96661250 10916995072 15892 33554432000 4194304 4196468 140727551255584 140161528376048 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27469] ppid=27453 vsize=10661128 memory=140552481457792 CPUtime=0.12 cores=1,3,5,7
/proc/27456/task/27469/stat : 27469 (java) S 27453 27456 24557 0 -1 1077944384 940 0 0 0 12 0 0 0 20 0 15 0 96661250 10916995072 15892 33554432000 4194304 4196468 140727551255584 140161527323248 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27470] ppid=27453 vsize=10661128 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27470/stat : 27470 (java) S 27453 27456 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96661250 10916995072 15892 33554432000 4194304 4196468 140727551255584 140161526270688 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27471] ppid=27453 vsize=10661128 memory=140552481457792 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27471/stat : 27471 (java) S 27453 27456 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96661250 10916995072 15892 33554432000 4194304 4196468 140727551255584 140161525217968 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 63568 KiB

[startup+0.70596 s]
/proc/loadavg: 2.21 1.58 1.44 4/215 27471
/proc/meminfo: memFree=18360916/32770624 swapFree=67108688/67108860
[pid=27456] ppid=27453 vsize=10661128 memory=218900 CPUtime=1.48 cores=1,3,5,7
/proc/27456/stat : 27456 (java) S 27453 27456 24557 0 -1 1077944320 9931 0 0 0 139 9 0 0 20 0 15 0 96661244 10916995072 54725 33554432000 4194304 4196468 140727551255584 140727551238128 140162497314551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
/proc/27456/statm: 2665282 54725 3112 1 0 2627263 0
[pid=27456/tid=27458] ppid=27453 vsize=10661128 memory=258505021882022 CPUtime=0.67 cores=1,3,5,7
/proc/27456/task/27458/stat : 27458 (java) R 27453 27456 24557 0 -1 4202560 5008 0 0 0 63 4 0 0 20 0 15 0 96661245 10916995072 54725 33554432000 4194304 4196468 140727551255584 140162501549712 140162116272758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27459] ppid=27453 vsize=10661128 memory=4051047449723404320 CPUtime=0.01 cores=1,3,5,7
/proc/27456/task/27459/stat : 27459 (java) S 27453 27456 24557 0 -1 1077944384 21 0 0 0 0 1 0 0 20 0 15 0 96661245 10916995072 54725 33554432000 4194304 4196468 140727551255584 140162434006160 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27460] ppid=27453 vsize=10661128 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27456/task/27460/stat : 27460 (java) S 27453 27456 24557 0 -1 1077944384 17 0 0 0 0 1 0 0 20 0 15 0 96661246 10916995072 54725 33554432000 4194304 4196468 140727551255584 140162103110672 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27461] ppid=27453 vsize=10661128 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27456/task/27461/stat : 27461 (java) S 27453 27456 24557 0 -1 1077944384 24 0 0 0 0 1 0 0 20 0 15 0 96661246 10916995072 54725 33554432000 4194304 4196468 140727551255584 140162102057872 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27462] ppid=27453 vsize=10661128 memory=7809523229951467576 CPUtime=0.01 cores=1,3,5,7
/proc/27456/task/27462/stat : 27462 (java) S 27453 27456 24557 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 15 0 96661246 10916995072 54725 33554432000 4194304 4196468 140727551255584 140162101005072 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27463] ppid=27453 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27463/stat : 27463 (java) S 27453 27456 24557 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 96661247 10916995072 54725 33554432000 4194304 4196468 140727551255584 140161533639024 140162497325698 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27464] ppid=27453 vsize=10661128 memory=-6583839696183762729 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27464/stat : 27464 (java) S 27453 27456 24557 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96661247 10916995072 54725 33554432000 4194304 4196468 140727551255584 140161532584992 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27465] ppid=27453 vsize=10661128 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27465/stat : 27465 (java) S 27453 27456 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96661248 10916995072 54725 33554432000 4194304 4196468 140727551255584 140161531532144 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27466] ppid=27453 vsize=10661128 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27466/stat : 27466 (java) S 27453 27456 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96661250 10916995072 54725 33554432000 4194304 4196468 140727551255584 140161530480464 140162497333147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27467] ppid=27453 vsize=10661128 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/27456/task/27467/stat : 27467 (java) R 27453 27456 24557 0 -1 4202560 1213 0 0 0 26 0 0 0 20 0 15 0 96661250 10916995072 54725 33554432000 4194304 4196468 140727551255584 140161529413760 140162482508256 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27468] ppid=27453 vsize=10661128 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/27456/task/27468/stat : 27468 (java) R 27453 27456 24557 0 -1 1077944384 1046 0 0 0 26 0 0 0 20 0 15 0 96661250 10916995072 54725 33554432000 4194304 4196468 140727551255584 140161528365520 140162497324757 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27469] ppid=27453 vsize=10661128 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/27456/task/27469/stat : 27469 (java) R 27453 27456 24557 0 -1 4202560 1134 0 0 0 19 0 0 0 20 0 15 0 96661250 10916995072 54725 33554432000 4194304 4196468 140727551255584 140161527318976 140162476239296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27470] ppid=27453 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27470/stat : 27470 (java) S 27453 27456 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96661250 10916995072 54725 33554432000 4194304 4196468 140727551255584 140161526270688 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27471] ppid=27453 vsize=10661128 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27471/stat : 27471 (java) S 27453 27456 24557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96661250 10916995072 54725 33554432000 4194304 4196468 140727551255584 140161525217968 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 218900 KiB

[startup+1.50824 s]
/proc/loadavg: 2.59 1.67 1.47 3/215 27471
/proc/meminfo: memFree=18256536/32770624 swapFree=67108688/67108860
[pid=27456] ppid=27453 vsize=10661128 memory=613272 CPUtime=3.26 cores=1,3,5,7
/proc/27456/stat : 27456 (java) S 27453 27456 24557 0 -1 1077944320 12336 0 0 0 280 46 0 0 20 0 15 0 96661244 10916995072 153318 33554432000 4194304 4196468 140727551255584 140727551238128 140162497314551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
/proc/27456/statm: 2665282 153318 3139 1 0 2627263 0
[pid=27456/tid=27458] ppid=27453 vsize=10661128 memory=12848 CPUtime=1.3 cores=1,3,5,7
/proc/27456/task/27458/stat : 27458 (java) S 27453 27456 24557 0 -1 1077944384 5121 0 0 0 125 5 0 0 20 0 15 0 96661245 10916995072 153318 33554432000 4194304 4196468 140727551255584 140162501553280 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27459] ppid=27453 vsize=10661128 memory=6791534058613427641 CPUtime=0.16 cores=1,3,5,7
/proc/27456/task/27459/stat : 27459 (java) R 27453 27456 24557 0 -1 4202560 246 0 0 0 7 9 0 0 20 0 15 0 96661245 10916995072 153318 33554432000 4194304 4196468 140727551255584 140162434006160 140162482266023 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27460] ppid=27453 vsize=10661128 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/27456/task/27460/stat : 27460 (java) R 27453 27456 24557 0 -1 4202560 317 0 0 0 7 9 0 0 20 0 15 0 96661246 10916995072 153318 33554432000 4194304 4196468 140727551255584 140162103110672 140162482266023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27461] ppid=27453 vsize=10661128 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/27456/task/27461/stat : 27461 (java) R 27453 27456 24557 0 -1 4202560 381 0 0 0 7 9 0 0 20 0 15 0 96661246 10916995072 153318 33554432000 4194304 4196468 140727551255584 140162102058072 140162477340735 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27462] ppid=27453 vsize=10661128 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/27456/task/27462/stat : 27462 (java) R 27453 27456 24557 0 -1 4202560 218 0 0 0 7 9 0 0 20 0 15 0 96661246 10916995072 153318 33554432000 4194304 4196468 140727551255584 140162101005072 140162477341073 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27463] ppid=27453 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27463/stat : 27463 (java) S 27453 27456 24557 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 15 0 96661247 10916995072 153318 33554432000 4194304 4196468 140727551255584 140161533637344 140162497324757 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0

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

/proc/27456/task/27458/stat : 27458 (java) S 27453 27456 24557 0 -1 1077944384 9915 0 0 0 851 13 0 0 20 0 15 0 96661245 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162501553248 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27459] ppid=27453 vsize=10661128 memory=300668052507459867 CPUtime=15.11 cores=1,3,5,7
/proc/27456/task/27459/stat : 27459 (java) S 27453 27456 24557 0 -1 1077944384 57541 0 0 0 1310 201 0 0 20 0 15 0 96661245 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162434006160 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27460] ppid=27453 vsize=10661128 memory=56 CPUtime=15.06 cores=1,3,5,7
/proc/27456/task/27460/stat : 27460 (java) S 27453 27456 24557 0 -1 1077944384 34242 0 0 0 1298 208 0 0 20 0 15 0 96661246 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162103110672 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27461] ppid=27453 vsize=10661128 memory=6944656575208382560 CPUtime=15.02 cores=1,3,5,7
/proc/27456/task/27461/stat : 27461 (java) S 27453 27456 24557 0 -1 1077944384 25057 0 0 0 1276 226 0 0 20 0 15 0 96661246 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162102057872 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27462] ppid=27453 vsize=10661128 memory=56 CPUtime=14.97 cores=1,3,5,7
/proc/27456/task/27462/stat : 27462 (java) S 27453 27456 24557 0 -1 1077944384 44747 0 0 0 1297 200 0 0 20 0 15 0 96661246 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162101005072 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27463] ppid=27453 vsize=10661128 memory=0 CPUtime=1.52 cores=1,3,5,7
/proc/27456/task/27463/stat : 27463 (java) R 27453 27456 24557 0 -1 4202560 16926 0 0 0 150 2 0 0 20 0 15 0 96661247 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161533637568 140162475684726 0 0 0 16800975 0 0 0 -1 5 0 0 10 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27464] ppid=27453 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27464/stat : 27464 (java) S 27453 27456 24557 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 96661247 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161532584656 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27465] ppid=27453 vsize=10661128 memory=8261800 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27465/stat : 27465 (java) S 27453 27456 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96661248 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161531532144 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27466] ppid=27453 vsize=10661128 memory=288230583166042425 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27466/stat : 27466 (java) S 27453 27456 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161530480464 140162497333147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27467] ppid=27453 vsize=10661128 memory=864 CPUtime=0.65 cores=1,3,5,7
/proc/27456/task/27467/stat : 27467 (java) S 27453 27456 24557 0 -1 1077944384 1867 0 0 0 65 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161529428848 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27468] ppid=27453 vsize=10661128 memory=6375 CPUtime=0.71 cores=1,3,5,7
/proc/27456/task/27468/stat : 27468 (java) S 27453 27456 24557 0 -1 1077944384 2898 0 0 0 71 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161528376048 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27469] ppid=27453 vsize=10661128 memory=864 CPUtime=0.28 cores=1,3,5,7
/proc/27456/task/27469/stat : 27469 (java) S 27453 27456 24557 0 -1 1077944384 1546 0 0 0 28 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161527323248 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27470] ppid=27453 vsize=10661128 memory=1480 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27470/stat : 27470 (java) S 27453 27456 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161526270688 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27471] ppid=27453 vsize=10661128 memory=149 CPUtime=0.01 cores=1,3,5,7
/proc/27456/task/27471/stat : 27471 (java) S 27453 27456 24557 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161525217968 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
Current children cumulated CPU time: 72.08 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 8261824 KiB

[startup+26.3244 s]
# the end of solver process 27456 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=66.0849 s, system=8.61142 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6012 s]
/proc/loadavg: 2.70 1.75 1.51 6/215 27471
/proc/meminfo: memFree=8977320/32770624 swapFree=67108688/67108860
[pid=27456] ppid=27453 vsize=10661128 memory=8261824 CPUtime=72.44 cores=1,3,5,7
/proc/27456/stat : 27456 (java) S 27453 27456 24557 0 -1 1077944320 196167 0 0 0 6388 856 0 0 20 0 15 0 96661244 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140727551238128 140162497314551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
/proc/27456/statm: 2665282 2065456 3161 1 0 2627263 0
[pid=27456/tid=27458] ppid=27453 vsize=10661128 memory=576574510189602056 CPUtime=8.64 cores=1,3,5,7
/proc/27456/task/27458/stat : 27458 (java) S 27453 27456 24557 0 -1 1077944384 9916 0 0 0 851 13 0 0 20 0 15 0 96661245 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162501553248 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27459] ppid=27453 vsize=10661128 memory=12415 CPUtime=15.2 cores=1,3,5,7
/proc/27456/task/27459/stat : 27459 (java) R 27453 27456 24557 0 -1 4202560 57541 0 0 0 1319 201 0 0 20 0 15 0 96661245 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162434006160 140162482265260 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27460] ppid=27453 vsize=10661128 memory=-2245088631185882904 CPUtime=15.15 cores=1,3,5,7
/proc/27456/task/27460/stat : 27460 (java) R 27453 27456 24557 0 -1 4202560 34242 0 0 0 1307 208 0 0 20 0 15 0 96661246 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162103110872 140162482012198 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27461] ppid=27453 vsize=10661128 memory=281104669999344 CPUtime=15.1 cores=1,3,5,7
/proc/27456/task/27461/stat : 27461 (java) R 27453 27456 24557 0 -1 4202560 25057 0 0 0 1284 226 0 0 20 0 15 0 96661246 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162102058072 140162482012326 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27462] ppid=27453 vsize=10661128 memory=1952 CPUtime=15.06 cores=1,3,5,7
/proc/27456/task/27462/stat : 27462 (java) R 27453 27456 24557 0 -1 4202560 44747 0 0 0 1306 200 0 0 20 0 15 0 96661246 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162101005072 140162482012190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27463] ppid=27453 vsize=10661128 memory=1708 CPUtime=1.53 cores=1,3,5,7
/proc/27456/task/27463/stat : 27463 (java) S 27453 27456 24557 0 -1 1077944384 16926 0 0 0 151 2 0 0 20 0 15 0 96661247 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161533637344 140162497324757 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27464] ppid=27453 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27464/stat : 27464 (java) S 27453 27456 24557 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 96661247 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161532584960 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27465] ppid=27453 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27465/stat : 27465 (java) S 27453 27456 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96661248 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161531532144 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27466] ppid=27453 vsize=10661128 memory=4121552343911411008 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27466/stat : 27466 (java) S 27453 27456 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161530480464 140162497333147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27467] ppid=27453 vsize=10661128 memory=8261800 CPUtime=0.65 cores=1,3,5,7
/proc/27456/task/27467/stat : 27467 (java) S 27453 27456 24557 0 -1 1077944384 1867 0 0 0 65 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161529428848 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27468] ppid=27453 vsize=10661128 memory=7943168 CPUtime=0.71 cores=1,3,5,7
/proc/27456/task/27468/stat : 27468 (java) S 27453 27456 24557 0 -1 1077944384 2898 0 0 0 71 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161528376048 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27469] ppid=27453 vsize=10661128 memory=1724 CPUtime=0.28 cores=1,3,5,7
/proc/27456/task/27469/stat : 27469 (java) S 27453 27456 24557 0 -1 1077944384 1546 0 0 0 28 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161527323248 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27470] ppid=27453 vsize=10661128 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27470/stat : 27470 (java) S 27453 27456 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161526270688 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27471] ppid=27453 vsize=10661128 memory=1952 CPUtime=0.01 cores=1,3,5,7
/proc/27456/task/27471/stat : 27471 (java) S 27453 27456 24557 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161525217968 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
Current children cumulated CPU time: 72.44 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 8261824 KiB

[startup+26.0013 s]*
/proc/loadavg: 3.13 1.86 1.54 6/215 27471
/proc/meminfo: memFree=8931520/32770624 swapFree=67108688/67108860
[pid=27456] ppid=27453 vsize=10661128 memory=8261824 CPUtime=73.83 cores=1,3,5,7
/proc/27456/stat : 27456 (java) S 27453 27456 24557 0 -1 1077944320 196170 0 0 0 6527 856 0 0 20 0 15 0 96661244 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140727551238128 140162497314551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
/proc/27456/statm: 2665282 2065456 3161 1 0 2627263 0
[pid=27456/tid=27458] ppid=27453 vsize=10661128 memory=6791534058613427641 CPUtime=8.64 cores=1,3,5,7
/proc/27456/task/27458/stat : 27458 (java) S 27453 27456 24557 0 -1 1077944384 9917 0 0 0 851 13 0 0 20 0 15 0 96661245 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162501553248 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27459] ppid=27453 vsize=10661128 memory=644 CPUtime=15.53 cores=1,3,5,7
/proc/27456/task/27459/stat : 27459 (java) S 27453 27456 24557 0 -1 1077944384 57541 0 0 0 1352 201 0 0 20 0 15 0 96661245 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162434006160 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27460] ppid=27453 vsize=10661128 memory=952 CPUtime=15.48 cores=1,3,5,7
/proc/27456/task/27460/stat : 27460 (java) S 27453 27456 24557 0 -1 1077944384 34242 0 0 0 1340 208 0 0 20 0 15 0 96661246 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162103110672 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27461] ppid=27453 vsize=10661128 memory=1232 CPUtime=15.43 cores=1,3,5,7
/proc/27456/task/27461/stat : 27461 (java) S 27453 27456 24557 0 -1 1077944384 25057 0 0 0 1317 226 0 0 20 0 15 0 96661246 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162102057872 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27462] ppid=27453 vsize=10661128 memory=2424 CPUtime=15.39 cores=1,3,5,7
/proc/27456/task/27462/stat : 27462 (java) S 27453 27456 24557 0 -1 1077944384 44747 0 0 0 1339 200 0 0 20 0 15 0 96661246 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162101005072 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27463] ppid=27453 vsize=10661128 memory=1576 CPUtime=1.61 cores=1,3,5,7
/proc/27456/task/27463/stat : 27463 (java) R 27453 27456 24557 0 -1 4202560 16927 0 0 0 159 2 0 0 20 0 15 0 96661247 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161533637456 140162475684731 0 0 0 16800975 0 0 0 -1 1 0 0 10 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27464] ppid=27453 vsize=10661128 memory=928 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27464/stat : 27464 (java) S 27453 27456 24557 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 96661247 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161532584592 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27465] ppid=27453 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27465/stat : 27465 (java) S 27453 27456 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96661248 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161531532144 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27466] ppid=27453 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27466/stat : 27466 (java) S 27453 27456 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161530480464 140162497333147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27467] ppid=27453 vsize=10661128 memory=8261812 CPUtime=0.65 cores=1,3,5,7
/proc/27456/task/27467/stat : 27467 (java) S 27453 27456 24557 0 -1 1077944384 1867 0 0 0 65 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161529428848 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27468] ppid=27453 vsize=10661128 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/27456/task/27468/stat : 27468 (java) S 27453 27456 24557 0 -1 1077944384 2898 0 0 0 71 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161528376048 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27469] ppid=27453 vsize=10661128 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/27456/task/27469/stat : 27469 (java) S 27453 27456 24557 0 -1 1077944384 1546 0 0 0 28 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161527323248 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27470] ppid=27453 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27470/stat : 27470 (java) S 27453 27456 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161526270688 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27471] ppid=27453 vsize=10661128 memory=5450909908396308010 CPUtime=0.01 cores=1,3,5,7
/proc/27456/task/27471/stat : 27471 (java) S 27453 27456 24557 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161525217968 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
Current children cumulated CPU time: 73.83 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 8261824 KiB

[startup+26.2007 s]
/proc/loadavg: 3.13 1.86 1.54 6/215 27471
/proc/meminfo: memFree=8931520/32770624 swapFree=67108688/67108860
[pid=27456] ppid=27453 vsize=10661128 memory=8261824 CPUtime=74.55 cores=1,3,5,7
/proc/27456/stat : 27456 (java) S 27453 27456 24557 0 -1 1077944320 196170 0 0 0 6599 856 0 0 20 0 15 0 96661244 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140727551238128 140162497314551 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
/proc/27456/statm: 2665282 2065456 3161 1 0 2627263 0
[pid=27456/tid=27458] ppid=27453 vsize=10661128 memory=5450916479948256810 CPUtime=8.64 cores=1,3,5,7
/proc/27456/task/27458/stat : 27458 (java) S 27453 27456 24557 0 -1 1077944384 9917 0 0 0 851 13 0 0 20 0 15 0 96661245 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162501553248 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27459] ppid=27453 vsize=10661128 memory=5994337696915406944 CPUtime=15.7 cores=1,3,5,7
/proc/27456/task/27459/stat : 27459 (java) S 27453 27456 24557 0 -1 1077944384 57541 0 0 0 1369 201 0 0 20 0 15 0 96661245 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162434006160 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27460] ppid=27453 vsize=10661128 memory=4571608357677135402 CPUtime=15.65 cores=1,3,5,7
/proc/27456/task/27460/stat : 27460 (java) S 27453 27456 24557 0 -1 1077944384 34242 0 0 0 1357 208 0 0 20 0 15 0 96661246 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162103110672 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27461] ppid=27453 vsize=10661128 memory=4640748753518612560 CPUtime=15.61 cores=1,3,5,7
/proc/27456/task/27461/stat : 27461 (java) S 27453 27456 24557 0 -1 1077944384 25057 0 0 0 1335 226 0 0 20 0 15 0 96661246 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162102057872 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27462] ppid=27453 vsize=10661128 memory=7440052414075397969 CPUtime=15.57 cores=1,3,5,7
/proc/27456/task/27462/stat : 27462 (java) S 27453 27456 24557 0 -1 1077944384 44747 0 0 0 1357 200 0 0 20 0 15 0 96661246 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140162101005072 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27463] ppid=27453 vsize=10661128 memory=7444819964895188307 CPUtime=1.62 cores=1,3,5,7
/proc/27456/task/27463/stat : 27463 (java) R 27453 27456 24557 0 -1 4202560 16927 0 0 0 160 2 0 0 20 0 15 0 96661247 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161533637584 140162475684731 0 0 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27464] ppid=27453 vsize=10661128 memory=6425271076021 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27464/stat : 27464 (java) S 27453 27456 24557 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 96661247 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161532584592 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27465] ppid=27453 vsize=10661128 memory=317785455720661305 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27465/stat : 27465 (java) S 27453 27456 24557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96661248 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161531532144 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27466] ppid=27453 vsize=10661128 memory=16104758104558012 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27466/stat : 27466 (java) S 27453 27456 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161530480464 140162497333147 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27467] ppid=27453 vsize=10661128 memory=6055698175606391686 CPUtime=0.65 cores=1,3,5,7
/proc/27456/task/27467/stat : 27467 (java) S 27453 27456 24557 0 -1 1077944384 1867 0 0 0 65 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161529428848 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27468] ppid=27453 vsize=10661128 memory=732230140863447947 CPUtime=0.71 cores=1,3,5,7
/proc/27456/task/27468/stat : 27468 (java) S 27453 27456 24557 0 -1 1077944384 2898 0 0 0 71 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161528376048 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27469] ppid=27453 vsize=10661128 memory=7956013800115667900 CPUtime=0.28 cores=1,3,5,7
/proc/27456/task/27469/stat : 27469 (java) S 27453 27456 24557 0 -1 1077944384 1546 0 0 0 28 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161527323248 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27470] ppid=27453 vsize=10661128 memory=7597684060135097409 CPUtime=0 cores=1,3,5,7
/proc/27456/task/27470/stat : 27470 (java) S 27453 27456 24557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161526270688 140162497324757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
[pid=27456/tid=27471] ppid=27453 vsize=10661128 memory=8098991023721546898 CPUtime=0.01 cores=1,3,5,7
/proc/27456/task/27471/stat : 27471 (java) S 27453 27456 24557 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 96661250 10916995072 2065456 33554432000 4194304 4196468 140727551255584 140161525217968 140162497325698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 22913024 140727551259821 140727551259913 140727551259913 140727551262671 0
Current children cumulated CPU time: 74.55 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 8261824 KiB

[startup+26.3008 s]*
/proc/loadavg: 3.13 1.86 1.54 6/202 27472
/proc/meminfo: memFree=13121344/32770624 swapFree=67108688/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 1
Real time (s): 26.3244
CPU time (s): 74.6964
CPU user time (s): 66.0849
CPU system time (s): 8.61142
CPU usage (%): 283.753
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 8261824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.0849
system time used= 8.61142
maximum resident set size= 8261848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 196374
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4698
involuntary context switches= 894


# summary of solver processes directly reported to runsolver:
#   pid: 27456
#   total CPU time (s): 74.6964
#   total CPU user time (s): 66.0849
#   total CPU system time (s): 8.61142

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.196874 second user time and 0.320618 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-28 17:16:24
IDJOB=4299171
IDBENCH=141303
IDSOLVER=2766
FILE ID=node106/4299171-1532790984
RUNJOBID= node106-1532776007-24589
PBS_JOBID= 21022468
Free space on /tmp= 45732 MiB

SOLVER NAME= Solver of Xavier Schul & Yvhan Smal 2018-04-28
BENCH NAME= XCSP18/CrosswordDesign/CrosswordDesign-08-4-rom_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4299171-1532790984/watcher-4299171-1532790984 -o /tmp/evaluation-result-4299171-1532790984/solver-4299171-1532790984 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532776007-24589 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4299171-1532790984.xml

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

MD5SUM BENCH= d2036c1580b702d26a2ba71e1295e02d
RANDOM SEED=1077782427

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        18506660 kB
MemAvailable:   27367568 kB
Buffers:          230136 kB
Cached:          8792368 kB
SwapCached:            0 kB
Active:          7534556 kB
Inactive:        6099244 kB
Active(anon):    4558896 kB
Inactive(anon):    80488 kB
Active(file):    2975660 kB
Inactive(file):  6018756 kB
Unevictable:        6968 kB
Mlocked:            6968 kB
SwapTotal:      67108860 kB
SwapFree:       67108688 kB
Dirty:             11812 kB
Writeback:             0 kB
AnonPages:       4628856 kB
Mapped:            55096 kB
Shmem:             25056 kB
Slab:             322424 kB
SReclaimable:     294952 kB
SUnreclaim:        27472 kB
KernelStack:        3808 kB
PageTables:        14248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    5659460 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4513792 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 45732 MiB
End job on node106 at 2018-07-28 17:16:50