Trace number 4302716

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
Concrete 3.9.2-SuperNGOPT47 7.55478 3.68867

General information on the benchmark

NameRcpsp/
Rcpsp-j30-01-02_c18.xml
MD5SUM89f30685fe777f1ae52e0ef342afd904
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark47
Best CPU time to get the best result obtained on this benchmark1.19273
Satisfiable
(Un)Satisfiability was proved
Number of variables32
Number of constraints52
Number of domains2
Minimum domain size1
Maximum domain size160
Distribution of domain sizes[{"size":1,"count":1},{"size":160,"count":31}]
Minimum variable degree3
Maximum variable degree5
Distribution of variable degrees[{"degree":3,"count":12},{"degree":4,"count":9},{"degree":5,"count":11}]
Minimum constraint arity2
Maximum constraint arity9
Distribution of constraint arities[{"arity":2,"count":48},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1}]
Number of extensional constraints0
Number of intensional constraints48
Distribution of constraint types[{"type":"intension","count":48},{"type":"cumulative","count":4}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

0.99/0.73	c Concrete v3.9.2.1532736233296 running
7.33/3.63	o 47
7.33/3.66	v <instantiation cost="47">
7.33/3.66	v       <list>
7.33/3.66	v         s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31]
7.33/3.66	v       </list>
7.33/3.66	v       <values>
7.33/3.66	v         0 6 0 0 10 11 7 13 14 8 13 26 15 24 14 14 14 26 18 28 33 13 33 30 28 24 33 35 32 39 35 47
7.33/3.66	v       </values>
7.33/3.66	v     </instantiation>
7.33/3.66	s OPTIMUM FOUND

Verifier Data 

OK	47

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302716-1532897796/watcher-4302716-1532897796 -o /tmp/evaluation-result-4302716-1532897796/solver-4302716-1532897796 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22777 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=799042843 -superng HOME/instance-4302716-1532897796.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=28913, runsolver pid=28910

[startup+0.100122 s]*
/proc/loadavg: 1.64 1.64 1.75 4/206 28970
/proc/meminfo: memFree=27258004/32770624 swapFree=67108860/67108860
[pid=28913] ppid=28910 vsize=10005480 memory=18592 CPUtime=0.09 cores=1,3,5,7
/proc/28913/stat : 28913 (java) S 28910 28913 13514 0 -1 1077944320 4263 13194 0 0 1 1 5 2 20 0 6 0 107342799 10245611520 4648 33554432000 4194304 4196468 140729964163888 140729964146432 140147680964343 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
/proc/28913/statm: 2501370 4648 1935 1 0 2489808 0
[pid=28913/tid=28966] ppid=28910 vsize=10005480 memory=4279135703946986127 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28966/stat : 28966 (java) R 28910 28913 13514 0 -1 4202560 2062 13194 0 0 0 0 5 2 20 0 6 0 107342808 10245611520 4648 33554432000 4194304 4196468 140729964163888 140147652801104 140147680986269 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28967] ppid=28910 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28967/stat : 28967 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 6 0 107342809 10245611520 4648 33554432000 4194304 4196468 140729964163888 140147685207056 140147680974549 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28968] ppid=28910 vsize=10005480 memory=139915111274112 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28968/stat : 28968 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 6 0 107342809 10245611520 4648 33554432000 4194304 4196468 140729964163888 140147539926160 140147680974549 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28969] ppid=28910 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28969/stat : 28969 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 6 0 107342809 10245611520 4648 33554432000 4194304 4196468 140729964163888 140147538873104 140147680974549 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28970] ppid=28910 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28970/stat : 28970 (java) S 28910 28913 13514 0 -1 1077944384 2 13194 0 0 0 0 5 2 20 0 6 0 107342809 10245611520 4648 33554432000 4194304 4196468 140729964163888 140147537820560 140147680974549 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18592 KiB

[startup+0.209934 s]*
/proc/loadavg: 1.64 1.64 1.75 3/215 28979
/proc/meminfo: memFree=27235152/32770624 swapFree=67108860/67108860
[pid=28913] ppid=28910 vsize=10983736 memory=47056 CPUtime=0.26 cores=1,3,5,7
/proc/28913/stat : 28913 (java) S 28910 28913 13514 0 -1 1077944320 7946 13194 0 0 17 2 5 2 20 0 15 0 107342799 11247345664 11764 33554432000 4194304 4196468 140729964163888 140729964146432 140147680964343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
/proc/28913/statm: 2745934 11764 2959 1 0 2708357 0
[pid=28913/tid=28966] ppid=28910 vsize=10983736 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/28913/task/28966/stat : 28966 (java) R 28910 28913 13514 0 -1 4202560 4601 13194 0 0 11 0 5 2 20 0 15 0 107342808 11247345664 11830 33554432000 4194304 4196468 140729964163888 140147652789152 140147673274923 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28967] ppid=28910 vsize=10985364 memory=339 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28967/stat : 28967 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 107342809 11249012736 11830 33554432000 4194304 4196468 140729964163888 140147685207056 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28968] ppid=28910 vsize=10985364 memory=3834170162102507168 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28968/stat : 28968 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 107342809 11249012736 11896 33554432000 4194304 4196468 140729964163888 140147539926160 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28969] ppid=28910 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28969/stat : 28969 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 107342809 11249012736 11896 33554432000 4194304 4196468 140729964163888 140147538873104 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28970] ppid=28910 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28970/stat : 28970 (java) S 28910 28913 13514 0 -1 1077944384 2 13194 0 0 0 0 5 2 20 0 15 0 107342809 11249012736 11896 33554432000 4194304 4196468 140729964163888 140147537820560 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28971] ppid=28910 vsize=10985364 memory=139915111274112 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28971/stat : 28971 (java) S 28910 28913 13514 0 -1 1077944384 2 13194 0 0 0 0 5 2 20 0 15 0 107342811 11249012736 11896 33554432000 4194304 4196468 140729964163888 140147106609392 140147680975490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28972] ppid=28910 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28972/stat : 28972 (java) S 28910 28913 13514 0 -1 1077944384 13 13194 0 0 0 0 5 2 20 0 15 0 107342811 11249012736 11962 33554432000 4194304 4196468 140729964163888 140146527691936 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28973] ppid=28910 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28973/stat : 28973 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 107342811 11249012736 11962 33554432000 4194304 4196468 140729964163888 140146326364912 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28974] ppid=28910 vsize=10985364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28974/stat : 28974 (java) S 28910 28913 13514 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 107342814 11249012736 11962 33554432000 4194304 4196468 140729964163888 140146018965456 140147680982939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28975] ppid=28910 vsize=10985364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28913/task/28975/stat : 28975 (java) S 28910 28913 13514 0 -1 1077944384 423 13194 0 0 1 0 5 2 20 0 15 0 107342814 11249012736 11962 33554432000 4194304 4196468 140729964163888 140147105557232 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28976] ppid=28910 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28913/task/28976/stat : 28976 (java) S 28910 28913 13514 0 -1 1077944384 188 13194 0 0 1 0 5 2 20 0 15 0 107342814 11249012736 11962 33554432000 4194304 4196468 140729964163888 140147104504688 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28977] ppid=28910 vsize=10985364 memory=139915111274112 CPUtime=0.1 cores=1,3,5,7
/proc/28913/task/28977/stat : 28977 (java) S 28910 28913 13514 0 -1 1077944384 610 13194 0 0 3 0 5 2 20 0 15 0 107342814 11249012736 12028 33554432000 4194304 4196468 140729964163888 140147103451632 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28978] ppid=28910 vsize=10985364 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28978/stat : 28978 (java) S 28910 28913 13514 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 107342814 11249012736 12028 33554432000 4194304 4196468 140729964163888 140145588169568 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28979] ppid=28910 vsize=10985364 memory=139915111274112 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28979/stat : 28979 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 107342814 11249012736 12028 33554432000 4194304 4196468 140729964163888 140147102399024 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10983736 KiB
Current children cumulated memory: 47056 KiB

[startup+0.310251 s]*
/proc/loadavg: 1.64 1.64 1.75 3/215 28979
/proc/meminfo: memFree=27223032/32770624 swapFree=67108860/67108860
[pid=28913] ppid=28910 vsize=10983192 memory=56980 CPUtime=0.38 cores=1,3,5,7
/proc/28913/stat : 28913 (java) S 28910 28913 13514 0 -1 1077944320 10318 13194 0 0 28 3 5 2 20 0 15 0 107342799 11246788608 14245 33554432000 4194304 4196468 140729964163888 140729964146432 140147680964343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
/proc/28913/statm: 2745798 14245 3078 1 0 2708109 0
[pid=28913/tid=28966] ppid=28910 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/28913/task/28966/stat : 28966 (java) R 28910 28913 13514 0 -1 4202560 6867 13194 0 0 20 1 5 2 20 0 15 0 107342808 11246788608 14245 33554432000 4194304 4196468 140729964163888 140147652776352 140147680976278 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28967] ppid=28910 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28967/stat : 28967 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 107342809 11246788608 14245 33554432000 4194304 4196468 140729964163888 140147685207056 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28968] ppid=28910 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28968/stat : 28968 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 107342809 11246788608 14245 33554432000 4194304 4196468 140729964163888 140147539926160 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28969] ppid=28910 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28969/stat : 28969 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 107342809 11246788608 14245 33554432000 4194304 4196468 140729964163888 140147538873104 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28970] ppid=28910 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28970/stat : 28970 (java) S 28910 28913 13514 0 -1 1077944384 2 13194 0 0 0 0 5 2 20 0 15 0 107342809 11246788608 14245 33554432000 4194304 4196468 140729964163888 140147537820560 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28971] ppid=28910 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28971/stat : 28971 (java) S 28910 28913 13514 0 -1 1077944384 2 13194 0 0 0 0 5 2 20 0 15 0 107342811 11246788608 14245 33554432000 4194304 4196468 140729964163888 140147106609392 140147680975490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28972] ppid=28910 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28972/stat : 28972 (java) S 28910 28913 13514 0 -1 1077944384 13 13194 0 0 0 0 5 2 20 0 15 0 107342811 11246788608 14245 33554432000 4194304 4196468 140729964163888 140146527691936 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28973] ppid=28910 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28973/stat : 28973 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 107342811 11246788608 14245 33554432000 4194304 4196468 140729964163888 140146326364912 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28974] ppid=28910 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28974/stat : 28974 (java) S 28910 28913 13514 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 107342814 11246788608 14245 33554432000 4194304 4196468 140729964163888 140146018965456 140147680982939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28975] ppid=28910 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28913/task/28975/stat : 28975 (java) S 28910 28913 13514 0 -1 1077944384 425 13194 0 0 1 0 5 2 20 0 15 0 107342814 11246788608 14245 33554432000 4194304 4196468 140729964163888 140147105557232 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28976] ppid=28910 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/28913/task/28976/stat : 28976 (java) S 28910 28913 13514 0 -1 1077944384 188 13194 0 0 1 0 5 2 20 0 15 0 107342814 11246788608 14245 33554432000 4194304 4196468 140729964163888 140147104504688 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28977] ppid=28910 vsize=10983192 memory=139915111274112 CPUtime=0.12 cores=1,3,5,7
/proc/28913/task/28977/stat : 28977 (java) R 28910 28913 13514 0 -1 4202560 617 13194 0 0 5 0 5 2 20 0 15 0 107342814 11246788608 14245 33554432000 4194304 4196468 140729964163888 140147103451632 140147660935528 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28978] ppid=28910 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28978/stat : 28978 (java) S 28910 28913 13514 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 107342814 11246788608 14245 33554432000 4194304 4196468 140729964163888 140145588169568 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28979] ppid=28910 vsize=10983192 memory=139915111274112 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28979/stat : 28979 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 107342814 11246788608 14245 33554432000 4194304 4196468 140729964163888 140147102399024 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56980 KiB

[startup+0.700838 s]
/proc/loadavg: 1.64 1.64 1.75 4/215 28979
/proc/meminfo: memFree=27213108/32770624 swapFree=67108860/67108860
[pid=28913] ppid=28910 vsize=10983192 memory=89412 CPUtime=0.99 cores=1,3,5,7
/proc/28913/stat : 28913 (java) S 28910 28913 13514 0 -1 1077944320 16405 13194 0 0 88 4 5 2 20 0 15 0 107342799 11246788608 22353 33554432000 4194304 4196468 140729964163888 140729964146432 140147680964343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
/proc/28913/statm: 2745798 22353 3247 1 0 2708109 0
[pid=28913/tid=28966] ppid=28910 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/28913/task/28966/stat : 28966 (java) R 28910 28913 13514 0 -1 4202560 11871 13194 0 0 57 2 5 2 20 0 15 0 107342808 11246788608 22353 33554432000 4194304 4196468 140729964163888 140147652785168 140147662527937 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28967] ppid=28910 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28967/stat : 28967 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 107342809 11246788608 22353 33554432000 4194304 4196468 140729964163888 140147685207056 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28968] ppid=28910 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28968/stat : 28968 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 107342809 11246788608 22353 33554432000 4194304 4196468 140729964163888 140147539926160 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28969] ppid=28910 vsize=10983192 memory=32804 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28969/stat : 28969 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 107342809 11246788608 22353 33554432000 4194304 4196468 140729964163888 140147538873104 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28970] ppid=28910 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28970/stat : 28970 (java) S 28910 28913 13514 0 -1 1077944384 2 13194 0 0 0 0 5 2 20 0 15 0 107342809 11246788608 22353 33554432000 4194304 4196468 140729964163888 140147537820560 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28971] ppid=28910 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28971/stat : 28971 (java) S 28910 28913 13514 0 -1 1077944384 5 13194 0 0 0 0 5 2 20 0 15 0 107342811 11246788608 22353 33554432000 4194304 4196468 140729964163888 140147106609392 140147680975490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28972] ppid=28910 vsize=10983192 memory=139915002262192 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28972/stat : 28972 (java) S 28910 28913 13514 0 -1 1077944384 13 13194 0 0 0 0 5 2 20 0 15 0 107342811 11246788608 22353 33554432000 4194304 4196468 140729964163888 140146527691936 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28973] ppid=28910 vsize=10983192 memory=139917149602384 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28973/stat : 28973 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 107342811 11246788608 22353 33554432000 4194304 4196468 140729964163888 140146326364912 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28974] ppid=28910 vsize=10983192 memory=1020 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28974/stat : 28974 (java) S 28910 28913 13514 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 107342814 11246788608 22353 33554432000 4194304 4196468 140729964163888 140146018965456 140147680982939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28975] ppid=28910 vsize=10983192 memory=7089042195949315648 CPUtime=0.14 cores=1,3,5,7
/proc/28913/task/28975/stat : 28975 (java) S 28910 28913 13514 0 -1 1077944384 805 13194 0 0 7 0 5 2 20 0 15 0 107342814 11246788608 22353 33554432000 4194304 4196468 140729964163888 140147105557232 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28976] ppid=28910 vsize=10983192 memory=7881696724453321575 CPUtime=0.16 cores=1,3,5,7
/proc/28913/task/28976/stat : 28976 (java) S 28910 28913 13514 0 -1 1077944384 831 13194 0 0 9 0 5 2 20 0 15 0 107342814 11246788608 22353 33554432000 4194304 4196468 140729964163888 140147104504688 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28977] ppid=28910 vsize=10983192 memory=5789189752906409301 CPUtime=0.2 cores=1,3,5,7
/proc/28913/task/28977/stat : 28977 (java) S 28910 28913 13514 0 -1 1077944384 671 13194 0 0 13 0 5 2 20 0 15 0 107342814 11246788608 22353 33554432000 4194304 4196468 140729964163888 140147103451632 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28978] ppid=28910 vsize=10983192 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28978/stat : 28978 (java) S 28910 28913 13514 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 107342814 11246788608 22353 33554432000 4194304 4196468 140729964163888 140145588169568 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28979] ppid=28910 vsize=10983192 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28979/stat : 28979 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 107342814 11246788608 22353 33554432000 4194304 4196468 140729964163888 140147102399024 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89412 KiB

[startup+1.50165 s]
/proc/loadavg: 1.64 1.64 1.75 6/215 28979
/proc/meminfo: memFree=27168180/32770624 swapFree=67108860/67108860
[pid=28913] ppid=28910 vsize=10998092 memory=178116 CPUtime=2.25 cores=1,3,5,7
/proc/28913/stat : 28913 (java) S 28910 28913 13514 0 -1 1077944320 23500 13194 0 0 209 9 5 2 20 0 15 0 107342799 11262046208 44529 33554432000 4194304 4196468 140729964163888 140729964146432 140147680964343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
/proc/28913/statm: 2749523 44529 3466 1 0 2711181 0
[pid=28913/tid=28966] ppid=28910 vsize=10998092 memory=10757 CPUtime=1.43 cores=1,3,5,7
/proc/28913/task/28966/stat : 28966 (java) R 28910 28913 13514 0 -1 4202560 17404 13194 0 0 131 5 5 2 20 0 15 0 107342808 11262046208 44529 33554432000 4194304 4196468 140729964163888 140147652794688 140147665044830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28967] ppid=28910 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/28913/task/28967/stat : 28967 (java) S 28910 28913 13514 0 -1 1077944384 25 13194 0 0 1 0 5 2 20 0 15 0 107342809 11262046208 44529 33554432000 4194304 4196468 140729964163888 140147685207056 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28968] ppid=28910 vsize=10998092 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/28913/task/28968/stat : 28968 (java) S 28910 28913 13514 0 -1 1077944384 58 13194 0 0 1 0 5 2 20 0 15 0 107342809 11262046208 44529 33554432000 4194304 4196468 140729964163888 140147539926160 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28969] ppid=28910 vsize=10998092 memory=3120 CPUtime=0.08 cores=1,3,5,7
/proc/28913/task/28969/stat : 28969 (java) S 28910 28913 13514 0 -1 1077944384 247 13194 0 0 1 0 5 2 20 0 15 0 107342809 11262046208 44529 33554432000 4194304 4196468 140729964163888 140147538873104 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28970] ppid=28910 vsize=10998092 memory=89412 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28970/stat : 28970 (java) S 28910 28913 13514 0 -1 1077944384 25 13194 0 0 0 0 5 2 20 0 15 0 107342809 11262046208 44529 33554432000 4194304 4196468 140729964163888 140147537820560 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28971] ppid=28910 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/28913/task/28971/stat : 28971 (java) S 28910 28913 13514 0 -1 1077944384 57 13194 0 0 1 0 5 2 20 0 15 0 107342811 11262046208 44529 33554432000 4194304 4196468 140729964163888 140147106609392 140147680975490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28972] ppid=28910 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28972/stat : 28972 (java) S 28910 28913 13514 0 -1 1077944384 14 13194 0 0 0 0 5 2 20 0 15 0 107342811 11262046208 44529 33554432000 4194304 4196468 140729964163888 140146527692000 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28973] ppid=28910 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28973/stat : 28973 (java) S 28910 28913 13514 0 -1 1077944384 2 13194 0 0 0 0 5 2 20 0 15 0 107342811 11262046208 44529 33554432000 4194304 4196468 140729964163888 140146326364928 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28974] ppid=28910 vsize=10998092 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28974/stat : 28974 (java) S 28910 28913 13514 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 107342814 11262046208 44529 33554432000 4194304 4196468 140729964163888 140146018965456 140147680982939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28975] ppid=28910 vsize=10998092 memory=4638778398332698720 CPUtime=0.27 cores=1,3,5,7
/proc/28913/task/28975/stat : 28975 (java) S 28910 28913 13514 0 -1 1077944384 1284 13194 0 0 20 0 5 2 20 0 15 0 107342814 11262046208 44529 33554432000 4194304 4196468 140729964163888 140147105557232 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28976] ppid=28910 vsize=10998092 memory=279830004800384 CPUtime=0.27 cores=1,3,5,7
/proc/28913/task/28976/stat : 28976 (java) S 28910 28913 13514 0 -1 1077944384 1012 13194 0 0 20 0 5 2 20 0 15 0 107342814 11262046208 44529 33554432000 4194304 4196468 140729964163888 140147104504688 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28977] ppid=28910 vsize=10998092 memory=6944656592452807323 CPUtime=0.38 cores=1,3,5,7
/proc/28913/task/28977/stat : 28977 (java) S 28910 28913 13514 0 -1 1077944384 1174 13194 0 0 31 0 5 2 20 0 15 0 107342814 11262046208 44529 33554432000 4194304 4196468 140729964163888 140147103451632 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28978] ppid=28910 vsize=10998092 memory=6944656591801719708 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28978/stat : 28978 (java) S 28910 28913 13514 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 107342814 11262046208 44529 33554432000 4194304 4196468 140729964163888 140145588169568 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28979] ppid=28910 vsize=10998092 memory=1399101730491701635 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28979/stat : 28979 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 107342814 11262046208 44529 33554432000 4194304 4196468 140729964163888 140147102399024 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 10998092 KiB
Current children cumulated memory: 178116 KiB

[startup+3.11119 s]
/proc/loadavg: 1.67 1.65 1.75 6/215 28979
/proc/meminfo: memFree=27040500/32770624 swapFree=67108860/67108860
[pid=28913] ppid=28910 vsize=11010400 memory=248116 CPUtime=6.07 cores=1,3,5,7
/proc/28913/stat : 28913 (java) S 28910 28913 13514 0 -1 1077944320 35505 13194 0 0 584 16 5 2 20 0 15 0 107342799 11274649600 62029 33554432000 4194304 4196468 140729964163888 140729964146432 140147680964343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
/proc/28913/statm: 2752600 62029 3493 1 0 2714253 0
[pid=28913/tid=28966] ppid=28910 vsize=11010400 memory=7 CPUtime=2.98 cores=1,3,5,7
/proc/28913/task/28966/stat : 28966 (java) R 28910 28913 13514 0 -1 4202560 23336 13194 0 0 284 7 5 2 20 0 15 0 107342808 11274649600 62029 33554432000 4194304 4196468 140729964163888 140147652797392 140147665044830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28967] ppid=28910 vsize=11010400 memory=193360 CPUtime=0.09 cores=1,3,5,7
/proc/28913/task/28967/stat : 28967 (java) S 28910 28913 13514 0 -1 1077944384 32 13194 0 0 2 0 5 2 20 0 15 0 107342809 11274649600 62029 33554432000 4194304 4196468 140729964163888 140147685207056 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28968] ppid=28910 vsize=11010400 memory=10757 CPUtime=0.1 cores=1,3,5,7
/proc/28913/task/28968/stat : 28968 (java) S 28910 28913 13514 0 -1 1077944384 79 13194 0 0 3 0 5 2 20 0 15 0 107342809 11274649600 62029 33554432000 4194304 4196468 140729964163888 140147539926160 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28969] ppid=28910 vsize=11010400 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/28913/task/28969/stat : 28969 (java) S 28910 28913 13514 0 -1 1077944384 278 13194 0 0 3 0 5 2 20 0 15 0 107342809 11274649600 62029 33554432000 4194304 4196468 140729964163888 140147538873104 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28970] ppid=28910 vsize=11010400 memory=264080359219745 CPUtime=0.1 cores=1,3,5,7
/proc/28913/task/28970/stat : 28970 (java) S 28910 28913 13514 0 -1 1077944384 43 13194 0 0 3 0 5 2 20 0 15 0 107342809 11274649600 62029 33554432000 4194304 4196468 140729964163888 140147537820560 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28971] ppid=28910 vsize=11010400 memory=264080359219746 CPUtime=0.1 cores=1,3,5,7
/proc/28913/task/28971/stat : 28971 (java) S 28910 28913 13514 0 -1 1077944384 1034 13194 0 0 3 0 5 2 20 0 15 0 107342811 11274649600 62029 33554432000 4194304 4196468 140729964163888 140147106609392 140147680975490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28972] ppid=28910 vsize=11010400 memory=264080359219747 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28972/stat : 28972 (java) S 28910 28913 13514 0 -1 1077944384 14 13194 0 0 0 0 5 2 20 0 15 0 107342811 11274649600 62029 33554432000 4194304 4196468 140729964163888 140146527692000 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28973] ppid=28910 vsize=11010400 memory=264080359219748 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28973/stat : 28973 (java) S 28910 28913 13514 0 -1 1077944384 2 13194 0 0 0 0 5 2 20 0 15 0 107342811 11274649600 62029 33554432000 4194304 4196468 140729964163888 140146326364928 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28974] ppid=28910 vsize=11010400 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28974/stat : 28974 (java) S 28910 28913 13514 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 107342814 11274649600 62029 33554432000 4194304 4196468 140729964163888 140146018965456 140147680982939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28975] ppid=28910 vsize=11010400 memory=6395206304943 CPUtime=1.08 cores=1,3,5,7
/proc/28913/task/28975/stat : 28975 (java) R 28910 28913 13514 0 -1 4202560 2868 13194 0 0 100 1 5 2 20 0 15 0 107342814 11274649600 62029 33554432000 4194304 4196468 140729964163888 140147105557232 140147658559088 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28976] ppid=28910 vsize=11010400 memory=288230617509003574 CPUtime=0.79 cores=1,3,5,7
/proc/28913/task/28976/stat : 28976 (java) R 28910 28913 13514 0 -1 4202560 1735 13194 0 0 71 1 5 2 20 0 15 0 107342814 11274649600 62029 33554432000 4194304 4196468 140729964163888 140147104490784 140147664348943 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28977] ppid=28910 vsize=11010400 memory=13847486485760432 CPUtime=1.17 cores=1,3,5,7
/proc/28913/task/28977/stat : 28977 (java) S 28910 28913 13514 0 -1 1077944384 3881 13194 0 0 109 1 5 2 20 0 15 0 107342814 11274649600 62029 33554432000 4194304 4196468 140729964163888 140147103451632 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28978] ppid=28910 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28978/stat : 28978 (java) S 28910 28913 13514 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 107342814 11274649600 62029 33554432000 4194304 4196468 140729964163888 140145588169568 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28979] ppid=28910 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28979/stat : 28979 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 107342814 11274649600 62029 33554432000 4194304 4196468 140729964163888 140147102399024 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
Current children cumulated CPU time: 6.07 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 248116 KiB

[startup+3.68861 s]
# the end of solver process 28913 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.31494 s, system=0.239842 s

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

[startup+3.20086 s]
/proc/loadavg: 1.67 1.65 1.75 6/215 28979
/proc/meminfo: memFree=27040500/32770624 swapFree=67108860/67108860
[pid=28913] ppid=28910 vsize=11010400 memory=249864 CPUtime=6.28 cores=1,3,5,7
/proc/28913/stat : 28913 (java) S 28910 28913 13514 0 -1 1077944320 38371 13194 0 0 605 16 5 2 20 0 15 0 107342799 11274649600 62466 33554432000 4194304 4196468 140729964163888 140729964146432 140147680964343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
/proc/28913/statm: 2752600 62466 3493 1 0 2714253 0
[pid=28913/tid=28966] ppid=28910 vsize=11010400 memory=30476 CPUtime=3.07 cores=1,3,5,7
/proc/28913/task/28966/stat : 28966 (java) R 28910 28913 13514 0 -1 4202560 25471 13194 0 0 293 7 5 2 20 0 15 0 107342808 11274649600 62466 33554432000 4194304 4196468 140729964163888 140147652796816 140147666657841 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28967] ppid=28910 vsize=11010400 memory=2204 CPUtime=0.09 cores=1,3,5,7
/proc/28913/task/28967/stat : 28967 (java) S 28910 28913 13514 0 -1 1077944384 32 13194 0 0 2 0 5 2 20 0 15 0 107342809 11274649600 62466 33554432000 4194304 4196468 140729964163888 140147685207056 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28968] ppid=28910 vsize=11010400 memory=129 CPUtime=0.1 cores=1,3,5,7
/proc/28913/task/28968/stat : 28968 (java) S 28910 28913 13514 0 -1 1077944384 79 13194 0 0 3 0 5 2 20 0 15 0 107342809 11274649600 62466 33554432000 4194304 4196468 140729964163888 140147539926160 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28969] ppid=28910 vsize=11010400 memory=10763 CPUtime=0.1 cores=1,3,5,7
/proc/28913/task/28969/stat : 28969 (java) S 28910 28913 13514 0 -1 1077944384 278 13194 0 0 3 0 5 2 20 0 15 0 107342809 11274649600 62466 33554432000 4194304 4196468 140729964163888 140147538873104 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28970] ppid=28910 vsize=11010400 memory=25147 CPUtime=0.1 cores=1,3,5,7
/proc/28913/task/28970/stat : 28970 (java) S 28910 28913 13514 0 -1 1077944384 43 13194 0 0 3 0 5 2 20 0 15 0 107342809 11274649600 62466 33554432000 4194304 4196468 140729964163888 140147537820560 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28971] ppid=28910 vsize=11010400 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/28913/task/28971/stat : 28971 (java) S 28910 28913 13514 0 -1 1077944384 1034 13194 0 0 3 0 5 2 20 0 15 0 107342811 11274649600 62466 33554432000 4194304 4196468 140729964163888 140147106609392 140147680975490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28972] ppid=28910 vsize=11010400 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28972/stat : 28972 (java) S 28910 28913 13514 0 -1 1077944384 14 13194 0 0 0 0 5 2 20 0 15 0 107342811 11274649600 62466 33554432000 4194304 4196468 140729964163888 140146527692000 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28973] ppid=28910 vsize=11010400 memory=4108 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28973/stat : 28973 (java) S 28910 28913 13514 0 -1 1077944384 2 13194 0 0 0 0 5 2 20 0 15 0 107342811 11274649600 62466 33554432000 4194304 4196468 140729964163888 140146326364928 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28974] ppid=28910 vsize=11010400 memory=2704 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28974/stat : 28974 (java) S 28910 28913 13514 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 107342814 11274649600 62466 33554432000 4194304 4196468 140729964163888 140146018965456 140147680982939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28975] ppid=28910 vsize=11010400 memory=2596 CPUtime=1.12 cores=1,3,5,7
/proc/28913/task/28975/stat : 28975 (java) S 28910 28913 13514 0 -1 1077944384 2888 13194 0 0 104 1 5 2 20 0 15 0 107342814 11274649600 62466 33554432000 4194304 4196468 140729964163888 140147105557232 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28976] ppid=28910 vsize=11010400 memory=279830004767808 CPUtime=0.83 cores=1,3,5,7
/proc/28913/task/28976/stat : 28976 (java) S 28910 28913 13514 0 -1 1077944384 1964 13194 0 0 75 1 5 2 20 0 15 0 107342814 11274649600 62466 33554432000 4194304 4196468 140729964163888 140147104504688 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28977] ppid=28910 vsize=11010400 memory=3472425374102598244 CPUtime=1.22 cores=1,3,5,7
/proc/28913/task/28977/stat : 28977 (java) S 28910 28913 13514 0 -1 1077944384 4388 13194 0 0 114 1 5 2 20 0 15 0 107342814 11274649600 62466 33554432000 4194304 4196468 140729964163888 140147103451632 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28978] ppid=28910 vsize=11010400 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28978/stat : 28978 (java) S 28910 28913 13514 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 107342814 11274649600 62466 33554432000 4194304 4196468 140729964163888 140145588169568 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28979] ppid=28910 vsize=11010400 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28979/stat : 28979 (java) S 28910 28913 13514 0 -1 1077944384 1 13194 0 0 0 0 5 2 20 0 15 0 107342814 11274649600 62466 33554432000 4194304 4196468 140729964163888 140147102399024 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 249864 KiB

[startup+3.60076 s]
/proc/loadavg: 1.67 1.65 1.75 6/215 28979
/proc/meminfo: memFree=27040500/32770624 swapFree=67108860/67108860
[pid=28913] ppid=28910 vsize=11077984 memory=303100 CPUtime=7.33 cores=1,3,5,7
/proc/28913/stat : 28913 (java) S 28910 28913 13514 0 -1 1077944320 60863 13194 0 0 707 19 5 2 20 0 15 0 107342799 11343855616 75775 33554432000 4194304 4196468 140729964163888 140729964146432 140147680964343 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
/proc/28913/statm: 2769496 75775 3499 1 0 2731149 0
[pid=28913/tid=28966] ppid=28910 vsize=11077984 memory=6083073847998109799 CPUtime=3.47 cores=1,3,5,7
/proc/28913/task/28966/stat : 28966 (java) R 28910 28913 13514 0 -1 4202560 43508 13194 0 0 331 9 5 2 20 0 15 0 107342808 11343855616 75775 33554432000 4194304 4196468 140729964163888 140147652790432 140147680986269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28967] ppid=28910 vsize=11077984 memory=5937837153581424979 CPUtime=0.09 cores=1,3,5,7
/proc/28913/task/28967/stat : 28967 (java) S 28910 28913 13514 0 -1 1077944384 32 13194 0 0 2 0 5 2 20 0 15 0 107342809 11343855616 75775 33554432000 4194304 4196468 140729964163888 140147685207056 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28968] ppid=28910 vsize=11077984 memory=4639928419179188324 CPUtime=0.1 cores=1,3,5,7
/proc/28913/task/28968/stat : 28968 (java) S 28910 28913 13514 0 -1 1077944384 79 13194 0 0 3 0 5 2 20 0 15 0 107342809 11343855616 75775 33554432000 4194304 4196468 140729964163888 140147539926160 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28969] ppid=28910 vsize=11077984 memory=7 CPUtime=0.1 cores=1,3,5,7
/proc/28913/task/28969/stat : 28969 (java) S 28910 28913 13514 0 -1 1077944384 278 13194 0 0 3 0 5 2 20 0 15 0 107342809 11343855616 75775 33554432000 4194304 4196468 140729964163888 140147538873104 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28970] ppid=28910 vsize=11077984 memory=248867585057366 CPUtime=0.1 cores=1,3,5,7
/proc/28913/task/28970/stat : 28970 (java) S 28910 28913 13514 0 -1 1077944384 43 13194 0 0 3 0 5 2 20 0 15 0 107342809 11343855616 75775 33554432000 4194304 4196468 140729964163888 140147537820560 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28971] ppid=28910 vsize=11077984 memory=279830004259840 CPUtime=0.1 cores=1,3,5,7
/proc/28913/task/28971/stat : 28971 (java) S 28910 28913 13514 0 -1 1077944384 1533 13194 0 0 3 0 5 2 20 0 15 0 107342811 11343855616 75775 33554432000 4194304 4196468 140729964163888 140147106609392 140147680975490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28972] ppid=28910 vsize=11077984 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28972/stat : 28972 (java) S 28910 28913 13514 0 -1 1077944384 14 13194 0 0 0 0 5 2 20 0 15 0 107342811 11343855616 75775 33554432000 4194304 4196468 140729964163888 140146527692000 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28973] ppid=28910 vsize=11077984 memory=6944656592387989600 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28973/stat : 28973 (java) S 28910 28913 13514 0 -1 1077944384 2 13194 0 0 0 0 5 2 20 0 15 0 107342811 11343855616 75775 33554432000 4194304 4196468 140729964163888 140146326364928 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28974] ppid=28910 vsize=11077984 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28974/stat : 28974 (java) S 28910 28913 13514 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 107342814 11343855616 75775 33554432000 4194304 4196468 140729964163888 140146018965456 140147680982939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28975] ppid=28910 vsize=11077984 memory=0 CPUtime=1.52 cores=1,3,5,7
/proc/28913/task/28975/stat : 28975 (java) R 28910 28913 13514 0 -1 4202560 5360 13194 0 0 143 2 5 2 20 0 15 0 107342814 11343855616 75775 33554432000 4194304 4196468 140729964163888 140147105543112 140147664521747 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28976] ppid=28910 vsize=11077984 memory=0 CPUtime=0.96 cores=1,3,5,7
/proc/28913/task/28976/stat : 28976 (java) S 28910 28913 13514 0 -1 1077944384 2671 13194 0 0 88 1 5 2 20 0 15 0 107342814 11343855616 75775 33554432000 4194304 4196468 140729964163888 140147104504688 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28977] ppid=28910 vsize=11077984 memory=-1807685287717842718 CPUtime=1.34 cores=1,3,5,7
/proc/28913/task/28977/stat : 28977 (java) S 28910 28913 13514 0 -1 1077944384 5136 13194 0 0 125 2 5 2 20 0 15 0 107342814 11343855616 75775 33554432000 4194304 4196468 140729964163888 140147103451632 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28978] ppid=28910 vsize=11077984 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28978/stat : 28978 (java) S 28910 28913 13514 0 -1 1077944384 3 13194 0 0 0 0 5 2 20 0 15 0 107342814 11343855616 75775 33554432000 4194304 4196468 140729964163888 140145588169568 140147680974549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
[pid=28913/tid=28979] ppid=28910 vsize=11077984 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/28913/task/28979/stat : 28979 (java) S 28910 28913 13514 0 -1 1077944384 5 13194 0 0 0 0 5 2 20 0 15 0 107342814 11343855616 75775 33554432000 4194304 4196468 140729964163888 140147102399024 140147680975490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15540224 140729964165737 140729964168545 140729964168545 140729964171215 0
Current children cumulated CPU time: 7.33 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 303100 KiB

Child status: 0
Real time (s): 3.68867
CPU time (s): 7.55478
CPU user time (s): 7.31494
CPU system time (s): 0.239842
CPU usage (%): 204.81
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 303100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.31494
system time used= 0.239842
maximum resident set size= 308768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74645
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6030
involuntary context switches= 26


# summary of solver processes directly reported to runsolver:
#   pid: 28913
#   total CPU time (s): 7.55478
#   total CPU user time (s): 7.31494
#   total CPU system time (s): 0.239842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052383 second user time and 0.067208 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-29 22:56:36
IDJOB=4302716
IDBENCH=141469
IDSOLVER=2777
FILE ID=node136/4302716-1532897796
RUNJOBID= node136-1532893975-22777
PBS_JOBID= 21022516
Free space on /tmp= 60204 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/Rcpsp/Rcpsp-j30-01-02_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4302716-1532897796/watcher-4302716-1532897796 -o /tmp/evaluation-result-4302716-1532897796/solver-4302716-1532897796 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22777 --watchdog 312  bin/xcsp-3-concrete -J-Xss64M -randomseed=799042843 -superng HOME/instance-4302716-1532897796.xml

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

MD5SUM BENCH= 89f30685fe777f1ae52e0ef342afd904
RANDOM SEED=799042843

node136.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.50
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.50
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.50
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.50
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:        27266996 kB
MemAvailable:   30681500 kB
Buffers:          220964 kB
Cached:          3464064 kB
SwapCached:            0 kB
Active:          3064836 kB
Inactive:        1958248 kB
Active(anon):    1289656 kB
Inactive(anon):    76480 kB
Active(file):    1775180 kB
Inactive(file):  1881768 kB
Unevictable:        7328 kB
Mlocked:            7328 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             21472 kB
Writeback:             0 kB
AnonPages:       1345548 kB
Mapped:            48260 kB
Shmem:             25228 kB
Slab:             174944 kB
SReclaimable:     146780 kB
SUnreclaim:        28164 kB
KernelStack:        3504 kB
PageTables:         8060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2461500 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1110016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 60176 MiB
End job on node136 at 2018-07-29 22:56:40