Trace number 4398535

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
cosoco 2.O parallelSAT (TO)8 2009.8 252.016

General information on the benchmark

NameOpenStacks/OpenStacks-m1c-s1/
OpenStacks-m1c-wbo-30-15-1.xml
MD5SUM9a57509d02107f3cf02e1da9240cc9e8
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark9.25888
Satisfiable
(Un)Satisfiability was proved
Number of variables1380
Number of constraints1366
Number of domains6
Minimum domain size2
Maximum domain size16
Distribution of domain sizes[{"size":2,"count":1065},{"size":3,"count":150},{"size":4,"count":105},{"size":5,"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.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.21/0.31	c
0.21/0.31	c This is cosoco 2.00 --  
0.21/0.31	c
0.21/0.31	c command line: cosoco -model -nbcores=8 HOME/instance-4398535-1568610660.xml 
0.21/0.31	c enable optimization
0.21/0.31	c ========================================[ Problem Statistics ]===========================================
0.21/0.31	c |                                                                                                       
0.21/0.31	c |  Parse time        :         0.19 s 
0.21/0.31	c |
0.21/0.31	c |               Variables: 1380
0.21/0.31	c |            Domain Sizes: 2..16
0.21/0.31	c |
0.21/0.31	c |             Constraints: 1367
0.21/0.31	c |                   Arity: 2..31  -- Binary: 480  -- Ternary: 870
0.21/0.31	c | 
0.21/0.31	c |                   Types: 
0.21/0.31	c |                          (X = Y): 30
0.21/0.31	c |                          All Different: 1
0.21/0.31	c |                          Extension: 900  (nb tuples: 3..15) -- (shared: 3568)
0.21/0.31	c |                          Max constant: 1
0.21/0.31	c |                          Sum: 435
0.21/0.31	c |                          
0.21/0.31	c |               Objective: Minimize Max constant
0.21/0.31	
0.21/0.31	c =========================================================================================================
0.21/0.31	c Parallel mode: Portfolio
0.21/0.31	c [pFactory][Group N°0] created (threads:8).
0.21/0.31	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.21/0.31	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.21/0.31	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.21/0.31	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.21/0.31	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.21/0.31	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.21/0.31	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.21/0.31	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.21/0.31	c [pFactory][Group N°0] concurrent mode: enabled.
0.21/0.31	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.21/0.31	c [pFactory][Group N°0] task 7 launched on thread 0.
0.21/0.31	c [pFactory][Group N°0] task 6 launched on thread 1.
0.21/0.31	c [pFactory][Group N°0] task 5 launched on thread 5.
0.21/0.31	c [pFactory][Group N°0] task 4 launched on thread 2.
0.21/0.31	c [pFactory][Group N°0] task 3 launched on thread 6.
0.21/0.31	c [pFactory][Group N°0] task 2 launched on thread 3.
0.21/0.31	c [pFactory][Group N°0] task 1 launched on thread 7.
0.21/0.31	c [pFactory][Group N°0] task 0 launched on thread 4.
0.21/0.31	o 14
0.87/0.40	o 13
1.66/0.43	o 12
7.84/1.20	o 11
7.84/1.26	o 10
175.17/22.25	o 9
495.21/62.31	o 8
2009.69/252.01	
2009.69/252.01	c *** INTERRUPTED ***
2009.69/252.01	c call to solver        : 3
2009.69/252.01	c
2009.69/252.01	c restarts              : 76762       
2009.69/252.01	c conflicts             : 584085       (291 /sec)
2009.69/252.01	c decisions             : 5216174      (2596 /sec)
2009.69/252.01	c propagations          : 185907254   (92540 /sec)
2009.69/252.01	c root propagations     : 348272      
2009.69/252.01	c filter calls          : 592848252      (295105 /sec)
2009.69/252.01	c useless filter calls  : 452329354      (76 %)
2009.69/252.01	c Memory used           : 679.67 MB
2009.69/252.01	c Best bound time (wc)  : 62.3078 s
2009.69/252.01	c CPU time              : 2008.94 s
2009.69/252.01	c real time             : 252.007 s
2009.69/252.01	
2009.69/252.01	s SATISFIABLE
2009.69/252.01	c Best value found: 8
2009.69/252.01	
2009.69/252.01	
2009.69/252.01	v <instantiation type='solution' cost='8'>
2009.69/252.01	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>
2009.69/252.01	v <values>1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 3 3 3 3 3 0 0 0 1 1 1 2 3 3 0 1 1 1 2 2 0 0 0 0 0 0 0 0 1 0 3 3 3 3 3 0 1 1 1 2 3 3 3 3 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 1 0 2 2 2 2 2 0 0 0 0 0 0 1 2 2 0 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 2 2 2 2 2 0 0 0 0 1 1 1 1 2 0 4 4 4 4 4 1 1 1 2 2 2 3 4 4 0 0 0 1 1 2 0 0 0 0 0 0 0 0 0 1 3 3 3 3 3 1 2 2 3 3 3 3 3 3 0 2 2 2 2 2 1 1 2 2 2 2 2 2 2 0 1 2 2 2 3 0 0 0 0 0 0 0 0 0 0 1 1 1 2 3 0 0 0 0 0 0 0 0 1 0 3 3 3 3 3 0 0 0 0 0 0 1 1 2 0 1 1 2 2 2 0 0 0 0 0 1 1 1 1 0 3 4 4 4 4 0 0 1 1 1 2 2 3 3 0 2 3 3 3 3 0 0 0 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 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 0 0 1 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 2 2 2 2 2 0 0 1 1 2 2 2 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 13 9 10 8 7 11 1 4 12 0 3 14 6 5 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 4 8 8 7 6 4 5 6 8 8 8 8 8 8 7 </values>
2009.69/252.01	v </instantiation>
2009.69/252.01	

Verifier Data

OK	8

Watcher Data

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398535-1568610660/watcher-4398535-1568610660 -o /tmp/evaluation-result-4398535-1568610660/solver-4398535-1568610660 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568597878-29114 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398535-1568610660.xml 

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

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

solver pid=31170, runsolver pid=31167

[startup+0.100133 s]*
/proc/loadavg: 1.08 4.15 6.98 2/197 31171
/proc/meminfo: memFree=30226716/32770624 swapFree=67010976/67108860
[pid=31170] ppid=31167 vsize=66416 memory=42816 CPUtime=0.1 cores=0-7
/proc/31170/stat : 31170 (cosoco) R 31167 31170 29087 0 -1 4202496 10894 0 0 0 9 1 0 0 20 0 1 0 436988801 68009984 10704 33554432000 4194304 6211092 140735224006624 140735224000840 140069296585701 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
/proc/31170/statm: 16604 10704 836 493 0 9909 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 66416 KiB
Current children cumulated memory: 42816 KiB

[startup+0.209768 s]*
/proc/loadavg: 1.08 4.15 6.98 2/197 31171
/proc/meminfo: memFree=30189144/32770624 swapFree=67010976/67108860
[pid=31170] ppid=31167 vsize=104928 memory=81448 CPUtime=0.21 cores=0-7
/proc/31170/stat : 31170 (cosoco) R 31167 31170 29087 0 -1 4202496 20532 0 0 0 18 3 0 0 20 0 1 0 436988801 107446272 20362 33554432000 4194304 6211092 140735224006624 140735224000840 140069296585701 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
/proc/31170/statm: 26232 20362 869 493 0 19537 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 104928 KiB
Current children cumulated memory: 81448 KiB

[startup+0.310496 s]*
/proc/loadavg: 1.08 4.15 6.98 10/205 31179
/proc/meminfo: memFree=30146300/32770624 swapFree=67010976/67108860
[pid=31170] ppid=31167 vsize=695976 memory=124444 CPUtime=0.87 cores=0-7
/proc/31170/stat : 31170 (cosoco) S 31167 31170 29087 0 -1 1077944320 31577 0 0 0 78 9 0 0 20 0 9 0 436988801 712679424 31111 33554432000 4194304 6211092 140735224006624 140735224004880 140069312626423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
/proc/31170/statm: 173994 31111 900 493 0 167299 0
[pid=31170/tid=31172] ppid=31167 vsize=695976 memory=6935054825532540783 CPUtime=0.08 cores=0-7
/proc/31170/task/31172/stat : 31172 (cosoco) R 31167 31170 29087 0 -1 4202560 855 0 0 0 8 0 0 0 20 0 9 0 436988824 712679424 31111 33554432000 4194304 6211092 140735224006624 140069289482776 140069296581438 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31173] ppid=31167 vsize=695976 memory=4872558044660077418 CPUtime=0.07 cores=0-7
/proc/31170/task/31173/stat : 31173 (cosoco) R 31167 31170 29087 0 -1 4202560 726 0 0 0 7 0 0 0 20 0 9 0 436988824 712679424 31111 33554432000 4194304 6211092 140735224006624 140069281089976 5389408 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31174] ppid=31167 vsize=695976 memory=0 CPUtime=0.07 cores=0-7
/proc/31170/task/31174/stat : 31174 (cosoco) R 31167 31170 29087 0 -1 4202560 1756 0 0 0 6 1 0 0 20 0 9 0 436988824 712679424 31111 33554432000 4194304 6211092 140735224006624 140069272697256 140069296581438 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31175] ppid=31167 vsize=695976 memory=0 CPUtime=0.07 cores=0-7
/proc/31170/task/31175/stat : 31175 (cosoco) R 31167 31170 29087 0 -1 4202560 1556 0 0 0 7 0 0 0 20 0 9 0 436988824 712679424 31111 33554432000 4194304 6211092 140735224006624 140069264305424 5035331 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31176] ppid=31167 vsize=695976 memory=6656426216303648864 CPUtime=0.07 cores=0-7
/proc/31170/task/31176/stat : 31176 (cosoco) R 31167 31170 29087 0 -1 4202560 1631 0 0 0 6 1 0 0 20 0 9 0 436988824 712679424 31111 33554432000 4194304 6211092 140735224006624 140069255912040 5409424 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31177] ppid=31167 vsize=695976 memory=0 CPUtime=0.07 cores=0-7
/proc/31170/task/31177/stat : 31177 (cosoco) R 31167 31170 29087 0 -1 4202560 1410 0 0 0 7 0 0 0 20 0 9 0 436988824 712679424 31111 33554432000 4194304 6211092 140735224006624 140069247519256 5396756 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31178] ppid=31167 vsize=695976 memory=0 CPUtime=0.07 cores=0-7
/proc/31170/task/31178/stat : 31178 (cosoco) R 31167 31170 29087 0 -1 4202560 1082 0 0 0 7 0 0 0 20 0 9 0 436988824 712679424 31111 33554432000 4194304 6211092 140735224006624 140069239126552 5409461 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31179] ppid=31167 vsize=695976 memory=0 CPUtime=0.07 cores=0-7
/proc/31170/task/31179/stat : 31179 (cosoco) R 31167 31170 29087 0 -1 4202560 1657 0 0 0 7 0 0 0 20 0 9 0 436988824 712679424 31111 33554432000 4194304 6211092 140735224006624 140069230733848 5409444 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
Current children cumulated CPU time: 0.87 s
Current children cumulated vsize: 695976 KiB
Current children cumulated memory: 124444 KiB

[startup+0.701498 s]
/proc/loadavg: 1.08 4.15 6.98 9/205 31179
/proc/meminfo: memFree=30132412/32770624 swapFree=67010976/67108860
[pid=31170] ppid=31167 vsize=695976 memory=138164 CPUtime=3.88 cores=0-7
/proc/31170/stat : 31170 (cosoco) S 31167 31170 29087 0 -1 1077944320 35031 0 0 0 377 11 0 0 20 0 9 0 436988801 712679424 34541 33554432000 4194304 6211092 140735224006624 140735224004880 140069312626423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
/proc/31170/statm: 173994 34541 902 493 0 167299 0
[pid=31170/tid=31172] ppid=31167 vsize=695976 memory=1296 CPUtime=0.45 cores=0-7
/proc/31170/task/31172/stat : 31172 (cosoco) R 31167 31170 29087 0 -1 4202560 1697 0 0 0 45 0 0 0 20 0 9 0 436988824 712679424 34541 33554432000 4194304 6211092 140735224006624 140069289482984 5409476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31173] ppid=31167 vsize=695976 memory=732 CPUtime=0.42 cores=0-7
/proc/31170/task/31173/stat : 31173 (cosoco) R 31167 31170 29087 0 -1 4202560 1630 0 0 0 42 0 0 0 20 0 9 0 436988824 712679424 34541 33554432000 4194304 6211092 140735224006624 140069281090152 5397368 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31174] ppid=31167 vsize=695976 memory=1052 CPUtime=0.45 cores=0-7
/proc/31170/task/31174/stat : 31174 (cosoco) R 31167 31170 29087 0 -1 4202560 1785 0 0 0 43 2 0 0 20 0 9 0 436988824 712679424 34541 33554432000 4194304 6211092 140735224006624 140069272697368 5009263 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31175] ppid=31167 vsize=695976 memory=776 CPUtime=0.45 cores=0-7
/proc/31170/task/31175/stat : 31175 (cosoco) R 31167 31170 29087 0 -1 4202560 1921 0 0 0 45 0 0 0 20 0 9 0 436988824 712679424 34541 33554432000 4194304 6211092 140735224006624 140069264305424 5392081 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31176] ppid=31167 vsize=695976 memory=3992 CPUtime=0.45 cores=0-7
/proc/31170/task/31176/stat : 31176 (cosoco) R 31167 31170 29087 0 -1 4202560 1651 0 0 0 44 1 0 0 20 0 9 0 436988824 712679424 34541 33554432000 4194304 6211092 140735224006624 140069255911960 5389408 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31177] ppid=31167 vsize=695976 memory=140627683866239 CPUtime=0.45 cores=0-7
/proc/31170/task/31177/stat : 31177 (cosoco) R 31167 31170 29087 0 -1 4202560 1843 0 0 0 45 0 0 0 20 0 9 0 436988824 712679424 34541 33554432000 4194304 6211092 140735224006624 140069247519464 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31178] ppid=31167 vsize=695976 memory=8514726395715218844 CPUtime=0.45 cores=0-7
/proc/31170/task/31178/stat : 31178 (cosoco) R 31167 31170 29087 0 -1 4202560 1624 0 0 0 45 0 0 0 20 0 9 0 436988824 712679424 34541 33554432000 4194304 6211092 140735224006624 140069239126440 5008827 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31179] ppid=31167 vsize=695976 memory=5450916479948256810 CPUtime=0.44 cores=0-7
/proc/31170/task/31179/stat : 31179 (cosoco) R 31167 31170 29087 0 -1 4202560 1972 0 0 0 44 0 0 0 20 0 9 0 436988824 712679424 34541 33554432000 4194304 6211092 140735224006624 140069230734608 5396756 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
Current children cumulated CPU time: 3.88 s
Current children cumulated vsize: 695976 KiB
Current children cumulated memory: 138164 KiB

[startup+1.5015 s]
/proc/loadavg: 1.79 4.25 6.99 9/205 31179
/proc/meminfo: memFree=30131004/32770624 swapFree=67010976/67108860
[pid=31170] ppid=31167 vsize=695976 memory=141104 CPUtime=10.24 cores=0-7
/proc/31170/stat : 31170 (cosoco) S 31167 31170 29087 0 -1 1077944320 59686 0 0 0 1005 19 0 0 20 0 9 0 436988801 712679424 35276 33554432000 4194304 6211092 140735224006624 140735224004880 140069312626423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
/proc/31170/statm: 173994 35276 902 493 0 167299 0
[pid=31170/tid=31172] ppid=31167 vsize=695976 memory=140784 CPUtime=1.25 cores=0-7
/proc/31170/task/31172/stat : 31172 (cosoco) R 31167 31170 29087 0 -1 4202560 4029 0 0 0 124 1 0 0 20 0 9 0 436988824 712679424 35276 33554432000 4194304 6211092 140735224006624 140069289482984 5035216 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31173] ppid=31167 vsize=695976 memory=0 CPUtime=1.21 cores=0-7
/proc/31170/task/31173/stat : 31173 (cosoco) R 31167 31170 29087 0 -1 4202560 4666 0 0 0 121 0 0 0 20 0 9 0 436988824 712679424 35276 33554432000 4194304 6211092 140735224006624 140069281090152 5035320 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31174] ppid=31167 vsize=695976 memory=288230609019732336 CPUtime=1.25 cores=0-7
/proc/31170/task/31174/stat : 31174 (cosoco) R 31167 31170 29087 0 -1 4202560 4351 0 0 0 120 5 0 0 20 0 9 0 436988824 712679424 35276 33554432000 4194304 6211092 140735224006624 140069272697368 5035263 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31175] ppid=31167 vsize=695976 memory=0 CPUtime=1.26 cores=0-7
/proc/31170/task/31175/stat : 31175 (cosoco) R 31167 31170 29087 0 -1 4202560 5129 0 0 0 125 1 0 0 20 0 9 0 436988824 712679424 35276 33554432000 4194304 6211092 140735224006624 140069264305424 5035297 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31176] ppid=31167 vsize=695976 memory=140623269313776 CPUtime=1.25 cores=0-7
/proc/31170/task/31176/stat : 31176 (cosoco) R 31167 31170 29087 0 -1 4202560 4714 0 0 0 124 1 0 0 20 0 9 0 436988824 712679424 35276 33554432000 4194304 6211092 140735224006624 140069255912040 5035297 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31177] ppid=31167 vsize=695976 memory=0 CPUtime=1.25 cores=0-7
/proc/31170/task/31177/stat : 31177 (cosoco) R 31167 31170 29087 0 -1 4202560 5138 0 0 0 123 2 0 0 20 0 9 0 436988824 712679424 35276 33554432000 4194304 6211092 140735224006624 140069247519336 5017286 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31178] ppid=31167 vsize=695976 memory=0 CPUtime=1.24 cores=0-7
/proc/31170/task/31178/stat : 31178 (cosoco) R 31167 31170 29087 0 -1 4202560 4791 0 0 0 122 2 0 0 20 0 9 0 436988824 712679424 35276 33554432000 4194304 6211092 140735224006624 140069239127312 5017248 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31179] ppid=31167 vsize=695976 memory=0 CPUtime=1.25 cores=0-7
/proc/31170/task/31179/stat : 31179 (cosoco) R 31167 31170 29087 0 -1 4202560 5960 0 0 0 124 1 0 0 20 0 9 0 436988824 712679424 35276 33554432000 4194304 6211092 140735224006624 140069230734608 5396756 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
Current children cumulated CPU time: 10.24 s
Current children cumulated vsize: 695976 KiB
Current children cumulated memory: 141104 KiB

[startup+3.1105 s]
/proc/loadavg: 1.79 4.25 6.99 9/205 31179
/proc/meminfo: memFree=30126848/32770624 swapFree=67010976/67108860
[pid=31170] ppid=31167 vsize=695976 memory=141112 CPUtime=23.07 cores=0-7
/proc/31170/stat : 31170 (cosoco) S 31167 31170 29087 0 -1 1077944320 59973 0 0 0 2284 23 0 0 20 0 9 0 436988801 712679424 35278 33554432000 4194304 6211092 140735224006624 140735224004880 140069312626423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
/proc/31170/statm: 173994 35278 902 493 0 167299 0
[pid=31170/tid=31172] ppid=31167 vsize=695976 memory=141112 CPUtime=2.86 cores=0-7
/proc/31170/task/31172/stat : 31172 (cosoco) R 31167 31170 29087 0 -1 4202560 4094 0 0 0 285 1 0 0 20 0 9 0 436988824 712679424 35278 33554432000 4194304 6211092 140735224006624 140069289482984 5035297 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31173] ppid=31167 vsize=695976 memory=6944656592455359580 CPUtime=2.79 cores=0-7
/proc/31170/task/31173/stat : 31173 (cosoco) R 31167 31170 29087 0 -1 4202560 4673 0 0 0 279 0 0 0 20 0 9 0 436988824 712679424 35278 33554432000 4194304 6211092 140735224006624 140069281090152 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31174] ppid=31167 vsize=695976 memory=141112 CPUtime=2.86 cores=0-7
/proc/31170/task/31174/stat : 31174 (cosoco) R 31167 31170 29087 0 -1 4202560 4361 0 0 0 281 5 0 0 20 0 9 0 436988824 712679424 35278 33554432000 4194304 6211092 140735224006624 140069272697368 5409444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31175] ppid=31167 vsize=695976 memory=281246538141584 CPUtime=2.85 cores=0-7
/proc/31170/task/31175/stat : 31175 (cosoco) R 31167 31170 29087 0 -1 4202560 5142 0 0 0 283 2 0 0 20 0 9 0 436988824 712679424 35278 33554432000 4194304 6211092 140735224006624 140069264305424 5409444 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31176] ppid=31167 vsize=695976 memory=11855 CPUtime=2.85 cores=0-7
/proc/31170/task/31176/stat : 31176 (cosoco) R 31167 31170 29087 0 -1 4202560 4770 0 0 0 284 1 0 0 20 0 9 0 436988824 712679424 35278 33554432000 4194304 6211092 140735224006624 140069255912040 5396756 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31177] ppid=31167 vsize=695976 memory=281244793578888 CPUtime=2.86 cores=0-7
/proc/31170/task/31177/stat : 31177 (cosoco) R 31167 31170 29087 0 -1 4202560 5163 0 0 0 284 2 0 0 20 0 9 0 436988824 712679424 35278 33554432000 4194304 6211092 140735224006624 140069247519416 5035216 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31178] ppid=31167 vsize=695976 memory=11847 CPUtime=2.85 cores=0-7
/proc/31170/task/31178/stat : 31178 (cosoco) R 31167 31170 29087 0 -1 4202560 4893 0 0 0 281 4 0 0 20 0 9 0 436988824 712679424 35278 33554432000 4194304 6211092 140735224006624 140069239127312 5017373 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31179] ppid=31167 vsize=695976 memory=24133 CPUtime=2.86 cores=0-7
/proc/31170/task/31179/stat : 31179 (cosoco) R 31167 31170 29087 0 -1 4202560 5969 0 0 0 285 1 0 0 20 0 9 0 436988824 712679424 35278 33554432000 4194304 6211092 140735224006624 140069230734608 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
Current children cumulated CPU time: 23.07 s
Current children cumulated vsize: 695976 KiB
Current children cumulated memory: 141112 KiB

[startup+12.0945 s]
/proc/loadavg: 1.79 4.25 6.99 9/205 31179
/proc/meminfo: memFree=30126848/32770624 swapFree=67010976/67108860
[pid=31170] ppid=31167 vsize=695976 memory=141204 CPUtime=94.81 cores=0-7
/proc/31170/stat : 31170 (cosoco) S 31167 31170 29087 0 -1 1077944320 146139 0 0 0 9426 55 0 0 20 0 9 0 436988801 712679424 35301 33554432000 4194304 6211092 140735224006624 140735224004880 140069312626423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
/proc/31170/statm: 173994 35301 902 493 0 167299 0
[pid=31170/tid=31172] ppid=31167 vsize=695976 memory=6935054825532540783 CPUtime=11.85 cores=0-7
/proc/31170/task/31172/stat : 31172 (cosoco) R 31167 31170 29087 0 -1 4202560 13570 0 0 0 1182 3 0 0 20 0 9 0 436988824 712679424 35301 33554432000 4194304 6211092 140735224006624 140069289482984 5396756 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31173] ppid=31167 vsize=695976 memory=776 CPUtime=11.77 cores=0-7
/proc/31170/task/31173/stat : 31173 (cosoco) R 31167 31170 29087 0 -1 4202560 15284 0 0 0 1176 1 0 0 20 0 9 0 436988824 712679424 35301 33554432000 4194304 6211092 140735224006624 140069281090152 5409444 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31174] ppid=31167 vsize=695976 memory=3992 CPUtime=11.84 cores=0-7
/proc/31170/task/31174/stat : 31174 (cosoco) R 31167 31170 29087 0 -1 4202560 15515 0 0 0 1178 6 0 0 20 0 9 0 436988824 712679424 35301 33554432000 4194304 6211092 140735224006624 140069272697368 5392081 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31175] ppid=31167 vsize=695976 memory=2832 CPUtime=11.76 cores=0-7
/proc/31170/task/31175/stat : 31175 (cosoco) R 31167 31170 29087 0 -1 4202560 16782 0 0 0 1158 18 0 0 20 0 9 0 436988824 712679424 35301 33554432000 4194304 6211092 140735224006624 140069264305424 5404012 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31176] ppid=31167 vsize=695976 memory=8500 CPUtime=11.83 cores=0-7
/proc/31170/task/31176/stat : 31176 (cosoco) R 31167 31170 29087 0 -1 4202560 14956 0 0 0 1181 2 0 0 20 0 9 0 436988824 712679424 35301 33554432000 4194304 6211092 140735224006624 140069255912040 5009182 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31177] ppid=31167 vsize=695976 memory=1696 CPUtime=11.84 cores=0-7
/proc/31170/task/31177/stat : 31177 (cosoco) R 31167 31170 29087 0 -1 4202560 15993 0 0 0 1181 3 0 0 20 0 9 0 436988824 712679424 35301 33554432000 4194304 6211092 140735224006624 140069247519416 5035286 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31178] ppid=31167 vsize=695976 memory=0 CPUtime=11.81 cores=0-7
/proc/31170/task/31178/stat : 31178 (cosoco) R 31167 31170 29087 0 -1 4202560 16078 0 0 0 1167 14 0 0 20 0 9 0 436988824 712679424 35301 33554432000 4194304 6211092 140735224006624 140069239126632 5396756 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31179] ppid=31167 vsize=695976 memory=0 CPUtime=11.83 cores=0-7
/proc/31170/task/31179/stat : 31179 (cosoco) R 31167 31170 29087 0 -1 4202560 17053 0 0 0 1181 2 0 0 20 0 9 0 436988824 712679424 35301 33554432000 4194304 6211092 140735224006624 140069230734608 5396756 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
Current children cumulated CPU time: 94.81 s
Current children cumulated vsize: 695976 KiB
Current children cumulated memory: 141204 KiB

[startup+12.7015 s]
/proc/loadavg: 1.79 4.25 6.99 9/205 31179
/proc/meminfo: memFree=30126848/32770624 swapFree=67010976/67108860
[pid=31170] ppid=31167 vsize=695976 memory=141204 CPUtime=99.66 cores=0-7
/proc/31170/stat : 31170 (cosoco) S 31167 31170 29087 0 -1 1077944320 147314 0 0 0 9909 57 0 0 20 0 9 0 436988801 712679424 35301 33554432000 4194304 6211092 140735224006624 140735224004880 140069312626423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
/proc/31170/statm: 173994 35301 902 493 0 167299 0
[pid=31170/tid=31172] ppid=31167 vsize=695976 memory=141112 CPUtime=12.45 cores=0-7
/proc/31170/task/31172/stat : 31172 (cosoco) R 31167 31170 29087 0 -1 4202560 13592 0 0 0 1242 3 0 0 20 0 9 0 436988824 712679424 35301 33554432000 4194304 6211092 140735224006624 140069289482984 5396736 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31173] ppid=31167 vsize=695976 memory=141204 CPUtime=12.37 cores=0-7
/proc/31170/task/31173/stat : 31173 (cosoco) R 31167 31170 29087 0 -1 4202560 15711 0 0 0 1236 1 0 0 20 0 9 0 436988824 712679424 35301 33554432000 4194304 6211092 140735224006624 140069281090152 5397375 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31174] ppid=31167 vsize=695976 memory=141112 CPUtime=12.45 cores=0-7
/proc/31170/task/31174/stat : 31174 (cosoco) R 31167 31170 29087 0 -1 4202560 15523 0 0 0 1239 6 0 0 20 0 9 0 436988824 712679424 35301 33554432000 4194304 6211092 140735224006624 140069272697368 5148830 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31175] ppid=31167 vsize=695976 memory=141204 CPUtime=12.35 cores=0-7
/proc/31170/task/31175/stat : 31175 (cosoco) R 31167 31170 29087 0 -1 4202560 17286 0 0 0 1216 19 0 0 20 0 9 0 436988824 712679424 35301 33554432000 4194304 6211092 140735224006624 140069264305424 5035263 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31176] ppid=31167 vsize=695976 memory=281244793578888 CPUtime=12.43 cores=0-7
/proc/31170/task/31176/stat : 31176 (cosoco) R 31167 31170 29087 0 -1 4202560 14956 0 0 0 1241 2 0 0 20 0 9 0 436988824 712679424 35301 33554432000 4194304 6211092 140735224006624 140069255912040 5081337 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31177] ppid=31167 vsize=695976 memory=11847 CPUtime=12.45 cores=0-7
/proc/31170/task/31177/stat : 31177 (cosoco) R 31167 31170 29087 0 -1 4202560 16194 0 0 0 1242 3 0 0 20 0 9 0 436988824 712679424 35301 33554432000 4194304 6211092 140735224006624 140069247519416 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31178] ppid=31167 vsize=695976 memory=56 CPUtime=12.42 cores=0-7
/proc/31170/task/31178/stat : 31178 (cosoco) R 31167 31170 29087 0 -1 4202560 16085 0 0 0 1227 15 0 0 20 0 9 0 436988824 712679424 35301 33554432000 4194304 6211092 140735224006624 140069239126552 5396756 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0

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

/proc/31170/task/31174/stat : 31174 (cosoco) R 31167 31170 29087 0 -1 4202560 20742 0 0 0 2517 6 0 0 20 0 9 0 436988824 712679424 35504 33554432000 4194304 6211092 140735224006624 140069272697368 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31175] ppid=31167 vsize=695976 memory=56 CPUtime=25.03 cores=0-7
/proc/31170/task/31175/stat : 31175 (cosoco) R 31167 31170 29087 0 -1 4202560 23575 0 0 0 2473 30 0 0 20 0 9 0 436988824 712679424 35504 33554432000 4194304 6211092 140735224006624 140069264305424 5397211 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31176] ppid=31167 vsize=695976 memory=0 CPUtime=25.04 cores=0-7
/proc/31170/task/31176/stat : 31176 (cosoco) R 31167 31170 29087 0 -1 4202560 20013 0 0 0 2502 2 0 0 20 0 9 0 436988824 712679424 35504 33554432000 4194304 6211092 140735224006624 140069255912040 5008827 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31177] ppid=31167 vsize=695976 memory=132 CPUtime=25.23 cores=0-7
/proc/31170/task/31177/stat : 31177 (cosoco) R 31167 31170 29087 0 -1 4202560 21490 0 0 0 2520 3 0 0 20 0 9 0 436988824 712679424 35504 33554432000 4194304 6211092 140735224006624 140069247519416 5396756 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31178] ppid=31167 vsize=695976 memory=739411698103220502 CPUtime=25.13 cores=0-7
/proc/31170/task/31178/stat : 31178 (cosoco) R 31167 31170 29087 0 -1 4202560 21973 0 0 0 2496 17 0 0 20 0 9 0 436988824 712679424 35504 33554432000 4194304 6211092 140735224006624 140069239127312 5017274 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31179] ppid=31167 vsize=695976 memory=142016 CPUtime=25.21 cores=0-7
/proc/31170/task/31179/stat : 31179 (cosoco) R 31167 31170 29087 0 -1 4202560 23489 0 0 0 2518 3 0 0 20 0 9 0 436988824 712679424 35504 33554432000 4194304 6211092 140735224006624 140069230734608 5035320 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
Current children cumulated CPU time: 201.53 s
Current children cumulated vsize: 695976 KiB
Current children cumulated memory: 142016 KiB

[startup+51.1005 s]
/proc/loadavg: 5.74 4.99 7.11 9/204 31186
/proc/meminfo: memFree=31314244/32770624 swapFree=67010976/67108860
[pid=31170] ppid=31167 vsize=695976 memory=142016 CPUtime=405.8 cores=0-7
/proc/31170/stat : 31170 (cosoco) S 31167 31170 29087 0 -1 1077944320 222646 0 0 0 40503 77 0 0 20 0 9 0 436988801 712679424 35504 33554432000 4194304 6211092 140735224006624 140735224004880 140069312626423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
/proc/31170/statm: 173994 35504 902 493 0 167299 0
[pid=31170/tid=31172] ppid=31167 vsize=695976 memory=142016 CPUtime=50.81 cores=0-7
/proc/31170/task/31172/stat : 31172 (cosoco) R 31167 31170 29087 0 -1 4202560 23162 0 0 0 5077 4 0 0 20 0 9 0 436988824 712679424 35504 33554432000 4194304 6211092 140735224006624 140069289482984 5409457 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31173] ppid=31167 vsize=695976 memory=142016 CPUtime=50.7 cores=0-7
/proc/31170/task/31173/stat : 31173 (cosoco) R 31167 31170 29087 0 -1 4202560 24429 0 0 0 5067 3 0 0 20 0 9 0 436988824 712679424 35504 33554432000 4194304 6211092 140735224006624 140069281090152 5035232 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31174] ppid=31167 vsize=695976 memory=142016 CPUtime=50.81 cores=0-7
/proc/31170/task/31174/stat : 31174 (cosoco) R 31167 31170 29087 0 -1 4202560 24722 0 0 0 5074 7 0 0 20 0 9 0 436988824 712679424 35504 33554432000 4194304 6211092 140735224006624 140069272697368 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31175] ppid=31167 vsize=695976 memory=142016 CPUtime=50.47 cores=0-7
/proc/31170/task/31175/stat : 31175 (cosoco) R 31167 31170 29087 0 -1 4202560 27505 0 0 0 5017 30 0 0 20 0 9 0 436988824 712679424 35504 33554432000 4194304 6211092 140735224006624 140069264305424 5409444 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31176] ppid=31167 vsize=695976 memory=142016 CPUtime=50.4 cores=0-7
/proc/31170/task/31176/stat : 31176 (cosoco) R 31167 31170 29087 0 -1 4202560 24149 0 0 0 5037 3 0 0 20 0 9 0 436988824 712679424 35504 33554432000 4194304 6211092 140735224006624 140069255912040 5035322 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31177] ppid=31167 vsize=695976 memory=142016 CPUtime=50.82 cores=0-7
/proc/31170/task/31177/stat : 31177 (cosoco) R 31167 31170 29087 0 -1 4202560 25587 0 0 0 5079 3 0 0 20 0 9 0 436988824 712679424 35504 33554432000 4194304 6211092 140735224006624 140069247519416 5008827 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31178] ppid=31167 vsize=695976 memory=142016 CPUtime=50.71 cores=0-7
/proc/31170/task/31178/stat : 31178 (cosoco) R 31167 31170 29087 0 -1 4202560 26097 0 0 0 5054 17 0 0 20 0 9 0 436988824 712679424 35504 33554432000 4194304 6211092 140735224006624 140069239127312 5149682 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31179] ppid=31167 vsize=695976 memory=142016 CPUtime=50.79 cores=0-7
/proc/31170/task/31179/stat : 31179 (cosoco) R 31167 31170 29087 0 -1 4202560 26087 0 0 0 5076 3 0 0 20 0 9 0 436988824 712679424 35504 33554432000 4194304 6211092 140735224006624 140069230734608 5389444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
Current children cumulated CPU time: 405.8 s
Current children cumulated vsize: 695976 KiB
Current children cumulated memory: 142016 KiB

[startup+102.3 s]
/proc/loadavg: 7.68 5.64 7.21 9/205 31190
/proc/meminfo: memFree=31316224/32770624 swapFree=67010976/67108860
[pid=31170] ppid=31167 vsize=695976 memory=143344 CPUtime=814.48 cores=0-7
/proc/31170/stat : 31170 (cosoco) S 31167 31170 29087 0 -1 1077944320 265882 0 0 0 81366 82 0 0 20 0 9 0 436988801 712679424 35836 33554432000 4194304 6211092 140735224006624 140735224004880 140069312626423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
/proc/31170/statm: 173994 35836 902 493 0 167299 0
[pid=31170/tid=31172] ppid=31167 vsize=695976 memory=143344 CPUtime=101.98 cores=0-7
/proc/31170/task/31172/stat : 31172 (cosoco) R 31167 31170 29087 0 -1 4202560 28775 0 0 0 10194 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069289483536 5017373 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31173] ppid=31167 vsize=695976 memory=143344 CPUtime=101.88 cores=0-7
/proc/31170/task/31173/stat : 31173 (cosoco) R 31167 31170 29087 0 -1 4202560 29857 0 0 0 10184 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069281090152 5039026 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31174] ppid=31167 vsize=695976 memory=143344 CPUtime=101.99 cores=0-7
/proc/31170/task/31174/stat : 31174 (cosoco) R 31167 31170 29087 0 -1 4202560 30104 0 0 0 10191 8 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069272697368 5035216 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31175] ppid=31167 vsize=695976 memory=143344 CPUtime=101.64 cores=0-7
/proc/31170/task/31175/stat : 31175 (cosoco) R 31167 31170 29087 0 -1 4202560 33558 0 0 0 10133 31 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069264305424 5409444 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31176] ppid=31167 vsize=695976 memory=143344 CPUtime=101.56 cores=0-7
/proc/31170/task/31176/stat : 31176 (cosoco) R 31167 31170 29087 0 -1 4202560 28713 0 0 0 10153 3 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069255912040 5017274 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31177] ppid=31167 vsize=695976 memory=143344 CPUtime=102 cores=0-7
/proc/31170/task/31177/stat : 31177 (cosoco) R 31167 31170 29087 0 -1 4202560 32566 0 0 0 10196 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069247519416 5409439 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31178] ppid=31167 vsize=695976 memory=143148 CPUtime=101.88 cores=0-7
/proc/31170/task/31178/stat : 31178 (cosoco) R 31167 31170 29087 0 -1 4202560 31675 0 0 0 10170 18 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069239127312 5409465 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31179] ppid=31167 vsize=695976 memory=143344 CPUtime=101.27 cores=0-7
/proc/31170/task/31179/stat : 31179 (cosoco) R 31167 31170 29087 0 -1 4202560 29726 0 0 0 10123 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069230734608 5039132 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
Current children cumulated CPU time: 814.48 s
Current children cumulated vsize: 695976 KiB
Current children cumulated memory: 143344 KiB

[startup+162.301 s]
/proc/loadavg: 8.64 6.31 7.35 9/205 31193
/proc/meminfo: memFree=31314584/32770624 swapFree=67010976/67108860
[pid=31170] ppid=31167 vsize=695976 memory=143344 CPUtime=1293.55 cores=0-7
/proc/31170/stat : 31170 (cosoco) S 31167 31170 29087 0 -1 1077944320 278265 0 0 0 129271 84 0 0 20 0 9 0 436988801 712679424 35836 33554432000 4194304 6211092 140735224006624 140735224004880 140069312626423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
/proc/31170/statm: 173994 35836 902 493 0 167299 0
[pid=31170/tid=31172] ppid=31167 vsize=695976 memory=143344 CPUtime=161.97 cores=0-7
/proc/31170/task/31172/stat : 31172 (cosoco) R 31167 31170 29087 0 -1 4202560 30930 0 0 0 16193 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069289483536 5396756 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31173] ppid=31167 vsize=695976 memory=143344 CPUtime=161.87 cores=0-7
/proc/31170/task/31173/stat : 31173 (cosoco) R 31167 31170 29087 0 -1 4202560 31132 0 0 0 16183 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069281090152 5149653 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31174] ppid=31167 vsize=695976 memory=143344 CPUtime=161.97 cores=0-7
/proc/31170/task/31174/stat : 31174 (cosoco) R 31167 31170 29087 0 -1 4202560 31884 0 0 0 16189 8 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069272697368 5389851 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31175] ppid=31167 vsize=695976 memory=143344 CPUtime=161.63 cores=0-7
/proc/31170/task/31175/stat : 31175 (cosoco) R 31167 31170 29087 0 -1 4202560 35522 0 0 0 16132 31 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069264305424 5035232 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31176] ppid=31167 vsize=695976 memory=0 CPUtime=161.56 cores=0-7
/proc/31170/task/31176/stat : 31176 (cosoco) R 31167 31170 29087 0 -1 4202560 29970 0 0 0 16152 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069255912040 5039673 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31177] ppid=31167 vsize=695976 memory=0 CPUtime=161.97 cores=0-7
/proc/31170/task/31177/stat : 31177 (cosoco) R 31167 31170 29087 0 -1 4202560 34124 0 0 0 16193 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069247519416 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31178] ppid=31167 vsize=695976 memory=1948 CPUtime=161.86 cores=0-7
/proc/31170/task/31178/stat : 31178 (cosoco) R 31167 31170 29087 0 -1 4202560 33153 0 0 0 16168 18 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069239127312 5409444 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31179] ppid=31167 vsize=695976 memory=1296 CPUtime=160.43 cores=0-7
/proc/31170/task/31179/stat : 31179 (cosoco) R 31167 31170 29087 0 -1 4202560 30642 0 0 0 16039 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069230734608 5409444 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
Current children cumulated CPU time: 1293.55 s
Current children cumulated vsize: 695976 KiB
Current children cumulated memory: 143344 KiB

[startup+222.3 s]
/proc/loadavg: 8.80 6.79 7.45 9/205 31198
/proc/meminfo: memFree=31314792/32770624 swapFree=67010976/67108860
[pid=31170] ppid=31167 vsize=695976 memory=143344 CPUtime=1772.58 cores=0-7
/proc/31170/stat : 31170 (cosoco) S 31167 31170 29087 0 -1 1077944320 282347 0 0 0 177174 84 0 0 20 0 9 0 436988801 712679424 35836 33554432000 4194304 6211092 140735224006624 140735224004880 140069312626423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
/proc/31170/statm: 173994 35836 902 493 0 167299 0
[pid=31170/tid=31172] ppid=31167 vsize=695976 memory=6935054825532540783 CPUtime=221.95 cores=0-7
/proc/31170/task/31172/stat : 31172 (cosoco) R 31167 31170 29087 0 -1 4202560 31536 0 0 0 22191 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069289483536 5409444 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31173] ppid=31167 vsize=695976 memory=143344 CPUtime=221.85 cores=0-7
/proc/31170/task/31173/stat : 31173 (cosoco) R 31167 31170 29087 0 -1 4202560 31631 0 0 0 22181 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069281090152 5149953 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31174] ppid=31167 vsize=695976 memory=143344 CPUtime=221.96 cores=0-7
/proc/31170/task/31174/stat : 31174 (cosoco) R 31167 31170 29087 0 -1 4202560 32429 0 0 0 22188 8 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069272697368 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31175] ppid=31167 vsize=695976 memory=143344 CPUtime=221.62 cores=0-7
/proc/31170/task/31175/stat : 31175 (cosoco) R 31167 31170 29087 0 -1 4202560 36159 0 0 0 22131 31 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069264305424 5392384 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31176] ppid=31167 vsize=695976 memory=984 CPUtime=221.54 cores=0-7
/proc/31170/task/31176/stat : 31176 (cosoco) R 31167 31170 29087 0 -1 4202560 30433 0 0 0 22150 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069255912040 5409444 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31177] ppid=31167 vsize=695976 memory=143344 CPUtime=221.95 cores=0-7
/proc/31170/task/31177/stat : 31177 (cosoco) R 31167 31170 29087 0 -1 4202560 34730 0 0 0 22191 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069247519416 5017373 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31178] ppid=31167 vsize=695976 memory=143344 CPUtime=221.83 cores=0-7
/proc/31170/task/31178/stat : 31178 (cosoco) R 31167 31170 29087 0 -1 4202560 33609 0 0 0 22165 18 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069239127312 5148599 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31179] ppid=31167 vsize=695976 memory=6935054825532540783 CPUtime=219.58 cores=0-7
/proc/31170/task/31179/stat : 31179 (cosoco) R 31167 31170 29087 0 -1 4202560 30912 0 0 0 21954 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069230734608 5409449 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
Current children cumulated CPU time: 1772.58 s
Current children cumulated vsize: 695976 KiB
Current children cumulated memory: 143344 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252 s]
/proc/loadavg: 8.90 7.00 7.50 9/205 31199
/proc/meminfo: memFree=31314528/32770624 swapFree=67010976/67108860
[pid=31170] ppid=31167 vsize=695976 memory=143344 CPUtime=2009.69 cores=0-7
/proc/31170/stat : 31170 (cosoco) S 31167 31170 29087 0 -1 1077944320 284674 0 0 0 200884 85 0 0 20 0 9 0 436988801 712679424 35836 33554432000 4194304 6211092 140735224006624 140735224004880 140069312626423 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
/proc/31170/statm: 173994 35836 902 493 0 167299 0
[pid=31170/tid=31172] ppid=31167 vsize=695976 memory=8092 CPUtime=251.64 cores=0-7
/proc/31170/task/31172/stat : 31172 (cosoco) R 31167 31170 29087 0 -1 4202560 31879 0 0 0 25160 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069289483536 5409439 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31173] ppid=31167 vsize=695976 memory=23964 CPUtime=251.54 cores=0-7
/proc/31170/task/31173/stat : 31173 (cosoco) R 31167 31170 29087 0 -1 4202560 31876 0 0 0 25150 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069281090152 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31174] ppid=31167 vsize=695976 memory=143344 CPUtime=251.65 cores=0-7
/proc/31170/task/31174/stat : 31174 (cosoco) R 31167 31170 29087 0 -1 4202560 32724 0 0 0 25157 8 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069272697368 5035320 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31175] ppid=31167 vsize=695976 memory=143344 CPUtime=251.31 cores=0-7
/proc/31170/task/31175/stat : 31175 (cosoco) R 31167 31170 29087 0 -1 4202560 36497 0 0 0 25100 31 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069264305424 5409457 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31176] ppid=31167 vsize=695976 memory=3484 CPUtime=251.05 cores=0-7
/proc/31170/task/31176/stat : 31176 (cosoco) R 31167 31170 29087 0 -1 4202560 30898 0 0 0 25101 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069255912040 5409461 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31177] ppid=31167 vsize=695976 memory=143344 CPUtime=251.63 cores=0-7
/proc/31170/task/31177/stat : 31177 (cosoco) R 31167 31170 29087 0 -1 4202560 35028 0 0 0 25159 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069247519416 5082416 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31178] ppid=31167 vsize=695976 memory=143344 CPUtime=251.52 cores=0-7
/proc/31170/task/31178/stat : 31178 (cosoco) R 31167 31170 29087 0 -1 4202560 33845 0 0 0 25134 18 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069239127312 5039026 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
[pid=31170/tid=31179] ppid=31167 vsize=695976 memory=143344 CPUtime=249.03 cores=0-7
/proc/31170/task/31179/stat : 31179 (cosoco) R 31167 31170 29087 0 -1 4202560 31019 0 0 0 24899 4 0 0 20 0 9 0 436988824 712679424 35836 33554432000 4194304 6211092 140735224006624 140069230734608 5039047 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 29896704 140735224009750 140735224009842 140735224009842 140735224012750 0
Current children cumulated CPU time: 2009.69 s
Current children cumulated vsize: 695976 KiB
Current children cumulated memory: 143344 KiB

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

[startup+252.015 s]
# the end of solver process 31170 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2008.94 s, system=0.8534 s

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

Child status: 1
Real time (s): 252.016
CPU time (s): 2009.8
CPU user time (s): 2008.94
CPU system time (s): 0.8534
CPU usage (%): 797.49
Max. virtual memory (cumulated for all children) (KiB): 695976
Max. memory (cumulated for all children) (KiB): 143344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2008.94
system time used= 0.8534
maximum resident set size= 143620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284723
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= 11825
involuntary context switches= 18721


# summary of solver processes directly reported to runsolver:
#   pid: 31170
#   total CPU time (s): 2009.8
#   total CPU user time (s): 2008.94
#   total CPU system time (s): 0.8534

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.22477 second user time and 2.17249 second system time

The end

Launcher Data

Begin job on node132 at 2019-09-16 07:10:11
IDJOB=4398535
IDBENCH=140480
IDSOLVER=2852
FILE ID=node132/4398535-1568610660
RUNJOBID= node132-1568597878-29114
PBS_JOBID= 21703412
Free space on /tmp= 61056 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbo-30-15-1.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398535-1568610660/watcher-4398535-1568610660 -o /tmp/evaluation-result-4398535-1568610660/solver-4398535-1568610660 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node132-1568597878-29114 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4398535-1568610660.xml

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

MD5SUM BENCH= 9a57509d02107f3cf02e1da9240cc9e8
RANDOM SEED=473482539

node132.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.95
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.95
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.95
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.95
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:        30265308 kB
MemAvailable:   31897800 kB
Buffers:          111176 kB
Cached:          1786388 kB
SwapCached:         5936 kB
Active:           415368 kB
Inactive:        1490048 kB
Active(anon):       5064 kB
Inactive(anon):    32284 kB
Active(file):     410304 kB
Inactive(file):  1457764 kB
Unevictable:      109612 kB
Mlocked:          109612 kB
SwapTotal:      67108860 kB
SwapFree:       67010976 kB
Dirty:            922176 kB
Writeback:         78548 kB
AnonPages:        113972 kB
Mapped:            35788 kB
Shmem:             20760 kB
Slab:             190116 kB
SReclaimable:     160520 kB
SUnreclaim:        29596 kB
KernelStack:        3456 kB
PageTables:         5420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     477916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      136576 kB
DirectMap2M:    33409024 kB

Free space on /tmp at the end= 61620 MiB
End job on node132 at 2019-09-16 07:14:24