Trace number 4257884

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 2017-07-05? (TO) 260.315 94.252296

General information on the benchmark

NameBinPacking/BinPacking-mdd-sw100/
BinPacking-mdd-sw100-92.xml
MD5SUM6d97f1ae26f5c15ae832acf0c34f9a7a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark240.036
Satisfiable
(Un)Satisfiability was proved
Number of variables109
Number of constraints21
Number of domains2
Minimum domain size19
Maximum domain size46
Distribution of domain sizes[{"size":19,"count":1},{"size":46,"count":108}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":90},{"degree":4,"count":18}]
Minimum constraint arity6
Maximum constraint arity108
Distribution of constraint arities[{"arity":6,"count":18},{"arity":19,"count":1},{"arity":108,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"mdd","count":18},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4257884-1502650928/watcher-4257884-1502650928 -o /tmp/evaluation-result-4257884-1502650928/solver-4257884-1502650928 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6041 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257884-1502650928.xml 

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

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

solver pid=16706, runsolver pid=16703

[startup+0.10011 s]*
/proc/loadavg: 5.28 4.27 3.86 3/203 16715
/proc/meminfo: memFree=29262140/32770624 swapFree=67108860/67108860
[pid=16706] ppid=16703 vsize=10484492 memory=22284 CPUtime=0.05 cores=1,3,5,7
/proc/16706/stat : 16706 (java) S 16703 16706 17093 0 -1 1077944320 4559 0 0 0 4 1 0 0 20 0 14 0 67286139 10736119808 5571 18446744073709551615 4194304 4196468 140722681085088 140722681067632 140308482531063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
/proc/16706/statm: 2621123 5571 2517 1 0 2610620 0
[pid=16706/tid=16708] ppid=16703 vsize=10484492 memory=4206751525541407381 CPUtime=0.04 cores=1,3,5,7
/proc/16706/task/16708/stat : 16708 (java) D 16703 16706 17093 0 -1 1077944384 2706 0 0 0 3 1 0 0 20 0 14 0 67286144 10736119808 5637 18446744073709551615 4194304 4196468 140722681085088 140308486768448 140308482554941 0 4 1 16800974 18446744072101613092 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16709] ppid=16703 vsize=10484492 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16709/stat : 16709 (java) S 16703 16706 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 67286145 10736119808 5637 18446744073709551615 4194304 4196468 140722681085088 140308412951440 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16710] ppid=16703 vsize=10484492 memory=139691759695488 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16710/stat : 16710 (java) S 16703 16706 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 67286145 10736119808 5637 18446744073709551615 4194304 4196468 140722681085088 140308411898640 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16711] ppid=16703 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16711/stat : 16711 (java) S 16703 16706 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 67286145 10736119808 5637 18446744073709551615 4194304 4196468 140722681085088 140308410846352 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16712] ppid=16703 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16712/stat : 16712 (java) S 16703 16706 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 67286145 10736119808 5637 18446744073709551615 4194304 4196468 140722681085088 140308409793552 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16713] ppid=16703 vsize=10484492 memory=139691759695488 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16713/stat : 16713 (java) S 16703 16706 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 67286146 10736119808 5637 18446744073709551615 4194304 4196468 140722681085088 140307977934960 140308482542210 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16714] ppid=16703 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16714/stat : 16714 (java) S 16703 16706 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 67286147 10736119808 5637 18446744073709551615 4194304 4196468 140722681085088 140307976880928 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16715] ppid=16703 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16715/stat : 16715 (java) S 16703 16706 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 67286147 10736119808 5637 18446744073709551615 4194304 4196468 140722681085088 140307975828592 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16716] ppid=16703 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16716/stat : 16716 (java) S 16703 16706 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 67286149 10736119808 5637 18446744073709551615 4194304 4196468 140722681085088 140307974776912 140308482549659 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16717] ppid=16703 vsize=10484492 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16717/stat : 16717 (java) S 16703 16706 17093 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 14 0 67286149 10736119808 5637 18446744073709551615 4194304 4196468 140722681085088 140307973724784 140308482542210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16718] ppid=16703 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16718/stat : 16718 (java) S 16703 16706 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 67286149 10736119808 5637 18446744073709551615 4194304 4196468 140722681085088 140307972671984 140308482542210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16719] ppid=16703 vsize=10484492 memory=139691759695488 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16719/stat : 16719 (java) S 16703 16706 17093 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 14 0 67286149 10736119808 5637 18446744073709551615 4194304 4196468 140722681085088 140307971619696 140308482542210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16720] ppid=16703 vsize=10484492 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16720/stat : 16720 (java) S 16703 16706 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 67286149 10736119808 5637 18446744073709551615 4194304 4196468 140722681085088 140307970567136 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10484492 KiB
Current children cumulated memory: 22284 KiB

[startup+0.210274 s]*
/proc/loadavg: 5.28 4.27 3.86 3/209 16721
/proc/meminfo: memFree=29191276/32770624 swapFree=67108860/67108860
[pid=16706] ppid=16703 vsize=10551156 memory=23108 CPUtime=0.07 cores=1,3,5,7
/proc/16706/stat : 16706 (java) S 16703 16706 17093 0 -1 1077944320 4793 0 0 0 6 1 0 0 20 0 15 0 67286139 10804383744 5777 18446744073709551615 4194304 4196468 140722681085088 140722681067632 140308482531063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
/proc/16706/statm: 2637789 5777 2639 1 0 2627261 0
[pid=16706/tid=16708] ppid=16703 vsize=10551156 memory=8318255677412212789 CPUtime=0.06 cores=1,3,5,7
/proc/16706/task/16708/stat : 16708 (java) R 16703 16706 17093 0 -1 4202560 2899 0 0 0 5 1 0 0 20 0 15 0 67286144 10804383744 6289 18446744073709551615 4194304 4196468 140722681085088 140308486756752 140308466611550 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16709] ppid=16703 vsize=10551156 memory=330 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16709/stat : 16709 (java) S 16703 16706 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67286145 10804383744 6289 18446744073709551615 4194304 4196468 140722681085088 140308412951440 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16710] ppid=16703 vsize=10551156 memory=139691759712447 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16710/stat : 16710 (java) S 16703 16706 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67286145 10804383744 6289 18446744073709551615 4194304 4196468 140722681085088 140308411898640 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16711] ppid=16703 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16711/stat : 16711 (java) S 16703 16706 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67286145 10804383744 6289 18446744073709551615 4194304 4196468 140722681085088 140308410846352 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16712] ppid=16703 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16712/stat : 16712 (java) S 16703 16706 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67286145 10804383744 6289 18446744073709551615 4194304 4196468 140722681085088 140308409793552 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16713] ppid=16703 vsize=10551156 memory=139691759695488 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16713/stat : 16713 (java) S 16703 16706 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67286146 10804383744 6289 18446744073709551615 4194304 4196468 140722681085088 140307977934960 140308482542210 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16714] ppid=16703 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16714/stat : 16714 (java) S 16703 16706 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67286147 10804383744 6289 18446744073709551615 4194304 4196468 140722681085088 140307976880928 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16715] ppid=16703 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16715/stat : 16715 (java) S 16703 16706 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67286147 10804383744 6289 18446744073709551615 4194304 4196468 140722681085088 140307975828592 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16716] ppid=16703 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16716/stat : 16716 (java) S 16703 16706 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67286149 10804383744 6289 18446744073709551615 4194304 4196468 140722681085088 140307974776912 140308482549659 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16717] ppid=16703 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16717/stat : 16717 (java) R 16703 16706 17093 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 67286149 10804383744 6289 18446744073709551615 4194304 4196468 140722681085088 140307973724784 140308482542210 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16718] ppid=16703 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16718/stat : 16718 (java) S 16703 16706 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67286149 10804383744 6289 18446744073709551615 4194304 4196468 140722681085088 140307972671984 140308482542210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16719] ppid=16703 vsize=10551156 memory=139691759695488 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16719/stat : 16719 (java) R 16703 16706 17093 0 -1 4202560 237 0 0 0 0 0 0 0 20 0 15 0 67286149 10804383744 6289 18446744073709551615 4194304 4196468 140722681085088 140307971619696 140308461112464 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16720] ppid=16703 vsize=10551156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16720/stat : 16720 (java) S 16703 16706 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67286149 10804383744 6289 18446744073709551615 4194304 4196468 140722681085088 140307970567136 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16721] ppid=16703 vsize=10551156 memory=139691759695488 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16721/stat : 16721 (java) S 16703 16706 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67286159 10804383744 6289 18446744073709551615 4194304 4196468 140722681085088 140307969513904 140308482542210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 23108 KiB

[startup+0.309834 s]*
/proc/loadavg: 5.28 4.27 3.86 8/209 16721
/proc/meminfo: memFree=28817156/32770624 swapFree=67108860/67108860
[pid=16706] ppid=16703 vsize=10551156 memory=35948 CPUtime=0.23 cores=1,3,5,7
/proc/16706/stat : 16706 (java) S 16703 16706 17093 0 -1 1077944320 8268 0 0 0 20 3 0 0 20 0 15 0 67286139 10804383744 8987 18446744073709551615 4194304 4196468 140722681085088 140722681067632 140308482531063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
/proc/16706/statm: 2637789 8987 2864 1 0 2627261 0
[pid=16706/tid=16708] ppid=16703 vsize=10551156 memory=-7677926825137650786 CPUtime=0.16 cores=1,3,5,7
/proc/16706/task/16708/stat : 16708 (java) R 16703 16706 17093 0 -1 4202560 5911 0 0 0 14 2 0 0 20 0 15 0 67286144 10804383744 8987 18446744073709551615 4194304 4196468 140722681085088 140308486754944 140308464116576 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16709] ppid=16703 vsize=10551156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16709/stat : 16709 (java) S 16703 16706 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67286145 10804383744 8987 18446744073709551615 4194304 4196468 140722681085088 140308412951440 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16710] ppid=16703 vsize=10551156 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16710/stat : 16710 (java) S 16703 16706 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67286145 10804383744 8987 18446744073709551615 4194304 4196468 140722681085088 140308411898640 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16711] ppid=16703 vsize=10551156 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16711/stat : 16711 (java) S 16703 16706 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67286145 10804383744 8987 18446744073709551615 4194304 4196468 140722681085088 140308410846352 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16712] ppid=16703 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16712/stat : 16712 (java) S 16703 16706 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67286145 10804383744 8987 18446744073709551615 4194304 4196468 140722681085088 140308409793552 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16713] ppid=16703 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16713/stat : 16713 (java) S 16703 16706 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67286146 10804383744 8987 18446744073709551615 4194304 4196468 140722681085088 140307977934960 140308482542210 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16714] ppid=16703 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16714/stat : 16714 (java) S 16703 16706 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67286147 10804383744 8987 18446744073709551615 4194304 4196468 140722681085088 140307976880928 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16715] ppid=16703 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16715/stat : 16715 (java) S 16703 16706 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67286147 10804383744 8987 18446744073709551615 4194304 4196468 140722681085088 140307975828592 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16716] ppid=16703 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16716/stat : 16716 (java) S 16703 16706 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67286149 10804383744 8987 18446744073709551615 4194304 4196468 140722681085088 140307974776912 140308482549659 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16717] ppid=16703 vsize=10551156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16706/task/16717/stat : 16717 (java) S 16703 16706 17093 0 -1 1077944384 485 0 0 0 1 0 0 0 20 0 15 0 67286149 10804383744 8987 18446744073709551615 4194304 4196468 140722681085088 140307973724784 140308482542210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16718] ppid=16703 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16718/stat : 16718 (java) S 16703 16706 17093 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 67286149 10804383744 8987 18446744073709551615 4194304 4196468 140722681085088 140307972671984 140308482542210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16719] ppid=16703 vsize=10551156 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/16706/task/16719/stat : 16719 (java) R 16703 16706 17093 0 -1 4202560 438 0 0 0 4 0 0 0 20 0 15 0 67286149 10804383744 8987 18446744073709551615 4194304 4196468 140722681085088 140307971618880 140308474768190 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16720] ppid=16703 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16720/stat : 16720 (java) S 16703 16706 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67286149 10804383744 8987 18446744073709551615 4194304 4196468 140722681085088 140307970567136 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16721] ppid=16703 vsize=10551156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16721/stat : 16721 (java) S 16703 16706 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67286159 10804383744 9053 18446744073709551615 4194304 4196468 140722681085088 140307969513904 140308482542210 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 35948 KiB

[startup+0.701424 s]
/proc/loadavg: 5.28 4.27 3.86 8/209 16721
/proc/meminfo: memFree=28780452/32770624 swapFree=67108860/67108860
[pid=16706] ppid=16703 vsize=10551232 memory=101636 CPUtime=1.22 cores=1,3,5,7
/proc/16706/stat : 16706 (java) S 16703 16706 17093 0 -1 1077944320 11943 0 0 0 117 5 0 0 20 0 15 0 67286139 10804461568 25409 18446744073709551615 4194304 4196468 140722681085088 140722681067632 140308482531063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
/proc/16706/statm: 2637808 25409 3057 1 0 2627261 0
[pid=16706/tid=16708] ppid=16703 vsize=10551232 memory=33 CPUtime=0.54 cores=1,3,5,7
/proc/16706/task/16708/stat : 16708 (java) R 16703 16706 17093 0 -1 4202560 7360 0 0 0 51 3 0 0 20 0 15 0 67286144 10804461568 25409 18446744073709551615 4194304 4196468 140722681085088 140308486766000 140308078232501 0 4 1 16800974 0 0 0 -1 7 0 0 8 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16709] ppid=16703 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16709/stat : 16709 (java) S 16703 16706 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67286145 10804461568 25409 18446744073709551615 4194304 4196468 140722681085088 140308412951440 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16710] ppid=16703 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16710/stat : 16710 (java) S 16703 16706 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67286145 10804461568 25409 18446744073709551615 4194304 4196468 140722681085088 140308411898640 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16711] ppid=16703 vsize=10551232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16711/stat : 16711 (java) S 16703 16706 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67286145 10804461568 25409 18446744073709551615 4194304 4196468 140722681085088 140308410846352 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16712] ppid=16703 vsize=10551232 memory=1152 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16712/stat : 16712 (java) S 16703 16706 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67286145 10804461568 25409 18446744073709551615 4194304 4196468 140722681085088 140308409793552 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16713] ppid=16703 vsize=10551232 memory=2452 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16713/stat : 16713 (java) S 16703 16706 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67286146 10804461568 25409 18446744073709551615 4194304 4196468 140722681085088 140307977934960 140308482542210 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16714] ppid=16703 vsize=10551232 memory=2740240 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16714/stat : 16714 (java) S 16703 16706 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67286147 10804461568 25409 18446744073709551615 4194304 4196468 140722681085088 140307976880928 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16715] ppid=16703 vsize=10551232 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16715/stat : 16715 (java) S 16703 16706 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67286147 10804461568 25409 18446744073709551615 4194304 4196468 140722681085088 140307975828592 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16716] ppid=16703 vsize=10551232 memory=4641333681340897123 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16716/stat : 16716 (java) S 16703 16706 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67286149 10804461568 25409 18446744073709551615 4194304 4196468 140722681085088 140307974776912 140308482549659 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16717] ppid=16703 vsize=10551232 memory=7523093098703251025 CPUtime=0.23 cores=1,3,5,7
/proc/16706/task/16717/stat : 16717 (java) R 16703 16706 17093 0 -1 4202560 1326 0 0 0 23 0 0 0 20 0 15 0 67286149 10804461568 25409 18446744073709551615 4194304 4196468 140722681085088 140307973716112 140308468682704 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16718] ppid=16703 vsize=10551232 memory=7809617114362637412 CPUtime=0.23 cores=1,3,5,7
/proc/16706/task/16718/stat : 16718 (java) R 16703 16706 17093 0 -1 4202560 958 0 0 0 23 0 0 0 20 0 15 0 67286149 10804461568 25409 18446744073709551615 4194304 4196468 140722681085088 140307972657888 140308460923675 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16719] ppid=16703 vsize=10551232 memory=7668012111147524688 CPUtime=0.18 cores=1,3,5,7
/proc/16706/task/16719/stat : 16719 (java) S 16703 16706 17093 0 -1 1077944384 931 0 0 0 18 0 0 0 20 0 15 0 67286149 10804461568 25409 18446744073709551615 4194304 4196468 140722681085088 140307971619696 140308482542210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16720] ppid=16703 vsize=10551232 memory=6083073826404722793 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16720/stat : 16720 (java) S 16703 16706 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67286149 10804461568 25409 18446744073709551615 4194304 4196468 140722681085088 140307970567136 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16721] ppid=16703 vsize=10551232 memory=6154282490091891024 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16721/stat : 16721 (java) S 16703 16706 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67286159 10804461568 25409 18446744073709551615 4194304 4196468 140722681085088 140307969513904 140308482542210 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 101636 KiB

[startup+1.50142 s]
/proc/loadavg: 5.28 4.27 3.86 5/209 16721
/proc/meminfo: memFree=28665152/32770624 swapFree=67108860/67108860
[pid=16706] ppid=16703 vsize=10551232 memory=279532 CPUtime=3.24 cores=1,3,5,7
/proc/16706/stat : 16706 (java) S 16703 16706 17093 0 -1 1077944320 16605 0 0 0 310 14 0 0 20 0 15 0 67286139 10804461568 69883 18446744073709551615 4194304 4196468 140722681085088 140722681067632 140308482531063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
/proc/16706/statm: 2637808 69883 3092 1 0 2627261 0
[pid=16706/tid=16708] ppid=16703 vsize=10551232 memory=199544 CPUtime=1.23 cores=1,3,5,7
/proc/16706/task/16708/stat : 16708 (java) R 16703 16706 17093 0 -1 4202560 7840 0 0 0 118 5 0 0 20 0 15 0 67286144 10804461568 69883 18446744073709551615 4194304 4196468 140722681085088 140308486767504 140308078837689 0 4 1 16800974 0 0 0 -1 3 0 0 8 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16709] ppid=16703 vsize=10551232 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/16706/task/16709/stat : 16709 (java) S 16703 16706 17093 0 -1 1077944384 47 0 0 0 5 1 0 0 20 0 15 0 67286145 10804461568 69883 18446744073709551615 4194304 4196468 140722681085088 140308412951440 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16710] ppid=16703 vsize=10551232 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16706/task/16710/stat : 16710 (java) S 16703 16706 17093 0 -1 1077944384 72 0 0 0 6 1 0 0 20 0 15 0 67286145 10804461568 69883 18446744073709551615 4194304 4196468 140722681085088 140308411898640 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16711] ppid=16703 vsize=10551232 memory=7649399375624877617 CPUtime=0.07 cores=1,3,5,7
/proc/16706/task/16711/stat : 16711 (java) S 16703 16706 17093 0 -1 1077944384 268 0 0 0 6 1 0 0 20 0 15 0 67286145 10804461568 69883 18446744073709551615 4194304 4196468 140722681085088 140308410846352 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16712] ppid=16703 vsize=10551232 memory=5859271421085237344 CPUtime=0.08 cores=1,3,5,7
/proc/16706/task/16712/stat : 16712 (java) S 16703 16706 17093 0 -1 1077944384 50 0 0 0 7 1 0 0 20 0 15 0 67286145 10804461568 69883 18446744073709551615 4194304 4196468 140722681085088 140308409793552 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16713] ppid=16703 vsize=10551232 memory=68 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16713/stat : 16713 (java) S 16703 16706 17093 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 67286146 10804461568 69883 18446744073709551615 4194304 4196468 140722681085088 140307977934960 140308482542210 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16714] ppid=16703 vsize=10551232 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16714/stat : 16714 (java) S 16703 16706 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67286147 10804461568 69883 18446744073709551615 4194304 4196468 140722681085088 140307976880992 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0

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


[startup+94.2523 s]
# the end of solver process 16706 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=255.075 s, system=5.23987 s

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

[startup+92.8007 s]
/proc/loadavg: 4.79 4.44 3.96 8/209 16798
/proc/meminfo: memFree=21223384/32770624 swapFree=67108860/67108860
[pid=16706] ppid=16703 vsize=10551232 memory=8258456 CPUtime=254.65 cores=1,3,5,7
/proc/16706/stat : 16706 (java) S 16703 16706 17093 0 -1 1077944320 150224 0 0 0 24946 519 0 0 20 0 15 0 67286139 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140722681067632 140308482531063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
/proc/16706/statm: 2637808 2064614 3113 1 0 2627261 0
[pid=16706/tid=16708] ppid=16703 vsize=10551232 memory=4028 CPUtime=13.87 cores=1,3,5,7
/proc/16706/task/16708/stat : 16708 (java) S 16703 16706 17093 0 -1 1077944384 14909 0 0 0 1378 9 0 0 20 0 15 0 67286144 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308486767680 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16709] ppid=16703 vsize=10551232 memory=8258456 CPUtime=53.33 cores=1,3,5,7
/proc/16706/task/16709/stat : 16709 (java) R 16703 16706 17093 0 -1 4202560 21874 0 0 0 5214 119 0 0 20 0 15 0 67286145 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308412951640 140308467527444 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16710] ppid=16703 vsize=10551232 memory=8258456 CPUtime=53.11 cores=1,3,5,7
/proc/16706/task/16710/stat : 16710 (java) R 16703 16706 17093 0 -1 4202560 13813 0 0 0 5174 137 0 0 20 0 15 0 67286145 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308411898448 140308475159271 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16711] ppid=16703 vsize=10551232 memory=0 CPUtime=53.22 cores=1,3,5,7
/proc/16706/task/16711/stat : 16711 (java) R 16703 16706 17093 0 -1 4202560 28860 0 0 0 5194 128 0 0 20 0 15 0 67286145 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308410846160 140308475159271 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16712] ppid=16703 vsize=10551232 memory=-8774313645642428999 CPUtime=53.03 cores=1,3,5,7
/proc/16706/task/16712/stat : 16712 (java) R 16703 16706 17093 0 -1 4202560 20394 0 0 0 5187 116 0 0 20 0 15 0 67286145 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308409793672 140308475159271 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16713] ppid=16703 vsize=10551232 memory=7973704 CPUtime=24.71 cores=1,3,5,7
/proc/16706/task/16713/stat : 16713 (java) S 16703 16706 17093 0 -1 1077944384 24224 0 0 0 2469 2 0 0 20 0 15 0 67286146 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307977933504 140308482541269 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16714] ppid=16703 vsize=10551232 memory=6735520 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16714/stat : 16714 (java) S 16703 16706 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67286147 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307976880992 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16715] ppid=16703 vsize=10551232 memory=6725576 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16715/stat : 16715 (java) S 16703 16706 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 67286147 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307975828592 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16716] ppid=16703 vsize=10551232 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16716/stat : 16716 (java) S 16703 16706 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307974776560 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16717] ppid=16703 vsize=10551232 memory=4612 CPUtime=2.13 cores=1,3,5,7
/proc/16706/task/16717/stat : 16717 (java) S 16703 16706 17093 0 -1 1077944384 19054 0 0 0 210 3 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307973724832 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16718] ppid=16703 vsize=10551232 memory=1708 CPUtime=0.85 cores=1,3,5,7
/proc/16706/task/16718/stat : 16718 (java) S 16703 16706 17093 0 -1 1077944384 3617 0 0 0 85 0 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307972671744 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16719] ppid=16703 vsize=10551232 memory=1444 CPUtime=0.26 cores=1,3,5,7
/proc/16706/task/16719/stat : 16719 (java) S 16703 16706 17093 0 -1 1077944384 1334 0 0 0 26 0 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307971619744 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16720] ppid=16703 vsize=10551232 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16720/stat : 16720 (java) S 16703 16706 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307970567136 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16721] ppid=16703 vsize=10551232 memory=1204 CPUtime=0.04 cores=1,3,5,7
/proc/16706/task/16721/stat : 16721 (java) S 16703 16706 17093 0 -1 1077944384 784 0 0 0 1 3 0 0 20 0 15 0 67286159 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307969513904 140308482542210 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
Current children cumulated CPU time: 254.65 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8258456 KiB

[startup+93.6014 s]
/proc/loadavg: 4.79 4.44 3.96 9/209 16798
/proc/meminfo: memFree=21113600/32770624 swapFree=67108860/67108860
[pid=16706] ppid=16703 vsize=10551232 memory=8258456 CPUtime=257.84 cores=1,3,5,7
/proc/16706/stat : 16706 (java) S 16703 16706 17093 0 -1 1077944320 150518 0 0 0 25264 520 0 0 20 0 15 0 67286139 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140722681067632 140308482531063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
/proc/16706/statm: 2637808 2064614 3113 1 0 2627261 0
[pid=16706/tid=16708] ppid=16703 vsize=10551232 memory=37864 CPUtime=13.87 cores=1,3,5,7
/proc/16706/task/16708/stat : 16708 (java) S 16703 16706 17093 0 -1 1077944384 14909 0 0 0 1378 9 0 0 20 0 15 0 67286144 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308486767680 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16709] ppid=16703 vsize=10551232 memory=1296 CPUtime=54.13 cores=1,3,5,7
/proc/16706/task/16709/stat : 16709 (java) R 16703 16706 17093 0 -1 4202560 21939 0 0 0 5294 119 0 0 20 0 15 0 67286145 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308412951640 140308475634056 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16710] ppid=16703 vsize=10551232 memory=-8774313645642428999 CPUtime=53.91 cores=1,3,5,7
/proc/16706/task/16710/stat : 16710 (java) R 16703 16706 17093 0 -1 4202560 13876 0 0 0 5254 137 0 0 20 0 15 0 67286145 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308411898760 140308475634056 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16711] ppid=16703 vsize=10551232 memory=1732 CPUtime=54.02 cores=1,3,5,7
/proc/16706/task/16711/stat : 16711 (java) R 16703 16706 17093 0 -1 4202560 28957 0 0 0 5274 128 0 0 20 0 15 0 67286145 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308410846472 140308475634067 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16712] ppid=16703 vsize=10551232 memory=5788 CPUtime=53.81 cores=1,3,5,7
/proc/16706/task/16712/stat : 16712 (java) R 16703 16706 17093 0 -1 4202560 20463 0 0 0 5265 116 0 0 20 0 15 0 67286145 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308409793672 140308475634042 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16713] ppid=16703 vsize=10551232 memory=4612 CPUtime=24.71 cores=1,3,5,7
/proc/16706/task/16713/stat : 16713 (java) S 16703 16706 17093 0 -1 1077944384 24224 0 0 0 2469 2 0 0 20 0 15 0 67286146 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307977933504 140308482541269 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16714] ppid=16703 vsize=10551232 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16714/stat : 16714 (java) S 16703 16706 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67286147 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307976880992 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16715] ppid=16703 vsize=10551232 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16715/stat : 16715 (java) S 16703 16706 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 67286147 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307975828592 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16716] ppid=16703 vsize=10551232 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16716/stat : 16716 (java) S 16703 16706 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307974776560 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16717] ppid=16703 vsize=10551232 memory=12200 CPUtime=2.13 cores=1,3,5,7
/proc/16706/task/16717/stat : 16717 (java) S 16703 16706 17093 0 -1 1077944384 19054 0 0 0 210 3 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307973724832 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16718] ppid=16703 vsize=10551232 memory=1992 CPUtime=0.85 cores=1,3,5,7
/proc/16706/task/16718/stat : 16718 (java) S 16703 16706 17093 0 -1 1077944384 3617 0 0 0 85 0 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307972671744 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16719] ppid=16703 vsize=10551232 memory=1204 CPUtime=0.26 cores=1,3,5,7
/proc/16706/task/16719/stat : 16719 (java) S 16703 16706 17093 0 -1 1077944384 1334 0 0 0 26 0 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307971619744 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16720] ppid=16703 vsize=10551232 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16720/stat : 16720 (java) S 16703 16706 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307970567136 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16721] ppid=16703 vsize=10551232 memory=796 CPUtime=0.04 cores=1,3,5,7
/proc/16706/task/16721/stat : 16721 (java) S 16703 16706 17093 0 -1 1077944384 784 0 0 0 1 3 0 0 20 0 15 0 67286159 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307969513904 140308482542210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
Current children cumulated CPU time: 257.84 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8258456 KiB

[startup+94.0014 s]*
/proc/loadavg: 5.12 4.52 3.99 6/209 16798
/proc/meminfo: memFree=21113352/32770624 swapFree=67108860/67108860
[pid=16706] ppid=16703 vsize=10551232 memory=8258456 CPUtime=259.46 cores=1,3,5,7
/proc/16706/stat : 16706 (java) S 16703 16706 17093 0 -1 1077944320 150518 0 0 0 25426 520 0 0 20 0 15 0 67286139 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140722681067632 140308482531063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
/proc/16706/statm: 2637808 2064614 3113 1 0 2627261 0
[pid=16706/tid=16708] ppid=16703 vsize=10551232 memory=-7677926825137650786 CPUtime=13.87 cores=1,3,5,7
/proc/16706/task/16708/stat : 16708 (java) S 16703 16706 17093 0 -1 1077944384 14909 0 0 0 1378 9 0 0 20 0 15 0 67286144 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308486767680 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16709] ppid=16703 vsize=10551232 memory=4872558044660077418 CPUtime=54.54 cores=1,3,5,7
/proc/16706/task/16709/stat : 16709 (java) R 16703 16706 17093 0 -1 4202560 21939 0 0 0 5335 119 0 0 20 0 15 0 67286145 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308412951640 140308467231696 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16710] ppid=16703 vsize=10551232 memory=844 CPUtime=54.32 cores=1,3,5,7
/proc/16706/task/16710/stat : 16710 (java) R 16703 16706 17093 0 -1 4202560 13876 0 0 0 5295 137 0 0 20 0 15 0 67286145 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308411898760 140308467527560 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16711] ppid=16703 vsize=10551232 memory=16448 CPUtime=54.43 cores=1,3,5,7
/proc/16706/task/16711/stat : 16711 (java) R 16703 16706 17093 0 -1 4202560 28957 0 0 0 5315 128 0 0 20 0 15 0 67286145 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308410846472 140308467527408 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16712] ppid=16703 vsize=10551232 memory=2752 CPUtime=54.21 cores=1,3,5,7
/proc/16706/task/16712/stat : 16712 (java) R 16703 16706 17093 0 -1 4202560 20463 0 0 0 5305 116 0 0 20 0 15 0 67286145 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308409793672 140308467520893 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16713] ppid=16703 vsize=10551232 memory=2868 CPUtime=24.71 cores=1,3,5,7
/proc/16706/task/16713/stat : 16713 (java) S 16703 16706 17093 0 -1 1077944384 24224 0 0 0 2469 2 0 0 20 0 15 0 67286146 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307977933504 140308482541269 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16714] ppid=16703 vsize=10551232 memory=4064 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16714/stat : 16714 (java) S 16703 16706 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67286147 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307976880992 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16715] ppid=16703 vsize=10551232 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16715/stat : 16715 (java) S 16703 16706 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 67286147 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307975828592 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16716] ppid=16703 vsize=10551232 memory=2900 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16716/stat : 16716 (java) S 16703 16706 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307974776560 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16717] ppid=16703 vsize=10551232 memory=8258456 CPUtime=2.13 cores=1,3,5,7
/proc/16706/task/16717/stat : 16717 (java) S 16703 16706 17093 0 -1 1077944384 19054 0 0 0 210 3 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307973724832 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16718] ppid=16703 vsize=10551232 memory=1160 CPUtime=0.85 cores=1,3,5,7
/proc/16706/task/16718/stat : 16718 (java) S 16703 16706 17093 0 -1 1077944384 3617 0 0 0 85 0 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307972671744 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16719] ppid=16703 vsize=10551232 memory=31076 CPUtime=0.26 cores=1,3,5,7
/proc/16706/task/16719/stat : 16719 (java) S 16703 16706 17093 0 -1 1077944384 1334 0 0 0 26 0 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307971619744 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16720] ppid=16703 vsize=10551232 memory=301741399194482052 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16720/stat : 16720 (java) S 16703 16706 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307970567136 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16721] ppid=16703 vsize=10551232 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/16706/task/16721/stat : 16721 (java) S 16703 16706 17093 0 -1 1077944384 784 0 0 0 1 3 0 0 20 0 15 0 67286159 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307969513904 140308482542210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
Current children cumulated CPU time: 259.46 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8258456 KiB

[startup+94.2014 s]
/proc/loadavg: 5.12 4.52 3.99 6/209 16798
/proc/meminfo: memFree=21113352/32770624 swapFree=67108860/67108860
[pid=16706] ppid=16703 vsize=10551232 memory=8258456 CPUtime=260.23 cores=1,3,5,7
/proc/16706/stat : 16706 (java) S 16703 16706 17093 0 -1 1077944320 150518 0 0 0 25503 520 0 0 20 0 15 0 67286139 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140722681067632 140308482531063 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 5 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
/proc/16706/statm: 2637808 2064614 3113 1 0 2627261 0
[pid=16706/tid=16708] ppid=16703 vsize=10551232 memory=297237821058711863 CPUtime=13.87 cores=1,3,5,7
/proc/16706/task/16708/stat : 16708 (java) S 16703 16706 17093 0 -1 1077944384 14909 0 0 0 1378 9 0 0 20 0 15 0 67286144 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308486767680 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 8 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16709] ppid=16703 vsize=10551232 memory=13563795322702378 CPUtime=54.73 cores=1,3,5,7
/proc/16706/task/16709/stat : 16709 (java) R 16703 16706 17093 0 -1 4202560 21939 0 0 0 5354 119 0 0 20 0 15 0 67286145 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308412951640 140308467520674 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16710] ppid=16703 vsize=10551232 memory=7660742144744843625 CPUtime=54.51 cores=1,3,5,7
/proc/16706/task/16710/stat : 16710 (java) R 16703 16706 17093 0 -1 4202560 13876 0 0 0 5314 137 0 0 20 0 15 0 67286145 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308411898760 140308475635766 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16711] ppid=16703 vsize=10551232 memory=6154820267226784105 CPUtime=54.62 cores=1,3,5,7
/proc/16706/task/16711/stat : 16711 (java) R 16703 16706 17093 0 -1 4202560 28957 0 0 0 5334 128 0 0 20 0 15 0 67286145 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308410846472 140308467231788 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16712] ppid=16703 vsize=10551232 memory=7300728970739542608 CPUtime=54.4 cores=1,3,5,7
/proc/16706/task/16712/stat : 16712 (java) R 16703 16706 17093 0 -1 4202560 20463 0 0 0 5324 116 0 0 20 0 15 0 67286145 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140308409793672 140308467231000 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16713] ppid=16703 vsize=10551232 memory=7660742144744843625 CPUtime=24.71 cores=1,3,5,7
/proc/16706/task/16713/stat : 16713 (java) S 16703 16706 17093 0 -1 1077944384 24224 0 0 0 2469 2 0 0 20 0 15 0 67286146 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307977933504 140308482541269 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16714] ppid=16703 vsize=10551232 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16714/stat : 16714 (java) S 16703 16706 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67286147 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307976880992 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16715] ppid=16703 vsize=10551232 memory=3472467987016567435 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16715/stat : 16715 (java) S 16703 16706 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 67286147 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307975828592 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16716] ppid=16703 vsize=10551232 memory=127281 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16716/stat : 16716 (java) S 16703 16706 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307974776560 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16717] ppid=16703 vsize=10551232 memory=127281 CPUtime=2.13 cores=1,3,5,7
/proc/16706/task/16717/stat : 16717 (java) S 16703 16706 17093 0 -1 1077944384 19054 0 0 0 210 3 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307973724832 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16718] ppid=16703 vsize=10551232 memory=127281 CPUtime=0.85 cores=1,3,5,7
/proc/16706/task/16718/stat : 16718 (java) S 16703 16706 17093 0 -1 1077944384 3617 0 0 0 85 0 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307972671744 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16719] ppid=16703 vsize=10551232 memory=34833 CPUtime=0.26 cores=1,3,5,7
/proc/16706/task/16719/stat : 16719 (java) S 16703 16706 17093 0 -1 1077944384 1334 0 0 0 26 0 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307971619744 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16720] ppid=16703 vsize=10551232 memory=279383194930784 CPUtime=0 cores=1,3,5,7
/proc/16706/task/16720/stat : 16720 (java) S 16703 16706 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67286149 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307970567136 140308482541269 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
[pid=16706/tid=16721] ppid=16703 vsize=10551232 memory=9047017150487036575 CPUtime=0.04 cores=1,3,5,7
/proc/16706/task/16721/stat : 16721 (java) S 16703 16706 17093 0 -1 1077944384 784 0 0 0 1 3 0 0 20 0 15 0 67286159 10804461568 2064614 18446744073709551615 4194304 4196468 140722681085088 140307969513904 140308482542210 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34344960 140722681090453 140722681090606 140722681090606 140722681094095 0
Current children cumulated CPU time: 260.23 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8258456 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 94.2523
CPU time (s): 260.315
CPU user time (s): 255.075
CPU system time (s): 5.23987
CPU usage (%): 276.19
Max. virtual memory (cumulated for all children) (KiB): 10553448
Max. memory (cumulated for all children) (KiB): 8258456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.075
system time used= 5.23987
maximum resident set size= 8258752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150522
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6223
involuntary context switches= 5337


# summary of solver processes directly reported to runsolver:
#   pid: 16706
#   total CPU time (s): 260.315
#   total CPU user time (s): 255.075
#   total CPU system time (s): 5.23987

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.529448 second user time and 0.977583 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-13 20:48:00
IDJOB=4257884
IDBENCH=137678
IDSOLVER=2643
FILE ID=node127/4257884-1502650928
RUNJOBID= node127-1502642200-6041
PBS_JOBID= 
Free space on /tmp= 62028 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/BinPacking/BinPacking-mdd-sw100/BinPacking-mdd-sw100-92.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4257884-1502650928/watcher-4257884-1502650928 -o /tmp/evaluation-result-4257884-1502650928/solver-4257884-1502650928 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502642200-6041 --watchdog 312  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4257884-1502650928.xml

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

MD5SUM BENCH= 6d97f1ae26f5c15ae832acf0c34f9a7a
RANDOM SEED=1209986256

node127.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.92
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.92
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.92
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.92
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:        29273420 kB
MemAvailable:   29715600 kB
Buffers:          202572 kB
Cached:           535804 kB
SwapCached:            0 kB
Active:          2850704 kB
Inactive:         218076 kB
Active(anon):    2280360 kB
Inactive(anon):    83872 kB
Active(file):     570344 kB
Inactive(file):   134204 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2124 kB
Writeback:             0 kB
AnonPages:       2232280 kB
Mapped:            58892 kB
Shmem:             33444 kB
Slab:             132508 kB
SReclaimable:     106932 kB
SUnreclaim:        25576 kB
KernelStack:        3440 kB
PageTables:         9712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3645280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2154496 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= 62028 MiB
End job on node127 at 2017-08-13 20:49:34