Trace number 4398329

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 parallelOPT96 1496.66 187.719

General information on the benchmark

NameTal/
Tal-03_c18.xml
MD5SUMfb5ba5d4d49d61a1ee3ee3c25fa47163
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark96
Best CPU time to get the best result obtained on this benchmark33.2263
Satisfiable
(Un)Satisfiability was proved
Number of variables404
Number of constraints286
Number of domains10
Minimum domain size1
Maximum domain size42
Distribution of domain sizes[{"size":1,"count":63},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":43},{"size":7,"count":9},{"size":8,"count":28},{"size":42,"count":62}]
Minimum variable degree0
Maximum variable degree13
Distribution of variable degrees[{"degree":0,"count":177},{"degree":1,"count":63},{"degree":2,"count":47},{"degree":3,"count":8},{"degree":4,"count":9},{"degree":5,"count":25},{"degree":6,"count":17},{"degree":7,"count":12},{"degree":8,"count":12},{"degree":9,"count":17},{"degree":10,"count":8},{"degree":11,"count":5},{"degree":12,"count":3},{"degree":13,"count":1}]
Minimum constraint arity1
Maximum constraint arity10
Distribution of constraint arities[{"arity":1,"count":88},{"arity":2,"count":90},{"arity":3,"count":30},{"arity":4,"count":10},{"arity":5,"count":16},{"arity":6,"count":15},{"arity":7,"count":14},{"arity":8,"count":12},{"arity":9,"count":9},{"arity":10,"count":2}]
Number of extensional constraints49
Number of intensional constraints225
Distribution of constraint types[{"type":"extension","count":49},{"type":"intension","count":225},{"type":"count","count":12}]
Optimization problemYES
Type of objectivemin SUM

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.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.01	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.03	c AllEqual constraint using 1 generic x=y constraints 
0.00/0.04	c
0.00/0.04	c This is cosoco 2.00 --  
0.00/0.04	c
0.00/0.04	c command line: cosoco -model -nbcores=8 HOME/instance-4398329-1568615941.xml 
0.00/0.04	c intension  imp(eq(l[2][1],0),eq(i[2][1],6)) -> extension (support ? 0) - 6tuples
0.00/0.04	c intension -> extension : same as previous
0.00/0.04	c intension -> extension : same as previous
0.00/0.04	c intension -> extension : same as previous
0.00/0.04	c intension -> extension : same as previous
0.00/0.04	c intension -> extension : same as previous
0.00/0.04	c intension  imp(eq(l[4][1],0),eq(i[4][1],5)) -> extension (support ? 0) - 5tuples
0.00/0.04	c intension -> extension : same as previous
0.00/0.04	c intension -> extension : same as previous
0.00/0.04	c intension -> extension : same as previous
0.00/0.04	c intension -> extension : same as previous
0.00/0.04	c intension  imp(eq(l[6][1],0),eq(i[6][1],4)) -> extension (support ? 0) - 4tuples
0.00/0.05	c intension -> extension : same as previous
0.00/0.05	c intension -> extension : same as previous
0.00/0.05	c intension -> extension : same as previous
0.00/0.05	c intension  imp(eq(l[8][1],0),eq(i[8][1],3)) -> extension (support ? 0) - 3tuples
0.00/0.05	c intension -> extension : same as previous
0.00/0.05	c intension -> extension : same as previous
0.00/0.05	c intension  imp(eq(l[10][1],0),eq(i[10][1],2)) -> extension (support ? 0) - 2tuples
0.00/0.05	c intension -> extension : same as previous
0.00/0.05	c intension  imp(eq(l[12][1],0),eq(i[12][1],1)) -> extension (support ? 0) - 1tuples
0.00/0.05	c intension  imp(le(1,l[2][1]),lt(i[2][0],i[2][1])) -> extension (support ? 1) - 910tuples
0.00/0.06	c intension -> extension : same as previous
0.00/0.06	c intension -> extension : same as previous
0.00/0.06	c intension -> extension : same as previous
0.00/0.06	c intension -> extension : same as previous
0.00/0.06	c intension -> extension : same as previous
0.00/0.06	c intension  imp(le(1,l[4][1]),lt(i[4][0],i[4][1])) -> extension (support ? 1) - 651tuples
0.00/0.06	c intension -> extension : same as previous
0.00/0.06	c intension -> extension : same as previous
0.00/0.06	c intension -> extension : same as previous
0.00/0.06	c intension -> extension : same as previous
0.00/0.06	c intension  imp(le(1,l[6][1]),lt(i[6][0],i[6][1])) -> extension (support ? 1) - 435tuples
0.00/0.06	c intension -> extension : same as previous
0.00/0.06	c intension -> extension : same as previous
0.00/0.06	c intension -> extension : same as previous
0.00/0.06	c intension  imp(le(1,l[8][1]),lt(i[8][0],i[8][1])) -> extension (support ? 1) - 262tuples
0.00/0.07	c intension -> extension : same as previous
0.00/0.07	c intension -> extension : same as previous
0.00/0.07	c intension  imp(le(1,l[10][1]),lt(i[10][0],i[10][1])) -> extension (support ? 1) - 132tuples
0.00/0.07	c intension -> extension : same as previous
0.00/0.07	c intension  imp(le(1,l[12][1]),lt(i[12][0],i[12][1])) -> extension (support ? 1) - 45tuples
0.00/0.07	c intension  imp(eq(l[2][0],0),eq(l[2][1],0)) -> extension (support ? 0) - 41tuples
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension  xor(le(1,a[1][0]),eq(l[0][0],0)) -> extension (support ? 0) - 48tuples
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension -> extension : same as previous
0.10/0.17	c intension  xor(le(2,a[13][0]),eq(l[12][1],0)) -> extension (support ? 0) - 88tuples
0.10/0.18	c intension  xor(le(1,a[1][1]),le(2,a[1][0]),eq(l[0][1],0)) -> extension (support ? 1) - 864tuples
0.10/0.18	c intension -> extension : same as previous
0.10/0.18	c intension -> extension : same as previous
0.10/0.18	c intension -> extension : same as previous
0.10/0.18	c intension -> extension : same as previous
0.10/0.18	c intension -> extension : same as previous
0.10/0.18	c intension  xor(le(2,a[11][1]),le(3,a[11][0]),eq(l[10][2],0)) -> extension (support ? 1) - 1184tuples
0.21/0.22	c intension  xor(le(1,a[1][2]),le(2,a[1][1]),le(3,a[1][0]),eq(l[0][2],0)) -> extension (support ? 0) - 9792tuples
0.21/0.26	c intension -> extension : same as previous
0.21/0.26	c intension -> extension : same as previous
0.21/0.26	c intension -> extension : same as previous
0.21/0.26	c intension -> extension : same as previous
0.21/0.26	c intension  xor(le(2,a[9][2]),le(3,a[9][1]),le(4,a[9][0]),eq(l[8][3],0)) -> extension (support ? 1) - 10752tuples
0.21/0.30	c intension  iff(eq(a[1][0],0),eq(l[1][0],0)) -> extension (support ? 0) - 48tuples
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c intension -> extension : same as previous
0.31/0.39	c enable optimization
0.31/0.39	c ========================================[ Problem Statistics ]===========================================
0.31/0.39	c |                                                                                                       
0.31/0.39	c |  Parse time        :         0.31 s 
0.31/0.39	c |
0.31/0.39	c |               Variables: 404
0.31/0.39	c |            Domain Sizes: 1..42
0.31/0.39	c |
0.31/0.39	c |             Constraints: 287
0.31/0.39	c |                   Arity: 1..98  -- Unary: 88  -- Binary: 90  -- Ternary: 30
0.31/0.39	c | 
0.31/0.39	c |                   Types: 
0.31/0.39	c |                          (X = Y): 12
0.31/0.39	c |                          Exactly K variable: 12
0.31/0.39	c |                          Extension: 161  (nb tuples: 1..10752) -- (shared: 1024)
0.31/0.39	c |                          Intension: 13
0.31/0.39	c |                          Sum: 1
0.31/0.39	c |                          Unary: 88
0.31/0.39	c |                          
0.31/0.39	c |               Objective: Minimize Sum
0.31/0.39	
0.31/0.39	c =========================================================================================================
0.31/0.39	c Parallel mode: Portfolio
0.31/0.39	c [pFactory][Group N°0] created (threads:8).
0.31/0.39	c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.31/0.39	c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.31/0.39	c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.31/0.39	c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.31/0.39	c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.31/0.39	c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.31/0.39	c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.31/0.39	c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.31/0.39	c [pFactory][Group N°0] concurrent mode: enabled.
0.31/0.39	c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.31/0.39	c [pFactory][Group N°0] task 7 launched on thread 0.
0.31/0.39	c [pFactory][Group N°0] task 6 launched on thread 2.
0.31/0.39	c [pFactory][Group N°0] task 5 launched on thread 1.
0.31/0.39	c [pFactory][Group N°0] task 4 launched on thread 6.
0.31/0.39	c [pFactory][Group N°0] task 3 launched on thread 7.
0.31/0.39	c [pFactory][Group N°0] task 2 launched on thread 4.
0.31/0.39	c [pFactory][Group N°0] task 1 launched on thread 3.
0.31/0.39	c [pFactory][Group N°0] task 0 launched on thread 5.
0.31/0.39	o 184
1.01/0.43	o 144
1.01/0.48	o 136
1.01/0.50	o 132
1.81/0.53	o 128
1.81/0.60	o 122
2.52/0.64	o 114
13.70/2.02	o 112
22.48/3.17	o 108
47.96/6.31	o 96
1496.52/187.71	c [pFactory][Group N°0] concurent mode: thread 2 has won with the task 6.
1496.52/187.71	c [pFactory][Group N°0] Thread N°0 is joined.
1496.52/187.71	c [pFactory][Group N°0] Thread N°1 is joined.
1496.52/187.71	c [pFactory][Group N°0] Thread N°2 is joined.
1496.52/187.71	c [pFactory][Group N°0] Thread N°3 is joined.
1496.52/187.71	c [pFactory][Group N°0] Thread N°4 is joined.
1496.52/187.71	c [pFactory][Group N°0] Thread N°5 is joined.
1496.52/187.71	c [pFactory][Group N°0] Thread N°6 is joined.
1496.52/187.71	c [pFactory][Group N°0] Thread N°7 is joined.
1496.52/187.71	c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°2)
1496.52/187.71	s OPTIMUM FOUND
1496.52/187.71	c call to solver        : 7
1496.52/187.71	c
1496.52/187.71	c restarts              : 34771       
1496.52/187.71	c conflicts             : 338463       (226 /sec)
1496.52/187.71	c decisions             : 3895656      (2603 /sec)
1496.52/187.71	c propagations          : 38339348    (25618 /sec)
1496.52/187.71	c root propagations     : 1674        
1496.52/187.71	c filter calls          : 77936817       (52077 /sec)
1496.52/187.71	c useless filter calls  : 65193973       (83 %)
1496.52/187.71	c Memory used           : 602.19 MB
1496.52/187.71	c Best bound time (wc)  : 6.30465 s
1496.52/187.71	c CPU time              : 1496.57 s
1496.52/187.71	c real time             : 187.711 s
1496.52/187.71	
1496.52/187.71	
1496.52/187.71	v <instantiation type='solution' cost='96'>
1496.52/187.71	v <list>a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[12][0] a[12][1] a[12][2] a[12][3] a[12][4] a[12][5] a[12][6] a[13][0] a[13][1] a[13][2] a[13][3] a[13][4] a[13][5] a[13][6] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] c[0][0] c[0][1] c[0][2] c[0][3] c[0][4] c[0][5] c[0][6] c[10][0] c[10][1] c[10][2] c[10][3] c[10][4] c[10][5] c[10][6] c[11][0] c[11][1] c[11][2] c[11][3] c[11][4] c[11][5] c[11][6] c[12][0] c[12][1] c[12][2] c[12][3] c[12][4] c[12][5] c[12][6] c[13][0] c[13][1] c[13][2] c[13][3] c[13][4] c[13][5] c[13][6] c[1][0] c[1][1] c[1][2] c[1][3] c[1][4] c[1][5] c[1][6] c[2][0] c[2][1] c[2][2] c[2][3] c[2][4] c[2][5] c[2][6] c[3][0] c[3][1] c[3][2] c[3][3] c[3][4] c[3][5] c[3][6] c[4][0] c[4][1] c[4][2] c[4][3] c[4][4] c[4][5] c[4][6] c[5][0] c[5][1] c[5][2] c[5][3] c[5][4] c[5][5] c[5][6] c[6][0] c[6][1] c[6][2] c[6][3] c[6][4] c[6][5] c[6][6] c[7][0] c[7][1] c[7][2] c[7][3] c[7][4] c[7][5] c[7][6] c[8][0] c[8][1] c[8][2] c[8][3] c[8][4] c[8][5] c[8][6] c[9][0] c[9][1] c[9][2] c[9][3] c[9][4] c[9][5] c[9][6] cnt[0] cnt[10] cnt[11] cnt[1] cnt[2] cnt[3] cnt[4] cnt[5] cnt[6] cnt[7] cnt[8] cnt[9] i[0][0] i[0][1] i[0][2] i[0][3] i[0][4] i[0][5] i[0][6] i[10][0] i[10][1] i[10][2] i[10][3] i[10][4] i[10][5] i[10][6] i[11][0] i[11][1] i[11][2] i[11][3] i[11][4] i[11][5] i[11][6] i[12][0] i[12][1] i[12][2] i[12][3] i[12][4] i[12][5] i[12][6] i[13][0] i[13][1] i[13][2] i[13][3] i[13][4] i[13][5] i[13][6] i[1][0] i[1][1] i[1][2] i[1][3] i[1][4] i[1][5] i[1][6] i[2][0] i[2][1] i[2][2] i[2][3] i[2][4] i[2][5] i[2][6] i[3][0] i[3][1] i[3][2] i[3][3] i[3][4] i[3][5] i[3][6] i[4][0] i[4][1] i[4][2] i[4][3] i[4][4] i[4][5] i[4][6] i[5][0] i[5][1] i[5][2] i[5][3] i[5][4] i[5][5] i[5][6] i[6][0] i[6][1] i[6][2] i[6][3] i[6][4] i[6][5] i[6][6] i[7][0] i[7][1] i[7][2] i[7][3] i[7][4] i[7][5] i[7][6] i[8][0] i[8][1] i[8][2] i[8][3] i[8][4] i[8][5] i[8][6] i[9][0] i[9][1] i[9][2] i[9][3] i[9][4] i[9][5] i[9][6] l[0][0] l[0][1] l[0][2] l[0][3] l[0][4] l[0][5] l[0][6] l[10][0] l[10][1] l[10][2] l[10][3] l[10][4] l[10][5] l[10][6] l[11][0] l[11][1] l[11][2] l[11][3] l[11][4] l[11][5] l[11][6] l[12][0] l[12][1] l[12][2] l[12][3] l[12][4] l[12][5] l[12][6] l[13][0] l[13][1] l[13][2] l[13][3] l[13][4] l[13][5] l[13][6] l[1][0] l[1][1] l[1][2] l[1][3] l[1][4] l[1][5] l[1][6] l[2][0] l[2][1] l[2][2] l[2][3] l[2][4] l[2][5] l[2][6] l[3][0] l[3][1] l[3][2] l[3][3] l[3][4] l[3][5] l[3][6] l[4][0] l[4][1] l[4][2] l[4][3] l[4][4] l[4][5] l[4][6] l[5][0] l[5][1] l[5][2] l[5][3] l[5][4] l[5][5] l[5][6] l[6][0] l[6][1] l[6][2] l[6][3] l[6][4] l[6][5] l[6][6] l[7][0] l[7][1] l[7][2] l[7][3] l[7][4] l[7][5] l[7][6] l[8][0] l[8][1] l[8][2] l[8][3] l[8][4] l[8][5] l[8][6] l[9][0] l[9][1] l[9][2] l[9][3] l[9][4] l[9][5] l[9][6] </list>
1496.52/187.71	v <values>* * * * * * * * * * * * * * 3 0 * * * * * * * * * * * * 1 * * * * * * 1 2 0 1 1 1 1 * * * * * * * 1 1 1 2 0 1 * * * * * * * * 1 1 1 1 1 * * * * * * * * * 1 1 3 0 * * * * * * * * * * 1 1 1 * * * * 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 4 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 0 4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 16 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 0 * * * * * * * 0 1 2 * * * * * * * * * * * 0 1 * * * * * * * * * * * * * * * * * * * 0 1 3 4 5 6 6 * * * * * * * 0 1 2 3 5 5 * * * * * * * * 0 1 2 3 4 * * * * * * * * * 0 1 2 3 * * * * * * * * * * 9 10 12 13 4 16 8 4 4 3 * * * * 6 0 * * * * * 6 0 * * * * * 6 * * * * * * 9 7 0 13 5 4 8 9 7 13 5 4 8 0 9 7 13 8 0 8 * 9 7 13 8 8 0 * 7 7 13 3 3 * * 7 7 13 3 3 * * 7 7 2 0 * * * 7 7 2 0 * * * 4 4 3 * * * * </values>
1496.52/187.71	v </instantiation>
1496.52/187.71	

Verifier Data

OK	96

Watcher Data

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16375 MiB (14478 MiB free)
  memory of node 1: 16384 MiB (15530 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398329-1568615941/watcher-4398329-1568615941 -o /tmp/evaluation-result-4398329-1568615941/solver-4398329-1568615941 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568609536-24685 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398329-1568615941.xml 

running on 8 cores: 0-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=25447, runsolver pid=25444
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 7.57 8.60 8.79 2/191 25448
/proc/meminfo: memFree=30722160/32770688 swapFree=66961184/67108860
[pid=25447] ppid=25444 vsize=36148 memory=12664 CPUtime=0.1 cores=0-7
/proc/25447/stat : 25447 (cosoco) R 25444 25447 24658 0 -1 4202496 3337 0 0 0 10 0 0 0 20 0 1 0 437535730 37015552 3166 33554432000 4194304 6211092 140731079546192 140731079542728 5818619 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
/proc/25447/statm: 9037 3166 864 493 0 2342 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36148 KiB
Current children cumulated memory: 12664 KiB

[startup+0.210123 s]*
/proc/loadavg: 7.57 8.60 8.79 2/191 25448
/proc/meminfo: memFree=30714968/32770688 swapFree=66961184/67108860
[pid=25447] ppid=25444 vsize=42404 memory=18660 CPUtime=0.21 cores=0-7
/proc/25447/stat : 25447 (cosoco) R 25444 25447 24658 0 -1 4202496 4868 0 0 0 21 0 0 0 20 0 1 0 437535730 43421696 4665 33554432000 4194304 6211092 140731079546192 140731079542728 5013897 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
/proc/25447/statm: 10601 4665 864 493 0 3906 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 42404 KiB
Current children cumulated memory: 18660 KiB

[startup+0.309888 s]*
/proc/loadavg: 7.57 8.60 8.79 2/191 25448
/proc/meminfo: memFree=30706412/32770688 swapFree=66961184/67108860
[pid=25447] ppid=25444 vsize=53024 memory=29376 CPUtime=0.31 cores=0-7
/proc/25447/stat : 25447 (cosoco) R 25444 25447 24658 0 -1 4202496 7697 0 0 0 30 1 0 0 20 0 1 0 437535730 54296576 7344 33554432000 4194304 6211092 140731079546192 140731079542728 140158057655269 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
/proc/25447/statm: 13256 7344 875 493 0 6561 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 53024 KiB
Current children cumulated memory: 29376 KiB

[startup+0.70066 s]
/proc/loadavg: 7.57 8.60 8.79 9/199 25456
/proc/meminfo: memFree=30694852/32770688 swapFree=66961184/67108860
[pid=25447] ppid=25444 vsize=649424 memory=38056 CPUtime=3.24 cores=0-7
/proc/25447/stat : 25447 (cosoco) S 25444 25447 24658 0 -1 1077944320 10217 0 0 0 323 1 0 0 20 0 9 0 437535730 665010176 9514 33554432000 4194304 6211092 140731079546192 140731079544448 140158073695991 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
/proc/25447/statm: 162356 9514 891 493 0 155661 0
[pid=25447/tid=25449] ppid=25444 vsize=649424 memory=7976406965554101975 CPUtime=0.36 cores=0-7
/proc/25447/task/25449/stat : 25449 (cosoco) R 25444 25447 24658 0 -1 4202560 104 0 0 0 36 0 0 0 20 0 9 0 437535762 665010176 9514 33554432000 4194304 6211092 140731079546192 140158050553104 5443025 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25450] ppid=25444 vsize=649424 memory=-6935123839545469842 CPUtime=0.37 cores=0-7
/proc/25447/task/25450/stat : 25450 (cosoco) R 25444 25447 24658 0 -1 4202560 104 0 0 0 37 0 0 0 20 0 9 0 437535762 665010176 9514 33554432000 4194304 6211092 140731079546192 140158042160400 5068981 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25451] ppid=25444 vsize=649424 memory=-6948055166404804227 CPUtime=0.37 cores=0-7
/proc/25447/task/25451/stat : 25451 (cosoco) R 25444 25447 24658 0 -1 4202560 114 0 0 0 37 0 0 0 20 0 9 0 437535762 665010176 9514 33554432000 4194304 6211092 140731079546192 140158033767696 5038788 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25452] ppid=25444 vsize=649424 memory=780 CPUtime=0.35 cores=0-7
/proc/25447/task/25452/stat : 25452 (cosoco) R 25444 25447 24658 0 -1 4202560 97 0 0 0 35 0 0 0 20 0 9 0 437535762 665010176 9514 33554432000 4194304 6211092 140731079546192 140158025374512 140158058575760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25453] ppid=25444 vsize=649424 memory=3988 CPUtime=0.33 cores=0-7
/proc/25447/task/25453/stat : 25453 (cosoco) R 25444 25447 24658 0 -1 4202560 119 0 0 0 33 0 0 0 20 0 9 0 437535762 665010176 9514 33554432000 4194304 6211092 140731079546192 140158016981608 140158058579532 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25454] ppid=25444 vsize=649424 memory=1088 CPUtime=0.35 cores=0-7
/proc/25447/task/25454/stat : 25454 (cosoco) R 25444 25447 24658 0 -1 4202560 106 0 0 0 35 0 0 0 20 0 9 0 437535762 665010176 9514 33554432000 4194304 6211092 140731079546192 140158008588824 5193696 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25455] ppid=25444 vsize=649424 memory=2832 CPUtime=0.37 cores=0-7
/proc/25447/task/25455/stat : 25455 (cosoco) R 25444 25447 24658 0 -1 4202560 103 0 0 0 37 0 0 0 20 0 9 0 437535762 665010176 9514 33554432000 4194304 6211092 140731079546192 140158000196200 5480545 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25456] ppid=25444 vsize=649424 memory=1564 CPUtime=0.37 cores=0-7
/proc/25447/task/25456/stat : 25456 (cosoco) R 25444 25447 24658 0 -1 4202560 100 0 0 0 37 0 0 0 20 0 9 0 437535762 665010176 9514 33554432000 4194304 6211092 140731079546192 140157991803384 5479597 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
Current children cumulated CPU time: 3.24 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 38056 KiB

[startup+1.50066 s]
/proc/loadavg: 7.57 8.60 8.79 9/199 25456
/proc/meminfo: memFree=30694852/32770688 swapFree=66961184/67108860
[pid=25447] ppid=25444 vsize=649424 memory=39468 CPUtime=9.63 cores=0-7
/proc/25447/stat : 25447 (cosoco) S 25444 25447 24658 0 -1 1077944320 16313 0 0 0 959 4 0 0 20 0 9 0 437535730 665010176 9867 33554432000 4194304 6211092 140731079546192 140731079544448 140158073695991 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
/proc/25447/statm: 162356 9867 892 493 0 155661 0
[pid=25447/tid=25449] ppid=25444 vsize=649424 memory=140438867433087 CPUtime=1.16 cores=0-7
/proc/25447/task/25449/stat : 25449 (cosoco) R 25444 25447 24658 0 -1 4202560 942 0 0 0 116 0 0 0 20 0 9 0 437535762 665010176 9867 33554432000 4194304 6211092 140731079546192 140158050552424 140158067600271 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25450] ppid=25444 vsize=649424 memory=-1598831813028945288 CPUtime=1.17 cores=0-7
/proc/25447/task/25450/stat : 25450 (cosoco) R 25444 25447 24658 0 -1 4202560 891 0 0 0 117 0 0 0 20 0 9 0 437535762 665010176 9867 33554432000 4194304 6211092 140731079546192 140158042160400 5039254 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25451] ppid=25444 vsize=649424 memory=6655300316396806240 CPUtime=1.16 cores=0-7
/proc/25447/task/25451/stat : 25451 (cosoco) R 25444 25447 24658 0 -1 12591168 643 0 0 0 116 0 0 0 20 0 9 0 437535762 665010176 9867 33554432000 4194304 6211092 140731079546192 140158033767096 5008824 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25452] ppid=25444 vsize=649424 memory=0 CPUtime=1.15 cores=0-7
/proc/25447/task/25452/stat : 25452 (cosoco) R 25444 25447 24658 0 -1 4202560 1050 0 0 0 115 0 0 0 20 0 9 0 437535762 665010176 9867 33554432000 4194304 6211092 140731079546192 140158025374232 5035216 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25453] ppid=25444 vsize=649424 memory=0 CPUtime=1.11 cores=0-7
/proc/25447/task/25453/stat : 25453 (cosoco) R 25444 25447 24658 0 -1 4202560 840 0 0 0 111 0 0 0 20 0 9 0 437535762 665010176 9867 33554432000 4194304 6211092 140731079546192 140158016981608 5446924 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25454] ppid=25444 vsize=649424 memory=0 CPUtime=1.15 cores=0-7
/proc/25447/task/25454/stat : 25454 (cosoco) R 25444 25447 24658 0 -1 4202560 856 0 0 0 115 0 0 0 20 0 9 0 437535762 665010176 9867 33554432000 4194304 6211092 140731079546192 140158008588984 140158067600212 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25455] ppid=25444 vsize=649424 memory=6944656592455097440 CPUtime=1.16 cores=0-7
/proc/25447/task/25455/stat : 25455 (cosoco) R 25444 25447 24658 0 -1 4202560 709 0 0 0 116 0 0 0 20 0 9 0 437535762 665010176 9867 33554432000 4194304 6211092 140731079546192 140158000196280 4982096 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25456] ppid=25444 vsize=649424 memory=0 CPUtime=1.16 cores=0-7
/proc/25447/task/25456/stat : 25456 (cosoco) R 25444 25447 24658 0 -1 4202560 1012 0 0 0 116 0 0 0 20 0 9 0 437535762 665010176 9867 33554432000 4194304 6211092 140731079546192 140157991803624 5164821 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
Current children cumulated CPU time: 9.63 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39468 KiB

[startup+3.11066 s]
/proc/loadavg: 7.60 8.59 8.79 9/199 25456
/proc/meminfo: memFree=30691708/32770688 swapFree=66961184/67108860
[pid=25447] ppid=25444 vsize=649424 memory=39476 CPUtime=22.48 cores=0-7
/proc/25447/stat : 25447 (cosoco) S 25444 25447 24658 0 -1 1077944320 16660 0 0 0 2244 4 0 0 20 0 9 0 437535730 665010176 9869 33554432000 4194304 6211092 140731079546192 140731079544448 140158073695991 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
/proc/25447/statm: 162356 9869 892 493 0 155661 0
[pid=25447/tid=25449] ppid=25444 vsize=649424 memory=38056 CPUtime=2.77 cores=0-7
/proc/25447/task/25449/stat : 25449 (cosoco) R 25444 25447 24658 0 -1 4202560 1050 0 0 0 277 0 0 0 20 0 9 0 437535762 665010176 9869 33554432000 4194304 6211092 140731079546192 140158050552424 5443096 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25450] ppid=25444 vsize=649424 memory=33 CPUtime=2.78 cores=0-7
/proc/25447/task/25450/stat : 25450 (cosoco) R 25444 25447 24658 0 -1 4202560 916 0 0 0 278 0 0 0 20 0 9 0 437535762 665010176 9869 33554432000 4194304 6211092 140731079546192 140158042159720 5451521 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25451] ppid=25444 vsize=649424 memory=280868849451248 CPUtime=2.77 cores=0-7
/proc/25447/task/25451/stat : 25451 (cosoco) R 25444 25447 24658 0 -1 4202560 766 0 0 0 277 0 0 0 20 0 9 0 437535762 665010176 9869 33554432000 4194304 6211092 140731079546192 140158033767696 5446904 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25452] ppid=25444 vsize=649424 memory=6935054825532540783 CPUtime=2.76 cores=0-7
/proc/25447/task/25452/stat : 25452 (cosoco) R 25444 25447 24658 0 -1 4202560 1073 0 0 0 276 0 0 0 20 0 9 0 437535762 665010176 9869 33554432000 4194304 6211092 140731079546192 140158025374232 5027225 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25453] ppid=25444 vsize=649424 memory=0 CPUtime=2.7 cores=0-7
/proc/25447/task/25453/stat : 25453 (cosoco) R 25444 25447 24658 0 -1 4202560 860 0 0 0 270 0 0 0 20 0 9 0 437535762 665010176 9869 33554432000 4194304 6211092 140731079546192 140158016981608 5038784 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25454] ppid=25444 vsize=649424 memory=0 CPUtime=2.76 cores=0-7
/proc/25447/task/25454/stat : 25454 (cosoco) R 25444 25447 24658 0 -1 4202560 881 0 0 0 276 0 0 0 20 0 9 0 437535762 665010176 9869 33554432000 4194304 6211092 140731079546192 140158008588984 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25455] ppid=25444 vsize=649424 memory=0 CPUtime=2.77 cores=0-7
/proc/25447/task/25455/stat : 25455 (cosoco) R 25444 25447 24658 0 -1 4202560 727 0 0 0 277 0 0 0 20 0 9 0 437535762 665010176 9869 33554432000 4194304 6211092 140731079546192 140158000196200 5164759 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25456] ppid=25444 vsize=649424 memory=0 CPUtime=2.77 cores=0-7
/proc/25447/task/25456/stat : 25456 (cosoco) R 25444 25447 24658 0 -1 4202560 1017 0 0 0 277 0 0 0 20 0 9 0 437535762 665010176 9869 33554432000 4194304 6211092 140731079546192 140157991803624 5443092 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
Current children cumulated CPU time: 22.48 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39476 KiB

[startup+6.30066 s]
/proc/loadavg: 7.60 8.59 8.79 9/199 25456
/proc/meminfo: memFree=30690904/32770688 swapFree=66961184/67108860
[pid=25447] ppid=25444 vsize=649424 memory=39524 CPUtime=47.96 cores=0-7
/proc/25447/stat : 25447 (cosoco) S 25444 25447 24658 0 -1 1077944320 34328 0 0 0 4791 5 0 0 20 0 9 0 437535730 665010176 9881 33554432000 4194304 6211092 140731079546192 140731079544448 140158073695991 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
/proc/25447/statm: 162356 9881 892 493 0 155661 0
[pid=25447/tid=25449] ppid=25444 vsize=649424 memory=140438867433087 CPUtime=5.96 cores=0-7
/proc/25447/task/25449/stat : 25449 (cosoco) R 25444 25447 24658 0 -1 4202560 3164 0 0 0 596 0 0 0 20 0 9 0 437535762 665010176 9881 33554432000 4194304 6211092 140731079546192 140158050552504 5453896 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25450] ppid=25444 vsize=649424 memory=39524 CPUtime=5.97 cores=0-7
/proc/25447/task/25450/stat : 25450 (cosoco) R 25444 25447 24658 0 -1 4202560 3253 0 0 0 597 0 0 0 20 0 9 0 437535762 665010176 9881 33554432000 4194304 6211092 140731079546192 140158042159800 5039145 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25451] ppid=25444 vsize=649424 memory=3612 CPUtime=5.96 cores=0-7
/proc/25447/task/25451/stat : 25451 (cosoco) R 25444 25447 24658 0 -1 4202560 2698 0 0 0 596 0 0 0 20 0 9 0 437535762 665010176 9881 33554432000 4194304 6211092 140731079546192 140158033767696 5038784 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25452] ppid=25444 vsize=649424 memory=416 CPUtime=5.95 cores=0-7
/proc/25447/task/25452/stat : 25452 (cosoco) R 25444 25447 24658 0 -1 4202560 3660 0 0 0 595 0 0 0 20 0 9 0 437535762 665010176 9881 33554432000 4194304 6211092 140731079546192 140158025374232 5451484 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25453] ppid=25444 vsize=649424 memory=415 CPUtime=5.84 cores=0-7
/proc/25447/task/25453/stat : 25453 (cosoco) R 25444 25447 24658 0 -1 4202560 3324 0 0 0 584 0 0 0 20 0 9 0 437535762 665010176 9881 33554432000 4194304 6211092 140731079546192 140158016981608 5065996 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25454] ppid=25444 vsize=649424 memory=164 CPUtime=5.95 cores=0-7
/proc/25447/task/25454/stat : 25454 (cosoco) R 25444 25447 24658 0 -1 4202560 2808 0 0 0 595 0 0 0 20 0 9 0 437535762 665010176 9881 33554432000 4194304 6211092 140731079546192 140158008588984 5451536 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25455] ppid=25444 vsize=649424 memory=6944656592387989600 CPUtime=5.96 cores=0-7
/proc/25447/task/25455/stat : 25455 (cosoco) R 25444 25447 24658 0 -1 4202560 2947 0 0 0 596 0 0 0 20 0 9 0 437535762 665010176 9881 33554432000 4194304 6211092 140731079546192 140158000196200 5440683 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25456] ppid=25444 vsize=649424 memory=0 CPUtime=5.96 cores=0-7
/proc/25447/task/25456/stat : 25456 (cosoco) R 25444 25447 24658 0 -1 4202560 3104 0 0 0 596 0 0 0 20 0 9 0 437535762 665010176 9881 33554432000 4194304 6211092 140731079546192 140157991803624 5454176 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
Current children cumulated CPU time: 47.96 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39524 KiB

[startup+12.7007 s]
/proc/loadavg: 7.63 8.58 8.78 9/199 25456
/proc/meminfo: memFree=30691144/32770688 swapFree=66961184/67108860
[pid=25447] ppid=25444 vsize=649424 memory=39544 CPUtime=99.07 cores=0-7
/proc/25447/stat : 25447 (cosoco) S 25444 25447 24658 0 -1 1077944320 46058 0 0 0 9902 5 0 0 20 0 9 0 437535730 665010176 9886 33554432000 4194304 6211092 140731079546192 140731079544448 140158073695991 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
/proc/25447/statm: 162356 9886 892 493 0 155661 0
[pid=25447/tid=25449] ppid=25444 vsize=649424 memory=39544 CPUtime=12.36 cores=0-7
/proc/25447/task/25449/stat : 25449 (cosoco) R 25444 25447 24658 0 -1 4202560 4490 0 0 0 1236 0 0 0 20 0 9 0 437535762 665010176 9886 33554432000 4194304 6211092 140731079546192 140158050552504 140158058579532 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25450] ppid=25444 vsize=649424 memory=39540 CPUtime=12.37 cores=0-7
/proc/25447/task/25450/stat : 25450 (cosoco) R 25444 25447 24658 0 -1 4202560 4946 0 0 0 1237 0 0 0 20 0 9 0 437535762 665010176 9886 33554432000 4194304 6211092 140731079546192 140158042160136 5441090 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25451] ppid=25444 vsize=649424 memory=1564 CPUtime=12.36 cores=0-7
/proc/25447/task/25451/stat : 25451 (cosoco) R 25444 25447 24658 0 -1 4202560 4032 0 0 0 1236 0 0 0 20 0 9 0 437535762 665010176 9886 33554432000 4194304 6211092 140731079546192 140158033767696 5454176 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25452] ppid=25444 vsize=649424 memory=0 CPUtime=12.35 cores=0-7
/proc/25447/task/25452/stat : 25452 (cosoco) R 25444 25447 24658 0 -1 4202560 5294 0 0 0 1235 0 0 0 20 0 9 0 437535762 665010176 9886 33554432000 4194304 6211092 140731079546192 140158025374232 5446226 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25453] ppid=25444 vsize=649424 memory=39540 CPUtime=12.16 cores=0-7
/proc/25447/task/25453/stat : 25453 (cosoco) R 25444 25447 24658 0 -1 4202560 4836 0 0 0 1216 0 0 0 20 0 9 0 437535762 665010176 9886 33554432000 4194304 6211092 140731079546192 140158016981608 5451457 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25454] ppid=25444 vsize=649424 memory=39540 CPUtime=12.35 cores=0-7
/proc/25447/task/25454/stat : 25454 (cosoco) R 25444 25447 24658 0 -1 4202560 4355 0 0 0 1235 0 0 0 20 0 9 0 437535762 665010176 9886 33554432000 4194304 6211092 140731079546192 140158008588984 5446924 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25455] ppid=25444 vsize=649424 memory=6944652177228980320 CPUtime=12.36 cores=0-7
/proc/25447/task/25455/stat : 25455 (cosoco) R 25444 25447 24658 0 -1 4202560 4330 0 0 0 1236 0 0 0 20 0 9 0 437535762 665010176 9886 33554432000 4194304 6211092 140731079546192 140158000196200 5452223 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25456] ppid=25444 vsize=649424 memory=-7684191407570971757 CPUtime=12.37 cores=0-7
/proc/25447/task/25456/stat : 25456 (cosoco) R 25444 25447 24658 0 -1 4202560 4405 0 0 0 1236 1 0 0 20 0 9 0 437535762 665010176 9886 33554432000 4194304 6211092 140731079546192 140157991803624 5038990 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
Current children cumulated CPU time: 99.07 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39544 KiB

[startup+25.5007 s]
/proc/loadavg: 7.71 8.55 8.77 9/200 25458
/proc/meminfo: memFree=30691592/32770688 swapFree=66961184/67108860
[pid=25447] ppid=25444 vsize=649424 memory=39552 CPUtime=201.28 cores=0-7
/proc/25447/stat : 25447 (cosoco) S 25444 25447 24658 0 -1 1077944320 51983 0 0 0 20122 6 0 0 20 0 9 0 437535730 665010176 9888 33554432000 4194304 6211092 140731079546192 140731079544448 140158073695991 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
/proc/25447/statm: 162356 9888 892 493 0 155661 0
[pid=25447/tid=25449] ppid=25444 vsize=649424 memory=39536 CPUtime=25.16 cores=0-7
/proc/25447/task/25449/stat : 25449 (cosoco) R 25444 25447 24658 0 -1 4202560 5270 0 0 0 2516 0 0 0 20 0 9 0 437535762 665010176 9888 33554432000 4194304 6211092 140731079546192 140158050552504 5451488 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25450] ppid=25444 vsize=649424 memory=6935054825532540783 CPUtime=25.17 cores=0-7
/proc/25447/task/25450/stat : 25450 (cosoco) R 25444 25447 24658 0 -1 4202560 5563 0 0 0 2517 0 0 0 20 0 9 0 437535762 665010176 9888 33554432000 4194304 6211092 140731079546192 140158042160136 5453912 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0

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

Current children cumulated CPU time: 1428.63 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39744 KiB

[startup+182.401 s]
/proc/loadavg: 8.50 8.58 8.75 9/201 25476
/proc/meminfo: memFree=30692216/32770688 swapFree=66961184/67108860
[pid=25447] ppid=25444 vsize=649424 memory=39744 CPUtime=1454.19 cores=0-7
/proc/25447/stat : 25447 (cosoco) S 25444 25447 24658 0 -1 1077944320 74526 0 0 0 145411 8 0 0 20 0 9 0 437535730 665010176 9936 33554432000 4194304 6211092 140731079546192 140731079544448 140158073695991 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
/proc/25447/statm: 162356 9936 892 493 0 155661 0
[pid=25447/tid=25449] ppid=25444 vsize=649424 memory=2044 CPUtime=182.06 cores=0-7
/proc/25447/task/25449/stat : 25449 (cosoco) R 25444 25447 24658 0 -1 4202560 7882 0 0 0 18206 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158050552504 5039018 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25450] ppid=25444 vsize=649424 memory=3612 CPUtime=182.04 cores=0-7
/proc/25447/task/25450/stat : 25450 (cosoco) R 25444 25447 24658 0 -1 4202560 8447 0 0 0 18204 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158042159800 5046847 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25451] ppid=25444 vsize=649424 memory=44616 CPUtime=182.05 cores=0-7
/proc/25447/task/25451/stat : 25451 (cosoco) R 25444 25447 24658 0 -1 4202560 7394 0 0 0 18205 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158033767696 5155996 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25452] ppid=25444 vsize=649424 memory=1388 CPUtime=182 cores=0-7
/proc/25447/task/25452/stat : 25452 (cosoco) R 25444 25447 24658 0 -1 4202560 8610 0 0 0 18200 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158025374232 5250465 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25453] ppid=25444 vsize=649424 memory=1056 CPUtime=180.82 cores=0-7
/proc/25447/task/25453/stat : 25453 (cosoco) R 25444 25447 24658 0 -1 4202560 8543 0 0 0 18082 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158016981608 5164736 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25454] ppid=25444 vsize=649424 memory=1056 CPUtime=182.03 cores=0-7
/proc/25447/task/25454/stat : 25454 (cosoco) R 25444 25447 24658 0 -1 4202560 8359 0 0 0 18203 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158008588984 5446924 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25455] ppid=25444 vsize=649424 memory=780 CPUtime=181.21 cores=0-7
/proc/25447/task/25455/stat : 25455 (cosoco) R 25444 25447 24658 0 -1 4202560 7705 0 0 0 18120 1 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158000196280 5455642 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25456] ppid=25444 vsize=649424 memory=1708 CPUtime=181.59 cores=0-7
/proc/25447/task/25456/stat : 25456 (cosoco) R 25444 25447 24658 0 -1 4202560 8216 0 0 0 18158 1 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140157991803304 5157577 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
Current children cumulated CPU time: 1454.19 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39744 KiB

[startup+185.601 s]
/proc/loadavg: 8.46 8.57 8.75 9/201 25476
/proc/meminfo: memFree=30692572/32770688 swapFree=66961184/67108860
[pid=25447] ppid=25444 vsize=649424 memory=39744 CPUtime=1479.75 cores=0-7
/proc/25447/stat : 25447 (cosoco) S 25444 25447 24658 0 -1 1077944320 74530 0 0 0 147967 8 0 0 20 0 9 0 437535730 665010176 9936 33554432000 4194304 6211092 140731079546192 140731079544448 140158073695991 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
/proc/25447/statm: 162356 9936 892 493 0 155661 0
[pid=25447/tid=25449] ppid=25444 vsize=649424 memory=1088 CPUtime=185.26 cores=0-7
/proc/25447/task/25449/stat : 25449 (cosoco) R 25444 25447 24658 0 -1 4202560 7883 0 0 0 18526 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158050552504 140158058579532 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25450] ppid=25444 vsize=649424 memory=39744 CPUtime=185.24 cores=0-7
/proc/25447/task/25450/stat : 25450 (cosoco) R 25444 25447 24658 0 -1 4202560 8447 0 0 0 18524 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158042159800 5156232 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25451] ppid=25444 vsize=649424 memory=39744 CPUtime=185.25 cores=0-7
/proc/25447/task/25451/stat : 25451 (cosoco) R 25444 25447 24658 0 -1 4202560 7394 0 0 0 18525 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158033767696 5451482 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25452] ppid=25444 vsize=649424 memory=39744 CPUtime=185.2 cores=0-7
/proc/25447/task/25452/stat : 25452 (cosoco) R 25444 25447 24658 0 -1 4202560 8610 0 0 0 18520 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158025374232 5017274 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25453] ppid=25444 vsize=649424 memory=39744 CPUtime=183.98 cores=0-7
/proc/25447/task/25453/stat : 25453 (cosoco) R 25444 25447 24658 0 -1 4202560 8544 0 0 0 18398 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158016981608 5157025 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25454] ppid=25444 vsize=649424 memory=1056 CPUtime=185.23 cores=0-7
/proc/25447/task/25454/stat : 25454 (cosoco) R 25444 25447 24658 0 -1 4202560 8359 0 0 0 18523 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158008589440 5455642 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25455] ppid=25444 vsize=649424 memory=780 CPUtime=184.41 cores=0-7
/proc/25447/task/25455/stat : 25455 (cosoco) R 25444 25447 24658 0 -1 4202560 7705 0 0 0 18440 1 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158000196280 5446210 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25456] ppid=25444 vsize=649424 memory=6020 CPUtime=184.79 cores=0-7
/proc/25447/task/25456/stat : 25456 (cosoco) R 25444 25447 24658 0 -1 4202560 8218 0 0 0 18478 1 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140157991803304 5065840 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
Current children cumulated CPU time: 1479.75 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39744 KiB

[startup+186.401 s]
/proc/loadavg: 8.46 8.57 8.75 9/201 25476
/proc/meminfo: memFree=30692572/32770688 swapFree=66961184/67108860
[pid=25447] ppid=25444 vsize=649424 memory=39744 CPUtime=1486.13 cores=0-7
/proc/25447/stat : 25447 (cosoco) S 25444 25447 24658 0 -1 1077944320 74532 0 0 0 148605 8 0 0 20 0 9 0 437535730 665010176 9936 33554432000 4194304 6211092 140731079546192 140731079544448 140158073695991 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
/proc/25447/statm: 162356 9936 892 493 0 155661 0
[pid=25447/tid=25449] ppid=25444 vsize=649424 memory=2044 CPUtime=186.06 cores=0-7
/proc/25447/task/25449/stat : 25449 (cosoco) R 25444 25447 24658 0 -1 4202560 7884 0 0 0 18606 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158050552504 5446630 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25450] ppid=25444 vsize=649424 memory=1388 CPUtime=186.04 cores=0-7
/proc/25447/task/25450/stat : 25450 (cosoco) R 25444 25447 24658 0 -1 4202560 8447 0 0 0 18604 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158042159800 5451507 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25451] ppid=25444 vsize=649424 memory=0 CPUtime=186.05 cores=0-7
/proc/25447/task/25451/stat : 25451 (cosoco) R 25444 25447 24658 0 -1 4202560 7394 0 0 0 18605 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158033767696 5389408 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25452] ppid=25444 vsize=649424 memory=3008099014802261 CPUtime=186 cores=0-7
/proc/25447/task/25452/stat : 25452 (cosoco) R 25444 25447 24658 0 -1 4202560 8610 0 0 0 18600 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158025374232 5476813 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25453] ppid=25444 vsize=649424 memory=288432603127357656 CPUtime=184.76 cores=0-7
/proc/25447/task/25453/stat : 25453 (cosoco) R 25444 25447 24658 0 -1 4202560 8544 0 0 0 18476 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158016981608 5451432 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25454] ppid=25444 vsize=649424 memory=39744 CPUtime=186.03 cores=0-7
/proc/25447/task/25454/stat : 25454 (cosoco) R 25444 25447 24658 0 -1 4202560 8360 0 0 0 18603 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158008589440 5065840 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25455] ppid=25444 vsize=649424 memory=1056 CPUtime=185.21 cores=0-7
/proc/25447/task/25455/stat : 25455 (cosoco) R 25444 25447 24658 0 -1 4202560 7705 0 0 0 18520 1 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158000196280 5039247 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25456] ppid=25444 vsize=649424 memory=780 CPUtime=185.59 cores=0-7
/proc/25447/task/25456/stat : 25456 (cosoco) R 25444 25447 24658 0 -1 4202560 8218 0 0 0 18558 1 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140157991803304 5455634 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
Current children cumulated CPU time: 1486.13 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39744 KiB

[startup+187.201 s]
/proc/loadavg: 8.46 8.57 8.75 9/201 25476
/proc/meminfo: memFree=30692572/32770688 swapFree=66961184/67108860
[pid=25447] ppid=25444 vsize=649424 memory=39744 CPUtime=1492.52 cores=0-7
/proc/25447/stat : 25447 (cosoco) S 25444 25447 24658 0 -1 1077944320 74535 0 0 0 149244 8 0 0 20 0 9 0 437535730 665010176 9936 33554432000 4194304 6211092 140731079546192 140731079544448 140158073695991 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
/proc/25447/statm: 162356 9936 892 493 0 155661 0
[pid=25447/tid=25449] ppid=25444 vsize=649424 memory=39744 CPUtime=186.86 cores=0-7
/proc/25447/task/25449/stat : 25449 (cosoco) R 25444 25447 24658 0 -1 4202560 7886 0 0 0 18686 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158050552504 5391100 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25450] ppid=25444 vsize=649424 memory=6935054825532540783 CPUtime=186.84 cores=0-7
/proc/25447/task/25450/stat : 25450 (cosoco) R 25444 25447 24658 0 -1 4202560 8447 0 0 0 18684 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158042159800 5392083 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25451] ppid=25444 vsize=649424 memory=4872558044660077418 CPUtime=186.85 cores=0-7
/proc/25447/task/25451/stat : 25451 (cosoco) R 25444 25447 24658 0 -1 4202560 7394 0 0 0 18685 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158033767696 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25452] ppid=25444 vsize=649424 memory=44616 CPUtime=186.8 cores=0-7
/proc/25447/task/25452/stat : 25452 (cosoco) R 25444 25447 24658 0 -1 4202560 8610 0 0 0 18680 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158025374232 140158058575779 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25453] ppid=25444 vsize=649424 memory=984 CPUtime=185.55 cores=0-7
/proc/25447/task/25453/stat : 25453 (cosoco) R 25444 25447 24658 0 -1 4202560 8544 0 0 0 18555 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158016981608 5250241 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25454] ppid=25444 vsize=649424 memory=2044 CPUtime=186.83 cores=0-7
/proc/25447/task/25454/stat : 25454 (cosoco) R 25444 25447 24658 0 -1 4202560 8360 0 0 0 18683 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158008589440 5039111 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25455] ppid=25444 vsize=649424 memory=984 CPUtime=186.01 cores=0-7
/proc/25447/task/25455/stat : 25455 (cosoco) R 25444 25447 24658 0 -1 4202560 7705 0 0 0 18600 1 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158000196280 5039145 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25456] ppid=25444 vsize=649424 memory=2044 CPUtime=186.39 cores=0-7
/proc/25447/task/25456/stat : 25456 (cosoco) R 25444 25447 24658 0 -1 4202560 8219 0 0 0 18638 1 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140157991803304 5446625 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
Current children cumulated CPU time: 1492.52 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39744 KiB

[startup+187.601 s]
/proc/loadavg: 8.46 8.57 8.75 9/201 25476
/proc/meminfo: memFree=30692572/32770688 swapFree=66961184/67108860
[pid=25447] ppid=25444 vsize=649424 memory=39744 CPUtime=1495.72 cores=0-7
/proc/25447/stat : 25447 (cosoco) S 25444 25447 24658 0 -1 1077944320 74537 0 0 0 149564 8 0 0 20 0 9 0 437535730 665010176 9936 33554432000 4194304 6211092 140731079546192 140731079544448 140158073695991 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
/proc/25447/statm: 162356 9936 892 493 0 155661 0
[pid=25447/tid=25449] ppid=25444 vsize=649424 memory=1280 CPUtime=187.26 cores=0-7
/proc/25447/task/25449/stat : 25449 (cosoco) R 25444 25447 24658 0 -1 4202560 7886 0 0 0 18726 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158050552504 5250450 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25450] ppid=25444 vsize=649424 memory=6020 CPUtime=187.24 cores=0-7
/proc/25447/task/25450/stat : 25450 (cosoco) R 25444 25447 24658 0 -1 4202560 8447 0 0 0 18724 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158042159800 5476777 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25451] ppid=25444 vsize=649424 memory=780 CPUtime=187.25 cores=0-7
/proc/25447/task/25451/stat : 25451 (cosoco) R 25444 25447 24658 0 -1 4202560 7395 0 0 0 18725 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158033767696 5250289 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25452] ppid=25444 vsize=649424 memory=3988 CPUtime=187.2 cores=0-7
/proc/25447/task/25452/stat : 25452 (cosoco) R 25444 25447 24658 0 -1 4202560 8611 0 0 0 18720 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158025374232 5250228 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25453] ppid=25444 vsize=649424 memory=1088 CPUtime=185.95 cores=0-7
/proc/25447/task/25453/stat : 25453 (cosoco) R 25444 25447 24658 0 -1 4202560 8544 0 0 0 18595 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158016981608 5038813 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25454] ppid=25444 vsize=649424 memory=2832 CPUtime=187.23 cores=0-7
/proc/25447/task/25454/stat : 25454 (cosoco) R 25444 25447 24658 0 -1 4202560 8360 0 0 0 18723 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158008589440 5017564 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25455] ppid=25444 vsize=649424 memory=1564 CPUtime=186.41 cores=0-7
/proc/25447/task/25455/stat : 25455 (cosoco) R 25444 25447 24658 0 -1 4202560 7705 0 0 0 18640 1 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158000196280 5155804 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25456] ppid=25444 vsize=649424 memory=8560 CPUtime=186.79 cores=0-7
/proc/25447/task/25456/stat : 25456 (cosoco) R 25444 25447 24658 0 -1 4202560 8219 0 0 0 18678 1 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140157991803304 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
Current children cumulated CPU time: 1495.72 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39744 KiB

[startup+187.701 s]
/proc/loadavg: 8.46 8.57 8.75 9/201 25476
/proc/meminfo: memFree=30692572/32770688 swapFree=66961184/67108860
[pid=25447] ppid=25444 vsize=649424 memory=39744 CPUtime=1496.52 cores=0-7
/proc/25447/stat : 25447 (cosoco) S 25444 25447 24658 0 -1 1077944320 74539 0 0 0 149644 8 0 0 20 0 9 0 437535730 665010176 9936 33554432000 4194304 6211092 140731079546192 140731079544448 140158073695991 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
/proc/25447/statm: 162356 9936 892 493 0 155661 0
[pid=25447/tid=25449] ppid=25444 vsize=649424 memory=39744 CPUtime=187.36 cores=0-7
/proc/25447/task/25449/stat : 25449 (cosoco) R 25444 25447 24658 0 -1 4202560 7886 0 0 0 18736 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158050552504 5038990 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25450] ppid=25444 vsize=649424 memory=39744 CPUtime=187.34 cores=0-7
/proc/25447/task/25450/stat : 25450 (cosoco) R 25444 25447 24658 0 -1 4202560 8447 0 0 0 18734 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158042159800 5155800 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25451] ppid=25444 vsize=649424 memory=39744 CPUtime=187.35 cores=0-7
/proc/25447/task/25451/stat : 25451 (cosoco) R 25444 25447 24658 0 -1 4202560 7395 0 0 0 18735 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158033767696 5035312 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25452] ppid=25444 vsize=649424 memory=39744 CPUtime=187.3 cores=0-7
/proc/25447/task/25452/stat : 25452 (cosoco) R 25444 25447 24658 0 -1 4202560 8611 0 0 0 18730 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158025374232 5035331 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25453] ppid=25444 vsize=649424 memory=39744 CPUtime=186.05 cores=0-7
/proc/25447/task/25453/stat : 25453 (cosoco) R 25444 25447 24658 0 -1 4202560 8545 0 0 0 18605 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158016981608 5440683 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25454] ppid=25444 vsize=649424 memory=39744 CPUtime=187.33 cores=0-7
/proc/25447/task/25454/stat : 25454 (cosoco) R 25444 25447 24658 0 -1 4202560 8360 0 0 0 18733 0 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158008589440 5038879 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25455] ppid=25444 vsize=649424 memory=39744 CPUtime=186.51 cores=0-7
/proc/25447/task/25455/stat : 25455 (cosoco) R 25444 25447 24658 0 -1 4202560 7705 0 0 0 18650 1 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140158000196280 5451416 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
[pid=25447/tid=25456] ppid=25444 vsize=649424 memory=39744 CPUtime=186.89 cores=0-7
/proc/25447/task/25456/stat : 25456 (cosoco) R 25444 25447 24658 0 -1 4202560 8220 0 0 0 18688 1 0 0 20 0 9 0 437535762 665010176 9936 33554432000 4194304 6211092 140731079546192 140157991803304 5008971 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 38645760 140731079549969 140731079550061 140731079550061 140731079552974 0
Current children cumulated CPU time: 1496.52 s
Current children cumulated vsize: 649424 KiB
Current children cumulated memory: 39744 KiB

Child status: 0
Real time (s): 187.719
CPU time (s): 1496.66
CPU user time (s): 1496.57
CPU system time (s): 0.084962
CPU usage (%): 797.285
Max. virtual memory (cumulated for all children) (KiB): 649424
Max. memory (cumulated for all children) (KiB): 39744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1496.57
system time used= 0.084962
maximum resident set size= 40040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74611
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= 306
involuntary context switches= 12688


# summary of solver processes directly reported to runsolver:
#   pid: 25447
#   total CPU time (s): 1496.66
#   total CPU user time (s): 1496.57
#   total CPU system time (s): 0.084962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.955414 second user time and 1.64953 second system time

The end

Launcher Data

Begin job on node116 at 2019-09-16 08:38:20
IDJOB=4398329
IDBENCH=141106
IDSOLVER=2851
FILE ID=node116/4398329-1568615941
RUNJOBID= node116-1568609536-24685
PBS_JOBID= 21703439
Free space on /tmp= 61232 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP18/Tal/Tal-03_c18.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398329-1568615941/watcher-4398329-1568615941 -o /tmp/evaluation-result-4398329-1568615941/solver-4398329-1568615941 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568609536-24685 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4398329-1568615941.xml

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

MD5SUM BENCH= fb5ba5d4d49d61a1ee3ee3c25fa47163
RANDOM SEED=265502411

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        30728612 kB
MemAvailable:   31849160 kB
Buffers:          126384 kB
Cached:          1288340 kB
SwapCached:        46612 kB
Active:           928236 kB
Inactive:         536276 kB
Active(anon):       3692 kB
Inactive(anon):    94968 kB
Active(file):     924544 kB
Inactive(file):   441308 kB
Unevictable:      110612 kB
Mlocked:          110612 kB
SwapTotal:      67108860 kB
SwapFree:       66961184 kB
Dirty:              2896 kB
Writeback:            20 kB
AnonPages:        115020 kB
Mapped:            46656 kB
Shmem:             40268 kB
Slab:             169528 kB
SReclaimable:     141060 kB
SUnreclaim:        28468 kB
KernelStack:        3392 kB
PageTables:         5360 kB
NFS_Unstable:        108 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     505792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116160 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61228 MiB
End job on node116 at 2019-09-16 08:41:27