Trace number 4398719

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cosoco 2.O parallelSAT (TO)8 2007.15 252.051

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.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.13	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
0.10/0.14	c AllEqual constraint using 1 generic x=y constraints 
2.97/0.99	c
2.97/0.99	c This is cosoco 2.00 --  
2.97/0.99	c
2.97/0.99	c command line: cosoco -model -nbcores=8 HOME/instance-4398719-1568608840.xml 
2.97/0.99	c enable optimization
2.97/0.99	c ========================================[ Problem Statistics ]===========================================
2.97/0.99	c |                                                                                                       
2.97/0.99	c |  Parse time        :         0.47 s 
2.97/0.99	c |
2.97/0.99	c |               Variables: 2760
2.97/0.99	c |            Domain Sizes: 2..31
2.97/0.99	c |
2.97/0.99	c |             Constraints: 2732
2.97/0.99	c |                   Arity: 2..31  -- Binary: 930  -- Ternary: 1770
2.97/0.99	c | 
2.97/0.99	c |                   Types: 
2.97/0.99	c |                          (X = Y): 30
2.97/0.99	c |                          All Different: 1
2.97/0.99	c |                          Extension: 1800  (nb tuples: 4..30) -- (shared: 7192)
2.97/0.99	c |                          Max constant: 1
2.97/0.99	c |                          Sum: 900
2.97/0.99	c |                          
2.97/0.99	c |               Objective: Minimize Max constant
2.97/0.99	
2.97/0.99	c =========================================================================================================
2.97/0.99	c Parallel mode: Portfolio
2.97/0.99	c [pFactory][Group N°0] created (threads:8).
2.97/0.99	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
2.97/0.99	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
2.97/0.99	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
2.97/0.99	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
2.97/0.99	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
2.97/0.99	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
2.97/0.99	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
2.97/0.99	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
2.97/0.99	c [pFactory][Group N°0] concurrent mode: enabled.
2.97/0.99	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
2.97/0.99	c [pFactory][Group N°0] task 7 launched on thread 0.
2.97/0.99	c [pFactory][Group N°0] task 6 launched on thread 2.
2.97/0.99	c [pFactory][Group N°0] task 5 launched on thread 1.
2.97/0.99	c [pFactory][Group N°0] task 4 launched on thread 5.
2.97/0.99	c [pFactory][Group N°0] task 3 launched on thread 6.
2.97/0.99	c [pFactory][Group N°0] task 2 launched on thread 3.
2.97/0.99	c [pFactory][Group N°0] task 1 launched on thread 4.
2.97/0.99	c [pFactory][Group N°0] task 0 launched on thread 7.
2.97/0.99	o 12
74.00/9.80	o 10
96.36/12.63	o 9
117.12/15.29	o 8
2007.00/252.02	
2007.00/252.02	c *** INTERRUPTED ***
2007.00/252.02	c call to solver        : 5
2007.00/252.02	c
2007.00/252.02	c restarts              : 17465       
2007.00/252.02	c conflicts             : 173071       (86 /sec)
2007.00/252.02	c decisions             : 1368402      (682 /sec)
2007.00/252.02	c propagations          : 60166749    (29995 /sec)
2007.00/252.02	c root propagations     : 17645       
2007.00/252.02	c filter calls          : 258675616      (128956 /sec)
2007.00/252.02	c useless filter calls  : 217050493      (83 %)
2007.00/252.02	c Memory used           : 875.88 MB
2007.00/252.02	c Best bound time (wc)  : 15.2926 s
2007.00/252.02	c CPU time              : 2005.92 s
2007.00/252.02	c real time             : 252.018 s
2007.00/252.02	
2007.00/252.02	s SATISFIABLE
2007.00/252.02	c Best value found: 8
2007.00/252.02	
2007.00/252.02	
2007.00/252.02	v <instantiation type='solution' cost='8'>
2007.00/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.00/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.00/252.02	v </instantiation>
2007.00/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: 16375 MiB (14273 MiB free)
  memory of node 1: 16384 MiB (14626 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398719-1568608840/watcher-4398719-1568608840 -o /tmp/evaluation-result-4398719-1568608840/solver-4398719-1568608840 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324111741-488 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398719-1568608840.xml 

running on 8 cores: 0-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
Current StackSize limit: 8192 KiB

solver pid=3151, runsolver pid=3148

[startup+0.100137 s]*
/proc/loadavg: 8.19 8.11 8.07 2/192 3152
/proc/meminfo: memFree=29521980/32770688 swapFree=66919992/67108860
[pid=3151] ppid=3148 vsize=105816 memory=82228 CPUtime=0.1 cores=0-7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 460 0 -1 4202496 20728 0 0 0 8 2 0 0 20 0 1 0 436890264 108355584 20557 33554432000 4194304 6211092 140732616521344 140732616517880 140411736610720 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
/proc/3151/statm: 26454 20557 824 493 0 19759 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 105816 KiB
Current children cumulated memory: 82228 KiB

[startup+0.210294 s]*
/proc/loadavg: 8.19 8.11 8.07 2/192 3152
/proc/meminfo: memFree=29475996/32770688 swapFree=66919992/67108860
[pid=3151] ppid=3148 vsize=146936 memory=123376 CPUtime=0.2 cores=0-7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 460 0 -1 4202496 31018 0 0 0 17 3 0 0 20 0 1 0 436890264 150462464 30844 33554432000 4194304 6211092 140732616521344 140732616506120 140411736610720 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
/proc/3151/statm: 36734 30844 836 493 0 30039 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 146936 KiB
Current children cumulated memory: 123376 KiB

[startup+0.30996 s]*
/proc/loadavg: 8.19 8.11 8.07 2/192 3152
/proc/meminfo: memFree=29448964/32770688 swapFree=66919992/67108860
[pid=3151] ppid=3148 vsize=173848 memory=150040 CPUtime=0.31 cores=0-7
/proc/3151/stat : 3151 (cosoco) R 3148 3151 460 0 -1 4202496 37731 0 0 0 27 4 0 0 20 0 1 0 436890264 178020352 37510 33554432000 4194304 6211092 140732616521344 140732616506120 140411736562661 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
/proc/3151/statm: 43462 37510 836 493 0 36767 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 173848 KiB
Current children cumulated memory: 150040 KiB

[startup+0.700297 s]
/proc/loadavg: 8.19 8.11 8.07 2/192 3152
/proc/meminfo: memFree=29373200/32770688 swapFree=66919992/67108860
[pid=3151] ppid=3148 vsize=896892 memory=334812 CPUtime=1.47 cores=0-7
/proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 84243 0 0 0 130 17 0 0 20 0 9 0 436890264 918417408 83703 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
/proc/3151/statm: 224223 83703 902 493 0 217528 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 334812 KiB

[startup+1.50085 s]
/proc/loadavg: 8.18 8.11 8.06 9/200 3161
/proc/meminfo: memFree=29131412/32770688 swapFree=66919992/67108860
[pid=3151] ppid=3148 vsize=896892 memory=501396 CPUtime=7.73 cores=0-7
/proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 125797 0 0 0 739 34 0 0 20 0 9 0 436890264 918417408 125349 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
/proc/3151/statm: 224223 125349 902 493 0 217528 0
[pid=3151/tid=3154] ppid=3148 vsize=896892 memory=3624 CPUtime=0.89 cores=0-7
/proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 6107 0 0 0 86 3 0 0 20 0 9 0 436890321 918417408 125349 33554432000 4194304 6211092 140732616521344 140411729459896 5397226 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3155] ppid=3148 vsize=896892 memory=53448 CPUtime=0.89 cores=0-7
/proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 6669 0 0 0 87 2 0 0 20 0 9 0 436890321 918417408 125349 33554432000 4194304 6211092 140732616521344 140411721067240 5392081 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3156] ppid=3148 vsize=896892 memory=984 CPUtime=0.9 cores=0-7
/proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 6479 0 0 0 87 3 0 0 20 0 9 0 436890321 918417408 125349 33554432000 4194304 6211092 140732616521344 140411712674488 5035297 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3157] ppid=3148 vsize=896892 memory=69 CPUtime=0.89 cores=0-7
/proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 6720 0 0 0 87 2 0 0 20 0 9 0 436890321 918417408 125349 33554432000 4194304 6211092 140732616521344 140411704281704 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3158] ppid=3148 vsize=896892 memory=69 CPUtime=0.89 cores=0-7
/proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 7105 0 0 0 86 3 0 0 20 0 9 0 436890321 918417408 125349 33554432000 4194304 6211092 140732616521344 140411695889080 5409444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3159] ppid=3148 vsize=896892 memory=68 CPUtime=0.88 cores=0-7
/proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 7564 0 0 0 85 3 0 0 20 0 9 0 436890321 918417408 125349 33554432000 4194304 6211092 140732616521344 140411687496376 5392265 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3160] ppid=3148 vsize=896892 memory=67 CPUtime=0.87 cores=0-7
/proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 6509 0 0 0 84 3 0 0 20 0 9 0 436890321 918417408 125349 33554432000 4194304 6211092 140732616521344 140411679103672 5035297 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3161] ppid=3148 vsize=896892 memory=69 CPUtime=0.89 cores=0-7
/proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 7531 0 0 0 86 3 0 0 20 0 9 0 436890321 918417408 125349 33554432000 4194304 6211092 140732616521344 140411670710968 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
Current children cumulated CPU time: 7.73 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 501396 KiB

[startup+3.11085 s]
/proc/loadavg: 8.18 8.11 8.06 9/200 3161
/proc/meminfo: memFree=29095004/32770688 swapFree=66919992/67108860
[pid=3151] ppid=3148 vsize=896892 memory=502392 CPUtime=20.59 cores=0-7
/proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 222669 0 0 0 2005 54 0 0 20 0 9 0 436890264 918417408 125598 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
/proc/3151/statm: 224223 125598 904 493 0 217528 0
[pid=3151/tid=3154] ppid=3148 vsize=896892 memory=280409422173120 CPUtime=2.5 cores=0-7
/proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 15298 0 0 0 244 6 0 0 20 0 9 0 436890321 918417408 125598 33554432000 4194304 6211092 140732616521344 140411729459896 5035344 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3155] ppid=3148 vsize=896892 memory=-8990767739041718176 CPUtime=2.5 cores=0-7
/proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 17889 0 0 0 247 3 0 0 20 0 9 0 436890321 918417408 125598 33554432000 4194304 6211092 140732616521344 140411721067192 5396407 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3156] ppid=3148 vsize=896892 memory=0 CPUtime=2.5 cores=0-7
/proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 19777 0 0 0 243 7 0 0 20 0 9 0 436890321 918417408 125598 33554432000 4194304 6211092 140732616521344 140411712674488 5396407 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3157] ppid=3148 vsize=896892 memory=3624 CPUtime=2.5 cores=0-7
/proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 20397 0 0 0 247 3 0 0 20 0 9 0 436890321 918417408 125598 33554432000 4194304 6211092 140732616521344 140411704281784 5035286 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3158] ppid=3148 vsize=896892 memory=53448 CPUtime=2.5 cores=0-7
/proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 19777 0 0 0 243 7 0 0 20 0 9 0 436890321 918417408 125598 33554432000 4194304 6211092 140732616521344 140411695889080 5396672 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3159] ppid=3148 vsize=896892 memory=984 CPUtime=2.49 cores=0-7
/proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 20472 0 0 0 245 4 0 0 20 0 9 0 436890321 918417408 125598 33554432000 4194304 6211092 140732616521344 140411687496376 5186224 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3160] ppid=3148 vsize=896892 memory=0 CPUtime=2.46 cores=0-7
/proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 19493 0 0 0 239 7 0 0 20 0 9 0 436890321 918417408 125598 33554432000 4194304 6211092 140732616521344 140411679103672 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3161] ppid=3148 vsize=896892 memory=0 CPUtime=2.5 cores=0-7
/proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 18488 0 0 0 246 4 0 0 20 0 9 0 436890321 918417408 125598 33554432000 4194304 6211092 140732616521344 140411670710968 5186224 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
Current children cumulated CPU time: 20.59 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 502392 KiB

[startup+6.30085 s]
/proc/loadavg: 8.16 8.11 8.06 9/200 3161
/proc/meminfo: memFree=29094176/32770688 swapFree=66919992/67108860
[pid=3151] ppid=3148 vsize=896892 memory=502896 CPUtime=46.06 cores=0-7
/proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 304126 0 0 0 4542 64 0 0 20 0 9 0 436890264 918417408 125724 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
/proc/3151/statm: 224223 125724 904 493 0 217528 0
[pid=3151/tid=3154] ppid=3148 vsize=896892 memory=3624 CPUtime=5.69 cores=0-7
/proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 27661 0 0 0 562 7 0 0 20 0 9 0 436890321 918417408 125724 33554432000 4194304 6211092 140732616521344 140411729459816 5035320 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3155] ppid=3148 vsize=896892 memory=0 CPUtime=5.69 cores=0-7
/proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 29743 0 0 0 565 4 0 0 20 0 9 0 436890321 918417408 125724 33554432000 4194304 6211092 140732616521344 140411721067192 5035270 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3156] ppid=3148 vsize=896892 memory=0 CPUtime=5.69 cores=0-7
/proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 27648 0 0 0 561 8 0 0 20 0 9 0 436890321 918417408 125724 33554432000 4194304 6211092 140732616521344 140411712674488 5409449 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3157] ppid=3148 vsize=896892 memory=502508 CPUtime=5.68 cores=0-7
/proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 29360 0 0 0 564 4 0 0 20 0 9 0 436890321 918417408 125724 33554432000 4194304 6211092 140732616521344 140411704281784 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3158] ppid=3148 vsize=896892 memory=667680 CPUtime=5.68 cores=0-7
/proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 28090 0 0 0 560 8 0 0 20 0 9 0 436890321 918417408 125724 33554432000 4194304 6211092 140732616521344 140411695889080 5186224 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3159] ppid=3148 vsize=896892 memory=-6081935818751311699 CPUtime=5.69 cores=0-7
/proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 29481 0 0 0 563 6 0 0 20 0 9 0 436890321 918417408 125724 33554432000 4194304 6211092 140732616521344 140411687496376 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3160] ppid=3148 vsize=896892 memory=6943526294502006880 CPUtime=5.6 cores=0-7
/proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 31626 0 0 0 551 9 0 0 20 0 9 0 436890321 918417408 125724 33554432000 4194304 6211092 140732616521344 140411679103672 5409444 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3161] ppid=3148 vsize=896892 memory=502508 CPUtime=5.69 cores=0-7
/proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 29408 0 0 0 564 5 0 0 20 0 9 0 436890321 918417408 125724 33554432000 4194304 6211092 140732616521344 140411670710968 5009314 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
Current children cumulated CPU time: 46.06 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 502896 KiB

[startup+12.7008 s]
/proc/loadavg: 8.15 8.10 8.06 9/200 3161
/proc/meminfo: memFree=29089848/32770688 swapFree=66919992/67108860
[pid=3151] ppid=3148 vsize=896892 memory=509636 CPUtime=97.16 cores=0-7
/proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 428127 0 0 0 9639 77 0 0 20 0 9 0 436890264 918417408 127409 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
/proc/3151/statm: 224223 127409 904 493 0 217528 0
[pid=3151/tid=3154] ppid=3148 vsize=896892 memory=507372 CPUtime=12.02 cores=0-7
/proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 42557 0 0 0 1194 8 0 0 20 0 9 0 436890321 918417408 127409 33554432000 4194304 6211092 140732616521344 140411729459816 5392081 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3155] ppid=3148 vsize=896892 memory=140209166837375 CPUtime=12.09 cores=0-7
/proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 43607 0 0 0 1204 5 0 0 20 0 9 0 436890321 918417408 127409 33554432000 4194304 6211092 140732616521344 140411721067112 5250224 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3156] ppid=3148 vsize=896892 memory=0 CPUtime=12.08 cores=0-7
/proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 42196 0 0 0 1199 9 0 0 20 0 9 0 436890321 918417408 127409 33554432000 4194304 6211092 140732616521344 140411712674488 5396756 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3157] ppid=3148 vsize=896892 memory=0 CPUtime=12.08 cores=0-7
/proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 42135 0 0 0 1203 5 0 0 20 0 9 0 436890321 918417408 127409 33554432000 4194304 6211092 140732616521344 140411704281784 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3158] ppid=3148 vsize=896892 memory=7738701921311614801 CPUtime=12.09 cores=0-7
/proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 44346 0 0 0 1198 11 0 0 20 0 9 0 436890321 918417408 127409 33554432000 4194304 6211092 140732616521344 140411695889080 5396756 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3159] ppid=3148 vsize=896892 memory=507372 CPUtime=12.09 cores=0-7
/proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 44190 0 0 0 1202 7 0 0 20 0 9 0 436890321 918417408 127409 33554432000 4194304 6211092 140732616521344 140411687496376 5392081 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3160] ppid=3148 vsize=896892 memory=0 CPUtime=11.98 cores=0-7
/proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 54447 0 0 0 1187 11 0 0 20 0 9 0 436890321 918417408 127409 33554432000 4194304 6211092 140732616521344 140411679104272 5396756 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3161] ppid=3148 vsize=896892 memory=0 CPUtime=12.09 cores=0-7
/proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 43536 0 0 0 1201 8 0 0 20 0 9 0 436890321 918417408 127409 33554432000 4194304 6211092 140732616521344 140411670710968 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
Current children cumulated CPU time: 97.16 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 509636 KiB

[startup+25.5008 s]
/proc/loadavg: 8.13 8.10 8.06 9/200 3162
/proc/meminfo: memFree=29088044/32770688 swapFree=66919992/67108860
[pid=3151] ppid=3148 vsize=896892 memory=509672 CPUtime=199.35 cores=0-7
/proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 515629 0 0 0 19849 86 0 0 20 0 9 0 436890264 918417408 127418 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
/proc/3151/statm: 224223 127418 904 493 0 217528 0
[pid=3151/tid=3154] ppid=3148 vsize=896892 memory=509672 CPUtime=24.63 cores=0-7
/proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 52340 0 0 0 2454 9 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411729459816 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3155] ppid=3148 vsize=896892 memory=509672 CPUtime=24.88 cores=0-7
/proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 55211 0 0 0 2482 6 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411721067112 5035297 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3156] ppid=3148 vsize=896892 memory=509672 CPUtime=24.89 cores=0-7
/proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 52350 0 0 0 2478 11 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411712674488 5392081 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3157] ppid=3148 vsize=896892 memory=3624 CPUtime=24.88 cores=0-7
/proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 51720 0 0 0 2482 6 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411704281784 5396756 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3158] ppid=3148 vsize=896892 memory=280405328805663 CPUtime=24.88 cores=0-7
/proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 55538 0 0 0 2475 13 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411695889080 5397226 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3159] ppid=3148 vsize=896892 memory=59 CPUtime=24.89 cores=0-7
/proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 56063 0 0 0 2481 8 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411687496376 5392081 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3160] ppid=3148 vsize=896892 memory=4 CPUtime=24.77 cores=0-7
/proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 67764 0 0 0 2465 12 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411679104272 5396750 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3161] ppid=3148 vsize=896892 memory=1428 CPUtime=24.89 cores=0-7
/proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 53530 0 0 0 2480 9 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411670710968 5409465 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
Current children cumulated CPU time: 199.35 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 509672 KiB

[startup+51.1108 s]
/proc/loadavg: 8.14 8.11 8.07 9/200 3164
/proc/meminfo: memFree=29087164/32770688 swapFree=66919992/67108860
[pid=3151] ppid=3148 vsize=896892 memory=509672 CPUtime=403.8 cores=0-7
/proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 624239 0 0 0 40282 98 0 0 20 0 9 0 436890264 918417408 127418 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
/proc/3151/statm: 224223 127418 904 493 0 217528 0
[pid=3151/tid=3154] ppid=3148 vsize=896892 memory=509672 CPUtime=50.02 cores=0-7
/proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 65727 0 0 0 4992 10 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411729459816 5035297 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3155] ppid=3148 vsize=896892 memory=509672 CPUtime=50.47 cores=0-7
/proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 68249 0 0 0 5040 7 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411721067112 5038259 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3156] ppid=3148 vsize=896892 memory=509672 CPUtime=50.5 cores=0-7
/proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 65323 0 0 0 5038 12 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411712674488 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3157] ppid=3148 vsize=896892 memory=4999 CPUtime=50.49 cores=0-7
/proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 67420 0 0 0 5041 8 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411704281784 5009142 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3158] ppid=3148 vsize=896892 memory=509672 CPUtime=50.49 cores=0-7
/proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 68758 0 0 0 5034 15 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411695889080 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3159] ppid=3148 vsize=896892 memory=280409422716576 CPUtime=50.49 cores=0-7
/proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 70982 0 0 0 5039 10 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411687496376 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3160] ppid=3148 vsize=896892 memory=509672 CPUtime=50.22 cores=0-7
/proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 78794 0 0 0 5008 14 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411679104272 5409431 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3161] ppid=3148 vsize=896892 memory=509672 CPUtime=50.5 cores=0-7
/proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 67873 0 0 0 5040 10 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411670710968 5396756 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
Current children cumulated CPU time: 403.8 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 509672 KiB

[startup+102.301 s]
/proc/loadavg: 8.15 8.12 8.07 9/200 3167
/proc/meminfo: memFree=29087292/32770688 swapFree=66919992/67108860
[pid=3151] ppid=3148 vsize=896892 memory=509672 CPUtime=812.5 cores=0-7
/proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 682424 0 0 0 81145 105 0 0 20 0 9 0 436890264 918417408 127418 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
/proc/3151/statm: 224223 127418 904 493 0 217528 0
[pid=3151/tid=3154] ppid=3148 vsize=896892 memory=509672 CPUtime=101.2 cores=0-7
/proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 73426 0 0 0 10109 11 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411729459816 5035278 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3155] ppid=3148 vsize=896892 memory=509672 CPUtime=101.64 cores=0-7
/proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 74656 0 0 0 10156 8 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411721067112 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3156] ppid=3148 vsize=896892 memory=0 CPUtime=101.68 cores=0-7
/proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 71650 0 0 0 10155 13 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411712674488 5396409 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3157] ppid=3148 vsize=896892 memory=0 CPUtime=101.68 cores=0-7
/proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 74551 0 0 0 10159 9 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411704281784 5035297 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3158] ppid=3148 vsize=896892 memory=509672 CPUtime=101.66 cores=0-7
/proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 74324 0 0 0 10151 15 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411695889080 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3159] ppid=3148 vsize=896892 memory=1556 CPUtime=101.66 cores=0-7
/proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 79449 0 0 0 10155 11 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411687496376 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3160] ppid=3148 vsize=896892 memory=-7035114785800479027 CPUtime=100.65 cores=0-7
/proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 87836 0 0 0 10050 15 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411679104272 5409461 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3161] ppid=3148 vsize=896892 memory=509672 CPUtime=101.69 cores=0-7
/proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 75419 0 0 0 10158 11 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411670710968 5148647 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
Current children cumulated CPU time: 812.5 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 509672 KiB

[startup+162.301 s]
/proc/loadavg: 8.05 8.10 8.07 9/200 3170
/proc/meminfo: memFree=29088400/32770688 swapFree=66919992/67108860
[pid=3151] ppid=3148 vsize=896892 memory=509672 CPUtime=1291.25 cores=0-7
/proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 755436 0 0 0 129012 113 0 0 20 0 9 0 436890264 918417408 127418 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
/proc/3151/statm: 224223 127418 904 493 0 217528 0
[pid=3151/tid=3154] ppid=3148 vsize=896892 memory=-7035114785800479027 CPUtime=161.15 cores=0-7
/proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 82796 0 0 0 16103 12 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411729459816 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3155] ppid=3148 vsize=896892 memory=509672 CPUtime=161.61 cores=0-7
/proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 80622 0 0 0 16153 8 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411721067112 5035278 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3156] ppid=3148 vsize=896892 memory=509672 CPUtime=161.47 cores=0-7
/proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 81428 0 0 0 16133 14 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411712674488 5035286 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3157] ppid=3148 vsize=896892 memory=509672 CPUtime=161.63 cores=0-7
/proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 85149 0 0 0 16153 10 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411704281784 5035263 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3158] ppid=3148 vsize=896892 memory=509672 CPUtime=161.41 cores=0-7
/proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 82828 0 0 0 16125 16 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411695889080 5039022 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3159] ppid=3148 vsize=896892 memory=509672 CPUtime=161.62 cores=0-7
/proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 90262 0 0 0 16151 11 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411687496376 5035297 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3160] ppid=3148 vsize=896892 memory=509672 CPUtime=160.04 cores=0-7
/proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 97858 0 0 0 15988 16 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411679104272 5035297 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3161] ppid=3148 vsize=896892 memory=509672 CPUtime=161.65 cores=0-7
/proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 83380 0 0 0 16153 12 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411670710968 5035297 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
Current children cumulated CPU time: 1291.25 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 509672 KiB

[startup+222.301 s]
/proc/loadavg: 8.71 8.25 8.12 9/200 3175
/proc/meminfo: memFree=29086900/32770688 swapFree=66919992/67108860
[pid=3151] ppid=3148 vsize=896892 memory=509672 CPUtime=1770.07 cores=0-7
/proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 796846 0 0 0 176889 118 0 0 20 0 9 0 436890264 918417408 127418 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
/proc/3151/statm: 224223 127418 904 493 0 217528 0
[pid=3151/tid=3154] ppid=3148 vsize=896892 memory=509672 CPUtime=220.5 cores=0-7
/proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 88190 0 0 0 22038 12 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411729459816 5193744 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3155] ppid=3148 vsize=896892 memory=509672 CPUtime=221.59 cores=0-7
/proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 86657 0 0 0 22150 9 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411721067112 5035297 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3156] ppid=3148 vsize=896892 memory=509672 CPUtime=221.44 cores=0-7
/proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 86587 0 0 0 22129 15 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411712674488 5035263 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3157] ppid=3148 vsize=896892 memory=509672 CPUtime=221.6 cores=0-7
/proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 90569 0 0 0 22149 11 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411704281784 5008827 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3158] ppid=3148 vsize=896892 memory=3624 CPUtime=221.27 cores=0-7
/proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 87667 0 0 0 22110 17 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411695889080 5017373 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3159] ppid=3148 vsize=896892 memory=509672 CPUtime=221.59 cores=0-7
/proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 96120 0 0 0 22147 12 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411687496376 5017472 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3160] ppid=3148 vsize=896892 memory=509672 CPUtime=219.85 cores=0-7
/proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 102086 0 0 0 21968 17 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411679104272 5035278 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3161] ppid=3148 vsize=896892 memory=3624 CPUtime=221.59 cores=0-7
/proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 87857 0 0 0 22147 12 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411670710968 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
Current children cumulated CPU time: 1770.07 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 509672 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 9.07 8.39 8.17 9/199 3175
/proc/meminfo: memFree=29086720/32770688 swapFree=66919992/67108860
[pid=3151] ppid=3148 vsize=896892 memory=509672 CPUtime=2007 cores=0-7
/proc/3151/stat : 3151 (cosoco) S 3148 3151 460 0 -1 1077944320 807047 0 0 0 200581 119 0 0 20 0 9 0 436890264 918417408 127418 33554432000 4194304 6211092 140732616521344 140732616519600 140411752603383 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
/proc/3151/statm: 224223 127418 904 493 0 217528 0
[pid=3151/tid=3154] ppid=3148 vsize=896892 memory=1398722017469774279 CPUtime=250.02 cores=0-7
/proc/3151/task/3154/stat : 3154 (cosoco) R 3148 3151 460 0 -1 4202560 88796 0 0 0 24989 13 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411729459816 5409453 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3155] ppid=3148 vsize=896892 memory=4872558044660077418 CPUtime=251.26 cores=0-7
/proc/3151/task/3155/stat : 3155 (cosoco) R 3148 3151 460 0 -1 4202560 87654 0 0 0 25117 9 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411721067112 5409461 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3156] ppid=3148 vsize=896892 memory=28452 CPUtime=251.01 cores=0-7
/proc/3151/task/3156/stat : 3156 (cosoco) R 3148 3151 460 0 -1 4202560 88001 0 0 0 25086 15 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411712674488 5035270 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3157] ppid=3148 vsize=896892 memory=2120 CPUtime=251.28 cores=0-7
/proc/3151/task/3157/stat : 3157 (cosoco) R 3148 3151 460 0 -1 4202560 91687 0 0 0 25117 11 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411704281784 5397375 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3158] ppid=3148 vsize=896892 memory=496 CPUtime=250.94 cores=0-7
/proc/3151/task/3158/stat : 3158 (cosoco) R 3148 3151 460 0 -1 4202560 88509 0 0 0 25077 17 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411695889080 5148737 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3159] ppid=3148 vsize=896892 memory=1560 CPUtime=251.24 cores=0-7
/proc/3151/task/3159/stat : 3159 (cosoco) R 3148 3151 460 0 -1 4202560 97207 0 0 0 25112 12 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411687496376 5409444 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3160] ppid=3148 vsize=896892 memory=-7035114785800479027 CPUtime=249.36 cores=0-7
/proc/3151/task/3160/stat : 3160 (cosoco) R 3148 3151 460 0 -1 4202560 104026 0 0 0 24919 17 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411679104272 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
[pid=3151/tid=3161] ppid=3148 vsize=896892 memory=509672 CPUtime=251.25 cores=0-7
/proc/3151/task/3161/stat : 3161 (cosoco) R 3148 3151 460 0 -1 4202560 90054 0 0 0 25113 12 0 0 20 0 9 0 436890321 918417408 127418 33554432000 4194304 6211092 140732616521344 140411670710968 5017588 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25436160 140732616524822 140732616524914 140732616524914 140732616527822 0
Current children cumulated CPU time: 2007 s
Current children cumulated vsize: 896892 KiB
Current children cumulated memory: 509672 KiB

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

[startup+252.051 s]
# the end of solver process 3151 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2005.93 s, system=1.22217 s

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

Child status: 1
Real time (s): 252.051
CPU time (s): 2007.15
CPU user time (s): 2005.93
CPU system time (s): 1.22217
CPU usage (%): 796.325
Max. virtual memory (cumulated for all children) (KiB): 896892
Max. memory (cumulated for all children) (KiB): 509672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2005.93
system time used= 1.22217
maximum resident set size= 509904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 807161
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= 33533
involuntary context switches= 17330


# summary of solver processes directly reported to runsolver:
#   pid: 3151
#   total CPU time (s): 2007.15
#   total CPU user time (s): 2005.93
#   total CPU system time (s): 1.22217

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.37322 second user time and 2.41465 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-17 13:01:02
IDJOB=4398719
IDBENCH=126803
IDSOLVER=2852
FILE ID=node120/4398719-1568608840
RUNJOBID= node120-1324111741-488
PBS_JOBID= 21703407
Free space on /tmp= 61656 MiB

SOLVER NAME= cosoco 2.O 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-4398719-1568608840/watcher-4398719-1568608840 -o /tmp/evaluation-result-4398719-1568608840/solver-4398719-1568608840 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node120-1324111741-488 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4398719-1568608840.xml

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

MD5SUM BENCH= 305bfce3403e7be8ea8343edd9c7d9a7
RANDOM SEED=709505549

node120.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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        29592636 kB
MemAvailable:   31823128 kB
Buffers:          162752 kB
Cached:          2372116 kB
SwapCached:        77548 kB
Active:          1344912 kB
Inactive:        1274052 kB
Active(anon):       4880 kB
Inactive(anon):   128860 kB
Active(file):    1340032 kB
Inactive(file):  1145192 kB
Unevictable:      107500 kB
Mlocked:          107500 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:              2764 kB
Writeback:             0 kB
AnonPages:        114356 kB
Mapped:            51980 kB
Shmem:             41008 kB
Slab:             150964 kB
SReclaimable:     122208 kB
SUnreclaim:        28756 kB
KernelStack:        3360 kB
PageTables:         5312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     516428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 61652 MiB
End job on node120 at 2011-12-17 13:05:14