Trace number 4398420

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)5 20124.8 2520.02

General information on the benchmark

NameOpenStacks/OpenStacks-m1-s1/
OpenStacks-m1-wbop-10-20-1.xml
MD5SUM81c67383229f275c0057c3a1b360ed12
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark26.4726
Satisfiable
(Un)Satisfiability was proved
Number of variables640
Number of constraints621
Number of domains4
Minimum domain size2
Maximum domain size21
Distribution of domain sizes[{"size":2,"count":400},{"size":5,"count":200},{"size":20,"count":20},{"size":21,"count":20}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":230},{"degree":3,"count":390},{"degree":11,"count":20}]
Minimum constraint arity2
Maximum constraint arity20
Distribution of constraint arities[{"arity":2,"count":210},{"arity":3,"count":390},{"arity":11,"count":20},{"arity":20,"count":1}]
Number of extensional constraints200
Number of intensional constraints200
Distribution of constraint types[{"type":"extension","count":200},{"type":"intension","count":200},{"type":"allDifferent","count":1},{"type":"sum","count":20},{"type":"element","count":200}]
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.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.02	c AllEqual constraint using 1 generic x=y constraints 
0.13/0.15	c
0.13/0.15	c This is cosoco 2.00 --  
0.13/0.15	c
0.13/0.15	c command line: cosoco -model -nbcores=8 HOME/instance-4398420-1568603604.xml 
0.13/0.15	c enable optimization
0.13/0.15	c ========================================[ Problem Statistics ]===========================================
0.13/0.15	c |                                                                                                       
0.13/0.15	c |  Parse time        :         0.09 s 
0.13/0.15	c |
0.13/0.15	c |               Variables: 640
0.13/0.15	c |            Domain Sizes: 2..21
0.13/0.15	c |
0.13/0.15	c |             Constraints: 622
0.13/0.15	c |                   Arity: 2..20  -- Binary: 210  -- Ternary: 390
0.13/0.15	c | 
0.13/0.15	c |                   Types: 
0.13/0.15	c |                          (X = Y): 10
0.13/0.15	c |                          All Different: 1
0.13/0.15	c |                          Extension: 400  (nb tuples: 6..20) -- (shared: 1592)
0.13/0.15	c |                          Max constant: 1
0.13/0.15	c |                          Sum: 210
0.13/0.15	c |                          
0.13/0.15	c |               Objective: Minimize Max constant
0.13/0.15	
0.13/0.15	c =========================================================================================================
0.13/0.15	c Parallel mode: Portfolio
0.13/0.15	c [pFactory][Group N°0] created (threads:8).
0.13/0.15	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.13/0.15	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.13/0.15	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.13/0.15	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.13/0.15	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.13/0.15	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.13/0.15	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.13/0.15	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.13/0.15	c [pFactory][Group N°0] concurrent mode: enabled.
0.13/0.15	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.13/0.15	c [pFactory][Group N°0] task 7 launched on thread 7.
0.13/0.15	c [pFactory][Group N°0] task 6 launched on thread 1.
0.13/0.15	c [pFactory][Group N°0] task 5 launched on thread 0.
0.13/0.15	c [pFactory][Group N°0] task 4 launched on thread 4.
0.13/0.15	c [pFactory][Group N°0] task 3 launched on thread 3.
0.13/0.15	c [pFactory][Group N°0] task 2 launched on thread 2.
0.13/0.15	c [pFactory][Group N°0] task 1 launched on thread 5.
0.13/0.15	c [pFactory][Group N°0] task 0 launched on thread 6.
0.13/0.15	o 9
0.69/0.24	o 8
0.69/0.27	o 7
6.12/0.92	o 6
6.12/0.98	o 5
20124.69/2520.02	
20124.69/2520.02	c *** INTERRUPTED ***
20124.69/2520.02	c call to solver        : 2
20124.69/2520.02	c
20124.69/2520.02	c restarts              : 1251668     
20124.69/2520.02	c conflicts             : 16979991     (844 /sec)
20124.69/2520.02	c decisions             : 89043723     (4425 /sec)
20124.69/2520.02	c propagations          : 3039871362  (151053 /sec)
20124.69/2520.02	c root propagations     : 200         
20124.69/2520.02	c filter calls          : 7160734108     (355821 /sec)
20124.69/2520.02	c useless filter calls  : 4917786735     (68 %)
20124.69/2520.02	c Memory used           : 623.87 MB
20124.69/2520.02	c Best bound time (wc)  : 0.977858 s
20124.69/2520.02	c CPU time              : 20124.6 s
20124.69/2520.02	c real time             : 2520.02 s
20124.69/2520.02	
20124.69/2520.02	s SATISFIABLE
20124.69/2520.02	c Best value found: 5
20124.69/2520.02	
20124.69/2520.02	
20124.69/2520.02	v <instantiation type='solution' cost='5'>
20124.69/2520.02	v <list>np[0][0] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[1][0] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[2][0] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[3][0] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[4][0] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[5][0] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[6][0] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[7][0] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[8][0] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[9][0] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] o[0][0] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[1][0] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[2][0] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[3][0] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[4][0] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[5][0] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[6][0] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[7][0] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[8][0] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[9][0] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] p[0] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] r[0][0] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[1][0] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[2][0] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[3][0] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[4][0] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[5][0] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[6][0] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[7][0] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[8][0] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[9][0] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] so[0] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] </list>
20124.69/2520.02	v <values>0 1 1 2 2 3 3 3 4 4 4 0 0 0 0 0 0 0 0 1 0 2 2 3 3 3 3 3 3 4 4 0 0 0 0 1 2 2 2 2 0 4 4 4 4 4 4 4 4 4 4 1 1 1 2 2 2 2 3 3 0 1 1 1 2 2 2 3 3 3 4 0 0 0 0 0 0 0 0 0 0 2 3 3 4 4 4 4 4 4 4 0 1 1 1 1 2 2 2 2 0 4 4 4 4 4 4 4 4 4 4 0 1 2 2 2 2 3 3 4 1 4 4 4 4 4 4 4 4 4 4 2 2 3 4 4 4 4 4 4 0 0 1 1 1 1 2 3 4 4 4 0 0 0 0 0 0 0 0 0 1 4 4 4 4 4 4 4 4 4 4 1 1 1 1 2 2 3 4 4 0 0 0 0 0 1 2 2 2 3 4 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 6 17 0 16 10 15 1 9 13 18 19 7 8 5 12 11 4 3 14 2 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 2 5 5 5 5 5 5 5 5 3 2 3 5 5 5 5 5 5 5 5 </values>
20124.69/2520.02	v </instantiation>
20124.69/2520.02

Verifier Data 

OK	5

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398420-1568603604/watcher-4398420-1568603604 -o /tmp/evaluation-result-4398420-1568603604/solver-4398420-1568603604 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568597902-4463 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398420-1568603604.xml 

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

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


[startup+0.100146 s]*
/proc/loadavg: 7.59 8.17 8.27 2/193 5265
/proc/meminfo: memFree=25726308/32770624 swapFree=66941256/67108860
[pid=5264] ppid=5261 vsize=638840 memory=25772 CPUtime=0.13 cores=0-7
/proc/5264/stat : 5264 (cosoco) S 5261 5264 4436 0 -1 1077944320 6884 0 0 0 13 0 0 0 20 0 9 0 436599029 654172160 6443 33554432000 4194304 6211092 140733171174416 140733171172672 140232171216631 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
/proc/5264/statm: 159710 6443 906 493 0 153015 0
[pid=5264/tid=5266] ppid=5261 vsize=638840 memory=7005738693937936738 CPUtime=0 cores=0-7
/proc/5264/task/5266/stat : 5266 (cosoco) D 5261 5264 4436 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 9 0 436599039 654172160 6443 33554432000 4194304 6211092 140733171174416 140232148073048 140232155171646 0 0 4096 8405026 18446744071582151416 0 0 -1 4 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5267] ppid=5261 vsize=638840 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5264/task/5267/stat : 5267 (cosoco) R 5261 5264 4436 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 9 0 436599039 654172160 6443 33554432000 4194304 6211092 140733171174416 140232139680344 140232155651671 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5268] ppid=5261 vsize=638840 memory=140662123210368 CPUtime=0 cores=0-7
/proc/5264/task/5268/stat : 5268 (cosoco) R 5261 5264 4436 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 9 0 436599039 654172160 6443 33554432000 4194304 6211092 140733171174416 140232131287480 140232155171646 0 0 4096 8405026 18446744071582151416 0 0 -1 0 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5269] ppid=5261 vsize=638840 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5269/stat : 5269 (cosoco) R 5261 5264 4436 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 9 0 436599039 654172160 6443 33554432000 4194304 6211092 140733171174416 140232122894872 140232155171646 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5270] ppid=5261 vsize=638840 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5270/stat : 5270 (cosoco) R 5261 5264 4436 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 9 0 436599039 654172160 6443 33554432000 4194304 6211092 140733171174416 140232114502056 140232155651671 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5271] ppid=5261 vsize=638840 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5271/stat : 5271 (cosoco) D 5261 5264 4436 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 9 0 436599039 654172160 6443 33554432000 4194304 6211092 140733171174416 140232106109368 140232155171646 0 0 4096 8405026 18446744071582151416 0 0 -1 4 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5272] ppid=5261 vsize=638840 memory=-1 CPUtime=0 cores=0-7
/proc/5264/task/5272/stat : 5272 (cosoco) R 5261 5264 4436 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 9 0 436599039 654172160 6443 33554432000 4194304 6211092 140733171174416 140232097717184 5409364 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5273] ppid=5261 vsize=638840 memory=0 CPUtime=0 cores=0-7
/proc/5264/task/5273/stat : 5273 (cosoco) R 5261 5264 4436 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 9 0 436599039 654172160 6443 33554432000 4194304 6211092 140733171174416 140232089323960 140232155651671 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 638840 KiB
Current children cumulated memory: 25772 KiB

[startup+0.209974 s]*
/proc/loadavg: 7.59 8.17 8.27 9/201 5273
/proc/meminfo: memFree=25715636/32770624 swapFree=66941256/67108860
[pid=5264] ppid=5261 vsize=638840 memory=36808 CPUtime=0.69 cores=0-7
/proc/5264/stat : 5264 (cosoco) S 5261 5264 4436 0 -1 1077944320 9616 0 0 0 67 2 0 0 20 0 9 0 436599029 654172160 9202 33554432000 4194304 6211092 140733171174416 140733171172672 140232171216631 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
/proc/5264/statm: 159710 9202 916 493 0 153015 0
[pid=5264/tid=5266] ppid=5261 vsize=638840 memory=8316850467074736180 CPUtime=0.08 cores=0-7
/proc/5264/task/5266/stat : 5266 (cosoco) R 5261 5264 4436 0 -1 4202560 394 0 0 0 8 0 0 0 20 0 9 0 436599039 654172160 9202 33554432000 4194304 6211092 140733171174416 140232148073192 5409431 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5267] ppid=5261 vsize=638840 memory=1943648 CPUtime=0.06 cores=0-7
/proc/5264/task/5267/stat : 5267 (cosoco) R 5261 5264 4436 0 -1 4202560 325 0 0 0 6 0 0 0 20 0 9 0 436599039 654172160 9202 33554432000 4194304 6211092 140733171174416 140232139680360 5389408 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5268] ppid=5261 vsize=638840 memory=140662123218014 CPUtime=0.07 cores=0-7
/proc/5264/task/5268/stat : 5268 (cosoco) R 5261 5264 4436 0 -1 4202560 346 0 0 0 7 0 0 0 20 0 9 0 436599039 654172160 9202 33554432000 4194304 6211092 140733171174416 140232131287784 5409444 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5269] ppid=5261 vsize=638840 memory=-1 CPUtime=0.07 cores=0-7
/proc/5264/task/5269/stat : 5269 (cosoco) R 5261 5264 4436 0 -1 4202560 336 0 0 0 7 0 0 0 20 0 9 0 436599039 654172160 9202 33554432000 4194304 6211092 140733171174416 140232122895080 5035232 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5270] ppid=5261 vsize=638840 memory=0 CPUtime=0.09 cores=0-7
/proc/5264/task/5270/stat : 5270 (cosoco) R 5261 5264 4436 0 -1 4202560 416 0 0 0 9 0 0 0 20 0 9 0 436599039 654172160 9202 33554432000 4194304 6211092 140733171174416 140232114502376 5035216 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5271] ppid=5261 vsize=638840 memory=0 CPUtime=0.04 cores=0-7
/proc/5264/task/5271/stat : 5271 (cosoco) R 5261 5264 4436 0 -1 4202560 419 0 0 0 4 0 0 0 20 0 9 0 436599039 654172160 9202 33554432000 4194304 6211092 140733171174416 140232106109544 5009388 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5272] ppid=5261 vsize=638840 memory=-1 CPUtime=0.07 cores=0-7
/proc/5264/task/5272/stat : 5272 (cosoco) R 5261 5264 4436 0 -1 4202560 417 0 0 0 7 0 0 0 20 0 9 0 436599039 654172160 9202 33554432000 4194304 6211092 140733171174416 140232097716648 5396400 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5273] ppid=5261 vsize=638840 memory=0 CPUtime=0.07 cores=0-7
/proc/5264/task/5273/stat : 5273 (cosoco) R 5261 5264 4436 0 -1 4202560 356 0 0 0 7 0 0 0 20 0 9 0 436599039 654172160 9202 33554432000 4194304 6211092 140733171174416 140232089324264 5035322 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 638840 KiB
Current children cumulated memory: 36808 KiB

[startup+0.309974 s]*
/proc/loadavg: 7.59 8.17 8.27 9/201 5273
/proc/meminfo: memFree=25715264/32770624 swapFree=66941256/67108860
[pid=5264] ppid=5261 vsize=638840 memory=37600 CPUtime=1.48 cores=0-7
/proc/5264/stat : 5264 (cosoco) S 5261 5264 4436 0 -1 1077944320 9770 0 0 0 146 2 0 0 20 0 9 0 436599029 654172160 9400 33554432000 4194304 6211092 140733171174416 140733171172672 140232171216631 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
/proc/5264/statm: 159710 9400 916 493 0 153015 0
[pid=5264/tid=5266] ppid=5261 vsize=638840 memory=-7035114785800479027 CPUtime=0.18 cores=0-7
/proc/5264/task/5266/stat : 5266 (cosoco) R 5261 5264 4436 0 -1 4202560 437 0 0 0 18 0 0 0 20 0 9 0 436599039 654172160 9400 33554432000 4194304 6211092 140733171174416 140232148073744 5035312 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5267] ppid=5261 vsize=638840 memory=4126316290023845779 CPUtime=0.16 cores=0-7
/proc/5264/task/5267/stat : 5267 (cosoco) R 5261 5264 4436 0 -1 4202560 345 0 0 0 16 0 0 0 20 0 9 0 436599039 654172160 9400 33554432000 4194304 6211092 140733171174416 140232139680360 5149217 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5268] ppid=5261 vsize=638840 memory=0 CPUtime=0.17 cores=0-7
/proc/5264/task/5268/stat : 5268 (cosoco) R 5261 5264 4436 0 -1 4202560 346 0 0 0 17 0 0 0 20 0 9 0 436599039 654172160 9400 33554432000 4194304 6211092 140733171174416 140232131287656 5389404 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5269] ppid=5261 vsize=638840 memory=0 CPUtime=0.17 cores=0-7
/proc/5264/task/5269/stat : 5269 (cosoco) R 5261 5264 4436 0 -1 4202560 425 0 0 0 17 0 0 0 20 0 9 0 436599039 654172160 9400 33554432000 4194304 6211092 140733171174416 140232122894952 5250450 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5270] ppid=5261 vsize=638840 memory=6656426216303648864 CPUtime=0.19 cores=0-7
/proc/5264/task/5270/stat : 5270 (cosoco) R 5261 5264 4436 0 -1 4202560 416 0 0 0 19 0 0 0 20 0 9 0 436599039 654172160 9400 33554432000 4194304 6211092 140733171174416 140232114502376 5392081 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5271] ppid=5261 vsize=638840 memory=0 CPUtime=0.13 cores=0-7
/proc/5264/task/5271/stat : 5271 (cosoco) R 5261 5264 4436 0 -1 4202560 419 0 0 0 13 0 0 0 20 0 9 0 436599039 654172160 9400 33554432000 4194304 6211092 140733171174416 140232106110080 5008827 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5272] ppid=5261 vsize=638840 memory=0 CPUtime=0.17 cores=0-7
/proc/5264/task/5272/stat : 5272 (cosoco) R 5261 5264 4436 0 -1 4202560 419 0 0 0 17 0 0 0 20 0 9 0 436599039 654172160 9400 33554432000 4194304 6211092 140733171174416 140232097716648 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5273] ppid=5261 vsize=638840 memory=0 CPUtime=0.17 cores=0-7
/proc/5264/task/5273/stat : 5273 (cosoco) R 5261 5264 4436 0 -1 4202560 356 0 0 0 17 0 0 0 20 0 9 0 436599039 654172160 9400 33554432000 4194304 6211092 140733171174416 140232089324264 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 638840 KiB
Current children cumulated memory: 37600 KiB

[startup+0.700972 s]
/proc/loadavg: 7.59 8.17 8.27 9/201 5273
/proc/meminfo: memFree=25714588/32770624 swapFree=66941256/67108860
[pid=5264] ppid=5261 vsize=638840 memory=37600 CPUtime=4.52 cores=0-7
/proc/5264/stat : 5264 (cosoco) S 5261 5264 4436 0 -1 1077944320 9770 0 0 0 450 2 0 0 20 0 9 0 436599029 654172160 9400 33554432000 4194304 6211092 140733171174416 140733171172672 140232171216631 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
/proc/5264/statm: 159710 9400 916 493 0 153015 0
[pid=5264/tid=5266] ppid=5261 vsize=638840 memory=1436 CPUtime=0.56 cores=0-7
/proc/5264/task/5266/stat : 5266 (cosoco) R 5261 5264 4436 0 -1 4202560 437 0 0 0 56 0 0 0 20 0 9 0 436599039 654172160 9400 33554432000 4194304 6211092 140733171174416 140232148073744 5035270 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5267] ppid=5261 vsize=638840 memory=804 CPUtime=0.54 cores=0-7
/proc/5264/task/5267/stat : 5267 (cosoco) R 5261 5264 4436 0 -1 4202560 345 0 0 0 54 0 0 0 20 0 9 0 436599039 654172160 9400 33554432000 4194304 6211092 140733171174416 140232139680360 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5268] ppid=5261 vsize=638840 memory=1764 CPUtime=0.55 cores=0-7
/proc/5264/task/5268/stat : 5268 (cosoco) R 5261 5264 4436 0 -1 4202560 346 0 0 0 55 0 0 0 20 0 9 0 436599039 654172160 9400 33554432000 4194304 6211092 140733171174416 140232131287656 5081703 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5269] ppid=5261 vsize=638840 memory=111628 CPUtime=0.55 cores=0-7
/proc/5264/task/5269/stat : 5269 (cosoco) R 5261 5264 4436 0 -1 4202560 425 0 0 0 55 0 0 0 20 0 9 0 436599039 654172160 9400 33554432000 4194304 6211092 140733171174416 140232122895376 5149648 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5270] ppid=5261 vsize=638840 memory=800 CPUtime=0.57 cores=0-7
/proc/5264/task/5270/stat : 5270 (cosoco) R 5261 5264 4436 0 -1 4202560 416 0 0 0 57 0 0 0 20 0 9 0 436599039 654172160 9400 33554432000 4194304 6211092 140733171174416 140232114502928 5186286 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5271] ppid=5261 vsize=638840 memory=-7175204567652784766 CPUtime=0.5 cores=0-7
/proc/5264/task/5271/stat : 5271 (cosoco) R 5261 5264 4436 0 -1 4202560 419 0 0 0 50 0 0 0 20 0 9 0 436599039 654172160 9400 33554432000 4194304 6211092 140733171174416 140232106110080 5035232 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5272] ppid=5261 vsize=638840 memory=7100839861465685612 CPUtime=0.56 cores=0-7
/proc/5264/task/5272/stat : 5272 (cosoco) R 5261 5264 4436 0 -1 4202560 419 0 0 0 56 0 0 0 20 0 9 0 436599039 654172160 9400 33554432000 4194304 6211092 140733171174416 140232097716648 5392081 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5273] ppid=5261 vsize=638840 memory=3054156605268465310 CPUtime=0.55 cores=0-7
/proc/5264/task/5273/stat : 5273 (cosoco) R 5261 5264 4436 0 -1 4202560 356 0 0 0 55 0 0 0 20 0 9 0 436599039 654172160 9400 33554432000 4194304 6211092 140733171174416 140232089324264 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
Current children cumulated CPU time: 4.52 s
Current children cumulated vsize: 638840 KiB
Current children cumulated memory: 37600 KiB

[startup+1.50097 s]
/proc/loadavg: 7.59 8.17 8.27 9/201 5273
/proc/meminfo: memFree=25714216/32770624 swapFree=66941256/67108860
[pid=5264] ppid=5261 vsize=638840 memory=38920 CPUtime=10.91 cores=0-7
/proc/5264/stat : 5264 (cosoco) S 5261 5264 4436 0 -1 1077944320 18046 0 0 0 1086 5 0 0 20 0 9 0 436599029 654172160 9730 33554432000 4194304 6211092 140733171174416 140733171172672 140232171216631 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
/proc/5264/statm: 159710 9730 917 493 0 153015 0
[pid=5264/tid=5266] ppid=5261 vsize=638840 memory=0 CPUtime=1.35 cores=0-7
/proc/5264/task/5266/stat : 5266 (cosoco) R 5261 5264 4436 0 -1 4202560 1797 0 0 0 135 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232148073744 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5267] ppid=5261 vsize=638840 memory=148 CPUtime=1.34 cores=0-7
/proc/5264/task/5267/stat : 5267 (cosoco) R 5261 5264 4436 0 -1 4202560 1010 0 0 0 134 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232139680360 5009136 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5268] ppid=5261 vsize=638840 memory=1943578 CPUtime=1.35 cores=0-7
/proc/5264/task/5268/stat : 5268 (cosoco) R 5261 5264 4436 0 -1 4202560 1577 0 0 0 135 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232131288192 5148679 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5269] ppid=5261 vsize=638840 memory=1945826 CPUtime=1.35 cores=0-7
/proc/5264/task/5269/stat : 5269 (cosoco) R 5261 5264 4436 0 -1 4202560 1325 0 0 0 135 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232122895376 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5270] ppid=5261 vsize=638840 memory=0 CPUtime=1.37 cores=0-7
/proc/5264/task/5270/stat : 5270 (cosoco) R 5261 5264 4436 0 -1 4202560 1262 0 0 0 137 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232114502928 5081371 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5271] ppid=5261 vsize=638840 memory=0 CPUtime=1.28 cores=0-7
/proc/5264/task/5271/stat : 5271 (cosoco) R 5261 5264 4436 0 -1 4202560 1201 0 0 0 128 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232106109968 5396317 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5272] ppid=5261 vsize=638840 memory=0 CPUtime=1.35 cores=0-7
/proc/5264/task/5272/stat : 5272 (cosoco) R 5261 5264 4436 0 -1 4202560 2043 0 0 0 135 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232097716648 5397375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5273] ppid=5261 vsize=638840 memory=281323981766896 CPUtime=1.34 cores=0-7
/proc/5264/task/5273/stat : 5273 (cosoco) R 5261 5264 4436 0 -1 4202560 1224 0 0 0 134 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232089324816 5392081 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
Current children cumulated CPU time: 10.91 s
Current children cumulated vsize: 638840 KiB
Current children cumulated memory: 38920 KiB

[startup+3.10997 s]
/proc/loadavg: 7.79 8.20 8.28 9/201 5273
/proc/meminfo: memFree=25713224/32770624 swapFree=66941256/67108860
[pid=5264] ppid=5261 vsize=638840 memory=38920 CPUtime=23.76 cores=0-7
/proc/5264/stat : 5264 (cosoco) S 5261 5264 4436 0 -1 1077944320 18094 0 0 0 2371 5 0 0 20 0 9 0 436599029 654172160 9730 33554432000 4194304 6211092 140733171174416 140733171172672 140232171216631 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
/proc/5264/statm: 159710 9730 917 493 0 153015 0
[pid=5264/tid=5266] ppid=5261 vsize=638840 memory=0 CPUtime=2.96 cores=0-7
/proc/5264/task/5266/stat : 5266 (cosoco) R 5261 5264 4436 0 -1 4202560 1820 0 0 0 296 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232148073744 5081750 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5267] ppid=5261 vsize=638840 memory=4420 CPUtime=2.95 cores=0-7
/proc/5264/task/5267/stat : 5267 (cosoco) R 5261 5264 4436 0 -1 4202560 1010 0 0 0 295 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232139680360 5193696 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5268] ppid=5261 vsize=638840 memory=0 CPUtime=2.96 cores=0-7
/proc/5264/task/5268/stat : 5268 (cosoco) R 5261 5264 4436 0 -1 4202560 1580 0 0 0 296 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232131288192 5148684 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5269] ppid=5261 vsize=638840 memory=0 CPUtime=2.96 cores=0-7
/proc/5264/task/5269/stat : 5269 (cosoco) R 5261 5264 4436 0 -1 4202560 1344 0 0 0 296 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232122895376 5078762 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5270] ppid=5261 vsize=638840 memory=38920 CPUtime=2.98 cores=0-7
/proc/5264/task/5270/stat : 5270 (cosoco) R 5261 5264 4436 0 -1 4202560 1262 0 0 0 298 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232114502928 5078762 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5271] ppid=5261 vsize=638840 memory=13704448706873688 CPUtime=2.86 cores=0-7
/proc/5264/task/5271/stat : 5271 (cosoco) R 5261 5264 4436 0 -1 4202560 1201 0 0 0 286 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232106109968 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5272] ppid=5261 vsize=638840 memory=37600 CPUtime=2.96 cores=0-7
/proc/5264/task/5272/stat : 5272 (cosoco) R 5261 5264 4436 0 -1 4202560 2045 0 0 0 296 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232097716648 5039022 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5273] ppid=5261 vsize=638840 memory=1404 CPUtime=2.95 cores=0-7
/proc/5264/task/5273/stat : 5273 (cosoco) R 5261 5264 4436 0 -1 4202560 1225 0 0 0 295 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232089324816 5076410 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
Current children cumulated CPU time: 23.76 s
Current children cumulated vsize: 638840 KiB
Current children cumulated memory: 38920 KiB

[startup+6.30097 s]
/proc/loadavg: 7.79 8.20 8.28 9/200 5273
/proc/meminfo: memFree=25711808/32770624 swapFree=66941256/67108860
[pid=5264] ppid=5261 vsize=638840 memory=38920 CPUtime=49.17 cores=0-7
/proc/5264/stat : 5264 (cosoco) S 5261 5264 4436 0 -1 1077944320 30519 0 0 0 4910 7 0 0 20 0 9 0 436599029 654172160 9730 33554432000 4194304 6211092 140733171174416 140733171172672 140232171216631 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
/proc/5264/statm: 159710 9730 917 493 0 153015 0
[pid=5264/tid=5266] ppid=5261 vsize=638840 memory=6656426216303648864 CPUtime=6.14 cores=0-7
/proc/5264/task/5266/stat : 5266 (cosoco) R 5261 5264 4436 0 -1 4202560 3606 0 0 0 614 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232148073744 5149221 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5267] ppid=5261 vsize=638840 memory=3620 CPUtime=6.12 cores=0-7
/proc/5264/task/5267/stat : 5267 (cosoco) R 5261 5264 4436 0 -1 4202560 2371 0 0 0 612 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232139680360 5017316 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5268] ppid=5261 vsize=638840 memory=140666418177663 CPUtime=6.14 cores=0-7
/proc/5264/task/5268/stat : 5268 (cosoco) R 5261 5264 4436 0 -1 4202560 3087 0 0 0 614 0 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232131288192 5397375 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5269] ppid=5261 vsize=638840 memory=0 CPUtime=6.15 cores=0-7
/proc/5264/task/5269/stat : 5269 (cosoco) R 5261 5264 4436 0 -1 4202560 2916 0 0 0 614 1 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232122895376 5017327 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0

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

/proc/5264/task/5268/stat : 5268 (cosoco) R 5261 5264 4436 0 -1 4202560 19458 0 0 0 226179 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232131288192 5039104 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5269] ppid=5261 vsize=638840 memory=38920 CPUtime=2261.57 cores=0-7
/proc/5264/task/5269/stat : 5269 (cosoco) R 5261 5264 4436 0 -1 4202560 22543 0 0 0 226155 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232122895376 5148651 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5270] ppid=5261 vsize=638840 memory=2257 CPUtime=2261.82 cores=0-7
/proc/5264/task/5270/stat : 5270 (cosoco) R 5261 5264 4436 0 -1 4202560 23240 0 0 0 226181 1 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232114502592 5149758 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5271] ppid=5261 vsize=638840 memory=38920 CPUtime=2248.88 cores=0-7
/proc/5264/task/5271/stat : 5271 (cosoco) R 5261 5264 4436 0 -1 4202560 21185 0 0 0 224885 3 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232106109968 5250251 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5272] ppid=5261 vsize=638840 memory=0 CPUtime=2261.79 cores=0-7
/proc/5264/task/5272/stat : 5272 (cosoco) R 5261 5264 4436 0 -1 4202560 22700 0 0 0 226177 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232097716648 5389393 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5273] ppid=5261 vsize=638840 memory=1428 CPUtime=2255.27 cores=0-7
/proc/5264/task/5273/stat : 5273 (cosoco) R 5261 5264 4436 0 -1 4202560 23769 0 0 0 225524 3 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232089324816 5017688 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
Current children cumulated CPU time: 18066.5 s
Current children cumulated vsize: 638840 KiB
Current children cumulated memory: 38920 KiB

[startup+2322.3 s]
/proc/loadavg: 8.01 8.18 8.28 9/200 5447
/proc/meminfo: memFree=25715948/32770624 swapFree=66941260/67108860
[pid=5264] ppid=5261 vsize=638840 memory=38920 CPUtime=18545.7 cores=0-7
/proc/5264/stat : 5264 (cosoco) S 5261 5264 4436 0 -1 1077944320 186030 0 0 0 1854546 23 0 0 20 0 9 0 436599029 654172160 9730 33554432000 4194304 6211092 140733171174416 140733171172672 140232171216631 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
/proc/5264/statm: 159710 9730 917 493 0 153015 0
[pid=5264/tid=5266] ppid=5261 vsize=638840 memory=38920 CPUtime=2321.78 cores=0-7
/proc/5264/task/5266/stat : 5266 (cosoco) R 5261 5264 4436 0 -1 4202560 24769 0 0 0 232176 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232148073744 5017282 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5267] ppid=5261 vsize=638840 memory=38920 CPUtime=2313.39 cores=0-7
/proc/5264/task/5267/stat : 5267 (cosoco) R 5261 5264 4436 0 -1 4202560 19648 0 0 0 231336 3 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232139680360 5008844 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5268] ppid=5261 vsize=638840 memory=38920 CPUtime=2321.8 cores=0-7
/proc/5264/task/5268/stat : 5268 (cosoco) R 5261 5264 4436 0 -1 4202560 19757 0 0 0 232178 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232131288192 5394437 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5269] ppid=5261 vsize=638840 memory=38920 CPUtime=2321.56 cores=0-7
/proc/5264/task/5269/stat : 5269 (cosoco) R 5261 5264 4436 0 -1 4202560 22891 0 0 0 232154 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232122895376 5148947 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5270] ppid=5261 vsize=638840 memory=38920 CPUtime=2321.81 cores=0-7
/proc/5264/task/5270/stat : 5270 (cosoco) R 5261 5264 4436 0 -1 4202560 23618 0 0 0 232180 1 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232114502592 5409444 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5271] ppid=5261 vsize=638840 memory=38920 CPUtime=2308.88 cores=0-7
/proc/5264/task/5271/stat : 5271 (cosoco) R 5261 5264 4436 0 -1 4202560 21481 0 0 0 230885 3 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232106109968 5076399 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5272] ppid=5261 vsize=638840 memory=38920 CPUtime=2321.79 cores=0-7
/proc/5264/task/5272/stat : 5272 (cosoco) R 5261 5264 4436 0 -1 4202560 23084 0 0 0 232177 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232097716648 5039026 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5273] ppid=5261 vsize=638840 memory=38920 CPUtime=2314.52 cores=0-7
/proc/5264/task/5273/stat : 5273 (cosoco) R 5261 5264 4436 0 -1 4202560 24175 0 0 0 231449 3 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232089324816 5409461 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
Current children cumulated CPU time: 18545.7 s
Current children cumulated vsize: 638840 KiB
Current children cumulated memory: 38920 KiB

[startup+2382.3 s]
/proc/loadavg: 8.15 8.18 8.27 9/200 5450
/proc/meminfo: memFree=25715888/32770624 swapFree=66941260/67108860
[pid=5264] ppid=5261 vsize=638840 memory=38920 CPUtime=19024.9 cores=0-7
/proc/5264/stat : 5264 (cosoco) S 5261 5264 4436 0 -1 1077944320 188903 0 0 0 1902466 23 0 0 20 0 9 0 436599029 654172160 9730 33554432000 4194304 6211092 140733171174416 140733171172672 140232171216631 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
/proc/5264/statm: 159710 9730 917 493 0 153015 0
[pid=5264/tid=5266] ppid=5261 vsize=638840 memory=38920 CPUtime=2381.77 cores=0-7
/proc/5264/task/5266/stat : 5266 (cosoco) R 5261 5264 4436 0 -1 4202560 25148 0 0 0 238175 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232148073744 5389408 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5267] ppid=5261 vsize=638840 memory=38920 CPUtime=2373.39 cores=0-7
/proc/5264/task/5267/stat : 5267 (cosoco) R 5261 5264 4436 0 -1 4202560 19947 0 0 0 237336 3 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232139680360 5409461 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5268] ppid=5261 vsize=638840 memory=38920 CPUtime=2381.79 cores=0-7
/proc/5264/task/5268/stat : 5268 (cosoco) R 5261 5264 4436 0 -1 4202560 20039 0 0 0 238177 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232131288192 5396409 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5269] ppid=5261 vsize=638840 memory=38920 CPUtime=2381.55 cores=0-7
/proc/5264/task/5269/stat : 5269 (cosoco) R 5261 5264 4436 0 -1 4202560 23238 0 0 0 238153 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232122895376 5250465 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5270] ppid=5261 vsize=638840 memory=38920 CPUtime=2381.8 cores=0-7
/proc/5264/task/5270/stat : 5270 (cosoco) R 5261 5264 4436 0 -1 4202560 24001 0 0 0 238179 1 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232114502592 5397226 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5271] ppid=5261 vsize=638840 memory=38920 CPUtime=2368.87 cores=0-7
/proc/5264/task/5271/stat : 5271 (cosoco) R 5261 5264 4436 0 -1 4202560 21801 0 0 0 236884 3 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232106109968 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5272] ppid=5261 vsize=638840 memory=38920 CPUtime=2381.77 cores=0-7
/proc/5264/task/5272/stat : 5272 (cosoco) R 5261 5264 4436 0 -1 4202560 23486 0 0 0 238175 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232097716648 5149208 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5273] ppid=5261 vsize=638840 memory=38920 CPUtime=2373.78 cores=0-7
/proc/5264/task/5273/stat : 5273 (cosoco) R 5261 5264 4436 0 -1 4202560 24636 0 0 0 237375 3 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232089324816 5148803 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
Current children cumulated CPU time: 19024.9 s
Current children cumulated vsize: 638840 KiB
Current children cumulated memory: 38920 KiB

[startup+2442.3 s]
/proc/loadavg: 8.54 8.28 8.30 9/200 5455
/proc/meminfo: memFree=25714384/32770624 swapFree=66941260/67108860
[pid=5264] ppid=5261 vsize=638840 memory=38920 CPUtime=19504.1 cores=0-7
/proc/5264/stat : 5264 (cosoco) S 5261 5264 4436 0 -1 1077944320 191833 0 0 0 1950384 23 0 0 20 0 9 0 436599029 654172160 9730 33554432000 4194304 6211092 140733171174416 140733171172672 140232171216631 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
/proc/5264/statm: 159710 9730 917 493 0 153015 0
[pid=5264/tid=5266] ppid=5261 vsize=638840 memory=38920 CPUtime=2441.76 cores=0-7
/proc/5264/task/5266/stat : 5266 (cosoco) R 5261 5264 4436 0 -1 4202560 25570 0 0 0 244174 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232148073744 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5267] ppid=5261 vsize=638840 memory=38920 CPUtime=2433.39 cores=0-7
/proc/5264/task/5267/stat : 5267 (cosoco) R 5261 5264 4436 0 -1 4202560 20269 0 0 0 243336 3 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232139680360 5039280 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5268] ppid=5261 vsize=638840 memory=38920 CPUtime=2441.78 cores=0-7
/proc/5264/task/5268/stat : 5268 (cosoco) R 5261 5264 4436 0 -1 4202560 20379 0 0 0 244176 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232131288192 5150158 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5269] ppid=5261 vsize=638840 memory=38920 CPUtime=2441.54 cores=0-7
/proc/5264/task/5269/stat : 5269 (cosoco) R 5261 5264 4436 0 -1 4202560 23590 0 0 0 244152 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232122895376 5397368 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5270] ppid=5261 vsize=638840 memory=38920 CPUtime=2441.79 cores=0-7
/proc/5264/task/5270/stat : 5270 (cosoco) R 5261 5264 4436 0 -1 4202560 24379 0 0 0 244178 1 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232114502592 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5271] ppid=5261 vsize=638840 memory=38920 CPUtime=2428.85 cores=0-7
/proc/5264/task/5271/stat : 5271 (cosoco) R 5261 5264 4436 0 -1 4202560 22164 0 0 0 242882 3 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232106109968 5035337 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5272] ppid=5261 vsize=638840 memory=38920 CPUtime=2441.74 cores=0-7
/proc/5264/task/5272/stat : 5272 (cosoco) R 5261 5264 4436 0 -1 4202560 23866 0 0 0 244172 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232097716648 5039121 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5273] ppid=5261 vsize=638840 memory=38920 CPUtime=2433.03 cores=0-7
/proc/5264/task/5273/stat : 5273 (cosoco) R 5261 5264 4436 0 -1 4202560 25009 0 0 0 243300 3 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232089324816 5149120 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
Current children cumulated CPU time: 19504.1 s
Current children cumulated vsize: 638840 KiB
Current children cumulated memory: 38920 KiB

[startup+2502.3 s]
/proc/loadavg: 8.68 8.37 8.33 9/200 5458
/proc/meminfo: memFree=25714652/32770624 swapFree=66941260/67108860
[pid=5264] ppid=5261 vsize=638840 memory=38920 CPUtime=19983.3 cores=0-7
/proc/5264/stat : 5264 (cosoco) S 5261 5264 4436 0 -1 1077944320 194746 0 0 0 1998304 23 0 0 20 0 9 0 436599029 654172160 9730 33554432000 4194304 6211092 140733171174416 140733171172672 140232171216631 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
/proc/5264/statm: 159710 9730 917 493 0 153015 0
[pid=5264/tid=5266] ppid=5261 vsize=638840 memory=45460 CPUtime=2501.73 cores=0-7
/proc/5264/task/5266/stat : 5266 (cosoco) R 5261 5264 4436 0 -1 4202560 25956 0 0 0 250171 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232148073744 5148734 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5267] ppid=5261 vsize=638840 memory=38920 CPUtime=2493.39 cores=0-7
/proc/5264/task/5267/stat : 5267 (cosoco) R 5261 5264 4436 0 -1 4202560 20613 0 0 0 249336 3 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232139680360 5075208 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5268] ppid=5261 vsize=638840 memory=38920 CPUtime=2501.78 cores=0-7
/proc/5264/task/5268/stat : 5268 (cosoco) R 5261 5264 4436 0 -1 4202560 20654 0 0 0 250176 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232131288192 5193696 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5269] ppid=5261 vsize=638840 memory=38920 CPUtime=2501.53 cores=0-7
/proc/5264/task/5269/stat : 5269 (cosoco) R 5261 5264 4436 0 -1 4202560 23931 0 0 0 250151 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232122895376 5008971 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5270] ppid=5261 vsize=638840 memory=38920 CPUtime=2501.79 cores=0-7
/proc/5264/task/5270/stat : 5270 (cosoco) R 5261 5264 4436 0 -1 4202560 24796 0 0 0 250178 1 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232114502592 5038759 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5271] ppid=5261 vsize=638840 memory=38920 CPUtime=2488.85 cores=0-7
/proc/5264/task/5271/stat : 5271 (cosoco) R 5261 5264 4436 0 -1 4202560 22550 0 0 0 248882 3 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232106109968 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5272] ppid=5261 vsize=638840 memory=38920 CPUtime=2501.74 cores=0-7
/proc/5264/task/5272/stat : 5272 (cosoco) R 5261 5264 4436 0 -1 4202560 24264 0 0 0 250172 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232097716648 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5273] ppid=5261 vsize=638840 memory=7523383468372416358 CPUtime=2492.28 cores=0-7
/proc/5264/task/5273/stat : 5273 (cosoco) R 5261 5264 4436 0 -1 4202560 25375 0 0 0 249225 3 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232089324816 5149292 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
Current children cumulated CPU time: 19983.3 s
Current children cumulated vsize: 638840 KiB
Current children cumulated memory: 38920 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.48 8.34 8.32 11/202 5461
/proc/meminfo: memFree=25714568/32770624 swapFree=66941260/67108860
[pid=5264] ppid=5261 vsize=638840 memory=38920 CPUtime=20124.7 cores=0-7
/proc/5264/stat : 5264 (cosoco) S 5261 5264 4436 0 -1 1077944320 197451 0 0 0 2012446 23 0 0 20 0 9 0 436599029 654172160 9730 33554432000 4194304 6211092 140733171174416 140733171172672 140232171216631 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
/proc/5264/statm: 159710 9730 917 493 0 153015 0
[pid=5264/tid=5266] ppid=5261 vsize=638840 memory=8248082590378581562 CPUtime=2519.44 cores=0-7
/proc/5264/task/5266/stat : 5266 (cosoco) R 5261 5264 4436 0 -1 4202560 26329 0 0 0 251942 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232148073744 5149217 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5267] ppid=5261 vsize=638840 memory=-7003737579269690708 CPUtime=2511.09 cores=0-7
/proc/5264/task/5267/stat : 5267 (cosoco) R 5261 5264 4436 0 -1 4202560 20905 0 0 0 251106 3 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232139680360 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5268] ppid=5261 vsize=638840 memory=800 CPUtime=2519.48 cores=0-7
/proc/5264/task/5268/stat : 5268 (cosoco) R 5261 5264 4436 0 -1 4202560 20923 0 0 0 251946 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232131288192 5148675 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5269] ppid=5261 vsize=638840 memory=1804 CPUtime=2519.23 cores=0-7
/proc/5264/task/5269/stat : 5269 (cosoco) R 5261 5264 4436 0 -1 4202560 24277 0 0 0 251921 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232122895376 5397375 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5270] ppid=5261 vsize=638840 memory=920 CPUtime=2519.5 cores=0-7
/proc/5264/task/5270/stat : 5270 (cosoco) R 5261 5264 4436 0 -1 4202560 25133 0 0 0 251949 1 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232114502592 5038617 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5271] ppid=5261 vsize=638840 memory=4132 CPUtime=2506.55 cores=0-7
/proc/5264/task/5271/stat : 5271 (cosoco) R 5261 5264 4436 0 -1 4202560 22851 0 0 0 250652 3 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232106109968 5039193 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5272] ppid=5261 vsize=638840 memory=4108 CPUtime=2519.45 cores=0-7
/proc/5264/task/5272/stat : 5272 (cosoco) R 5261 5264 4436 0 -1 4202560 24714 0 0 0 251943 2 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232097716648 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
[pid=5264/tid=5273] ppid=5261 vsize=638840 memory=1404 CPUtime=2509.77 cores=0-7
/proc/5264/task/5273/stat : 5273 (cosoco) R 5261 5264 4436 0 -1 4202560 25712 0 0 0 250974 3 0 0 20 0 9 0 436599039 654172160 9730 33554432000 4194304 6211092 140733171174416 140232089324816 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 28663808 140733171176465 140733171176557 140733171176557 140733171179470 0
Current children cumulated CPU time: 20124.7 s
Current children cumulated vsize: 638840 KiB
Current children cumulated memory: 38920 KiB

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

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

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

Child status: 1
Real time (s): 2520.02
CPU time (s): 20124.8
CPU user time (s): 20124.6
CPU system time (s): 0.239881
CPU usage (%): 798.595
Max. virtual memory (cumulated for all children) (KiB): 638840
Max. memory (cumulated for all children) (KiB): 38920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20124.6
system time used= 0.239881
maximum resident set size= 38988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197512
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= 4580
involuntary context switches= 177013


# summary of solver processes directly reported to runsolver:
#   pid: 5264
#   total CPU time (s): 20124.8
#   total CPU user time (s): 20124.6
#   total CPU system time (s): 0.239881

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9054 second user time and 19.7821 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-16 05:12:46
IDJOB=4398420
IDBENCH=126806
IDSOLVER=2851
FILE ID=node149/4398420-1568603604
RUNJOBID= node149-1568597902-4463
PBS_JOBID= 21703414
Free space on /tmp= 61420 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbop-10-20-1.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398420-1568603604/watcher-4398420-1568603604 -o /tmp/evaluation-result-4398420-1568603604/solver-4398420-1568603604 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568597902-4463 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4398420-1568603604.xml

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

MD5SUM BENCH= 81c67383229f275c0057c3a1b360ed12
RANDOM SEED=1012516351

node149.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.81
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.81
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.81
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.81
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:        25748388 kB
MemAvailable:   31842668 kB
Buffers:          218692 kB
Cached:          6176008 kB
SwapCached:        61240 kB
Active:          2512356 kB
Inactive:        3944472 kB
Active(anon):      29416 kB
Inactive(anon):    80892 kB
Active(file):    2482940 kB
Inactive(file):  3863580 kB
Unevictable:      111228 kB
Mlocked:          111228 kB
SwapTotal:      67108860 kB
SwapFree:       66941256 kB
Dirty:              2800 kB
Writeback:             0 kB
AnonPages:        112688 kB
Mapped:            47008 kB
Shmem:             39856 kB
Slab:             156300 kB
SReclaimable:     127192 kB
SUnreclaim:        29108 kB
KernelStack:        3408 kB
PageTables:         5612 kB
NFS_Unstable:         72 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506228 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:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61420 MiB
End job on node149 at 2019-09-16 05:54:46