Trace number 4398422

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)14 20121.6 2520.02

General information on the benchmark

NameOpenStacks/OpenStacks-m1-s1/
OpenStacks-m1-pb-30-15-1.xml
MD5SUM1892dc6bbe7f4411da75bff22067cf15
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark69.5267
Satisfiable
(Un)Satisfiability was proved
Number of variables1380
Number of constraints1366
Number of domains8
Minimum domain size2
Maximum domain size16
Distribution of domain sizes[{"size":2,"count":960},{"size":3,"count":120},{"size":4,"count":165},{"size":5,"count":60},{"size":6,"count":15},{"size":7,"count":30},{"size":15,"count":15},{"size":16,"count":15}]
Minimum variable degree2
Maximum variable degree31
Distribution of variable degrees[{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}]
Minimum constraint arity2
Maximum constraint arity31
Distribution of constraint arities[{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}]
Number of extensional constraints450
Number of intensional constraints450
Distribution of constraint types[{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}]
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.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.05	c AllEqual constraint using 1 generic x=y constraints 
712.69/89.57	c
712.69/89.57	c This is cosoco 2.00 --  
712.69/89.57	c
712.69/89.57	c command line: cosoco -model -nbcores=8 HOME/instance-4398422-1568603376.xml 
712.69/89.57	c enable optimization
712.69/89.57	c ========================================[ Problem Statistics ]===========================================
712.69/89.57	c |                                                                                                       
712.69/89.57	c |  Parse time        :         0.19 s 
712.69/89.57	c |
712.69/89.57	c |               Variables: 1380
712.69/89.57	c |            Domain Sizes: 2..16
712.69/89.57	c |
712.69/89.57	c |             Constraints: 1367
712.69/89.57	c |                   Arity: 2..31  -- Binary: 480  -- Ternary: 870
712.69/89.57	c | 
712.69/89.57	c |                   Types: 
712.69/89.57	c |                          (X = Y): 30
712.69/89.57	c |                          All Different: 1
712.69/89.57	c |                          Extension: 900  (nb tuples: 3..15) -- (shared: 3552)
712.69/89.57	c |                          Max constant: 1
712.69/89.57	c |                          Sum: 435
712.69/89.57	c |                          
712.69/89.57	c |               Objective: Minimize Max constant
712.69/89.57	
712.69/89.57	c =========================================================================================================
712.69/89.57	c Parallel mode: Portfolio
712.69/89.57	c [pFactory][Group N°0] created (threads:8).
712.69/89.57	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
712.69/89.57	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
712.69/89.57	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
712.69/89.57	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
712.69/89.57	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
712.69/89.57	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
712.69/89.57	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
712.69/89.57	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
712.69/89.57	c [pFactory][Group N°0] concurrent mode: enabled.
712.69/89.57	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
712.69/89.57	c [pFactory][Group N°0] task 7 launched on thread 0.
712.69/89.57	c [pFactory][Group N°0] task 6 launched on thread 2.
712.69/89.57	c [pFactory][Group N°0] task 5 launched on thread 1.
712.69/89.57	c [pFactory][Group N°0] task 4 launched on thread 4.
712.69/89.57	c [pFactory][Group N°0] task 3 launched on thread 5.
712.69/89.57	c [pFactory][Group N°0] task 2 launched on thread 6.
712.69/89.58	c [pFactory][Group N°0] task 1 launched on thread 7.
712.69/89.58	c [pFactory][Group N°0] task 0 launched on thread 3.
712.69/89.58	o 15
1323.65/166.02	o 14
20121.48/2520.02	
20121.48/2520.02	c *** INTERRUPTED ***
20121.48/2520.02	c call to solver        : 2
20121.48/2520.02	c
20121.48/2520.02	c restarts              : 290732      
20121.48/2520.02	c conflicts             : 4202414      (209 /sec)
20121.48/2520.02	c decisions             : 73917673     (3674 /sec)
20121.48/2520.02	c propagations          : 1535803161  (76328 /sec)
20121.48/2520.02	c root propagations     : 27719656    
20121.48/2520.02	c filter calls          : 4038420790     (200706 /sec)
20121.48/2520.02	c useless filter calls  : 2827656596     (70 %)
20121.48/2520.02	c Memory used           : 679.60 MB
20121.48/2520.02	c Best bound time (wc)  : 166.017 s
20121.48/2520.02	c CPU time              : 20121.1 s
20121.48/2520.02	c real time             : 2520.02 s
20121.48/2520.02	
20121.48/2520.02	s SATISFIABLE
20121.48/2520.02	c Best value found: 14
20121.48/2520.02	
20121.48/2520.02	
20121.48/2520.02	v <instantiation type='solution' cost='14'>
20121.48/2520.02	v <list>np[0][0] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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[1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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][1] 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[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] </list>
20121.48/2520.02	v <values>1 5 5 5 6 6 1 1 1 2 3 3 4 4 5 0 2 3 3 3 3 0 0 0 0 0 0 0 1 1 1 6 6 6 6 6 1 2 3 3 3 3 3 4 5 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 1 1 2 2 0 0 0 0 0 0 0 0 0 1 3 3 3 3 3 1 1 2 2 3 3 3 3 3 1 2 2 2 2 2 1 1 1 1 1 2 2 2 2 0 2 2 2 2 3 0 0 0 0 0 0 1 1 2 0 0 1 1 2 3 0 0 0 0 0 0 0 0 0 0 2 2 3 4 4 0 0 0 0 1 1 1 2 2 0 3 3 3 3 4 0 1 1 1 1 2 3 3 3 0 1 1 1 2 2 0 0 0 0 0 1 1 1 1 0 3 3 3 3 3 0 0 0 0 0 1 1 2 2 0 0 1 2 2 3 0 0 0 0 0 0 0 0 0 0 2 2 2 2 2 0 1 1 1 1 2 2 2 2 0 3 3 4 4 4 0 0 1 2 2 2 2 2 3 1 3 3 3 3 3 1 1 1 2 3 3 3 3 3 1 2 3 3 4 4 1 2 2 2 2 2 2 2 2 0 5 5 5 5 5 0 0 1 2 2 2 3 4 5 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 0 0 0 0 0 0 0 2 3 3 3 3 0 0 0 0 0 0 1 1 1 1 3 3 3 3 3 2 2 2 2 2 3 3 3 3 1 3 3 3 3 3 1 1 2 3 3 3 3 3 3 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 2 2 2 2 2 0 0 1 1 2 2 2 2 2 0 3 3 3 3 3 0 0 0 0 0 1 2 2 3 0 2 2 2 2 2 0 0 0 0 0 1 2 2 2 0 1 1 2 2 2 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 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 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 1 1 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 1 1 1 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 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 6 7 2 5 1 10 9 3 4 13 11 14 12 8 1 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 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 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 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 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 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 8 13 13 12 10 5 9 11 13 14 13 14 14 14 14 </values>
20121.48/2520.02	v </instantiation>
20121.48/2520.02	

Verifier Data

OK	14

Watcher Data

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13914 MiB free)
  memory of node 1: 16384 MiB (15899 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398422-1568603376/watcher-4398422-1568603376 -o /tmp/evaluation-result-4398422-1568603376/solver-4398422-1568603376 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568598283-25525 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398422-1568603376.xml 

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

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


[startup+0.100159 s]*
/proc/loadavg: 8.05 8.20 8.21 2/192 26274
/proc/meminfo: memFree=30492484/32770624 swapFree=66998480/67108860
[pid=26273] ppid=26270 vsize=66176 memory=42416 CPUtime=0.1 cores=0-7
/proc/26273/stat : 26273 (cosoco) R 26270 26273 25498 0 -1 4202496 10809 0 0 0 8 2 0 0 20 0 1 0 436602445 67764224 10604 33554432000 4194304 6211092 140732467014688 140732467011224 139950527970277 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
/proc/26273/statm: 16544 10604 836 493 0 9849 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 66176 KiB
Current children cumulated memory: 42416 KiB

[startup+0.208863 s]*
/proc/loadavg: 8.05 8.20 8.21 2/192 26274
/proc/meminfo: memFree=30456648/32770624 swapFree=66998480/67108860
[pid=26273] ppid=26270 vsize=103924 memory=80432 CPUtime=0.21 cores=0-7
/proc/26273/stat : 26273 (cosoco) R 26270 26273 25498 0 -1 4202496 20305 0 0 0 18 3 0 0 20 0 1 0 436602445 106418176 20108 33554432000 4194304 6211092 140732467014688 140732467011224 139950527970277 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
/proc/26273/statm: 25981 20108 869 493 0 19286 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 103924 KiB
Current children cumulated memory: 80432 KiB

[startup+0.308651 s]*
/proc/loadavg: 8.05 8.20 8.21 9/200 26282
/proc/meminfo: memFree=30422800/32770624 swapFree=66998480/67108860
[pid=26273] ppid=26270 vsize=695908 memory=111800 CPUtime=0.87 cores=0-7
/proc/26273/stat : 26273 (cosoco) S 26270 26273 25498 0 -1 1077944320 28464 0 0 0 81 6 0 0 20 0 9 0 436602445 712609792 27950 33554432000 4194304 6211092 140732467014688 140732467012944 139950544010999 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
/proc/26273/statm: 173977 27950 900 493 0 167282 0
[pid=26273/tid=26275] ppid=26270 vsize=695908 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/26273/task/26275/stat : 26275 (cosoco) R 26270 26273 25498 0 -1 4202560 604 0 0 0 8 0 0 0 20 0 9 0 436602468 712609792 27950 33554432000 4194304 6211092 140732467014688 139950520867352 5035286 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26276] ppid=26270 vsize=695908 memory=4872558044660077418 CPUtime=0.07 cores=0-7
/proc/26273/task/26276/stat : 26276 (cosoco) R 26270 26273 25498 0 -1 4202560 1047 0 0 0 7 0 0 0 20 0 9 0 436602468 712609792 28016 33554432000 4194304 6211092 140732467014688 139950512474728 5150179 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26277] ppid=26270 vsize=695908 memory=0 CPUtime=0.08 cores=0-7
/proc/26273/task/26277/stat : 26277 (cosoco) R 26270 26273 25498 0 -1 4202560 494 0 0 0 8 0 0 0 20 0 9 0 436602468 712609792 28016 33554432000 4194304 6211092 140732467014688 139950504081992 5409444 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26278] ppid=26270 vsize=695908 memory=0 CPUtime=0.06 cores=0-7
/proc/26273/task/26278/stat : 26278 (cosoco) R 26270 26273 25498 0 -1 4202560 1517 0 0 0 6 0 0 0 20 0 9 0 436602468 712609792 28016 33554432000 4194304 6211092 140732467014688 139950495689240 5396756 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26279] ppid=26270 vsize=695908 memory=6656426216303648864 CPUtime=0.07 cores=0-7
/proc/26273/task/26279/stat : 26279 (cosoco) R 26270 26273 25498 0 -1 4202560 1333 0 0 0 7 0 0 0 20 0 9 0 436602468 712609792 28016 33554432000 4194304 6211092 140732467014688 139950487296424 5380256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26280] ppid=26270 vsize=695908 memory=0 CPUtime=0.07 cores=0-7
/proc/26273/task/26280/stat : 26280 (cosoco) R 26270 26273 25498 0 -1 4202560 661 0 0 0 7 0 0 0 20 0 9 0 436602468 712609792 28016 33554432000 4194304 6211092 140732467014688 139950478903912 139950527966014 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26281] ppid=26270 vsize=695908 memory=0 CPUtime=0.08 cores=0-7
/proc/26273/task/26281/stat : 26281 (cosoco) R 26270 26273 25498 0 -1 4202560 605 0 0 0 8 0 0 0 20 0 9 0 436602468 712609792 28016 33554432000 4194304 6211092 140732467014688 139950470511112 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26282] ppid=26270 vsize=695908 memory=0 CPUtime=0.07 cores=0-7
/proc/26273/task/26282/stat : 26282 (cosoco) R 26270 26273 25498 0 -1 4202560 1347 0 0 0 7 0 0 0 20 0 9 0 436602468 712609792 28016 33554432000 4194304 6211092 140732467014688 139950462118328 5035216 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
Current children cumulated CPU time: 0.87 s
Current children cumulated vsize: 695908 KiB
Current children cumulated memory: 111800 KiB

[startup+0.700653 s]
/proc/loadavg: 8.05 8.20 8.21 9/200 26282
/proc/meminfo: memFree=30420568/32770624 swapFree=66998480/67108860
[pid=26273] ppid=26270 vsize=695908 memory=113912 CPUtime=3.91 cores=0-7
/proc/26273/stat : 26273 (cosoco) S 26270 26273 25498 0 -1 1077944320 29011 0 0 0 385 6 0 0 20 0 9 0 436602445 712609792 28478 33554432000 4194304 6211092 140732467014688 140732467012944 139950544010999 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
/proc/26273/statm: 173977 28478 900 493 0 167282 0
[pid=26273/tid=26275] ppid=26270 vsize=695908 memory=1204 CPUtime=0.46 cores=0-7
/proc/26273/task/26275/stat : 26275 (cosoco) R 26270 26273 25498 0 -1 4202560 828 0 0 0 46 0 0 0 20 0 9 0 436602468 712609792 28478 33554432000 4194304 6211092 140732467014688 139950520867352 5409444 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26276] ppid=26270 vsize=695908 memory=1072 CPUtime=0.46 cores=0-7
/proc/26273/task/26276/stat : 26276 (cosoco) R 26270 26273 25498 0 -1 4202560 1168 0 0 0 46 0 0 0 20 0 9 0 436602468 712609792 28478 33554432000 4194304 6211092 140732467014688 139950512474728 5380256 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26277] ppid=26270 vsize=695908 memory=5276 CPUtime=0.46 cores=0-7
/proc/26273/task/26277/stat : 26277 (cosoco) R 26270 26273 25498 0 -1 4202560 516 0 0 0 46 0 0 0 20 0 9 0 436602468 712609792 28478 33554432000 4194304 6211092 140732467014688 139950504081944 5392081 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26278] ppid=26270 vsize=695908 memory=1544 CPUtime=0.43 cores=0-7
/proc/26273/task/26278/stat : 26278 (cosoco) R 26270 26273 25498 0 -1 4202560 1517 0 0 0 43 0 0 0 20 0 9 0 436602468 712609792 28478 33554432000 4194304 6211092 140732467014688 139950495689240 5409461 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26279] ppid=26270 vsize=695908 memory=776 CPUtime=0.46 cores=0-7
/proc/26273/task/26279/stat : 26279 (cosoco) R 26270 26273 25498 0 -1 4202560 1333 0 0 0 46 0 0 0 20 0 9 0 436602468 712609792 28478 33554432000 4194304 6211092 140732467014688 139950487296536 5409444 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26280] ppid=26270 vsize=695908 memory=140227928082047 CPUtime=0.46 cores=0-7
/proc/26273/task/26280/stat : 26280 (cosoco) R 26270 26273 25498 0 -1 4202560 817 0 0 0 46 0 0 0 20 0 9 0 436602468 712609792 28478 33554432000 4194304 6211092 140732467014688 139950478903912 5409444 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26281] ppid=26270 vsize=695908 memory=5794251801077829732 CPUtime=0.46 cores=0-7
/proc/26273/task/26281/stat : 26281 (cosoco) R 26270 26273 25498 0 -1 4202560 611 0 0 0 46 0 0 0 20 0 9 0 436602468 712609792 28478 33554432000 4194304 6211092 140732467014688 139950470511112 5392081 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26282] ppid=26270 vsize=695908 memory=7374755803106273902 CPUtime=0.45 cores=0-7
/proc/26273/task/26282/stat : 26282 (cosoco) R 26270 26273 25498 0 -1 4202560 1359 0 0 0 45 0 0 0 20 0 9 0 436602468 712609792 28478 33554432000 4194304 6211092 140732467014688 139950462118312 5035216 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
Current children cumulated CPU time: 3.91 s
Current children cumulated vsize: 695908 KiB
Current children cumulated memory: 113912 KiB

[startup+1.50065 s]
/proc/loadavg: 8.05 8.20 8.21 9/200 26282
/proc/meminfo: memFree=30419824/32770624 swapFree=66998480/67108860
[pid=26273] ppid=26270 vsize=695908 memory=115420 CPUtime=10.3 cores=0-7
/proc/26273/stat : 26273 (cosoco) S 26270 26273 25498 0 -1 1077944320 51547 0 0 0 1018 12 0 0 20 0 9 0 436602445 712609792 28855 33554432000 4194304 6211092 140732467014688 140732467012944 139950544010999 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
/proc/26273/statm: 173977 28855 900 493 0 167282 0
[pid=26273/tid=26275] ppid=26270 vsize=695908 memory=0 CPUtime=1.25 cores=0-7
/proc/26273/task/26275/stat : 26275 (cosoco) R 26270 26273 25498 0 -1 4202560 3745 0 0 0 124 1 0 0 20 0 9 0 436602468 712609792 28855 33554432000 4194304 6211092 140732467014688 139950520867256 5035263 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26276] ppid=26270 vsize=695908 memory=1760 CPUtime=1.25 cores=0-7
/proc/26273/task/26276/stat : 26276 (cosoco) R 26270 26273 25498 0 -1 4202560 5003 0 0 0 125 0 0 0 20 0 9 0 436602468 712609792 28855 33554432000 4194304 6211092 140732467014688 139950512474536 5409461 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26277] ppid=26270 vsize=695908 memory=111632 CPUtime=1.26 cores=0-7
/proc/26273/task/26277/stat : 26277 (cosoco) R 26270 26273 25498 0 -1 4202560 2099 0 0 0 125 1 0 0 20 0 9 0 436602468 712609792 28855 33554432000 4194304 6211092 140732467014688 139950504081944 5017282 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26278] ppid=26270 vsize=695908 memory=4872558142750484034 CPUtime=1.21 cores=0-7
/proc/26273/task/26278/stat : 26278 (cosoco) R 26270 26273 25498 0 -1 4202560 3476 0 0 0 120 1 0 0 20 0 9 0 436602468 712609792 28855 33554432000 4194304 6211092 140732467014688 139950495689240 5035320 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26279] ppid=26270 vsize=695908 memory=280447003555616 CPUtime=1.25 cores=0-7
/proc/26273/task/26279/stat : 26279 (cosoco) R 26270 26273 25498 0 -1 4202560 4278 0 0 0 125 0 0 0 20 0 9 0 436602468 712609792 28855 33554432000 4194304 6211092 140732467014688 139950487296536 5186312 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26280] ppid=26270 vsize=695908 memory=3472468519729453536 CPUtime=1.26 cores=0-7
/proc/26273/task/26280/stat : 26280 (cosoco) R 26270 26273 25498 0 -1 4202560 4133 0 0 0 126 0 0 0 20 0 9 0 436602468 712609792 28855 33554432000 4194304 6211092 140732467014688 139950478903912 5017566 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26281] ppid=26270 vsize=695908 memory=6656426216303648864 CPUtime=1.26 cores=0-7
/proc/26273/task/26281/stat : 26281 (cosoco) R 26270 26273 25498 0 -1 4202560 4077 0 0 0 126 0 0 0 20 0 9 0 436602468 712609792 28855 33554432000 4194304 6211092 140732467014688 139950470511208 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26282] ppid=26270 vsize=695908 memory=0 CPUtime=1.25 cores=0-7
/proc/26273/task/26282/stat : 26282 (cosoco) R 26270 26273 25498 0 -1 4202560 3874 0 0 0 124 1 0 0 20 0 9 0 436602468 712609792 28855 33554432000 4194304 6211092 140732467014688 139950462118504 5397375 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
Current children cumulated CPU time: 10.3 s
Current children cumulated vsize: 695908 KiB
Current children cumulated memory: 115420 KiB

[startup+3.11065 s]
/proc/loadavg: 8.05 8.20 8.21 9/200 26282
/proc/meminfo: memFree=30416972/32770624 swapFree=66998480/67108860
[pid=26273] ppid=26270 vsize=695908 memory=115840 CPUtime=23.15 cores=0-7
/proc/26273/stat : 26273 (cosoco) S 26270 26273 25498 0 -1 1077944320 52469 0 0 0 2303 12 0 0 20 0 9 0 436602445 712609792 28960 33554432000 4194304 6211092 140732467014688 140732467012944 139950544010999 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
/proc/26273/statm: 173977 28960 900 493 0 167282 0
[pid=26273/tid=26275] ppid=26270 vsize=695908 memory=0 CPUtime=2.86 cores=0-7
/proc/26273/task/26275/stat : 26275 (cosoco) R 26270 26273 25498 0 -1 4202560 3846 0 0 0 285 1 0 0 20 0 9 0 436602468 712609792 28960 33554432000 4194304 6211092 140732467014688 139950520867240 5035232 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26276] ppid=26270 vsize=695908 memory=0 CPUtime=2.86 cores=0-7
/proc/26273/task/26276/stat : 26276 (cosoco) R 26270 26273 25498 0 -1 4202560 5063 0 0 0 286 0 0 0 20 0 9 0 436602468 712609792 28960 33554432000 4194304 6211092 140732467014688 139950512474536 5008918 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26277] ppid=26270 vsize=695908 memory=3532 CPUtime=2.87 cores=0-7
/proc/26273/task/26277/stat : 26277 (cosoco) R 26270 26273 25498 0 -1 4202560 2101 0 0 0 286 1 0 0 20 0 9 0 436602468 712609792 28960 33554432000 4194304 6211092 140732467014688 139950504081944 5035216 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26278] ppid=26270 vsize=695908 memory=43376 CPUtime=2.8 cores=0-7
/proc/26273/task/26278/stat : 26278 (cosoco) R 26270 26273 25498 0 -1 4202560 4017 0 0 0 279 1 0 0 20 0 9 0 436602468 712609792 28960 33554432000 4194304 6211092 140732467014688 139950495689240 5009311 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26279] ppid=26270 vsize=695908 memory=988 CPUtime=2.86 cores=0-7
/proc/26273/task/26279/stat : 26279 (cosoco) R 26270 26273 25498 0 -1 4202560 4307 0 0 0 286 0 0 0 20 0 9 0 436602468 712609792 28960 33554432000 4194304 6211092 140732467014688 139950487296536 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26280] ppid=26270 vsize=695908 memory=115840 CPUtime=2.87 cores=0-7
/proc/26273/task/26280/stat : 26280 (cosoco) R 26270 26273 25498 0 -1 4202560 4268 0 0 0 287 0 0 0 20 0 9 0 436602468 712609792 28960 33554432000 4194304 6211092 140732467014688 139950478903912 5409461 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26281] ppid=26270 vsize=695908 memory=0 CPUtime=2.87 cores=0-7
/proc/26273/task/26281/stat : 26281 (cosoco) R 26270 26273 25498 0 -1 4202560 4112 0 0 0 287 0 0 0 20 0 9 0 436602468 712609792 28960 33554432000 4194304 6211092 140732467014688 139950470511208 5035312 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26282] ppid=26270 vsize=695908 memory=0 CPUtime=2.86 cores=0-7
/proc/26273/task/26282/stat : 26282 (cosoco) R 26270 26273 25498 0 -1 4202560 3893 0 0 0 285 1 0 0 20 0 9 0 436602468 712609792 28960 33554432000 4194304 6211092 140732467014688 139950462118504 5035320 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
Current children cumulated CPU time: 23.15 s
Current children cumulated vsize: 695908 KiB
Current children cumulated memory: 115840 KiB

[startup+6.30065 s]
/proc/loadavg: 8.05 8.20 8.21 9/199 26282
/proc/meminfo: memFree=30415348/32770624 swapFree=66998480/67108860
[pid=26273] ppid=26270 vsize=695908 memory=116252 CPUtime=48.62 cores=0-7
/proc/26273/stat : 26273 (cosoco) S 26270 26273 25498 0 -1 1077944320 118193 0 0 0 4843 19 0 0 20 0 9 0 436602445 712609792 29063 33554432000 4194304 6211092 140732467014688 140732467012944 139950544010999 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
/proc/26273/statm: 173977 29063 900 493 0 167282 0
[pid=26273/tid=26275] ppid=26270 vsize=695908 memory=193 CPUtime=6.06 cores=0-7
/proc/26273/task/26275/stat : 26275 (cosoco) R 26270 26273 25498 0 -1 4202560 10839 0 0 0 604 2 0 0 20 0 9 0 436602468 712609792 29063 33554432000 4194304 6211092 140732467014688 139950520867432 5250459 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26276] ppid=26270 vsize=695908 memory=56 CPUtime=6.05 cores=0-7
/proc/26273/task/26276/stat : 26276 (cosoco) R 26270 26273 25498 0 -1 4202560 13716 0 0 0 604 1 0 0 20 0 9 0 436602468 712609792 29063 33554432000 4194304 6211092 140732467014688 139950512474536 5008827 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26277] ppid=26270 vsize=695908 memory=1980 CPUtime=6.06 cores=0-7
/proc/26273/task/26277/stat : 26277 (cosoco) R 26270 26273 25498 0 -1 4202560 8930 0 0 0 604 2 0 0 20 0 9 0 436602468 712609792 29063 33554432000 4194304 6211092 140732467014688 139950504081944 5397375 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26278] ppid=26270 vsize=695908 memory=116252 CPUtime=5.94 cores=0-7
/proc/26273/task/26278/stat : 26278 (cosoco) R 26270 26273 25498 0 -1 4202560 13062 0 0 0 592 2 0 0 20 0 9 0 436602468 712609792 29063 33554432000 4194304 6211092 140732467014688 139950495689240 5396756 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26279] ppid=26270 vsize=695908 memory=2020 CPUtime=6.05 cores=0-7
/proc/26273/task/26279/stat : 26279 (cosoco) R 26270 26273 25498 0 -1 4202560 14333 0 0 0 604 1 0 0 20 0 9 0 436602468 712609792 29063 33554432000 4194304 6211092 140732467014688 139950487296536 5149212 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26280] ppid=26270 vsize=695908 memory=1432 CPUtime=6.06 cores=0-7
/proc/26273/task/26280/stat : 26280 (cosoco) R 26270 26273 25498 0 -1 4202560 12201 0 0 0 605 1 0 0 20 0 9 0 436602468 712609792 29063 33554432000 4194304 6211092 140732467014688 139950478903912 5035320 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26281] ppid=26270 vsize=695908 memory=9396 CPUtime=6.05 cores=0-7
/proc/26273/task/26281/stat : 26281 (cosoco) R 26270 26273 25498 0 -1 4202560 11638 0 0 0 605 0 0 0 20 0 9 0 436602468 712609792 29063 33554432000 4194304 6211092 140732467014688 139950470511016 5035320 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26282] ppid=26270 vsize=695908 memory=656 CPUtime=6.04 cores=0-7
/proc/26273/task/26282/stat : 26282 (cosoco) R 26270 26273 25498 0 -1 4202560 12612 0 0 0 602 2 0 0 20 0 9 0 436602468 712609792 29063 33554432000 4194304 6211092 140732467014688 139950462118504 5409431 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
Current children cumulated CPU time: 48.62 s
Current children cumulated vsize: 695908 KiB
Current children cumulated memory: 116252 KiB

[startup+12.7007 s]
/proc/loadavg: 8.05 8.20 8.21 10/199 26282
/proc/meminfo: memFree=30413080/32770624 swapFree=66998480/67108860
[pid=26273] ppid=26270 vsize=695908 memory=118160 CPUtime=99.68 cores=0-7
/proc/26273/stat : 26273 (cosoco) S 26270 26273 25498 0 -1 1077944320 158459 0 0 0 9944 24 0 0 20 0 9 0 436602445 712609792 29540 33554432000 4194304 6211092 140732467014688 140732467012944 139950544010999 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
/proc/26273/statm: 173977 29540 900 493 0 167282 0
[pid=26273/tid=26275] ppid=26270 vsize=695908 memory=0 CPUtime=12.38 cores=0-7
/proc/26273/task/26275/stat : 26275 (cosoco) R 26270 26273 25498 0 -1 4202560 15949 0 0 0 1235 3 0 0 20 0 9 0 436602468 712609792 29540 33554432000 4194304 6211092 140732467014688 139950520867432 5035263 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26276] ppid=26270 vsize=695908 memory=0 CPUtime=12.45 cores=0-7
/proc/26273/task/26276/stat : 26276 (cosoco) R 26270 26273 25498 0 -1 4202560 19309 0 0 0 1243 2 0 0 20 0 9 0 436602468 712609792 29540 33554432000 4194304 6211092 140732467014688 139950512474536 5392081 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26277] ppid=26270 vsize=695908 memory=3532 CPUtime=12.46 cores=0-7
/proc/26273/task/26277/stat : 26277 (cosoco) R 26270 26273 25498 0 -1 4202560 12930 0 0 0 1243 3 0 0 20 0 9 0 436602468 712609792 29540 33554432000 4194304 6211092 140732467014688 139950504081832 5397375 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26278] ppid=26270 vsize=695908 memory=140223501720120 CPUtime=12.33 cores=0-7
/proc/26273/task/26278/stat : 26278 (cosoco) R 26270 26273 25498 0 -1 4202560 17799 0 0 0 1230 3 0 0 20 0 9 0 436602468 712609792 29540 33554432000 4194304 6211092 140732467014688 139950495689240 5396756 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26279] ppid=26270 vsize=695908 memory=118160 CPUtime=12.45 cores=0-7
/proc/26273/task/26279/stat : 26279 (cosoco) R 26270 26273 25498 0 -1 4202560 20362 0 0 0 1243 2 0 0 20 0 9 0 436602468 712609792 29540 33554432000 4194304 6211092 140732467014688 139950487296536 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26280] ppid=26270 vsize=695908 memory=193 CPUtime=12.45 cores=0-7
/proc/26273/task/26280/stat : 26280 (cosoco) R 26270 26273 25498 0 -1 4202560 16995 0 0 0 1243 2 0 0 20 0 9 0 436602468 712609792 29540 33554432000 4194304 6211092 140732467014688 139950478903912 5409444 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26281] ppid=26270 vsize=695908 memory=471 CPUtime=12.45 cores=0-7
/proc/26273/task/26281/stat : 26281 (cosoco) R 26270 26273 25498 0 -1 4202560 16113 0 0 0 1244 1 0 0 20 0 9 0 436602468 712609792 29540 33554432000 4194304 6211092 140732467014688 139950470511016 5397375 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0

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

/proc/26273/task/26277/stat : 26277 (cosoco) R 26270 26273 25498 0 -1 4202560 32576 0 0 0 226165 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950504082024 5389444 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26278] ppid=26270 vsize=695908 memory=125716 CPUtime=2247.3 cores=0-7
/proc/26273/task/26278/stat : 26278 (cosoco) R 26270 26273 25498 0 -1 4202560 32527 0 0 0 224725 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950495689240 5409461 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26279] ppid=26270 vsize=695908 memory=125716 CPUtime=2261.59 cores=0-7
/proc/26273/task/26279/stat : 26279 (cosoco) R 26270 26273 25498 0 -1 4202560 39506 0 0 0 226155 4 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950487296960 5149224 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26280] ppid=26270 vsize=695908 memory=125716 CPUtime=2261.67 cores=0-7
/proc/26273/task/26280/stat : 26280 (cosoco) R 26270 26273 25498 0 -1 4202560 43463 0 0 0 226163 4 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950478903912 5397375 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26281] ppid=26270 vsize=695908 memory=125716 CPUtime=2261.62 cores=0-7
/proc/26273/task/26281/stat : 26281 (cosoco) R 26270 26273 25498 0 -1 4202560 33732 0 0 0 226159 3 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950470511016 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26282] ppid=26270 vsize=695908 memory=125716 CPUtime=2255.49 cores=0-7
/proc/26273/task/26282/stat : 26282 (cosoco) R 26270 26273 25498 0 -1 4202560 42941 0 0 0 225542 7 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950462118504 5079092 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
Current children cumulated CPU time: 18063.5 s
Current children cumulated vsize: 695908 KiB
Current children cumulated memory: 125716 KiB

[startup+2322.3 s]
/proc/loadavg: 9.05 8.60 8.37 9/199 26456
/proc/meminfo: memFree=30406908/32770624 swapFree=66998480/67108860
[pid=26273] ppid=26270 vsize=695908 memory=125716 CPUtime=18542.7 cores=0-7
/proc/26273/stat : 26273 (cosoco) S 26270 26273 25498 0 -1 1077944320 319318 0 0 0 1854223 45 0 0 20 0 9 0 436602445 712609792 31429 33554432000 4194304 6211092 140732467014688 140732467012944 139950544010999 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
/proc/26273/statm: 173977 31429 902 493 0 167282 0
[pid=26273/tid=26275] ppid=26270 vsize=695908 memory=125716 CPUtime=2311.61 cores=0-7
/proc/26273/task/26275/stat : 26275 (cosoco) R 26270 26273 25498 0 -1 4202560 33791 0 0 0 231156 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950520867432 5409453 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26276] ppid=26270 vsize=695908 memory=125716 CPUtime=2321.53 cores=0-7
/proc/26273/task/26276/stat : 26276 (cosoco) R 26270 26273 25498 0 -1 4202560 38766 0 0 0 232148 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950512475072 5397375 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26277] ppid=26270 vsize=695908 memory=0 CPUtime=2321.7 cores=0-7
/proc/26273/task/26277/stat : 26277 (cosoco) R 26270 26273 25498 0 -1 4202560 32778 0 0 0 232165 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950504082024 5017277 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26278] ppid=26270 vsize=695908 memory=125716 CPUtime=2307.21 cores=0-7
/proc/26273/task/26278/stat : 26278 (cosoco) R 26270 26273 25498 0 -1 4202560 32623 0 0 0 230716 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950495689240 5112718 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26279] ppid=26270 vsize=695908 memory=0 CPUtime=2321.59 cores=0-7
/proc/26273/task/26279/stat : 26279 (cosoco) R 26270 26273 25498 0 -1 4202560 39636 0 0 0 232155 4 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950487296960 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26280] ppid=26270 vsize=695908 memory=125716 CPUtime=2321.67 cores=0-7
/proc/26273/task/26280/stat : 26280 (cosoco) R 26270 26273 25498 0 -1 4202560 43657 0 0 0 232163 4 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950478903912 5035283 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26281] ppid=26270 vsize=695908 memory=125716 CPUtime=2321.62 cores=0-7
/proc/26273/task/26281/stat : 26281 (cosoco) R 26270 26273 25498 0 -1 4202560 33920 0 0 0 232158 4 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950470511016 5039153 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26282] ppid=26270 vsize=695908 memory=125716 CPUtime=2315.47 cores=0-7
/proc/26273/task/26282/stat : 26282 (cosoco) R 26270 26273 25498 0 -1 4202560 43285 0 0 0 231540 7 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950462118504 5039132 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
Current children cumulated CPU time: 18542.7 s
Current children cumulated vsize: 695908 KiB
Current children cumulated memory: 125716 KiB

[startup+2382.3 s]
/proc/loadavg: 8.77 8.62 8.39 9/199 26459
/proc/meminfo: memFree=30406596/32770624 swapFree=66998480/67108860
[pid=26273] ppid=26270 vsize=695908 memory=125716 CPUtime=19021.8 cores=0-7
/proc/26273/stat : 26273 (cosoco) S 26270 26273 25498 0 -1 1077944320 320973 0 0 0 1902138 46 0 0 20 0 9 0 436602445 712609792 31429 33554432000 4194304 6211092 140732467014688 140732467012944 139950544010999 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
/proc/26273/statm: 173977 31429 902 493 0 167282 0
[pid=26273/tid=26275] ppid=26270 vsize=695908 memory=125716 CPUtime=2370.81 cores=0-7
/proc/26273/task/26275/stat : 26275 (cosoco) R 26270 26273 25498 0 -1 4202560 34059 0 0 0 237076 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950520867432 5396759 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26276] ppid=26270 vsize=695908 memory=125716 CPUtime=2381.51 cores=0-7
/proc/26273/task/26276/stat : 26276 (cosoco) R 26270 26273 25498 0 -1 4202560 38984 0 0 0 238146 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950512475072 5186543 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26277] ppid=26270 vsize=695908 memory=125716 CPUtime=2381.69 cores=0-7
/proc/26273/task/26277/stat : 26277 (cosoco) R 26270 26273 25498 0 -1 4202560 32946 0 0 0 238164 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950504082024 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26278] ppid=26270 vsize=695908 memory=125716 CPUtime=2367.2 cores=0-7
/proc/26273/task/26278/stat : 26278 (cosoco) R 26270 26273 25498 0 -1 4202560 32677 0 0 0 236715 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950495689240 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26279] ppid=26270 vsize=695908 memory=0 CPUtime=2381.59 cores=0-7
/proc/26273/task/26279/stat : 26279 (cosoco) R 26270 26273 25498 0 -1 4202560 39704 0 0 0 238155 4 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950487296960 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26280] ppid=26270 vsize=695908 memory=125716 CPUtime=2381.65 cores=0-7
/proc/26273/task/26280/stat : 26280 (cosoco) R 26270 26273 25498 0 -1 4202560 44098 0 0 0 238161 4 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950478903912 5035312 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26281] ppid=26270 vsize=695908 memory=125716 CPUtime=2381.62 cores=0-7
/proc/26273/task/26281/stat : 26281 (cosoco) R 26270 26273 25498 0 -1 4202560 34019 0 0 0 238158 4 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950470511016 5148850 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26282] ppid=26270 vsize=695908 memory=3532 CPUtime=2375.46 cores=0-7
/proc/26273/task/26282/stat : 26282 (cosoco) R 26270 26273 25498 0 -1 4202560 43624 0 0 0 237539 7 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950462118504 5083052 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
Current children cumulated CPU time: 19021.8 s
Current children cumulated vsize: 695908 KiB
Current children cumulated memory: 125716 KiB

[startup+2442.3 s]
/proc/loadavg: 8.28 8.51 8.37 9/199 26464
/proc/meminfo: memFree=30407324/32770624 swapFree=66998480/67108860
[pid=26273] ppid=26270 vsize=695908 memory=125716 CPUtime=19501 cores=0-7
/proc/26273/stat : 26273 (cosoco) S 26270 26273 25498 0 -1 1077944320 322580 0 0 0 1950051 46 0 0 20 0 9 0 436602445 712609792 31429 33554432000 4194304 6211092 140732467014688 140732467012944 139950544010999 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
/proc/26273/statm: 173977 31429 902 493 0 167282 0
[pid=26273/tid=26275] ppid=26270 vsize=695908 memory=125716 CPUtime=2430.01 cores=0-7
/proc/26273/task/26275/stat : 26275 (cosoco) R 26270 26273 25498 0 -1 4202560 34222 0 0 0 242996 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950520867432 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26276] ppid=26270 vsize=695908 memory=125716 CPUtime=2441.5 cores=0-7
/proc/26273/task/26276/stat : 26276 (cosoco) R 26270 26273 25498 0 -1 4202560 39095 0 0 0 244145 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950512475072 5035232 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26277] ppid=26270 vsize=695908 memory=288230574492221466 CPUtime=2441.69 cores=0-7
/proc/26273/task/26277/stat : 26277 (cosoco) R 26270 26273 25498 0 -1 4202560 33223 0 0 0 244164 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950504082024 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26278] ppid=26270 vsize=695908 memory=125716 CPUtime=2427.19 cores=0-7
/proc/26273/task/26278/stat : 26278 (cosoco) R 26270 26273 25498 0 -1 4202560 32726 0 0 0 242714 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950495689240 5409465 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26279] ppid=26270 vsize=695908 memory=125716 CPUtime=2441.58 cores=0-7
/proc/26273/task/26279/stat : 26279 (cosoco) R 26270 26273 25498 0 -1 4202560 39758 0 0 0 244154 4 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950487296960 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26280] ppid=26270 vsize=695908 memory=125716 CPUtime=2441.64 cores=0-7
/proc/26273/task/26280/stat : 26280 (cosoco) R 26270 26273 25498 0 -1 4202560 44371 0 0 0 244160 4 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950478903912 5409444 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26281] ppid=26270 vsize=695908 memory=125716 CPUtime=2441.61 cores=0-7
/proc/26273/task/26281/stat : 26281 (cosoco) R 26270 26273 25498 0 -1 4202560 34305 0 0 0 244157 4 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950470511016 5009314 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26282] ppid=26270 vsize=695908 memory=125716 CPUtime=2435.45 cores=0-7
/proc/26273/task/26282/stat : 26282 (cosoco) R 26270 26273 25498 0 -1 4202560 44018 0 0 0 243538 7 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950462118504 5409444 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
Current children cumulated CPU time: 19501 s
Current children cumulated vsize: 695908 KiB
Current children cumulated memory: 125716 KiB

[startup+2502.3 s]
/proc/loadavg: 8.30 8.48 8.37 9/200 26475
/proc/meminfo: memFree=30406468/32770624 swapFree=66998480/67108860
[pid=26273] ppid=26270 vsize=695908 memory=125716 CPUtime=19980.1 cores=0-7
/proc/26273/stat : 26273 (cosoco) S 26270 26273 25498 0 -1 1077944320 324209 0 0 0 1997961 46 0 0 20 0 9 0 436602445 712609792 31429 33554432000 4194304 6211092 140732467014688 140732467012944 139950544010999 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
/proc/26273/statm: 173977 31429 902 493 0 167282 0
[pid=26273/tid=26275] ppid=26270 vsize=695908 memory=125716 CPUtime=2489.53 cores=0-7
/proc/26273/task/26275/stat : 26275 (cosoco) R 26270 26273 25498 0 -1 4202560 34604 0 0 0 248948 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950520867432 5409461 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26276] ppid=26270 vsize=695908 memory=125716 CPUtime=2501.49 cores=0-7
/proc/26273/task/26276/stat : 26276 (cosoco) R 26270 26273 25498 0 -1 4202560 39230 0 0 0 250144 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950512475072 5409444 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26277] ppid=26270 vsize=695908 memory=125716 CPUtime=2501.68 cores=0-7
/proc/26273/task/26277/stat : 26277 (cosoco) R 26270 26273 25498 0 -1 4202560 33410 0 0 0 250163 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950504082024 5148651 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26278] ppid=26270 vsize=695908 memory=125716 CPUtime=2486.84 cores=0-7
/proc/26273/task/26278/stat : 26278 (cosoco) R 26270 26273 25498 0 -1 4202560 32773 0 0 0 248679 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950495689240 5409465 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26279] ppid=26270 vsize=695908 memory=125716 CPUtime=2501.57 cores=0-7
/proc/26273/task/26279/stat : 26279 (cosoco) R 26270 26273 25498 0 -1 4202560 39820 0 0 0 250153 4 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950487296960 5396759 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26280] ppid=26270 vsize=695908 memory=125716 CPUtime=2501.62 cores=0-7
/proc/26273/task/26280/stat : 26280 (cosoco) R 26270 26273 25498 0 -1 4202560 44788 0 0 0 250158 4 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950478903912 5409444 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26281] ppid=26270 vsize=695908 memory=125716 CPUtime=2501.6 cores=0-7
/proc/26273/task/26281/stat : 26281 (cosoco) R 26270 26273 25498 0 -1 4202560 34421 0 0 0 250156 4 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950470511016 5039121 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26282] ppid=26270 vsize=695908 memory=3532 CPUtime=2495.44 cores=0-7
/proc/26273/task/26282/stat : 26282 (cosoco) R 26270 26273 25498 0 -1 4202560 44301 0 0 0 249537 7 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950462118504 5039132 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
Current children cumulated CPU time: 19980.1 s
Current children cumulated vsize: 695908 KiB
Current children cumulated memory: 125716 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.22 8.45 8.36 9/201 26477
/proc/meminfo: memFree=30406980/32770624 swapFree=66998480/67108860
[pid=26273] ppid=26270 vsize=695908 memory=125716 CPUtime=20121.5 cores=0-7
/proc/26273/stat : 26273 (cosoco) S 26270 26273 25498 0 -1 1077944320 324291 0 0 0 2012102 46 0 0 20 0 9 0 436602445 712609792 31429 33554432000 4194304 6211092 140732467014688 140732467012944 139950544010999 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
/proc/26273/statm: 173977 31429 902 493 0 167282 0
[pid=26273/tid=26275] ppid=26270 vsize=695908 memory=1398722017469774279 CPUtime=2507.24 cores=0-7
/proc/26273/task/26275/stat : 26275 (cosoco) R 26270 26273 25498 0 -1 4202560 34606 0 0 0 250719 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950520867432 5193699 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26276] ppid=26270 vsize=695908 memory=4872558044660077418 CPUtime=2519.19 cores=0-7
/proc/26273/task/26276/stat : 26276 (cosoco) R 26270 26273 25498 0 -1 4202560 39230 0 0 0 251914 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950512475072 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26277] ppid=26270 vsize=695908 memory=1580 CPUtime=2519.39 cores=0-7
/proc/26273/task/26277/stat : 26277 (cosoco) R 26270 26273 25498 0 -1 4202560 33431 0 0 0 251934 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950504082024 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26278] ppid=26270 vsize=695908 memory=908 CPUtime=2504.31 cores=0-7
/proc/26273/task/26278/stat : 26278 (cosoco) R 26270 26273 25498 0 -1 4202560 32782 0 0 0 250426 5 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950495689240 5409461 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26279] ppid=26270 vsize=695908 memory=1440 CPUtime=2519.27 cores=0-7
/proc/26273/task/26279/stat : 26279 (cosoco) R 26270 26273 25498 0 -1 4202560 39821 0 0 0 251923 4 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950487296960 5009195 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26280] ppid=26270 vsize=695908 memory=1760 CPUtime=2519.33 cores=0-7
/proc/26273/task/26280/stat : 26280 (cosoco) R 26270 26273 25498 0 -1 4202560 44837 0 0 0 251929 4 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950478903912 5148679 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26281] ppid=26270 vsize=695908 memory=111632 CPUtime=2519.3 cores=0-7
/proc/26273/task/26281/stat : 26281 (cosoco) R 26270 26273 25498 0 -1 4202560 34421 0 0 0 251926 4 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950470511016 5017282 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
[pid=26273/tid=26282] ppid=26270 vsize=695908 memory=800 CPUtime=2513.15 cores=0-7
/proc/26273/task/26282/stat : 26282 (cosoco) R 26270 26273 25498 0 -1 4202560 44301 0 0 0 251308 7 0 0 20 0 9 0 436602468 712609792 31429 33554432000 4194304 6211092 140732467014688 139950462118504 5039022 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 39870464 140732467016721 140732467016813 140732467016813 140732467019726 0
Current children cumulated CPU time: 20121.5 s
Current children cumulated vsize: 695908 KiB
Current children cumulated memory: 125716 KiB

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

[startup+2520.02 s]
# the end of solver process 26273 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20121.1 s, system=0.467722 s

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

Child status: 1
Real time (s): 2520.02
CPU time (s): 20121.6
CPU user time (s): 20121.1
CPU system time (s): 0.467722
CPU usage (%): 798.468
Max. virtual memory (cumulated for all children) (KiB): 695908
Max. memory (cumulated for all children) (KiB): 125716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20121.1
system time used= 0.467722
maximum resident set size= 126036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 324341
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= 6842
involuntary context switches= 164755


# summary of solver processes directly reported to runsolver:
#   pid: 26273
#   total CPU time (s): 20121.6
#   total CPU user time (s): 20121.1
#   total CPU system time (s): 0.467722

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4846 second user time and 21.833 second system time

The end

Launcher Data

Begin job on node123 at 2019-09-16 05:08:57
IDJOB=4398422
IDBENCH=126794
IDSOLVER=2851
FILE ID=node123/4398422-1568603376
RUNJOBID= node123-1568598283-25525
PBS_JOBID= 21703421
Free space on /tmp= 59184 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-pb-30-15-1.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398422-1568603376/watcher-4398422-1568603376 -o /tmp/evaluation-result-4398422-1568603376/solver-4398422-1568603376 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node123-1568598283-25525 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4398422-1568603376.xml

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

MD5SUM BENCH= 1892dc6bbe7f4411da75bff22067cf15
RANDOM SEED=572177490

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30529940 kB
MemAvailable:   31896104 kB
Buffers:           90652 kB
Cached:          1574060 kB
SwapCached:         6960 kB
Active:          1103760 kB
Inactive:         573500 kB
Active(anon):      13008 kB
Inactive(anon):    47440 kB
Active(file):    1090752 kB
Inactive(file):   526060 kB
Unevictable:      107928 kB
Mlocked:          107928 kB
SwapTotal:      67108860 kB
SwapFree:       66998480 kB
Dirty:              2936 kB
Writeback:             0 kB
AnonPages:        140092 kB
Mapped:            45372 kB
Shmem:             39608 kB
Slab:             159652 kB
SReclaimable:     130372 kB
SUnreclaim:        29280 kB
KernelStack:        3728 kB
PageTables:         4904 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     505964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     94208 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 59184 MiB
End job on node123 at 2019-09-16 05:50:57