Trace number 4305251

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 NameAnswerCPU timeWall clock time
Concrete 3.9.2UNSAT 12.5622 6.03615

General information on the benchmark

NameQuasigroups/
QuasiGroup-7-07_c18.xml
MD5SUM950a11acbe9bee1dbcb0d00f57370eba
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.287109
Satisfiable
(Un)Satisfiability was proved
Number of variables98
Number of constraints86
Number of domains1
Minimum domain size7
Maximum domain size7
Distribution of domain sizes[{"size":7,"count":91}]
Minimum variable degree0
Maximum variable degree15
Distribution of variable degrees[{"degree":0,"count":7},{"degree":2,"count":42},{"degree":14,"count":7},{"degree":15,"count":42}]
Minimum constraint arity7
Maximum constraint arity49
Distribution of constraint arities[{"arity":7,"count":1},{"arity":9,"count":84},{"arity":49,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":1},{"type":"instantiation","count":1},{"type":"element","count":84}]
Optimization problemNO
Type of objective

Solver Data 

1.00/0.73	c Concrete v3.9.2.1532736233296 running
12.52/6.01	s UNSATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305251-1534142833/watcher-4305251-1534142833 -o /tmp/evaluation-result-4305251-1534142833/solver-4305251-1534142833 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534137874-9214 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1871864260 HOME/instance-4305251-1534142833.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=10508, runsolver pid=10505

[startup+0.100108 s]*
/proc/loadavg: 1.51 1.32 1.31 3/206 10565
/proc/meminfo: memFree=26927672/32770624 swapFree=67108804/67108860
[pid=10508] ppid=10505 vsize=10005480 memory=18588 CPUtime=0.09 cores=1,3,5,7
/proc/10508/stat : 10508 (java) S 10505 10508 8955 0 -1 1077944320 4260 13010 0 0 1 0 5 3 20 0 6 0 231846490 10245611520 4647 33554432000 4194304 4196468 140720669238704 140720669221248 140151713173239 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
/proc/10508/statm: 2501370 4647 1934 1 0 2489808 0
[pid=10508/tid=10561] ppid=10505 vsize=10005480 memory=4279135704047583887 CPUtime=0.09 cores=1,3,5,7
/proc/10508/task/10561/stat : 10561 (java) R 10505 10508 8955 0 -1 4202560 2095 13010 0 0 1 0 5 3 20 0 6 0 231846499 10245611520 4647 33554432000 4194304 4196468 140720669238704 140151685010000 140151705410366 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10562] ppid=10505 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10562/stat : 10562 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 6 0 231846499 10245611520 4647 33554432000 4194304 4196468 140720669238704 140151717415568 140151713183445 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10563] ppid=10505 vsize=10005480 memory=140603812132480 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10563/stat : 10563 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 6 0 231846499 10245611520 4647 33554432000 4194304 4196468 140720669238704 140151572134416 140151713183445 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10564] ppid=10505 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10564/stat : 10564 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 6 0 231846499 10245611520 4647 33554432000 4194304 4196468 140720669238704 140151571081616 140151713183445 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10565] ppid=10505 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10565/stat : 10565 (java) S 10505 10508 8955 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 6 0 231846499 10245611520 4647 33554432000 4194304 4196468 140720669238704 140151570028816 140151713183445 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18588 KiB

[startup+0.210248 s]*
/proc/loadavg: 1.51 1.32 1.31 3/215 10574
/proc/meminfo: memFree=26906632/32770624 swapFree=67108804/67108860
[pid=10508] ppid=10505 vsize=10985364 memory=47596 CPUtime=0.27 cores=1,3,5,7
/proc/10508/stat : 10508 (java) S 10505 10508 8955 0 -1 1077944320 8102 13010 0 0 17 2 5 3 20 0 15 0 231846490 11249012736 11899 33554432000 4194304 4196468 140720669238704 140720669221248 140151713173239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
/proc/10508/statm: 2746341 11899 2959 1 0 2708764 0
[pid=10508/tid=10561] ppid=10505 vsize=10983736 memory=-6517102902069810590 CPUtime=0.2 cores=1,3,5,7
/proc/10508/task/10561/stat : 10561 (java) R 10505 10508 8955 0 -1 4202560 5008 13010 0 0 11 1 5 3 20 0 15 0 231846499 11247345664 11633 33554432000 4194304 4196468 140720669238704 140151684998048 140151705890343 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10562] ppid=10505 vsize=10982776 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10562/stat : 10562 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846499 11246362624 11633 33554432000 4194304 4196468 140720669238704 140151717415568 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10563] ppid=10505 vsize=10982744 memory=140603812132480 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10563/stat : 10563 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846499 11246329856 11625 33554432000 4194304 4196468 140720669238704 140151572134416 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10564] ppid=10505 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10564/stat : 10564 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846499 11246329856 11625 33554432000 4194304 4196468 140720669238704 140151571081616 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10565] ppid=10505 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10565/stat : 10565 (java) S 10505 10508 8955 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 231846499 11246329856 11625 33554432000 4194304 4196468 140720669238704 140151570028816 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10566] ppid=10505 vsize=10982744 memory=140603812132480 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10566/stat : 10566 (java) S 10505 10508 8955 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 231846501 11246329856 11625 33554432000 4194304 4196468 140720669238704 140151138237296 140151713184386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10567] ppid=10505 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10567/stat : 10567 (java) S 10505 10508 8955 0 -1 1077944384 13 13010 0 0 0 0 5 3 20 0 15 0 231846501 11246329856 11625 33554432000 4194304 4196468 140720669238704 140150500746784 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10568] ppid=10505 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10568/stat : 10568 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846501 11246362624 11625 33554432000 4194304 4196468 140720669238704 140150352897392 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10569] ppid=10505 vsize=10982776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10569/stat : 10569 (java) S 10505 10508 8955 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 231846504 11246362624 11625 33554432000 4194304 4196468 140720669238704 140150045497680 140151713191835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10570] ppid=10505 vsize=10982776 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10508/task/10570/stat : 10570 (java) S 10505 10508 8955 0 -1 1077944384 560 13010 0 0 1 0 5 3 20 0 15 0 231846504 11246362624 11625 33554432000 4194304 4196468 140720669238704 140151137184112 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10571] ppid=10505 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10571/stat : 10571 (java) S 10505 10508 8955 0 -1 1077944384 56 13010 0 0 0 0 5 3 20 0 15 0 231846504 11246362624 11625 33554432000 4194304 4196468 140720669238704 140151136131312 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10572] ppid=10505 vsize=10982776 memory=140603812132480 CPUtime=0.11 cores=1,3,5,7
/proc/10508/task/10572/stat : 10572 (java) S 10505 10508 8955 0 -1 1077944384 607 13010 0 0 3 0 5 3 20 0 15 0 231846504 11246362624 11690 33554432000 4194304 4196468 140720669238704 140151135078512 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10573] ppid=10505 vsize=10982776 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10573/stat : 10573 (java) S 10505 10508 8955 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 231846504 11246362624 11690 33554432000 4194304 4196468 140720669238704 140149614700768 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10574] ppid=10505 vsize=10982776 memory=140603812132480 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10574/stat : 10574 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846504 11246362624 11756 33554432000 4194304 4196468 140720669238704 140151134026928 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10985364 KiB
Current children cumulated memory: 47596 KiB

[startup+0.310417 s]*
/proc/loadavg: 1.51 1.32 1.31 3/215 10574
/proc/meminfo: memFree=26893732/32770624 swapFree=67108804/67108860
[pid=10508] ppid=10505 vsize=10983192 memory=56960 CPUtime=0.39 cores=1,3,5,7
/proc/10508/stat : 10508 (java) S 10505 10508 8955 0 -1 1077944320 10307 13010 0 0 29 2 5 3 20 0 15 0 231846490 11246788608 14240 33554432000 4194304 4196468 140720669238704 140720669221248 140151713173239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
/proc/10508/statm: 2745798 14240 3078 1 0 2708109 0
[pid=10508/tid=10561] ppid=10505 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10508/task/10561/stat : 10561 (java) R 10505 10508 8955 0 -1 4202560 6863 13010 0 0 20 1 5 3 20 0 15 0 231846499 11246788608 14240 33554432000 4194304 4196468 140720669238704 140151684985248 140151706273142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10562] ppid=10505 vsize=10983192 memory=6368463029831487569 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10562/stat : 10562 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846499 11246788608 14240 33554432000 4194304 4196468 140720669238704 140151717415568 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10563] ppid=10505 vsize=10983192 memory=2076 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10563/stat : 10563 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846499 11246788608 14240 33554432000 4194304 4196468 140720669238704 140151572134416 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10564] ppid=10505 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10564/stat : 10564 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846499 11246788608 14240 33554432000 4194304 4196468 140720669238704 140151571081616 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10565] ppid=10505 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10565/stat : 10565 (java) S 10505 10508 8955 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 231846499 11246788608 14240 33554432000 4194304 4196468 140720669238704 140151570028816 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10566] ppid=10505 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10566/stat : 10566 (java) S 10505 10508 8955 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 231846501 11246788608 14240 33554432000 4194304 4196468 140720669238704 140151138237296 140151713184386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10567] ppid=10505 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10567/stat : 10567 (java) S 10505 10508 8955 0 -1 1077944384 13 13010 0 0 0 0 5 3 20 0 15 0 231846501 11246788608 14240 33554432000 4194304 4196468 140720669238704 140150500746784 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10568] ppid=10505 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10568/stat : 10568 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846501 11246788608 14240 33554432000 4194304 4196468 140720669238704 140150352897392 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10569] ppid=10505 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10569/stat : 10569 (java) S 10505 10508 8955 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 231846504 11246788608 14240 33554432000 4194304 4196468 140720669238704 140150045497680 140151713191835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10570] ppid=10505 vsize=10983192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/10508/task/10570/stat : 10570 (java) S 10505 10508 8955 0 -1 1077944384 563 13010 0 0 2 0 5 3 20 0 15 0 231846504 11246788608 14240 33554432000 4194304 4196468 140720669238704 140151137184112 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10571] ppid=10505 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10508/task/10571/stat : 10571 (java) S 10505 10508 8955 0 -1 1077944384 58 13010 0 0 1 0 5 3 20 0 15 0 231846504 11246788608 14240 33554432000 4194304 4196468 140720669238704 140151136131312 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10572] ppid=10505 vsize=10983192 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/10508/task/10572/stat : 10572 (java) R 10505 10508 8955 0 -1 4202560 614 13010 0 0 5 0 5 3 20 0 15 0 231846504 11246788608 14240 33554432000 4194304 4196468 140720669238704 140151135078512 140151697725312 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10573] ppid=10505 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10573/stat : 10573 (java) S 10505 10508 8955 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 231846504 11246788608 14240 33554432000 4194304 4196468 140720669238704 140149614700768 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10574] ppid=10505 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10574/stat : 10574 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846504 11246788608 14240 33554432000 4194304 4196468 140720669238704 140151134026928 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56960 KiB

[startup+0.700753 s]
/proc/loadavg: 1.51 1.32 1.31 3/215 10574
/proc/meminfo: memFree=26884180/32770624 swapFree=67108804/67108860
[pid=10508] ppid=10505 vsize=10983192 memory=89232 CPUtime=1 cores=1,3,5,7
/proc/10508/stat : 10508 (java) S 10505 10508 8955 0 -1 1077944320 16388 13010 0 0 88 4 5 3 20 0 15 0 231846490 11246788608 22308 33554432000 4194304 4196468 140720669238704 140720669221248 140151713173239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
/proc/10508/statm: 2745798 22308 3238 1 0 2708109 0
[pid=10508/tid=10561] ppid=10505 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/10508/task/10561/stat : 10561 (java) R 10505 10508 8955 0 -1 4202560 11893 13010 0 0 56 3 5 3 20 0 15 0 231846499 11246788608 22308 33554432000 4194304 4196468 140720669238704 140151684994064 140151694736786 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10562] ppid=10505 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10562/stat : 10562 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846499 11246788608 22308 33554432000 4194304 4196468 140720669238704 140151717415568 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10563] ppid=10505 vsize=10983192 memory=3708 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10563/stat : 10563 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846499 11246788608 22308 33554432000 4194304 4196468 140720669238704 140151572134416 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10564] ppid=10505 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10564/stat : 10564 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846499 11246788608 22308 33554432000 4194304 4196468 140720669238704 140151571081616 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10565] ppid=10505 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10565/stat : 10565 (java) S 10505 10508 8955 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 231846499 11246788608 22308 33554432000 4194304 4196468 140720669238704 140151570028816 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10566] ppid=10505 vsize=10983192 memory=4420 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10566/stat : 10566 (java) S 10505 10508 8955 0 -1 1077944384 5 13010 0 0 0 0 5 3 20 0 15 0 231846501 11246788608 22308 33554432000 4194304 4196468 140720669238704 140151138237296 140151713184386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10567] ppid=10505 vsize=10983192 memory=6628 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10567/stat : 10567 (java) S 10505 10508 8955 0 -1 1077944384 13 13010 0 0 0 0 5 3 20 0 15 0 231846501 11246788608 22308 33554432000 4194304 4196468 140720669238704 140150500746784 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10568] ppid=10505 vsize=10983192 memory=8836 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10568/stat : 10568 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846501 11246788608 22308 33554432000 4194304 4196468 140720669238704 140150352897392 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10569] ppid=10505 vsize=10983192 memory=11044 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10569/stat : 10569 (java) S 10505 10508 8955 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 231846504 11246788608 22308 33554432000 4194304 4196468 140720669238704 140150045497680 140151713191835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10570] ppid=10505 vsize=10983192 memory=13252 CPUtime=0.18 cores=1,3,5,7
/proc/10508/task/10570/stat : 10570 (java) S 10505 10508 8955 0 -1 1077944384 1159 13010 0 0 10 0 5 3 20 0 15 0 231846504 11246788608 22308 33554432000 4194304 4196468 140720669238704 140151137184112 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10571] ppid=10505 vsize=10983192 memory=15460 CPUtime=0.14 cores=1,3,5,7
/proc/10508/task/10571/stat : 10571 (java) S 10505 10508 8955 0 -1 1077944384 448 13010 0 0 6 0 5 3 20 0 15 0 231846504 11246788608 22308 33554432000 4194304 4196468 140720669238704 140151136131312 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10572] ppid=10505 vsize=10983192 memory=17668 CPUtime=0.21 cores=1,3,5,7
/proc/10508/task/10572/stat : 10572 (java) S 10505 10508 8955 0 -1 1077944384 664 13010 0 0 13 0 5 3 20 0 15 0 231846504 11246788608 22308 33554432000 4194304 4196468 140720669238704 140151135078512 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10573] ppid=10505 vsize=10983192 memory=19876 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10573/stat : 10573 (java) S 10505 10508 8955 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 231846504 11246788608 22308 33554432000 4194304 4196468 140720669238704 140149614700768 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10574] ppid=10505 vsize=10983192 memory=22084 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10574/stat : 10574 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846504 11246788608 22308 33554432000 4194304 4196468 140720669238704 140151134026928 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89232 KiB

[startup+1.50077 s]
/proc/loadavg: 1.51 1.32 1.31 3/215 10574
/proc/meminfo: memFree=26838220/32770624 swapFree=67108804/67108860
[pid=10508] ppid=10505 vsize=10998092 memory=180384 CPUtime=2.31 cores=1,3,5,7
/proc/10508/stat : 10508 (java) S 10505 10508 8955 0 -1 1077944320 23490 13010 0 0 213 10 5 3 20 0 15 0 231846490 11262046208 45096 33554432000 4194304 4196468 140720669238704 140720669221248 140151713173239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
/proc/10508/statm: 2749523 45096 3472 1 0 2711181 0
[pid=10508/tid=10561] ppid=10505 vsize=10998092 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/10508/task/10561/stat : 10561 (java) R 10505 10508 8955 0 -1 4202560 17425 13010 0 0 130 6 5 3 20 0 15 0 231846499 11262046208 45096 33554432000 4194304 4196468 140720669238704 140151685004640 140151697253726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10562] ppid=10505 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10508/task/10562/stat : 10562 (java) S 10505 10508 8955 0 -1 1077944384 60 13010 0 0 1 0 5 3 20 0 15 0 231846499 11262046208 45096 33554432000 4194304 4196468 140720669238704 140151717415568 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10563] ppid=10505 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10508/task/10563/stat : 10563 (java) S 10505 10508 8955 0 -1 1077944384 26 13010 0 0 1 0 5 3 20 0 15 0 231846499 11262046208 45096 33554432000 4194304 4196468 140720669238704 140151572134416 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10564] ppid=10505 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10508/task/10564/stat : 10564 (java) S 10505 10508 8955 0 -1 1077944384 18 13010 0 0 1 0 5 3 20 0 15 0 231846499 11262046208 45096 33554432000 4194304 4196468 140720669238704 140151571081616 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10565] ppid=10505 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10565/stat : 10565 (java) S 10505 10508 8955 0 -1 1077944384 249 13010 0 0 0 0 5 3 20 0 15 0 231846499 11262046208 45096 33554432000 4194304 4196468 140720669238704 140151570028816 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10566] ppid=10505 vsize=10998092 memory=1399103955520229747 CPUtime=0.09 cores=1,3,5,7
/proc/10508/task/10566/stat : 10566 (java) S 10505 10508 8955 0 -1 1077944384 57 13010 0 0 1 0 5 3 20 0 15 0 231846501 11262046208 45096 33554432000 4194304 4196468 140720669238704 140151138237296 140151713184386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10567] ppid=10505 vsize=10998092 memory=281207346637056 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10567/stat : 10567 (java) S 10505 10508 8955 0 -1 1077944384 14 13010 0 0 0 0 5 3 20 0 15 0 231846501 11262046208 45096 33554432000 4194304 4196468 140720669238704 140150500746848 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10568] ppid=10505 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10568/stat : 10568 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846501 11262046208 45096 33554432000 4194304 4196468 140720669238704 140150352897408 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10569] ppid=10505 vsize=10998092 memory=1084 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10569/stat : 10569 (java) S 10505 10508 8955 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 231846504 11262046208 45096 33554432000 4194304 4196468 140720669238704 140150045497680 140151713191835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10570] ppid=10505 vsize=10998092 memory=1600 CPUtime=0.31 cores=1,3,5,7
/proc/10508/task/10570/stat : 10570 (java) S 10505 10508 8955 0 -1 1077944384 1322 13010 0 0 23 0 5 3 20 0 15 0 231846504 11262046208 45096 33554432000 4194304 4196468 140720669238704 140151137184112 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10571] ppid=10505 vsize=10998092 memory=7952 CPUtime=0.26 cores=1,3,5,7
/proc/10508/task/10571/stat : 10571 (java) S 10505 10508 8955 0 -1 1077944384 902 13010 0 0 18 0 5 3 20 0 15 0 231846504 11262046208 45096 33554432000 4194304 4196468 140720669238704 140151136131312 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10572] ppid=10505 vsize=10998092 memory=4088 CPUtime=0.41 cores=1,3,5,7
/proc/10508/task/10572/stat : 10572 (java) S 10505 10508 8955 0 -1 1077944384 1218 13010 0 0 33 0 5 3 20 0 15 0 231846504 11262046208 45096 33554432000 4194304 4196468 140720669238704 140151135078512 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10573] ppid=10505 vsize=10998092 memory=1784 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10573/stat : 10573 (java) S 10505 10508 8955 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 231846504 11262046208 45096 33554432000 4194304 4196468 140720669238704 140149614700768 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10574] ppid=10505 vsize=10998092 memory=1060 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10574/stat : 10574 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846504 11262046208 45096 33554432000 4194304 4196468 140720669238704 140151134026928 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
Current children cumulated CPU time: 2.31 s
Current children cumulated vsize: 10998092 KiB

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

[startup+6.0361 s]
# the end of solver process 10508 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=12.2696 s, system=0.292638 s

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

[startup+3.20088 s]
/proc/loadavg: 1.51 1.32 1.31 4/215 10574
/proc/meminfo: memFree=26720172/32770624 swapFree=67108804/67108860
[pid=10508] ppid=10505 vsize=11010400 memory=253176 CPUtime=6.25 cores=1,3,5,7
/proc/10508/stat : 10508 (java) S 10505 10508 8955 0 -1 1077944320 35043 13010 0 0 600 17 5 3 20 0 15 0 231846490 11274649600 63294 33554432000 4194304 4196468 140720669238704 140720669221248 140151713173239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
/proc/10508/statm: 2752600 63294 3494 1 0 2714253 0
[pid=10508/tid=10561] ppid=10505 vsize=11010400 memory=0 CPUtime=3.08 cores=1,3,5,7
/proc/10508/task/10561/stat : 10561 (java) R 10505 10508 8955 0 -1 4202560 22890 13010 0 0 291 9 5 3 20 0 15 0 231846499 11274649600 63294 33554432000 4194304 4196468 140720669238704 140151685006096 140151247883230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10562] ppid=10505 vsize=11010400 memory=6656426216303648864 CPUtime=0.09 cores=1,3,5,7
/proc/10508/task/10562/stat : 10562 (java) S 10505 10508 8955 0 -1 1077944384 60 13010 0 0 1 0 5 3 20 0 15 0 231846499 11274649600 63294 33554432000 4194304 4196468 140720669238704 140151717415568 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10563] ppid=10505 vsize=11010400 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/10508/task/10563/stat : 10563 (java) S 10505 10508 8955 0 -1 1077944384 31 13010 0 0 3 0 5 3 20 0 15 0 231846499 11274649600 63294 33554432000 4194304 4196468 140720669238704 140151572134416 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10564] ppid=10505 vsize=11010400 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10508/task/10564/stat : 10564 (java) S 10505 10508 8955 0 -1 1077944384 40 13010 0 0 4 0 5 3 20 0 15 0 231846499 11274649600 63294 33554432000 4194304 4196468 140720669238704 140151571081616 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10565] ppid=10505 vsize=11010400 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/10508/task/10565/stat : 10565 (java) S 10505 10508 8955 0 -1 1077944384 262 13010 0 0 3 0 5 3 20 0 15 0 231846499 11274649600 63294 33554432000 4194304 4196468 140720669238704 140151570028816 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10566] ppid=10505 vsize=11010400 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/10508/task/10566/stat : 10566 (java) S 10505 10508 8955 0 -1 1077944384 1485 13010 0 0 3 0 5 3 20 0 15 0 231846501 11274649600 63294 33554432000 4194304 4196468 140720669238704 140151138237296 140151713184386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10567] ppid=10505 vsize=11010400 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10567/stat : 10567 (java) S 10505 10508 8955 0 -1 1077944384 14 13010 0 0 0 0 5 3 20 0 15 0 231846501 11274649600 63305 33554432000 4194304 4196468 140720669238704 140150500746848 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10568] ppid=10505 vsize=11010400 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10568/stat : 10568 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846501 11274649600 63305 33554432000 4194304 4196468 140720669238704 140150352897408 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10569] ppid=10505 vsize=11010400 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10569/stat : 10569 (java) S 10505 10508 8955 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 231846504 11274649600 63305 33554432000 4194304 4196468 140720669238704 140150045497680 140151713191835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10570] ppid=10505 vsize=11010400 memory=0 CPUtime=1.02 cores=1,3,5,7
/proc/10508/task/10570/stat : 10570 (java) S 10505 10508 8955 0 -1 1077944384 2722 13010 0 0 93 1 5 3 20 0 15 0 231846504 11274649600 63305 33554432000 4194304 4196468 140720669238704 140151137184112 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10571] ppid=10505 vsize=11010400 memory=1260 CPUtime=0.93 cores=1,3,5,7
/proc/10508/task/10571/stat : 10571 (java) S 10505 10508 8955 0 -1 1077944384 1539 13010 0 0 84 1 5 3 20 0 15 0 231846504 11274649600 63305 33554432000 4194304 4196468 140720669238704 140151136131312 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10572] ppid=10505 vsize=11010400 memory=14872 CPUtime=1.23 cores=1,3,5,7
/proc/10508/task/10572/stat : 10572 (java) R 10505 10508 8955 0 -1 4202560 3917 13010 0 0 113 2 5 3 20 0 15 0 231846504 11274649600 63305 33554432000 4194304 4196468 140720669238704 140151135078512 140151691722132 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10573] ppid=10505 vsize=11010400 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10573/stat : 10573 (java) S 10505 10508 8955 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 231846504 11274649600 63305 33554432000 4194304 4196468 140720669238704 140149614700768 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10574] ppid=10505 vsize=11010400 memory=6788 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10574/stat : 10574 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846504 11274649600 63305 33554432000 4194304 4196468 140720669238704 140151134026928 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 253176 KiB

[startup+4.80071 s]
/proc/loadavg: 1.71 1.36 1.33 5/215 10574
/proc/meminfo: memFree=26610432/32770624 swapFree=67108804/67108860
[pid=10508] ppid=10505 vsize=11077984 memory=377776 CPUtime=10.83 cores=1,3,5,7
/proc/10508/stat : 10508 (java) S 10505 10508 8955 0 -1 1077944320 68951 13010 0 0 1052 23 5 3 20 0 15 0 231846490 11343855616 94444 33554432000 4194304 4196468 140720669238704 140720669221248 140151713173239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
/proc/10508/statm: 2769496 94444 3508 1 0 2731149 0
[pid=10508/tid=10561] ppid=10505 vsize=11077984 memory=16099269136353865 CPUtime=4.67 cores=1,3,5,7
/proc/10508/task/10561/stat : 10561 (java) R 10505 10508 8955 0 -1 4202560 42951 13010 0 0 446 13 5 3 20 0 15 0 231846499 11343855616 94444 33554432000 4194304 4196468 140720669238704 140151685001456 140151243210814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10562] ppid=10505 vsize=11077984 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10508/task/10562/stat : 10562 (java) S 10505 10508 8955 0 -1 1077944384 175 13010 0 0 1 0 5 3 20 0 15 0 231846499 11343855616 94444 33554432000 4194304 4196468 140720669238704 140151717415568 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10563] ppid=10505 vsize=11077984 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/10508/task/10563/stat : 10563 (java) S 10505 10508 8955 0 -1 1077944384 63 13010 0 0 3 0 5 3 20 0 15 0 231846499 11343855616 94444 33554432000 4194304 4196468 140720669238704 140151572134416 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10564] ppid=10505 vsize=11077984 memory=7016714190785702558 CPUtime=0.12 cores=1,3,5,7
/proc/10508/task/10564/stat : 10564 (java) S 10505 10508 8955 0 -1 1077944384 66 13010 0 0 4 0 5 3 20 0 15 0 231846499 11343855616 94444 33554432000 4194304 4196468 140720669238704 140151571081616 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10565] ppid=10505 vsize=11077984 memory=4137293581110450563 CPUtime=0.11 cores=1,3,5,7
/proc/10508/task/10565/stat : 10565 (java) S 10505 10508 8955 0 -1 1077944384 266 13010 0 0 3 0 5 3 20 0 15 0 231846499 11343855616 94444 33554432000 4194304 4196468 140720669238704 140151570028816 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10566] ppid=10505 vsize=11077984 memory=8761640388318109335 CPUtime=0.11 cores=1,3,5,7
/proc/10508/task/10566/stat : 10566 (java) S 10505 10508 8955 0 -1 1077944384 2020 13010 0 0 3 0 5 3 20 0 15 0 231846501 11343855616 94444 33554432000 4194304 4196468 140720669238704 140151138237296 140151713184386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10567] ppid=10505 vsize=11077984 memory=6944656592455350634 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10567/stat : 10567 (java) S 10505 10508 8955 0 -1 1077944384 15 13010 0 0 0 0 5 3 20 0 15 0 231846501 11343855616 94444 33554432000 4194304 4196468 140720669238704 140150500746912 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10568] ppid=10505 vsize=11077984 memory=7016714186490735262 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10568/stat : 10568 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846501 11343855616 94444 33554432000 4194304 4196468 140720669238704 140150352897408 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10569] ppid=10505 vsize=11077984 memory=7682744562830902074 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10569/stat : 10569 (java) S 10505 10508 8955 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 231846504 11343855616 94444 33554432000 4194304 4196468 140720669238704 140150045497680 140151713191835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10570] ppid=10505 vsize=11077984 memory=6944613755495348631 CPUtime=2.33 cores=1,3,5,7
/proc/10508/task/10570/stat : 10570 (java) S 10505 10508 8955 0 -1 1077944384 6823 13010 0 0 223 2 5 3 20 0 15 0 231846504 11343855616 94444 33554432000 4194304 4196468 140720669238704 140151137184112 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10571] ppid=10505 vsize=11077984 memory=0 CPUtime=2.23 cores=1,3,5,7
/proc/10508/task/10571/stat : 10571 (java) S 10505 10508 8955 0 -1 1077944384 8442 13010 0 0 214 1 5 3 20 0 15 0 231846504 11343855616 94444 33554432000 4194304 4196468 140720669238704 140151136131312 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10572] ppid=10505 vsize=11077984 memory=140603673582385 CPUtime=1.59 cores=1,3,5,7
/proc/10508/task/10572/stat : 10572 (java) S 10505 10508 8955 0 -1 1077944384 5922 13010 0 0 148 3 5 3 20 0 15 0 231846504 11343855616 94444 33554432000 4194304 4196468 140720669238704 140151135078512 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10573] ppid=10505 vsize=11077984 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10573/stat : 10573 (java) S 10505 10508 8955 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 231846504 11343855616 94444 33554432000 4194304 4196468 140720669238704 140149614700768 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10574] ppid=10505 vsize=11077984 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10574/stat : 10574 (java) S 10505 10508 8955 0 -1 1077944384 8 13010 0 0 0 0 5 3 20 0 15 0 231846504 11343855616 94444 33554432000 4194304 4196468 140720669238704 140151134026928 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
Current children cumulated CPU time: 10.83 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 377776 KiB

[startup+5.60078 s]
/proc/loadavg: 1.71 1.36 1.33 3/215 10574
/proc/meminfo: memFree=26570760/32770624 swapFree=67108804/67108860
[pid=10508] ppid=10505 vsize=11077984 memory=383488 CPUtime=12.07 cores=1,3,5,7
/proc/10508/stat : 10508 (java) S 10505 10508 8955 0 -1 1077944320 69393 13010 0 0 1175 24 5 3 20 0 15 0 231846490 11343855616 95872 33554432000 4194304 4196468 140720669238704 140720669221248 140151713173239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
/proc/10508/statm: 2769496 95872 3511 1 0 2731149 0
[pid=10508/tid=10561] ppid=10505 vsize=11077984 memory=0 CPUtime=5.46 cores=1,3,5,7
/proc/10508/task/10561/stat : 10561 (java) R 10505 10508 8955 0 -1 4202560 42970 13010 0 0 525 13 5 3 20 0 15 0 231846499 11343855616 95872 33554432000 4194304 4196468 140720669238704 140151685003024 140151256838003 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10562] ppid=10505 vsize=11077984 memory=281207347429024 CPUtime=0.1 cores=1,3,5,7
/proc/10508/task/10562/stat : 10562 (java) S 10505 10508 8955 0 -1 1077944384 182 13010 0 0 2 0 5 3 20 0 15 0 231846499 11343855616 95872 33554432000 4194304 4196468 140720669238704 140151717415568 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10563] ppid=10505 vsize=11077984 memory=140603673716784 CPUtime=0.11 cores=1,3,5,7
/proc/10508/task/10563/stat : 10563 (java) S 10505 10508 8955 0 -1 1077944384 64 13010 0 0 3 0 5 3 20 0 15 0 231846499 11343855616 95872 33554432000 4194304 4196468 140720669238704 140151572134416 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10564] ppid=10505 vsize=11077984 memory=2080 CPUtime=0.12 cores=1,3,5,7
/proc/10508/task/10564/stat : 10564 (java) S 10505 10508 8955 0 -1 1077944384 68 13010 0 0 4 0 5 3 20 0 15 0 231846499 11343855616 95872 33554432000 4194304 4196468 140720669238704 140151571081616 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10565] ppid=10505 vsize=11077984 memory=1036 CPUtime=0.11 cores=1,3,5,7
/proc/10508/task/10565/stat : 10565 (java) S 10505 10508 8955 0 -1 1077944384 269 13010 0 0 3 0 5 3 20 0 15 0 231846499 11343855616 95872 33554432000 4194304 4196468 140720669238704 140151570028816 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10566] ppid=10505 vsize=11077984 memory=1736 CPUtime=0.12 cores=1,3,5,7
/proc/10508/task/10566/stat : 10566 (java) S 10505 10508 8955 0 -1 1077944384 2036 13010 0 0 4 0 5 3 20 0 15 0 231846501 11343855616 95872 33554432000 4194304 4196468 140720669238704 140151138237296 140151713184386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10567] ppid=10505 vsize=11077984 memory=752 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10567/stat : 10567 (java) S 10505 10508 8955 0 -1 1077944384 15 13010 0 0 0 0 5 3 20 0 15 0 231846501 11343855616 95872 33554432000 4194304 4196468 140720669238704 140150500746912 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10568] ppid=10505 vsize=11077984 memory=836 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10568/stat : 10568 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846501 11343855616 95872 33554432000 4194304 4196468 140720669238704 140150352897408 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10569] ppid=10505 vsize=11077984 memory=1084 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10569/stat : 10569 (java) S 10505 10508 8955 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 231846504 11343855616 95872 33554432000 4194304 4196468 140720669238704 140150045497680 140151713191835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10570] ppid=10505 vsize=11077984 memory=1600 CPUtime=2.5 cores=1,3,5,7
/proc/10508/task/10570/stat : 10570 (java) S 10505 10508 8955 0 -1 1077944384 6964 13010 0 0 240 2 5 3 20 0 15 0 231846504 11343855616 95872 33554432000 4194304 4196468 140720669238704 140151137184112 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10571] ppid=10505 vsize=11077984 memory=7952 CPUtime=2.45 cores=1,3,5,7
/proc/10508/task/10571/stat : 10571 (java) S 10505 10508 8955 0 -1 1077944384 8616 13010 0 0 236 1 5 3 20 0 15 0 231846504 11343855616 95872 33554432000 4194304 4196468 140720669238704 140151136131312 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10572] ppid=10505 vsize=11077984 memory=4088 CPUtime=1.64 cores=1,3,5,7
/proc/10508/task/10572/stat : 10572 (java) S 10505 10508 8955 0 -1 1077944384 5998 13010 0 0 153 3 5 3 20 0 15 0 231846504 11343855616 95872 33554432000 4194304 4196468 140720669238704 140151135078512 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10573] ppid=10505 vsize=11077984 memory=1784 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10573/stat : 10573 (java) S 10505 10508 8955 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 231846504 11343855616 95872 33554432000 4194304 4196468 140720669238704 140149614700768 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10574] ppid=10505 vsize=11077984 memory=1060 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10574/stat : 10574 (java) S 10505 10508 8955 0 -1 1077944384 11 13010 0 0 0 0 5 3 20 0 15 0 231846504 11343855616 95872 33554432000 4194304 4196468 140720669238704 140151134026928 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
Current children cumulated CPU time: 12.07 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 383488 KiB

[startup+6.00074 s]*
/proc/loadavg: 1.71 1.36 1.33 3/215 10574
/proc/meminfo: memFree=26564432/32770624 swapFree=67108804/67108860
[pid=10508] ppid=10505 vsize=11077984 memory=385776 CPUtime=12.52 cores=1,3,5,7
/proc/10508/stat : 10508 (java) S 10505 10508 8955 0 -1 1077944320 69468 13010 0 0 1220 24 5 3 20 0 15 0 231846490 11343855616 96444 33554432000 4194304 4196468 140720669238704 140720669221248 140151713173239 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
/proc/10508/statm: 2769496 96444 3518 1 0 2731149 0
[pid=10508/tid=10561] ppid=10505 vsize=11077984 memory=4026532047 CPUtime=5.87 cores=1,3,5,7
/proc/10508/task/10561/stat : 10561 (java) R 10505 10508 8955 0 -1 4202560 43010 13010 0 0 566 13 5 3 20 0 15 0 231846499 11343855616 96444 33554432000 4194304 4196468 140720669238704 140151685004048 140151698399503 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10562] ppid=10505 vsize=11077984 memory=13622 CPUtime=0.1 cores=1,3,5,7
/proc/10508/task/10562/stat : 10562 (java) S 10505 10508 8955 0 -1 1077944384 185 13010 0 0 2 0 5 3 20 0 15 0 231846499 11343855616 96444 33554432000 4194304 4196468 140720669238704 140151717415568 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10563] ppid=10505 vsize=11077984 memory=140603813445189 CPUtime=0.11 cores=1,3,5,7
/proc/10508/task/10563/stat : 10563 (java) S 10505 10508 8955 0 -1 1077944384 66 13010 0 0 3 0 5 3 20 0 15 0 231846499 11343855616 96444 33554432000 4194304 4196468 140720669238704 140151572134416 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10564] ppid=10505 vsize=11077984 memory=7014470040326004800 CPUtime=0.12 cores=1,3,5,7
/proc/10508/task/10564/stat : 10564 (java) S 10505 10508 8955 0 -1 1077944384 69 13010 0 0 4 0 5 3 20 0 15 0 231846499 11343855616 96444 33554432000 4194304 4196468 140720669238704 140151571081616 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10565] ppid=10505 vsize=11077984 memory=3539864531119469664 CPUtime=0.11 cores=1,3,5,7
/proc/10508/task/10565/stat : 10565 (java) S 10505 10508 8955 0 -1 1077944384 270 13010 0 0 3 0 5 3 20 0 15 0 231846499 11343855616 96444 33554432000 4194304 4196468 140720669238704 140151570028816 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10566] ppid=10505 vsize=11077984 memory=7589561606586051044 CPUtime=0.12 cores=1,3,5,7
/proc/10508/task/10566/stat : 10566 (java) S 10505 10508 8955 0 -1 1077944384 2036 13010 0 0 4 0 5 3 20 0 15 0 231846501 11343855616 96444 33554432000 4194304 4196468 140720669238704 140151138237296 140151713184386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10567] ppid=10505 vsize=11077984 memory=7589420999132590127 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10567/stat : 10567 (java) S 10505 10508 8955 0 -1 1077944384 15 13010 0 0 0 0 5 3 20 0 15 0 231846501 11343855616 96444 33554432000 4194304 4196468 140720669238704 140150500746912 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10568] ppid=10505 vsize=11077984 memory=-6737208495982354336 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10568/stat : 10568 (java) S 10505 10508 8955 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 231846501 11343855616 96444 33554432000 4194304 4196468 140720669238704 140150352897408 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10569] ppid=10505 vsize=11077984 memory=4206468019014099040 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10569/stat : 10569 (java) S 10505 10508 8955 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 231846504 11343855616 96444 33554432000 4194304 4196468 140720669238704 140150045497680 140151713191835 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10570] ppid=10505 vsize=11077984 memory=0 CPUtime=2.53 cores=1,3,5,7
/proc/10508/task/10570/stat : 10570 (java) R 10505 10508 8955 0 -1 4202560 6971 13010 0 0 243 2 5 3 20 0 15 0 231846504 11343855616 96444 33554432000 4194304 4196468 140720669238704 140151137184112 140151698068241 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10571] ppid=10505 vsize=11077984 memory=3472328296227418159 CPUtime=2.46 cores=1,3,5,7
/proc/10508/task/10571/stat : 10571 (java) R 10505 10508 8955 0 -1 4202560 8617 13010 0 0 237 1 5 3 20 0 15 0 231846504 11343855616 96444 33554432000 4194304 4196468 140720669238704 140151136131312 140151713194586 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10572] ppid=10505 vsize=11077984 memory=7016594261966831795 CPUtime=1.64 cores=1,3,5,7
/proc/10508/task/10572/stat : 10572 (java) R 10505 10508 8955 0 -1 1077944384 6033 13010 0 0 153 3 5 3 20 0 15 0 231846504 11343855616 96444 33554432000 4194304 4196468 140720669238704 140151135078512 140151713184386 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10573] ppid=10505 vsize=11077984 memory=8607328266676888414 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10573/stat : 10573 (java) S 10505 10508 8955 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 231846504 11343855616 96444 33554432000 4194304 4196468 140720669238704 140149614700768 140151713183445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
[pid=10508/tid=10574] ppid=10505 vsize=11077984 memory=3472468900039812784 CPUtime=0.08 cores=1,3,5,7
/proc/10508/task/10574/stat : 10574 (java) S 10505 10508 8955 0 -1 1077944384 11 13010 0 0 0 0 5 3 20 0 15 0 231846504 11343855616 96444 33554432000 4194304 4196468 140720669238704 140151134026928 140151713184386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7139328 140720669239916 140720669242716 140720669242716 140720669245391 0
Current children cumulated CPU time: 12.52 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 385776 KiB

Child status: 0
Real time (s): 6.03615
CPU time (s): 12.5622
CPU user time (s): 12.2696
CPU system time (s): 0.292638
CPU usage (%): 208.117
Max. virtual memory (cumulated for all children) (KiB): 11080844
Max. memory (cumulated for all children) (KiB): 385776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.2696
system time used= 0.292638
maximum resident set size= 387872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82565
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7163
involuntary context switches= 53


# summary of solver processes directly reported to runsolver:
#   pid: 10508
#   total CPU time (s): 12.5622
#   total CPU user time (s): 12.2696
#   total CPU system time (s): 0.292638

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.061013 second user time and 0.103231 second system time

The end

Launcher Data 

Begin job on node105 at 2018-08-13 08:47:13
IDJOB=4305251
IDBENCH=141610
IDSOLVER=2780
FILE ID=node105/4305251-1534142833
RUNJOBID= node105-1534137874-9214
PBS_JOBID= 21037025
Free space on /tmp= 40896 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/Quasigroups/QuasiGroup-7-07_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4305251-1534142833/watcher-4305251-1534142833 -o /tmp/evaluation-result-4305251-1534142833/solver-4305251-1534142833 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534137874-9214 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1871864260 HOME/instance-4305251-1534142833.xml

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

MD5SUM BENCH= 950a11acbe9bee1dbcb0d00f57370eba
RANDOM SEED=1871864260

node105.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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.32
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:        26938444 kB
MemAvailable:   30525212 kB
Buffers:          170756 kB
Cached:          3672732 kB
SwapCached:           16 kB
Active:          3384116 kB
Inactive:        1895060 kB
Active(anon):    1387632 kB
Inactive(anon):   100528 kB
Active(file):    1996484 kB
Inactive(file):  1794532 kB
Unevictable:        7320 kB
Mlocked:            7320 kB
SwapTotal:      67108860 kB
SwapFree:       67108804 kB
Dirty:             26820 kB
Writeback:             0 kB
AnonPages:       1443056 kB
Mapped:            64668 kB
Shmem:             49748 kB
Slab:             250808 kB
SReclaimable:     223176 kB
SUnreclaim:        27632 kB
KernelStack:        3504 kB
PageTables:         8268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2443144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1341440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 40868 MiB
End job on node105 at 2018-08-13 08:47:19