Trace number 4409979

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.0 parallelSAT (TO)8 2007.52 252.039

General information on the benchmark

NameOpenStacks/OpenStacks-m1-s1/
OpenStacks-m1-wbop-30-30-1.xml
MD5SUM305bfce3403e7be8ea8343edd9c7d9a7
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 benchmark25.4304
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.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 
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 
3.30/0.92	c
3.30/0.92	c This is cosoco 2.00 --  
3.30/0.92	c
3.30/0.92	c command line: cosoco -model -nbcores=8 HOME/instance-4409979-1569829105.xml 
3.30/0.92	c enable optimization
3.30/0.92	c ========================================[ Problem Statistics ]===========================================
3.30/0.92	c |                                                                                                       
3.30/0.92	c |  Parse time        :         0.42 s 
3.30/0.92	c |
3.30/0.92	c |               Variables: 2760
3.30/0.92	c |            Domain Sizes: 2..31
3.30/0.92	c |
3.30/0.92	c |             Constraints: 2732
3.30/0.92	c |                   Arity: 2..31  -- Binary: 930  -- Ternary: 1770
3.30/0.92	c | 
3.30/0.92	c |                   Types: 
3.30/0.92	c |                          (X = Y): 30
3.30/0.92	c |                          All Different: 1
3.30/0.92	c |                          Extension: 1800  (nb tuples: 4..30) -- (shared: 7192)
3.30/0.92	c |                          Max constant: 1
3.30/0.92	c |                          Sum: 900
3.30/0.92	c |                          
3.30/0.92	c |               Objective: Minimize Max constant
3.30/0.92	
3.30/0.92	c =========================================================================================================
3.30/0.92	c Parallel mode: Portfolio
3.30/0.92	c [pFactory][Group N°0] created (threads:8).
3.30/0.92	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
3.30/0.92	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
3.30/0.92	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
3.30/0.92	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
3.30/0.92	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
3.30/0.92	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
3.30/0.92	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
3.30/0.92	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
3.30/0.92	c [pFactory][Group N°0] concurrent mode: enabled.
3.30/0.92	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
3.30/0.92	c [pFactory][Group N°0] task 7 launched on thread 1.
3.30/0.92	c [pFactory][Group N°0] task 6 launched on thread 2.
3.30/0.92	c [pFactory][Group N°0] task 5 launched on thread 0.
3.30/0.92	c [pFactory][Group N°0] task 4 launched on thread 6.
3.30/0.92	c [pFactory][Group N°0] task 3 launched on thread 4.
3.30/0.92	c [pFactory][Group N°0] task 2 launched on thread 7.
3.30/0.92	c [pFactory][Group N°0] task 1 launched on thread 5.
3.30/0.92	c [pFactory][Group N°0] task 0 launched on thread 3.
3.30/0.92	o 17
3.30/0.92	o 12
67.14/8.93	o 10
87.09/11.48	o 9
106.26/13.85	o 8
2007.38/252.02	
2007.38/252.02	c *** INTERRUPTED ***
2007.38/252.02	c call to solver        : 4
2007.38/252.02	c
2007.38/252.02	c restarts              : 16956       
2007.38/252.02	c conflicts             : 162607       (81 /sec)
2007.38/252.02	c decisions             : 1918183      (956 /sec)
2007.38/252.02	c propagations          : 70084767    (34931 /sec)
2007.38/252.02	c root propagations     : 17645       
2007.38/252.02	c filter calls          : 321232166      (160105 /sec)
2007.38/252.02	c useless filter calls  : 270771713      (84 %)
2007.38/252.02	c Memory used           : 875.88 MB
2007.38/252.02	c Best bound time (wc)  : 13.8481 s
2007.38/252.02	c CPU time              : 2006.39 s
2007.38/252.02	c real time             : 252.018 s
2007.38/252.02	
2007.38/252.02	s SATISFIABLE
2007.38/252.02	c Best value found: 8
2007.38/252.02	
2007.38/252.02	
2007.38/252.02	v <instantiation type='solution' cost='8'>
2007.38/252.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>
2007.38/252.02	v <values>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 0 0 0 0 1 1 2 2 2 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 1 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 2 2 2 2 2 2 0 1 1 1 1 1 2 2 2 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 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 1 1 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 2 2 2 2 2 2 2 2 2 2 1 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 1 2 2 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 1 1 1 1 2 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 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 2 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 1 1 1 1 0 1 1 1 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 0 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 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 1 1 1 1 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 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 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 1 0 0 0 0 0 1 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 1 1 1 1 1 1 1 1 1 1 0 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 0 0 1 1 2 2 2 0 0 0 0 0 1 1 1 1 2 2 0 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 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 1 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 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 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 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 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 1 1 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 1 1 1 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 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 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 1 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 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 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 1 1 1 1 1 0 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 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 0 0 0 0 0 0 0 0 0 0 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 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 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 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 1 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 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 1 1 1 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 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 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 1 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 0 0 0 0 0 0 0 0 0 14 17 13 21 10 3 1 4 20 24 18 27 12 0 8 22 11 9 29 26 7 28 19 16 6 25 2 5 23 15 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 1 0 1 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 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 1 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 1 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 0 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 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 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 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 1 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 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 0 0 0 0 0 0 0 0 0 0 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 8 8 7 7 8 8 7 7 7 7 4 7 7 8 8 7 7 6 4 3 2 6 7 7 7 7 6 5 6 </values>
2007.38/252.02	v </instantiation>
2007.38/252.02

Verifier Data 

OK	8

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409979-1569829105/watcher-4409979-1569829105 -o /tmp/evaluation-result-4409979-1569829105/solver-4409979-1569829105 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node140-1569818144-9348 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409979-1569829105.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=11711, runsolver pid=11708
Current StackSize limit: 8192 KiB


[startup+0.100157 s]*
/proc/loadavg: 7.46 7.07 7.08 2/192 11712
/proc/meminfo: memFree=30886672/32770624 swapFree=66997268/67108860
[pid=11711] ppid=11708 vsize=117292 memory=93576 CPUtime=0.1 cores=0-7
/proc/11711/stat : 11711 (cosoco) R 11708 11711 9321 0 -1 4202496 23595 0 0 0 7 3 0 0 20 0 1 0 558848798 120107008 23394 33554432000 4194304 6211132 140734944381440 140734944377976 140364530591648 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
/proc/11711/statm: 29323 23394 824 493 0 22628 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 117292 KiB
Current children cumulated memory: 93576 KiB

[startup+0.209 s]*
/proc/loadavg: 7.46 7.07 7.08 2/192 11712
/proc/meminfo: memFree=30845008/32770624 swapFree=66997268/67108860
[pid=11711] ppid=11708 vsize=152640 memory=129184 CPUtime=0.2 cores=0-7
/proc/11711/stat : 11711 (cosoco) R 11708 11711 9321 0 -1 4202496 32448 0 0 0 16 4 0 0 20 0 1 0 558848798 156303360 32230 33554432000 4194304 6211132 140734944381440 140734944376088 140364530543589 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
/proc/11711/statm: 38193 32230 836 493 0 31498 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 152640 KiB
Current children cumulated memory: 129184 KiB

[startup+0.308704 s]*
/proc/loadavg: 7.46 7.07 7.08 2/191 11712
/proc/meminfo: memFree=30815812/32770624 swapFree=66997268/67108860
[pid=11711] ppid=11708 vsize=181724 memory=158224 CPUtime=0.31 cores=0-7
/proc/11711/stat : 11711 (cosoco) R 11708 11711 9321 0 -1 4202496 39723 0 0 0 26 5 0 0 20 0 1 0 558848798 186085376 39556 33554432000 4194304 6211132 140734944381440 140734944376088 140364531376714 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
/proc/11711/statm: 45431 39556 836 493 0 38736 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 181724 KiB
Current children cumulated memory: 158224 KiB

[startup+0.700307 s]
/proc/loadavg: 7.46 7.07 7.08 2/191 11712
/proc/meminfo: memFree=30691564/32770624 swapFree=66997268/67108860
[pid=11711] ppid=11708 vsize=896892 memory=391444 CPUtime=1.72 cores=0-7
/proc/11711/stat : 11711 (cosoco) S 11708 11711 9321 0 -1 1077944320 98361 0 0 0 146 26 0 0 20 0 9 0 558848798 918417408 97861 33554432000 4194304 6211132 140734944381440 140734944379696 140364546584311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
/proc/11711/statm: 224223 97861 915 493 0 217528 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 391444 KiB

[startup+1.50105 s]
/proc/loadavg: 7.46 7.07 7.08 9/199 11720
/proc/meminfo: memFree=30486820/32770624 swapFree=66997268/67108860
[pid=11711] ppid=11708 vsize=896892 memory=501532 CPUtime=8.08 cores=0-7
/proc/11711/stat : 11711 (cosoco) S 11708 11711 9321 0 -1 1077944320 125797 0 0 0 776 32 0 0 20 0 9 0 558848798 918417408 125383 33554432000 4194304 6211132 140734944381440 140734944379696 140364546584311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
/proc/11711/statm: 224223 125383 915 493 0 217528 0
[pid=11711/tid=11713] ppid=11708 vsize=896892 memory=-6221781267475802396 CPUtime=0.94 cores=0-7
/proc/11711/task/11713/stat : 11713 (cosoco) R 11708 11711 9321 0 -1 4202560 6669 0 0 0 92 2 0 0 20 0 9 0 558848850 918417408 125383 33554432000 4194304 6211132 140734944381440 140364523440824 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11714] ppid=11708 vsize=896892 memory=0 CPUtime=0.93 cores=0-7
/proc/11711/task/11714/stat : 11714 (cosoco) R 11708 11711 9321 0 -1 4202560 6111 0 0 0 91 2 0 0 20 0 9 0 558848850 918417408 125383 33554432000 4194304 6211132 140734944381440 140364515048040 5396788 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11715] ppid=11708 vsize=896892 memory=0 CPUtime=0.94 cores=0-7
/proc/11711/task/11715/stat : 11715 (cosoco) R 11708 11711 9321 0 -1 4202560 6478 0 0 0 92 2 0 0 20 0 9 0 558848850 918417408 125383 33554432000 4194304 6211132 140734944381440 140364506655464 5396788 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11716] ppid=11708 vsize=896892 memory=280115217109328 CPUtime=0.94 cores=0-7
/proc/11711/task/11716/stat : 11716 (cosoco) R 11708 11711 9321 0 -1 4202560 7530 0 0 0 91 3 0 0 20 0 9 0 558848850 918417408 125383 33554432000 4194304 6211132 140734944381440 140364498262632 5409476 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11717] ppid=11708 vsize=896892 memory=288230621789322196 CPUtime=0.94 cores=0-7
/proc/11711/task/11717/stat : 11717 (cosoco) R 11708 11711 9321 0 -1 4202560 6510 0 0 0 91 3 0 0 20 0 9 0 558848850 918417408 125383 33554432000 4194304 6211132 140734944381440 140364489870008 5035216 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11718] ppid=11708 vsize=896892 memory=13572608580953139 CPUtime=0.93 cores=0-7
/proc/11711/task/11718/stat : 11718 (cosoco) R 11708 11711 9321 0 -1 4202560 7106 0 0 0 91 2 0 0 20 0 9 0 558848850 918417408 125383 33554432000 4194304 6211132 140734944381440 140364481477224 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11719] ppid=11708 vsize=896892 memory=0 CPUtime=0.93 cores=0-7
/proc/11711/task/11719/stat : 11719 (cosoco) R 11708 11711 9321 0 -1 4202560 7561 0 0 0 90 3 0 0 20 0 9 0 558848850 918417408 125383 33554432000 4194304 6211132 140734944381440 140364473084600 5409476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11720] ppid=11708 vsize=896892 memory=0 CPUtime=0.94 cores=0-7
/proc/11711/task/11720/stat : 11720 (cosoco) R 11708 11711 9321 0 -1 4202560 6718 0 0 0 92 2 0 0 20 0 9 0 558848850 918417408 125383 33554432000 4194304 6211132 140734944381440 140364464691896 5409489 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
Current children cumulated CPU time: 8.08 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 501532 KiB

[startup+3.11004 s]
/proc/loadavg: 7.46 7.07 7.08 9/199 11720
/proc/meminfo: memFree=30468220/32770624 swapFree=66997268/67108860
[pid=11711] ppid=11708 vsize=896892 memory=502496 CPUtime=20.93 cores=0-7
/proc/11711/stat : 11711 (cosoco) S 11708 11711 9321 0 -1 1077944320 206398 0 0 0 2044 49 0 0 20 0 9 0 558848798 918417408 125624 33554432000 4194304 6211132 140734944381440 140734944379696 140364546584311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
/proc/11711/statm: 224223 125624 917 493 0 217528 0
[pid=11711/tid=11713] ppid=11708 vsize=896892 memory=6944656425123094137 CPUtime=2.56 cores=0-7
/proc/11711/task/11713/stat : 11713 (cosoco) R 11708 11711 9321 0 -1 4202560 13933 0 0 0 250 6 0 0 20 0 9 0 558848850 918417408 125624 33554432000 4194304 6211132 140734944381440 140364523440824 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11714] ppid=11708 vsize=896892 memory=0 CPUtime=2.55 cores=0-7
/proc/11711/task/11714/stat : 11714 (cosoco) R 11708 11711 9321 0 -1 4202560 15699 0 0 0 252 3 0 0 20 0 9 0 558848850 918417408 125624 33554432000 4194304 6211132 140734944381440 140364515048120 5035297 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11715] ppid=11708 vsize=896892 memory=501004 CPUtime=2.55 cores=0-7
/proc/11711/task/11715/stat : 11715 (cosoco) R 11708 11711 9321 0 -1 4202560 16402 0 0 0 248 7 0 0 20 0 9 0 558848850 918417408 125624 33554432000 4194304 6211132 140734944381440 140364506655416 5008912 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11716] ppid=11708 vsize=896892 memory=8330969454845486047 CPUtime=2.55 cores=0-7
/proc/11711/task/11716/stat : 11716 (cosoco) R 11708 11711 9321 0 -1 4202560 18370 0 0 0 251 4 0 0 20 0 9 0 558848850 918417408 125624 33554432000 4194304 6211132 140734944381440 140364498262712 5009039 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11717] ppid=11708 vsize=896892 memory=6656426216303648864 CPUtime=2.54 cores=0-7
/proc/11711/task/11717/stat : 11717 (cosoco) R 11708 11711 9321 0 -1 4202560 15655 0 0 0 249 5 0 0 20 0 9 0 558848850 918417408 125624 33554432000 4194304 6211132 140734944381440 140364489870008 5396788 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11718] ppid=11708 vsize=896892 memory=502496 CPUtime=2.54 cores=0-7
/proc/11711/task/11718/stat : 11718 (cosoco) R 11708 11711 9321 0 -1 4202560 21104 0 0 0 251 3 0 0 20 0 9 0 558848850 918417408 125624 33554432000 4194304 6211132 140734944381440 140364481477304 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11719] ppid=11708 vsize=896892 memory=-7749696028082845524 CPUtime=2.51 cores=0-7
/proc/11711/task/11719/stat : 11719 (cosoco) R 11708 11711 9321 0 -1 4202560 18434 0 0 0 245 6 0 0 20 0 9 0 558848850 918417408 125624 33554432000 4194304 6211132 140734944381440 140364473084600 5409476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11720] ppid=11708 vsize=896892 memory=140057608454345 CPUtime=2.54 cores=0-7
/proc/11711/task/11720/stat : 11720 (cosoco) R 11708 11711 9321 0 -1 4202560 15698 0 0 0 252 2 0 0 20 0 9 0 558848850 918417408 125624 33554432000 4194304 6211132 140734944381440 140364464691896 5409476 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
Current children cumulated CPU time: 20.93 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 502496 KiB

[startup+6.30104 s]
/proc/loadavg: 7.67 7.11 7.09 9/199 11720
/proc/meminfo: memFree=30466164/32770624 swapFree=66997268/67108860
[pid=11711] ppid=11708 vsize=896892 memory=503352 CPUtime=46.37 cores=0-7
/proc/11711/stat : 11711 (cosoco) S 11708 11711 9321 0 -1 1077944320 301603 0 0 0 4580 57 0 0 20 0 9 0 558848798 918417408 125838 33554432000 4194304 6211132 140734944381440 140734944379696 140364546584311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
/proc/11711/statm: 224223 125838 917 493 0 217528 0
[pid=11711/tid=11713] ppid=11708 vsize=896892 memory=502496 CPUtime=5.74 cores=0-7
/proc/11711/task/11713/stat : 11713 (cosoco) R 11708 11711 9321 0 -1 4202560 27456 0 0 0 567 7 0 0 20 0 9 0 558848850 918417408 125838 33554432000 4194304 6211132 140734944381440 140364523440744 5396788 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11714] ppid=11708 vsize=896892 memory=501004 CPUtime=5.73 cores=0-7
/proc/11711/task/11714/stat : 11714 (cosoco) R 11708 11711 9321 0 -1 4202560 26685 0 0 0 569 4 0 0 20 0 9 0 558848850 918417408 125838 33554432000 4194304 6211132 140734944381440 140364515048040 5392113 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11715] ppid=11708 vsize=896892 memory=8330969454845486047 CPUtime=5.74 cores=0-7
/proc/11711/task/11715/stat : 11715 (cosoco) R 11708 11711 9321 0 -1 4202560 25505 0 0 0 567 7 0 0 20 0 9 0 558848850 918417408 125838 33554432000 4194304 6211132 140734944381440 140364506655416 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11716] ppid=11708 vsize=896892 memory=502940 CPUtime=5.73 cores=0-7
/proc/11711/task/11716/stat : 11716 (cosoco) R 11708 11711 9321 0 -1 4202560 28953 0 0 0 568 5 0 0 20 0 9 0 558848850 918417408 125838 33554432000 4194304 6211132 140734944381440 140364498262712 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11717] ppid=11708 vsize=896892 memory=1540 CPUtime=5.73 cores=0-7
/proc/11711/task/11717/stat : 11717 (cosoco) R 11708 11711 9321 0 -1 4202560 29914 0 0 0 566 7 0 0 20 0 9 0 558848850 918417408 125838 33554432000 4194304 6211132 140734944381440 140364489869928 5392113 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11718] ppid=11708 vsize=896892 memory=772 CPUtime=5.73 cores=0-7
/proc/11711/task/11718/stat : 11718 (cosoco) R 11708 11711 9321 0 -1 4202560 33487 0 0 0 569 4 0 0 20 0 9 0 558848850 918417408 125838 33554432000 4194304 6211132 140734944381440 140364481477304 5396788 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11719] ppid=11708 vsize=896892 memory=502556 CPUtime=5.65 cores=0-7
/proc/11711/task/11719/stat : 11719 (cosoco) R 11708 11711 9321 0 -1 4202560 29567 0 0 0 558 7 0 0 20 0 9 0 558848850 918417408 125838 33554432000 4194304 6211132 140734944381440 140364473084600 5392113 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11720] ppid=11708 vsize=896892 memory=3624 CPUtime=5.73 cores=0-7
/proc/11711/task/11720/stat : 11720 (cosoco) R 11708 11711 9321 0 -1 4202560 28922 0 0 0 569 4 0 0 20 0 9 0 558848850 918417408 125838 33554432000 4194304 6211132 140734944381440 140364464691896 5392113 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
Current children cumulated CPU time: 46.37 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 503352 KiB

[startup+12.701 s]
/proc/loadavg: 7.69 7.13 7.10 9/199 11720
/proc/meminfo: memFree=30459336/32770624 swapFree=66997268/67108860
[pid=11711] ppid=11708 vsize=896892 memory=509852 CPUtime=97.48 cores=0-7
/proc/11711/stat : 11711 (cosoco) S 11708 11711 9321 0 -1 1077944320 367628 0 0 0 9683 65 0 0 20 0 9 0 558848798 918417408 127463 33554432000 4194304 6211132 140734944381440 140734944379696 140364546584311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
/proc/11711/statm: 224223 127463 917 493 0 217528 0
[pid=11711/tid=11713] ppid=11708 vsize=896892 memory=56 CPUtime=12.13 cores=0-7
/proc/11711/task/11713/stat : 11713 (cosoco) R 11708 11711 9321 0 -1 4202560 32952 0 0 0 1206 7 0 0 20 0 9 0 558848850 918417408 127463 33554432000 4194304 6211132 140734944381440 140364523440744 5392113 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11714] ppid=11708 vsize=896892 memory=507544 CPUtime=12.13 cores=0-7
/proc/11711/task/11714/stat : 11714 (cosoco) R 11708 11711 9321 0 -1 4202560 35756 0 0 0 1208 5 0 0 20 0 9 0 558848850 918417408 127463 33554432000 4194304 6211132 140734944381440 140364515048040 5035263 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11715] ppid=11708 vsize=896892 memory=507544 CPUtime=12.13 cores=0-7
/proc/11711/task/11715/stat : 11715 (cosoco) R 11708 11711 9321 0 -1 4202560 34893 0 0 0 1205 8 0 0 20 0 9 0 558848850 918417408 127463 33554432000 4194304 6211132 140734944381440 140364506655416 5035286 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11716] ppid=11708 vsize=896892 memory=3624 CPUtime=12.13 cores=0-7
/proc/11711/task/11716/stat : 11716 (cosoco) R 11708 11711 9321 0 -1 4202560 35855 0 0 0 1208 5 0 0 20 0 9 0 558848850 918417408 127463 33554432000 4194304 6211132 140734944381440 140364498262712 5035263 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11717] ppid=11708 vsize=896892 memory=3605477179624786513 CPUtime=12.13 cores=0-7
/proc/11711/task/11717/stat : 11717 (cosoco) R 11708 11711 9321 0 -1 4202560 43141 0 0 0 1205 8 0 0 20 0 9 0 558848850 918417408 127463 33554432000 4194304 6211132 140734944381440 140364489870608 5035263 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11718] ppid=11708 vsize=896892 memory=6935054825532540783 CPUtime=12.13 cores=0-7
/proc/11711/task/11718/stat : 11718 (cosoco) R 11708 11711 9321 0 -1 4202560 39886 0 0 0 1208 5 0 0 20 0 9 0 558848850 918417408 127463 33554432000 4194304 6211132 140734944381440 140364481477304 5396788 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11719] ppid=11708 vsize=896892 memory=772 CPUtime=11.96 cores=0-7
/proc/11711/task/11719/stat : 11719 (cosoco) R 11708 11711 9321 0 -1 4202560 38433 0 0 0 1188 8 0 0 20 0 9 0 558848850 918417408 127463 33554432000 4194304 6211132 140734944381440 140364473084600 5409476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11720] ppid=11708 vsize=896892 memory=10596 CPUtime=12.13 cores=0-7
/proc/11711/task/11720/stat : 11720 (cosoco) R 11708 11711 9321 0 -1 4202560 35598 0 0 0 1208 5 0 0 20 0 9 0 558848850 918417408 127463 33554432000 4194304 6211132 140734944381440 140364464691896 5409493 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
Current children cumulated CPU time: 97.48 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 509852 KiB

[startup+25.501 s]
/proc/loadavg: 7.76 7.17 7.11 9/199 11720
/proc/meminfo: memFree=30458844/32770624 swapFree=66997268/67108860
[pid=11711] ppid=11708 vsize=896892 memory=509868 CPUtime=199.54 cores=0-7
/proc/11711/stat : 11711 (cosoco) S 11708 11711 9321 0 -1 1077944320 447382 0 0 0 19881 73 0 0 20 0 9 0 558848798 918417408 127467 33554432000 4194304 6211132 140734944381440 140734944379696 140364546584311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
/proc/11711/statm: 224223 127467 917 493 0 217528 0
[pid=11711/tid=11713] ppid=11708 vsize=896892 memory=509868 CPUtime=24.93 cores=0-7
/proc/11711/task/11713/stat : 11713 (cosoco) R 11708 11711 9321 0 -1 4202560 40199 0 0 0 2485 8 0 0 20 0 9 0 558848850 918417408 127467 33554432000 4194304 6211132 140734944381440 140364523440744 5392113 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11714] ppid=11708 vsize=896892 memory=509868 CPUtime=24.92 cores=0-7
/proc/11711/task/11714/stat : 11714 (cosoco) R 11708 11711 9321 0 -1 4202560 44189 0 0 0 2486 6 0 0 20 0 9 0 558848850 918417408 127467 33554432000 4194304 6211132 140734944381440 140364515048040 5035263 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11715] ppid=11708 vsize=896892 memory=280115217143744 CPUtime=24.92 cores=0-7
/proc/11711/task/11715/stat : 11715 (cosoco) R 11708 11711 9321 0 -1 4202560 45612 0 0 0 2483 9 0 0 20 0 9 0 558848850 918417408 127467 33554432000 4194304 6211132 140734944381440 140364506655416 5035270 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11716] ppid=11708 vsize=896892 memory=52474635356394 CPUtime=24.92 cores=0-7
/proc/11711/task/11716/stat : 11716 (cosoco) R 11708 11711 9321 0 -1 4202560 44943 0 0 0 2486 6 0 0 20 0 9 0 558848850 918417408 127467 33554432000 4194304 6211132 140734944381440 140364498262712 5397407 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11717] ppid=11708 vsize=896892 memory=280115217263952 CPUtime=24.91 cores=0-7
/proc/11711/task/11717/stat : 11717 (cosoco) R 11708 11711 9321 0 -1 4202560 55080 0 0 0 2482 9 0 0 20 0 9 0 558848850 918417408 127467 33554432000 4194304 6211132 140734944381440 140364489870608 5035312 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11718] ppid=11708 vsize=896892 memory=1789726295553 CPUtime=24.92 cores=0-7
/proc/11711/task/11718/stat : 11718 (cosoco) R 11708 11711 9321 0 -1 4202560 52104 0 0 0 2486 6 0 0 20 0 9 0 558848850 918417408 127467 33554432000 4194304 6211132 140734944381440 140364481477304 5409493 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11719] ppid=11708 vsize=896892 memory=0 CPUtime=24.55 cores=0-7
/proc/11711/task/11719/stat : 11719 (cosoco) R 11708 11711 9321 0 -1 4202560 48628 0 0 0 2446 9 0 0 20 0 9 0 558848850 918417408 127467 33554432000 4194304 6211132 140734944381440 140364473084600 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11720] ppid=11708 vsize=896892 memory=0 CPUtime=24.87 cores=0-7
/proc/11711/task/11720/stat : 11720 (cosoco) R 11708 11711 9321 0 -1 4202560 45513 0 0 0 2481 6 0 0 20 0 9 0 558848850 918417408 127467 33554432000 4194304 6211132 140734944381440 140364464691896 5396788 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
Current children cumulated CPU time: 199.54 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 509868 KiB

[startup+51.1101 s]
/proc/loadavg: 7.91 7.25 7.14 9/199 11723
/proc/meminfo: memFree=30459848/32770624 swapFree=66997268/67108860
[pid=11711] ppid=11708 vsize=896892 memory=511000 CPUtime=403.92 cores=0-7
/proc/11711/stat : 11711 (cosoco) S 11708 11711 9321 0 -1 1077944320 522224 0 0 0 40312 80 0 0 20 0 9 0 558848798 918417408 127750 33554432000 4194304 6211132 140734944381440 140734944379696 140364546584311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
/proc/11711/statm: 224223 127750 917 493 0 217528 0
[pid=11711/tid=11713] ppid=11708 vsize=896892 memory=280115217301856 CPUtime=50.38 cores=0-7
/proc/11711/task/11713/stat : 11713 (cosoco) R 11708 11711 9321 0 -1 4202560 52355 0 0 0 5029 9 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364523440744 5409493 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11714] ppid=11708 vsize=896892 memory=3624 CPUtime=50.5 cores=0-7
/proc/11711/task/11714/stat : 11714 (cosoco) R 11708 11711 9321 0 -1 4202560 52859 0 0 0 5043 7 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364515048040 5035263 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11715] ppid=11708 vsize=896892 memory=10536 CPUtime=50.51 cores=0-7
/proc/11711/task/11715/stat : 11715 (cosoco) R 11708 11711 9321 0 -1 4202560 54275 0 0 0 5041 10 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364506655416 5392113 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11716] ppid=11708 vsize=896892 memory=509868 CPUtime=50.52 cores=0-7
/proc/11711/task/11716/stat : 11716 (cosoco) R 11708 11711 9321 0 -1 4202560 53756 0 0 0 5045 7 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364498262712 5392113 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11717] ppid=11708 vsize=896892 memory=988 CPUtime=50.28 cores=0-7
/proc/11711/task/11717/stat : 11717 (cosoco) R 11708 11711 9321 0 -1 4202560 64495 0 0 0 5018 10 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364489870608 5392113 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11718] ppid=11708 vsize=896892 memory=2016 CPUtime=50.52 cores=0-7
/proc/11711/task/11718/stat : 11718 (cosoco) R 11708 11711 9321 0 -1 4202560 60973 0 0 0 5045 7 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364481477304 5409493 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11719] ppid=11708 vsize=896892 memory=2828 CPUtime=50.15 cores=0-7
/proc/11711/task/11719/stat : 11719 (cosoco) R 11708 11711 9321 0 -1 4202560 57884 0 0 0 5005 10 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364473084600 5409456 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11720] ppid=11708 vsize=896892 memory=1048 CPUtime=50.46 cores=0-7
/proc/11711/task/11720/stat : 11720 (cosoco) R 11708 11711 9321 0 -1 4202560 54513 0 0 0 5039 7 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364464691896 5396788 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
Current children cumulated CPU time: 403.92 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 511000 KiB

[startup+102.301 s]
/proc/loadavg: 8.44 7.49 7.23 9/199 11725
/proc/meminfo: memFree=30459140/32770624 swapFree=66997268/67108860
[pid=11711] ppid=11708 vsize=896892 memory=511000 CPUtime=812.48 cores=0-7
/proc/11711/stat : 11711 (cosoco) S 11708 11711 9321 0 -1 1077944320 624044 0 0 0 81157 91 0 0 20 0 9 0 558848798 918417408 127750 33554432000 4194304 6211132 140734944381440 140734944379696 140364546584311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
/proc/11711/statm: 224223 127750 917 493 0 217528 0
[pid=11711/tid=11713] ppid=11708 vsize=896892 memory=280115217053344 CPUtime=101.17 cores=0-7
/proc/11711/task/11713/stat : 11713 (cosoco) R 11708 11711 9321 0 -1 4202560 65459 0 0 0 10107 10 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364523440744 5148716 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11714] ppid=11708 vsize=896892 memory=511000 CPUtime=101.67 cores=0-7
/proc/11711/task/11714/stat : 11714 (cosoco) R 11708 11711 9321 0 -1 4202560 67160 0 0 0 10158 9 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364515048040 5149240 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11715] ppid=11708 vsize=896892 memory=511000 CPUtime=101.49 cores=0-7
/proc/11711/task/11715/stat : 11715 (cosoco) R 11708 11711 9321 0 -1 4202560 65221 0 0 0 10138 11 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364506655416 5017373 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11716] ppid=11708 vsize=896892 memory=280115217806688 CPUtime=101.66 cores=0-7
/proc/11711/task/11716/stat : 11716 (cosoco) R 11708 11711 9321 0 -1 4202560 64529 0 0 0 10158 8 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364498262712 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11717] ppid=11708 vsize=896892 memory=280115217430448 CPUtime=101.3 cores=0-7
/proc/11711/task/11717/stat : 11717 (cosoco) R 11708 11711 9321 0 -1 4202560 80186 0 0 0 10118 12 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364489870608 5035297 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11718] ppid=11708 vsize=896892 memory=132 CPUtime=101.69 cores=0-7
/proc/11711/task/11718/stat : 11718 (cosoco) R 11708 11711 9321 0 -1 4202560 73578 0 0 0 10161 8 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364481477304 5035286 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11719] ppid=11708 vsize=896892 memory=0 CPUtime=101.32 cores=0-7
/proc/11711/task/11719/stat : 11719 (cosoco) R 11708 11711 9321 0 -1 4202560 71024 0 0 0 10121 11 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364473084600 5039121 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11720] ppid=11708 vsize=896892 memory=511000 CPUtime=101.6 cores=0-7
/proc/11711/task/11720/stat : 11720 (cosoco) R 11708 11711 9321 0 -1 4202560 65773 0 0 0 10152 8 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364464691896 5035312 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
Current children cumulated CPU time: 812.48 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 511000 KiB

[startup+162.301 s]
/proc/loadavg: 8.70 7.74 7.33 9/200 11735
/proc/meminfo: memFree=30455488/32770624 swapFree=66997268/67108860
[pid=11711] ppid=11708 vsize=896892 memory=511000 CPUtime=1291.24 cores=0-7
/proc/11711/stat : 11711 (cosoco) S 11708 11711 9321 0 -1 1077944320 750073 0 0 0 129020 104 0 0 20 0 9 0 558848798 918417408 127750 33554432000 4194304 6211132 140734944381440 140734944379696 140364546584311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
/proc/11711/statm: 224223 127750 917 493 0 217528 0
[pid=11711/tid=11713] ppid=11708 vsize=896892 memory=511000 CPUtime=160.78 cores=0-7
/proc/11711/task/11713/stat : 11713 (cosoco) R 11708 11711 9321 0 -1 4202560 81512 0 0 0 16067 11 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364523440744 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11714] ppid=11708 vsize=896892 memory=511000 CPUtime=161.62 cores=0-7
/proc/11711/task/11714/stat : 11714 (cosoco) R 11708 11711 9321 0 -1 4202560 83496 0 0 0 16152 10 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364515048040 5396782 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11715] ppid=11708 vsize=896892 memory=511000 CPUtime=160.99 cores=0-7
/proc/11711/task/11715/stat : 11715 (cosoco) R 11708 11711 9321 0 -1 4202560 80414 0 0 0 16086 13 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364506655416 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11716] ppid=11708 vsize=896892 memory=511000 CPUtime=161.62 cores=0-7
/proc/11711/task/11716/stat : 11716 (cosoco) R 11708 11711 9321 0 -1 4202560 79976 0 0 0 16152 10 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364498262712 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11717] ppid=11708 vsize=896892 memory=511000 CPUtime=161.2 cores=0-7
/proc/11711/task/11717/stat : 11717 (cosoco) R 11708 11711 9321 0 -1 4202560 94808 0 0 0 16106 14 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364489870608 5389425 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11718] ppid=11708 vsize=896892 memory=511000 CPUtime=161.63 cores=0-7
/proc/11711/task/11718/stat : 11718 (cosoco) R 11708 11711 9321 0 -1 4202560 90106 0 0 0 16154 9 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364481477304 5409476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11719] ppid=11708 vsize=896892 memory=511000 CPUtime=161.24 cores=0-7
/proc/11711/task/11719/stat : 11719 (cosoco) R 11708 11711 9321 0 -1 4202560 87279 0 0 0 16111 13 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364473084600 5035312 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11720] ppid=11708 vsize=896892 memory=-5628408999910123566 CPUtime=161.56 cores=0-7
/proc/11711/task/11720/stat : 11720 (cosoco) R 11708 11711 9321 0 -1 4202560 81368 0 0 0 16146 10 0 0 20 0 9 0 558848850 918417408 127750 33554432000 4194304 6211132 140734944381440 140364464691896 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
Current children cumulated CPU time: 1291.24 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 511000 KiB

[startup+222.301 s]
/proc/loadavg: 8.47 7.86 7.40 9/200 11740
/proc/meminfo: memFree=30457576/32770624 swapFree=66997268/67108860
[pid=11711] ppid=11708 vsize=896892 memory=511152 CPUtime=1770.18 cores=0-7
/proc/11711/stat : 11711 (cosoco) S 11708 11711 9321 0 -1 1077944320 793152 0 0 0 176908 110 0 0 20 0 9 0 558848798 918417408 127788 33554432000 4194304 6211132 140734944381440 140734944379696 140364546584311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
/proc/11711/statm: 224223 127788 917 493 0 217528 0
[pid=11711/tid=11713] ppid=11708 vsize=896892 memory=511096 CPUtime=220.47 cores=0-7
/proc/11711/task/11713/stat : 11713 (cosoco) R 11708 11711 9321 0 -1 4202560 87908 0 0 0 22035 12 0 0 20 0 9 0 558848850 918417408 127788 33554432000 4194304 6211132 140734944381440 140364523440744 5074526 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11714] ppid=11708 vsize=896892 memory=511096 CPUtime=221.62 cores=0-7
/proc/11711/task/11714/stat : 11714 (cosoco) R 11708 11711 9321 0 -1 4202560 89768 0 0 0 22151 11 0 0 20 0 9 0 558848850 918417408 127788 33554432000 4194304 6211132 140734944381440 140364515048040 5409476 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11715] ppid=11708 vsize=896892 memory=40464 CPUtime=220.95 cores=0-7
/proc/11711/task/11715/stat : 11715 (cosoco) R 11708 11711 9321 0 -1 4202560 86408 0 0 0 22082 13 0 0 20 0 9 0 558848850 918417408 127788 33554432000 4194304 6211132 140734944381440 140364506655416 5186344 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11716] ppid=11708 vsize=896892 memory=0 CPUtime=221.56 cores=0-7
/proc/11711/task/11716/stat : 11716 (cosoco) R 11708 11711 9321 0 -1 4202560 83496 0 0 0 22146 10 0 0 20 0 9 0 558848850 918417408 127788 33554432000 4194304 6211132 140734944381440 140364498262712 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11717] ppid=11708 vsize=896892 memory=511152 CPUtime=221.04 cores=0-7
/proc/11711/task/11717/stat : 11717 (cosoco) R 11708 11711 9321 0 -1 4202560 100934 0 0 0 22088 16 0 0 20 0 9 0 558848850 918417408 127788 33554432000 4194304 6211132 140734944381440 140364489870608 5075587 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11718] ppid=11708 vsize=896892 memory=3624 CPUtime=221.44 cores=0-7
/proc/11711/task/11718/stat : 11718 (cosoco) R 11708 11711 9321 0 -1 4202560 95165 0 0 0 22134 10 0 0 20 0 9 0 558848850 918417408 127788 33554432000 4194304 6211132 140734944381440 140364481477304 5017373 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11719] ppid=11708 vsize=896892 memory=3624 CPUtime=220.97 cores=0-7
/proc/11711/task/11719/stat : 11719 (cosoco) R 11708 11711 9321 0 -1 4202560 93606 0 0 0 22083 14 0 0 20 0 9 0 558848850 918417408 127788 33554432000 4194304 6211132 140734944381440 140364473084600 5409476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11720] ppid=11708 vsize=896892 memory=10544 CPUtime=221.52 cores=0-7
/proc/11711/task/11720/stat : 11720 (cosoco) R 11708 11711 9321 0 -1 4202560 84753 0 0 0 22141 11 0 0 20 0 9 0 558848850 918417408 127788 33554432000 4194304 6211132 140734944381440 140364464691896 5409476 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
Current children cumulated CPU time: 1770.18 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 511152 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.28 7.87 7.41 9/200 11741
/proc/meminfo: memFree=30458520/32770624 swapFree=66997268/67108860
[pid=11711] ppid=11708 vsize=896892 memory=511196 CPUtime=2007.38 cores=0-7
/proc/11711/stat : 11711 (cosoco) S 11708 11711 9321 0 -1 1077944320 793348 0 0 0 200628 110 0 0 20 0 9 0 558848798 918417408 127799 33554432000 4194304 6211132 140734944381440 140734944379696 140364546584311 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
/proc/11711/statm: 224223 127799 917 493 0 217528 0
[pid=11711/tid=11713] ppid=11708 vsize=896892 memory=4100 CPUtime=250.17 cores=0-7
/proc/11711/task/11713/stat : 11713 (cosoco) R 11708 11711 9321 0 -1 4202560 87951 0 0 0 25005 12 0 0 20 0 9 0 558848850 918417408 127799 33554432000 4194304 6211132 140734944381440 140364523440744 5409456 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11714] ppid=11708 vsize=896892 memory=1408 CPUtime=251.33 cores=0-7
/proc/11711/task/11714/stat : 11714 (cosoco) R 11708 11711 9321 0 -1 4202560 89796 0 0 0 25122 11 0 0 20 0 9 0 558848850 918417408 127799 33554432000 4194304 6211132 140734944381440 140364515048040 5397407 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11715] ppid=11708 vsize=896892 memory=4872558044660077418 CPUtime=250.66 cores=0-7
/proc/11711/task/11715/stat : 11715 (cosoco) R 11708 11711 9321 0 -1 4202560 86434 0 0 0 25053 13 0 0 20 0 9 0 558848850 918417408 127799 33554432000 4194304 6211132 140734944381440 140364506655416 5017373 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11716] ppid=11708 vsize=896892 memory=772 CPUtime=251.27 cores=0-7
/proc/11711/task/11716/stat : 11716 (cosoco) R 11708 11711 9321 0 -1 4202560 83498 0 0 0 25117 10 0 0 20 0 9 0 558848850 918417408 127799 33554432000 4194304 6211132 140734944381440 140364498262712 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11717] ppid=11708 vsize=896892 memory=10596 CPUtime=250.75 cores=0-7
/proc/11711/task/11717/stat : 11717 (cosoco) R 11708 11711 9321 0 -1 4202560 101022 0 0 0 25059 16 0 0 20 0 9 0 558848850 918417408 127799 33554432000 4194304 6211132 140734944381440 140364489870608 5009001 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11718] ppid=11708 vsize=896892 memory=1708 CPUtime=251.02 cores=0-7
/proc/11711/task/11718/stat : 11718 (cosoco) R 11708 11711 9321 0 -1 4202560 95167 0 0 0 25092 10 0 0 20 0 9 0 558848850 918417408 127799 33554432000 4194304 6211132 140734944381440 140364481477304 5035283 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11719] ppid=11708 vsize=896892 memory=988 CPUtime=250.37 cores=0-7
/proc/11711/task/11719/stat : 11719 (cosoco) R 11708 11711 9321 0 -1 4202560 93611 0 0 0 25023 14 0 0 20 0 9 0 558848850 918417408 127799 33554432000 4194304 6211132 140734944381440 140364473084600 5397407 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
[pid=11711/tid=11720] ppid=11708 vsize=896892 memory=4016 CPUtime=251.23 cores=0-7
/proc/11711/task/11720/stat : 11720 (cosoco) R 11708 11711 9321 0 -1 4202560 84755 0 0 0 25112 11 0 0 20 0 9 0 558848850 918417408 127799 33554432000 4194304 6211132 140734944381440 140364464691896 5075563 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39804928 140734944388118 140734944388210 140734944388210 140734944391118 0
Current children cumulated CPU time: 2007.38 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 511196 KiB

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

[startup+252.038 s]
# the end of solver process 11711 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2006.4 s, system=1.11918 s

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

Child status: 1
Real time (s): 252.039
CPU time (s): 2007.52
CPU user time (s): 2006.4
CPU system time (s): 1.11918
CPU usage (%): 796.511
Max. virtual memory (cumulated for all children) (KiB): 896892
Max. memory (cumulated for all children) (KiB): 511196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2006.4
system time used= 1.11918
maximum resident set size= 511300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 793447
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= 33949
involuntary context switches= 17572


# summary of solver processes directly reported to runsolver:
#   pid: 11711
#   total CPU time (s): 2007.52
#   total CPU user time (s): 2006.4
#   total CPU system time (s): 1.11918

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.26479 second user time and 2.29626 second system time

The end

Launcher Data 

Begin job on node140 at 2019-09-30 09:37:43
IDJOB=4409979
IDBENCH=126803
IDSOLVER=2878
FILE ID=node140/4409979-1569829105
RUNJOBID= node140-1569818144-9348
PBS_JOBID= 21705927
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbop-30-30-1.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409979-1569829105/watcher-4409979-1569829105 -o /tmp/evaluation-result-4409979-1569829105/solver-4409979-1569829105 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node140-1569818144-9348 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4409979-1569829105.xml

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

MD5SUM BENCH= 305bfce3403e7be8ea8343edd9c7d9a7
RANDOM SEED=1938595641

node140.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
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:        30968352 kB
MemAvailable:   31874204 kB
Buffers:          119120 kB
Cached:          1124388 kB
SwapCached:         3040 kB
Active:           893836 kB
Inactive:         358204 kB
Active(anon):       4792 kB
Inactive(anon):    83748 kB
Active(file):     889044 kB
Inactive(file):   274456 kB
Unevictable:      107704 kB
Mlocked:          107704 kB
SwapTotal:      67108860 kB
SwapFree:       66997268 kB
Dirty:              2900 kB
Writeback:             0 kB
AnonPages:        146460 kB
Mapped:            26956 kB
Shmem:             71168 kB
Slab:             144992 kB
SReclaimable:     116372 kB
SUnreclaim:        28620 kB
KernelStack:        3728 kB
PageTables:         5140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     539832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 62028 MiB
End job on node140 at 2019-09-30 09:41:55