Trace number 4301595

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
Sat4j-CSP 2018-07-11? (TO) 259.938 110.645

General information on the benchmark

NameQuadraticAssignment/
QuadraticAssignment-sko56_c18.xml
MD5SUM870d89fd5d4ada0d2442065415f88ba8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark18368
Best CPU time to get the best result obtained on this benchmark252.114
Satisfiable
(Un)Satisfiability was proved
Number of variables3192
Number of constraints1541
Number of domains2
Minimum domain size8
Maximum domain size56
Distribution of domain sizes[{"size":8,"count":1540},{"size":56,"count":56}]
Minimum variable degree0
Maximum variable degree56
Distribution of variable degrees[{"degree":0,"count":1596},{"degree":2,"count":1540},{"degree":56,"count":56}]
Minimum constraint arity3
Maximum constraint arity56
Distribution of constraint arities[{"arity":3,"count":1540},{"arity":56,"count":1}]
Number of extensional constraints1540
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1540},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301595-1532882689/watcher-4301595-1532882689 -o /tmp/evaluation-result-4301595-1532882689/solver-4301595-1532882689 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532877021-22035 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301595-1532882689.xml 

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

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


[startup+0.100083 s]*
/proc/loadavg: 1.96 2.28 2.37 4/217 26976
/proc/meminfo: memFree=27127228/32770624 swapFree=67108860/67108860
[pid=26961] ppid=26958 vsize=10659012 memory=30680 CPUtime=0.12 cores=0,2,4,6
/proc/26961/stat : 26961 (java) S 26958 26961 22004 0 -1 1077944320 6723 0 0 0 11 1 0 0 20 0 15 0 105832117 10914828288 7670 33554432000 4194304 4196468 140727839765152 140727839747696 140189817085687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
/proc/26961/statm: 2664753 7670 2845 1 0 2627263 0
[pid=26961/tid=26963] ppid=26958 vsize=10659012 memory=-8773748148830375293 CPUtime=0.09 cores=0,2,4,6
/proc/26961/task/26963/stat : 26963 (java) R 26958 26961 22004 0 -1 4202560 4567 0 0 0 8 1 0 0 20 0 15 0 105832117 10914828288 7670 33554432000 4194304 4196468 140727839765152 140189821290352 140189801166174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26964] ppid=26958 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26964/stat : 26964 (java) S 26958 26961 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105832118 10914828288 7670 33554432000 4194304 4196468 140727839765152 140189753777168 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26965] ppid=26958 vsize=10659012 memory=140102955656832 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26965/stat : 26965 (java) S 26958 26961 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105832118 10914828288 7670 33554432000 4194304 4196468 140727839765152 140189752724624 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26966] ppid=26958 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26966/stat : 26966 (java) S 26958 26961 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105832118 10914828288 7670 33554432000 4194304 4196468 140727839765152 140189751671568 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26967] ppid=26958 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26967/stat : 26967 (java) S 26958 26961 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105832118 10914828288 7670 33554432000 4194304 4196468 140727839765152 140189750619024 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26968] ppid=26958 vsize=10659012 memory=140102955656832 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26968/stat : 26968 (java) S 26958 26961 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105832119 10914828288 7670 33554432000 4194304 4196468 140727839765152 140189308307696 140189817096834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26969] ppid=26958 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26969/stat : 26969 (java) S 26958 26961 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105832120 10914828288 7670 33554432000 4194304 4196468 140727839765152 140189307253920 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26970] ppid=26958 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26970/stat : 26970 (java) S 26958 26961 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105832120 10914828288 7670 33554432000 4194304 4196468 140727839765152 140189306200816 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26971] ppid=26958 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26971/stat : 26971 (java) S 26958 26961 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105832123 10914828288 7670 33554432000 4194304 4196468 140727839765152 140189305149392 140189817104283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26972] ppid=26958 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26972/stat : 26972 (java) S 26958 26961 22004 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 105832123 10914828288 7670 33554432000 4194304 4196468 140727839765152 140189304097520 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26973] ppid=26958 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26973/stat : 26973 (java) S 26958 26961 22004 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 105832123 10914828288 7670 33554432000 4194304 4196468 140727839765152 140189303044976 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26974] ppid=26958 vsize=10659012 memory=140102955656832 CPUtime=0.02 cores=0,2,4,6
/proc/26961/task/26974/stat : 26974 (java) R 26958 26961 22004 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 105832123 10914828288 7670 33554432000 4194304 4196468 140727839765152 140189301991920 140189796219606 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26975] ppid=26958 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26975/stat : 26975 (java) S 26958 26961 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105832123 10914828288 7670 33554432000 4194304 4196468 140727839765152 140189300939616 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26976] ppid=26958 vsize=10659012 memory=140102955656832 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26976/stat : 26976 (java) S 26958 26961 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105832123 10914828288 7670 33554432000 4194304 4196468 140727839765152 140189299886640 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30680 KiB

[startup+0.210587 s]*
/proc/loadavg: 1.96 2.28 2.37 4/217 26976
/proc/meminfo: memFree=27115844/32770624 swapFree=67108860/67108860
[pid=26961] ppid=26958 vsize=10659012 memory=41876 CPUtime=0.33 cores=0,2,4,6
/proc/26961/stat : 26961 (java) S 26958 26961 22004 0 -1 1077944320 8085 0 0 0 30 3 0 0 20 0 15 0 105832117 10914828288 10469 33554432000 4194304 4196468 140727839765152 140727839747696 140189817085687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
/proc/26961/statm: 2664753 10469 3003 1 0 2627263 0
[pid=26961/tid=26963] ppid=26958 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/26961/task/26963/stat : 26963 (java) R 26958 26961 22004 0 -1 4202560 5015 0 0 0 18 2 0 0 20 0 15 0 105832117 10914828288 10469 33554432000 4194304 4196468 140727839765152 140189821321968 140189817097622 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26964] ppid=26958 vsize=10659012 memory=364 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26964/stat : 26964 (java) S 26958 26961 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105832118 10914828288 10469 33554432000 4194304 4196468 140727839765152 140189753777168 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26965] ppid=26958 vsize=10659012 memory=3760698783955642016 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26965/stat : 26965 (java) S 26958 26961 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105832118 10914828288 10469 33554432000 4194304 4196468 140727839765152 140189752724624 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26966] ppid=26958 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26966/stat : 26966 (java) S 26958 26961 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105832118 10914828288 10469 33554432000 4194304 4196468 140727839765152 140189751671568 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26967] ppid=26958 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26967/stat : 26967 (java) S 26958 26961 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105832118 10914828288 10469 33554432000 4194304 4196468 140727839765152 140189750619024 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26968] ppid=26958 vsize=10659012 memory=140102955656832 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26968/stat : 26968 (java) S 26958 26961 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105832119 10914828288 10469 33554432000 4194304 4196468 140727839765152 140189308307696 140189817096834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26969] ppid=26958 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26969/stat : 26969 (java) S 26958 26961 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105832120 10914828288 10469 33554432000 4194304 4196468 140727839765152 140189307253920 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26970] ppid=26958 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26970/stat : 26970 (java) S 26958 26961 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105832120 10914828288 10469 33554432000 4194304 4196468 140727839765152 140189306200816 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26971] ppid=26958 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26971/stat : 26971 (java) S 26958 26961 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105832123 10914828288 10469 33554432000 4194304 4196468 140727839765152 140189305149392 140189817104283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26972] ppid=26958 vsize=10659012 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26961/task/26972/stat : 26972 (java) R 26958 26961 22004 0 -1 1077944384 509 0 0 0 1 0 0 0 20 0 15 0 105832123 10914828288 10469 33554432000 4194304 4196468 140727839765152 140189304097520 140189817096834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26973] ppid=26958 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26961/task/26973/stat : 26973 (java) S 26958 26961 22004 0 -1 1077944384 515 0 0 0 2 0 0 0 20 0 15 0 105832123 10914828288 10469 33554432000 4194304 4196468 140727839765152 140189303044976 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26974] ppid=26958 vsize=10659012 memory=140102955656832 CPUtime=0.07 cores=0,2,4,6
/proc/26961/task/26974/stat : 26974 (java) R 26958 26961 22004 0 -1 4202560 679 0 0 0 7 0 0 0 20 0 15 0 105832123 10914828288 10469 33554432000 4194304 4196468 140727839765152 140189301991920 140189796011319 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26975] ppid=26958 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26975/stat : 26975 (java) S 26958 26961 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105832123 10914828288 10469 33554432000 4194304 4196468 140727839765152 140189300939616 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26976] ppid=26958 vsize=10659012 memory=140102955656832 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26976/stat : 26976 (java) S 26958 26961 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105832123 10914828288 10469 33554432000 4194304 4196468 140727839765152 140189299886640 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41876 KiB

[startup+0.313475 s]*
/proc/loadavg: 1.96 2.28 2.37 4/217 26976
/proc/meminfo: memFree=27105012/32770624 swapFree=67108860/67108860
[pid=26961] ppid=26958 vsize=10659088 memory=51412 CPUtime=0.56 cores=0,2,4,6
/proc/26961/stat : 26961 (java) S 26958 26961 22004 0 -1 1077944320 9449 0 0 0 53 3 0 0 20 0 15 0 105832117 10914906112 12853 33554432000 4194304 4196468 140727839765152 140727839747696 140189817085687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
/proc/26961/statm: 2664772 12853 3065 1 0 2627263 0
[pid=26961/tid=26963] ppid=26958 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/26961/task/26963/stat : 26963 (java) S 26958 26961 22004 0 -1 1077944384 5589 0 0 0 28 2 0 0 20 0 15 0 105832117 10914906112 12853 33554432000 4194304 4196468 140727839765152 140189821322352 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26964] ppid=26958 vsize=10659088 memory=288230600429797399 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26964/stat : 26964 (java) S 26958 26961 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105832118 10914906112 12853 33554432000 4194304 4196468 140727839765152 140189753777168 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26965] ppid=26958 vsize=10659088 memory=3833324821210162848 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26965/stat : 26965 (java) S 26958 26961 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105832118 10914906112 12853 33554432000 4194304 4196468 140727839765152 140189752724624 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26966] ppid=26958 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26966/stat : 26966 (java) S 26958 26961 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105832118 10914906112 12853 33554432000 4194304 4196468 140727839765152 140189751671568 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26967] ppid=26958 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26967/stat : 26967 (java) S 26958 26961 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105832118 10914906112 12853 33554432000 4194304 4196468 140727839765152 140189750619024 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26968] ppid=26958 vsize=10659088 memory=140102955656832 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26968/stat : 26968 (java) S 26958 26961 22004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105832119 10914906112 12853 33554432000 4194304 4196468 140727839765152 140189308307696 140189817096834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26969] ppid=26958 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26969/stat : 26969 (java) S 26958 26961 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105832120 10914906112 12853 33554432000 4194304 4196468 140727839765152 140189307253920 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26970] ppid=26958 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26970/stat : 26970 (java) S 26958 26961 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105832120 10914906112 12853 33554432000 4194304 4196468 140727839765152 140189306200816 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26971] ppid=26958 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26971/stat : 26971 (java) S 26958 26961 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105832123 10914906112 12853 33554432000 4194304 4196468 140727839765152 140189305149392 140189817104283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26972] ppid=26958 vsize=10659088 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/26961/task/26972/stat : 26972 (java) R 26958 26961 22004 0 -1 4202560 599 0 0 0 4 0 0 0 20 0 15 0 105832123 10914906112 12853 33554432000 4194304 4196468 140727839765152 140189304097520 140189797675533 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26973] ppid=26958 vsize=10659088 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/26961/task/26973/stat : 26973 (java) R 26958 26961 22004 0 -1 4202560 988 0 0 0 7 0 0 0 20 0 15 0 105832123 10914906112 12853 33554432000 4194304 4196468 140727839765152 140189303025992 140189800569172 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26974] ppid=26958 vsize=10659088 memory=140102955656832 CPUtime=0.12 cores=0,2,4,6
/proc/26961/task/26974/stat : 26974 (java) R 26958 26961 22004 0 -1 1077944384 909 0 0 0 12 0 0 0 20 0 15 0 105832123 10914906112 12853 33554432000 4194304 4196468 140727839765152 140189301991920 140189817096834 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26975] ppid=26958 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26975/stat : 26975 (java) S 26958 26961 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105832123 10914906112 12853 33554432000 4194304 4196468 140727839765152 140189300939616 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26976] ppid=26958 vsize=10659088 memory=140102955656832 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26976/stat : 26976 (java) S 26958 26961 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105832123 10914906112 12853 33554432000 4194304 4196468 140727839765152 140189299886640 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 51412 KiB

[startup+0.701455 s]
/proc/loadavg: 2.05 2.29 2.37 5/217 26976
/proc/meminfo: memFree=27066392/32770624 swapFree=67108860/67108860
[pid=26961] ppid=26958 vsize=10659088 memory=207664 CPUtime=1.9 cores=0,2,4,6
/proc/26961/stat : 26961 (java) S 26958 26961 22004 0 -1 1077944320 15357 0 0 0 184 6 0 0 20 0 15 0 105832117 10914906112 51916 33554432000 4194304 4196468 140727839765152 140727839747696 140189817085687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
/proc/26961/statm: 2664772 51916 3109 1 0 2627263 0
[pid=26961/tid=26963] ppid=26958 vsize=10659088 memory=1840 CPUtime=0.66 cores=0,2,4,6
/proc/26961/task/26963/stat : 26963 (java) R 26958 26961 22004 0 -1 4202560 5828 0 0 0 62 4 0 0 20 0 15 0 105832117 10914906112 51916 33554432000 4194304 4196468 140727839765152 140189821321752 140189430608071 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26964] ppid=26958 vsize=10659088 memory=1004 CPUtime=0.01 cores=0,2,4,6
/proc/26961/task/26964/stat : 26964 (java) S 26958 26961 22004 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 15 0 105832118 10914906112 51916 33554432000 4194304 4196468 140727839765152 140189753777168 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26965] ppid=26958 vsize=10659088 memory=12060 CPUtime=0.01 cores=0,2,4,6
/proc/26961/task/26965/stat : 26965 (java) S 26958 26961 22004 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 105832118 10914906112 51916 33554432000 4194304 4196468 140727839765152 140189752724624 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26966] ppid=26958 vsize=10659088 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26966/stat : 26966 (java) S 26958 26961 22004 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 105832118 10914906112 51916 33554432000 4194304 4196468 140727839765152 140189751671568 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26967] ppid=26958 vsize=10659088 memory=792 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26967/stat : 26967 (java) S 26958 26961 22004 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 105832118 10914906112 51916 33554432000 4194304 4196468 140727839765152 140189750619024 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26968] ppid=26958 vsize=10659088 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26968/stat : 26968 (java) S 26958 26961 22004 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 105832119 10914906112 51916 33554432000 4194304 4196468 140727839765152 140189308307696 140189817096834 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26969] ppid=26958 vsize=10659088 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26969/stat : 26969 (java) S 26958 26961 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105832120 10914906112 51916 33554432000 4194304 4196468 140727839765152 140189307253920 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26970] ppid=26958 vsize=10659088 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26970/stat : 26970 (java) S 26958 26961 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105832120 10914906112 51916 33554432000 4194304 4196468 140727839765152 140189306200816 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26971] ppid=26958 vsize=10659088 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26971/stat : 26971 (java) S 26958 26961 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105832123 10914906112 51916 33554432000 4194304 4196468 140727839765152 140189305149392 140189817104283 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26972] ppid=26958 vsize=10659088 memory=7163631965283378496 CPUtime=0.41 cores=0,2,4,6
/proc/26961/task/26972/stat : 26972 (java) R 26958 26961 22004 0 -1 4202560 3033 0 0 0 41 0 0 0 20 0 15 0 105832123 10914906112 51916 33554432000 4194304 4196468 140727839765152 140189304088800 140189798628976 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26973] ppid=26958 vsize=10659088 memory=7667213801450137426 CPUtime=0.43 cores=0,2,4,6
/proc/26961/task/26973/stat : 26973 (java) R 26958 26961 22004 0 -1 4202560 2512 0 0 0 43 0 0 0 20 0 15 0 105832123 10914906112 51916 33554432000 4194304 4196468 140727839765152 140189303032576 140189796300144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26974] ppid=26958 vsize=10659088 memory=7151830906713428048 CPUtime=0.34 cores=0,2,4,6
/proc/26961/task/26974/stat : 26974 (java) S 26958 26961 22004 0 -1 1077944384 2481 0 0 0 34 0 0 0 20 0 15 0 105832123 10914906112 51916 33554432000 4194304 4196468 140727839765152 140189301991920 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26975] ppid=26958 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26975/stat : 26975 (java) S 26958 26961 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105832123 10914906112 51916 33554432000 4194304 4196468 140727839765152 140189300939616 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26976] ppid=26958 vsize=10659088 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26976/stat : 26976 (java) S 26958 26961 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105832123 10914906112 51916 33554432000 4194304 4196468 140727839765152 140189299886640 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 207664 KiB

[startup+1.50146 s]
/proc/loadavg: 2.05 2.29 2.37 5/217 26976
/proc/meminfo: memFree=26928788/32770624 swapFree=67108860/67108860
[pid=26961] ppid=26958 vsize=10659088 memory=373472 CPUtime=4.42 cores=0,2,4,6
/proc/26961/stat : 26961 (java) S 26958 26961 22004 0 -1 1077944320 23124 0 0 0 432 10 0 0 20 0 15 0 105832117 10914906112 93368 33554432000 4194304 4196468 140727839765152 140727839747696 140189817085687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
/proc/26961/statm: 2664772 93368 3138 1 0 2627263 0
[pid=26961/tid=26963] ppid=26958 vsize=10659088 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/26961/task/26963/stat : 26963 (java) S 26958 26961 22004 0 -1 1077944384 6254 0 0 0 136 6 0 0 20 0 15 0 105832117 10914906112 93368 33554432000 4194304 4196468 140727839765152 140189821312256 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26964] ppid=26958 vsize=10659088 memory=-6951259422114956437 CPUtime=0.01 cores=0,2,4,6
/proc/26961/task/26964/stat : 26964 (java) R 26958 26961 22004 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 15 0 105832118 10914906112 93368 33554432000 4194304 4196468 140727839765152 140189753777168 140189802113570 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26965] ppid=26958 vsize=10659088 memory=-6509546260019855295 CPUtime=0.03 cores=0,2,4,6
/proc/26961/task/26965/stat : 26965 (java) R 26958 26961 22004 0 -1 4202560 29 0 0 0 3 0 0 0 20 0 15 0 105832118 10914906112 93368 33554432000 4194304 4196468 140727839765152 140189752724824 140189802107808 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26966] ppid=26958 vsize=10659088 memory=-7390251449858225344 CPUtime=0.03 cores=0,2,4,6
/proc/26961/task/26966/stat : 26966 (java) R 26958 26961 22004 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 15 0 105832118 10914906112 93368 33554432000 4194304 4196468 140727839765152 140189751671568 140189802113106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26967] ppid=26958 vsize=10659088 memory=4134692831991786133 CPUtime=0.01 cores=0,2,4,6
/proc/26961/task/26967/stat : 26967 (java) R 26958 26961 22004 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 15 0 105832118 10914906112 93368 33554432000 4194304 4196468 140727839765152 140189750619224 140189802113848 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26968] ppid=26958 vsize=10659088 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26968/stat : 26968 (java) S 26958 26961 22004 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 105832119 10914906112 93368 33554432000 4194304 4196468 140727839765152 140189308306208 140189817095893 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0

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


[startup+110.645 s]
# the end of solver process 26961 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=254.905 s, system=5.03299 s

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

[startup+108.801 s]
/proc/loadavg: 2.37 2.39 2.40 6/216 26977
/proc/meminfo: memFree=18661628/32770624 swapFree=67108860/67108860
[pid=26961] ppid=26958 vsize=10659088 memory=8286696 CPUtime=252.9 cores=0,2,4,6
/proc/26961/stat : 26961 (java) S 26958 26961 22004 0 -1 1077944320 186106 0 0 0 24793 497 0 0 20 0 15 0 105832117 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140727839747696 140189817085687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
/proc/26961/statm: 2664772 2071674 3174 1 0 2627263 0
[pid=26961/tid=26963] ppid=26958 vsize=10659088 memory=1624 CPUtime=40.66 cores=0,2,4,6
/proc/26961/task/26963/stat : 26963 (java) S 26958 26961 22004 0 -1 1077944384 17292 0 0 0 4045 21 0 0 20 0 15 0 105832117 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189821322448 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26964] ppid=26958 vsize=10659088 memory=303430223234596890 CPUtime=46.74 cores=0,2,4,6
/proc/26961/task/26964/stat : 26964 (java) R 26958 26961 22004 0 -1 4202560 35557 0 0 0 4560 114 0 0 20 0 15 0 105832118 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189753777368 140189802070971 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26965] ppid=26958 vsize=10659088 memory=288230583166042426 CPUtime=46.71 cores=0,2,4,6
/proc/26961/task/26965/stat : 26965 (java) R 26958 26961 22004 0 -1 4202560 25833 0 0 0 4547 124 0 0 20 0 15 0 105832118 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189752724824 140189801539630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26966] ppid=26958 vsize=10659088 memory=15252670952770856 CPUtime=46.59 cores=0,2,4,6
/proc/26961/task/26966/stat : 26966 (java) R 26958 26961 22004 0 -1 4202560 29448 0 0 0 4547 112 0 0 20 0 15 0 105832118 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189751671152 140189809713895 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26967] ppid=26958 vsize=10659088 memory=6791534058613427641 CPUtime=46.78 cores=0,2,4,6
/proc/26961/task/26967/stat : 26967 (java) R 26958 26961 22004 0 -1 4202560 28379 0 0 0 4561 117 0 0 20 0 15 0 105832118 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189750618608 140189809713895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26968] ppid=26958 vsize=10659088 memory=5788 CPUtime=20.84 cores=0,2,4,6
/proc/26961/task/26968/stat : 26968 (java) S 26958 26961 22004 0 -1 1077944384 27384 0 0 0 2082 2 0 0 20 0 15 0 105832119 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189308306016 140189817095893 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26969] ppid=26958 vsize=10659088 memory=792 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26969/stat : 26969 (java) S 26958 26961 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105832120 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189307253984 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26970] ppid=26958 vsize=10659088 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26970/stat : 26970 (java) S 26958 26961 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105832120 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189306200816 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26971] ppid=26958 vsize=10659088 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26971/stat : 26971 (java) S 26958 26961 22004 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189305149040 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26972] ppid=26958 vsize=10659088 memory=1944 CPUtime=1.91 cores=0,2,4,6
/proc/26961/task/26972/stat : 26972 (java) S 26958 26961 22004 0 -1 1077944384 8073 0 0 0 191 0 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189304097520 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26973] ppid=26958 vsize=10659088 memory=1416 CPUtime=2.03 cores=0,2,4,6
/proc/26961/task/26973/stat : 26973 (java) S 26958 26961 22004 0 -1 1077944384 7523 0 0 0 202 1 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189303044976 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26974] ppid=26958 vsize=10659088 memory=4612 CPUtime=0.48 cores=0,2,4,6
/proc/26961/task/26974/stat : 26974 (java) S 26958 26961 22004 0 -1 1077944384 5043 0 0 0 47 1 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189301991920 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26975] ppid=26958 vsize=10659088 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26975/stat : 26975 (java) S 26958 26961 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189300939616 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26976] ppid=26958 vsize=10659088 memory=1944 CPUtime=0.07 cores=0,2,4,6
/proc/26961/task/26976/stat : 26976 (java) S 26958 26961 22004 0 -1 1077944384 211 0 0 0 4 3 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189299886640 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
Current children cumulated CPU time: 252.9 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8286696 KiB

[startup+109.601 s]
/proc/loadavg: 2.37 2.39 2.40 6/216 26977
/proc/meminfo: memFree=18661628/32770624 swapFree=67108860/67108860
[pid=26961] ppid=26958 vsize=10659088 memory=8286696 CPUtime=256.01 cores=0,2,4,6
/proc/26961/stat : 26961 (java) S 26958 26961 22004 0 -1 1077944320 186191 0 0 0 25103 498 0 0 20 0 15 0 105832117 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140727839747696 140189817085687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
/proc/26961/statm: 2664772 2071674 3174 1 0 2627263 0
[pid=26961/tid=26963] ppid=26958 vsize=10659088 memory=6791534058613427641 CPUtime=40.66 cores=0,2,4,6
/proc/26961/task/26963/stat : 26963 (java) S 26958 26961 22004 0 -1 1077944384 17292 0 0 0 4045 21 0 0 20 0 15 0 105832117 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189821322448 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26964] ppid=26958 vsize=10659088 memory=1624 CPUtime=47.54 cores=0,2,4,6
/proc/26961/task/26964/stat : 26964 (java) R 26958 26961 22004 0 -1 4202560 35642 0 0 0 4640 114 0 0 20 0 15 0 105832118 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189753777368 140189801783439 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26965] ppid=26958 vsize=10659088 memory=1200 CPUtime=47.48 cores=0,2,4,6
/proc/26961/task/26965/stat : 26965 (java) R 26958 26961 22004 0 -1 1077944384 25833 0 0 0 4624 124 0 0 20 0 15 0 105832118 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189752724208 140189817096834 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26966] ppid=26958 vsize=10659088 memory=8286696 CPUtime=47.36 cores=0,2,4,6
/proc/26961/task/26966/stat : 26966 (java) R 26958 26961 22004 0 -1 4202560 29448 0 0 0 4624 112 0 0 20 0 15 0 105832118 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189751671152 140189809713895 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26967] ppid=26958 vsize=10659088 memory=2424 CPUtime=47.55 cores=0,2,4,6
/proc/26961/task/26967/stat : 26967 (java) R 26958 26961 22004 0 -1 4202560 28379 0 0 0 4638 117 0 0 20 0 15 0 105832118 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189750618608 140189809713895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26968] ppid=26958 vsize=10659088 memory=1840 CPUtime=20.84 cores=0,2,4,6
/proc/26961/task/26968/stat : 26968 (java) S 26958 26961 22004 0 -1 1077944384 27384 0 0 0 2082 2 0 0 20 0 15 0 105832119 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189308306016 140189817095893 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26969] ppid=26958 vsize=10659088 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26969/stat : 26969 (java) S 26958 26961 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105832120 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189307253984 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26970] ppid=26958 vsize=10659088 memory=12060 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26970/stat : 26970 (java) S 26958 26961 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105832120 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189306200816 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26971] ppid=26958 vsize=10659088 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26971/stat : 26971 (java) S 26958 26961 22004 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189305149040 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26972] ppid=26958 vsize=10659088 memory=1200 CPUtime=1.91 cores=0,2,4,6
/proc/26961/task/26972/stat : 26972 (java) S 26958 26961 22004 0 -1 1077944384 8073 0 0 0 191 0 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189304097520 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26973] ppid=26958 vsize=10659088 memory=15872 CPUtime=2.03 cores=0,2,4,6
/proc/26961/task/26973/stat : 26973 (java) S 26958 26961 22004 0 -1 1077944384 7523 0 0 0 202 1 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189303044976 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26974] ppid=26958 vsize=10659088 memory=17984 CPUtime=0.48 cores=0,2,4,6
/proc/26961/task/26974/stat : 26974 (java) S 26958 26961 22004 0 -1 1077944384 5043 0 0 0 47 1 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189301991920 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26975] ppid=26958 vsize=10659088 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26975/stat : 26975 (java) S 26958 26961 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189300939616 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26976] ppid=26958 vsize=10659088 memory=18248 CPUtime=0.07 cores=0,2,4,6
/proc/26961/task/26976/stat : 26976 (java) S 26958 26961 22004 0 -1 1077944384 211 0 0 0 4 3 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189299886640 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
Current children cumulated CPU time: 256.01 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8286696 KiB

[startup+110.401 s]
/proc/loadavg: 2.37 2.39 2.40 6/216 26977
/proc/meminfo: memFree=18659580/32770624 swapFree=67108860/67108860
[pid=26961] ppid=26958 vsize=10659088 memory=8286696 CPUtime=259.1 cores=0,2,4,6
/proc/26961/stat : 26961 (java) S 26958 26961 22004 0 -1 1077944320 186197 0 0 0 25411 499 0 0 20 0 15 0 105832117 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140727839747696 140189817085687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
/proc/26961/statm: 2664772 2071674 3174 1 0 2627263 0
[pid=26961/tid=26963] ppid=26958 vsize=10659088 memory=-7175204567652784766 CPUtime=40.66 cores=0,2,4,6
/proc/26961/task/26963/stat : 26963 (java) S 26958 26961 22004 0 -1 1077944384 17292 0 0 0 4045 21 0 0 20 0 15 0 105832117 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189821322448 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26964] ppid=26958 vsize=10659088 memory=3054156605268465310 CPUtime=48.31 cores=0,2,4,6
/proc/26961/task/26964/stat : 26964 (java) R 26958 26961 22004 0 -1 4202560 35642 0 0 0 4717 114 0 0 20 0 15 0 105832118 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189753776976 140189809713895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26965] ppid=26958 vsize=10659088 memory=6944656592455360604 CPUtime=48.23 cores=0,2,4,6
/proc/26961/task/26965/stat : 26965 (java) R 26958 26961 22004 0 -1 4202560 25833 0 0 0 4699 124 0 0 20 0 15 0 105832118 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189752724744 140189809713895 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26966] ppid=26958 vsize=10659088 memory=792 CPUtime=48.14 cores=0,2,4,6
/proc/26961/task/26966/stat : 26966 (java) R 26958 26961 22004 0 -1 4202560 29448 0 0 0 4702 112 0 0 20 0 15 0 105832118 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189751671568 140189802082111 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26967] ppid=26958 vsize=10659088 memory=1228 CPUtime=48.31 cores=0,2,4,6
/proc/26961/task/26967/stat : 26967 (java) R 26958 26961 22004 0 -1 4202560 28379 0 0 0 4714 117 0 0 20 0 15 0 105832118 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189750618832 140189809713895 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26968] ppid=26958 vsize=10659088 memory=1944 CPUtime=20.84 cores=0,2,4,6
/proc/26961/task/26968/stat : 26968 (java) S 26958 26961 22004 0 -1 1077944384 27390 0 0 0 2082 2 0 0 20 0 15 0 105832119 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189308306240 140189817095893 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26969] ppid=26958 vsize=10659088 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26969/stat : 26969 (java) S 26958 26961 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105832120 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189307253984 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26970] ppid=26958 vsize=10659088 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26970/stat : 26970 (java) S 26958 26961 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105832120 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189306200816 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26971] ppid=26958 vsize=10659088 memory=8508 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26971/stat : 26971 (java) S 26958 26961 22004 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189305149040 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26972] ppid=26958 vsize=10659088 memory=8286696 CPUtime=1.91 cores=0,2,4,6
/proc/26961/task/26972/stat : 26972 (java) S 26958 26961 22004 0 -1 1077944384 8073 0 0 0 191 0 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189304097520 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26973] ppid=26958 vsize=10659088 memory=8255816 CPUtime=2.03 cores=0,2,4,6
/proc/26961/task/26973/stat : 26973 (java) S 26958 26961 22004 0 -1 1077944384 7523 0 0 0 202 1 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189303044976 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26974] ppid=26958 vsize=10659088 memory=30176 CPUtime=0.48 cores=0,2,4,6
/proc/26961/task/26974/stat : 26974 (java) S 26958 26961 22004 0 -1 1077944384 5043 0 0 0 47 1 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189301991920 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26975] ppid=26958 vsize=10659088 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26975/stat : 26975 (java) S 26958 26961 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189300939616 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26976] ppid=26958 vsize=10659088 memory=8286640 CPUtime=0.07 cores=0,2,4,6
/proc/26961/task/26976/stat : 26976 (java) S 26958 26961 22004 0 -1 1077944384 211 0 0 0 4 3 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189299886640 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
Current children cumulated CPU time: 259.1 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8286696 KiB

[startup+110.601 s]
/proc/loadavg: 2.37 2.39 2.40 6/216 26977
/proc/meminfo: memFree=18659580/32770624 swapFree=67108860/67108860
[pid=26961] ppid=26958 vsize=10659088 memory=8286696 CPUtime=259.87 cores=0,2,4,6
/proc/26961/stat : 26961 (java) S 26958 26961 22004 0 -1 1077944320 186197 0 0 0 25488 499 0 0 20 0 15 0 105832117 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140727839747696 140189817085687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
/proc/26961/statm: 2664772 2071674 3174 1 0 2627263 0
[pid=26961/tid=26963] ppid=26958 vsize=10659088 memory=6791534058613427641 CPUtime=40.66 cores=0,2,4,6
/proc/26961/task/26963/stat : 26963 (java) S 26958 26961 22004 0 -1 1077944384 17292 0 0 0 4045 21 0 0 20 0 15 0 105832117 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189821322448 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26964] ppid=26958 vsize=10659088 memory=1228 CPUtime=48.51 cores=0,2,4,6
/proc/26961/task/26964/stat : 26964 (java) R 26958 26961 22004 0 -1 4202560 35642 0 0 0 4737 114 0 0 20 0 15 0 105832118 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189753776976 140189809713895 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26965] ppid=26958 vsize=10659088 memory=1944 CPUtime=48.43 cores=0,2,4,6
/proc/26961/task/26965/stat : 26965 (java) R 26958 26961 22004 0 -1 4202560 25833 0 0 0 4718 125 0 0 20 0 15 0 105832118 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189752724744 140189809713895 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26966] ppid=26958 vsize=10659088 memory=1416 CPUtime=48.34 cores=0,2,4,6
/proc/26961/task/26966/stat : 26966 (java) R 26958 26961 22004 0 -1 4202560 29448 0 0 0 4722 112 0 0 20 0 15 0 105832118 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189751671768 140189801543137 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26967] ppid=26958 vsize=10659088 memory=4612 CPUtime=48.5 cores=0,2,4,6
/proc/26961/task/26967/stat : 26967 (java) R 26958 26961 22004 0 -1 4202560 28379 0 0 0 4733 117 0 0 20 0 15 0 105832118 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189750618832 140189809713895 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26968] ppid=26958 vsize=10659088 memory=8508 CPUtime=20.84 cores=0,2,4,6
/proc/26961/task/26968/stat : 26968 (java) S 26958 26961 22004 0 -1 1077944384 27390 0 0 0 2082 2 0 0 20 0 15 0 105832119 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189308306240 140189817095893 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26969] ppid=26958 vsize=10659088 memory=1624 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26969/stat : 26969 (java) S 26958 26961 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105832120 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189307253984 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26970] ppid=26958 vsize=10659088 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26970/stat : 26970 (java) S 26958 26961 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105832120 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189306200816 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26971] ppid=26958 vsize=10659088 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26971/stat : 26971 (java) S 26958 26961 22004 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189305149040 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26972] ppid=26958 vsize=10659088 memory=960 CPUtime=1.91 cores=0,2,4,6
/proc/26961/task/26972/stat : 26972 (java) S 26958 26961 22004 0 -1 1077944384 8073 0 0 0 191 0 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189304097520 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26973] ppid=26958 vsize=10659088 memory=2424 CPUtime=2.03 cores=0,2,4,6
/proc/26961/task/26973/stat : 26973 (java) S 26958 26961 22004 0 -1 1077944384 7523 0 0 0 202 1 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189303044976 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26974] ppid=26958 vsize=10659088 memory=928 CPUtime=0.48 cores=0,2,4,6
/proc/26961/task/26974/stat : 26974 (java) S 26958 26961 22004 0 -1 1077944384 5043 0 0 0 47 1 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189301991920 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26975] ppid=26958 vsize=10659088 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/26961/task/26975/stat : 26975 (java) S 26958 26961 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189300939616 140189817095893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
[pid=26961/tid=26976] ppid=26958 vsize=10659088 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/26961/task/26976/stat : 26976 (java) S 26958 26961 22004 0 -1 1077944384 211 0 0 0 4 3 0 0 20 0 15 0 105832123 10914906112 2071674 33554432000 4194304 4196468 140727839765152 140189299886640 140189817096834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26423296 140727839769718 140727839769870 140727839769870 140727839772623 0
Current children cumulated CPU time: 259.87 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8286696 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 110.645
CPU time (s): 259.938
CPU user time (s): 254.905
CPU system time (s): 5.03299
CPU usage (%): 234.929
Max. virtual memory (cumulated for all children) (KiB): 10661680
Max. memory (cumulated for all children) (KiB): 8286696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.905
system time used= 5.03299
maximum resident set size= 8286984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186201
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5695
involuntary context switches= 2281


# summary of solver processes directly reported to runsolver:
#   pid: 26961
#   total CPU time (s): 259.938
#   total CPU user time (s): 254.905
#   total CPU system time (s): 5.03299

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.680418 second user time and 1.077 second system time

The end

Launcher Data 

Begin job on node151 at 2018-07-29 18:44:49
IDJOB=4301595
IDBENCH=141242
IDSOLVER=2773
FILE ID=node151/4301595-1532882689
RUNJOBID= node151-1532877021-22035
PBS_JOBID= 21022509
Free space on /tmp= 59308 MiB

SOLVER NAME= Sat4j-CSP 2018-07-11
BENCH NAME= XCSP18/QuadraticAssignment/QuadraticAssignment-sko56_c18.xml
COMMAND LINE= java -DCompetitionOutput -jar DIR/sat4j-csp-final.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301595-1532882689/watcher-4301595-1532882689 -o /tmp/evaluation-result-4301595-1532882689/solver-4301595-1532882689 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532877021-22035 --watchdog 312  java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301595-1532882689.xml

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

MD5SUM BENCH= 870d89fd5d4ada0d2442065415f88ba8
RANDOM SEED=1898751396

node151.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.87
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.87
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.87
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.87
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:        27143232 kB
MemAvailable:   30789676 kB
Buffers:          211632 kB
Cached:          3709192 kB
SwapCached:            0 kB
Active:          2533856 kB
Inactive:        2623448 kB
Active(anon):    1186432 kB
Inactive(anon):    78188 kB
Active(file):    1347424 kB
Inactive(file):  2545260 kB
Unevictable:        7804 kB
Mlocked:            7804 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2460 kB
Writeback:             0 kB
AnonPages:       1254428 kB
Mapped:            56244 kB
Shmem:             25224 kB
Slab:             167360 kB
SReclaimable:     139188 kB
SUnreclaim:        28172 kB
KernelStack:        3824 kB
PageTables:         7500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2369196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1140736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59308 MiB
End job on node151 at 2018-07-29 18:46:40