Trace number 4262878

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) 2528.26 690.755

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t07-8.xml
MD5SUM40646ce9221c3d81d8047571f517aa3c
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark43
Best CPU time to get the best result obtained on this benchmark0.29004401
Satisfiable
(Un)Satisfiability was proved
Number of variables660
Number of constraints72
Number of domains8
Minimum domain size2
Maximum domain size25
Distribution of domain sizes[{"size":2,"count":180},{"size":4,"count":60},{"size":7,"count":60},{"size":8,"count":60},{"size":10,"count":120},{"size":18,"count":60},{"size":24,"count":60},{"size":25,"count":60}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":660}]
Minimum constraint arity11
Maximum constraint arity600
Distribution of constraint arities[{"arity":11,"count":60},{"arity":60,"count":11},{"arity":600,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":70}]
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 (15328 MiB free)
  memory of node 1: 16384 MiB (12064 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262878-1502623076/watcher-4262878-1502623076 -o /tmp/evaluation-result-4262878-1502623076/solver-4262878-1502623076 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502582933-8032 --watchdog 2580 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262878-1502623076.xml 

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

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

solver pid=18880, runsolver pid=18877

[startup+0.101205 s]*
/proc/loadavg: 2.13 2.11 2.54 3/203 18886
/proc/meminfo: memFree=28041108/32770624 swapFree=67108860/67108860
[pid=18880] ppid=18877 vsize=10151672 memory=18620 CPUtime=0.02 cores=0,2,4,6
/proc/18880/stat : 18880 (java) S 18877 18880 7968 0 -1 1077944320 4029 0 0 0 2 0 0 0 20 0 9 0 16190275 10395312128 4655 18446744073709551615 4194304 4196468 140724612145600 140724612128144 140644243787511 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
/proc/18880/statm: 2537918 4655 2082 1 0 2527415 0
[pid=18880/tid=18882] ppid=18877 vsize=10151672 memory=-6439968830534014599 CPUtime=0.02 cores=0,2,4,6
/proc/18880/task/18882/stat : 18882 (java) R 18877 18880 7968 0 -1 4202560 2668 0 0 0 2 0 0 0 20 0 9 0 16190283 10395312128 4655 18446744073709551615 4194304 4196468 140724612145600 140644248023496 140644243809437 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18883] ppid=18877 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18883/stat : 18883 (java) S 18877 18880 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 16190284 10395312128 4655 18446744073709551615 4194304 4196468 140724612145600 140644209069200 140644243797717 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18884] ppid=18877 vsize=10151672 memory=139967862867584 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18884/stat : 18884 (java) S 18877 18880 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 16190284 10395312128 4655 18446744073709551615 4194304 4196468 140724612145600 140643853401104 140644243797717 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18885] ppid=18877 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18885/stat : 18885 (java) S 18877 18880 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 16190284 10395312128 4655 18446744073709551615 4194304 4196468 140724612145600 140643852348304 140644243797717 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18886] ppid=18877 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18886/stat : 18886 (java) S 18877 18880 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 16190284 10395312128 4655 18446744073709551615 4194304 4196468 140724612145600 140643851295504 140644243797717 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18887] ppid=18877 vsize=10151672 memory=139967862867584 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18887/stat : 18887 (java) S 18877 18880 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 16190285 10395312128 4655 18446744073709551615 4194304 4196468 140724612145600 140643807877488 140644243798658 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18888] ppid=18877 vsize=10151672 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18888/stat : 18888 (java) S 18877 18880 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 16190286 10395312128 4655 18446744073709551615 4194304 4196468 140724612145600 140643806823456 140644243797717 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18889] ppid=18877 vsize=10151672 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18889/stat : 18889 (java) S 18877 18880 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 16190286 10395312128 4655 18446744073709551615 4194304 4196468 140724612145600 140643805770672 140644243797717 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 10151672 KiB
Current children cumulated memory: 18620 KiB

[startup+0.210254 s]*
/proc/loadavg: 2.13 2.11 2.54 3/212 18895
/proc/meminfo: memFree=28033908/32770624 swapFree=67108860/67108860
[pid=18880] ppid=18877 vsize=10551156 memory=28672 CPUtime=0.1 cores=0,2,4,6
/proc/18880/stat : 18880 (java) S 18877 18880 7968 0 -1 1077944320 5345 0 0 0 9 1 0 0 20 0 15 0 16190275 10804383744 7168 18446744073709551615 4194304 4196468 140724612145600 140724612128144 140644243787511 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
/proc/18880/statm: 2637789 7168 2790 1 0 2627261 0
[pid=18880/tid=18882] ppid=18877 vsize=10551156 memory=8318255677412212789 CPUtime=0.07 cores=0,2,4,6
/proc/18880/task/18882/stat : 18882 (java) R 18877 18880 7968 0 -1 4202560 3266 0 0 0 7 0 0 0 20 0 15 0 16190283 10804383744 7168 18446744073709551615 4194304 4196468 140724612145600 140644248022480 140644243809437 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18883] ppid=18877 vsize=10551156 memory=326 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18883/stat : 18883 (java) S 18877 18880 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16190284 10804383744 7168 18446744073709551615 4194304 4196468 140724612145600 140644209069200 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18884] ppid=18877 vsize=10551156 memory=288370344014579328 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18884/stat : 18884 (java) S 18877 18880 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16190284 10804383744 7168 18446744073709551615 4194304 4196468 140724612145600 140643853401104 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18885] ppid=18877 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18885/stat : 18885 (java) S 18877 18880 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16190284 10804383744 7168 18446744073709551615 4194304 4196468 140724612145600 140643852348304 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18886] ppid=18877 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18886/stat : 18886 (java) S 18877 18880 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16190284 10804383744 7168 18446744073709551615 4194304 4196468 140724612145600 140643851295504 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18887] ppid=18877 vsize=10551156 memory=139967862867584 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18887/stat : 18887 (java) S 18877 18880 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16190285 10804383744 7168 18446744073709551615 4194304 4196468 140724612145600 140643807877488 140644243798658 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18888] ppid=18877 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18888/stat : 18888 (java) S 18877 18880 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16190286 10804383744 7168 18446744073709551615 4194304 4196468 140724612145600 140643806823456 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18889] ppid=18877 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18889/stat : 18889 (java) S 18877 18880 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16190286 10804383744 7168 18446744073709551615 4194304 4196468 140724612145600 140643805770608 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18890] ppid=18877 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18890/stat : 18890 (java) S 18877 18880 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16190288 10804383744 7168 18446744073709551615 4194304 4196468 140724612145600 140643281135440 140644243806107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18891] ppid=18877 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18891/stat : 18891 (java) S 18877 18880 7968 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 16190288 10804383744 7168 18446744073709551615 4194304 4196468 140724612145600 140643280083824 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18892] ppid=18877 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18892/stat : 18892 (java) S 18877 18880 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16190288 10804383744 7168 18446744073709551615 4194304 4196468 140724612145600 140643279031024 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18893] ppid=18877 vsize=10551156 memory=139967862867584 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18893/stat : 18893 (java) S 18877 18880 7968 0 -1 1077944384 281 0 0 0 0 0 0 0 20 0 15 0 16190288 10804383744 7168 18446744073709551615 4194304 4196468 140724612145600 140643277978224 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18894] ppid=18877 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18894/stat : 18894 (java) S 18877 18880 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16190288 10804383744 7168 18446744073709551615 4194304 4196468 140724612145600 140643276925664 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18895] ppid=18877 vsize=10551156 memory=139967862867584 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18895/stat : 18895 (java) S 18877 18880 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16190293 10804383744 7168 18446744073709551615 4194304 4196468 140724612145600 140643275872944 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 28672 KiB

[startup+0.31047 s]*
/proc/loadavg: 2.13 2.11 2.54 3/212 18895
/proc/meminfo: memFree=28024092/32770624 swapFree=67108860/67108860
[pid=18880] ppid=18877 vsize=10551156 memory=37908 CPUtime=0.25 cores=0,2,4,6
/proc/18880/stat : 18880 (java) S 18877 18880 7968 0 -1 1077944320 8473 0 0 0 22 3 0 0 20 0 15 0 16190275 10804383744 9477 18446744073709551615 4194304 4196468 140724612145600 140724612128144 140644243787511 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
/proc/18880/statm: 2637789 9477 2869 1 0 2627261 0
[pid=18880/tid=18882] ppid=18877 vsize=10551156 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/18880/task/18882/stat : 18882 (java) R 18877 18880 7968 0 -1 4202560 6140 0 0 0 15 2 0 0 20 0 15 0 16190283 10804383744 9477 18446744073709551615 4194304 4196468 140724612145600 140644248021536 140644227867998 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18883] ppid=18877 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18883/stat : 18883 (java) S 18877 18880 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16190284 10804383744 9477 18446744073709551615 4194304 4196468 140724612145600 140644209069200 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18884] ppid=18877 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18884/stat : 18884 (java) S 18877 18880 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16190284 10804383744 9477 18446744073709551615 4194304 4196468 140724612145600 140643853401104 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18885] ppid=18877 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18885/stat : 18885 (java) S 18877 18880 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16190284 10804383744 9477 18446744073709551615 4194304 4196468 140724612145600 140643852348304 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18886] ppid=18877 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18886/stat : 18886 (java) S 18877 18880 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16190284 10804383744 9477 18446744073709551615 4194304 4196468 140724612145600 140643851295504 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18887] ppid=18877 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18887/stat : 18887 (java) S 18877 18880 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16190285 10804383744 9477 18446744073709551615 4194304 4196468 140724612145600 140643807877488 140644243798658 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18888] ppid=18877 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18888/stat : 18888 (java) S 18877 18880 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16190286 10804383744 9477 18446744073709551615 4194304 4196468 140724612145600 140643806823456 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18889] ppid=18877 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18889/stat : 18889 (java) S 18877 18880 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16190286 10804383744 9477 18446744073709551615 4194304 4196468 140724612145600 140643805770608 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18890] ppid=18877 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18890/stat : 18890 (java) S 18877 18880 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16190288 10804383744 9477 18446744073709551615 4194304 4196468 140724612145600 140643281135440 140644243806107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18891] ppid=18877 vsize=10551156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18880/task/18891/stat : 18891 (java) S 18877 18880 7968 0 -1 1077944384 505 0 0 0 1 0 0 0 20 0 15 0 16190288 10804383744 9477 18446744073709551615 4194304 4196468 140724612145600 140643280083824 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18892] ppid=18877 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18892/stat : 18892 (java) S 18877 18880 7968 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 16190288 10804383744 9477 18446744073709551615 4194304 4196468 140724612145600 140643279031024 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18893] ppid=18877 vsize=10551156 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/18880/task/18893/stat : 18893 (java) S 18877 18880 7968 0 -1 1077944384 391 0 0 0 3 0 0 0 20 0 15 0 16190288 10804383744 9477 18446744073709551615 4194304 4196468 140724612145600 140643277978224 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18894] ppid=18877 vsize=10551156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18894/stat : 18894 (java) S 18877 18880 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16190288 10804383744 9477 18446744073709551615 4194304 4196468 140724612145600 140643276925664 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18895] ppid=18877 vsize=10551156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18895/stat : 18895 (java) S 18877 18880 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16190293 10804383744 9477 18446744073709551615 4194304 4196468 140724612145600 140643275872944 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10551156 KiB
Current children cumulated memory: 37908 KiB

[startup+0.701247 s]
/proc/loadavg: 2.13 2.11 2.54 5/212 18895
/proc/meminfo: memFree=27979864/32770624 swapFree=67108860/67108860
[pid=18880] ppid=18877 vsize=10551232 memory=174868 CPUtime=1.29 cores=0,2,4,6
/proc/18880/stat : 18880 (java) S 18877 18880 7968 0 -1 1077944320 13107 0 0 0 122 7 0 0 20 0 15 0 16190275 10804461568 43717 18446744073709551615 4194304 4196468 140724612145600 140724612128144 140644243787511 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
/proc/18880/statm: 2637808 43717 3065 1 0 2627261 0
[pid=18880/tid=18882] ppid=18877 vsize=10551232 memory=233 CPUtime=0.55 cores=0,2,4,6
/proc/18880/task/18882/stat : 18882 (java) R 18877 18880 7968 0 -1 4202560 7520 0 0 0 51 4 0 0 20 0 15 0 16190283 10804461568 43717 18446744073709551615 4194304 4196468 140724612145600 140644247960832 140643886800482 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18883] ppid=18877 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18883/stat : 18883 (java) S 18877 18880 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16190284 10804461568 43717 18446744073709551615 4194304 4196468 140724612145600 140644209069200 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18884] ppid=18877 vsize=10551232 memory=6 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18884/stat : 18884 (java) S 18877 18880 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16190284 10804461568 43717 18446744073709551615 4194304 4196468 140724612145600 140643853401104 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18885] ppid=18877 vsize=10551232 memory=21 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18885/stat : 18885 (java) S 18877 18880 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16190284 10804461568 43717 18446744073709551615 4194304 4196468 140724612145600 140643852348304 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18886] ppid=18877 vsize=10551232 memory=71 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18886/stat : 18886 (java) S 18877 18880 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 16190284 10804461568 43717 18446744073709551615 4194304 4196468 140724612145600 140643851295504 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18887] ppid=18877 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18887/stat : 18887 (java) S 18877 18880 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 16190285 10804461568 43717 18446744073709551615 4194304 4196468 140724612145600 140643807877488 140644243798658 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18888] ppid=18877 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18888/stat : 18888 (java) S 18877 18880 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 16190286 10804461568 43717 18446744073709551615 4194304 4196468 140724612145600 140643806823456 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18889] ppid=18877 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18889/stat : 18889 (java) S 18877 18880 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 16190286 10804461568 43717 18446744073709551615 4194304 4196468 140724612145600 140643805770608 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18890] ppid=18877 vsize=10551232 memory=4 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18890/stat : 18890 (java) S 18877 18880 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16190288 10804461568 43717 18446744073709551615 4194304 4196468 140724612145600 140643281135440 140644243806107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18891] ppid=18877 vsize=10551232 memory=33 CPUtime=0.26 cores=0,2,4,6
/proc/18880/task/18891/stat : 18891 (java) R 18877 18880 7968 0 -1 4202560 1524 0 0 0 26 0 0 0 20 0 15 0 16190288 10804461568 43717 18446744073709551615 4194304 4196468 140724612145600 140643280069848 140644223025996 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18892] ppid=18877 vsize=10551232 memory=2 CPUtime=0.24 cores=0,2,4,6
/proc/18880/task/18892/stat : 18892 (java) R 18877 18880 7968 0 -1 4202560 1530 0 0 0 24 0 0 0 20 0 15 0 16190288 10804461568 43717 18446744073709551615 4194304 4196468 140724612145600 140643279023512 140644228696699 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18893] ppid=18877 vsize=10551232 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/18880/task/18893/stat : 18893 (java) S 18877 18880 7968 0 -1 1077944384 1162 0 0 0 19 0 0 0 20 0 15 0 16190288 10804461568 43717 18446744073709551615 4194304 4196468 140724612145600 140643277978224 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18894] ppid=18877 vsize=10551232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18894/stat : 18894 (java) S 18877 18880 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16190288 10804461568 43717 18446744073709551615 4194304 4196468 140724612145600 140643276925664 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18895] ppid=18877 vsize=10551232 memory=6463925781705 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18895/stat : 18895 (java) S 18877 18880 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 16190293 10804461568 43717 18446744073709551615 4194304 4196468 140724612145600 140643275872944 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 174868 KiB

[startup+1.50121 s]
/proc/loadavg: 2.13 2.11 2.54 6/212 18895
/proc/meminfo: memFree=27760144/32770624 swapFree=67108860/67108860
[pid=18880] ppid=18877 vsize=10551232 memory=573796 CPUtime=3.28 cores=0,2,4,6
/proc/18880/stat : 18880 (java) S 18877 18880 7968 0 -1 1077944320 14665 0 0 0 282 46 0 0 20 0 15 0 16190275 10804461568 143449 18446744073709551615 4194304 4196468 140724612145600 140724612128144 140644243787511 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
/proc/18880/statm: 2637808 143449 3097 1 0 2627261 0
[pid=18880/tid=18882] ppid=18877 vsize=10551232 memory=7085094975026194538 CPUtime=1.01 cores=0,2,4,6
/proc/18880/task/18882/stat : 18882 (java) S 18877 18880 7968 0 -1 1077944384 7587 0 0 0 95 6 0 0 20 0 15 0 16190283 10804461568 143449 18446744073709551615 4194304 4196468 140724612145600 140644248021888 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18883] ppid=18877 vsize=10551232 memory=-3472574513799858009 CPUtime=0.32 cores=0,2,4,6
/proc/18880/task/18883/stat : 18883 (java) R 18877 18880 7968 0 -1 4202560 218 0 0 0 23 9 0 0 20 0 15 0 16190284 10804461568 143449 18446744073709551615 4194304 4196468 140724612145600 140644209069088 140644228811455 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18884] ppid=18877 vsize=10551232 memory=-6585528546044026665 CPUtime=0.32 cores=0,2,4,6
/proc/18880/task/18884/stat : 18884 (java) R 18877 18880 7968 0 -1 4202560 207 0 0 0 23 9 0 0 20 0 15 0 16190284 10804461568 143449 18446744073709551615 4194304 4196468 140724612145600 140643853401304 140644228235726 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18885] ppid=18877 vsize=10551232 memory=-7449383003082255457 CPUtime=0.32 cores=0,2,4,6
/proc/18880/task/18885/stat : 18885 (java) R 18877 18880 7968 0 -1 4202560 208 0 0 0 24 8 0 0 20 0 15 0 16190284 10804461568 143449 18446744073709551615 4194304 4196468 140724612145600 140643852348504 140644228809632 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18886] ppid=18877 vsize=10551232 memory=7679937539709960979 CPUtime=0.31 cores=0,2,4,6
/proc/18880/task/18886/stat : 18886 (java) R 18877 18880 7968 0 -1 4202560 624 0 0 0 23 8 0 0 20 0 15 0 16190284 10804461568 143449 18446744073709551615 4194304 4196468 140724612145600 140643851294888 140644228809632 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18887] ppid=18877 vsize=10551232 memory=3184132387188526067 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18887/stat : 18887 (java) S 18877 18880 7968 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 16190285 10804461568 143449 18446744073709551615 4194304 4196468 140724612145600 140643807876000 140644243797717 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18888] ppid=18877 vsize=10551232 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18888/stat : 18888 (java) S 18877 18880 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 16190286 10804461568 143449 18446744073709551615 4194304 4196468 140724612145600 140643806823456 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18889] ppid=18877 vsize=10551232 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18889/stat : 18889 (java) S 18877 18880 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 16190286 10804461568 143449 18446744073709551615 4194304 4196468 140724612145600 140643805770608 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18890] ppid=18877 vsize=10551232 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18890/stat : 18890 (java) S 18877 18880 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16190288 10804461568 143449 18446744073709551615 4194304 4196468 140724612145600 140643281135440 140644243806107 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18891] ppid=18877 vsize=10551232 memory=6944656592455097440 CPUtime=0.36 cores=0,2,4,6
/proc/18880/task/18891/stat : 18891 (java) S 18877 18880 7968 0 -1 1077944384 1620 0 0 0 36 0 0 0 20 0 15 0 16190288 10804461568 143449 18446744073709551615 4194304 4196468 140724612145600 140643280083824 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18892] ppid=18877 vsize=10551232 memory=6944656575208382560 CPUtime=0.33 cores=0,2,4,6
/proc/18880/task/18892/stat : 18892 (java) S 18877 18880 7968 0 -1 1077944384 1557 0 0 0 33 0 0 0 20 0 15 0 16190288 10804461568 143449 18446744073709551615 4194304 4196468 140724612145600 140643279031024 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18893] ppid=18877 vsize=10551232 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/18880/task/18893/stat : 18893 (java) S 18877 18880 7968 0 -1 1077944384 1198 0 0 0 22 0 0 0 20 0 15 0 16190288 10804461568 143449 18446744073709551615 4194304 4196468 140724612145600 140643277978224 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0

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


[startup+690.755 s]
# the end of solver process 18880 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.96 s, system=10.2905 s

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

[startup+689.601 s]
/proc/loadavg: 5.70 6.10 4.62 6/212 19112
/proc/meminfo: memFree=21768552/32770624 swapFree=67108860/67108860
[pid=18880] ppid=18877 vsize=10551232 memory=8187860 CPUtime=2523.88 cores=0,2,4,6
/proc/18880/stat : 18880 (java) S 18877 18880 7968 0 -1 1077944320 905833 0 0 0 251364 1024 0 0 20 0 15 0 16190275 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140724612128144 140644243787511 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
/proc/18880/statm: 2637808 2046965 3115 1 0 2627261 0
[pid=18880/tid=18882] ppid=18877 vsize=10551232 memory=8187860 CPUtime=12.15 cores=0,2,4,6
/proc/18880/task/18882/stat : 18882 (java) S 18877 18880 7968 0 -1 1077944384 20334 0 0 0 1205 10 0 0 20 0 15 0 16190283 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140644248023296 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18883] ppid=18877 vsize=10551232 memory=2424 CPUtime=615.66 cores=0,2,4,6
/proc/18880/task/18883/stat : 18883 (java) R 18877 18880 7968 0 -1 4202560 165606 0 0 0 61329 237 0 0 20 0 15 0 16190284 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140644209069400 140644228738220 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18884] ppid=18877 vsize=10551232 memory=1296 CPUtime=613.3 cores=0,2,4,6
/proc/18880/task/18884/stat : 18884 (java) R 18877 18880 7968 0 -1 4202560 143364 0 0 0 61074 256 0 0 20 0 15 0 16190284 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643853401304 140644228738240 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18885] ppid=18877 vsize=10551232 memory=8187860 CPUtime=614.72 cores=0,2,4,6
/proc/18880/task/18885/stat : 18885 (java) R 18877 18880 7968 0 -1 4202560 241020 0 0 0 61222 250 0 0 20 0 15 0 16190284 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643852347888 140644236415719 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18886] ppid=18877 vsize=10551232 memory=1700 CPUtime=614.16 cores=0,2,4,6
/proc/18880/task/18886/stat : 18886 (java) R 18877 18880 7968 0 -1 4202560 208065 0 0 0 61162 254 0 0 20 0 15 0 16190284 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643851295400 140644236415719 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18887] ppid=18877 vsize=10551232 memory=1228 CPUtime=52.41 cores=0,2,4,6
/proc/18880/task/18887/stat : 18887 (java) S 18877 18880 7968 0 -1 1077944384 119587 0 0 0 5235 6 0 0 20 0 15 0 16190285 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643807875808 140644243797717 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18888] ppid=18877 vsize=10551232 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18888/stat : 18888 (java) S 18877 18880 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 16190286 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643806823520 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18889] ppid=18877 vsize=10551232 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18889/stat : 18889 (java) S 18877 18880 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 16190286 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643805770608 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18890] ppid=18877 vsize=10551232 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18890/stat : 18890 (java) S 18877 18880 7968 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643281135088 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18891] ppid=18877 vsize=10551232 memory=16444 CPUtime=0.44 cores=0,2,4,6
/proc/18880/task/18891/stat : 18891 (java) S 18877 18880 7968 0 -1 1077944384 1844 0 0 0 44 0 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643280083824 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18892] ppid=18877 vsize=10551232 memory=-8774313645642428999 CPUtime=0.41 cores=0,2,4,6
/proc/18880/task/18892/stat : 18892 (java) S 18877 18880 7968 0 -1 1077944384 2050 0 0 0 41 0 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643279031024 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18893] ppid=18877 vsize=10551232 memory=8456 CPUtime=0.26 cores=0,2,4,6
/proc/18880/task/18893/stat : 18893 (java) S 18877 18880 7968 0 -1 1077944384 2076 0 0 0 25 1 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643277978224 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18894] ppid=18877 vsize=10551232 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18894/stat : 18894 (java) S 18877 18880 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643276925664 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18895] ppid=18877 vsize=10551232 memory=640 CPUtime=0.28 cores=0,2,4,6
/proc/18880/task/18895/stat : 18895 (java) S 18877 18880 7968 0 -1 1077944384 520 0 0 0 17 11 0 0 20 0 15 0 16190293 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643275872944 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
Current children cumulated CPU time: 2523.88 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8187860 KiB

[startup+690.401 s]
/proc/loadavg: 5.64 6.09 4.62 6/212 19112
/proc/meminfo: memFree=21768544/32770624 swapFree=67108860/67108860
[pid=18880] ppid=18877 vsize=10551232 memory=8187860 CPUtime=2527 cores=0,2,4,6
/proc/18880/stat : 18880 (java) S 18877 18880 7968 0 -1 1077944320 905833 0 0 0 251676 1024 0 0 20 0 15 0 16190275 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140724612128144 140644243787511 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
/proc/18880/statm: 2637808 2046965 3115 1 0 2627261 0
[pid=18880/tid=18882] ppid=18877 vsize=10551232 memory=8187860 CPUtime=12.15 cores=0,2,4,6
/proc/18880/task/18882/stat : 18882 (java) S 18877 18880 7968 0 -1 1077944384 20334 0 0 0 1205 10 0 0 20 0 15 0 16190283 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140644248023296 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18883] ppid=18877 vsize=10551232 memory=-8774313645642428999 CPUtime=616.46 cores=0,2,4,6
/proc/18880/task/18883/stat : 18883 (java) R 18877 18880 7968 0 -1 4202560 165606 0 0 0 61409 237 0 0 20 0 15 0 16190284 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140644209069400 140644225340752 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18884] ppid=18877 vsize=10551232 memory=3880 CPUtime=614.1 cores=0,2,4,6
/proc/18880/task/18884/stat : 18884 (java) R 18877 18880 7968 0 -1 4202560 143364 0 0 0 61154 256 0 0 20 0 15 0 16190284 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643853401304 140644228485150 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18885] ppid=18877 vsize=10551232 memory=1732 CPUtime=615.49 cores=0,2,4,6
/proc/18880/task/18885/stat : 18885 (java) R 18877 18880 7968 0 -1 4202560 241020 0 0 0 61299 250 0 0 20 0 15 0 16190284 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643852347888 140644236415719 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18886] ppid=18877 vsize=10551232 memory=1700 CPUtime=614.91 cores=0,2,4,6
/proc/18880/task/18886/stat : 18886 (java) R 18877 18880 7968 0 -1 4202560 208065 0 0 0 61237 254 0 0 20 0 15 0 16190284 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643851295400 140644236415719 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18887] ppid=18877 vsize=10551232 memory=1228 CPUtime=52.41 cores=0,2,4,6
/proc/18880/task/18887/stat : 18887 (java) S 18877 18880 7968 0 -1 1077944384 119587 0 0 0 5235 6 0 0 20 0 15 0 16190285 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643807875808 140644243797717 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18888] ppid=18877 vsize=10551232 memory=1000 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18888/stat : 18888 (java) S 18877 18880 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 16190286 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643806823520 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18889] ppid=18877 vsize=10551232 memory=8187860 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18889/stat : 18889 (java) S 18877 18880 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 16190286 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643805770608 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18890] ppid=18877 vsize=10551232 memory=288230613214036277 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18890/stat : 18890 (java) S 18877 18880 7968 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643281135088 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18891] ppid=18877 vsize=10551232 memory=15816711811106768 CPUtime=0.44 cores=0,2,4,6
/proc/18880/task/18891/stat : 18891 (java) S 18877 18880 7968 0 -1 1077944384 1844 0 0 0 44 0 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643280083824 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18892] ppid=18877 vsize=10551232 memory=3144 CPUtime=0.41 cores=0,2,4,6
/proc/18880/task/18892/stat : 18892 (java) S 18877 18880 7968 0 -1 1077944384 2050 0 0 0 41 0 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643279031024 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18893] ppid=18877 vsize=10551232 memory=4060 CPUtime=0.26 cores=0,2,4,6
/proc/18880/task/18893/stat : 18893 (java) S 18877 18880 7968 0 -1 1077944384 2076 0 0 0 25 1 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643277978224 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18894] ppid=18877 vsize=10551232 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18894/stat : 18894 (java) S 18877 18880 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643276925664 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18895] ppid=18877 vsize=10551232 memory=3180 CPUtime=0.28 cores=0,2,4,6
/proc/18880/task/18895/stat : 18895 (java) S 18877 18880 7968 0 -1 1077944384 520 0 0 0 17 11 0 0 20 0 15 0 16190293 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643275872944 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
Current children cumulated CPU time: 2527 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8187860 KiB

[startup+690.601 s]
/proc/loadavg: 5.64 6.09 4.62 6/212 19112
/proc/meminfo: memFree=21768544/32770624 swapFree=67108860/67108860
[pid=18880] ppid=18877 vsize=10551232 memory=8187860 CPUtime=2527.79 cores=0,2,4,6
/proc/18880/stat : 18880 (java) S 18877 18880 7968 0 -1 1077944320 905833 0 0 0 251755 1024 0 0 20 0 15 0 16190275 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140724612128144 140644243787511 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
/proc/18880/statm: 2637808 2046965 3115 1 0 2627261 0
[pid=18880/tid=18882] ppid=18877 vsize=10551232 memory=12636 CPUtime=12.15 cores=0,2,4,6
/proc/18880/task/18882/stat : 18882 (java) S 18877 18880 7968 0 -1 1077944384 20334 0 0 0 1205 10 0 0 20 0 15 0 16190283 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140644248023296 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18883] ppid=18877 vsize=10551232 memory=2424 CPUtime=616.66 cores=0,2,4,6
/proc/18880/task/18883/stat : 18883 (java) R 18877 18880 7968 0 -1 4202560 165606 0 0 0 61429 237 0 0 20 0 15 0 16190284 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140644209069400 140644228738972 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18884] ppid=18877 vsize=10551232 memory=1296 CPUtime=614.3 cores=0,2,4,6
/proc/18880/task/18884/stat : 18884 (java) R 18877 18880 7968 0 -1 4202560 143364 0 0 0 61174 256 0 0 20 0 15 0 16190284 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643853401304 140644228738105 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18885] ppid=18877 vsize=10551232 memory=1732 CPUtime=615.68 cores=0,2,4,6
/proc/18880/task/18885/stat : 18885 (java) R 18877 18880 7968 0 -1 4202560 241020 0 0 0 61318 250 0 0 20 0 15 0 16190284 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643852347888 140644236415719 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18886] ppid=18877 vsize=10551232 memory=1700 CPUtime=615.1 cores=0,2,4,6
/proc/18880/task/18886/stat : 18886 (java) R 18877 18880 7968 0 -1 4202560 208065 0 0 0 61256 254 0 0 20 0 15 0 16190284 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643851295400 140644236415719 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18887] ppid=18877 vsize=10551232 memory=1228 CPUtime=52.41 cores=0,2,4,6
/proc/18880/task/18887/stat : 18887 (java) S 18877 18880 7968 0 -1 1077944384 119587 0 0 0 5235 6 0 0 20 0 15 0 16190285 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643807875808 140644243797717 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18888] ppid=18877 vsize=10551232 memory=8187860 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18888/stat : 18888 (java) S 18877 18880 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 16190286 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643806823520 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18889] ppid=18877 vsize=10551232 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18889/stat : 18889 (java) S 18877 18880 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 16190286 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643805770608 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18890] ppid=18877 vsize=10551232 memory=5520 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18890/stat : 18890 (java) S 18877 18880 7968 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643281135088 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18891] ppid=18877 vsize=10551232 memory=4612 CPUtime=0.44 cores=0,2,4,6
/proc/18880/task/18891/stat : 18891 (java) S 18877 18880 7968 0 -1 1077944384 1844 0 0 0 44 0 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643280083824 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18892] ppid=18877 vsize=10551232 memory=792 CPUtime=0.41 cores=0,2,4,6
/proc/18880/task/18892/stat : 18892 (java) S 18877 18880 7968 0 -1 1077944384 2050 0 0 0 41 0 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643279031024 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18893] ppid=18877 vsize=10551232 memory=8684 CPUtime=0.26 cores=0,2,4,6
/proc/18880/task/18893/stat : 18893 (java) S 18877 18880 7968 0 -1 1077944384 2076 0 0 0 25 1 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643277978224 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18894] ppid=18877 vsize=10551232 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18894/stat : 18894 (java) S 18877 18880 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643276925664 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18895] ppid=18877 vsize=10551232 memory=9916 CPUtime=0.28 cores=0,2,4,6
/proc/18880/task/18895/stat : 18895 (java) S 18877 18880 7968 0 -1 1077944384 520 0 0 0 17 11 0 0 20 0 15 0 16190293 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643275872944 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
Current children cumulated CPU time: 2527.79 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8187860 KiB

[startup+690.701 s]
/proc/loadavg: 5.64 6.09 4.62 6/212 19112
/proc/meminfo: memFree=21768544/32770624 swapFree=67108860/67108860
[pid=18880] ppid=18877 vsize=10551232 memory=8187860 CPUtime=2528.18 cores=0,2,4,6
/proc/18880/stat : 18880 (java) S 18877 18880 7968 0 -1 1077944320 905833 0 0 0 251794 1024 0 0 20 0 15 0 16190275 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140724612128144 140644243787511 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
/proc/18880/statm: 2637808 2046965 3115 1 0 2627261 0
[pid=18880/tid=18882] ppid=18877 vsize=10551232 memory=-8774313645642428999 CPUtime=12.15 cores=0,2,4,6
/proc/18880/task/18882/stat : 18882 (java) S 18877 18880 7968 0 -1 1077944384 20334 0 0 0 1205 10 0 0 20 0 15 0 16190283 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140644248023296 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18883] ppid=18877 vsize=10551232 memory=8187860 CPUtime=616.76 cores=0,2,4,6
/proc/18880/task/18883/stat : 18883 (java) R 18877 18880 7968 0 -1 4202560 165606 0 0 0 61439 237 0 0 20 0 15 0 16190284 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140644209069400 140644228772807 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18884] ppid=18877 vsize=10551232 memory=8187860 CPUtime=614.4 cores=0,2,4,6
/proc/18880/task/18884/stat : 18884 (java) R 18877 18880 7968 0 -1 4202560 143364 0 0 0 61184 256 0 0 20 0 15 0 16190284 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643853401304 140644228485150 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18885] ppid=18877 vsize=10551232 memory=8187860 CPUtime=615.78 cores=0,2,4,6
/proc/18880/task/18885/stat : 18885 (java) R 18877 18880 7968 0 -1 4202560 241020 0 0 0 61328 250 0 0 20 0 15 0 16190284 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643852347888 140644236415719 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18886] ppid=18877 vsize=10551232 memory=8187860 CPUtime=615.2 cores=0,2,4,6
/proc/18880/task/18886/stat : 18886 (java) R 18877 18880 7968 0 -1 4202560 208065 0 0 0 61266 254 0 0 20 0 15 0 16190284 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643851295400 140644236415719 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18887] ppid=18877 vsize=10551232 memory=8187860 CPUtime=52.41 cores=0,2,4,6
/proc/18880/task/18887/stat : 18887 (java) S 18877 18880 7968 0 -1 1077944384 119587 0 0 0 5235 6 0 0 20 0 15 0 16190285 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643807875808 140644243797717 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18888] ppid=18877 vsize=10551232 memory=8187860 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18888/stat : 18888 (java) S 18877 18880 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 16190286 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643806823520 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18889] ppid=18877 vsize=10551232 memory=8187860 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18889/stat : 18889 (java) S 18877 18880 7968 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 16190286 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643805770608 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18890] ppid=18877 vsize=10551232 memory=8187860 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18890/stat : 18890 (java) S 18877 18880 7968 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643281135088 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18891] ppid=18877 vsize=10551232 memory=8187860 CPUtime=0.44 cores=0,2,4,6
/proc/18880/task/18891/stat : 18891 (java) S 18877 18880 7968 0 -1 1077944384 1844 0 0 0 44 0 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643280083824 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18892] ppid=18877 vsize=10551232 memory=8187860 CPUtime=0.41 cores=0,2,4,6
/proc/18880/task/18892/stat : 18892 (java) S 18877 18880 7968 0 -1 1077944384 2050 0 0 0 41 0 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643279031024 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18893] ppid=18877 vsize=10551232 memory=8187860 CPUtime=0.26 cores=0,2,4,6
/proc/18880/task/18893/stat : 18893 (java) S 18877 18880 7968 0 -1 1077944384 2076 0 0 0 25 1 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643277978224 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18894] ppid=18877 vsize=10551232 memory=8187860 CPUtime=0 cores=0,2,4,6
/proc/18880/task/18894/stat : 18894 (java) S 18877 18880 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 16190288 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643276925664 140644243797717 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
[pid=18880/tid=18895] ppid=18877 vsize=10551232 memory=8187860 CPUtime=0.28 cores=0,2,4,6
/proc/18880/task/18895/stat : 18895 (java) S 18877 18880 7968 0 -1 1077944384 520 0 0 0 17 11 0 0 20 0 15 0 16190293 10804461568 2046965 18446744073709551615 4194304 4196468 140724612145600 140643275872944 140644243798658 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140724612153745 140724612153898 140724612153898 140724612157391 0
Current children cumulated CPU time: 2528.18 s
Current children cumulated vsize: 10551232 KiB
Current children cumulated memory: 8187860 KiB

Child ended because it received signal 9 (SIGKILL)
Real time (s): 690.755
CPU time (s): 2528.26
CPU user time (s): 2517.96
CPU system time (s): 10.2905
CPU usage (%): 366.013
Max. virtual memory (cumulated for all children) (KiB): 10616768
Max. memory (cumulated for all children) (KiB): 8187860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.96
system time used= 10.2905
maximum resident set size= 8188120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 905837
page faults= 0
swaps= 0
block input operations= 0
block output operations= 824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48329
involuntary context switches= 58967


# summary of solver processes directly reported to runsolver:
#   pid: 18880
#   total CPU time (s): 2528.26
#   total CPU user time (s): 2517.96
#   total CPU system time (s): 10.2905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.67849 second user time and 6.15965 second system time

The end

Launcher Data 

Begin job on node128 at 2017-08-13 13:03:59
IDJOB=4262878
IDBENCH=124159
IDSOLVER=2651
FILE ID=node128/4262878-1502623076
RUNJOBID= node128-1502582933-8032
PBS_JOBID= 
Free space on /tmp= 62012 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t07-8.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262878-1502623076/watcher-4262878-1502623076 -o /tmp/evaluation-result-4262878-1502623076/solver-4262878-1502623076 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502582933-8032 --watchdog 2580  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4262878-1502623076.xml

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

MD5SUM BENCH= 40646ce9221c3d81d8047571f517aa3c
RANDOM SEED=818050962

node128.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.94
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.94
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.94
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.94
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:        28050688 kB
MemAvailable:   28632864 kB
Buffers:          134248 kB
Cached:           736148 kB
SwapCached:            0 kB
Active:          3639312 kB
Inactive:         665264 kB
Active(anon):    3434880 kB
Inactive(anon):    16764 kB
Active(file):     204432 kB
Inactive(file):   648500 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1792 kB
Writeback:             0 kB
AnonPages:       3434344 kB
Mapped:            44392 kB
Shmem:             17116 kB
Slab:             114920 kB
SReclaimable:      90160 kB
SUnreclaim:        24760 kB
KernelStack:        3440 kB
PageTables:        11668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4260028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3323904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 62028 MiB
End job on node128 at 2017-08-13 13:15:30