Trace number 4293097

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.8 2018-06-13? (TO) 2528.19 755.855

General information on the benchmark

NamePseudoBoolean-opt/
Pb-radar-30-30-45-050-100_c18.xml
MD5SUM038278868d516ab8bda18fb263b0f90d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark49
Best CPU time to get the best result obtained on this benchmark2400.3
Satisfiable
(Un)Satisfiability was proved
Number of variables4447
Number of constraints4926
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":4447}]
Minimum variable degree2
Maximum variable degree8
Distribution of variable degrees[{"degree":2,"count":7},{"degree":3,"count":130},{"degree":4,"count":1108},{"degree":5,"count":1123},{"degree":6,"count":1918},{"degree":7,"count":3},{"degree":8,"count":158}]
Minimum constraint arity1
Maximum constraint arity27
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":4194},{"arity":3,"count":18},{"arity":4,"count":27},{"arity":5,"count":32},{"arity":6,"count":33},{"arity":7,"count":20},{"arity":8,"count":23},{"arity":9,"count":25},{"arity":10,"count":27},{"arity":11,"count":33},{"arity":12,"count":28},{"arity":13,"count":34},{"arity":14,"count":49},{"arity":15,"count":45},{"arity":16,"count":31},{"arity":17,"count":50},{"arity":18,"count":49},{"arity":19,"count":49},{"arity":20,"count":46},{"arity":21,"count":43},{"arity":22,"count":36},{"arity":23,"count":15},{"arity":24,"count":8},{"arity":25,"count":6},{"arity":26,"count":2},{"arity":27,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":4926}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.96/0.88	c Concrete v3.8.1528841891564 running

Verifier Data 

One s line expected

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293097-1532309300/watcher-4293097-1532309300 -o /tmp/evaluation-result-4293097-1532309300/solver-4293097-1532309300 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532296223-4593 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1021870034 HOME/instance-4293097-1532309300.xml 

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

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=7025, runsolver pid=7022

[startup+0.100101 s]*
/proc/loadavg: 4.04 4.10 2.91 3/203 7078
/proc/meminfo: memFree=20229728/32770624 swapFree=67108860/67108860
[pid=7025] ppid=7022 vsize=141156 memory=5296 CPUtime=0.07 cores=0,2,4,6
/proc/7025/stat : 7025 (java) S 7022 7025 4562 0 -1 1077944320 2455 12872 0 0 0 0 5 2 20 0 2 0 48493198 144543744 1324 33554432000 4194304 4196468 140729932983184 140729932965728 140454418743031 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
/proc/7025/statm: 35289 1324 993 1 0 24747 0
[pid=7025/tid=7078] ppid=7022 vsize=141156 memory=-8385830966982393793 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7078/stat : 7078 (java) D 7022 7025 4562 0 -1 4202560 262 12872 0 0 0 0 5 2 20 0 2 0 48493207 144543744 1324 33554432000 4194304 4196468 140729932983184 140454390585776 140454418766909 0 0 0 16784584 18446744072100359301 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 141156 KiB
Current children cumulated memory: 5296 KiB

[startup+0.311993 s]*
/proc/loadavg: 4.04 4.10 2.91 3/216 7091
/proc/meminfo: memFree=20214720/32770624 swapFree=67108860/67108860
[pid=7025] ppid=7022 vsize=10818904 memory=37220 CPUtime=0.23 cores=0,2,4,6
/proc/7025/stat : 7025 (java) S 7022 7025 4562 0 -1 1077944320 7116 12872 0 0 14 2 5 2 20 0 15 0 48493198 11078557696 9305 33554432000 4194304 4196468 140729932983184 140729932965728 140454418743031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
/proc/7025/statm: 2704726 9305 2951 1 0 2667149 0
[pid=7025/tid=7078] ppid=7022 vsize=10818904 memory=7022364594140610616 CPUtime=0.16 cores=0,2,4,6
/proc/7025/task/7078/stat : 7078 (java) R 7022 7025 4562 0 -1 4202560 3608 12872 0 0 8 1 5 2 20 0 15 0 48493207 11078557696 9305 33554432000 4194304 4196468 140729932983184 140454390557456 140454403908624 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7079] ppid=7022 vsize=10818904 memory=331 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7079/stat : 7079 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493219 11078557696 9305 33554432000 4194304 4196468 140729932983184 140454422985744 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7080] ppid=7022 vsize=10818904 memory=140615503041266 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7080/stat : 7080 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493219 11078557696 9305 33554432000 4194304 4196468 140729932983184 140453991517328 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7081] ppid=7022 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7081/stat : 7081 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493219 11078557696 9305 33554432000 4194304 4196468 140729932983184 140453990464272 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7082] ppid=7022 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7082/stat : 7082 (java) S 7022 7025 4562 0 -1 1077944384 2 12872 0 0 0 0 5 2 20 0 15 0 48493219 11078557696 9305 33554432000 4194304 4196468 140729932983184 140453989411728 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7083] ppid=7022 vsize=10818904 memory=140615503033984 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7083/stat : 7083 (java) S 7022 7025 4562 0 -1 1077944384 2 12872 0 0 0 0 5 2 20 0 15 0 48493221 11078557696 9305 33554432000 4194304 4196468 140729932983184 140453421738224 140454418754178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7084] ppid=7022 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7084/stat : 7084 (java) S 7022 7025 4562 0 -1 1077944384 13 12872 0 0 0 0 5 2 20 0 15 0 48493221 11078557696 9305 33554432000 4194304 4196468 140729932983184 140453349418144 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7085] ppid=7022 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7085/stat : 7085 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493221 11078557696 9305 33554432000 4194304 4196468 140729932983184 140453215199984 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7086] ppid=7022 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7086/stat : 7086 (java) S 7022 7025 4562 0 -1 1077944384 3 12872 0 0 0 0 5 2 20 0 15 0 48493224 11078557696 9305 33554432000 4194304 4196468 140729932983184 140452974909392 140454418761627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7087] ppid=7022 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7025/task/7087/stat : 7087 (java) S 7022 7025 4562 0 -1 1077944384 571 12872 0 0 1 0 5 2 20 0 15 0 48493224 11078557696 9305 33554432000 4194304 4196468 140729932983184 140453420686064 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7088] ppid=7022 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7088/stat : 7088 (java) S 7022 7025 4562 0 -1 1077944384 60 12872 0 0 0 0 5 2 20 0 15 0 48493224 11078557696 9305 33554432000 4194304 4196468 140729932983184 140453419633520 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7089] ppid=7022 vsize=10818904 memory=140615503033984 CPUtime=0.1 cores=0,2,4,6
/proc/7025/task/7089/stat : 7089 (java) S 7022 7025 4562 0 -1 1077944384 660 12872 0 0 3 0 5 2 20 0 15 0 48493224 11078557696 9305 33554432000 4194304 4196468 140729932983184 140453418580464 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7090] ppid=7022 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7090/stat : 7090 (java) S 7022 7025 4562 0 -1 1077944384 3 12872 0 0 0 0 5 2 20 0 15 0 48493224 11078557696 9305 33554432000 4194304 4196468 140729932983184 140452941351776 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7091] ppid=7022 vsize=10818904 memory=140615503033984 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7091/stat : 7091 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493225 11078557696 9305 33554432000 4194304 4196468 140729932983184 140453315861040 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 37220 KiB

[startup+0.410467 s]*
/proc/loadavg: 4.04 4.10 2.91 4/216 7091
/proc/meminfo: memFree=20204120/32770624 swapFree=67108860/67108860
[pid=7025] ppid=7022 vsize=10819352 memory=49188 CPUtime=0.36 cores=0,2,4,6
/proc/7025/stat : 7025 (java) S 7022 7025 4562 0 -1 1077944320 10314 12872 0 0 26 3 5 2 20 0 15 0 48493198 11079016448 12297 33554432000 4194304 4196468 140729932983184 140729932965728 140454418743031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
/proc/7025/statm: 2704838 12297 3106 1 0 2667149 0
[pid=7025/tid=7078] ppid=7022 vsize=10819352 memory=5795117241467496816 CPUtime=0.26 cores=0,2,4,6
/proc/7025/task/7078/stat : 7078 (java) R 7022 7025 4562 0 -1 4202560 6758 12872 0 0 17 2 5 2 20 0 15 0 48493207 11079016448 12297 33554432000 4194304 4196468 140729932983184 140454390553584 140454402823518 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7079] ppid=7022 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7079/stat : 7079 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493219 11079016448 12297 33554432000 4194304 4196468 140729932983184 140454422985744 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7080] ppid=7022 vsize=10819352 memory=140615503033984 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7080/stat : 7080 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493219 11079016448 12297 33554432000 4194304 4196468 140729932983184 140453991517328 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7081] ppid=7022 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7081/stat : 7081 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493219 11079016448 12297 33554432000 4194304 4196468 140729932983184 140453990464272 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7082] ppid=7022 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7082/stat : 7082 (java) S 7022 7025 4562 0 -1 1077944384 2 12872 0 0 0 0 5 2 20 0 15 0 48493219 11079016448 12297 33554432000 4194304 4196468 140729932983184 140453989411728 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7083] ppid=7022 vsize=10819352 memory=140615503033984 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7083/stat : 7083 (java) S 7022 7025 4562 0 -1 1077944384 2 12872 0 0 0 0 5 2 20 0 15 0 48493221 11079016448 12297 33554432000 4194304 4196468 140729932983184 140453421738224 140454418754178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7084] ppid=7022 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7084/stat : 7084 (java) S 7022 7025 4562 0 -1 1077944384 13 12872 0 0 0 0 5 2 20 0 15 0 48493221 11079016448 12297 33554432000 4194304 4196468 140729932983184 140453349418144 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7085] ppid=7022 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7085/stat : 7085 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493221 11079016448 12297 33554432000 4194304 4196468 140729932983184 140453215199984 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7086] ppid=7022 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7086/stat : 7086 (java) S 7022 7025 4562 0 -1 1077944384 3 12872 0 0 0 0 5 2 20 0 15 0 48493224 11079016448 12297 33554432000 4194304 4196468 140729932983184 140452974909392 140454418761627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7087] ppid=7022 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/7025/task/7087/stat : 7087 (java) S 7022 7025 4562 0 -1 1077944384 574 12872 0 0 1 0 5 2 20 0 15 0 48493224 11079016448 12297 33554432000 4194304 4196468 140729932983184 140453420686064 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7088] ppid=7022 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/7025/task/7088/stat : 7088 (java) S 7022 7025 4562 0 -1 1077944384 67 12872 0 0 1 0 5 2 20 0 15 0 48493224 11079016448 12297 33554432000 4194304 4196468 140729932983184 140453419633520 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7089] ppid=7022 vsize=10819352 memory=140615503033984 CPUtime=0.12 cores=0,2,4,6
/proc/7025/task/7089/stat : 7089 (java) S 7022 7025 4562 0 -1 1077944384 699 12872 0 0 5 0 5 2 20 0 15 0 48493224 11079016448 12297 33554432000 4194304 4196468 140729932983184 140453418580464 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7090] ppid=7022 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7090/stat : 7090 (java) S 7022 7025 4562 0 -1 1077944384 3 12872 0 0 0 0 5 2 20 0 15 0 48493224 11079016448 12297 33554432000 4194304 4196468 140729932983184 140452941351776 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7091] ppid=7022 vsize=10819352 memory=140615503033984 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7091/stat : 7091 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493225 11079016448 12297 33554432000 4194304 4196468 140729932983184 140453315861040 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 49188 KiB

[startup+0.710848 s]
/proc/loadavg: 4.04 4.10 2.91 3/216 7091
/proc/meminfo: memFree=20197920/32770624 swapFree=67108860/67108860
[pid=7025] ppid=7022 vsize=10819352 memory=65724 CPUtime=0.77 cores=0,2,4,6
/proc/7025/stat : 7025 (java) S 7022 7025 4562 0 -1 1077944320 12603 12872 0 0 65 5 5 2 20 0 15 0 48493198 11079016448 16431 33554432000 4194304 4196468 140729932983184 140729932965728 140454418743031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
/proc/7025/statm: 2704838 16431 3154 1 0 2667149 0
[pid=7025/tid=7078] ppid=7022 vsize=10819352 memory=317785472934095148 CPUtime=0.54 cores=0,2,4,6
/proc/7025/task/7078/stat : 7078 (java) R 7022 7025 4562 0 -1 4202560 8779 12872 0 0 44 3 5 2 20 0 15 0 48493207 11079016448 16431 33554432000 4194304 4196468 140729932983184 140454390571952 140454401934582 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7079] ppid=7022 vsize=10819352 memory=15544028699831761 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7079/stat : 7079 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493219 11079016448 16431 33554432000 4194304 4196468 140729932983184 140454422985744 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7080] ppid=7022 vsize=10819352 memory=-6237260532469557610 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7080/stat : 7080 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493219 11079016448 16431 33554432000 4194304 4196468 140729932983184 140453991517328 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7081] ppid=7022 vsize=10819352 memory=-3975649505123405620 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7081/stat : 7081 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493219 11079016448 16431 33554432000 4194304 4196468 140729932983184 140453990464272 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7082] ppid=7022 vsize=10819352 memory=-2892745056948402235 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7082/stat : 7082 (java) S 7022 7025 4562 0 -1 1077944384 2 12872 0 0 0 0 5 2 20 0 15 0 48493219 11079016448 16431 33554432000 4194304 4196468 140729932983184 140453989411728 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7083] ppid=7022 vsize=10819352 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7083/stat : 7083 (java) S 7022 7025 4562 0 -1 1077944384 5 12872 0 0 0 0 5 2 20 0 15 0 48493221 11079016448 16431 33554432000 4194304 4196468 140729932983184 140453421738224 140454418754178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7084] ppid=7022 vsize=10819352 memory=6944656592387989600 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7084/stat : 7084 (java) S 7022 7025 4562 0 -1 1077944384 13 12872 0 0 0 0 5 2 20 0 15 0 48493221 11079016448 16431 33554432000 4194304 4196468 140729932983184 140453349418144 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7085] ppid=7022 vsize=10819352 memory=6655300316396806240 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7085/stat : 7085 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493221 11079016448 16431 33554432000 4194304 4196468 140729932983184 140453215199984 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7086] ppid=7022 vsize=10819352 memory=6943526294502006880 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7086/stat : 7086 (java) S 7022 7025 4562 0 -1 1077944384 3 12872 0 0 0 0 5 2 20 0 15 0 48493224 11079016448 16431 33554432000 4194304 4196468 140729932983184 140452974909392 140454418761627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7087] ppid=7022 vsize=10819352 memory=-4695052241013923951 CPUtime=0.1 cores=0,2,4,6
/proc/7025/task/7087/stat : 7087 (java) S 7022 7025 4562 0 -1 1077944384 644 12872 0 0 3 0 5 2 20 0 15 0 48493224 11079016448 16431 33554432000 4194304 4196468 140729932983184 140453420686064 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7088] ppid=7022 vsize=10819352 memory=-1664385933527490352 CPUtime=0.1 cores=0,2,4,6
/proc/7025/task/7088/stat : 7088 (java) S 7022 7025 4562 0 -1 1077944384 106 12872 0 0 3 0 5 2 20 0 15 0 48493224 11079016448 16431 33554432000 4194304 4196468 140729932983184 140453419633520 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7089] ppid=7022 vsize=10819352 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/7025/task/7089/stat : 7089 (java) S 7022 7025 4562 0 -1 1077944384 852 12872 0 0 12 0 5 2 20 0 15 0 48493224 11079016448 16431 33554432000 4194304 4196468 140729932983184 140453418580464 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7090] ppid=7022 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7090/stat : 7090 (java) S 7022 7025 4562 0 -1 1077944384 3 12872 0 0 0 0 5 2 20 0 15 0 48493224 11079016448 16431 33554432000 4194304 4196468 140729932983184 140452941351776 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7091] ppid=7022 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7091/stat : 7091 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493225 11079016448 16431 33554432000 4194304 4196468 140729932983184 140453315861040 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 65724 KiB

[startup+1.50102 s]
/proc/loadavg: 4.04 4.10 2.91 4/216 7091
/proc/meminfo: memFree=20152260/32770624 swapFree=67108860/67108860
[pid=7025] ppid=7022 vsize=10828108 memory=163256 CPUtime=2.61 cores=0,2,4,6
/proc/7025/stat : 7025 (java) S 7022 7025 4562 0 -1 1077944320 22421 12872 0 0 247 7 5 2 20 0 15 0 48493198 11087982592 40814 33554432000 4194304 4196468 140729932983184 140729932965728 140454418743031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
/proc/7025/statm: 2707027 40814 3450 1 0 2668685 0
[pid=7025/tid=7078] ppid=7022 vsize=10828108 memory=7591209032944472419 CPUtime=1.33 cores=0,2,4,6
/proc/7025/task/7078/stat : 7078 (java) R 7022 7025 4562 0 -1 4202560 15044 12872 0 0 120 6 5 2 20 0 15 0 48493207 11087982592 40814 33554432000 4194304 4196468 140729932983184 140454390574288 140454025911092 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7079] ppid=7022 vsize=10828108 memory=4637749587256644481 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7079/stat : 7079 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493219 11087982592 40814 33554432000 4194304 4196468 140729932983184 140454422985744 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7080] ppid=7022 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7080/stat : 7080 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493219 11087982592 40814 33554432000 4194304 4196468 140729932983184 140453991517328 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7081] ppid=7022 vsize=10828108 memory=43719502 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7081/stat : 7081 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493219 11087982592 40814 33554432000 4194304 4196468 140729932983184 140453990464272 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7082] ppid=7022 vsize=10828108 memory=1395 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7082/stat : 7082 (java) S 7022 7025 4562 0 -1 1077944384 2 12872 0 0 0 0 5 2 20 0 15 0 48493219 11087982592 40814 33554432000 4194304 4196468 140729932983184 140453989411728 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7083] ppid=7022 vsize=10828108 memory=281230700889056 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7083/stat : 7083 (java) S 7022 7025 4562 0 -1 1077944384 6 12872 0 0 0 0 5 2 20 0 15 0 48493221 11087982592 40814 33554432000 4194304 4196468 140729932983184 140453421738224 140454418754178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7084] ppid=7022 vsize=10828108 memory=140615350421752 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7084/stat : 7084 (java) S 7022 7025 4562 0 -1 1077944384 13 12872 0 0 0 0 5 2 20 0 15 0 48493221 11087982592 40814 33554432000 4194304 4196468 140729932983184 140453349418144 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7085] ppid=7022 vsize=10828108 memory=281230700856720 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7085/stat : 7085 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493221 11087982592 40814 33554432000 4194304 4196468 140729932983184 140453215199984 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7086] ppid=7022 vsize=10828108 memory=2110965957530916 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7086/stat : 7086 (java) S 7022 7025 4562 0 -1 1077944384 3 12872 0 0 0 0 5 2 20 0 15 0 48493224 11087982592 40814 33554432000 4194304 4196468 140729932983184 140452974909392 140454418761627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7087] ppid=7022 vsize=10828108 memory=281230700859008 CPUtime=0.5 cores=0,2,4,6
/proc/7025/task/7087/stat : 7087 (java) R 7022 7025 4562 0 -1 4202560 1911 12872 0 0 43 0 5 2 20 0 15 0 48493224 11087982592 40814 33554432000 4194304 4196468 140729932983184 140453420674208 140454400287593 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7088] ppid=7022 vsize=10828108 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/7025/task/7088/stat : 7088 (java) R 7022 7025 4562 0 -1 4202560 1631 12872 0 0 41 0 5 2 20 0 15 0 48493224 11087982592 40814 33554432000 4194304 4196468 140729932983184 140453419619856 140454402241896 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7089] ppid=7022 vsize=10828108 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/7025/task/7089/stat : 7089 (java) S 7022 7025 4562 0 -1 1077944384 1610 12872 0 0 40 0 5 2 20 0 15 0 48493224 11087982592 40814 33554432000 4194304 4196468 140729932983184 140453418580464 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7090] ppid=7022 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7090/stat : 7090 (java) S 7022 7025 4562 0 -1 1077944384 3 12872 0 0 0 0 5 2 20 0 15 0 48493224 11087982592 40814 33554432000 4194304 4196468 140729932983184 140452941351776 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7091] ppid=7022 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7091/stat : 7091 (java) S 7022 7025 4562 0 -1 1077944384 1 12872 0 0 0 0 5 2 20 0 15 0 48493225 11087982592 40814 33554432000 4194304 4196468 140729932983184 140453315861040 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 10828108 KiB
Current children cumulated memory: 163256 KiB

[startup+3.10303 s]*
/proc/loadavg: 4.04 4.10 2.91 6/216 7091
/proc/meminfo: memFree=20001448/32770624 swapFree=67108860/67108860
[pid=7025] ppid=7022 vsize=10842464 memory=259152 CPUtime=6.15 cores=0,2,4,6
/proc/7025/stat : 7025 (java) S 7022 7025 4562 0 -1 1077944320 33186 12872 0 0 593 15 5 2 20 0 15 0 48493198 11102683136 64788 33554432000 4194304 4196468 140729932983184 140729932965728 140454418743031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
/proc/7025/statm: 2710616 64788 3494 1 0 2672269 0

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


[startup+755.855 s]
# the end of solver process 7025 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.54 s, system=13.6473 s

Solver just ended.
Dumping a history of the last processes samples

[startup+754.501 s]
/proc/loadavg: 4.47 4.32 3.54 6/216 7113
/proc/meminfo: memFree=11883724/32770624 swapFree=67108860/67108860
[pid=7025] ppid=7022 vsize=10844512 memory=8366824 CPUtime=2523.05 cores=0,2,4,6
/proc/7025/stat : 7025 (java) S 7022 7025 4562 0 -1 1077944320 522840 12872 0 0 250943 1355 5 2 20 0 15 0 48493198 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140729932965728 140454418743031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
/proc/7025/statm: 2711128 2091706 3517 1 0 2672781 0
[pid=7025/tid=7078] ppid=7022 vsize=10844512 memory=8366824 CPUtime=139.96 cores=0,2,4,6
/proc/7025/task/7078/stat : 7078 (java) S 7022 7025 4562 0 -1 1077944384 61540 12872 0 0 13977 12 5 2 20 0 15 0 48493207 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140454390576720 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7079] ppid=7022 vsize=10844512 memory=8366824 CPUtime=593.15 cores=0,2,4,6
/proc/7025/task/7079/stat : 7079 (java) R 7022 7025 4562 0 -1 4202560 47186 12872 0 0 58988 320 5 2 20 0 15 0 48493219 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140454422985640 140454411371239 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7080] ppid=7022 vsize=10844512 memory=16436 CPUtime=587.66 cores=0,2,4,6
/proc/7025/task/7080/stat : 7080 (java) R 7022 7025 4562 0 -1 4202560 17493 12872 0 0 58406 353 5 2 20 0 15 0 48493219 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453991517528 140454400339765 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7081] ppid=7022 vsize=10844512 memory=9868 CPUtime=598.73 cores=0,2,4,6
/proc/7025/task/7081/stat : 7081 (java) R 7022 7025 4562 0 -1 4202560 71162 12872 0 0 59568 298 5 2 20 0 15 0 48493219 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453990463856 140454411371239 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7082] ppid=7022 vsize=10844512 memory=4008 CPUtime=589.83 cores=0,2,4,6
/proc/7025/task/7082/stat : 7082 (java) R 7022 7025 4562 0 -1 4202560 41890 12872 0 0 58631 345 5 2 20 0 15 0 48493219 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453989411312 140454411371239 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7083] ppid=7022 vsize=10844512 memory=1796 CPUtime=5 cores=0,2,4,6
/proc/7025/task/7083/stat : 7083 (java) S 7022 7025 4562 0 -1 1077944384 242758 12872 0 0 482 11 5 2 20 0 15 0 48493221 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453421736544 140454418753237 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7084] ppid=7022 vsize=10844512 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7084/stat : 7084 (java) S 7022 7025 4562 0 -1 1077944384 50 12872 0 0 0 0 5 2 20 0 15 0 48493221 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453349418272 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7085] ppid=7022 vsize=10844512 memory=4124 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7085/stat : 7085 (java) S 7022 7025 4562 0 -1 1077944384 30 12872 0 0 0 0 5 2 20 0 15 0 48493221 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453215200000 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7086] ppid=7022 vsize=10844512 memory=2200 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7086/stat : 7086 (java) S 7022 7025 4562 0 -1 1077944384 6 12872 0 0 0 0 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140452974909040 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7087] ppid=7022 vsize=10844512 memory=7528 CPUtime=3.47 cores=0,2,4,6
/proc/7025/task/7087/stat : 7087 (java) S 7022 7025 4562 0 -1 1077944384 12711 12872 0 0 339 1 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453420686112 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7088] ppid=7022 vsize=10844512 memory=8112282956445269571 CPUtime=3.59 cores=0,2,4,6
/proc/7025/task/7088/stat : 7088 (java) S 7022 7025 4562 0 -1 1077944384 11110 12872 0 0 351 1 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453419633280 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7089] ppid=7022 vsize=10844512 memory=8366824 CPUtime=1.82 cores=0,2,4,6
/proc/7025/task/7089/stat : 7089 (java) S 7022 7025 4562 0 -1 1077944384 13907 12872 0 0 173 2 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453418580512 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7090] ppid=7022 vsize=10844512 memory=736 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7090/stat : 7090 (java) S 7022 7025 4562 0 -1 1077944384 3 12872 0 0 0 0 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140452941351776 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7091] ppid=7022 vsize=10844512 memory=1408 CPUtime=0.37 cores=0,2,4,6
/proc/7025/task/7091/stat : 7091 (java) S 7022 7025 4562 0 -1 1077944384 800 12872 0 0 18 12 5 2 20 0 15 0 48493225 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453315861040 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
Current children cumulated CPU time: 2523.05 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8366824 KiB

[startup+755.301 s]
/proc/loadavg: 4.47 4.32 3.54 6/216 7113
/proc/meminfo: memFree=11883724/32770624 swapFree=67108860/67108860
[pid=7025] ppid=7022 vsize=10844512 memory=8366824 CPUtime=2526.15 cores=0,2,4,6
/proc/7025/stat : 7025 (java) S 7022 7025 4562 0 -1 1077944320 522848 12872 0 0 251252 1356 5 2 20 0 15 0 48493198 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140729932965728 140454418743031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
/proc/7025/statm: 2711128 2091706 3517 1 0 2672781 0
[pid=7025/tid=7078] ppid=7022 vsize=10844512 memory=644 CPUtime=139.96 cores=0,2,4,6
/proc/7025/task/7078/stat : 7078 (java) S 7022 7025 4562 0 -1 1077944384 61540 12872 0 0 13977 12 5 2 20 0 15 0 48493207 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140454390576720 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7079] ppid=7022 vsize=10844512 memory=956 CPUtime=593.91 cores=0,2,4,6
/proc/7025/task/7079/stat : 7079 (java) R 7022 7025 4562 0 -1 4202560 47186 12872 0 0 59063 321 5 2 20 0 15 0 48493219 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140454422985328 140454411371239 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7080] ppid=7022 vsize=10844512 memory=2340 CPUtime=588.46 cores=0,2,4,6
/proc/7025/task/7080/stat : 7080 (java) R 7022 7025 4562 0 -1 4202560 17501 12872 0 0 58486 353 5 2 20 0 15 0 48493219 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453991517528 140454403440783 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7081] ppid=7022 vsize=10844512 memory=1576 CPUtime=599.5 cores=0,2,4,6
/proc/7025/task/7081/stat : 7081 (java) R 7022 7025 4562 0 -1 4202560 71162 12872 0 0 59644 299 5 2 20 0 15 0 48493219 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453990463856 140454411371239 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7082] ppid=7022 vsize=10844512 memory=928 CPUtime=590.6 cores=0,2,4,6
/proc/7025/task/7082/stat : 7082 (java) R 7022 7025 4562 0 -1 4202560 41890 12872 0 0 58707 346 5 2 20 0 15 0 48493219 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453989411624 140454411371239 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7083] ppid=7022 vsize=10844512 memory=8366824 CPUtime=5 cores=0,2,4,6
/proc/7025/task/7083/stat : 7083 (java) S 7022 7025 4562 0 -1 1077944384 242758 12872 0 0 482 11 5 2 20 0 15 0 48493221 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453421736544 140454418753237 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7084] ppid=7022 vsize=10844512 memory=12976 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7084/stat : 7084 (java) S 7022 7025 4562 0 -1 1077944384 50 12872 0 0 0 0 5 2 20 0 15 0 48493221 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453349418272 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7085] ppid=7022 vsize=10844512 memory=1696 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7085/stat : 7085 (java) S 7022 7025 4562 0 -1 1077944384 30 12872 0 0 0 0 5 2 20 0 15 0 48493221 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453215200000 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7086] ppid=7022 vsize=10844512 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7086/stat : 7086 (java) S 7022 7025 4562 0 -1 1077944384 6 12872 0 0 0 0 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140452974909040 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7087] ppid=7022 vsize=10844512 memory=1428 CPUtime=3.47 cores=0,2,4,6
/proc/7025/task/7087/stat : 7087 (java) S 7022 7025 4562 0 -1 1077944384 12711 12872 0 0 339 1 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453420686112 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7088] ppid=7022 vsize=10844512 memory=12976 CPUtime=3.59 cores=0,2,4,6
/proc/7025/task/7088/stat : 7088 (java) S 7022 7025 4562 0 -1 1077944384 11110 12872 0 0 351 1 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453419633280 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7089] ppid=7022 vsize=10844512 memory=8368 CPUtime=1.82 cores=0,2,4,6
/proc/7025/task/7089/stat : 7089 (java) S 7022 7025 4562 0 -1 1077944384 13907 12872 0 0 173 2 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453418580512 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7090] ppid=7022 vsize=10844512 memory=800 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7090/stat : 7090 (java) S 7022 7025 4562 0 -1 1077944384 3 12872 0 0 0 0 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140452941351776 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7091] ppid=7022 vsize=10844512 memory=15876 CPUtime=0.37 cores=0,2,4,6
/proc/7025/task/7091/stat : 7091 (java) S 7022 7025 4562 0 -1 1077944384 800 12872 0 0 18 12 5 2 20 0 15 0 48493225 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453315861040 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
Current children cumulated CPU time: 2526.15 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8366824 KiB

[startup+755.701 s]
/proc/loadavg: 4.47 4.32 3.54 6/216 7113
/proc/meminfo: memFree=11883724/32770624 swapFree=67108860/67108860
[pid=7025] ppid=7022 vsize=10844512 memory=8366824 CPUtime=2527.71 cores=0,2,4,6
/proc/7025/stat : 7025 (java) S 7022 7025 4562 0 -1 1077944320 522850 12872 0 0 251407 1357 5 2 20 0 15 0 48493198 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140729932965728 140454418743031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
/proc/7025/statm: 2711128 2091706 3517 1 0 2672781 0
[pid=7025/tid=7078] ppid=7022 vsize=10844512 memory=4616 CPUtime=139.96 cores=0,2,4,6
/proc/7025/task/7078/stat : 7078 (java) S 7022 7025 4562 0 -1 1077944384 61540 12872 0 0 13977 12 5 2 20 0 15 0 48493207 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140454390576720 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7079] ppid=7022 vsize=10844512 memory=8112282956445269571 CPUtime=594.3 cores=0,2,4,6
/proc/7025/task/7079/stat : 7079 (java) S 7022 7025 4562 0 -1 1077944384 47186 12872 0 0 59102 321 5 2 20 0 15 0 48493219 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140454422985328 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7080] ppid=7022 vsize=10844512 memory=281230701368352 CPUtime=588.86 cores=0,2,4,6
/proc/7025/task/7080/stat : 7080 (java) R 7022 7025 4562 0 -1 4202560 17503 12872 0 0 58526 353 5 2 20 0 15 0 48493219 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453991517528 140454400340042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7081] ppid=7022 vsize=10844512 memory=8319819935223683882 CPUtime=599.88 cores=0,2,4,6
/proc/7025/task/7081/stat : 7081 (java) S 7022 7025 4562 0 -1 1077944384 71162 12872 0 0 59682 299 5 2 20 0 15 0 48493219 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453990463856 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7082] ppid=7022 vsize=10844512 memory=143076366857611 CPUtime=590.98 cores=0,2,4,6
/proc/7025/task/7082/stat : 7082 (java) S 7022 7025 4562 0 -1 1077944384 41890 12872 0 0 58745 346 5 2 20 0 15 0 48493219 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453989411312 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7083] ppid=7022 vsize=10844512 memory=2896 CPUtime=5 cores=0,2,4,6
/proc/7025/task/7083/stat : 7083 (java) S 7022 7025 4562 0 -1 1077944384 242758 12872 0 0 482 11 5 2 20 0 15 0 48493221 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453421736544 140454418753237 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7084] ppid=7022 vsize=10844512 memory=2692 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7084/stat : 7084 (java) S 7022 7025 4562 0 -1 1077944384 50 12872 0 0 0 0 5 2 20 0 15 0 48493221 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453349418272 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7085] ppid=7022 vsize=10844512 memory=4104 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7085/stat : 7085 (java) S 7022 7025 4562 0 -1 1077944384 30 12872 0 0 0 0 5 2 20 0 15 0 48493221 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453215200000 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7086] ppid=7022 vsize=10844512 memory=736 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7086/stat : 7086 (java) S 7022 7025 4562 0 -1 1077944384 6 12872 0 0 0 0 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140452974909040 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7087] ppid=7022 vsize=10844512 memory=1408 CPUtime=3.47 cores=0,2,4,6
/proc/7025/task/7087/stat : 7087 (java) S 7022 7025 4562 0 -1 1077944384 12711 12872 0 0 339 1 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453420686112 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7088] ppid=7022 vsize=10844512 memory=2340 CPUtime=3.59 cores=0,2,4,6
/proc/7025/task/7088/stat : 7088 (java) S 7022 7025 4562 0 -1 1077944384 11110 12872 0 0 351 1 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453419633280 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7089] ppid=7022 vsize=10844512 memory=1576 CPUtime=1.82 cores=0,2,4,6
/proc/7025/task/7089/stat : 7089 (java) S 7022 7025 4562 0 -1 1077944384 13907 12872 0 0 173 2 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453418580512 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7090] ppid=7022 vsize=10844512 memory=928 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7090/stat : 7090 (java) S 7022 7025 4562 0 -1 1077944384 3 12872 0 0 0 0 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140452941351776 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7091] ppid=7022 vsize=10844512 memory=2240 CPUtime=0.37 cores=0,2,4,6
/proc/7025/task/7091/stat : 7091 (java) S 7022 7025 4562 0 -1 1077944384 800 12872 0 0 18 12 5 2 20 0 15 0 48493225 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453315861040 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
Current children cumulated CPU time: 2527.71 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8366824 KiB

[startup+755.801 s]
/proc/loadavg: 4.47 4.32 3.54 6/216 7113
/proc/meminfo: memFree=11883724/32770624 swapFree=67108860/67108860
[pid=7025] ppid=7022 vsize=10844512 memory=8366824 CPUtime=2528.1 cores=0,2,4,6
/proc/7025/stat : 7025 (java) S 7022 7025 4562 0 -1 1077944320 522851 12872 0 0 251446 1357 5 2 20 0 15 0 48493198 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140729932965728 140454418743031 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
/proc/7025/statm: 2711128 2091706 3517 1 0 2672781 0
[pid=7025/tid=7078] ppid=7022 vsize=10844512 memory=5520 CPUtime=139.96 cores=0,2,4,6
/proc/7025/task/7078/stat : 7078 (java) S 7022 7025 4562 0 -1 1077944384 61540 12872 0 0 13977 12 5 2 20 0 15 0 48493207 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140454390576720 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7079] ppid=7022 vsize=10844512 memory=8366824 CPUtime=594.39 cores=0,2,4,6
/proc/7025/task/7079/stat : 7079 (java) R 7022 7025 4562 0 -1 4202560 47186 12872 0 0 59111 321 5 2 20 0 15 0 48493219 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140454422985640 140454411371239 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7080] ppid=7022 vsize=10844512 memory=8366824 CPUtime=588.96 cores=0,2,4,6
/proc/7025/task/7080/stat : 7080 (java) R 7022 7025 4562 0 -1 4202560 17504 12872 0 0 58536 353 5 2 20 0 15 0 48493219 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453991517528 140454400340042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7081] ppid=7022 vsize=10844512 memory=7 CPUtime=599.98 cores=0,2,4,6
/proc/7025/task/7081/stat : 7081 (java) R 7022 7025 4562 0 -1 4202560 71162 12872 0 0 59692 299 5 2 20 0 15 0 48493219 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453990463856 140454411371239 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7082] ppid=7022 vsize=10844512 memory=4140 CPUtime=591.08 cores=0,2,4,6
/proc/7025/task/7082/stat : 7082 (java) R 7022 7025 4562 0 -1 4202560 41890 12872 0 0 58755 346 5 2 20 0 15 0 48493219 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453989411312 140454411371239 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7083] ppid=7022 vsize=10844512 memory=4124 CPUtime=5 cores=0,2,4,6
/proc/7025/task/7083/stat : 7083 (java) S 7022 7025 4562 0 -1 1077944384 242758 12872 0 0 482 11 5 2 20 0 15 0 48493221 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453421736544 140454418753237 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7084] ppid=7022 vsize=10844512 memory=281230701636352 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7084/stat : 7084 (java) S 7022 7025 4562 0 -1 1077944384 50 12872 0 0 0 0 5 2 20 0 15 0 48493221 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453349418272 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7085] ppid=7022 vsize=10844512 memory=16048 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7085/stat : 7085 (java) S 7022 7025 4562 0 -1 1077944384 30 12872 0 0 0 0 5 2 20 0 15 0 48493221 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453215200000 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7086] ppid=7022 vsize=10844512 memory=2436 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7086/stat : 7086 (java) S 7022 7025 4562 0 -1 1077944384 6 12872 0 0 0 0 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140452974909040 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7087] ppid=7022 vsize=10844512 memory=8366824 CPUtime=3.47 cores=0,2,4,6
/proc/7025/task/7087/stat : 7087 (java) S 7022 7025 4562 0 -1 1077944384 12711 12872 0 0 339 1 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453420686112 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7088] ppid=7022 vsize=10844512 memory=4140 CPUtime=3.59 cores=0,2,4,6
/proc/7025/task/7088/stat : 7088 (java) S 7022 7025 4562 0 -1 1077944384 11110 12872 0 0 351 1 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453419633280 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7089] ppid=7022 vsize=10844512 memory=4140 CPUtime=1.82 cores=0,2,4,6
/proc/7025/task/7089/stat : 7089 (java) S 7022 7025 4562 0 -1 1077944384 13907 12872 0 0 173 2 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453418580512 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7090] ppid=7022 vsize=10844512 memory=16048 CPUtime=0.07 cores=0,2,4,6
/proc/7025/task/7090/stat : 7090 (java) S 7022 7025 4562 0 -1 1077944384 3 12872 0 0 0 0 5 2 20 0 15 0 48493224 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140452941351776 140454418753237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
[pid=7025/tid=7091] ppid=7022 vsize=10844512 memory=8366824 CPUtime=0.37 cores=0,2,4,6
/proc/7025/task/7091/stat : 7091 (java) S 7022 7025 4562 0 -1 1077944384 800 12872 0 0 18 12 5 2 20 0 15 0 48493225 11104780288 2091706 33554432000 4194304 4196468 140729932983184 140453315861040 140454418754178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21147648 140729932986990 140729932989788 140729932989788 140729932992463 0
Current children cumulated CPU time: 2528.1 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 8366824 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 755.855
CPU time (s): 2528.19
CPU user time (s): 2514.54
CPU system time (s): 13.6473
CPU usage (%): 334.481
Max. virtual memory (cumulated for all children) (KiB): 10844512
Max. memory (cumulated for all children) (KiB): 8366824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.54
system time used= 13.6473
maximum resident set size= 8367028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 535725
page faults= 0
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76628
involuntary context switches= 42933


# summary of solver processes directly reported to runsolver:
#   pid: 7025
#   total CPU time (s): 2528.19
#   total CPU user time (s): 2514.54
#   total CPU system time (s): 13.6473

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.8268 second user time and 7.10393 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-23 03:28:20
IDJOB=4293097
IDBENCH=141119
IDSOLVER=2750
FILE ID=node136/4293097-1532309300
RUNJOBID= node136-1532296223-4593
PBS_JOBID= 21018988
Free space on /tmp= 57084 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/PseudoBoolean-opt/Pb-radar-30-30-45-050-100_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293097-1532309300/watcher-4293097-1532309300 -o /tmp/evaluation-result-4293097-1532309300/solver-4293097-1532309300 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532296223-4593 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1021870034 HOME/instance-4293097-1532309300.xml

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

MD5SUM BENCH= 038278868d516ab8bda18fb263b0f90d
RANDOM SEED=1021870034

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:        20250508 kB
MemAvailable:   30290636 kB
Buffers:          254736 kB
Cached:          9989340 kB
SwapCached:            0 kB
Active:          2887624 kB
Inactive:        9057908 kB
Active(anon):    1703928 kB
Inactive(anon):    16928 kB
Active(file):    1183696 kB
Inactive(file):  9040980 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             27028 kB
Writeback:             0 kB
AnonPages:       1708168 kB
Mapped:            49572 kB
Shmem:             17068 kB
Slab:             271336 kB
SReclaimable:     243912 kB
SUnreclaim:        27424 kB
KernelStack:        3568 kB
PageTables:         8812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2604064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1474560 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= 57060 MiB
End job on node136 at 2018-07-23 03:40:56