Trace number 4293062

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-SuperNG 2018-06-13OPT4 6.80424 3.51043

General information on the benchmark

NamePseudoBoolean-opt/
Pb-garden-4x4_c18.xml
MD5SUM854371ae6c45321a117efbc84c9832b3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark0.00617
Satisfiable
(Un)Satisfiability was proved
Number of variables16
Number of constraints16
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":16}]
Minimum variable degree4
Maximum variable degree6
Distribution of variable degrees[{"degree":4,"count":4},{"degree":5,"count":8},{"degree":6,"count":4}]
Minimum constraint arity3
Maximum constraint arity5
Distribution of constraint arities[{"arity":3,"count":4},{"arity":4,"count":8},{"arity":5,"count":4}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":16}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.98/0.74	c Concrete v3.8.1528841891564 running
6.26/3.36	o 7
6.26/3.38	o 6
6.57/3.40	o 5
6.57/3.43	o 4
6.57/3.44	v <instantiation cost="4">
6.57/3.44	v       <list>
6.57/3.44	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15]
6.57/3.44	v       </list>
6.57/3.44	v       <values>
6.57/3.44	v         0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0
6.57/3.44	v       </values>
6.57/3.44	v     </instantiation>
6.57/3.44	s OPTIMUM FOUND

Verifier Data 

OK	4

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293062-1532306173/watcher-4293062-1532306173 -o /tmp/evaluation-result-4293062-1532306173/solver-4293062-1532306173 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532296193-16111 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=199659997 -superng HOME/instance-4293062-1532306173.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=18077, runsolver pid=18074


[startup+0.100142 s]*
/proc/loadavg: 1.68 1.62 1.59 4/211 18134
/proc/meminfo: memFree=17705160/32770624 swapFree=67108860/67108860
[pid=18077] ppid=18074 vsize=9972712 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/18077/stat : 18077 (java) S 18074 18077 16080 0 -1 1077944320 4361 12946 0 0 1 1 5 2 20 0 6 0 48180443 10212057088 4203 33554432000 4194304 4196468 140730991727968 140730991710512 140533293387511 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
/proc/18077/statm: 2493178 4203 1934 1 0 2481616 0
[pid=18077/tid=18130] ppid=18074 vsize=9972712 memory=4628411388058700198 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18130/stat : 18130 (java) R 18074 18077 16080 0 -1 4202560 2184 12946 0 0 0 0 5 2 20 0 6 0 48180452 10212057088 4715 33554432000 4194304 4196468 140730991727968 140533265224272 140533274781245 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18131] ppid=18074 vsize=9972712 memory=5793855105570019769 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18131/stat : 18131 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 6 0 48180452 10212057088 4715 33554432000 4194304 4196468 140730991727968 140533297629712 140533293397717 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18132] ppid=18074 vsize=9972712 memory=139854560126592 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18132/stat : 18132 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 6 0 48180452 10212057088 4715 33554432000 4194304 4196468 140730991727968 140533212449424 140533293397717 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18133] ppid=18074 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18133/stat : 18133 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 6 0 48180452 10212057088 4715 33554432000 4194304 4196468 140730991727968 140533211396368 140533293397717 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18134] ppid=18074 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18134/stat : 18134 (java) S 18074 18077 16080 0 -1 1077944384 2 12946 0 0 0 0 5 2 20 0 6 0 48180452 10212057088 4715 33554432000 4194304 4196468 140730991727968 140533210343824 140533293397717 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB

[startup+0.210401 s]*
/proc/loadavg: 1.68 1.62 1.59 4/220 18143
/proc/meminfo: memFree=17681552/32770624 swapFree=67108860/67108860
[pid=18077] ppid=18074 vsize=10818856 memory=42012 CPUtime=0.26 cores=0,2,4,6
/proc/18077/stat : 18077 (java) S 18074 18077 16080 0 -1 1077944320 8361 12946 0 0 17 2 5 2 20 0 15 0 48180443 11078508544 10503 33554432000 4194304 4196468 140730991727968 140730991710512 140533293387511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
/proc/18077/statm: 2704714 10503 2952 1 0 2667149 0
[pid=18077/tid=18130] ppid=18074 vsize=10818856 memory=-8540663193526752614 CPUtime=0.18 cores=0,2,4,6
/proc/18077/task/18130/stat : 18130 (java) R 18074 18077 16080 0 -1 4202560 5008 12946 0 0 10 1 5 2 20 0 15 0 48180452 11078508544 10503 33554432000 4194304 4196468 140730991727968 140533265185168 140533273662849 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18131] ppid=18074 vsize=10818856 memory=4211973580764917130 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18131/stat : 18131 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 48180452 11078508544 10503 33554432000 4194304 4196468 140730991727968 140533297629712 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18132] ppid=18074 vsize=10818856 memory=139854560126592 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18132/stat : 18132 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 48180452 11078508544 10503 33554432000 4194304 4196468 140730991727968 140533212449424 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18133] ppid=18074 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18133/stat : 18133 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 48180452 11078508544 10503 33554432000 4194304 4196468 140730991727968 140533211396368 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18134] ppid=18074 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18134/stat : 18134 (java) S 18074 18077 16080 0 -1 1077944384 2 12946 0 0 0 0 5 2 20 0 15 0 48180452 11078508544 10503 33554432000 4194304 4196468 140730991727968 140533210343824 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18135] ppid=18074 vsize=10818856 memory=139854560126592 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18135/stat : 18135 (java) S 18074 18077 16080 0 -1 1077944384 2 12946 0 0 0 0 5 2 20 0 15 0 48180454 11078508544 10503 33554432000 4194304 4196468 140730991727968 140532820081392 140533293398658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18136] ppid=18074 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18136/stat : 18136 (java) S 18074 18077 16080 0 -1 1077944384 13 12946 0 0 0 0 5 2 20 0 15 0 48180454 11078508544 10503 33554432000 4194304 4196468 140730991727968 140532739204768 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18137] ppid=18074 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18137/stat : 18137 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 48180455 11078508544 10503 33554432000 4194304 4196468 140730991727968 140532135224560 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18138] ppid=18074 vsize=10818856 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18138/stat : 18138 (java) S 18074 18077 16080 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 48180457 11078508544 10503 33554432000 4194304 4196468 140730991727968 140531827825104 140533293406107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18139] ppid=18074 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18077/task/18139/stat : 18139 (java) S 18074 18077 16080 0 -1 1077944384 535 12946 0 0 1 0 5 2 20 0 15 0 48180457 11078508544 10503 33554432000 4194304 4196468 140730991727968 140532819028208 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18140] ppid=18074 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18140/stat : 18140 (java) S 18074 18077 16080 0 -1 1077944384 54 12946 0 0 0 0 5 2 20 0 15 0 48180457 11078508544 10503 33554432000 4194304 4196468 140730991727968 140532817975664 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18141] ppid=18074 vsize=10818856 memory=139854560126592 CPUtime=0.1 cores=0,2,4,6
/proc/18077/task/18141/stat : 18141 (java) S 18074 18077 16080 0 -1 1077944384 549 12946 0 0 3 0 5 2 20 0 15 0 48180457 11078508544 10503 33554432000 4194304 4196468 140730991727968 140532816922608 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18142] ppid=18074 vsize=10818856 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18142/stat : 18142 (java) S 18074 18077 16080 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 48180457 11078508544 10503 33554432000 4194304 4196468 140730991727968 140531794266464 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18143] ppid=18074 vsize=10818856 memory=139854560126592 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18143/stat : 18143 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 48180458 11078508544 10503 33554432000 4194304 4196468 140730991727968 140532815871024 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 42012 KiB

[startup+0.31057 s]*
/proc/loadavg: 1.68 1.62 1.59 3/220 18143
/proc/meminfo: memFree=17672924/32770624 swapFree=67108860/67108860
[pid=18077] ppid=18074 vsize=10819352 memory=53360 CPUtime=0.38 cores=0,2,4,6
/proc/18077/stat : 18077 (java) S 18074 18077 16080 0 -1 1077944320 10385 12946 0 0 29 2 5 2 20 0 15 0 48180443 11079016448 13340 33554432000 4194304 4196468 140730991727968 140730991710512 140533293387511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
/proc/18077/statm: 2704838 13340 3083 1 0 2667149 0
[pid=18077/tid=18130] ppid=18074 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/18077/task/18130/stat : 18130 (java) R 18074 18077 16080 0 -1 4202560 7034 12946 0 0 20 1 5 2 20 0 15 0 48180452 11079016448 13340 33554432000 4194304 4196468 140730991727968 140533265199520 140533293399446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18131] ppid=18074 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18131/stat : 18131 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 48180452 11079016448 13340 33554432000 4194304 4196468 140730991727968 140533297629712 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18132] ppid=18074 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18132/stat : 18132 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 48180452 11079016448 13340 33554432000 4194304 4196468 140730991727968 140533212449424 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18133] ppid=18074 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18133/stat : 18133 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 48180452 11079016448 13340 33554432000 4194304 4196468 140730991727968 140533211396368 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18134] ppid=18074 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18134/stat : 18134 (java) S 18074 18077 16080 0 -1 1077944384 2 12946 0 0 0 0 5 2 20 0 15 0 48180452 11079016448 13340 33554432000 4194304 4196468 140730991727968 140533210343824 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18135] ppid=18074 vsize=10819352 memory=139854560126591 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18135/stat : 18135 (java) S 18074 18077 16080 0 -1 1077944384 2 12946 0 0 0 0 5 2 20 0 15 0 48180454 11079016448 13340 33554432000 4194304 4196468 140730991727968 140532820081392 140533293398658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18136] ppid=18074 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18136/stat : 18136 (java) S 18074 18077 16080 0 -1 1077944384 13 12946 0 0 0 0 5 2 20 0 15 0 48180454 11079016448 13340 33554432000 4194304 4196468 140730991727968 140532739204768 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18137] ppid=18074 vsize=10819352 memory=139854560126592 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18137/stat : 18137 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 48180455 11079016448 13340 33554432000 4194304 4196468 140730991727968 140532135224560 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18138] ppid=18074 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18138/stat : 18138 (java) S 18074 18077 16080 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 48180457 11079016448 13340 33554432000 4194304 4196468 140730991727968 140531827825104 140533293406107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18139] ppid=18074 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18077/task/18139/stat : 18139 (java) S 18074 18077 16080 0 -1 1077944384 536 12946 0 0 2 0 5 2 20 0 15 0 48180457 11079016448 13340 33554432000 4194304 4196468 140730991727968 140532819028208 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18140] ppid=18074 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18077/task/18140/stat : 18140 (java) R 18074 18077 16080 0 -1 4202560 54 12946 0 0 1 0 5 2 20 0 15 0 48180457 11079016448 13340 33554432000 4194304 4196468 140730991727968 140532817975664 140533278292755 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18141] ppid=18074 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/18077/task/18141/stat : 18141 (java) R 18074 18077 16080 0 -1 4202560 554 12946 0 0 5 0 5 2 20 0 15 0 48180457 11079016448 13340 33554432000 4194304 4196468 140730991727968 140532816922608 140533277698025 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18142] ppid=18074 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18142/stat : 18142 (java) S 18074 18077 16080 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 48180457 11079016448 13340 33554432000 4194304 4196468 140730991727968 140531794266464 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18143] ppid=18074 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18143/stat : 18143 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 48180458 11079016448 13340 33554432000 4194304 4196468 140730991727968 140532815871024 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53360 KiB

[startup+0.700648 s]
/proc/loadavg: 1.68 1.62 1.59 3/220 18143
/proc/meminfo: memFree=17661016/32770624 swapFree=67108860/67108860
[pid=18077] ppid=18074 vsize=10819352 memory=86652 CPUtime=0.98 cores=0,2,4,6
/proc/18077/stat : 18077 (java) S 18074 18077 16080 0 -1 1077944320 16829 12946 0 0 87 4 5 2 20 0 15 0 48180443 11079016448 21663 33554432000 4194304 4196468 140730991727968 140730991710512 140533293387511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
/proc/18077/statm: 2704838 21663 3237 1 0 2667149 0
[pid=18077/tid=18130] ppid=18074 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/18077/task/18130/stat : 18130 (java) R 18074 18077 16080 0 -1 4202560 12498 12946 0 0 55 3 5 2 20 0 15 0 48180452 11079016448 21663 33554432000 4194304 4196468 140730991727968 140533265208336 140533277467998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18131] ppid=18074 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18131/stat : 18131 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 48180452 11079016448 21663 33554432000 4194304 4196468 140730991727968 140533297629712 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18132] ppid=18074 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18132/stat : 18132 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 48180452 11079016448 21663 33554432000 4194304 4196468 140730991727968 140533212449424 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18133] ppid=18074 vsize=10819352 memory=4132 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18133/stat : 18133 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 48180452 11079016448 21663 33554432000 4194304 4196468 140730991727968 140533211396368 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18134] ppid=18074 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18134/stat : 18134 (java) S 18074 18077 16080 0 -1 1077944384 2 12946 0 0 0 0 5 2 20 0 15 0 48180452 11079016448 21663 33554432000 4194304 4196468 140730991727968 140533210343824 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18135] ppid=18074 vsize=10819352 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18135/stat : 18135 (java) S 18074 18077 16080 0 -1 1077944384 5 12946 0 0 0 0 5 2 20 0 15 0 48180454 11079016448 21663 33554432000 4194304 4196468 140730991727968 140532820081392 140533293398658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18136] ppid=18074 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18136/stat : 18136 (java) S 18074 18077 16080 0 -1 1077944384 13 12946 0 0 0 0 5 2 20 0 15 0 48180454 11079016448 21663 33554432000 4194304 4196468 140730991727968 140532739204768 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18137] ppid=18074 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18137/stat : 18137 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 48180455 11079016448 21663 33554432000 4194304 4196468 140730991727968 140532135224560 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18138] ppid=18074 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18138/stat : 18138 (java) S 18074 18077 16080 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 48180457 11079016448 21663 33554432000 4194304 4196468 140730991727968 140531827825104 140533293406107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18139] ppid=18074 vsize=10819352 memory=6655300316396806240 CPUtime=0.14 cores=0,2,4,6
/proc/18077/task/18139/stat : 18139 (java) S 18074 18077 16080 0 -1 1077944384 789 12946 0 0 7 0 5 2 20 0 15 0 48180457 11079016448 21663 33554432000 4194304 4196468 140730991727968 140532819028208 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18140] ppid=18074 vsize=10819352 memory=3557678080365911397 CPUtime=0.17 cores=0,2,4,6
/proc/18077/task/18140/stat : 18140 (java) S 18074 18077 16080 0 -1 1077944384 683 12946 0 0 10 0 5 2 20 0 15 0 48180457 11079016448 21663 33554432000 4194304 4196468 140730991727968 140532817975664 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18141] ppid=18074 vsize=10819352 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/18077/task/18141/stat : 18141 (java) R 18074 18077 16080 0 -1 4202560 641 12946 0 0 13 0 5 2 20 0 15 0 48180457 11079016448 21663 33554432000 4194304 4196468 140730991727968 140532816922608 140533271924158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18142] ppid=18074 vsize=10819352 memory=279708805628144 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18142/stat : 18142 (java) S 18074 18077 16080 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 48180457 11079016448 21663 33554432000 4194304 4196468 140730991727968 140531794266464 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18143] ppid=18074 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18143/stat : 18143 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 48180458 11079016448 21663 33554432000 4194304 4196468 140730991727968 140532815871024 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86652 KiB

[startup+1.50072 s]
/proc/loadavg: 1.68 1.62 1.59 3/220 18143
/proc/meminfo: memFree=17615172/32770624 swapFree=67108860/67108860
[pid=18077] ppid=18074 vsize=10834252 memory=175500 CPUtime=2.23 cores=0,2,4,6
/proc/18077/stat : 18077 (java) S 18074 18077 16080 0 -1 1077944320 24420 12946 0 0 206 10 5 2 20 0 15 0 48180443 11094274048 43875 33554432000 4194304 4196468 140730991727968 140730991710512 140533293387511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
/proc/18077/statm: 2708563 43875 3470 1 0 2670221 0
[pid=18077/tid=18130] ppid=18074 vsize=10834252 memory=4132 CPUtime=1.43 cores=0,2,4,6
/proc/18077/task/18130/stat : 18130 (java) R 18074 18077 16080 0 -1 4202560 18273 12946 0 0 130 6 5 2 20 0 15 0 48180452 11094274048 43875 33554432000 4194304 4196468 140730991727968 140533265217904 140533279067671 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18131] ppid=18074 vsize=10834252 memory=185 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18131/stat : 18131 (java) S 18074 18077 16080 0 -1 1077944384 25 12946 0 0 0 0 5 2 20 0 15 0 48180452 11094274048 43875 33554432000 4194304 4196468 140730991727968 140533297629712 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18132] ppid=18074 vsize=10834252 memory=118 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18132/stat : 18132 (java) S 18074 18077 16080 0 -1 1077944384 16 12946 0 0 0 0 5 2 20 0 15 0 48180452 11094274048 43875 33554432000 4194304 4196468 140730991727968 140533212449424 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18133] ppid=18074 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18077/task/18133/stat : 18133 (java) S 18074 18077 16080 0 -1 1077944384 286 12946 0 0 1 0 5 2 20 0 15 0 48180452 11094274048 43875 33554432000 4194304 4196468 140730991727968 140533211396368 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18134] ppid=18074 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18134/stat : 18134 (java) S 18074 18077 16080 0 -1 1077944384 76 12946 0 0 0 0 5 2 20 0 15 0 48180452 11094274048 43875 33554432000 4194304 4196468 140730991727968 140533210343824 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18135] ppid=18074 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18077/task/18135/stat : 18135 (java) S 18074 18077 16080 0 -1 1077944384 327 12946 0 0 1 0 5 2 20 0 15 0 48180454 11094274048 43875 33554432000 4194304 4196468 140730991727968 140532820081392 140533293398658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18136] ppid=18074 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18136/stat : 18136 (java) S 18074 18077 16080 0 -1 1077944384 13 12946 0 0 0 0 5 2 20 0 15 0 48180454 11094274048 43875 33554432000 4194304 4196468 140730991727968 140532739204832 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18137] ppid=18074 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18137/stat : 18137 (java) S 18074 18077 16080 0 -1 1077944384 2 12946 0 0 0 0 5 2 20 0 15 0 48180455 11094274048 43875 33554432000 4194304 4196468 140730991727968 140532135224576 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18138] ppid=18074 vsize=10834252 memory=279708805664544 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18138/stat : 18138 (java) S 18074 18077 16080 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 48180457 11094274048 43875 33554432000 4194304 4196468 140730991727968 140531827825104 140533293406107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18139] ppid=18074 vsize=10834252 memory=7649399362789914673 CPUtime=0.28 cores=0,2,4,6
/proc/18077/task/18139/stat : 18139 (java) S 18074 18077 16080 0 -1 1077944384 1252 12946 0 0 21 0 5 2 20 0 15 0 48180457 11094274048 43875 33554432000 4194304 4196468 140730991727968 140532819028208 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18140] ppid=18074 vsize=10834252 memory=7 CPUtime=0.27 cores=0,2,4,6
/proc/18077/task/18140/stat : 18140 (java) S 18074 18077 16080 0 -1 1077944384 835 12946 0 0 20 0 5 2 20 0 15 0 48180457 11094274048 43875 33554432000 4194304 4196468 140730991727968 140532817975664 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18141] ppid=18074 vsize=10834252 memory=2209 CPUtime=0.36 cores=0,2,4,6
/proc/18077/task/18141/stat : 18141 (java) S 18074 18077 16080 0 -1 1077944384 1121 12946 0 0 29 0 5 2 20 0 15 0 48180457 11094274048 43875 33554432000 4194304 4196468 140730991727968 140532816922608 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18142] ppid=18074 vsize=10834252 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18142/stat : 18142 (java) S 18074 18077 16080 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 48180457 11094274048 43875 33554432000 4194304 4196468 140730991727968 140531794266464 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18143] ppid=18074 vsize=10834252 memory=3303 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18143/stat : 18143 (java) S 18074 18077 16080 0 -1 1077944384 1 12946 0 0 0 0 5 2 20 0 15 0 48180458 11094274048 43875 33554432000 4194304 4196468 140730991727968 140532815871024 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
Current children cumulated CPU time: 2.23 s
Current children cumulated vsize: 10834252 KiB
Current children cumulated memory: 175500 KiB

[startup+3.1108 s]
/proc/loadavg: 1.71 1.63 1.59 5/220 18143
/proc/meminfo: memFree=17489904/32770624 swapFree=67108860/67108860
[pid=18077] ppid=18074 vsize=10846560 memory=248844 CPUtime=5.65 cores=0,2,4,6
/proc/18077/stat : 18077 (java) S 18074 18077 16080 0 -1 1077944320 47926 12946 0 0 540 18 5 2 20 0 15 0 48180443 11106877440 62145 33554432000 4194304 4196468 140730991727968 140730991710512 140533293387511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
/proc/18077/statm: 2711640 62211 3492 1 0 2673293 0
[pid=18077/tid=18130] ppid=18074 vsize=10846560 memory=56 CPUtime=2.98 cores=0,2,4,6
/proc/18077/task/18130/stat : 18130 (java) R 18074 18077 16080 0 -1 4202560 32981 12946 0 0 282 9 5 2 20 0 15 0 48180452 11106877440 62261 33554432000 4194304 4196468 140730991727968 140533265202968 140533273663218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18131] ppid=18074 vsize=10846560 memory=3303 CPUtime=0.09 cores=0,2,4,6
/proc/18077/task/18131/stat : 18131 (java) S 18074 18077 16080 0 -1 1077944384 37 12946 0 0 2 0 5 2 20 0 15 0 48180452 11106877440 62327 33554432000 4194304 4196468 140730991727968 140533297629712 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18132] ppid=18074 vsize=10846560 memory=7 CPUtime=0.09 cores=0,2,4,6
/proc/18077/task/18132/stat : 18132 (java) S 18074 18077 16080 0 -1 1077944384 40 12946 0 0 2 0 5 2 20 0 15 0 48180452 11106877440 62327 33554432000 4194304 4196468 140730991727968 140533212449424 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18133] ppid=18074 vsize=10846560 memory=7 CPUtime=0.09 cores=0,2,4,6
/proc/18077/task/18133/stat : 18133 (java) S 18074 18077 16080 0 -1 1077944384 353 12946 0 0 2 0 5 2 20 0 15 0 48180452 11106877440 62327 33554432000 4194304 4196468 140730991727968 140533211396368 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18134] ppid=18074 vsize=10846560 memory=7 CPUtime=0.09 cores=0,2,4,6
/proc/18077/task/18134/stat : 18134 (java) S 18074 18077 16080 0 -1 1077944384 159 12946 0 0 2 0 5 2 20 0 15 0 48180452 11106877440 62327 33554432000 4194304 4196468 140730991727968 140533210343824 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18135] ppid=18074 vsize=10846560 memory=7 CPUtime=0.1 cores=0,2,4,6
/proc/18077/task/18135/stat : 18135 (java) S 18074 18077 16080 0 -1 1077944384 2192 12946 0 0 3 0 5 2 20 0 15 0 48180454 11106877440 62393 33554432000 4194304 4196468 140730991727968 140532820081392 140533293398658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18136] ppid=18074 vsize=10846560 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18136/stat : 18136 (java) S 18074 18077 16080 0 -1 1077944384 13 12946 0 0 0 0 5 2 20 0 15 0 48180454 11106877440 62393 33554432000 4194304 4196468 140730991727968 140532739204832 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18137] ppid=18074 vsize=10846560 memory=1200 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18137/stat : 18137 (java) S 18074 18077 16080 0 -1 1077944384 2 12946 0 0 0 0 5 2 20 0 15 0 48180455 11106877440 62393 33554432000 4194304 4196468 140730991727968 140532135224576 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18138] ppid=18074 vsize=10846560 memory=11956 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18138/stat : 18138 (java) S 18074 18077 16080 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 48180457 11106877440 62393 33554432000 4194304 4196468 140730991727968 140531827825104 140533293406107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18139] ppid=18074 vsize=10846560 memory=33 CPUtime=0.77 cores=0,2,4,6
/proc/18077/task/18139/stat : 18139 (java) R 18074 18077 16080 0 -1 4202560 3066 12946 0 0 69 1 5 2 20 0 15 0 48180457 11106877440 62393 33554432000 4194304 4196468 140730991727968 140532819009224 140533274087808 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18140] ppid=18074 vsize=10846560 memory=6154848828556269427 CPUtime=0.78 cores=0,2,4,6
/proc/18077/task/18140/stat : 18140 (java) R 18074 18077 16080 0 -1 4202560 2773 12946 0 0 70 1 5 2 20 0 15 0 48180457 11106877440 62393 33554432000 4194304 4196468 140730991727968 140532817956008 140533274087082 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18141] ppid=18074 vsize=10846560 memory=0 CPUtime=1.1 cores=0,2,4,6
/proc/18077/task/18141/stat : 18141 (java) S 18074 18077 16080 0 -1 1077944384 4318 12946 0 0 102 1 5 2 20 0 15 0 48180457 11106877440 62393 33554432000 4194304 4196468 140730991727968 140532816922608 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18142] ppid=18074 vsize=10846560 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18142/stat : 18142 (java) S 18074 18077 16080 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 48180457 11106877440 62459 33554432000 4194304 4196468 140730991727968 140531794266464 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18143] ppid=18074 vsize=10846560 memory=288230596050944315 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18143/stat : 18143 (java) S 18074 18077 16080 0 -1 1077944384 10 12946 0 0 0 0 5 2 20 0 15 0 48180458 11106877440 62459 33554432000 4194304 4196468 140730991727968 140532815871024 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
Current children cumulated CPU time: 5.65 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 248844 KiB

[startup+3.5104 s]
# the end of solver process 18077 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.55226 s, system=0.251988 s

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

[startup+3.20087 s]
/proc/loadavg: 1.71 1.63 1.59 5/220 18143
/proc/meminfo: memFree=17489904/32770624 swapFree=67108860/67108860
[pid=18077] ppid=18074 vsize=10912096 memory=278348 CPUtime=5.92 cores=0,2,4,6
/proc/18077/stat : 18077 (java) S 18074 18077 16080 0 -1 1077944320 55327 12946 0 0 566 19 5 2 20 0 15 0 48180443 11173986304 69587 33554432000 4194304 4196468 140730991727968 140730991710512 140533293387511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
/proc/18077/statm: 2728024 69587 3492 1 0 2689677 0
[pid=18077/tid=18130] ppid=18074 vsize=10912096 memory=1341 CPUtime=3.07 cores=0,2,4,6
/proc/18077/task/18130/stat : 18130 (java) R 18074 18077 16080 0 -1 4202560 38168 12946 0 0 290 10 5 2 20 0 15 0 48180452 11173986304 69587 33554432000 4194304 4196468 140730991727968 140533265200232 140533274951063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18131] ppid=18074 vsize=10912096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18077/task/18131/stat : 18131 (java) S 18074 18077 16080 0 -1 1077944384 37 12946 0 0 2 0 5 2 20 0 15 0 48180452 11173986304 69587 33554432000 4194304 4196468 140730991727968 140533297629712 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18132] ppid=18074 vsize=10912096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18077/task/18132/stat : 18132 (java) S 18074 18077 16080 0 -1 1077944384 40 12946 0 0 2 0 5 2 20 0 15 0 48180452 11173986304 69587 33554432000 4194304 4196468 140730991727968 140533212449424 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18133] ppid=18074 vsize=10912096 memory=303 CPUtime=0.09 cores=0,2,4,6
/proc/18077/task/18133/stat : 18133 (java) S 18074 18077 16080 0 -1 1077944384 353 12946 0 0 2 0 5 2 20 0 15 0 48180452 11173986304 69587 33554432000 4194304 4196468 140730991727968 140533211396368 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18134] ppid=18074 vsize=10912096 memory=83 CPUtime=0.09 cores=0,2,4,6
/proc/18077/task/18134/stat : 18134 (java) S 18074 18077 16080 0 -1 1077944384 159 12946 0 0 2 0 5 2 20 0 15 0 48180452 11173986304 69587 33554432000 4194304 4196468 140730991727968 140533210343824 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18135] ppid=18074 vsize=10912096 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/18077/task/18135/stat : 18135 (java) S 18074 18077 16080 0 -1 1077944384 2192 12946 0 0 3 0 5 2 20 0 15 0 48180454 11173986304 69587 33554432000 4194304 4196468 140730991727968 140532820081392 140533293398658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18136] ppid=18074 vsize=10912096 memory=6442751550143554645 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18136/stat : 18136 (java) S 18074 18077 16080 0 -1 1077944384 13 12946 0 0 0 0 5 2 20 0 15 0 48180454 11173986304 69587 33554432000 4194304 4196468 140730991727968 140532739204832 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18137] ppid=18074 vsize=10912096 memory=7007712420471858773 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18137/stat : 18137 (java) S 18074 18077 16080 0 -1 1077944384 2 12946 0 0 0 0 5 2 20 0 15 0 48180455 11173986304 69587 33554432000 4194304 4196468 140730991727968 140532135224576 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18138] ppid=18074 vsize=10912096 memory=4638778398332960864 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18138/stat : 18138 (java) S 18074 18077 16080 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 48180457 11173986304 69587 33554432000 4194304 4196468 140730991727968 140531827825104 140533293406107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18139] ppid=18074 vsize=10912096 memory=7317634893576766894 CPUtime=0.86 cores=0,2,4,6
/proc/18077/task/18139/stat : 18139 (java) R 18074 18077 16080 0 -1 4202560 4199 12946 0 0 78 1 5 2 20 0 15 0 48180457 11173986304 69587 33554432000 4194304 4196468 140730991727968 140532819008232 140533272576960 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18140] ppid=18074 vsize=10912096 memory=7100839852556452247 CPUtime=0.87 cores=0,2,4,6
/proc/18077/task/18140/stat : 18140 (java) R 18074 18077 16080 0 -1 4202560 3643 12946 0 0 79 1 5 2 20 0 15 0 48180457 11173986304 69587 33554432000 4194304 4196468 140730991727968 140532817955928 140533276884251 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18141] ppid=18074 vsize=10912096 memory=304274648164728858 CPUtime=1.1 cores=0,2,4,6
/proc/18077/task/18141/stat : 18141 (java) S 18074 18077 16080 0 -1 1077944384 4318 12946 0 0 102 1 5 2 20 0 15 0 48180457 11173986304 69587 33554432000 4194304 4196468 140730991727968 140532816922608 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18142] ppid=18074 vsize=10912096 memory=297237821058711863 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18142/stat : 18142 (java) S 18074 18077 16080 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 48180457 11173986304 69587 33554432000 4194304 4196468 140730991727968 140531794266464 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18143] ppid=18074 vsize=10912096 memory=13850793610578107 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18143/stat : 18143 (java) S 18074 18077 16080 0 -1 1077944384 10 12946 0 0 0 0 5 2 20 0 15 0 48180458 11173986304 69587 33554432000 4194304 4196468 140730991727968 140532815871024 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
Current children cumulated CPU time: 5.92 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 278348 KiB

[startup+3.40096 s]
/proc/loadavg: 1.71 1.63 1.59 5/220 18143
/proc/meminfo: memFree=17489904/32770624 swapFree=67108860/67108860
[pid=18077] ppid=18074 vsize=10914144 memory=306924 CPUtime=6.57 cores=0,2,4,6
/proc/18077/stat : 18077 (java) S 18074 18077 16080 0 -1 1077944320 62428 12946 0 0 630 20 5 2 20 0 15 0 48180443 11176083456 76731 33554432000 4194304 4196468 140730991727968 140730991710512 140533293387511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
/proc/18077/statm: 2728536 76731 3495 1 0 2690189 0
[pid=18077/tid=18130] ppid=18074 vsize=10914144 memory=3649 CPUtime=3.28 cores=0,2,4,6
/proc/18077/task/18130/stat : 18130 (java) R 18074 18077 16080 0 -1 4202560 43486 12946 0 0 310 11 5 2 20 0 15 0 48180452 11176083456 76731 33554432000 4194304 4196468 140730991727968 140533265221184 140533276743296 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18131] ppid=18074 vsize=10914144 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18077/task/18131/stat : 18131 (java) S 18074 18077 16080 0 -1 1077944384 37 12946 0 0 2 0 5 2 20 0 15 0 48180452 11176083456 76731 33554432000 4194304 4196468 140730991727968 140533297629712 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18132] ppid=18074 vsize=10914144 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18077/task/18132/stat : 18132 (java) S 18074 18077 16080 0 -1 1077944384 40 12946 0 0 2 0 5 2 20 0 15 0 48180452 11176083456 76731 33554432000 4194304 4196468 140730991727968 140533212449424 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18133] ppid=18074 vsize=10914144 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18077/task/18133/stat : 18133 (java) S 18074 18077 16080 0 -1 1077944384 353 12946 0 0 2 0 5 2 20 0 15 0 48180452 11176083456 76731 33554432000 4194304 4196468 140730991727968 140533211396368 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18134] ppid=18074 vsize=10914144 memory=3009 CPUtime=0.09 cores=0,2,4,6
/proc/18077/task/18134/stat : 18134 (java) S 18074 18077 16080 0 -1 1077944384 159 12946 0 0 2 0 5 2 20 0 15 0 48180452 11176083456 76731 33554432000 4194304 4196468 140730991727968 140533210343824 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18135] ppid=18074 vsize=10914144 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/18077/task/18135/stat : 18135 (java) S 18074 18077 16080 0 -1 1077944384 2192 12946 0 0 3 0 5 2 20 0 15 0 48180454 11176083456 76731 33554432000 4194304 4196468 140730991727968 140532820081392 140533293398658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18136] ppid=18074 vsize=10914144 memory=-3040564339240289162 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18136/stat : 18136 (java) S 18074 18077 16080 0 -1 1077944384 13 12946 0 0 0 0 5 2 20 0 15 0 48180454 11176083456 76731 33554432000 4194304 4196468 140730991727968 140532739204832 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18137] ppid=18074 vsize=10914144 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18137/stat : 18137 (java) S 18074 18077 16080 0 -1 1077944384 2 12946 0 0 0 0 5 2 20 0 15 0 48180455 11176083456 76731 33554432000 4194304 4196468 140730991727968 140532135224576 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18138] ppid=18074 vsize=10914144 memory=6944656592455097440 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18138/stat : 18138 (java) S 18074 18077 16080 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 48180457 11176083456 76731 33554432000 4194304 4196468 140730991727968 140531827825104 140533293406107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18139] ppid=18074 vsize=10914144 memory=0 CPUtime=1.06 cores=0,2,4,6
/proc/18077/task/18139/stat : 18139 (java) R 18074 18077 16080 0 -1 4202560 4899 12946 0 0 98 1 5 2 20 0 15 0 48180457 11176083456 76731 33554432000 4194304 4196468 140730991727968 140532819014224 140533278495036 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18140] ppid=18074 vsize=10914144 memory=0 CPUtime=1.06 cores=0,2,4,6
/proc/18077/task/18140/stat : 18140 (java) S 18074 18077 16080 0 -1 1077944384 4561 12946 0 0 98 1 5 2 20 0 15 0 48180457 11176083456 76731 33554432000 4194304 4196468 140730991727968 140532817975664 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18141] ppid=18074 vsize=10914144 memory=279708805813600 CPUtime=1.16 cores=0,2,4,6
/proc/18077/task/18141/stat : 18141 (java) R 18074 18077 16080 0 -1 1077944384 4483 12946 0 0 108 1 5 2 20 0 15 0 48180457 11176083456 76731 33554432000 4194304 4196468 140730991727968 140532816922736 140533293397717 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18142] ppid=18074 vsize=10914144 memory=139854402985568 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18142/stat : 18142 (java) S 18074 18077 16080 0 -1 1077944384 3 12946 0 0 0 0 5 2 20 0 15 0 48180457 11176083456 76731 33554432000 4194304 4196468 140730991727968 140531794266464 140533293397717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
[pid=18077/tid=18143] ppid=18074 vsize=10914144 memory=288230587427458015 CPUtime=0.07 cores=0,2,4,6
/proc/18077/task/18143/stat : 18143 (java) S 18074 18077 16080 0 -1 1077944384 10 12946 0 0 0 0 5 2 20 0 15 0 48180458 11176083456 76731 33554432000 4194304 4196468 140730991727968 140532815871024 140533293398658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26091520 140730991732908 140730991736156 140730991736156 140730991738831 0
Current children cumulated CPU time: 6.57 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 306924 KiB

Child status: 0
Real time (s): 3.51043
CPU time (s): 6.80424
CPU user time (s): 6.55226
CPU system time (s): 0.251988
CPU usage (%): 193.829
Max. virtual memory (cumulated for all children) (KiB): 10914144
Max. memory (cumulated for all children) (KiB): 306924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.55226
system time used= 0.251988
maximum resident set size= 310660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76246
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= 6076
involuntary context switches= 41


# summary of solver processes directly reported to runsolver:
#   pid: 18077
#   total CPU time (s): 6.80424
#   total CPU user time (s): 6.55226
#   total CPU system time (s): 0.251988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039054 second user time and 0.082573 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-23 02:36:13
IDJOB=4293062
IDBENCH=141110
IDSOLVER=2751
FILE ID=node132/4293062-1532306173
RUNJOBID= node132-1532296193-16111
PBS_JOBID= 21018987
Free space on /tmp= 55032 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/PseudoBoolean-opt/Pb-garden-4x4_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293062-1532306173/watcher-4293062-1532306173 -o /tmp/evaluation-result-4293062-1532306173/solver-4293062-1532306173 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532296193-16111 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=199659997 -superng HOME/instance-4293062-1532306173.xml

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

MD5SUM BENCH= 854371ae6c45321a117efbc84c9832b3
RANDOM SEED=199659997

node132.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.65
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.65
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.65
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.65
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:        17710560 kB
MemAvailable:   28858240 kB
Buffers:          256904 kB
Cached:         11036260 kB
SwapCached:            0 kB
Active:          5242672 kB
Inactive:        9179672 kB
Active(anon):    3131508 kB
Inactive(anon):    17028 kB
Active(file):    2111164 kB
Inactive(file):  9162644 kB
Unevictable:        6988 kB
Mlocked:            6988 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26520 kB
Writeback:             0 kB
AnonPages:       3149712 kB
Mapped:            49732 kB
Shmem:             17056 kB
Slab:             329812 kB
SReclaimable:     302332 kB
SUnreclaim:        27480 kB
KernelStack:        3872 kB
PageTables:        11336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3846568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2918400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 55004 MiB
End job on node132 at 2018-07-23 02:36:16