Trace number 4398423

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
cosoco 2.O parallelSAT (TO)9 20118.6 2520.03

General information on the benchmark

NameOpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbop-30-30-1.xml
MD5SUM67a2d403e3bfd604d92484151c447548
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark23.8149
Satisfiable
(Un)Satisfiability was proved
Number of variables2760
Number of constraints2731
Number of domains4
Minimum domain size2
Maximum domain size31
Distribution of domain sizes[{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}]
Minimum variable degree2
Maximum variable degree31
Distribution of variable degrees[{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}]
Minimum constraint arity2
Maximum constraint arity31
Distribution of constraint arities[{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}]
Number of extensional constraints900
Number of intensional constraints900
Distribution of constraint types[{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}]
Optimization problemYES
Type of objectivemin MAXIMUM

Quality of the solution as a function of time


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

Solver Data 

0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.11	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.12	c AllEqual constraint using 1 generic x=y constraints 
2.64/0.88	c
2.64/0.88	c This is cosoco 2.00 --  
2.64/0.88	c
2.64/0.88	c command line: cosoco -model -nbcores=8 HOME/instance-4398423-1568615646.xml 
2.64/0.88	c enable optimization
2.64/0.88	c ========================================[ Problem Statistics ]===========================================
2.64/0.88	c |                                                                                                       
2.64/0.88	c |  Parse time        :         0.41 s 
2.64/0.88	c |
2.64/0.88	c |               Variables: 2760
2.64/0.88	c |            Domain Sizes: 2..31
2.64/0.88	c |
2.64/0.88	c |             Constraints: 2732
2.64/0.88	c |                   Arity: 2..31  -- Binary: 930  -- Ternary: 1770
2.64/0.88	c | 
2.64/0.88	c |                   Types: 
2.64/0.88	c |                          (X = Y): 30
2.64/0.88	c |                          All Different: 1
2.64/0.88	c |                          Extension: 1800  (nb tuples: 5..30) -- (shared: 7192)
2.64/0.88	c |                          Max constant: 1
2.64/0.88	c |                          Sum: 900
2.64/0.88	c |                          
2.64/0.88	c |               Objective: Minimize Max constant
2.64/0.88	
2.64/0.88	c =========================================================================================================
2.64/0.88	c Parallel mode: Portfolio
2.64/0.88	c [pFactory][Group N°0] created (threads:8).
2.64/0.88	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
2.64/0.88	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
2.64/0.88	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
2.64/0.88	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
2.64/0.88	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
2.64/0.88	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
2.64/0.88	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
2.64/0.88	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
2.64/0.88	c [pFactory][Group N°0] concurrent mode: enabled.
2.64/0.88	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
2.64/0.88	c [pFactory][Group N°0] task 7 launched on thread 0.
2.64/0.88	c [pFactory][Group N°0] task 6 launched on thread 1.
2.64/0.88	c [pFactory][Group N°0] task 5 launched on thread 6.
2.64/0.88	c [pFactory][Group N°0] task 4 launched on thread 2.
2.64/0.88	c [pFactory][Group N°0] task 3 launched on thread 4.
2.64/0.88	c [pFactory][Group N°0] task 2 launched on thread 7.
2.64/0.88	c [pFactory][Group N°0] task 1 launched on thread 5.
2.64/0.88	c [pFactory][Group N°0] task 0 launched on thread 3.
2.64/0.88	o 17
3.43/0.92	o 12
40.96/5.66	o 11
387.49/49.07	o 10
1424.95/179.10	o 9
20118.49/2520.02	
20118.49/2520.02	c *** INTERRUPTED ***
20118.49/2520.02	c call to solver        : 4
20118.49/2520.02	c
20118.49/2520.02	c restarts              : 246345      
20118.49/2520.02	c conflicts             : 2202533      (109 /sec)
20118.49/2520.02	c decisions             : 22562496     (1122 /sec)
20118.49/2520.02	c propagations          : 944807877   (46966 /sec)
20118.49/2520.02	c root propagations     : 17645       
20118.49/2520.02	c filter calls          : 4650443750     (231171 /sec)
20118.49/2520.02	c useless filter calls  : 3954249081     (85 %)
20118.49/2520.02	c Memory used           : 875.88 MB
20118.49/2520.02	c Best bound time (wc)  : 179.096 s
20118.49/2520.02	c CPU time              : 20116.9 s
20118.49/2520.02	c real time             : 2520.02 s
20118.49/2520.02	
20118.49/2520.02	s SATISFIABLE
20118.49/2520.02	c Best value found: 9
20118.49/2520.02	
20118.49/2520.02	
20118.49/2520.02	v <instantiation type='solution' cost='9'>
20118.49/2520.02	v <list>np[0][0] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][1] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[10][0] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[10][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][1] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[11][0] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[11][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][1] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[12][0] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[12][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][1] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[13][0] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[13][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][1] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[14][0] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[14][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][1] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[15][0] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[15][15] np[15][16] np[15][17] np[15][18] np[15][19] np[15][1] np[15][20] np[15][21] np[15][22] np[15][23] np[15][24] np[15][25] np[15][26] np[15][27] np[15][28] np[15][29] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[16][0] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[16][15] np[16][16] np[16][17] np[16][18] np[16][19] np[16][1] np[16][20] np[16][21] np[16][22] np[16][23] np[16][24] np[16][25] np[16][26] np[16][27] np[16][28] np[16][29] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[17][0] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[17][15] np[17][16] np[17][17] np[17][18] np[17][19] np[17][1] np[17][20] np[17][21] np[17][22] np[17][23] np[17][24] np[17][25] np[17][26] np[17][27] np[17][28] np[17][29] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[18][0] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[18][15] np[18][16] np[18][17] np[18][18] np[18][19] np[18][1] np[18][20] np[18][21] np[18][22] np[18][23] np[18][24] np[18][25] np[18][26] np[18][27] np[18][28] np[18][29] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[19][0] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[19][15] np[19][16] np[19][17] np[19][18] np[19][19] np[19][1] np[19][20] np[19][21] np[19][22] np[19][23] np[19][24] np[19][25] np[19][26] np[19][27] np[19][28] np[19][29] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[1][0] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][1] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[20][0] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[20][15] np[20][16] np[20][17] np[20][18] np[20][19] np[20][1] np[20][20] np[20][21] np[20][22] np[20][23] np[20][24] np[20][25] np[20][26] np[20][27] np[20][28] np[20][29] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[21][0] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[21][15] np[21][16] np[21][17] np[21][18] np[21][19] np[21][1] np[21][20] np[21][21] np[21][22] np[21][23] np[21][24] np[21][25] np[21][26] np[21][27] np[21][28] np[21][29] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[22][0] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[22][15] np[22][16] np[22][17] np[22][18] np[22][19] np[22][1] np[22][20] np[22][21] np[22][22] np[22][23] np[22][24] np[22][25] np[22][26] np[22][27] np[22][28] np[22][29] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[23][0] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[23][15] np[23][16] np[23][17] np[23][18] np[23][19] np[23][1] np[23][20] np[23][21] np[23][22] np[23][23] np[23][24] np[23][25] np[23][26] np[23][27] np[23][28] np[23][29] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[24][0] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[24][15] np[24][16] np[24][17] np[24][18] np[24][19] np[24][1] np[24][20] np[24][21] np[24][22] np[24][23] np[24][24] np[24][25] np[24][26] np[24][27] np[24][28] np[24][29] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[25][0] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[25][15] np[25][16] np[25][17] np[25][18] np[25][19] np[25][1] np[25][20] np[25][21] np[25][22] np[25][23] np[25][24] np[25][25] np[25][26] np[25][27] np[25][28] np[25][29] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[26][0] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[26][15] np[26][16] np[26][17] np[26][18] np[26][19] np[26][1] np[26][20] np[26][21] np[26][22] np[26][23] np[26][24] np[26][25] np[26][26] np[26][27] np[26][28] np[26][29] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[27][0] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[27][15] np[27][16] np[27][17] np[27][18] np[27][19] np[27][1] np[27][20] np[27][21] np[27][22] np[27][23] np[27][24] np[27][25] np[27][26] np[27][27] np[27][28] np[27][29] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[28][0] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[28][15] np[28][16] np[28][17] np[28][18] np[28][19] np[28][1] np[28][20] np[28][21] np[28][22] np[28][23] np[28][24] np[28][25] np[28][26] np[28][27] np[28][28] np[28][29] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[29][0] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] np[29][15] np[29][16] np[29][17] np[29][18] np[29][19] np[29][1] np[29][20] np[29][21] np[29][22] np[29][23] np[29][24] np[29][25] np[29][26] np[29][27] np[29][28] np[29][29] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[2][0] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][1] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[3][0] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][1] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[4][0] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][1] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[5][0] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][1] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[6][0] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][1] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[7][0] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][1] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[8][0] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][1] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[9][0] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][1] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] o[0][0] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][1] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[10][0] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][1] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[11][0] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][1] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[12][0] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][1] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[13][0] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][1] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[14][0] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][1] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[15][0] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][1] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[16][0] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][1] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[17][0] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][1] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[18][0] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][1] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[19][0] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][1] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[1][0] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][1] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[20][0] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[20][15] o[20][16] o[20][17] o[20][18] o[20][19] o[20][1] o[20][20] o[20][21] o[20][22] o[20][23] o[20][24] o[20][25] o[20][26] o[20][27] o[20][28] o[20][29] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[21][0] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[21][15] o[21][16] o[21][17] o[21][18] o[21][19] o[21][1] o[21][20] o[21][21] o[21][22] o[21][23] o[21][24] o[21][25] o[21][26] o[21][27] o[21][28] o[21][29] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[22][0] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[22][15] o[22][16] o[22][17] o[22][18] o[22][19] o[22][1] o[22][20] o[22][21] o[22][22] o[22][23] o[22][24] o[22][25] o[22][26] o[22][27] o[22][28] o[22][29] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[23][0] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[23][15] o[23][16] o[23][17] o[23][18] o[23][19] o[23][1] o[23][20] o[23][21] o[23][22] o[23][23] o[23][24] o[23][25] o[23][26] o[23][27] o[23][28] o[23][29] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[24][0] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[24][15] o[24][16] o[24][17] o[24][18] o[24][19] o[24][1] o[24][20] o[24][21] o[24][22] o[24][23] o[24][24] o[24][25] o[24][26] o[24][27] o[24][28] o[24][29] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[25][0] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[25][15] o[25][16] o[25][17] o[25][18] o[25][19] o[25][1] o[25][20] o[25][21] o[25][22] o[25][23] o[25][24] o[25][25] o[25][26] o[25][27] o[25][28] o[25][29] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[26][0] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[26][15] o[26][16] o[26][17] o[26][18] o[26][19] o[26][1] o[26][20] o[26][21] o[26][22] o[26][23] o[26][24] o[26][25] o[26][26] o[26][27] o[26][28] o[26][29] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[27][0] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[27][15] o[27][16] o[27][17] o[27][18] o[27][19] o[27][1] o[27][20] o[27][21] o[27][22] o[27][23] o[27][24] o[27][25] o[27][26] o[27][27] o[27][28] o[27][29] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[28][0] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[28][15] o[28][16] o[28][17] o[28][18] o[28][19] o[28][1] o[28][20] o[28][21] o[28][22] o[28][23] o[28][24] o[28][25] o[28][26] o[28][27] o[28][28] o[28][29] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[29][0] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] o[29][15] o[29][16] o[29][17] o[29][18] o[29][19] o[29][1] o[29][20] o[29][21] o[29][22] o[29][23] o[29][24] o[29][25] o[29][26] o[29][27] o[29][28] o[29][29] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[2][0] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][1] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[3][0] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][1] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[4][0] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][1] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[5][0] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][1] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[6][0] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][1] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[7][0] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][1] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[8][0] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][1] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[9][0] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][1] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] p[0] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[1] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] r[0][0] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][1] r[0][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[10][0] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][1] r[10][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[11][0] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][1] r[11][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[12][0] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][1] r[12][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[13][0] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][1] r[13][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[14][0] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][1] r[14][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[15][0] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[15][1] r[15][20] r[15][21] r[15][22] r[15][23] r[15][24] r[15][25] r[15][26] r[15][27] r[15][28] r[15][29] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[16][0] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[16][1] r[16][20] r[16][21] r[16][22] r[16][23] r[16][24] r[16][25] r[16][26] r[16][27] r[16][28] r[16][29] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[17][0] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[17][1] r[17][20] r[17][21] r[17][22] r[17][23] r[17][24] r[17][25] r[17][26] r[17][27] r[17][28] r[17][29] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[18][0] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[18][1] r[18][20] r[18][21] r[18][22] r[18][23] r[18][24] r[18][25] r[18][26] r[18][27] r[18][28] r[18][29] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[19][0] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[19][1] r[19][20] r[19][21] r[19][22] r[19][23] r[19][24] r[19][25] r[19][26] r[19][27] r[19][28] r[19][29] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[1][0] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][1] r[1][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[20][0] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[20][1] r[20][20] r[20][21] r[20][22] r[20][23] r[20][24] r[20][25] r[20][26] r[20][27] r[20][28] r[20][29] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[21][0] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[21][1] r[21][20] r[21][21] r[21][22] r[21][23] r[21][24] r[21][25] r[21][26] r[21][27] r[21][28] r[21][29] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[22][0] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[22][1] r[22][20] r[22][21] r[22][22] r[22][23] r[22][24] r[22][25] r[22][26] r[22][27] r[22][28] r[22][29] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[23][0] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[23][1] r[23][20] r[23][21] r[23][22] r[23][23] r[23][24] r[23][25] r[23][26] r[23][27] r[23][28] r[23][29] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[24][0] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[24][1] r[24][20] r[24][21] r[24][22] r[24][23] r[24][24] r[24][25] r[24][26] r[24][27] r[24][28] r[24][29] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[25][0] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[25][1] r[25][20] r[25][21] r[25][22] r[25][23] r[25][24] r[25][25] r[25][26] r[25][27] r[25][28] r[25][29] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[26][0] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[26][1] r[26][20] r[26][21] r[26][22] r[26][23] r[26][24] r[26][25] r[26][26] r[26][27] r[26][28] r[26][29] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[27][0] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[27][1] r[27][20] r[27][21] r[27][22] r[27][23] r[27][24] r[27][25] r[27][26] r[27][27] r[27][28] r[27][29] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[28][0] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[28][1] r[28][20] r[28][21] r[28][22] r[28][23] r[28][24] r[28][25] r[28][26] r[28][27] r[28][28] r[28][29] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[29][0] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[29][1] r[29][20] r[29][21] r[29][22] r[29][23] r[29][24] r[29][25] r[29][26] r[29][27] r[29][28] r[29][29] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[2][0] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][1] r[2][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[3][0] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][1] r[3][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[4][0] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][1] r[4][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][1] r[5][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][1] r[6][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][1] r[7][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][1] r[8][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][1] r[9][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] so[0] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[1] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] </list>
20118.49/2520.02	v <values>0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 1 1 1 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 2 2 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 1 1 1 1 2 2 0 0 0 0 0 0 1 1 1 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 2 2 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 0 1 1 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 2 2 2 2 2 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 1 1 1 1 2 0 1 1 1 1 1 1 1 1 1 1 0 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 24 0 9 26 16 19 22 6 8 15 11 25 21 20 12 14 10 17 4 5 7 13 28 27 1 18 2 23 3 29 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 6 8 8 8 8 8 9 9 9 8 4 7 8 8 7 7 8 8 6 4 2 6 7 8 9 9 8 6 5 </values>
20118.49/2520.02	v </instantiation>
20118.49/2520.02

Verifier Data 

OK	9

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398423-1568615646/watcher-4398423-1568615646 -o /tmp/evaluation-result-4398423-1568615646/solver-4398423-1568615646 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568609757-29979 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398423-1568615646.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30713, runsolver pid=30710
Current StackSize limit: 8192 KiB


[startup+0.100137 s]*
/proc/loadavg: 7.63 8.83 8.88 2/193 30714
/proc/meminfo: memFree=30764792/32770624 swapFree=67001764/67108860
[pid=30713] ppid=30710 vsize=119212 memory=95424 CPUtime=0.1 cores=0-7
/proc/30713/stat : 30713 (cosoco) R 30710 30713 29952 0 -1 4202496 24062 0 0 0 7 3 0 0 20 0 1 0 437478559 122073088 23856 33554432000 4194304 6211092 140734135257168 140734135253704 139857637644192 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
/proc/30713/statm: 29803 23856 824 493 0 23108 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 119212 KiB
Current children cumulated memory: 95424 KiB

[startup+0.209376 s]*
/proc/loadavg: 7.63 8.83 8.88 2/193 30714
/proc/meminfo: memFree=30723352/32770624 swapFree=67001764/67108860
[pid=30713] ppid=30710 vsize=154124 memory=130500 CPUtime=0.21 cores=0-7
/proc/30713/stat : 30713 (cosoco) R 30710 30713 29952 0 -1 4202496 32823 0 0 0 17 4 0 0 20 0 1 0 437478559 157822976 32625 33554432000 4194304 6211092 140734135257168 140734135241944 139857637644192 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
/proc/30713/statm: 38531 32625 836 493 0 31836 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 154124 KiB
Current children cumulated memory: 130500 KiB

[startup+0.308649 s]*
/proc/loadavg: 7.63 8.83 8.88 2/193 30714
/proc/meminfo: memFree=30693096/32770624 swapFree=67001764/67108860
[pid=30713] ppid=30710 vsize=184180 memory=160596 CPUtime=0.31 cores=0-7
/proc/30713/stat : 30713 (cosoco) R 30710 30713 29952 0 -1 4202496 40326 0 0 0 26 5 0 0 20 0 1 0 437478559 188600320 40149 33554432000 4194304 6211092 140734135257168 140734135241944 139857637596133 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
/proc/30713/statm: 46045 40149 836 493 0 39350 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 184180 KiB
Current children cumulated memory: 160596 KiB

[startup+0.707307 s]
/proc/loadavg: 7.63 8.83 8.88 2/193 30714
/proc/meminfo: memFree=30567732/32770624 swapFree=67001764/67108860
[pid=30713] ppid=30710 vsize=896900 memory=409920 CPUtime=1.89 cores=0-7
/proc/30713/stat : 30713 (cosoco) S 30710 30713 29952 0 -1 1077944320 102811 0 0 0 165 24 0 0 20 0 9 0 437478559 918425600 102414 33554432000 4194304 6211092 140734135257168 140734135255424 139857653636855 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
/proc/30713/statm: 224225 102480 915 493 0 217530 0
[pid=30713/tid=30715] ppid=30710 vsize=896900 memory=8025788814078207340 CPUtime=0.17 cores=0-7
/proc/30713/task/30715/stat : 30715 (cosoco) R 30710 30713 29952 0 -1 4202560 2741 0 0 0 16 1 0 0 20 0 9 0 437478610 918425600 102480 33554432000 4194304 6211092 140734135257168 139857630493208 5396756 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30716] ppid=30710 vsize=896900 memory=6004820471124940137 CPUtime=0.17 cores=0-7
/proc/30713/task/30716/stat : 30716 (cosoco) R 30710 30713 29952 0 -1 4202560 3146 0 0 0 16 1 0 0 20 0 9 0 437478610 918425600 102480 33554432000 4194304 6211092 140734135257168 139857622100408 5039026 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30717] ppid=30710 vsize=896900 memory=4638778402627731557 CPUtime=0.16 cores=0-7
/proc/30713/task/30717/stat : 30717 (cosoco) R 30710 30713 29952 0 -1 4202560 6095 0 0 0 14 2 0 0 20 0 9 0 437478610 918425600 102480 33554432000 4194304 6211092 140734135257168 139857613707800 5185143 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30718] ppid=30710 vsize=896900 memory=7295944995277656144 CPUtime=0.16 cores=0-7
/proc/30713/task/30718/stat : 30718 (cosoco) R 30710 30713 29952 0 -1 4202560 5358 0 0 0 14 2 0 0 20 0 9 0 437478610 918425600 102480 33554432000 4194304 6211092 140734135257168 139857605315000 139857638071895 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30719] ppid=30710 vsize=896900 memory=7595725831727968097 CPUtime=0.17 cores=0-7
/proc/30713/task/30719/stat : 30719 (cosoco) R 30710 30713 29952 0 -1 4202560 3316 0 0 0 15 2 0 0 20 0 9 0 437478610 918425600 102480 33554432000 4194304 6211092 140734135257168 139857596922392 5035286 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30720] ppid=30710 vsize=896900 memory=6944656626178237591 CPUtime=0.17 cores=0-7
/proc/30713/task/30720/stat : 30720 (cosoco) R 30710 30713 29952 0 -1 4202560 4782 0 0 0 15 2 0 0 20 0 9 0 437478610 918425600 102480 33554432000 4194304 6211092 140734135257168 139857588529688 5035252 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30721] ppid=30710 vsize=896900 memory=-7965950325593906079 CPUtime=0.17 cores=0-7
/proc/30713/task/30721/stat : 30721 (cosoco) R 30710 30713 29952 0 -1 4202560 2919 0 0 0 16 1 0 0 20 0 9 0 437478610 918425600 102480 33554432000 4194304 6211092 140734135257168 139857580137064 5396756 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30722] ppid=30710 vsize=896900 memory=-9001733975035308135 CPUtime=0.16 cores=0-7
/proc/30713/task/30722/stat : 30722 (cosoco) R 30710 30713 29952 0 -1 4202560 3372 0 0 0 15 1 0 0 20 0 9 0 437478610 918425600 102480 33554432000 4194304 6211092 140734135257168 139857571744440 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
Current children cumulated CPU time: 1.89 s
Current children cumulated vsize: 896900 KiB
Current children cumulated memory: 409920 KiB

[startup+1.50131 s]
/proc/loadavg: 7.63 8.83 8.88 9/201 30722
/proc/meminfo: memFree=30365112/32770624 swapFree=67001764/67108860
[pid=30713] ppid=30710 vsize=896900 memory=502848 CPUtime=8.22 cores=0-7
/proc/30713/stat : 30713 (cosoco) S 30710 30713 29952 0 -1 1077944320 126146 0 0 0 793 29 0 0 20 0 9 0 437478559 918425600 125712 33554432000 4194304 6211092 140734135257168 140734135255424 139857653636855 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
/proc/30713/statm: 224225 125712 915 493 0 217530 0
[pid=30713/tid=30715] ppid=30710 vsize=896900 memory=0 CPUtime=0.96 cores=0-7
/proc/30713/task/30715/stat : 30715 (cosoco) R 30710 30713 29952 0 -1 4202560 6098 0 0 0 94 2 0 0 20 0 9 0 437478610 918425600 125712 33554432000 4194304 6211092 140734135257168 139857630493416 5035232 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30716] ppid=30710 vsize=896900 memory=1440 CPUtime=0.96 cores=0-7
/proc/30713/task/30716/stat : 30716 (cosoco) R 30710 30713 29952 0 -1 4202560 6465 0 0 0 94 2 0 0 20 0 9 0 437478610 918425600 125712 33554432000 4194304 6211092 140734135257168 139857622100712 5035320 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30717] ppid=30710 vsize=896900 memory=461136 CPUtime=0.95 cores=0-7
/proc/30713/task/30717/stat : 30717 (cosoco) R 30710 30713 29952 0 -1 4202560 7881 0 0 0 93 2 0 0 20 0 9 0 437478610 918425600 125712 33554432000 4194304 6211092 140734135257168 139857613707880 5409461 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30718] ppid=30710 vsize=896900 memory=1808 CPUtime=0.95 cores=0-7
/proc/30713/task/30718/stat : 30718 (cosoco) R 30710 30713 29952 0 -1 4202560 7554 0 0 0 93 2 0 0 20 0 9 0 437478610 918425600 125712 33554432000 4194304 6211092 140734135257168 139857605315256 5148684 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30719] ppid=30710 vsize=896900 memory=924 CPUtime=0.96 cores=0-7
/proc/30713/task/30719/stat : 30719 (cosoco) R 30710 30713 29952 0 -1 4202560 6522 0 0 0 93 3 0 0 20 0 9 0 437478610 918425600 125712 33554432000 4194304 6211092 140734135257168 139857596922552 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30720] ppid=30710 vsize=896900 memory=2012 CPUtime=0.95 cores=0-7
/proc/30713/task/30720/stat : 30720 (cosoco) R 30710 30713 29952 0 -1 4202560 7132 0 0 0 93 2 0 0 20 0 9 0 437478610 918425600 125712 33554432000 4194304 6211092 140734135257168 139857588529848 5035263 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30721] ppid=30710 vsize=896900 memory=1240 CPUtime=0.96 cores=0-7
/proc/30713/task/30721/stat : 30721 (cosoco) R 30710 30713 29952 0 -1 4202560 6671 0 0 0 94 2 0 0 20 0 9 0 437478610 918425600 125712 33554432000 4194304 6211092 140734135257168 139857580137064 5009258 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30722] ppid=30710 vsize=896900 memory=580 CPUtime=0.96 cores=0-7
/proc/30713/task/30722/stat : 30722 (cosoco) R 30710 30713 29952 0 -1 4202560 6710 0 0 0 94 2 0 0 20 0 9 0 437478610 918425600 125712 33554432000 4194304 6211092 140734135257168 139857571744360 5396756 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
Current children cumulated CPU time: 8.22 s
Current children cumulated vsize: 896900 KiB
Current children cumulated memory: 502848 KiB

[startup+3.11031 s]
/proc/loadavg: 7.63 8.83 8.88 9/201 30722
/proc/meminfo: memFree=30347348/32770624 swapFree=67001764/67108860
[pid=30713] ppid=30710 vsize=896900 memory=503912 CPUtime=21.06 cores=0-7
/proc/30713/stat : 30713 (cosoco) S 30710 30713 29952 0 -1 1077944320 206526 0 0 0 2059 47 0 0 20 0 9 0 437478559 918425600 125978 33554432000 4194304 6211092 140734135257168 140734135255424 139857653636855 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
/proc/30713/statm: 224225 125978 917 493 0 217530 0
[pid=30713/tid=30715] ppid=30710 vsize=896900 memory=236 CPUtime=2.57 cores=0-7
/proc/30713/task/30715/stat : 30715 (cosoco) R 30710 30713 29952 0 -1 4202560 16850 0 0 0 254 3 0 0 20 0 9 0 437478610 918425600 125978 33554432000 4194304 6211092 140734135257168 139857630493368 5035263 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30716] ppid=30710 vsize=896900 memory=416520 CPUtime=2.57 cores=0-7
/proc/30713/task/30716/stat : 30716 (cosoco) R 30710 30713 29952 0 -1 4202560 15427 0 0 0 252 5 0 0 20 0 9 0 437478610 918425600 125978 33554432000 4194304 6211092 140734135257168 139857622100664 5009136 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30717] ppid=30710 vsize=896900 memory=0 CPUtime=2.56 cores=0-7
/proc/30713/task/30717/stat : 30717 (cosoco) R 30710 30713 29952 0 -1 4202560 18116 0 0 0 253 3 0 0 20 0 9 0 437478610 918425600 125978 33554432000 4194304 6211092 140734135257168 139857613707960 5035270 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30718] ppid=30710 vsize=896900 memory=232 CPUtime=2.56 cores=0-7
/proc/30713/task/30718/stat : 30718 (cosoco) R 30710 30713 29952 0 -1 4202560 16835 0 0 0 251 5 0 0 20 0 9 0 437478610 918425600 125978 33554432000 4194304 6211092 140734135257168 139857605315256 5008912 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30719] ppid=30710 vsize=896900 memory=236 CPUtime=2.57 cores=0-7
/proc/30713/task/30719/stat : 30719 (cosoco) R 30710 30713 29952 0 -1 4202560 16057 0 0 0 253 4 0 0 20 0 9 0 437478610 918425600 125978 33554432000 4194304 6211092 140734135257168 139857596922552 5009192 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30720] ppid=30710 vsize=896900 memory=236 CPUtime=2.53 cores=0-7
/proc/30713/task/30720/stat : 30720 (cosoco) R 30710 30713 29952 0 -1 4202560 20164 0 0 0 247 6 0 0 20 0 9 0 437478610 918425600 125978 33554432000 4194304 6211092 140734135257168 139857588529848 5396756 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30721] ppid=30710 vsize=896900 memory=503912 CPUtime=2.57 cores=0-7
/proc/30713/task/30721/stat : 30721 (cosoco) R 30710 30713 29952 0 -1 4202560 15935 0 0 0 254 3 0 0 20 0 9 0 437478610 918425600 125978 33554432000 4194304 6211092 140734135257168 139857580137144 5392064 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30722] ppid=30710 vsize=896900 memory=5787213835721533265 CPUtime=2.57 cores=0-7
/proc/30713/task/30722/stat : 30722 (cosoco) R 30710 30713 29952 0 -1 4202560 16045 0 0 0 251 6 0 0 20 0 9 0 437478610 918425600 125978 33554432000 4194304 6211092 140734135257168 139857571744360 5039145 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
Current children cumulated CPU time: 21.06 s
Current children cumulated vsize: 896900 KiB
Current children cumulated memory: 503912 KiB

[startup+6.30131 s]
/proc/loadavg: 7.66 8.81 8.88 9/201 30722
/proc/meminfo: memFree=30342872/32770624 swapFree=67001764/67108860
[pid=30713] ppid=30710 vsize=896900 memory=508084 CPUtime=46.54 cores=0-7
/proc/30713/stat : 30713 (cosoco) S 30710 30713 29952 0 -1 1077944320 279465 0 0 0 4598 56 0 0 20 0 9 0 437478559 918425600 127021 33554432000 4194304 6211092 140734135257168 140734135255424 139857653636855 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
/proc/30713/statm: 224225 127021 917 493 0 217530 0
[pid=30713/tid=30715] ppid=30710 vsize=896900 memory=508084 CPUtime=5.76 cores=0-7
/proc/30713/task/30715/stat : 30715 (cosoco) R 30710 30713 29952 0 -1 4202560 25372 0 0 0 572 4 0 0 20 0 9 0 437478610 918425600 127021 33554432000 4194304 6211092 140734135257168 139857630493368 5035283 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30716] ppid=30710 vsize=896900 memory=503912 CPUtime=5.76 cores=0-7
/proc/30713/task/30716/stat : 30716 (cosoco) R 30710 30713 29952 0 -1 4202560 24502 0 0 0 569 7 0 0 20 0 9 0 437478610 918425600 127021 33554432000 4194304 6211092 140734135257168 139857622100664 5396756 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30717] ppid=30710 vsize=896900 memory=236 CPUtime=5.75 cores=0-7
/proc/30713/task/30717/stat : 30717 (cosoco) R 30710 30713 29952 0 -1 4202560 29955 0 0 0 571 4 0 0 20 0 9 0 437478610 918425600 127021 33554432000 4194304 6211092 140734135257168 139857613707960 5035337 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30718] ppid=30710 vsize=896900 memory=3616 CPUtime=5.75 cores=0-7
/proc/30713/task/30718/stat : 30718 (cosoco) R 30710 30713 29952 0 -1 4202560 26103 0 0 0 569 6 0 0 20 0 9 0 437478610 918425600 127021 33554432000 4194304 6211092 140734135257168 139857605315256 5035263 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30719] ppid=30710 vsize=896900 memory=43176 CPUtime=5.75 cores=0-7
/proc/30713/task/30719/stat : 30719 (cosoco) R 30710 30713 29952 0 -1 4202560 27865 0 0 0 570 5 0 0 20 0 9 0 437478610 918425600 127021 33554432000 4194304 6211092 140734135257168 139857596923152 5397375 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30720] ppid=30710 vsize=896900 memory=503912 CPUtime=5.67 cores=0-7
/proc/30713/task/30720/stat : 30720 (cosoco) R 30710 30713 29952 0 -1 4202560 26951 0 0 0 560 7 0 0 20 0 9 0 437478610 918425600 127021 33554432000 4194304 6211092 140734135257168 139857588529848 5038686 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30721] ppid=30710 vsize=896900 memory=0 CPUtime=5.76 cores=0-7
/proc/30713/task/30721/stat : 30721 (cosoco) R 30710 30713 29952 0 -1 4202560 23268 0 0 0 572 4 0 0 20 0 9 0 437478610 918425600 127021 33554432000 4194304 6211092 140734135257168 139857580137144 5035263 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30722] ppid=30710 vsize=896900 memory=271605141925877 CPUtime=5.76 cores=0-7
/proc/30713/task/30722/stat : 30722 (cosoco) R 30710 30713 29952 0 -1 4202560 24336 0 0 0 569 7 0 0 20 0 9 0 437478610 918425600 127021 33554432000 4194304 6211092 140734135257168 139857571744360 5035331 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
Current children cumulated CPU time: 46.54 s
Current children cumulated vsize: 896900 KiB
Current children cumulated memory: 508084 KiB

[startup+12.7013 s]
/proc/loadavg: 7.68 8.80 8.87 9/201 30724
/proc/meminfo: memFree=30340764/32770624 swapFree=67001764/67108860
[pid=30713] ppid=30710 vsize=896900 memory=508892 CPUtime=97.64 cores=0-7
/proc/30713/stat : 30713 (cosoco) S 30710 30713 29952 0 -1 1077944320 426195 0 0 0 9694 70 0 0 20 0 9 0 437478559 918425600 127223 33554432000 4194304 6211092 140734135257168 140734135255424 139857653636855 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
/proc/30713/statm: 224225 127223 917 493 0 217530 0
[pid=30713/tid=30715] ppid=30710 vsize=896900 memory=8128038100524242582 CPUtime=12.16 cores=0-7
/proc/30713/task/30715/stat : 30715 (cosoco) R 30710 30713 29952 0 -1 4202560 43713 0 0 0 1211 5 0 0 20 0 9 0 437478610 918425600 127223 33554432000 4194304 6211092 140734135257168 139857630493112 5396756 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30716] ppid=30710 vsize=896900 memory=508084 CPUtime=12.16 cores=0-7
/proc/30713/task/30716/stat : 30716 (cosoco) R 30710 30713 29952 0 -1 4202560 41325 0 0 0 1207 9 0 0 20 0 9 0 437478610 918425600 127223 33554432000 4194304 6211092 140734135257168 139857622100664 5035297 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30717] ppid=30710 vsize=896900 memory=426 CPUtime=12.14 cores=0-7
/proc/30713/task/30717/stat : 30717 (cosoco) R 30710 30713 29952 0 -1 4202560 50701 0 0 0 1209 5 0 0 20 0 9 0 437478610 918425600 127223 33554432000 4194304 6211092 140734135257168 139857613707960 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30718] ppid=30710 vsize=896900 memory=-7025448733113094249 CPUtime=12.15 cores=0-7
/proc/30713/task/30718/stat : 30718 (cosoco) R 30710 30713 29952 0 -1 4202560 40583 0 0 0 1206 9 0 0 20 0 9 0 437478610 918425600 127223 33554432000 4194304 6211092 140734135257168 139857605315256 5035263 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30719] ppid=30710 vsize=896900 memory=7679937539659563834 CPUtime=12.15 cores=0-7
/proc/30713/task/30719/stat : 30719 (cosoco) R 30710 30713 29952 0 -1 4202560 50228 0 0 0 1208 7 0 0 20 0 9 0 437478610 918425600 127223 33554432000 4194304 6211092 140734135257168 139857596923152 5409444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30720] ppid=30710 vsize=896900 memory=8727 CPUtime=11.99 cores=0-7
/proc/30713/task/30720/stat : 30720 (cosoco) R 30710 30713 29952 0 -1 4202560 48757 0 0 0 1190 9 0 0 20 0 9 0 437478610 918425600 127223 33554432000 4194304 6211092 140734135257168 139857588529848 5409444 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30721] ppid=30710 vsize=896900 memory=1086 CPUtime=12.16 cores=0-7
/proc/30713/task/30721/stat : 30721 (cosoco) R 30710 30713 29952 0 -1 4202560 39962 0 0 0 1211 5 0 0 20 0 9 0 437478610 918425600 127223 33554432000 4194304 6211092 140734135257168 139857580137144 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30722] ppid=30710 vsize=896900 memory=508084 CPUtime=12.16 cores=0-7
/proc/30713/task/30722/stat : 30722 (cosoco) R 30710 30713 29952 0 -1 4202560 39813 0 0 0 1208 8 0 0 20 0 9 0 437478610 918425600 127223 33554432000 4194304 6211092 140734135257168 139857571744360 5148687 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
Current children cumulated CPU time: 97.64 s
Current children cumulated vsize: 896900 KiB
Current children cumulated memory: 508892 KiB

[startup+25.5013 s]
/proc/loadavg: 7.75 8.76 8.86 9/201 30725
/proc/meminfo: memFree=30339432/32770624 swapFree=67001764/67108860
[pid=30713] ppid=30710 vsize=896900 memory=508892 CPUtime=199.81 cores=0-7
/proc/30713/stat : 30713 (cosoco) S 30710 30713 29952 0 -1 1077944320 541525 0 0 0 19899 82 0 0 20 0 9 0 437478559 918425600 127223 33554432000 4194304 6211092 140734135257168 140734135255424 139857653636855 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
/proc/30713/statm: 224225 127223 917 493 0 217530 0
[pid=30713/tid=30715] ppid=30710 vsize=896900 memory=508892 CPUtime=24.96 cores=0-7
/proc/30713/task/30715/stat : 30715 (cosoco) R 30710 30713 29952 0 -1 4202560 58808 0 0 0 2489 7 0 0 20 0 9 0 437478610 918425600 127223 33554432000 4194304 6211092 140734135257168 139857630493112 5409457 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30716] ppid=30710 vsize=896900 memory=508892 CPUtime=24.95 cores=0-7
/proc/30713/task/30716/stat : 30716 (cosoco) R 30710 30713 29952 0 -1 4202560 55309 0 0 0 2484 11 0 0 20 0 9 0 437478610 918425600 127223 33554432000 4194304 6211092 140734135257168 139857622100664 5186224 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0

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

/proc/30713/task/30717/stat : 30717 (cosoco) R 30710 30713 29952 0 -1 4202560 127909 0 0 0 226082 15 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857613707960 5409449 0 0 4096 8405026 0 0 0 -1 4 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30718] ppid=30710 vsize=896900 memory=516976 CPUtime=2261.24 cores=0-7
/proc/30713/task/30718/stat : 30718 (cosoco) R 30710 30713 29952 0 -1 4202560 88664 0 0 0 226104 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857605315256 5035302 0 0 4096 8405026 0 0 0 -1 2 0 0 6 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30719] ppid=30710 vsize=896900 memory=516976 CPUtime=2248.23 cores=0-7
/proc/30713/task/30719/stat : 30719 (cosoco) R 30710 30713 29952 0 -1 4202560 126236 0 0 0 224801 22 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857596923152 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30720] ppid=30710 vsize=896900 memory=516976 CPUtime=2256.31 cores=0-7
/proc/30713/task/30720/stat : 30720 (cosoco) R 30710 30713 29952 0 -1 4202560 114455 0 0 0 225611 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857588529848 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 4 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30721] ppid=30710 vsize=896900 memory=516976 CPUtime=2252.53 cores=0-7
/proc/30713/task/30721/stat : 30721 (cosoco) R 30710 30713 29952 0 -1 4202560 102670 0 0 0 225233 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857580137144 5403441 0 0 4096 8405026 0 0 0 -1 7 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30722] ppid=30710 vsize=896900 memory=516976 CPUtime=2258.82 cores=0-7
/proc/30713/task/30722/stat : 30722 (cosoco) R 30710 30713 29952 0 -1 4202560 103814 0 0 0 225862 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857571744360 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
Current children cumulated CPU time: 18060.5 s
Current children cumulated vsize: 896900 KiB
Current children cumulated memory: 516976 KiB

[startup+2322.3 s]
/proc/loadavg: 8.10 8.22 8.28 9/200 30923
/proc/meminfo: memFree=30336784/32770624 swapFree=67001768/67108860
[pid=30713] ppid=30710 vsize=896900 memory=516976 CPUtime=18539.7 cores=0-7
/proc/30713/stat : 30713 (cosoco) S 30710 30713 29952 0 -1 1077944320 978377 0 0 0 1853797 170 0 0 20 0 9 0 437478559 918425600 129244 33554432000 4194304 6211092 140734135257168 140734135255424 139857653636855 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
/proc/30713/statm: 224225 129244 917 493 0 217530 0
[pid=30713/tid=30715] ppid=30710 vsize=896900 memory=1440 CPUtime=2321.5 cores=0-7
/proc/30713/task/30715/stat : 30715 (cosoco) R 30710 30713 29952 0 -1 4202560 127387 0 0 0 232132 18 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857630493112 5409444 0 0 4096 8405026 0 0 0 -1 6 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30716] ppid=30710 vsize=896900 memory=516976 CPUtime=2320.36 cores=0-7
/proc/30713/task/30716/stat : 30716 (cosoco) R 30710 30713 29952 0 -1 4202560 115344 0 0 0 232013 23 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857622101264 5150158 0 0 4096 8405026 0 0 0 -1 0 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30717] ppid=30710 vsize=896900 memory=516976 CPUtime=2320.96 cores=0-7
/proc/30713/task/30717/stat : 30717 (cosoco) R 30710 30713 29952 0 -1 4202560 128047 0 0 0 232081 15 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857613707960 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 6 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30718] ppid=30710 vsize=896900 memory=516976 CPUtime=2321.24 cores=0-7
/proc/30713/task/30718/stat : 30718 (cosoco) R 30710 30713 29952 0 -1 4202560 88757 0 0 0 232104 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857605315256 5082300 0 0 4096 8405026 0 0 0 -1 2 0 0 6 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30719] ppid=30710 vsize=896900 memory=516976 CPUtime=2308.23 cores=0-7
/proc/30713/task/30719/stat : 30719 (cosoco) R 30710 30713 29952 0 -1 4202560 126429 0 0 0 230801 22 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857596923152 5250272 0 0 4096 8405026 0 0 0 -1 3 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30720] ppid=30710 vsize=896900 memory=516976 CPUtime=2316.31 cores=0-7
/proc/30713/task/30720/stat : 30720 (cosoco) R 30710 30713 29952 0 -1 4202560 114626 0 0 0 231611 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857588529848 5409457 0 0 4096 8405026 0 0 0 -1 5 0 0 4 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30721] ppid=30710 vsize=896900 memory=516976 CPUtime=2311.68 cores=0-7
/proc/30713/task/30721/stat : 30721 (cosoco) R 30710 30713 29952 0 -1 4202560 102791 0 0 0 231148 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857580137144 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30722] ppid=30710 vsize=896900 memory=516976 CPUtime=2318.82 cores=0-7
/proc/30713/task/30722/stat : 30722 (cosoco) R 30710 30713 29952 0 -1 4202560 103883 0 0 0 231862 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857571744360 5409444 0 0 4096 8405026 0 0 0 -1 1 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
Current children cumulated CPU time: 18539.7 s
Current children cumulated vsize: 896900 KiB
Current children cumulated memory: 516976 KiB

[startup+2382.3 s]
/proc/loadavg: 8.04 8.18 8.26 9/200 30926
/proc/meminfo: memFree=30336096/32770624 swapFree=67001768/67108860
[pid=30713] ppid=30710 vsize=896900 memory=516976 CPUtime=19018.8 cores=0-7
/proc/30713/stat : 30713 (cosoco) S 30710 30713 29952 0 -1 1077944320 979411 0 0 0 1901710 171 0 0 20 0 9 0 437478559 918425600 129244 33554432000 4194304 6211092 140734135257168 140734135255424 139857653636855 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
/proc/30713/statm: 224225 129244 917 493 0 217530 0
[pid=30713/tid=30715] ppid=30710 vsize=896900 memory=516976 CPUtime=2381.51 cores=0-7
/proc/30713/task/30715/stat : 30715 (cosoco) R 30710 30713 29952 0 -1 4202560 127435 0 0 0 238133 18 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857630493112 5391678 0 0 4096 8405026 0 0 0 -1 6 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30716] ppid=30710 vsize=896900 memory=43224 CPUtime=2380.36 cores=0-7
/proc/30713/task/30716/stat : 30716 (cosoco) R 30710 30713 29952 0 -1 4202560 115518 0 0 0 238013 23 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857622101264 5397375 0 0 4096 8405026 0 0 0 -1 0 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30717] ppid=30710 vsize=896900 memory=516976 CPUtime=2380.94 cores=0-7
/proc/30713/task/30717/stat : 30717 (cosoco) R 30710 30713 29952 0 -1 4202560 128178 0 0 0 238079 15 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857613707960 5008827 0 0 4096 8405026 0 0 0 -1 4 0 0 6 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30718] ppid=30710 vsize=896900 memory=516976 CPUtime=2381.23 cores=0-7
/proc/30713/task/30718/stat : 30718 (cosoco) R 30710 30713 29952 0 -1 4202560 88829 0 0 0 238103 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857605315256 5149758 0 0 4096 8405026 0 0 0 -1 2 0 0 6 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30719] ppid=30710 vsize=896900 memory=516976 CPUtime=2368.24 cores=0-7
/proc/30713/task/30719/stat : 30719 (cosoco) R 30710 30713 29952 0 -1 4202560 126627 0 0 0 236802 22 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857596923152 5017277 0 0 4096 8405026 0 0 0 -1 3 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30720] ppid=30710 vsize=896900 memory=516976 CPUtime=2376.3 cores=0-7
/proc/30713/task/30720/stat : 30720 (cosoco) R 30710 30713 29952 0 -1 4202560 114901 0 0 0 237610 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857588529848 5150142 0 0 4096 8405026 0 0 0 -1 5 0 0 4 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30721] ppid=30710 vsize=896900 memory=516976 CPUtime=2370.84 cores=0-7
/proc/30713/task/30721/stat : 30721 (cosoco) R 30710 30713 29952 0 -1 4202560 102837 0 0 0 237064 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857580137144 5409449 0 0 4096 8405026 0 0 0 -1 7 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30722] ppid=30710 vsize=896900 memory=1056 CPUtime=2378.81 cores=0-7
/proc/30713/task/30722/stat : 30722 (cosoco) R 30710 30713 29952 0 -1 4202560 103973 0 0 0 237861 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857571744360 5193696 0 0 4096 8405026 0 0 0 -1 1 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
Current children cumulated CPU time: 19018.8 s
Current children cumulated vsize: 896900 KiB
Current children cumulated memory: 516976 KiB

[startup+2442.3 s]
/proc/loadavg: 8.08 8.17 8.25 9/200 30931
/proc/meminfo: memFree=30337072/32770624 swapFree=67001768/67108860
[pid=30713] ppid=30710 vsize=896900 memory=516976 CPUtime=19497.9 cores=0-7
/proc/30713/stat : 30713 (cosoco) S 30710 30713 29952 0 -1 1077944320 980453 0 0 0 1949622 171 0 0 20 0 9 0 437478559 918425600 129244 33554432000 4194304 6211092 140734135257168 140734135255424 139857653636855 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
/proc/30713/statm: 224225 129244 917 493 0 217530 0
[pid=30713/tid=30715] ppid=30710 vsize=896900 memory=6935054825532540783 CPUtime=2441.5 cores=0-7
/proc/30713/task/30715/stat : 30715 (cosoco) R 30710 30713 29952 0 -1 4202560 127605 0 0 0 244132 18 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857630493112 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30716] ppid=30710 vsize=896900 memory=516976 CPUtime=2440.37 cores=0-7
/proc/30713/task/30716/stat : 30716 (cosoco) R 30710 30713 29952 0 -1 4202560 115619 0 0 0 244014 23 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857622101264 5079295 0 0 4096 8405026 0 0 0 -1 0 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30717] ppid=30710 vsize=896900 memory=516976 CPUtime=2440.93 cores=0-7
/proc/30713/task/30717/stat : 30717 (cosoco) R 30710 30713 29952 0 -1 4202560 128242 0 0 0 244078 15 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857613707960 5409461 0 0 4096 8405026 0 0 0 -1 4 0 0 6 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30718] ppid=30710 vsize=896900 memory=516976 CPUtime=2441.23 cores=0-7
/proc/30713/task/30718/stat : 30718 (cosoco) R 30710 30713 29952 0 -1 4202560 88931 0 0 0 244103 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857605315256 5250272 0 0 4096 8405026 0 0 0 -1 2 0 0 6 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30719] ppid=30710 vsize=896900 memory=516976 CPUtime=2428.24 cores=0-7
/proc/30713/task/30719/stat : 30719 (cosoco) R 30710 30713 29952 0 -1 4202560 126875 0 0 0 242802 22 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857596923152 5397375 0 0 4096 8405026 0 0 0 -1 3 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30720] ppid=30710 vsize=896900 memory=516976 CPUtime=2436.29 cores=0-7
/proc/30713/task/30720/stat : 30720 (cosoco) R 30710 30713 29952 0 -1 4202560 115050 0 0 0 243609 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857588529848 5409457 0 0 4096 8405026 0 0 0 -1 5 0 0 4 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30721] ppid=30710 vsize=896900 memory=516976 CPUtime=2429.99 cores=0-7
/proc/30713/task/30721/stat : 30721 (cosoco) R 30710 30713 29952 0 -1 4202560 102910 0 0 0 242979 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857580137144 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30722] ppid=30710 vsize=896900 memory=516976 CPUtime=2438.81 cores=0-7
/proc/30713/task/30722/stat : 30722 (cosoco) R 30710 30713 29952 0 -1 4202560 104108 0 0 0 243861 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857571744360 5035232 0 0 4096 8405026 0 0 0 -1 1 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
Current children cumulated CPU time: 19497.9 s
Current children cumulated vsize: 896900 KiB
Current children cumulated memory: 516976 KiB

[startup+2502.3 s]
/proc/loadavg: 8.03 8.14 8.23 9/199 30935
/proc/meminfo: memFree=30336832/32770624 swapFree=67001768/67108860
[pid=30713] ppid=30710 vsize=896900 memory=516976 CPUtime=19977.1 cores=0-7
/proc/30713/stat : 30713 (cosoco) S 30710 30713 29952 0 -1 1077944320 981475 0 0 0 1997535 172 0 0 20 0 9 0 437478559 918425600 129244 33554432000 4194304 6211092 140734135257168 140734135255424 139857653636855 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
/proc/30713/statm: 224225 129244 917 493 0 217530 0
[pid=30713/tid=30715] ppid=30710 vsize=896900 memory=516976 CPUtime=2501.51 cores=0-7
/proc/30713/task/30715/stat : 30715 (cosoco) R 30710 30713 29952 0 -1 4202560 127876 0 0 0 250133 18 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857630493112 5017688 0 0 4096 8405026 0 0 0 -1 6 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30716] ppid=30710 vsize=896900 memory=43232 CPUtime=2500.36 cores=0-7
/proc/30713/task/30716/stat : 30716 (cosoco) R 30710 30713 29952 0 -1 4202560 115682 0 0 0 250013 23 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857622101264 5039026 0 0 4096 8405026 0 0 0 -1 0 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30717] ppid=30710 vsize=896900 memory=516976 CPUtime=2500.92 cores=0-7
/proc/30713/task/30717/stat : 30717 (cosoco) R 30710 30713 29952 0 -1 4202560 128324 0 0 0 250077 15 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857613707960 5392081 0 0 4096 8405026 0 0 0 -1 4 0 0 6 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30718] ppid=30710 vsize=896900 memory=516976 CPUtime=2501.23 cores=0-7
/proc/30713/task/30718/stat : 30718 (cosoco) R 30710 30713 29952 0 -1 4202560 89033 0 0 0 250103 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857605315256 5008827 0 0 4096 8405026 0 0 0 -1 2 0 0 6 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30719] ppid=30710 vsize=896900 memory=516976 CPUtime=2488.24 cores=0-7
/proc/30713/task/30719/stat : 30719 (cosoco) R 30710 30713 29952 0 -1 4202560 127050 0 0 0 248802 22 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857596923152 5017688 0 0 4096 8405026 0 0 0 -1 3 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30720] ppid=30710 vsize=896900 memory=516976 CPUtime=2496.28 cores=0-7
/proc/30713/task/30720/stat : 30720 (cosoco) R 30710 30713 29952 0 -1 4202560 115229 0 0 0 249608 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857588529848 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 4 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30721] ppid=30710 vsize=896900 memory=516976 CPUtime=2489.14 cores=0-7
/proc/30713/task/30721/stat : 30721 (cosoco) R 30710 30713 29952 0 -1 4202560 103002 0 0 0 248894 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857580137144 5396756 0 0 4096 8405026 0 0 0 -1 7 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30722] ppid=30710 vsize=896900 memory=516976 CPUtime=2498.81 cores=0-7
/proc/30713/task/30722/stat : 30722 (cosoco) R 30710 30713 29952 0 -1 4202560 104166 0 0 0 249861 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857571744360 5149667 0 0 4096 8405026 0 0 0 -1 1 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
Current children cumulated CPU time: 19977.1 s
Current children cumulated vsize: 896900 KiB
Current children cumulated memory: 516976 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.02 8.13 8.23 9/199 30935
/proc/meminfo: memFree=30337016/32770624 swapFree=67001768/67108860
[pid=30713] ppid=30710 vsize=896900 memory=516976 CPUtime=20118.5 cores=0-7
/proc/30713/stat : 30713 (cosoco) S 30710 30713 29952 0 -1 1077944320 981854 0 0 0 2011677 172 0 0 20 0 9 0 437478559 918425600 129244 33554432000 4194304 6211092 140734135257168 140734135255424 139857653636855 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
/proc/30713/statm: 224225 129244 917 493 0 217530 0
[pid=30713/tid=30715] ppid=30710 vsize=896900 memory=1398720917958146503 CPUtime=2519.22 cores=0-7
/proc/30713/task/30715/stat : 30715 (cosoco) R 30710 30713 29952 0 -1 4202560 127931 0 0 0 251904 18 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857630493112 5149234 0 0 4096 8405026 0 0 0 -1 6 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30716] ppid=30710 vsize=896900 memory=4872558044660077418 CPUtime=2518.07 cores=0-7
/proc/30713/task/30716/stat : 30716 (cosoco) R 30710 30713 29952 0 -1 4202560 115716 0 0 0 251784 23 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857622101264 5409439 0 0 4096 8405026 0 0 0 -1 0 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30717] ppid=30710 vsize=896900 memory=924 CPUtime=2518.63 cores=0-7
/proc/30713/task/30717/stat : 30717 (cosoco) R 30710 30713 29952 0 -1 4202560 128347 0 0 0 251848 15 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857613707960 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 6 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30718] ppid=30710 vsize=896900 memory=4140 CPUtime=2518.94 cores=0-7
/proc/30713/task/30718/stat : 30718 (cosoco) R 30710 30713 29952 0 -1 4202560 89058 0 0 0 251874 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857605315256 5009175 0 0 4096 8405026 0 0 0 -1 2 0 0 6 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30719] ppid=30710 vsize=896900 memory=1408 CPUtime=2505.95 cores=0-7
/proc/30713/task/30719/stat : 30719 (cosoco) R 30710 30713 29952 0 -1 4202560 127164 0 0 0 250573 22 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857596923152 5250224 0 0 4096 8405026 0 0 0 -1 3 0 0 6 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30720] ppid=30710 vsize=896900 memory=2816 CPUtime=2513.98 cores=0-7
/proc/30713/task/30720/stat : 30720 (cosoco) R 30710 30713 29952 0 -1 4202560 115310 0 0 0 251378 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857588529848 5149758 0 0 4096 8405026 0 0 0 -1 5 0 0 4 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30721] ppid=30710 vsize=896900 memory=516976 CPUtime=2506.6 cores=0-7
/proc/30713/task/30721/stat : 30721 (cosoco) R 30710 30713 29952 0 -1 4202560 103023 0 0 0 250640 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857580137144 5035232 0 0 4096 8405026 0 0 0 -1 7 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
[pid=30713/tid=30722] ppid=30710 vsize=896900 memory=288230574492221466 CPUtime=2516.52 cores=0-7
/proc/30713/task/30722/stat : 30722 (cosoco) R 30710 30713 29952 0 -1 4202560 104192 0 0 0 251632 20 0 0 20 0 9 0 437478610 918425600 129244 33554432000 4194304 6211092 140734135257168 139857571744360 5392064 0 0 4096 8405026 0 0 0 -1 1 0 0 5 0 0 8312316 8317760 15474688 140734135260177 140734135260269 140734135260269 140734135263182 0
Current children cumulated CPU time: 20118.5 s
Current children cumulated vsize: 896900 KiB
Current children cumulated memory: 516976 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.03 s]
# the end of solver process 30713 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20116.9 s, system=1.72597 s

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

Child status: 1
Real time (s): 2520.03
CPU time (s): 20118.6
CPU user time (s): 20116.9
CPU system time (s): 1.72597
CPU usage (%): 798.349
Max. virtual memory (cumulated for all children) (KiB): 896900
Max. memory (cumulated for all children) (KiB): 516976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20116.9
system time used= 1.72597
maximum resident set size= 517080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 981902
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32032
involuntary context switches= 163849


# summary of solver processes directly reported to runsolver:
#   pid: 30713
#   total CPU time (s): 20118.6
#   total CPU user time (s): 20116.9
#   total CPU system time (s): 1.72597

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3894 second user time and 22.4227 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-16 08:33:25
IDJOB=4398423
IDBENCH=140491
IDSOLVER=2851
FILE ID=node146/4398423-1568615646
RUNJOBID= node146-1568609757-29979
PBS_JOBID= 21703441
Free space on /tmp= 59028 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbop-30-30-1.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398423-1568615646/watcher-4398423-1568615646 -o /tmp/evaluation-result-4398423-1568615646/solver-4398423-1568615646 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568609757-29979 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4398423-1568615646.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 67a2d403e3bfd604d92484151c447548
RANDOM SEED=792048862

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        30846756 kB
MemAvailable:   31869376 kB
Buffers:          219772 kB
Cached:          1073548 kB
SwapCached:         4568 kB
Active:           590492 kB
Inactive:         708752 kB
Active(anon):      22560 kB
Inactive(anon):    30532 kB
Active(file):     567932 kB
Inactive(file):   678220 kB
Unevictable:      110700 kB
Mlocked:          110700 kB
SwapTotal:      67108860 kB
SwapFree:       67001764 kB
Dirty:              2788 kB
Writeback:            56 kB
AnonPages:        112872 kB
Mapped:            45940 kB
Shmem:             38816 kB
Slab:             215004 kB
SReclaimable:     184604 kB
SUnreclaim:        30400 kB
KernelStack:        3408 kB
PageTables:         5260 kB
NFS_Unstable:        160 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     507116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 59028 MiB
End job on node146 at 2019-09-16 09:15:25